{ "_doc": "One result, read from the codebase’s own files at the commit named here. Every value is that file’s own, copied verbatim; nothing here is written by hand. A value replaced by {withheld: true, sha256_of_value, bytes} is committed by its sha256 instead of published, for the reason it states, and is never edited. Each whole source file is committed by sha256 below, and its bytes are published only where its visibility says so. The codebase is named by the public subject its files are published under.", "lane": "wireless-reliability", "repository": "wireless-reliability", "commit": "1cb3c54d9de8629abdd214911bfef7a7244ec4ff", "portfolio_id": "wireless-reliability:automata-maximum-ceiling", "id": "automata-maximum-ceiling", "attestation_row": { "attested_at": "2026-09-19", "attestor": "02-wireless", "repository": { "withheld": true, "why": "a working-directory name (R8)", "sha256_of_value": "62a01cc8ef60803479267f32d6c312ef0eb75baeb9e054d8b1cac54bf9f40a33", "bytes": 7 }, "source_doc": "CROWN_JEWELS_RESOLVED.md", "source_doc_sha256": "0e41e33d018b8df50fc37e9a1ee7fb393ef434e338776bb04f71e8e15cf440e8", "state": "attested", "top_n": 17, "note_sha256": "e7b0dcf1a32532b1bd0eb9b3d22caa8772768191e022000636b87cd28b1536b0", "ids_in_row": 17, "file": "05_wireless_reliability_fallback_lab/dataroom/TOP_N_ATTESTATION.jsonl", "line": 1 }, "claim_source": { "receipt": "wireless-reliability/dataroom/top40.json", "sha256": "94bf9dc5735a54020b7052fde3da5f062e760f2cb351babab0fcd6f1b52c7be5", "field": "entries[17].claim", "file": "05_wireless_reliability_fallback_lab/dataroom/top40.json" }, "top40_entry": { "id": "automata-maximum-ceiling", "rank": 18, "title": { "withheld": true, "why": "uses a word the published record keeps for its own process (S3.1-DIALECT)", "sha256_of_value": "f22a9aba05bd2c849c862436d9c6b6398d3cb8f69993401d470a84bc2896ae47", "bytes": 83 }, "claim": "The design-around exhaustion is lifted from memoryless Boolean functions to **1-memory-bit Mealy automata**: 29,376 automata checked across 8 holes, 1,788 of them genuinely weaker than the authored guard, and **none** of those weaker ones safe.", "scope": "Automata-maximum WITHIN the explicit-state/z3 abstraction over the DECLARED observable set per hole. Exhaustion covers 1-memory-bit Mealy automata; the artifact's own explicit_non_claim states it does NOT claim exhaustion over multi-bit-memory automata.", "limits": { "withheld": true, "why": "uses a word the published record keeps for its own process (S3.1-DIALECT)", "sha256_of_value": "d3cb4e6a22462cba13dd2970ba811273545bcb202341bf7f3b6e222c163f6c1b", "bytes": 85 }, "artifact_path": "artifacts/automata_max_essentiality.json", "witness_command": "python3 scripts/automata_max_v83.py && python3 portfolio/valuation_rollup.py && python3 scripts/check_acceptance_v83.py", "witness_result": "exit=0 · 69.6s · v83 acceptance: 7/7 criteria pass (EXECUTED)", "witness_class": "ASSERTING", "witness_class_basis": "`dataroom/witness_quality.json` id `automata-maximum-ceiling` — class ASSERTING; clean-clone exit 0; planted defect(s) D15", "clean_clone_exit": 0, "third_party_axis": "—", "third_party_basis": "`out/s02/verdicts.json` rank 18 axis `SELF`", "facts": { "ran_with_receipt": true, "third_party_graded": false, "negative_control_stated": false, "ip_class_known": false, "reproduce_command": true, "regenerates": true }, "facts_count": 3, "repro_command": "python3 scripts/automata_max_v83.py && python3 portfolio/valuation_rollup.py && python3 scripts/check_acceptance_v83.py", "reproduce_command": "python3 scripts/automata_max_v83.py && python3 portfolio/valuation_rollup.py && python3 scripts/check_acceptance_v83.py", "ip_class": null, "ip_class_basis": "LANE_REGISTER_2026-09.md: '`ip_class` is UNKNOWN for every row by instruction' — unassessed, therefore null, never inferred", "evidence_tier": "INTERNAL", "run_status": "RAN", "output_excerpt": "29376 automata 8 holes; gmin_is_max True", "attestation_rank": 23 }, "witness_quality_entry": { "id": "automata-maximum-ceiling", "claim": "The design-around exhaustion is lifted from memoryless Boolean functions to **1-memory-bit Mealy automata**: 29,376 automata checked across 8 holes, 1,788 of them genuinely weaker than the authored guard, and **none** of those weaker ones safe.", "class": "ASSERTING", "why": "65.2 s green in the clean clone with the artifact recording `executed: true`; the acceptance checker is a separate process from the producer, so a producer that stopped producing cannot pass it.", "clean_clone": { "artifact_skip_markers": { "executed": true, "skipped": false }, "exit": 0, "receipt": "out/s02_witness_quality/clean_clone_receipts_2026-09-12.json#18:automata-maximum-ceiling", "seconds": 64, "skip_reason": null, "skipped": null }, "planted_defects": [ { "demo": "D15", "exit_after_restore": 0, "exit_before": 0, "exit_with_defect": 1, "expectation": "nonzero", "expectation_met": true, "file_restored_byte_identical": true, "mutation": { "from": "safe = bool(prove_inductive(d2, i2, t2, inv2).get(\"proven\"))", "to": "safe = True" }, "needle": null, "needle_in_baseline": false, "needle_with_defect": false, "planted": "every 1-memory-bit automaton is declared safe without proving it, so genuinely weaker-than-g_min automata become safe survivors — the exact thing the claim says there are NONE of", "ran_at": "2026-09-19T00:37:36+00:00", "receipt_file": "out/s02_witness_quality/planted_defects_2026-09-19.json", "verdict": "ASSERTING — the planted defect turned the witness red" } ], "asserts": [ { "asserts": "7 acceptance criteria over the 29,376 enumerated automata", "file": "scripts/check_acceptance_v83.py", "lines": [ 140 ], "needle": "sys.exit(0 if all_pass else 1)", "source": "sys.exit(0 if all_pass else 1)" } ], "stale_claims_ref": null }, "packet": null, "measured": { "measured": true, "basis": "planted_defects[].exit_with_defect = 1", "exit": 1, "defect_rejected": true }, "register": { "truth_state": "attested", "truth_line": 86, "measured_per_register": false, "witness_class_per_register": "ASSERTING", "ip_class_public": "unknown", "ip_class_sha256": "b23a6a8439c0dde5515893e7c90c1e3233b8616e634470f20dc4928bcf3609bc", "ip_class_source": "05_wireless_reliability_fallback_lab/LANE_REGISTER_2026-09.md:7 @ 3871d59d4db8", "receipt": "register/CROWN_JEWELS_TRUTH.md", "receipt_sha256": "bde06cf0d3e99644522d18e79b6bd5d84ed4f5c86e315a48fef207e9e49c5022", "ip_class_receipt": "register/ip_class.jsonl", "ip_class_receipt_sha256": "b1e8f97aa6779e0fefed2f7a7726e1a03563b536b497392401b49bb8ef84d4ca" }, "withheld_fields": [ { "field": "top40.title", "codes": [ "PROCESS_NARRATION" ] }, { "field": "top40.limits", "codes": [ "PROCESS_NARRATION" ] }, { "field": "attestation_row.repository", "codes": [ "LANE_DIRECTORY_NAME" ] } ], "sources": { "attestation": { "receipt": "wireless-reliability/dataroom/TOP_N_ATTESTATION.jsonl", "source": "05_wireless_reliability_fallback_lab/dataroom/TOP_N_ATTESTATION.jsonl", "commit": "1cb3c54d9de8629abdd214911bfef7a7244ec4ff", "sha256": "0a32ca5be37efe69c4770cfdc34075f6101dfd530f8f64349812f119f1dc256f", "bytes": 3470, "visibility": "sealed" }, "top40": { "receipt": "wireless-reliability/dataroom/top40.json", "source": "05_wireless_reliability_fallback_lab/dataroom/top40.json", "commit": "1cb3c54d9de8629abdd214911bfef7a7244ec4ff", "sha256": "94bf9dc5735a54020b7052fde3da5f062e760f2cb351babab0fcd6f1b52c7be5", "bytes": 163338, "visibility": "sealed" }, "witness_quality": { "receipt": "wireless-reliability/dataroom/witness_quality.json", "source": "05_wireless_reliability_fallback_lab/dataroom/witness_quality.json", "commit": "1cb3c54d9de8629abdd214911bfef7a7244ec4ff", "sha256": "d54d7585c2c9014d607f3a27518062eea78a5e1ac86733df5c69067c25f5f365", "bytes": 135112, "visibility": "sealed" }, "repro_index": { "receipt": "wireless-reliability/_root/repro/INDEX.json", "source": "repro/INDEX.json", "commit": "1cb3c54d9de8629abdd214911bfef7a7244ec4ff", "sha256": "0bff5030dca36a8e129e242975c67c75d1b983c670458420bee8b943429ac3ee", "bytes": 24483, "visibility": "sealed" } } }