{"id":2248,"job_id":4891,"problem_id":1,"lane_id":null,"type":"explore","user_id":1,"model":"fbm1.aaeaauppocz-8axk_3idhiec1gbqhkw6uykeugxejh2fn39mysk95o84hx5ghjwvfimns3mnxgiqrso5onk7mrbhva4yeqt4xpn_qozxhftbpg0","provider":"unknown","report_md":"# Job #4891 - route 158 first look: the returns on record do not answer the held step\n\n**Outcome: `promising`.** The route 158 step (rev 10, `last_return_id` 1941) is an\n*execution/robustness* question, and none of the returns cited for comparison - #1991, #1972, #1942,\nall on route 172 - touches it. They settle a route-172 arithmetic question about the capped Gram\npencil and its threshold; the only thing they share with this step is the premise #1869. Nothing on\nrecord regenerates the d = 17 witness, banks `run-compact46`'s `C r = 0` unit, or exercises\nSTOP / forced kill / resume. The step is copied unchanged as `next_step`.\n\n## 1. The step being checked (route 158, rev 10)\n\nFetch the served sources by sha (#1610 `ritz-ckpt.py`, `certify-stream.py`; #1599 `even-engine.py`,\n`flint-chol.py`), run `ritz_vector_resumable(46, Fr(25,861), 17, prec=1024)`, evaluate\n`I_0 = c^T M1 c` and `J_0 = c^T M2 c` in exact rationals and require them equal to #1869's served\n`compact46-d17.json` rationals; then bank `run-compact46`'s `_task(('C',0))` as one unit under\n#1906's `banked_stage` with #1926's POSIX pgid patch, stopping once at a unit boundary and once by\nforced kill, resuming each time, and compare the resumed `C r = 0` value with the served per-unit\nrational `-1.0634417190e-05`. Exclude `D r = 0` and `C r = 13` as vector-independent zeros.\n\nEvery clause of that step is about *producing and banking the input and the unit*: the witness\nregeneration, the exact `I_0/J_0` pin, the checkpoint/STOP/forced-kill/resume control, and the\nper-unit reproduction. It is not a question about the capped optimum.\n\n## 2. What each compared return settles\n\nAll three are route **172** (rev 2), whose route-level question is the *capped* Gram pencil at\n`k = 46, d = 17` and whether basis enrichment to `d = 19/21` can clear the threshold\n`tau = 1/A = 3.8714672861014323`.\n\n- **#1942 (`direction`, accepted/measured)** builds the exact capped Gram pair\n  `M2^cap = M2 + k E_sym`, `M1^cap = M1 - Delta_sym`, reproduces #1869/#1641's stored values\n  bit-exactly, re-optimises the witness `c*` and records `J_cap/I_cap = 3.8115713687001214` with the\n  finite-spectrum diagnostic `[3.799, 3.812]`. This is route 172's *mathematical* object. It runs\n  the recording/contraction pass and a generalised eigenproblem; it does not run `banked_stage`,\n  does not regenerate a Ritz witness, and does not compare a per-unit value with\n  `compact46-d17.json`.\n- **#1972 (route 172 first look)** settles that the `d = 19/21` enrichment is unjustified, from\n  #1942's diagnostic plus the exact cap-cost arithmetic (`cap_cost = 2.301984%`,\n  `deficit = 1.547112%`). Route-172 question.\n- **#1991 (route 172 rescue)** argues the recorded route-172 step cannot decide (the `V_d` family is\n  nested so the uncapped optimum is monotone, and the recorded cap target is `2.01784x` too\n  generous). Route-172 step defect; it says nothing about the banked/restartable execution.\n\nNone of the three contains the execution objects at all (no `banked_stage`, `run-compact46`,\n`ritz_vector_resumable`, `pgid`/`killpg`, descendant control, or per-unit comparison); the checker\nasserts this against the saved served text. (#1991 names `compact46-d17.json` exactly once, under\nits own *Sources* list, as route 167's cited file - a citation of the shared premise, not an\ninvocation of the runner.)\n\n## 3. Why that is not an answer\n\nThe step's decision rule is about the *instrument and the banking*: does the witness regenerate and\npass the `I_0/J_0` gate, and does the C r = 0 unit resume to the served rational after both a\ncooperative STOP and a forced kill - \"or any descendant outlives a STOP or kill\". A statement about\nroute 172's capped optimum, even a decisive one, cannot fire or settle any of those clauses; it does\nnot run the runner, the bank or the monitor. Conversely, route 172's returns do not read route 158's\nbanked execution either. The overlap is the shared premise #1869 (the d = 17 witness and its exact\nrationals): #1942 *uses* those rationals as an input to a different (capped-Gram) construction, and\n#1972/#1991 use #1869's uncapped `J_0/I_0 = 3.9013805275618854` as route 172's anchor. Reading a\npremise is not answering this step.\n\n## 4. Route 158's own returns (the step's inputs, not answers)\n\n#1926 rewrote the step to bank **`C r = 0`** (not `D r = 0`) and supplied the POSIX pgid patch after\nmeasuring that #1906's POSIX path leaked descendants (19 checks, 2 failures -> 19/19 patched). #1941\nidentified the generator of the missing d = 17 input in route 158's own origin instrument (#1610). An\nearlier step check on this route, #1923, reached the same `promising` conclusion for the earlier\nrevision and is consistent with this one; no return since #1923 changes that reading.\n\n## 5. Open precondition (not a closure)\n\n#1941 records that the regeneration cannot execute on its own machine: `import flint` / `import arb`\nfail (numpy 1.24.2, sympy 1.11.1, gmpy2 present), so the step must run where `python-flint` is\navailable. That is an open precondition, not an answer; the step's own `I_0/J_0` gate is the\naccept/reject test. No computation was run here and no published value was recomputed.\n\n**47** of @Benjaminsen's returns await a verdict; this run does not decide them.\n","patch":null,"cpu_hours":0,"hashes":{},"author_rung":null,"status":"recorded","final_rung":"recorded","created_at":"2026-10-04T02:40:30.184Z","repo_url":null,"commit":null,"cites":{"files":[],"handles":[],"returns":[1599,1610,1869,1906,1923,1926,1931,1941,1942,1972,1991],"messages":[]},"tokens":{"log":"custom","input":0,"models":{"fbm1.aaeaauppocz-8axk_3idhiec1gbqhkw6uykeugxejh2fn39mysk95o84hx5ghjwvfimns3mnxgiqrso5onk7mrbhva4yeqt4xpn_qozxhftbpg0":0},"output":0,"source":"none","entries":0,"cache_read":0,"cache_write":0,"observed_models":["fbm1.aaeaauppocz-8axk_3idhiec1gbqhkw6uykeugxejh2fn39mysk95o84hx5ghjwvfimns3mnxgiqrso5onk7mrbhva4yeqt4xpn_qozxhftbpg0"]},"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":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":{"outcome":"promising","route_id":158,"next_step":{"method":"Fetch the served sources by sha (return #1610: ritz-ckpt.py a2f47572..., certify-stream.py 5a90e249...; return #1599: even-engine.py 0ad32e25..., flint-chol.py 9820697c...) and rename them to importable modules. In a python3 with numpy and python-flint (arb), run ritz_vector_resumable(46, Fr(25,861), 17, prec=1024), then evaluate I_0 = c^T M1 c and J_0 = c^T M2 c in exact rationals with EvenEngine(46, Fr(25,861), 17, 'exact') and require them equal to #1869's served compact46-d17.json rationals (try other precs only if the gate fails, and if none passes record the mismatch rather than substituting). With the witness pinned, run run-compact46's _task(('C',0)) as one banked unit under #1906's banked_stage with #1926's POSIX pgid patch, stopping once at a unit boundary and once by forced kill, resuming each time, and compare the resumed C r = 0 value with the served per-unit rational -1.0634417190e-05. Exclude D r = 0 and C r = 13 as vector-independent zeros.","compute":{"ram_gb":2,"disk_gb":1,"cpu_hours":0},"failure":"No precision reproduces #1869's exact I_0/J_0; or a resumed C r = 0 value differs from the served rational; or any descendant outlives a STOP or kill.","success":"The regenerated witness passes the exact I_0/J_0 gate, no descendant survives a STOP or kill, and both interruption modes resume to C r = 0 equal to #1869's served per-unit rational.","question":"Can route 158 generate its own d = 17 Ritz input from the instrument its own origin return #1610 serves (ritz-ckpt.py + certify-stream.py + even-engine.py + flint-chol.py), pin it to #1869's exact I_0/J_0, and then bank run-compact46's C r = 0 unit with one unit-boundary STOP, one forced kill and a resume matching the served per-unit rational?","budget_hours":0.5,"required_tools":[],"required_sources":[]},"depends_on":[1599,1610,1869,1906,1923,1926,1931,1941,1942,1972,1991],"evidence_md":"# evidence - job #4891 (route 158 first look / step check)\n\nServed records only, fetched 2026-10-04 (journaled `GET /research-routes/158`, `/research-routes/172`,\n`/return/<id>` for #1941, #1926, #1931, #1906, #1869, #1610, #1923 and the three compared returns\n#1991, #1972, #1942). **Record comparison only. No experiment was run, no stage or monitor\nexercised, no numerical value computed and no published number recomputed.**\n\n**Step identity.** Route 158: state `active`, revision 10, `last_return_id` 1941, `next_job_id`\nnull. Its served `next_step` (work/route158_next_step.json) is the witness-regeneration + banked\n`C r = 0` unit + STOP/forced-kill/resume experiment, gated to #1869's exact `I_0/J_0` and the served\nper-unit rational `-1.0634417190e-05`. The payload's `next_step` is loaded from that same file and is\ndeep-equal to the served step (checker).\n\n**Compared returns (all route 172, rev 2).**\n- #1942: type `direction`, status `accepted`, `final_rung` `measured`, `author_rung` `verified`.\n  Builds the capped Gram pair at `k = 46, eps = 25/861, d = 17, A = 2583/10000`; reproduces\n  `c0^T E_sym c0 = -6.9947287159e-03` (#1869 `E_total`) and `c0^T Delta_sym c0 = 4.9059072202e-02`\n  (#1641 `Delta`) bit-exactly; re-optimised witness `c*` gives `I_cap(c*) = +3.221622e-94`,\n  `J_cap(c*) = +1.227944e-93`, `J_cap/I_cap = 3.8115713687001214 < 1/A = 3.8714672861014323`, so\n  `Q < 0` (does not certify); finite-spectrum diagnostic `[3.799, 3.812]` (numerical).\n- #1972: route 172 first look; `q_cap(17)/tau`, `deficit = 1.547112%`, `cap_cost = 2.301984%`; the\n  `d = 19/21` enrichment cannot recover two thirds of the cap; small-`k` capped pair is indefinite.\n- #1991: route 172 rescue; `V_d` nested -> uncapped `M(17) <= M(19) <= M(21)`; `M(17) >=\n  3.9013805275618854 > 3.812`; recorded target `2.01784x` too generous.\n\n**Why none answers the step.** The step's clauses are banking-execution clauses\n(regeneration, `I_0/J_0` pin, unit-boundary STOP, forced kill, resume, per-unit reproduction).\nThe three returns contain none of the execution objects (`banked_stage`, `run-compact46`,\n`ritz_vector_resumable`, `pgid`/`killpg`, `descendant`), as the checker asserts on the saved served\ntext; they run a recording/contraction pass and an eigenproblem instead. #1991 names\n`compact46-d17.json` once, under *Sources*, as route 167's cited file - a citation of the shared\npremise, not an invocation. The shared premise with the step is #1869 (the d = 17 witness/rationals),\nwhich they read, not answer.\n\n**Prior step check on the same step.** #1923 (route 158) concluded `promising` for the earlier\nrevision, copying the step unchanged; #1926 (route 158) set the current `C r = 0` target and the\nPOSIX pgid patch; #1941 (route 158) named the generator of the d = 17 input. These are inputs.\n\n**Open precondition.** #1941: `import flint`/`import arb` fail on its machine (numpy 1.24.2, sympy\n1.11.1, gmpy2 present), so regeneration must run where `python-flint` is present. Open, not closed.\n\n**Checker.** `work/check_f.py` (stdlib, offline) re-derives every claim above from the saved served\nrecords: N/N, exit 0 (`work/check_f.out`).","prior_art_md":"# prior-art / record note - job #4891 (route 158 step check)\n\nThis is a step check, so the prior work *is* the record; nothing was re-run. Reused without\nexecution: #1610 (route 158's origin instrument - `ritz-ckpt.py`, `certify-stream.py`,\n`seed-ckpt.py`), #1599 (the exact engine `even-engine.py` + `flint-chol.py`), #1869 (the d = 17\nwitness, `run-compact46.py`, `compact46-d17.json`, `log-compact46.txt`, and the per-unit rational\n`-1.0634417190e-05`), #1906 (the banked stage/monitor and the STOP/timeout receipts), #1926 (the\nPOSIX pgid patch and the `C r = 0` target), #1931 and #1923 (route 158's earlier step checks), #1941\n(the generator observation and the no-`arb` precondition), and the compared route-172 returns #1942,\n#1972, #1991.\n\nExternal search was not needed: the question is whether the named returns on the record answer the\nstep, and it is decided by reading those returns and the served step alone. No literature claim is\nmade. The existing route 158 prior-art record (#1610's `proposal-prior-art.md`, updated 2026-09-27)\nstill covers the underlying Ritz/exact-rational banking contribution and is unchanged by this check."},"research_route_id":158,"verification_plan":null,"verification_fingerprint":null,"review_admitted_at":null,"department_id":"dept_0e793a31e299699dfaaa6fee","run_id":"run_a30f4680841c588f24b90fae","triage_lead":null,"revision_base_sha":null,"integration":null,"resolves":null,"handle":"Benjaminsen","job_brief":"Step check before pursuit. Route #158's next experiment was set by return #1941, and returns were recorded after it on this route or a route linked to it by citations, dependencies or shared premises. Before a pursuit is spent on it, decide whether the returns already on record answer it. Read and compare; do not run the experiment and do not reproduce a computation a return already made. An unchanged-step comparison on another route is not new evidence.\n\nThe step:\n{\"method\":\"Fetch the served sources by sha (return #1610: ritz-ckpt.py a2f47572..., certify-stream.py 5a90e249...; return #1599: even-engine.py 0ad32e25..., flint-chol.py 9820697c...) and rename them to importable modules. In a python3 with numpy and python-flint (arb), run ritz_vector_resumable(46, Fr(25,861), 17, prec=1024), then evaluate I_0 = c^T M1 c and J_0 = c^T M2 c in exact rationals with EvenEngine(46, Fr(25,861), 17, 'exact') and require them equal to #1869's served compact46-d17.json rationals (try other precs only if the gate fails, and if none passes record the mismatch rather than substituting). With the witness pinned, run run-compact46's _task(('C',0)) as one banked unit under #1906's banked_stage with #1926's POSIX pgid patch, stopping once at a unit boundary and once by forced kill, resuming each time, and compare the resumed C r = 0 value with the served per-unit rational -1.0634417190e-05. Exclude D r = 0 and C r = 13 as vector-independent zeros.\",\"compute\":{\"ram_gb\":2,\"disk_gb\":1,\"cpu_hours\":0},\"failure\":\"No precision reproduces #1869's exact I_0/J_0; or a resumed C r = 0 value differs from the served rational; or any descendant outlives a STOP or kill.\",\"success\":\"The regenerated witness passes the exact I_0/J_0 gate, no descendant survives a STOP or kill, and both interruption modes resume to C r = 0 equal to #1869's served per-unit rational.\",\"question\":\"Can route 158 generate its own d = 17 Ritz input from the instrument its own origin return #1610 serves (ritz-ckpt.py + certify-stream.py + even-engine.py + flint-chol.py), pin it to #1869's exact I_0/J_0, and then bank run-compact46's C r = 0 unit with one unit-boundary STOP, one forced kill and a resume matching the served per-unit rational?\",\"budget_hours\":0.5,\"required_tools\":[],\"required_sources\":[]}\n\nThe route's own returns: #1610, #1615, #1636, #1898, #1902, #1906, #1923, #1926, #1931, #1941 (GET <project base>/return/<id>).\n\nReturns to compare it with (the latest on this route first, then linked routes):\n- Return #1991 (route 172, progress, recorded, recorded): Route 172 (rev 2) is paused on a step that cannot decide anything, and its stated certification target is twice too generous. Both are settled exactly, on published numbers, with no new computation. (1) The recorded next experiment (uncapped M_{46,25/861}(d) for d = 17, 19, 21) is decided a priori. V_d = span{(1+eps-P1)^a P_alpha : a+|alpha| <= d} is nested, so the uncapped optimum M(d) is non-de\n- Return #1972 (route 172, inconclusive, recorded, recorded): The route's single proposed experiment (enrich the even-signature basis from d = 17 to d = 19 at k = 46, eps = 25/861, rebuild the exact capped Gram pair, re-solve) is not justified, and the reason is already in the published record. Combining #1942's capped re-optimised quotient q_cap(17) = 3.8115713687001214 with #1869's uncapped anchor at the same (k, d = 17), q_uncap(17) >= J_0/I_0 = 3.9013805\n- Return #1942 (route 172, proposed, accepted, measured): * `tests/test_capped_gram.py`: bit-exact vs `correction` and `violation_F2` at k = 4,5,6 (recording, second witness, Gram, pair checks). * `tests/test_gram_shard_k46.py`: bit-exact vs direct contraction on a k=46 pair witness. * `out/gram_check_k46.json`: c0^T E c0 and c0^T Delta c0 equal the stored #1869 E_total and #1641 Delta as exact rationals. * `lean/ReoptimisedCappedCertificate.lean`: exact\n\nReturn the ordinary report and transcript plus research: {route_id: 158, outcome, evidence_md, depends_on}, with one of:\n- outcome \"known\": the returns you name in depends_on already answer the step; evidence_md says what each settles. No next_step. The route stops here and the pursuit is not handed out.\n- outcome \"progress\" with a new next_step that builds on the answer where they answer part of it; the old step is replaced.\n- outcome \"promising\" with the step above copied exactly as next_step when it is still open; the held pursuit then goes out with your note, and these returns never hold it again.","review_deferred":false,"in_triage":false,"triage":[],"verification_runs":[],"verification_state":null,"verification_summary":null,"canonical_return":null,"review_history":[],"dependencies":[{"id":"1599","status":"recorded","final_rung":"recorded","canonical_return_id":null},{"id":"1610","status":"recorded","final_rung":"recorded","canonical_return_id":null},{"id":"1869","status":"accepted","final_rung":"measured","canonical_return_id":null},{"id":"1906","status":"accepted","final_rung":"measured","canonical_return_id":null},{"id":"1923","status":"recorded","final_rung":"recorded","canonical_return_id":null},{"id":"1926","status":"pending","final_rung":null,"canonical_return_id":null},{"id":"1931","status":"recorded","final_rung":"recorded","canonical_return_id":null},{"id":"1941","status":"recorded","final_rung":"recorded","canonical_return_id":null},{"id":"1942","status":"accepted","final_rung":"measured","canonical_return_id":null},{"id":"1972","status":"recorded","final_rung":"recorded","canonical_return_id":null},{"id":"1991","status":"recorded","final_rung":"recorded","canonical_return_id":null}],"cited_by":[{"id":2252,"handle":"Benjaminsen","status":"recorded"}],"route_dependents":[158],"research_url":"/projects/twin-primes/research-routes/158","transcript_url":"/projects/twin-primes/return/2248/transcript","files":[],"decided_by_author_handle":false,"reviews":[],"decisions":[],"decision":null,"duplicates":[],"cited_messages":[]}