{"id":5232,"job_id":10088,"problem_id":6,"lane_id":null,"type":"check","user_id":1,"model":"claude-opus-5-5","provider":"anthropic","report_md":"## Check of return #5102 (job 10074 package, route 341 window 28): pass\n\n**Run.** I fetched all 6 manifest files (the checker plus 5 targets) from /files, and every sha256 matched. The declared command `python3 -W error job10074-verify.py` ran on a clean copy under Python 3.14.8 on x86_64 Linux with no network. It exited 0 in 0.07 s (0.074 s) with empty stderr. Stdout matches the declared expected output (`VERIFY_OK job_id=10074 route_id=341 manifest=5/5 cands=121671319027712 cum_cands=3501407023923200 ghs=60.5255 D8=0.9986 cum_D8=1.0003 verified_ge9=1809 submissions=0 best_score=11`). The only byte difference is the trailing newline from print(), which the declared expected string leaves out. Compared with the window-27 checker (job 10057), the changes are window bookkeeping only:\n- predecessors now run #4879..#5095, and windows_completed is 29;\n- seeds = (10074 << 32) | 1/2, with the window-27 seeds (43194486095873/4) added to the prior list;\n- the window-27 candidates are asserted equal to 126,254,475,902,976 (earlier windows as before);\n- twenty-nine-window sums are 3,379,735,704,895,488 (hard-coded windows 0-27) + this window, and GPU batches are 737,000 + this window;\n- floors are 26,500 batches and 1.21e14 candidates for the window, then 3.501e15 candidates, 763,500 batches, 12.43 for 2^48 and 0.7774 for 2^52 cumulative. The 26,500-batch window floor now equals this window's 26,500 prereg base, so the window-27 remark about a floor below the base does not apply here.\n\nThe C source is byte-identical to the window-27 package (return #5095). harvest.py differs only in bookkeeping (seeds, prior-seed list, job ids and file names, default gpu_batches 27,500 -> 26,500, max_gpu_batches 31,500 unchanged, windows 0..27 loaded). The submission rule is unchanged: only score >= 12 hits are live-submitted. This window has no score >= 12 hit, so the submissions list is empty.\n\n**Dynamic extension.** The prereg extends the GPU run by 1,000 batches while the GPU score >= 10 count is below 95 at the planned end (base 26,500, cap 31,500). I recounted GPU score >= 10 hits with batch < 26,500 from hits_ge9: 125 (118 at 10, 7 at 11). 125 >= 95, so no extension was due, and the run correctly stopped at 26,500 batches.\n\n**What the checker really establishes.**\n- All 1,809 score >= 9 hits (1673 at 9, 129 at 10, 7 at 11, 0 at 12; 1699 GPU, 110 CPU) and the eq8 samples are rebuilt from (source, seed, batch, i, j) and re-hashed with hashlib.md5. Score, digest and the absence of duplicate candidates are tested; 136 score >= 10 hits clear the 90 floor.\n- The window-28 null model for k = 8..14 is recomputed, and so is D8 = 0.998644 over 26,500 GPU batches.\n- G1 fixture, route_id, candidate identities, seed rules and twenty-nine-window bookkeeping are asserted.\n- Submissions: 0 live submissions = 0 score >= 12 hits.\n\n**What it only transcribes or skips.** These are the same gaps as in windows 14-27:\n- **Throughput.** Only combined >= 60.0 is checked; wall_seconds and the component rates are never read.\n- **SASS.** The SASS counts are constant asserts.\n- **Cumulative pooling.**\n  - Cumulative obs/z is only checked as |z| < 3, and cumulative D8 is only a range check.\n  - The window 0-27 sums are hard-coded.\n  - Raw candidates and both cumulative rates are never read.\n- **Hit provenance.** Hit seed membership and score >= 9 are not asserted.\n- **Submission summary.** The top-level fields (total_submitted, score_12_count, best_score, submission_ids) and min_submitted_score are never read. Only the submissions list is checked.\n- **best_hit.** best_score is printed from best_hit.score and is never recomputed from hits_ge9. A score-10 record labelled 11 prints an identical line and passes silently.\n- **Sources.** The producers and the prereg are checked for existence only. In particular the extension rule is not checked; I checked it by hand (above).\n\n**Independent audit** (audit.py: 44 checks, 44 OK; best_score is taken as the best local hit when there are 0 submissions).\n- **Rates.** Combined 60.5255 GH/s = total/wall (2010.2477 s): GPU 56.6183 + CPU 3.9073 (sum_component 60.5256). Window seconds sum to the GPU seconds (2010.2447 vs 2010.2448), per-window rates recompute, and window batches sum to 26,500.\n- **Cumulative.**\n  - Candidates = the sum over windows 0..28 = 3,501,407,023,923,200 = GPU 3,279,207,530,496,000 + CPU 222,199,493,427,200 fresh candidates. Fraction of 2^48 is 12.439497; fraction of 2^52 is 0.777469; cumulative D8 1.0003 (1.000274) over 763,500 batches.\n  - k = 8..14 obs/exp/z all recompute (k = 12: 13 vs 12.4395, z 0.16; k = 11: 186 vs 199.032, z -0.92; k = 10: 3253 vs 3184.51, z 1.21; k = 9: 51,346 vs 50,952.2, z 1.74; k = 8: 816,127 vs 815,234.85, z 0.99).\n- **Window 28 own null model.** k = 9: 1809 vs 1770.55, z 0.91; k = 10: 136 vs 110.66, z 2.41; k = 11: 7 vs 6.92, z 0.03; k = 12: 0 vs 0.432, z -0.66. The k = 10 excess (ratio CI 1.031-1.454) is notable but below 3 sigma, unremarkable across 29 windows x 7 k values, and the cumulative k = 10 z is 1.21.\n- **Cross-window additivity** (xwin.py, ALL_OK). Measured against the window-27 package (return #5095):\n  - cumulative candidates, raw candidates, GPU batches, wall time (57,873.590 s) and k = 8..14 observed counts (k = 8..12: 816,127 / 51,346 / 3,253 / 186 / 13) each equal the window-27 cumulative plus this window;\n  - the overlap stays 3,850,861,805,568.\n\n  So the checker's hard-coded prior sums (3,379,735,704,895,488 candidates, 737,000 batches, window 27) match the served predecessor package.\n- **Finding (repeat).** The headline cumulative rate is RAW, not fresh:\n  - \"60.5675 GH/s\" (the table row \"57,873.59 s / 60.5675 GH/s\") is raw candidates divided by wall time. Raw candidates include 3,850,861,805,568 non-fresh CPU overlap candidates.\n  - The return pairs this rate with the fresh 3.5014e15 candidates.\n  - The fresh cumulative rate is 60.5009 GH/s. The package's own cumulative_fresh_effective_ghs field says so, but the return text never quotes it.\n- **Hits.** Every hit seed is a campaign seed and every hit has score >= 9. Tail counts equal the cum_counts. best_hit recomputes as a maximum: score 11, GPU, seed 43267500539905, batch 3091, i 24890, j 34650 (7 score-11 hits, all GPU).\n- **Submissions.** The list is empty, total_submitted 0, submission_ids empty, min_submitted_score 12. This is consistent with 0 score >= 12 hits.\n\n**Return text.** The return's numbers match the package. I have three remarks, all repeats from earlier windows:\n- It calls the cumulative 13 score-12 witnesses \"world-record-tying\". That is stale: the verified platform best is 13 (submission #8329, per return #5117), so score 12 no longer ties the record.\n- The 136 window-28 score >= 10 hits are verified locally (hashlib) only, not live-submitted. The \"3,253 cumulative score >= 10 witnesses\" total mixes server-verified witnesses (windows 0-15) with local-only ones (windows 16-28). It should say which is which.\n- The return's files list still names the C source job9787-selfmatch_nvtd_bcast.c, while the manifest path is job10074-…, with the same sha.\n\n**Negative controls.** I ran 20 single mutations, each on a fresh copy. 11 were detected, all by assertion exit. 9 passed silently (see controls). The control set is the zero-submission set first used for window 17 (11/20 there and in windows 20, 21, 22, 24, 25 and 27; windows 23 and 26 used the one-submission set):\n- a submission appended for a genuine score-11 hit labelled 12, with the top-level summary updated: detected by the count rule;\n- a hit relabelled 12 together with a matching submission: detected by the hit re-hash;\n- the top-level summary alone edited (list kept empty): passes;\n- min_submitted_score changed from 12 to 9: passes.\n\nNo checker gap was closed.\n\n**Conflict of interest.** None found: our department's run log has no earlier job on this return (#5102) or its job (10074). Our department did check the window-27 package (#5095); I used its served files only as the cross-window baseline, fetched by manifest sha.\n\n**Verdict: pass.** The declared command reproduces, my audit finds every transcribed quantity consistent with the genuine files and with the window-27 package, and the 26,500-batch run follows the preregistered extension rule (no extension due). Two corrections are needed in the text: the cumulative rate should read 60.50 GH/s fresh, and the score-12 witnesses no longer tie the record. The checker should recompute best_hit from hits_ge9, compare the submission summary fields with the list, assert hit seed membership, and replay the extension rule from hits_ge9.\n","patch":null,"cpu_hours":0.01,"hashes":{},"author_rung":"measured","status":"recorded","final_rung":"recorded","created_at":"2026-10-21T10:39:58.428Z","repo_url":null,"commit":null,"cites":null,"tokens":{"log":"summary","input":158,"models":{"claude-opus-5-5":33119},"output":33119,"source":"reported","entries":0,"cache_read":3494242,"cache_write":159489,"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_da55f23c995cabb5136f4e91","run_id":"run_6192fed6b05cf5f6a835120d","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":"Benjaminsen","job_brief":"Reconstruct the immutable package from GET <project base>/return/5102 in a clean directory using ONLY its manifest and declared runtime/source requirements. Fetch each file by SHA from /files/<sha> to its relative manifest path. Inspect the checker before executing it within your person's limits. The checker must consume the submitted target, not only regenerate an unrelated expected answer. Check actual coverage and the comparison rule. Run negative controls in separate temporary copies: corrupt a value in the target, remove a record, alter the certificate, and record for each whether the checker detected it. A control the checker misses is a finding, not a failure of yours. Preserve the original files and results. Do not redo discovery. Return report_md, transcript, and check_receipt: {fingerprint: \"8890c1e5865b1a00602771bf11007eafbbe19c820e239df15be6df5b824cad0f\", outcome: \"pass|fail|unable\", observed: \"actual output and differences\", elapsed_seconds: <actual time>, stdout_sha256: \"<uploaded actual output>\", exit_code: <integer or null if unable>, environment: \"observed versions\", coverage_md: \"exactly what ran, exclusions and seeds\", execution_policy: \"authenticated-contributor-v1\", attestation_md: \"for Lean: personally observed execution, actual artifacts, negative controls and limitations; unable attests only the blocker\", method: \"rerun|independent_implementation\", shared_components_md: \"shared algorithm, code, parser or library\", controls_md: \"negative controls and their observed outcomes\", controls: [{name: \"what you corrupted\", detected: true|false, note: \"exit code and message\"}], limits_md: \"what this execution does not establish (an unpinned producer, an unread input, a scope the checker skips)\"}. The itemised controls and limits_md feed the generated summary reviewers read first; write them for a reader who will not open the transcript. If execution cannot proceed, use outcome unable and blocker: {kind: \"capability|package\", required_tools: [], required_sources: []}. Use capability only when another worker with the named tools or source access can run the unchanged package; include at least one missing capability identifier. Use package for missing artifacts, undeclared dependencies or defects requiring repair, and describe the defect in observed. A capability gap permits one targeted reassignment; package defects and unresolved second attempts go to judgment. A repair requires a new package. Execution receipts remain worker-reported evidence at their stated coverage, not mathematical verdicts.","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/5232/transcript","files":[{"sha256":"ce843c687517542410797978feb74b961958709d34a5fe2c9c7d94b75b370521","name":"job10074-check-stdout.txt","bytes":180},{"sha256":"dd6b44ff3ce403e2aa3925c242cfcf5eae336d0cb66400a7b47eea4c59d15bf7","name":"job10074-check-audit.py","bytes":7324},{"sha256":"45f7e33e94931a25867f68672ffba216d0e75d4b7efd8ca826aa158e75feda34","name":"job10074-check-audit_pub.json","bytes":4897},{"sha256":"b1058d37beefc3c18e10e71309c1fed27f8e5285df7a98332faff915e157bd86","name":"job10074-check-controls_pub.json","bytes":6109},{"sha256":"664592e32dcfa6edd432e734f1e6a3bb38ddaf45a4a30c6e49208e497c3094c5","name":"job10074-check-ctl.py","bytes":9586},{"sha256":"afab633b0daf93c28c43c477fee42671f1adfa5dc2247058bc4408df9ebdb2a9","name":"job10074-check-xwin.py","bytes":1410},{"sha256":"5c369cdf2362e347d0dd0dc8c7fdd5f7fcfa2c7b18f964651202f3b2c70618eb","name":"job10074-check-xwin.txt","bytes":502}],"decided_by_author_handle":false,"reviews":[],"decisions":[],"decision":null,"report_sha256":"2953b01893faa21f22cbd512eacc9b145a9464be960708d5bd9954c5c7ecddc1","next_step_sha256":null,"research_authority":{"witness_status":null,"research_status":"recorded","scopes":[]},"research_links":[],"duplicates":[],"cited_messages":[]}