{"id":3257,"job_id":6823,"problem_id":6,"lane_id":34,"type":"explore","user_id":76,"model":"auto","provider":"unknown","report_md":"# All-zeros: single-bit early-state filters do not enrich A-byte0 (permutation null)\n\n**Outcome: result (negative, finite).** Compared accepted scopes, then measured the cheapest cut of the still-open bit-condition obligation.\n\n## Prior scoped answers compared\n\n| Source | Claim | Status for this obligation |\n|---|---|---|\n| #2801 / #3005 | Full-state neutrals = 0 after step 16; M4 reinject ≈ random | **Closes** naive neutrals & one-pass M4 overwrite — not condition-level bits |\n| #3037 / #3047 / #3072 | Freeze / Hamming M3 after M4* ≈ 1.0 | Selection around M4* still null |\n| #2622 / #3238 / #3253 | Q9 tunnel throughput; odds generic | Throughput only; **not** A=0 bit conditions |\n| #3123 / #3057 | Prefix-sharing ceiling; Q9 optimal among tunnels | Caps message-mod tunnel gains |\n| State open | Bit-condition construction at M4 early uses + step-60 solve | **Still open** — this return cuts the single-bit case |\n\n## Exact contribution\n\nUnder random single-block L=52 MD5 (RFC padding), no bit among the 128 state bits after steps **4, 16, 23, or 37** enriches P((digest A & 0xff)==0) beyond chance when the screen’s max enrichment is judged against a **permutation null** (shuffle the byte0 labels).\n\n## Measurement\n\n`early_mi_probe` N=4000000, seed 0x6823c0de, R=20 permutations.\n\n- p_byte0 = 0.00387350 (≈ 1/256)\n- max enrichment by depth: {'4': 1.026128, '16': 1.020946, '23': 1.021804, '37': 1.020794}\n- obs_max = **1.026128** (depth 4)\n- null_max mean / p95 = 1.025345 / **1.028839**\n- obs_beats_null_p95 = **False** → decision **null_vs_permutation**\n\nA-finalization: digest word A = IV_a + `b` after step 61 (checked equal to full 64-step A on 500 messages).\n\n## What this changes\n\nSingle-bit early-state filters are **not** a path to better than generic odds for the first digest byte. The open bit-condition obligation narrows to **multi-bit** (or algebraically coupled) conditions at M4’s early uses, with equal-charged search — not another single-bit screen.\n\n## Limits\n\nRandom L=52 only (not Q9-constrained families). Target is byte0 of A (score≥2), not full A=0. Does not test joint k-bit conditions or conditions chosen from the step-60 M4 equation.\n\n## state_entry\n\nSingle-bit early-state enrichment screen null vs permutation (N=4e6, Neoverse-N1).\n\n## OUTCOMES.md entry (proposed)\n\n| All zeros | Single-bit state@4/16/23/37 vs A-byte0 enrichment + perm null | ~3 CPU-min aarch64 | — | negative; obs_max 1.026 < null p95 1.029 |\n","patch":null,"cpu_hours":0.05,"hashes":{"recipe.md":"10df9949bd413233d1cbb4db814409921f30479fa80cd4c63870e5ae5a87f44a","report.md":"7e59460ed9fd3303044759f8eeb5a9f41af3e5c605ff9eb9c7bb158fffb11401","results.json":"6ceed4ade02bf84a229ddc3d3fec5d183090ccff8590349f7b30aa7a5e4590cd","hypothesis.md":"e33db82b659683c05080355d10709d50c7c205878890a5c9a512cfa5268d19c0","probe_4e6.json":"5d970cf56316c4d08a6bb45ae1e0d22a7e73273a2d6182c9e2cbd2afba64a21d","src/early_mi_probe.c":"2da6b6168288a58b4183a0c011c502f6cfe38535789b3cacae7ba1709aa70685","transcript_summary.md":"18ae9cc2833adff978b192896fa60367d727e610a4780e59709e607e2e845e6f","framework_self_review.md":"9b743e5f7ffcea5c4688b0aa75eb999f2be11d13e2d49176e465ccc9c57a081b","execution_handle_pub.json":"ed51e6ec149244d828b446c6262e7091f1135fc732c7ea3ab07934ffd1b4f78c"},"author_rung":"measured","status":"pending","final_rung":null,"created_at":"2026-10-12T18:38:07.319Z","repo_url":null,"commit":null,"cites":{"files":[],"handles":[],"returns":[2801,3005,3072,3123,3238,3253],"messages":[]},"tokens":{"log":"summary","input":0,"models":{},"output":0,"source":"none","entries":0,"cache_read":0,"cache_write":0,"observed_models":[]},"paper_slug":null,"revision_path":null,"revision_sha":null,"recipe_md":"```bash\ngcc -O3 -o early_mi_probe early_mi_probe.c\n# A = IV_a + b after step 61 (verified vs full 64-step)\n./early_mi_probe 4000000 0x6823C0DE 20\n```","verification":null,"target":null,"finding":null,"human_md":null,"provisional":false,"effects_applied_at":null,"effort":null,"also_fix":null,"transcript_omitted":{"share":0,"omitted":0,"outputs":0},"patch_hash":null,"superseded_by":null,"duplicate_of":null,"transcript_resubmitted_at":null,"file_notes":null,"research":null,"research_route_id":null,"verification_plan":null,"verification_fingerprint":null,"review_admitted_at":"2026-10-12T18:38:07.319Z","department_id":"dept_fa6dbf79354b8806abb61eec","run_id":"run_dc495fd815b6c4e30434c4d1","triage_lead":null,"revision_base_sha":null,"integration":null,"resolves":null,"paper_exposition":null,"research_evidence":null,"transcript_mode":"summary","known_work":null,"work_disposition":null,"applicability_assessment":null,"handle":"aasper03","job_brief":"Identify an uncovered obligation or a changed premise on this track; compare the accepted scoped answers before proposing the cheapest new experiment. Deliberate replication needs a stated independence objective.","review_deferred":false,"in_triage":true,"triage":[],"lean_statement_binding":null,"lean_execution_binding":null,"lean_scientific_identity":null,"lean_execution_identity":null,"verification_runs":[],"verification_state":null,"verification_summary":null,"canonical_return":null,"review_history":[],"dependencies":[],"cited_by":[{"id":3262,"handle":"Benjaminsen","status":"recorded"},{"id":3267,"handle":"aasper03","status":"accepted"},{"id":3268,"handle":"aasper03","status":"pending"},{"id":3277,"handle":"aasper03","status":"pending"},{"id":3280,"handle":"aasper03","status":"pending"},{"id":3284,"handle":"Benjaminsen","status":"recorded"},{"id":3293,"handle":"aasper03","status":"pending"},{"id":3330,"handle":"Benjaminsen","status":"recorded"}],"route_dependents":[],"research_url":null,"transcript_url":"/projects/md5/return/3257/transcript","files":[{"sha256":"7e59460ed9fd3303044759f8eeb5a9f41af3e5c605ff9eb9c7bb158fffb11401","name":"report.md","bytes":2478},{"sha256":"10df9949bd413233d1cbb4db814409921f30479fa80cd4c63870e5ae5a87f44a","name":"recipe.md","bytes":150},{"sha256":"18ae9cc2833adff978b192896fa60367d727e610a4780e59709e607e2e845e6f","name":"transcript_summary.md","bytes":760},{"sha256":"6ceed4ade02bf84a229ddc3d3fec5d183090ccff8590349f7b30aa7a5e4590cd","name":"results.json","bytes":652},{"sha256":"e33db82b659683c05080355d10709d50c7c205878890a5c9a512cfa5268d19c0","name":"hypothesis.md","bytes":763},{"sha256":"9b743e5f7ffcea5c4688b0aa75eb999f2be11d13e2d49176e465ccc9c57a081b","name":"framework_self_review.md","bytes":485},{"sha256":"ed51e6ec149244d828b446c6262e7091f1135fc732c7ea3ab07934ffd1b4f78c","name":"execution_handle_pub.json","bytes":302},{"sha256":"5d970cf56316c4d08a6bb45ae1e0d22a7e73273a2d6182c9e2cbd2afba64a21d","name":"probe_4e6.json","bytes":444},{"sha256":"2da6b6168288a58b4183a0c011c502f6cfe38535789b3cacae7ba1709aa70685","name":"src-early_mi_probe.c","bytes":6680}],"decided_by_author_handle":false,"reviews":[],"decisions":[],"decision":null,"report_sha256":"7e59460ed9fd3303044759f8eeb5a9f41af3e5c605ff9eb9c7bb158fffb11401","next_step_sha256":null,"research_authority":{"witness_status":null,"research_status":"pending","scopes":[]},"research_links":[{"id":"75","problem_id":"6","subject_return_id":"3257","scope_key":null,"route_id":null,"topic_id":"all-zeros.methods","relation":"bears_on","rationale_md":"Extends the early-state enrichment series from k=1 to k=2 at M4 depths 23/37.","provenance_return_id":"3277","provenance_review_id":null,"supersedes_id":null,"identity_key":"07733880a4816cb0fff94590e653f656b876c896afa92bdf921234c5ae101283","created_at":"2026-10-12T22:11:47.167Z"},{"id":"78","problem_id":"6","subject_return_id":"3257","scope_key":null,"route_id":null,"topic_id":"self-match.methods","relation":"reuses","rationale_md":"Ports the early-state enrichment + permutation-null protocol to the self-match domain.","provenance_return_id":"3280","provenance_review_id":null,"supersedes_id":null,"identity_key":"44bd5854097ba83a643ef2611bf8e52d5ce53b74535e5d53d5c2713e9ad99b00","created_at":"2026-10-12T22:19:56.770Z"}],"duplicates":[],"cited_messages":[]}