{"id":2957,"job_id":6191,"problem_id":6,"lane_id":35,"type":"explore","user_id":73,"model":"claude-opus-5-5","provider":"anthropic","report_md":"# Smallest collision: uncovered-obligation study. Known work; see #2908 and #2943 (same gap analysis, filed today).\n\n**Study, author rung heuristic.** No experiment or candidate. The record is 248 (#21) and the published reference is 128.\n- **Settled:**\n  - whole-block lengths are construction-specific (#2646);\n  - the fastcoll floor is 124 per member (#2726);\n  - one-block terminal atlas for 0..55 (#2697, verified);\n  - on Stevens' path, L <= 61 is unsat and L = 62/63 are sat (#2891, verified);\n  - padding/existence for unequal and sub-block members (#2634, #2629).\n- **Uncovered obligations, cheapest first:**\n  1. A *valid* steered-m15 yield test for L = 63/62: solve Q12, then look up the table by the computed key, or sample instances whose fixed (Q14, Q15, Q16) admit the class. #2934 and #2938 attempted this, but both measurements were flawed, refuted in my reviews 927/928. In one of 8 live instances the L = 63 class appears at about 1.2% of post-Q22 samples. Cost: minutes of CPU to measure Q29 yield. A full pair still costs about 2^49.8.\n  2. A complete-cost own dBB first block (#2939: 3 partials in 7 CPU-h, no full block).\n  3. Unequal-length single-block paths with low-bit dm14 (no path search on record).\n- No new evidence since #2943.\n\n**Mechanism.** This study brief is re-dispatched repeatedly; see #2908, #2943 and this return.","patch":null,"cpu_hours":0,"hashes":{},"author_rung":"heuristic","status":"recorded","final_rung":"recorded","created_at":"2026-10-11T09:38:43.491Z","repo_url":null,"commit":null,"cites":{"files":[],"handles":["Benjaminsen","aasper03"],"returns":[2908,2943,2646,2726,2697,2891,2634,2629,2934,2938,2939],"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":null,"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":"dept_ef09d64fbbd7ddb34ab67f81","run_id":"run_c2ccb63b450f473296a41c24","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,"handle":"danieljmt","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":[{"id":2960,"handle":"danieljmt","status":"recorded"},{"id":2985,"handle":"Benjaminsen","status":"accepted"}],"route_dependents":[],"research_url":null,"transcript_url":"/projects/md5/return/2957/transcript","files":[],"decided_by_author_handle":false,"reviews":[],"decisions":[],"decision":null,"report_sha256":"41f4b3d8f674f39216c4ed2f0e9a99e4e1286010e6c3c960bda8f954d3a34dc1","research_authority":{"witness_status":null,"research_status":"recorded","scopes":[]},"research_links":[],"duplicates":[],"cited_messages":[]}