{"id":3374,"job_id":7008,"problem_id":1,"lane_id":3,"type":"explore","user_id":1,"model":"deepseek-v4-flash","provider":"deepseek","report_md":"# Job #7008 — route 112 step check: the mirror class is not answered by any post-setter return\n\nAttempt [attempt] (job #7008, type `explore`/`first_look`, route 112, lane formalize,\npurpose discovery, general mode). This is a **step check**: decide whether the returns\nalready on record answer route 112's held step. Comparison only — `cpu_hours 0`; no\nexperiment was run and no computation a return already made was reproduced.\n\n## Outcome\n\n**promising.** The step set by **#2584** is still open; it is copied **exactly** as\n`next_step` (canonical sha256 `87a4fdb67f004ecd0dce43dab032f9cbbd944352cf688a6484e484a66dfed3b0`).\nRoute 112 hands the step out unchanged with this note.\n\n## Step binding (exact)\n\n- Route 112 `active`, **revision 17**, `last_return_id` **2584**, `updated_at`\n  2026-10-09T09:56:02.327Z. The route record's **17 events** are exactly the route's own\n  returns {1352,1365,1370,1398,1806,1907,1919,1924,2210,2220,2240,2342,2346,2408,2429,2574,2584};\n  the **newest event is #2584** => no route-112 return after the setter.\n- The brief's inline step, the route `next_step`, and **#2584**'s `next_step_sha256`\n  all have the **same** canonical (sorted-key) sha256 `87a4fdb6…`; the setter's\n  `research.next_step` is byte-equal to the route `next_step`. The assignment's\n  `unresolved_obligation_md` is byte-equal to the step `question`.\n\n## The setter leaves it open\n\n**#2584** (route 112, `result`, accepted, final rung `measured`) measures the\nsix-substitution ladder at P = 30030: `U_29 = {17,19,23,31,37,41}` with marginals\n`8, 8, 9, 6, 8, 6`, i.e. **max 9 at q = 23 — a new maximum** above the full class's 8. Its\nown words propose the *mirror* class `{17,19,23,31,37,43}` (29 removed, 43 added instead of\n41) as the next experiment and state the alternative (max carried by the removal of 29 vs.\nby the addition of 41). So the setter names the target; it does not meet it.\n\n## The post-setter returns do not answer it\n\nThe three returns the brief lists for comparison are on **other routes** and none carries\nthe step or its class:\n\n| return | route | type | status | cites | mirror `{17,19,23,31,37,43}` | U_29 max 9 | step sha |\n|---|---|---|---|---|---|---|---|\n| #3198 | 176 | explore/result | accepted, measured | #2514 | no | no | no |\n| #3181 | 198 | explore/result | accepted, measured | #2516,#3175 | no | no | no |\n| #2839 | 231 | explore/progress | recorded | #2568,#2564,… | no | no | no |\n\nNone of the three cites #2584 or any route-112 record, and none of them mentions the mirror\nclass, `U_29`, the max-9, or the step sha (token scan, `facts_ah.json`). The other context\nreturns delivered by the server are route/lane evidence that predates or is outside this\nstep.\n\n## Bounded probe\n\n60 sequential journaled `GET /return/<id>` for ids **2585–2610** (`probe_ah.jsonl`):\n**0** route-112 returns, **0** step-sha matches, **0** mirror-class tokens. Bounded because\nthis server answers each `GET /return/<id>` in ~5 s and the route record's\n`last_return_id`/`events` is the authoritative membership test; the probe is supplemental\nconfirmation, not a census.\n\n## Why not `known` / `progress`\n\n- `known` needs a named return to already settle the mirror-class measurement (its C, its\n  six A_q, the marginals, the max and its argmax). No such return exists.\n- `progress` needs a new partial answer that replaces the step. The record's newest position\n  is #2584 itself; nothing after it moves the step.\n\nSo the brief's `promising` clause applies: the step is still open and is returned unchanged.\n\n*65 of the author handle's returns wait for a verdict* (as stated in the assignment brief).\n","patch":null,"cpu_hours":0,"hashes":{"check_ah.py":"3e3873fd7f3154320c4439b9ec9c28ca32029b3b31519d8e32e246b2bcbe243f","fetch_ah.py":"bb95fe631903d0c7dea93664c2bbb2b447b9a06a88fc36a90db973f74c5812e9","probe_ah.py":"27a506060416ca806547dcd19d4b170d93d2cda858db6b34a6e00f8c9f4dc6f8","check_ah.out":"f4f9a6282ebcdb06166eafec18c7085e729072dcc0c6f13c2db0003303b926a4","probe_ah.out":"93dd948d0001c3c930ba92afb7ee3432a2f99632096d972f6837fbb757ad6aa7","recipe_ah.md":"81fad29eddab246b95caa143bed87e74e46f44ba4182451b748f70a713aa0af4","report_ah.md":"d9b4a38dc51615e8e9c3c4ec77929ea4c2c421adf79a9df759ce2429886d71fa","step_ah.json":"a6abdad203f6fdd1e066366862fd2c8dfebfcf43268fc6fd84b9b55f7926f988","analyze_ah.py":"01d7e91dcfd9d2f67ccf3eae4ad856824615533cef4446a77ac17a390681da4d","facts_ah.json":"2462ddfb0e1d93c8b789cab96c1f06645114b18b271b36943b46200505d656f6","evidence_ah.md":"c0991e26a96a3a9b22d6e017722e374fc2fa344cb61e5e61cc55ccad41086cbb","probe_ah.jsonl":"0392ce930e252c7e9bef78f5ddc6a75997f815567518825f5d4f27e407c565c4","prior_art_ah.md":"7a67aa489fd08f80db1de6718aba241f09e511ae8074232efdaa15a8871aaaf6","transcript_ah.md":"77742a3964d987a50934da9d3762a3e206bf668723194a3022c9d2995633f8de","next_step_ah.json":"a6abdad203f6fdd1e066366862fd2c8dfebfcf43268fc6fd84b9b55f7926f988","check_ah.control.out":"8ea427d3756cb0394cc64ef8b95e3ce3ef2510bfcd9aad6f0b48c8fa4c7f91ce","served-return-2240.json":"97bc65b2f1c36787a7fd5b93bdb53a4190c0c2817468c1ea06cfc98df0c4c371","served-return-2346.json":"d47ef0939b42632d16a21c47bf9be96d8d7dfdddf497162dd358ae1cefa9a17d","served-return-2429.json":"43e38c30160ed432886b8002250592f4188484fcd53bb8e0d793d0ad89d88b1d","served-return-2574.json":"1a96d220c76a814f0c4260d7afe9e93cd4587f906a0659b4835f4144e09a0921","served-return-2584.json":"94073b397ad8c1c7247579c2244cc60255bcb0244390587c7ec3bb33292d7a41","served-return-2839.json":"6e735dd7b752693ae7c470251b6563773c6c412e70a2ff00ab0e9b0607a3dd6d","served-return-3181.json":"fb25bea4b808927543fca564895784be14b88f7a69a269dc25f6b09940ce473b","served-return-3198.json":"8094b0c4f1b2b8b3d6a08b5f553e44971d53785516208b19636f3271a565e1aa","served-state-formalize.json":"9102ccb5219793e5608324cb2fe7b19e14efa032bb4329a3d0b0ce382bff999f","served-research-routes-112.json":"4408a6c2c8da144a77b6840287f2d13af4b049858d50b0a0144181e13d0980e8"},"author_rung":null,"status":"recorded","final_rung":"recorded","created_at":"2026-10-13T03:37:40.773Z","repo_url":null,"commit":null,"cites":{"files":["d9b4a38dc51615e8e9c3c4ec77929ea4c2c421adf79a9df759ce2429886d71fa","c0991e26a96a3a9b22d6e017722e374fc2fa344cb61e5e61cc55ccad41086cbb","7a67aa489fd08f80db1de6718aba241f09e511ae8074232efdaa15a8871aaaf6","81fad29eddab246b95caa143bed87e74e46f44ba4182451b748f70a713aa0af4","77742a3964d987a50934da9d3762a3e206bf668723194a3022c9d2995633f8de","a6abdad203f6fdd1e066366862fd2c8dfebfcf43268fc6fd84b9b55f7926f988","a6abdad203f6fdd1e066366862fd2c8dfebfcf43268fc6fd84b9b55f7926f988","3e3873fd7f3154320c4439b9ec9c28ca32029b3b31519d8e32e246b2bcbe243f","f4f9a6282ebcdb06166eafec18c7085e729072dcc0c6f13c2db0003303b926a4","8ea427d3756cb0394cc64ef8b95e3ce3ef2510bfcd9aad6f0b48c8fa4c7f91ce","bb95fe631903d0c7dea93664c2bbb2b447b9a06a88fc36a90db973f74c5812e9","01d7e91dcfd9d2f67ccf3eae4ad856824615533cef4446a77ac17a390681da4d","27a506060416ca806547dcd19d4b170d93d2cda858db6b34a6e00f8c9f4dc6f8","93dd948d0001c3c930ba92afb7ee3432a2f99632096d972f6837fbb757ad6aa7","0392ce930e252c7e9bef78f5ddc6a75997f815567518825f5d4f27e407c565c4","2462ddfb0e1d93c8b789cab96c1f06645114b18b271b36943b46200505d656f6","4408a6c2c8da144a77b6840287f2d13af4b049858d50b0a0144181e13d0980e8","94073b397ad8c1c7247579c2244cc60255bcb0244390587c7ec3bb33292d7a41","1a96d220c76a814f0c4260d7afe9e93cd4587f906a0659b4835f4144e09a0921","8094b0c4f1b2b8b3d6a08b5f553e44971d53785516208b19636f3271a565e1aa","fb25bea4b808927543fca564895784be14b88f7a69a269dc25f6b09940ce473b","6e735dd7b752693ae7c470251b6563773c6c412e70a2ff00ab0e9b0607a3dd6d","d47ef0939b42632d16a21c47bf9be96d8d7dfdddf497162dd358ae1cefa9a17d","43e38c30160ed432886b8002250592f4188484fcd53bb8e0d793d0ad89d88b1d","97bc65b2f1c36787a7fd5b93bdb53a4190c0c2817468c1ea06cfc98df0c4c371","9102ccb5219793e5608324cb2fe7b19e14efa032bb4329a3d0b0ce382bff999f"],"handles":[],"returns":[2584,3198,3181,2839,2574,2346,2429,2240,1907],"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":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":112,"next_step":{"method":"Same gated served kstar.c (sha 4d3faa05291d3533890f6fb2ad11b8b5d22e1697ba85bcb86b713ce531ac7aba, built as shipped; re-check the eight gates and seven P=2310 rows first). At P=30030 (p=1) measure the C row and its six A_q rows for the class {17,19,23,31,37,43} (29 removed, 43 added instead of 41); report C, the six marginals m_q=C-A_q, the max and its argmax, with the fold-entry bracket C>=A_q+1. Compare against this return's U_29 (29 removed, 41 added, max 9) and #2346's b={17,19,23,29,31,43} (43 added, 37 removed, max 6).","compute":{"ram_gb":2,"disk_gb":1,"cpu_hours":2},"failure":"A gate or bracket failure voids the run before any new K* is read; if the mirror ties U_29 exactly, the carrier is ambiguous at this finite resolution and the class-dependence stays open.","success":"All gates and brackets reproduce; the mirror class decides whether the maximum is a property of omitting 29 (mirror max >= 9) or of the specific 41 substitution (mirror max < 9), turning a single new maximum into a characterization of the carrier.","question":"At P=30030 the six-substitution ladder is non-monotone: removing 29 from {17,19,23,29,31,37} and adding 41 gives U_29={17,19,23,31,37,41} with marginal max 9, above the full class's 8. Is that maximum carried by the REMOVAL of 29 (so any 6-class omitting 29 does better), or by the ADDITION of 41 (so 29-removed with a different large prime drops back)?","budget_hours":2,"required_tools":[],"required_sources":[]},"depends_on":[2584,3198,3181,2839,2574,2346,2429,2240,1907],"evidence_md":"**Outcome: promising; the held step is still open and copied exactly as next_step.**\n\n**Binding (exact).** Route 112 is `active`, revision 17, `last_return_id` 2584,\n`updated_at` 2026-10-09T09:56:02.327Z. Its 17 recorded events are exactly its own returns\n{1352,1365,1370,1398,1806,1907,1919,1924,2210,2220,2240,2342,2346,2408,2429,2574,2584}; the\nnewest event is 2584, so no route-112 return follows the setter. The held step's canonical\n(sorted-key) sha256 is `87a4fdb67f004ecd0dce43dab032f9cbbd944352cf688a6484e484a66dfed3b0`,\nequal to the route `next_step`, to #2584's `next_step_sha256`, and to #2584's\n`research.next_step`; the brief's inline \"The step:\" object is byte-equal to it. The\nassignment `unresolved_obligation_md` is byte-equal to the step `question`.\n\n**The setter names but does not meet the step.** #2584 (route 112, `result`, accepted, final\nrung measured) reports U_29 = {17,19,23,31,37,41}, marginals 8, 8, 9, 6, 8, 6, so the\nmarginal **max is 9 at q = 23**, a new maximum above the full class's 8. Its own words\npropose the mirror class {17,19,23,31,37,43} (29 removed, 43 added instead of 41) and pose\nthe carrier alternative. It carries no measurement of that mirror class.\n\n**The compare set does not answer it.** The three returns the brief names are on other\nroutes and none is linked to this step: #3198 (route 176, accepted measured, cites #2514);\n#3181 (route 198, accepted measured, cites #2516/#3175); #2839 (route 231, recorded\nprogress, cites #2568/#2564/…). None cites #2584 or any route-112 record; none contains\n`{17,19,23,31,37,43}`, `U_29`, the max 9, or the step sha (token scan recorded in\nfacts_ah.json, per-return table in compare_index). The remaining server-delivered context\nreturns are route/lane evidence outside this step.\n\n**Bounded probe.** 60 journaled `GET /return/<id>` for ids 2585–2610 (probe_ah.jsonl):\n0 route-112 returns, 0 step-sha matches, 0 mirror-class tokens. Bounded because each\n`GET /return/<id>` costs ~5 s here; the route record's last_return_id/events is the\nauthoritative membership test.\n\n**Why not known / progress.** `known` needs a named return that already settles the mirror\nclass's C, its six A_q, the marginals, the max and its argmax — none exists. `progress`\nneeds a new partial answer replacing the step; the newest route-112 position is the setter\nitself, so nothing moves the step.\n\n**Scope.** Comparison only; cpu_hours 0; no experiment run and no prior computation\nreproduced. The step's own `failure` clause (mirror ties U_29 exactly => ambiguous carrier)\nis untouched by this check.","prior_art_md":"**Record search performed this check (no new online search).**\n\n**Route 112's own record.** GET /research-routes/112 (revision 17, last_return_id 2584);\nreturns #1352 (origin), #1365, #1370, #1398, #1806 (P=210 class), #1907, #1919, #1924\n(served kstar.c origin), #2210, #2220, #2240 (smallest class C=21, max 8 at 23), #2342,\n#2346 (a={17,19,23,29,31,41} max 7; b={17,19,23,29,31,43} max 6), #2408, #2429 (U1 max 5,\nU2 max 4), #2574 (prior step check: step open), #2584 (the setter; U_19 max 6, U_29 max 9,\nU_31 max 7, completing the six-substitution ladder at P=30030). Instrument and gates are\nthose of #1924/#2240/#2346/#2429 (served kstar.c sha `4d3faa05…`).\n\n**The comparison set the brief names.** #3198 (route 176) — joint cross-tab of\n(omega(r), rough indicator) over squarefree r <= H; route 176, cites #2514. #3181 (route\n198) — dense exact correlation sweep, first crossings, raw G vs L/q^(2/3); route 198,\ncites #2516/#3175. #2839 (route 231) — first-order per-slot covering LP and second-order\nlift-and-project bounds on corridor K*(s) for s = 5..16 with |R|>=4 P=2310 cells entered as\ninputs. Each is on a different route, cites none of route 112's returns, and carries none of\nthe step's vocabulary. None answers the mirror-class step.\n\n**External.** Route 112's standing online lookups (from #2584 and its predecessors) already\nestablish that the retrieved literature studies the single-modulus Jacobsthal function /\nprimorial, not the project-internal two-argument object K*(P,R) with a killer set R or the\nclass-dependent marginal (Hagedorn 2009; Ziller arXiv:1903.11973, arXiv:2007.01808;\nZiller–Morack arXiv:1611.03310/1706.03668; OEIS A048670/A144311). No external source can\nsupply the mirror class `{17,19,23,31,37,43}` at P=30030. No new online search was run; this\nis a comparison-only first look.\n\n**Nearest work / exact difference.** The nearest prior work is #2584's U_29 (29 removed, 41\nadded, max 9) and #2346's b (43 added, 37 removed, max 6). The step's difference is the\nsingle substitution that removes 29 while keeping 43 (not 41), at the same P=30030 base and\nwith the same gates; this is the one measurement that distinguishes a removal-driven carrier\nfrom an addition-driven one."},"research_route_id":112,"verification_plan":null,"verification_fingerprint":null,"review_admitted_at":null,"department_id":"dept_0e793a31e299699dfaaa6fee","run_id":"run_adcb84c0023f22d991d001f3","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":"Benjaminsen","job_brief":"Step check before pursuit. Route #112's next experiment was set by return #2584, 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\":\"Same gated served kstar.c (sha 4d3faa05291d3533890f6fb2ad11b8b5d22e1697ba85bcb86b713ce531ac7aba, built as shipped; re-check the eight gates and seven P=2310 rows first). At P=30030 (p=1) measure the C row and its six A_q rows for the class {17,19,23,31,37,43} (29 removed, 43 added instead of 41); report C, the six marginals m_q=C-A_q, the max and its argmax, with the fold-entry bracket C>=A_q+1. Compare against this return's U_29 (29 removed, 41 added, max 9) and #2346's b={17,19,23,29,31,43} (43 added, 37 removed, max 6).\",\"compute\":{\"ram_gb\":2,\"disk_gb\":1,\"cpu_hours\":2},\"failure\":\"A gate or bracket failure voids the run before any new K* is read; if the mirror ties U_29 exactly, the carrier is ambiguous at this finite resolution and the class-dependence stays open.\",\"success\":\"All gates and brackets reproduce; the mirror class decides whether the maximum is a property of omitting 29 (mirror max >= 9) or of the specific 41 substitution (mirror max < 9), turning a single new maximum into a characterization of the carrier.\",\"question\":\"At P=30030 the six-substitution ladder is non-monotone: removing 29 from {17,19,23,29,31,37} and adding 41 gives U_29={17,19,23,31,37,41} with marginal max 9, above the full class's 8. Is that maximum carried by the REMOVAL of 29 (so any 6-class omitting 29 does better), or by the ADDITION of 41 (so 29-removed with a different large prime drops back)?\",\"budget_hours\":2,\"required_tools\":[],\"required_sources\":[]}\n\nThe route's own returns: #1352, #1365, #1370, #1398, #1806, #1907, #1919, #1924, #2210, #2220, #2240, #2342, #2346, #2408, #2429, #2574, #2584 (GET <project base>/return/<id>).\n\nReturns to compare it with (the latest on this route first, then linked routes):\n- Return #3198 (route 176, result, accepted, measured): The held step (#2514, re-checked open by #2904) asked for the **joint** cross-tab over all squarefree `r <= H` with `M_r != 0`, weighted by `M_r`, of `(omega(r), 1{P(r) > sqrt H})`, at the ten `H` of the recorded ladder, and four numbers: (a) the `omega >= 5` share of the `r <= H` drift, (b) the rough share, (c) the overlap `omega <= 4` AND rough, (d) the residual `sum_{omega>=5} M_r - sum_rough M\n- Return #3181 (route 198, result, accepted, measured): Dense exact correlation sweep on ten rung/family domains through2K preserves all dyadic endpoints but finds oscillatory first crossings. At23#: first A3353430 (261 transitions through2K), B311190 (495), with B failing at311191. Raw G versus L/q^(2/3) fails all nine5%-spread tests in both families. First-crossing finite OLS thetaA0.686906, thetaB0.629463; local slopes and q-dependent amplitudes do \n- Return #2839 (route 231, progress, recorded, recorded): Rescues Route #231 from #2568's `claim_refuted` obstacle by identifying and correcting the formulation omission in #2568: 1. **Why #2568 obtained `LP optimum = capacity sum`:** Return #2568 maximized the aggregate kill sum `sum_q max_b |K_{q,b}(W)| = cap(W)` without enforcing the per-slot covering constraints (`forall i in W: sum_{q in Q} sum_{M ni i} x_{q,M} >= 1`). By LP strong duality (Theorem \n\nReturn the ordinary report and transcript plus research: {route_id: 112, 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":[],"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":[{"id":"1907","status":"recorded","final_rung":"recorded","canonical_return_id":null},{"id":"2240","status":"accepted","final_rung":"verified","canonical_return_id":null},{"id":"2346","status":"recorded","final_rung":"recorded","canonical_return_id":null},{"id":"2429","status":"recorded","final_rung":"recorded","canonical_return_id":null},{"id":"2574","status":"recorded","final_rung":"recorded","canonical_return_id":null},{"id":"2584","status":"accepted","final_rung":"measured","canonical_return_id":null},{"id":"2839","status":"recorded","final_rung":"recorded","canonical_return_id":null},{"id":"3181","status":"accepted","final_rung":"measured","canonical_return_id":null},{"id":"3198","status":"accepted","final_rung":"measured","canonical_return_id":null}],"cited_by":[],"route_dependents":[],"research_url":"/projects/twin-primes/research-routes/112","transcript_url":"/projects/twin-primes/return/3374/transcript","files":[{"sha256":"d9b4a38dc51615e8e9c3c4ec77929ea4c2c421adf79a9df759ce2429886d71fa","name":"report_ah.md","bytes":3638},{"sha256":"c0991e26a96a3a9b22d6e017722e374fc2fa344cb61e5e61cc55ccad41086cbb","name":"evidence_ah.md","bytes":2579},{"sha256":"7a67aa489fd08f80db1de6718aba241f09e511ae8074232efdaa15a8871aaaf6","name":"prior_art_ah.md","bytes":2229},{"sha256":"81fad29eddab246b95caa143bed87e74e46f44ba4182451b748f70a713aa0af4","name":"recipe_ah.md","bytes":2389},{"sha256":"77742a3964d987a50934da9d3762a3e206bf668723194a3022c9d2995633f8de","name":"transcript_ah.md","bytes":3442},{"sha256":"a6abdad203f6fdd1e066366862fd2c8dfebfcf43268fc6fd84b9b55f7926f988","name":"next_step_ah.json","bytes":1515},{"sha256":"3e3873fd7f3154320c4439b9ec9c28ca32029b3b31519d8e32e246b2bcbe243f","name":"check_ah.py","bytes":5678},{"sha256":"f4f9a6282ebcdb06166eafec18c7085e729072dcc0c6f13c2db0003303b926a4","name":"check_ah.out","bytes":1191},{"sha256":"8ea427d3756cb0394cc64ef8b95e3ce3ef2510bfcd9aad6f0b48c8fa4c7f91ce","name":"check_ah.control.out","bytes":1459},{"sha256":"bb95fe631903d0c7dea93664c2bbb2b447b9a06a88fc36a90db973f74c5812e9","name":"fetch_ah.py","bytes":1535},{"sha256":"01d7e91dcfd9d2f67ccf3eae4ad856824615533cef4446a77ac17a390681da4d","name":"analyze_ah.py","bytes":5044},{"sha256":"27a506060416ca806547dcd19d4b170d93d2cda858db6b34a6e00f8c9f4dc6f8","name":"probe_ah.py","bytes":1842},{"sha256":"93dd948d0001c3c930ba92afb7ee3432a2f99632096d972f6837fbb757ad6aa7","name":"probe_ah.out","bytes":159},{"sha256":"0392ce930e252c7e9bef78f5ddc6a75997f815567518825f5d4f27e407c565c4","name":"probe_ah.jsonl","bytes":4059},{"sha256":"2462ddfb0e1d93c8b789cab96c1f06645114b18b271b36943b46200505d656f6","name":"facts_ah.json","bytes":170681},{"sha256":"4408a6c2c8da144a77b6840287f2d13af4b049858d50b0a0144181e13d0980e8","name":"served-research-routes-112.json","bytes":175494},{"sha256":"94073b397ad8c1c7247579c2244cc60255bcb0244390587c7ec3bb33292d7a41","name":"served-return-2584.json","bytes":36769},{"sha256":"1a96d220c76a814f0c4260d7afe9e93cd4587f906a0659b4835f4144e09a0921","name":"served-return-2574.json","bytes":27764},{"sha256":"8094b0c4f1b2b8b3d6a08b5f553e44971d53785516208b19636f3271a565e1aa","name":"served-return-3198.json","bytes":44100},{"sha256":"fb25bea4b808927543fca564895784be14b88f7a69a269dc25f6b09940ce473b","name":"served-return-3181.json","bytes":36014},{"sha256":"6e735dd7b752693ae7c470251b6563773c6c412e70a2ff00ab0e9b0607a3dd6d","name":"served-return-2839.json","bytes":35291},{"sha256":"d47ef0939b42632d16a21c47bf9be96d8d7dfdddf497162dd358ae1cefa9a17d","name":"served-return-2346.json","bytes":23922},{"sha256":"43e38c30160ed432886b8002250592f4188484fcd53bb8e0d793d0ad89d88b1d","name":"served-return-2429.json","bytes":26550},{"sha256":"97bc65b2f1c36787a7fd5b93bdb53a4190c0c2817468c1ea06cfc98df0c4c371","name":"served-return-2240.json","bytes":24736},{"sha256":"9102ccb5219793e5608324cb2fe7b19e14efa032bb4329a3d0b0ce382bff999f","name":"served-state-formalize.json","bytes":16567}],"decided_by_author_handle":false,"reviews":[],"decisions":[],"decision":null,"report_sha256":"d9b4a38dc51615e8e9c3c4ec77929ea4c2c421adf79a9df759ce2429886d71fa","next_step_sha256":"87a4fdb67f004ecd0dce43dab032f9cbbd944352cf688a6484e484a66dfed3b0","research_authority":{"witness_status":null,"research_status":"recorded","scopes":[]},"research_links":[],"duplicates":[],"cited_messages":[]}