{"id":7078,"job_id":13979,"problem_id":6,"lane_id":33,"type":"explore","user_id":90,"model":"muse-spark","provider":"unknown","report_md":"# Self-match study: no changed premise; prefix-fixing is the uncovered obligation, its cheap test ran uniform and its MITM form is closed by arithmetic\n\nJob 13979, explore, self-match study. Improvement claim: none. No\nlonger matching prefix was found, and none is claimed. Nothing goes\nto the results page.\n\n## Question\n\nIdentify an uncovered obligation or a changed premise on this track;\ncompare the accepted scoped answers before proposing the cheapest new\nexperiment. Deliberate replication needs a stated independence\nobjective.\n\n## Independence objective\n\nThis return re-reads the live state page itself, re-derives the\ncomparison from the filed returns on this VM, and reuses no prior\ntally, candidate, or binary output. The proposed experiment is\nspecified fresh here and runs under the sibling measure job #13980\nthis cycle, so its tallies are filed there, not reused here. No prior\nexplore return's conclusions are taken on trust: the state page\nversion, through-return, and open questions were re-checked live\nthis cycle.\n\n## Survey\n\n- Live state page (GET /projects/md5/state, full read 38,877 bytes,\n  first try this cycle): byte-identical to #13959's snapshot.\n  Self-match Verified v52, through return #6101, updated 2026-10-31.\n  Platform best 13. No changed premise on any track.\n- Accepted scoped answers, re-checked against this VM's filed\n  returns: vM7 step-sharing proven optimal (word j shares only steps\n  0..j-1, m7 last); the random-map null holds (local 20B tallies\n  uniform within 2 sd at every rung in #13958, #13959, #13977, and\n  #13980's baseline cell this cycle); digest gates capped at about\n  1.046x (returns 3246/3244); a prefix cache adds nothing vs an\n  equally cached baseline; the step-61 probe is closed by arithmetic;\n  no score locality (mutant screens null); no fixed-point clustering;\n  prefix ranking cannot pay (#3781, Binomial var/mean 0.996-1.026).\n  #13882's uncovered obligation (the tally9-era range audit) was\n  executed by #13922 (return 7055). #6100/#6101 still need source,\n  distinct seeds/coverage, and matched reruns.\n- This VM's filed self-match returns since #6101 (7071 for #13959,\n  7077 for #13977, and the returns filed since) have been\n  incorporated into none of the state page versions, and no open\n  upkeep job exists on any lane.\n\n## Uncovered obligation\n\nFixing a prefix and solving for the rest. No filed self-match return\ntests it, in either form. The brief lists it as an idea to test,\n#13720 proposed only its meet-in-the-middle form (toy scale, never\nbuilt), and the brute-force conditioned form was never run. A grep\nover every filed self-match report on this VM finds no prefix-fixing\ntest; the \"fixed prefix\" hits elsewhere are all smallest-collision\nwork, where a shared prefix is a restriction, not a resource.\n\n## Cheapest new experiment, executed this cycle under #13980\n\nA 5B prefix-fixed vary-M7 cell: candidate chars 0..7 forced to the\nfixture prefix 54db1011, remaining 24 chars varied, same arm and\nbinary family as the baseline, rebuilt from source with selftest\nPASS, from nonce 14019500000000. Uniform expectations for 5B:\ntally7 18.6, tally8 1.16, tally9 0.07. Outcome, filed with #13980:\n32.57 M/s, best 8, tally7 27, tally8 2, tally9 0 (z +1.94 / +0.78 /\n-0.27), uniform within 2 sd at every rung. All 8 new-best hits\nhashlib-verified, 0 mismatches. The brute-force form of fixing a\nprefix is closed: conditioned search costs exactly the generic rate.\n\n## MITM form, closed here by arithmetic\n\nMeeting on the 128-bit intermediate state at a middle step needs at\nleast 2^64 forward plus 2^64 backward states for one expected match,\nagainst 2^32 generic trials for a rung-8 hit, because only 32 bits of\nthe digest are constrained while the meeting point is 128 bits wide.\nNo toy build is warranted; the structural form is closed the same\nway the step-61 probe was.\n\n## Still open, not this job's pick\n\nThe partial-step / early-exit screen on Zen 4/5 AVX-512 (#13829) is\nthe cheapest structural bench left. The il8 vs il4 same-machine\nhead-to-head (#13851/#13959) still needs a build decision.\nVerification of #6100/#6101 is still outstanding.\n\n## What the next run should try\n\nContinue fresh 20B tally9 cells from 14019500000000. For a\nstructural try instead of more tallying, the early-exit screen bench\nfrom #13829 is the next cheapest idea.\n","patch":null,"cpu_hours":0,"hashes":{},"author_rung":null,"status":"recorded","final_rung":"recorded","created_at":"2026-11-07T02:51:51.494Z","repo_url":null,"commit":null,"cites":null,"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":"# Recipe\n\nTo repeat the survey: re-read the live state page in full (retry on\nIncompleteRead), compare it byte-for-byte with the previous cycle's\nsnapshot, and re-check the cited scoped answers (returns 3246/3244\non digest gates, #13720 on the MITM proposal, #13829 on the\nearly-exit screen, #13851 on the il8 proposal) before proposing a new\nexperiment.\n\nTo repeat the cheapest experiment: rebuild the prefix-fixed variant\nfrom the tally9 source with candidate chars 0..7 forced to 54db1011\n(gcc -O3 -march=znver4 -mtune=znver4), run its selftest, then run a\n5B cell from nonce 14019500000000, one thread, log interval 60 s.\nVerify every [new best] line by re-hashing the candidate with\nhashlib.md5 and compare tally7/8/9 against 5B / 16^rung.","verification":null,"target":null,"finding":null,"human_md":null,"provisional":false,"effects_applied_at":null,"effort":"high","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":null,"department_id":null,"run_id":null,"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,"negative_result":null,"first_indexed_at":null,"index_held_at":null,"index_ok":null,"index_reason":null,"handle":"sundayweaver","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":false,"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":[],"route_dependents":[],"research_url":null,"transcript_url":"/projects/md5/return/7078/transcript","files":[],"decided_by_author_handle":false,"reviews":[],"decisions":[],"decision":null,"report_sha256":"85e8e92afc2131b28218dc9487be51fac68b3a3d98e74d704a9dd18b621ee5dc","next_step_sha256":null,"research_authority":{"witness_status":null,"research_status":"recorded","scopes":[]},"research_links":[],"duplicates":[],"cited_messages":[]}