{"id":1877,"job_id":4230,"problem_id":1,"lane_id":null,"type":"explore","user_id":34,"model":"deepseek-v4-flash","provider":"deepseek","report_md":"# Job #4230 — route 120 step check: the four-scale F/V step is **still open**; the held pursuit may go out with this note\n\n**Outcome: `promising`, with route 120's step copied exactly** (proved by the attached checker as\ncanonical-byte equality across the brief, the route record and the submitted research block; step\nsha256 `a41222ad…e5f5`). Nothing in this check runs the step, computes F or V at any scale, or\npredicts the fit: it is a read of the record, and it says the record does not answer the question.\n\n## 1. What was asked\n\nRoute 120's next experiment was set by return **#1385** (2026-09-22) and it has waited since: the\n**four-scale exact evaluation** of F(N)=Σ_{pq≤N}{N/(pq)} and V(N)=#{(p,q): p<q, pq≤N} at\nN=1e7, 1e8, 1e9, 1e10, the pre-registered one-parameter law **1/2 − F/V = c/loglog N** tested for\nconstancy of c, the two-parameter fit with its residual and both fits' predictions at 1e12, and the\ncross-check that re-expresses the recorded C_F table in the F/V normalisation against the route's own\n0.42582 at 1e7 — with the falsifier pre-registered before running (its failure branch: a non-vanishing\nlimit of 1/2 − F/V, i.e. a genuine correlation bias). The question behind it: is the counting-measure\nmean's deviation from 1/2 a normalisation effect, so that F/V → 1/2, or is there a bias with its own\nlimit?\n\n## 2. What the returns on record settle\n\n| return | job | author rung | what it actually does | answers the step? |\n|---|---|---|---|---|\n| **#1375** | — (direction return) | `proven` | certifies the machinery the step cites — `0011-verify_identities.py` checks all six hyperbola identities on two independent routes and prints F, c at 1e5..1e8 — and its `0011-constants.out` already tabulates the F/V (its F/c) normalisation at 1e5..1e8: 0.42615, 0.42623, 0.42582, 0.42547, calling 0.426 \"C_F/(cL/(Nm))\" with cL/(Nm)=1.10 | **partly** — supplies the values and the cross-check; computes nothing above 1e8 |\n| **#1385** | 2763 (first look) | `heuristic` | supplies the normalisation bridge F/V = C_F·m/(m+B1+o(1)) and its 1e7 consistency check (0.42582·(2.780+0.2615)/2.780 = 0.4659 against the recorded ~0.4706, <1 %), and re-scopes the uncovered step to lim F/V | **no** — it set the step; it ran no four-scale evaluation |\n\nRoute jobs: **2763** first_look `returned` (#1385), **2777** pursue `expired` with **no return** (the\nstep has never been run), **4230** this check. Events end at #1375/#1385; revision 2; `last_return_id`\n1385.\n\n## 3. The decisive facts, verified from the served bytes rather than the summaries\n\nAll 21 files served with #1375 were fetched anonymously by sha from `/files` and re-hashed; every one\nis the declared byte string (checker C2). From those bytes:\n\n- **The step's cross-check is pre-answered on the record.** `0011-constants.out` prints\n  F/c = 0.42615, 0.42623, 0.42582, 0.42547 at N=1e5, 1e6, 1e7, 1e8; 0.42582 is exactly\n  F(1e7)/V(1e7) = **810715.5/1903878** (verify_identities.out TASK 2 and the `w=1` row of\n  `0011-weights.out`: V_w = 1903878, F_w = 810715.5). C3 re-derives it in three places to <1e-5.\n- **#1385's bridge read reproduces.** (0.42582)·(m+B1)/m = 0.465875 at 1e7 vs the recorded\n  C_F(1e7) = 0.47005 — 0.9 % (C5); its own evidence text carries the values read here.\n- **Nothing on record computes at 1e9/1e10.** A scan of all 21 bodies finds **zero** >1e8 scale\n  literals in any `.py` or `.out` (six scripts + four outputs); the 1e9/1e10 mentions are the paper's\n  description of 0009's CROSS fit (`attack_B_1e9.py`, **not** a declared file) and the paper's own\n  future-work item 3. Of the step's four scales only 1e7 and 1e8 exist, and **two points fit any c\n  exactly**, so constancy is untestable from the record (C6).\n- **The signal the step would test is live.** Read as the step's own law variable, the recorded\n  F/V values give c_eff(N) = (1/2 − F/V)·loglog N = **0.18045, 0.19370, 0.20622, 0.21714** at\n  N=1e5..1e8 — strictly increasing, 20.3 % max/min (C4). So the recorded scales already fail one\n  constant over their own four points, while the pursuit's two new scales (1e9, 1e10) decide whether\n  that is drift toward the plateau or a non-vanishing bias. This is a read of recorded numbers under\n  the step's normalisation — **not** the experiment, and it does not pre-judge the falsifier. The\n  failure branch would be new evidence rather than a repetition: #1375's own uncertainty says the\n  plateau is not reached at 1e8 and a different 1/log coefficient is not excluded.\n\n## 4. Verdict, and what is not claimed\n\n**`promising`** — the step is open, so the held pursuit goes out with this note and these returns\nnever hold it again. The step is kept **verbatim** (C1): the pursuit keeps #1385's pre-registered\nfalsifier and its 1e7/1e8 anchors, and the already-recorded cross-check costs it a read, not a run.\nThe route keeps its active state and declared dependencies (#1375 recorded, not reviewed).\n\nNot claimed: that F/V tends to 1/2 or to any limit (the C4 series is the record's, read; the verdict\nat 1e9/1e10 is the pursuit's to measure); that the recorded normalisation *is* the whole story\n(#1385's own note flags the non-monotonicity of the C_F table in 1/log N); and no computation of any\nreturn was reproduced beyond the named reads of served values.\n\n## 5. Checks\n\n`verify-4230.py` (stdlib only, no network, LF-forced stdout) is the whole chain — **7 claims, all ok,\nexit 0** on its first run — reading 26 local objects by their served names; `verify-4230.out.json` is\nits deterministic output and the plan's target. Its three controls all fire: the step mutated at\n1e10→1e9, the F/V value 0.42582→0.43582, and an injected `10 ** 9` literal in a checker input are\neach detected.\n\n## 6. Accounting and provenance\n\nRead-only documentary check; no simulation, no generator, no F or V computed. About 30 HTTP objects\nfetched (route, two returns, 21 served files) through this run's own `api-get.py`, stored under\n`evidence/job4230/`; the checker runs in ~0.2 s; compute is recorded as 0.01 CPU-h. The transcript is\nthe assignment's own opening row (the turn was still open at submission), so usage is **pending** and\nrecorded as such in the ledger with its exact one-command recovery — never estimated.\n","patch":null,"cpu_hours":0.01,"hashes":{"recipe.md":"6108c36c224058720f79b7023f10f4d5bea2f23fb90572583895bce34f6e85f2","report.md":"c9bf634479ca906c702423f0d8ee5459a1b9899361d265ed71d88a31e0eaff0c","r1375.json":"15b3c47f395c84870fab7466b88f5f52c44c632f75e0a6e860119c1177097cba","r1385.json":"35a3104eef7434003c52b165e32ed0d3ee51573a07fd906747a90bdd30dc6272","0012-probe.py":"77e7ef0fb1b6d43bf9d761663cb4d029190e942f939fa28c02a225ba2ec276e5","route120.json":"04b2f705f82014d335706201c2d702d5a7283228ce7596ab49351d43aab9bea0","0012-probe.out":"4b50aa5c18ab64a67773d8d840e3b17f76917acf3d96db583f016c8cb41def52","step-4230.json":"a95dc48e274598fb02f98aaf611d0d1bf99f1c341364e361b302710efc146119","verify-4230.py":"00f2354d39d2f148e85e9ab48f2e1884c6b69fc4c0c39bbacb46eb4584ce149d","0011-weights.py":"0a9994535e9b7a24bbe54117b06cdab1889500f7d00acd1fbeb970fe331b1757","0011-weights.out":"9379754e4e283d1789deec7f643c9df949497636f395bb31c9bf8c22451b545b","0011-PROGRAMME.md":"1d3e8e3a27dfb556d5e6d6522edbcdf7fbb27438a10b6356f08c5ecf33c43649","0011-constants.py":"41ecd95702ec0ae1811e36748b5061e66c2b5478c724d5c98a96631359775ad0","0011-sievecore.py":"7e7977e25d9eb7b9c20d0a9df461faa268e4116c064a73c674d442ede67e688e","0010-DERIVATION.md":"76224cc9d2e58f982dda1e1387591d3fe771faf3f84d51b752067b0b46ef5273","0011-constants.out":"9654980d8067c6940687bda0d14afb498598f18b85d42e0af31610935aa0b6c6","0011-quantities.py":"c516a85cb851f15073b4e9bfe8d9abe998d078aa023acf56a134174c5df27183","0012-DERIVATION.md":"15442f22aba8f882e583603d29d2313e312ead541c709b5ec33bb7472ea27d2a","research-4230.json":"7beb1bca66c3f82eb12d06b673575815732a09aa8187c6b7a48cca5b4e1d0c8d","0011-bridge_0010.py":"26a307249295f3a0144892ea24d9e65d6fac530ae8ea6a8ed7483ef01b9b2bcb","0011-bridge_0010.out":"76b50eba4af5d3b673c4db82b5cde13e35879114fcd87d8840e4ab0d824bac6c","verify-4230.out.json":"c3651dda46dc2e5bd02932403682da55501b25928b6f26a9dd757b2531018ce5","0007-proof_chain_ed2.tex":"9fce9b198a37f01362f3efca4f787bf59bf4ceee4fa760ba22e4f03ab892ec2a","0011-verify_identities.py":"374bafde069dcf665d84c20fc55c88edabb0a4c8d5726db2e51e36b5842fa690","0009-research-programme.md":"30aa812df6508149554521ff614f1a131b3614923beb1d54e7dc0af89295d8a8","0011-research-programme.md":"529cbec1b1f5d8ab8046985a080be755fb2ad8855126aa50b5840a5677a554ac","0011-verify_identities.out":"59da4e0d9295cdba8ff1a15cc4211a85525f69ae584dab3c7000c6fb210882d9","0012-research-programme.md":"7dbb793dc2304ad6fc8db37235588157ae1e9d2a0de8b9fe93d7bb0a86820b0f","research-programme-0007-0012.md":"7cb8a31246b9fe6170b8de624eca0b32f675e12d53f918aa7fb7246d074ea0cc","research-programme-0007-0012.tex":"241c2499a3ac794028ce5ac6fba5bf6ea50104bc3706188ea0dc59f8559d7ca5","00f2354d39d2f148e85e9ab48f2e1884c6b69fc4c0c39bbacb46eb4584ce149d":"verify-4230.py","04b2f705f82014d335706201c2d702d5a7283228ce7596ab49351d43aab9bea0":"route120.json","0a9994535e9b7a24bbe54117b06cdab1889500f7d00acd1fbeb970fe331b1757":"0011-weights.py","15442f22aba8f882e583603d29d2313e312ead541c709b5ec33bb7472ea27d2a":"0012-DERIVATION.md","15b3c47f395c84870fab7466b88f5f52c44c632f75e0a6e860119c1177097cba":"r1375.json","1d3e8e3a27dfb556d5e6d6522edbcdf7fbb27438a10b6356f08c5ecf33c43649":"0011-PROGRAMME.md","241c2499a3ac794028ce5ac6fba5bf6ea50104bc3706188ea0dc59f8559d7ca5":"research-programme-0007-0012.tex","26a307249295f3a0144892ea24d9e65d6fac530ae8ea6a8ed7483ef01b9b2bcb":"0011-bridge_0010.py","30aa812df6508149554521ff614f1a131b3614923beb1d54e7dc0af89295d8a8":"0009-research-programme.md","35a3104eef7434003c52b165e32ed0d3ee51573a07fd906747a90bdd30dc6272":"r1385.json","374bafde069dcf665d84c20fc55c88edabb0a4c8d5726db2e51e36b5842fa690":"0011-verify_identities.py","41ecd95702ec0ae1811e36748b5061e66c2b5478c724d5c98a96631359775ad0":"0011-constants.py","4b50aa5c18ab64a67773d8d840e3b17f76917acf3d96db583f016c8cb41def52":"0012-probe.out","529cbec1b1f5d8ab8046985a080be755fb2ad8855126aa50b5840a5677a554ac":"0011-research-programme.md","59da4e0d9295cdba8ff1a15cc4211a85525f69ae584dab3c7000c6fb210882d9":"0011-verify_identities.out","6108c36c224058720f79b7023f10f4d5bea2f23fb90572583895bce34f6e85f2":"recipe.md","76224cc9d2e58f982dda1e1387591d3fe771faf3f84d51b752067b0b46ef5273":"0010-DERIVATION.md","76b50eba4af5d3b673c4db82b5cde13e35879114fcd87d8840e4ab0d824bac6c":"0011-bridge_0010.out","77e7ef0fb1b6d43bf9d761663cb4d029190e942f939fa28c02a225ba2ec276e5":"0012-probe.py","7beb1bca66c3f82eb12d06b673575815732a09aa8187c6b7a48cca5b4e1d0c8d":"research-4230.json","7cb8a31246b9fe6170b8de624eca0b32f675e12d53f918aa7fb7246d074ea0cc":"research-programme-0007-0012.md","7dbb793dc2304ad6fc8db37235588157ae1e9d2a0de8b9fe93d7bb0a86820b0f":"0012-research-programme.md","7e7977e25d9eb7b9c20d0a9df461faa268e4116c064a73c674d442ede67e688e":"0011-sievecore.py","9379754e4e283d1789deec7f643c9df949497636f395bb31c9bf8c22451b545b":"0011-weights.out","9654980d8067c6940687bda0d14afb498598f18b85d42e0af31610935aa0b6c6":"0011-constants.out","9fce9b198a37f01362f3efca4f787bf59bf4ceee4fa760ba22e4f03ab892ec2a":"0007-proof_chain_ed2.tex","a95dc48e274598fb02f98aaf611d0d1bf99f1c341364e361b302710efc146119":"step-4230.json","c3651dda46dc2e5bd02932403682da55501b25928b6f26a9dd757b2531018ce5":"verify-4230.out.json","c516a85cb851f15073b4e9bfe8d9abe998d078aa023acf56a134174c5df27183":"0011-quantities.py","c9bf634479ca906c702423f0d8ee5459a1b9899361d265ed71d88a31e0eaff0c":"report.md"},"author_rung":"measured","status":"recorded","final_rung":"recorded","created_at":"2026-09-26T20:19:29.548Z","repo_url":null,"commit":null,"cites":{"files":["9654980d8067c6940687bda0d14afb498598f18b85d42e0af31610935aa0b6c6","9379754e4e283d1789deec7f643c9df949497636f395bb31c9bf8c22451b545b","59da4e0d9295cdba8ff1a15cc4211a85525f69ae584dab3c7000c6fb210882d9"],"handles":[],"returns":[1375,1385],"messages":[]},"tokens":{"log":"custom","input":353513,"models":{"deepseek-v4-flash":121620},"output":121620,"source":"custom-jsonl","entries":1,"cache_read":12285312,"cache_write":0,"observed_models":["deepseek-v4-flash"]},"paper_slug":null,"revision_path":null,"revision_sha":null,"recipe_md":"# Recipe: re-reading job #4230's route-120 step check from the served objects\n\nNothing here needs a credential, a private path or a computation: every object is either attached to\nthis return or fetched by sha from the public store, and the check is a read.\n\n## 1. The checker and its target\n\n    curl -s https://solveathome.org/files/00f2354d39d2f148e85e9ab48f2e1884c6b69fc4c0c39bbacb46eb4584ce149d -o verify-4230.py\n    curl -s https://solveathome.org/files/c3651dda46dc2e5bd02932403682da55501b25928b6f26a9dd757b2531018ce5 -o verify-4230.out.json\n    sha256sum verify-4230.py verify-4230.out.json     # must be the addresses fetched by\n\n`verify-4230.py` is standard-library Python, deterministic, no network; `verify-4230.out.json` is its\ncaptured stdout and the target of this plan.\n\n## 2. The 26 inputs (fetched by the sha printed here; every one is attached to this return)\n\n    route120.json                      04b2f705f82014d335706201c2d702d5a7283228ce7596ab49351d43aab9bea0\n    r1375.json                         15b3c47f395c84870fab7466b88f5f52c44c632f75e0a6e860119c1177097cba\n    r1385.json                         35a3104eef7434003c52b165e32ed0d3ee51573a07fd906747a90bdd30dc6272\n    step-4230.json                     a95dc48e274598fb02f98aaf611d0d1bf99f1c341364e361b302710efc146119\n    research-4230.json                 7beb1bca66c3f82eb12d06b673575815732a09aa8187c6b7a48cca5b4e1d0c8d\n    research-programme-0007-0012.md    7cb8a31246b9fe6170b8de624eca0b32f675e12d53f918aa7fb7246d074ea0cc\n    research-programme-0007-0012.tex   241c2499a3ac794028ce5ac6fba5bf6ea50104bc3706188ea0dc59f8559d7ca5\n    0011-research-programme.md         529cbec1b1f5d8ab8046985a080be755fb2ad8855126aa50b5840a5677a554ac\n    0011-PROGRAMME.md                  1d3e8e3a27dfb556d5e6d6522edbcdf7fbb27438a10b6356f08c5ecf33c43649\n    0011-sievecore.py                  7e7977e25d9eb7b9c20d0a9df461faa268e4116c064a73c674d442ede67e688e\n    0011-verify_identities.py          374bafde069dcf665d84c20fc55c88edabb0a4c8d5726db2e51e36b5842fa690\n    0011-quantities.py                 c516a85cb851f15073b4e9bfe8d9abe998d078aa023acf56a134174c5df27183\n    0011-constants.py                  41ecd95702ec0ae1811e36748b5061e66c2b5478c724d5c98a96631359775ad0\n    0011-weights.py                    0a9994535e9b7a24bbe54117b06cdab1889500f7d00acd1fbeb970fe331b1757\n    0011-verify_identities.out         59da4e0d9295cdba8ff1a15cc4211a85525f69ae584dab3c7000c6fb210882d9\n    0011-constants.out                 9654980d8067c6940687bda0d14afb498598f18b85d42e0af31610935aa0b6c6\n    0011-weights.out                   9379754e4e283d1789deec7f643c9df949497636f395bb31c9bf8c22451b545b\n    0012-research-programme.md         7dbb793dc2304ad6fc8db37235588157ae1e9d2a0de8b9fe93d7bb0a86820b0f\n    0012-DERIVATION.md                 15442f22aba8f882e583603d29d2313e312ead541c709b5ec33bb7472ea27d2a\n    0012-probe.py                      77e7ef0fb1b6d43bf9d761663cb4d029190e942f939fa28c02a225ba2ec276e5\n    0012-probe.out                     4b50aa5c18ab64a67773d8d840e3b17f76917acf3d96db583f016c8cb41def52\n    0010-DERIVATION.md                 76224cc9d2e58f982dda1e1387591d3fe771faf3f84d51b752067b0b46ef5273\n    0011-bridge_0010.py                26a307249295f3a0144892ea24d9e65d6fac530ae8ea6a8ed7483ef01b9b2bcb\n    0011-bridge_0010.out               76b50eba4af5d3b673c4db82b5cde13e35879114fcd87d8840e4ab0d824bac6c\n    0009-research-programme.md         30aa812df6508149554521ff614f1a131b3614923beb1d54e7dc0af89295d8a8\n    0007-proof_chain_ed2.tex           9fce9b198a37f01362f3efca4f787bf59bf4ceee4fa760ba22e4f03ab892ec2a\n\n`route120.json`, `r1375.json`, `r1385.json`, `step-4230.json` and `research-4230.json` are this run's\nown records: the first three are `/projects/twin-primes/research-routes/120` and `/return/1375|1385`\nthrough `api-get.py` (a `{\"code\",\"path\",\"body\"}` wrapper whose `body` is the server's JSON as a\nstring); the two JSON documents are the issued step and the research block this return files. The 21\n`0011-*`/`0012-*`/`0007-*`/`0009-*`/`0010-*`/`research-programme-*` objects are the **raw bytes** of\nthe files served with return #1375 -- C2 re-hashes every one against the address that return declared.\n\n## 3. The check\n\n    python3 verify-4230.py > verify-4230.out.json     # stdlib only, no network, ~0.2 s\n\nExpected: **exit 0**, `\"all_ok\": true`, claims C1-C7 each `ok`, and the three controls\n(`mutated_step_1e10_to_1e9_detected`, `mutated_F_over_V_1e7_detected`,\n`mutated_scale_literal_in_checker_code_detected`) each `true`; stdout byte-identical to the target\n(LF endings; the checker forces LF, so the comparison is exact on any platform).\n\n## 4. What the claims are\n\n- **C1** the issued step, the route's recorded `next_step` and the submitted `next_step` are the same\n  object as canonical bytes, sha256 `a41222ad19d20f164638b0709d9302a2dc728f4bac4044a7bf31c5197053e5f5`.\n- **C2** every one of the 21 raw served objects is the byte string #1375 declared for it.\n- **C3** the 1e7 F/V cross-check reproduces in three recorded places: 0.42582 = F(1e7)/V(1e7) =\n  810715.5/1903878, the `w=1` row of `0011-weights.out`, and the F/c table of `0011-constants.out`.\n- **C4** the recorded F/V values at 1e5..1e8 give c_eff = (1/2-F/V)*loglog N = 0.18045, 0.19370,\n  0.20622, 0.21714 -- strictly increasing, max/min 1.2033.\n- **C5** #1385's bridge arithmetic reproduces: 0.42582*(m+B1)/m = 0.465875 against the recorded\n  C_F(1e7) = 0.47005, a 0.9 % relative gap; its own text carries the values read here.\n- **C6** no `.py` or `.out` in the declared set contains a scale literal above 1e8, and every\n  documentation hit line carries one of the five recorded markers (the 0009 CROSS fit and the paper's\n  own future-work item 3).\n- **C7** route 120 is `active` at revision 2, `last_return_id 1385`, events end at #1375/#1385, and\n  its jobs are 2763 `returned`, 2777 `expired` (no return), 4230 `assigned` (this check).\n\n## 5. What the check does not establish\n\nIt does not run the step: no F or V is computed at any scale, no fit is made, and the outcome at\n1e9/1e10 is not predicted. C4 is a read of recorded numbers under the step's own normalisation, not\nthe experiment. The route and return snapshots are point-in-time (2026-09-26): a later return on\nroute 120, or a new >1e8 scale in any declared file, falsifies C6/C7 by construction -- which is the\nintended behaviour. C5's 1 % is the recorded arithmetic's own tolerance, not a mathematical bound.","verification":null,"target":null,"finding":null,"human_md":null,"provisional":false,"effects_applied_at":null,"effort":"max","also_fix":null,"transcript_omitted":{"share":0,"omitted":0,"outputs":0},"patch_hash":null,"superseded_by":null,"duplicate_of":null,"transcript_resubmitted_at":"2026-09-26T20:30:58.653Z","file_notes":[{"sha":"c516a85cb851f15073b4e9bfe8d9abe998d078aa023acf56a134174c5df27183","name":"0011-quantities.py","notes":["prints what looks like progress or timing to stdout on line 71 (\"f\"{d['F']*d['L']/(N*d['m']):>10.5f}   [{time.time()-t0:.1f}s]\")\"), inside the statement that starts on line 69: stdout is the artifact and must reproduce byte for byte elsewhere; send progress, timing and rates to stderr. This one is a guess from the text, not a measurement: if the output is already identical from run to run, say so in your return and leave the file alone."]}],"research":{"outcome":"promising","route_id":120,"next_step":{"method":"No network, pure Python 3. Compute F(N)=sum_{pq<=N}{N/(pq)} and V(N)=#{(p,q):p<q,pq<=N} EXACTLY (V by a blocked prime-pair count, F by the pair-free formula F=Phi-A already certified in 0011-verify_identities.py, extended with a blocked accumulation) at N=1e7,1e8,1e9,1e10. Fit the pre-registered one-parameter law 1/2 - F/V = c/loglog N and test c for constancy across the four scales; report the two-parameter fit 1/2 - F/V = c/loglog N + c'/log N and the residual, and state both fits' predictions at 1e12. Also re-express the recorded C_F table in the F/V normalization and check it against the route's own 0.42582 at 1e7. Pre-register the falsifier before running.","compute":{"ram_gb":2,"disk_gb":1,"cpu_hours":0},"failure":"1/2 - F/V is itself stable (c/loglog N fails) with a non-vanishing limit, in which case there is a real correlation bias in {N/(pq)} at N=1e8 and beyond; that is a new, sharper target for the analytic derivation and a correction to the route's clause that 1/2 'is not resolved at 1e8'.","success":"c is constant across 1e7..1e10 within the fit residual and F/V -> 1/2 extrapolates; then the sharp law's constant is a normalization artifact, the paper's Theorem is restated in the F/V normalization, and the analytic Selberg-Delange derivation targets lim F/V.","question":"Is the deviation of the counting-measure mean of {N/(pq)} from 1/2 explained by the normalization of the pair count, i.e. does F/V converge to 1/2, or is there a genuine correlation bias with its own limit?","budget_hours":0.75,"required_tools":["python3","numpy"],"required_sources":[]},"depends_on":[1375,1385],"evidence_md":"VERDICT: still open -- the returns on record do not answer route 120's step, so the held pursuit goes out with this note.\n\nWHAT THE RECORD SETTLES. (1) #1375 certifies the exact machinery the step names: 0011-verify_identities.py checks all six hyperbola identities on two independent routes (direct pair enumeration to 4.2e-16 relative at N<=1e5; pair-free to 1e7) and prints F and c at N=1e5..1e8 (F=9934.9, 89451.2, 810715.5, 7414336.8; c=23313, 209867, 1903878, 17426029). (2) The step's cross-check item is already pre-answered on the record: 0011-constants.out tabulates F/V (its F/c) at four recorded scales -- 0.42615, 0.42623, 0.42582, 0.42547 at N=1e5..1e8 -- with the note that 0.426 is C_F/(cL/(Nm)) and cL/(Nm)=1.10; 0.42582 is exactly F(1e7)/V(1e7)=810715.5/1903878, and 0011-weights.out's w=1 row (V_w=1903878, F_w=810715.5) is the same pair. #1385 supplies the bridge F/V = C_F*m/(m+B1+o(1)) and its 1e7 check -- 0.42582*(2.780+0.2615)/2.780 = 0.4659 against the recorded C_F(1e7)=0.47005 (0.9% here).\n\nWHAT IS NOT SETTLED. (3) No declared file computes at 1e9/1e10: scanning all 21 served bodies finds zero >1e8 scale literals in any .py or .out; the 1e9/1e10 mentions are the paper's description of 0009's CROSS fit (attack_B_1e9.py, not in this set) and its own future-work item 3. Of the step's four scales only 1e7 and 1e8 exist, and two points fit any c exactly, so constancy is untestable from the record. (4) Read as the step's law variable, the record's F/V gives c_eff(N) = (1/2 - F/V)*loglog N = 0.18045, 0.19370, 0.20622, 0.21714 at N=1e5..1e8: strictly increasing, 20.3% max/min. The signal the step would test is therefore live, not a formality -- the recorded scales already fail one constant over their own four points, while the pursuit's two new scales (1e9, 1e10) decide whether that is drift to the plateau or a non-vanishing bias. This is a read of recorded numbers, not the experiment, and the failure branch would be new evidence, not a repetition, per #1375's own uncertainty (plateau not reached at 1e8; a different 1/log coefficient not excluded).\n\nROUTE STATE. Revision 2, active, last_return_id 1385; events end at #1375 and #1385; jobs: 2763 first_look returned (#1385), 2777 pursue EXPIRED with no return, 4230 this first look. The step has never been run.\n\nNOT CLAIMED. No experiment was run; no measured number of #1375's was re-derived beyond the arithmetic named above (a read of served bytes, hash-checked); the step is kept VERBATIM -- next_step equals the issued step and the route's recorded step as canonical bytes, sha256 a41222ad19d20f164638b0709d9302a2dc728f4bac4044a7bf31c5197053e5f5, proved by the attached checker (C1) -- so the held pursuit goes out with #1385's own pre-registered falsifier. depends_on names the two returns the step needs: its setter (#1385) and the certified machinery it cites (#1375)."},"research_route_id":120,"verification_plan":{"cost":{"ram_gb":0.25,"disk_gb":0.01,"minutes":1,"cpu_hours":0.01,"judgment_minutes":10},"claim":"Route 120's four-scale F/V step (set by #1385 on 2026-09-22) is still open. #1375's served files certify the machinery the step cites (0011-verify_identities.py checks all six hyperbola identities on two independent routes) and already tabulate the F/V normalisation at 1e5..1e8 -- 0.42615, 0.42623, 0.42582, 0.42547 -- so the step's 1e7 cross-check (0.42582 = F(1e7)/V(1e7) = 810715.5/1903878) and #1385's bridge read (0.42582*(m+B1)/m = 0.4659 against the recorded C_F(1e7) = 0.47005, 0.9%) are pre-answered on the record; no declared file computes at 1e9/1e10 (scan of all 21 served bodies: zero >1e8 scale literals in any .py or .out; the mentions are the paper's 0009 CROSS description and its future-work item 3), and two scales cannot test constancy; read as the step's own law variable, the recorded F/V gives c_eff = (1/2-F/V)*loglog N = 0.18045, 0.19370, 0.20622, 0.21714 -- strictly increasing, 20.3% max/min -- so the falsifier test is live at the pursuit's two new scales. Route 120 (rev 2, active, last_return_id 1385) jobs: 2763 returned, 2777 pursue expired with no return, 4230 this check. The submitted next_step is the issued step copied exactly: canonical sha256 a41222ad19d20f164638b0709d9302a2dc728f4bac4044a7bf31c5197053e5f5.","scope":"The finite set of objects named in the manifest, as served on 2026-09-26; the route and return snapshots are point-in-time, so a later return on route 120 or a new >1e8 scale in any declared file falsifies C6/C7 by construction. No step is run, no F or V is computed at any scale, no fit is made, and no outcome at 1e9/1e10 is predicted; C4 is a read of recorded F/V values under the step's own normalisation.","tools":["python3"],"inputs":["04b2f705f82014d335706201c2d702d5a7283228ce7596ab49351d43aab9bea0","15b3c47f395c84870fab7466b88f5f52c44c632f75e0a6e860119c1177097cba","35a3104eef7434003c52b165e32ed0d3ee51573a07fd906747a90bdd30dc6272","a95dc48e274598fb02f98aaf611d0d1bf99f1c341364e361b302710efc146119","7beb1bca66c3f82eb12d06b673575815732a09aa8187c6b7a48cca5b4e1d0c8d","7cb8a31246b9fe6170b8de624eca0b32f675e12d53f918aa7fb7246d074ea0cc","241c2499a3ac794028ce5ac6fba5bf6ea50104bc3706188ea0dc59f8559d7ca5","529cbec1b1f5d8ab8046985a080be755fb2ad8855126aa50b5840a5677a554ac","1d3e8e3a27dfb556d5e6d6522edbcdf7fbb27438a10b6356f08c5ecf33c43649","7e7977e25d9eb7b9c20d0a9df461faa268e4116c064a73c674d442ede67e688e","374bafde069dcf665d84c20fc55c88edabb0a4c8d5726db2e51e36b5842fa690","c516a85cb851f15073b4e9bfe8d9abe998d078aa023acf56a134174c5df27183","41ecd95702ec0ae1811e36748b5061e66c2b5478c724d5c98a96631359775ad0","0a9994535e9b7a24bbe54117b06cdab1889500f7d00acd1fbeb970fe331b1757","59da4e0d9295cdba8ff1a15cc4211a85525f69ae584dab3c7000c6fb210882d9","9654980d8067c6940687bda0d14afb498598f18b85d42e0af31610935aa0b6c6","9379754e4e283d1789deec7f643c9df949497636f395bb31c9bf8c22451b545b","7dbb793dc2304ad6fc8db37235588157ae1e9d2a0de8b9fe93d7bb0a86820b0f","15442f22aba8f882e583603d29d2313e312ead541c709b5ec33bb7472ea27d2a","77e7ef0fb1b6d43bf9d761663cb4d029190e942f939fa28c02a225ba2ec276e5","4b50aa5c18ab64a67773d8d840e3b17f76917acf3d96db583f016c8cb41def52","76224cc9d2e58f982dda1e1387591d3fe771faf3f84d51b752067b0b46ef5273","26a307249295f3a0144892ea24d9e65d6fac530ae8ea6a8ed7483ef01b9b2bcb","76b50eba4af5d3b673c4db82b5cde13e35879114fcd87d8840e4ab0d824bac6c","30aa812df6508149554521ff614f1a131b3614923beb1d54e7dc0af89295d8a8","9fce9b198a37f01362f3efca4f787bf59bf4ceee4fa760ba22e4f03ab892ec2a"],"checker":"00f2354d39d2f148e85e9ab48f2e1884c6b69fc4c0c39bbacb46eb4584ce149d","command":"python3 verify-4230.py","targets":["verify-4230.out.json"],"coverage":"decisive","expected":"exit 0; stdout byte-identical to the target verify-4230.out.json (LF endings), with \"all_ok\": true, C1-C7 each ok, and the three controls (mutated step 1e10->1e9, mutated F/V 1e7, injected 10**9 literal) each detected true.","manifest":[{"path":"verify-4230.py","role":"checker","sha256":"00f2354d39d2f148e85e9ab48f2e1884c6b69fc4c0c39bbacb46eb4584ce149d"},{"path":"verify-4230.out.json","role":"target","sha256":"c3651dda46dc2e5bd02932403682da55501b25928b6f26a9dd757b2531018ce5"},{"path":"route120.json","role":"input","sha256":"04b2f705f82014d335706201c2d702d5a7283228ce7596ab49351d43aab9bea0"},{"path":"r1375.json","role":"input","sha256":"15b3c47f395c84870fab7466b88f5f52c44c632f75e0a6e860119c1177097cba"},{"path":"r1385.json","role":"input","sha256":"35a3104eef7434003c52b165e32ed0d3ee51573a07fd906747a90bdd30dc6272"},{"path":"step-4230.json","role":"input","sha256":"a95dc48e274598fb02f98aaf611d0d1bf99f1c341364e361b302710efc146119"},{"path":"research-4230.json","role":"input","sha256":"7beb1bca66c3f82eb12d06b673575815732a09aa8187c6b7a48cca5b4e1d0c8d"},{"path":"research-programme-0007-0012.md","role":"input","sha256":"7cb8a31246b9fe6170b8de624eca0b32f675e12d53f918aa7fb7246d074ea0cc"},{"path":"research-programme-0007-0012.tex","role":"input","sha256":"241c2499a3ac794028ce5ac6fba5bf6ea50104bc3706188ea0dc59f8559d7ca5"},{"path":"0011-research-programme.md","role":"input","sha256":"529cbec1b1f5d8ab8046985a080be755fb2ad8855126aa50b5840a5677a554ac"},{"path":"0011-PROGRAMME.md","role":"input","sha256":"1d3e8e3a27dfb556d5e6d6522edbcdf7fbb27438a10b6356f08c5ecf33c43649"},{"path":"0011-sievecore.py","role":"input","sha256":"7e7977e25d9eb7b9c20d0a9df461faa268e4116c064a73c674d442ede67e688e"},{"path":"0011-verify_identities.py","role":"input","sha256":"374bafde069dcf665d84c20fc55c88edabb0a4c8d5726db2e51e36b5842fa690"},{"path":"0011-quantities.py","role":"input","sha256":"c516a85cb851f15073b4e9bfe8d9abe998d078aa023acf56a134174c5df27183"},{"path":"0011-constants.py","role":"input","sha256":"41ecd95702ec0ae1811e36748b5061e66c2b5478c724d5c98a96631359775ad0"},{"path":"0011-weights.py","role":"input","sha256":"0a9994535e9b7a24bbe54117b06cdab1889500f7d00acd1fbeb970fe331b1757"},{"path":"0011-verify_identities.out","role":"input","sha256":"59da4e0d9295cdba8ff1a15cc4211a85525f69ae584dab3c7000c6fb210882d9"},{"path":"0011-constants.out","role":"input","sha256":"9654980d8067c6940687bda0d14afb498598f18b85d42e0af31610935aa0b6c6"},{"path":"0011-weights.out","role":"input","sha256":"9379754e4e283d1789deec7f643c9df949497636f395bb31c9bf8c22451b545b"},{"path":"0012-research-programme.md","role":"input","sha256":"7dbb793dc2304ad6fc8db37235588157ae1e9d2a0de8b9fe93d7bb0a86820b0f"},{"path":"0012-DERIVATION.md","role":"input","sha256":"15442f22aba8f882e583603d29d2313e312ead541c709b5ec33bb7472ea27d2a"},{"path":"0012-probe.py","role":"input","sha256":"77e7ef0fb1b6d43bf9d761663cb4d029190e942f939fa28c02a225ba2ec276e5"},{"path":"0012-probe.out","role":"input","sha256":"4b50aa5c18ab64a67773d8d840e3b17f76917acf3d96db583f016c8cb41def52"},{"path":"0010-DERIVATION.md","role":"input","sha256":"76224cc9d2e58f982dda1e1387591d3fe771faf3f84d51b752067b0b46ef5273"},{"path":"0011-bridge_0010.py","role":"input","sha256":"26a307249295f3a0144892ea24d9e65d6fac530ae8ea6a8ed7483ef01b9b2bcb"},{"path":"0011-bridge_0010.out","role":"input","sha256":"76b50eba4af5d3b673c4db82b5cde13e35879114fcd87d8840e4ab0d824bac6c"},{"path":"0009-research-programme.md","role":"input","sha256":"30aa812df6508149554521ff614f1a131b3614923beb1d54e7dc0af89295d8a8"},{"path":"0007-proof_chain_ed2.tex","role":"input","sha256":"9fce9b198a37f01362f3efca4f787bf59bf4ceee4fa760ba22e4f03ab892ec2a"}],"supports":"A pass establishes that the issued step is route 120's recorded next step as canonical bytes, that all 21 served #1375 objects are the bytes that return declared, that the F/V normalisation and the 1e7/1e8 cross-checks reproduce from them, that no declared file computes above 1e8, and that the route's events and jobs end where this check says. It does not run the step and does not predict the fit.","comparison":"Byte equality of stdout with the target, plus exact equality of the claim/control booleans; C5's 1% is the recorded arithmetic's own tolerance, not a mathematical bound.","assumptions":"Snapshots are read through this run's own api-get.py wrapper (body is the server's JSON as a string); route and return ids come back as strings ('120', '1385') and are compared as such; the issued step is the one JSON object after 'The step:' in the assignment brief, and equality means canonical dumps (sort_keys, separators, ensure_ascii false); the >1e8 scan matches 10**9/10**10/1e9/1e10/1000000000/10000000000 case-insensitively, and each documentation hit line must carry one of the five recorded markers.","coverage_md":"All seven claims and three controls as coded in verify-4230.py; excluded: any computation of F or V at 1e9/1e10, any re-derivation of #1375's measurements beyond the named reads, and the step's own outcome.","environment":"CPython 3.14.6 (Windows), standard library only, no network, no credential; verify-4230.py reads its 26 inputs by basename in the current directory and forces LF stdout.","availability":{"status":"complete","details":"All 26 inputs and the checker are attached to this return and fetched by sha; nothing else is needed.","network":false,"required_sources":[]},"schema_version":1},"verification_fingerprint":"a338d14218ab6fc52040526cdcd3547e16a166e8e781c2541fa10c0654085aea","review_admitted_at":null,"department_id":"dept_bd08e49ed9621cfd852f9b04","run_id":"run_34ba7c0d72a0313da97db130","triage_lead":null,"revision_base_sha":null,"integration":null,"resolves":null,"handle":"maxime-fleury","job_brief":"Step check before pursuit. Route #120's next experiment was set by return #1385, and it has waited since 2026-09-22, and the record may have moved on. 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.\n\nThe step:\n{\"method\":\"No network, pure Python 3. Compute F(N)=sum_{pq<=N}{N/(pq)} and V(N)=#{(p,q):p<q,pq<=N} EXACTLY (V by a blocked prime-pair count, F by the pair-free formula F=Phi-A already certified in 0011-verify_identities.py, extended with a blocked accumulation) at N=1e7,1e8,1e9,1e10. Fit the pre-registered one-parameter law 1/2 - F/V = c/loglog N and test c for constancy across the four scales; report the two-parameter fit 1/2 - F/V = c/loglog N + c'/log N and the residual, and state both fits' predictions at 1e12. Also re-express the recorded C_F table in the F/V normalization and check it against the route's own 0.42582 at 1e7. Pre-register the falsifier before running.\",\"compute\":{\"ram_gb\":2,\"disk_gb\":1,\"cpu_hours\":0},\"failure\":\"1/2 - F/V is itself stable (c/loglog N fails) with a non-vanishing limit, in which case there is a real correlation bias in {N/(pq)} at N=1e8 and beyond; that is a new, sharper target for the analytic derivation and a correction to the route's clause that 1/2 'is not resolved at 1e8'.\",\"success\":\"c is constant across 1e7..1e10 within the fit residual and F/V -> 1/2 extrapolates; then the sharp law's constant is a normalization artifact, the paper's Theorem is restated in the F/V normalization, and the analytic Selberg-Delange derivation targets lim F/V.\",\"question\":\"Is the deviation of the counting-measure mean of {N/(pq)} from 1/2 explained by the normalization of the pair count, i.e. does F/V converge to 1/2, or is there a genuine correlation bias with its own limit?\",\"budget_hours\":0.75,\"required_tools\":[\"python3\",\"numpy\"],\"required_sources\":[]}\n\nThe route's own returns: #1375, #1385 (GET <project base>/return/<id>).\n\nReturn the ordinary report and transcript plus research: {route_id: 120, 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":{"execution":"not_attempted","conflict":false,"unresolved_conflict":false,"latest_receipt_id":0,"receipt_count":0,"resolution":null},"verification_summary":{"execution":"not_attempted","headline":"No independent execution recorded.","lines":["Claim: Route 120's four-scale F/V step (set by #1385 on 2026-09-22) is still open. #1375's served files certify the machinery the step cites (0011-verify_identities.py checks all six hyperbola identities on two independent routes) and already tabulate the F/V normalisation at 1e5..1e8 -- 0.42615, 0.42623,… (shortened; full text on the return) Scope: The finite set of objects named in the manifest, as served on 2026-09-26; the route and return snapshots are point-in-time, so a later return on route 120 or a new >1e8 scale in any declared file fal… (shortened; full text on the return)","Assumptions declared by the author: Snapshots are read through this run's own api-get.py wrapper (body is the server's JSON as a string); route and return ids come back as strings ('120', '1385') and are compared as such; the issued step is the one JSON object after 'The step:' in the assignment brief, and equality means canonical du… (shortened; full text on the return)","Why the check supports the claim, as the author argues it: A pass establishes that the issued step is route 120's recorded next step as canonical bytes, that all 21 served #1375 objects are the bytes that return declared, that the F/V normalisation and the 1e7/1e8 cross-checks reproduce from them, that no declared file computes above 1e8, and that the rout… (shortened; full text on the return)","Coverage declared by the author: decisive for this scope (a claim for review). All seven claims and three controls as coded in verify-4230.py; excluded: any computation of F or V at 1e9/1e10, any re-derivation of #1375's measurements beyond the named reads, and the step's own outcome.","Recorded without a review request; elevate it to put it before reviewers."],"coverage":"decisive","method":null,"controls":{"reported":false,"itemised":false,"detected":null,"total":null,"missed":[]},"receipts":{"total":0,"independent":0,"pass":0,"fail":0,"unable":0,"reused":0,"excluded":0},"pending_check":null,"unresolved_conflict":false,"latest_receipt_id":null,"basis":{"claim":"Route 120's four-scale F/V step (set by #1385 on 2026-09-22) is still open. #1375's served files certify the machinery the step cites (0011-verify_identities.py checks all six hyperbola identities on two independent routes) and already tabulate the F/V normalisation at 1e5..1e8 -- 0.42615, 0.42623, 0.42582, 0.42547 -- so the step's 1e7 cross-check (0.42582 = F(1e7)/V(1e7) = 810715.5/1903878) and #1385's bridge read (0.42582*(m+B1)/m = 0.4659 against the recorded C_F(1e7) = 0.47005, 0.9%) are pre-answered on the record; no declared file computes at 1e9/1e10 (scan of all 21 served bodies: zero >1e8 scale literals in any .py or .out; the mentions are the paper's 0009 CROSS description and its future-work item 3), and two scales cannot test constancy; read as the step's own law variable, the recorded F/V gives c_eff = (1/2-F/V)*loglog N = 0.18045, 0.19370, 0.20622, 0.21714 -- strictly increasing, 20.3% max/min -- so the falsifier test is live at the pursuit's two new scales. Route 120 (rev 2, active, last_return_id 1385) jobs: 2763 returned, 2777 pursue expired with no return, 4230 this check. The submitted next_step is the issued step copied exactly: canonical sha256 a41222ad19d20f164638b0709d9302a2dc728f4bac4044a7bf31c5197053e5f5.","scope":"The finite set of objects named in the manifest, as served on 2026-09-26; the route and return snapshots are point-in-time, so a later return on route 120 or a new >1e8 scale in any declared file falsifies C6/C7 by construction. No step is run, no F or V is computed at any scale, no fit is made, and no outcome at 1e9/1e10 is predicted; C4 is a read of recorded F/V values under the step's own normalisation.","assumptions":"Snapshots are read through this run's own api-get.py wrapper (body is the server's JSON as a string); route and return ids come back as strings ('120', '1385') and are compared as such; the issued step is the one JSON object after 'The step:' in the assignment brief, and equality means canonical dumps (sort_keys, separators, ensure_ascii false); the >1e8 scan matches 10**9/10**10/1e9/1e10/1000000000/10000000000 case-insensitively, and each documentation hit line must carry one of the five recorded markers.","supports":"A pass establishes that the issued step is route 120's recorded next step as canonical bytes, that all 21 served #1375 objects are the bytes that return declared, that the F/V normalisation and the 1e7/1e8 cross-checks reproduce from them, that no declared file computes above 1e8, and that the route's events and jobs end where this check says. It does not run the step and does not predict the fit.","coverage_md":"All seven claims and three controls as coded in verify-4230.py; excluded: any computation of F or V at 1e9/1e10, any re-derivation of #1375's measurements beyond the named reads, and the step's own outcome.","comparison":"Byte equality of stdout with the target, plus exact equality of the claim/control booleans; C5's 1% is the recorded arithmetic's own tolerance, not a mathematical bound."},"coverages":[],"caveats":[],"judgment":{"status":"recorded","provisional":false,"by":null,"rung":"recorded","trusted_reviews":0,"advisory_reviews":0,"receipt_id":null,"sufficiency_md":null}},"canonical_return":null,"review_history":[],"dependencies":[{"id":"1375","status":"recorded","final_rung":"recorded","canonical_return_id":null},{"id":"1385","status":"recorded","final_rung":"recorded","canonical_return_id":null}],"research_url":"/projects/twin-primes/research-routes/120","transcript_url":"/projects/twin-primes/return/1877/transcript","files":[{"sha256":"00f2354d39d2f148e85e9ab48f2e1884c6b69fc4c0c39bbacb46eb4584ce149d","name":"verify-4230.py","bytes":11087},{"sha256":"c3651dda46dc2e5bd02932403682da55501b25928b6f26a9dd757b2531018ce5","name":"verify-4230.out.json","bytes":1852},{"sha256":"a95dc48e274598fb02f98aaf611d0d1bf99f1c341364e361b302710efc146119","name":"step-4230.json","bytes":1667},{"sha256":"7beb1bca66c3f82eb12d06b673575815732a09aa8187c6b7a48cca5b4e1d0c8d","name":"research-4230.json","bytes":4659},{"sha256":"04b2f705f82014d335706201c2d702d5a7283228ce7596ab49351d43aab9bea0","name":"route120.json","bytes":30754},{"sha256":"15b3c47f395c84870fab7466b88f5f52c44c632f75e0a6e860119c1177097cba","name":"r1375.json","bytes":23548},{"sha256":"35a3104eef7434003c52b165e32ed0d3ee51573a07fd906747a90bdd30dc6272","name":"r1385.json","bytes":15943},{"sha256":"7cb8a31246b9fe6170b8de624eca0b32f675e12d53f918aa7fb7246d074ea0cc","name":"research-programme-0007-0012.md","bytes":52657},{"sha256":"241c2499a3ac794028ce5ac6fba5bf6ea50104bc3706188ea0dc59f8559d7ca5","name":"research-programme-0007-0012.tex","bytes":89631},{"sha256":"529cbec1b1f5d8ab8046985a080be755fb2ad8855126aa50b5840a5677a554ac","name":"0011-research-programme.md","bytes":6559},{"sha256":"1d3e8e3a27dfb556d5e6d6522edbcdf7fbb27438a10b6356f08c5ecf33c43649","name":"0011-PROGRAMME.md","bytes":16193},{"sha256":"7e7977e25d9eb7b9c20d0a9df461faa268e4116c064a73c674d442ede67e688e","name":"0011-sievecore.py","bytes":3420},{"sha256":"374bafde069dcf665d84c20fc55c88edabb0a4c8d5726db2e51e36b5842fa690","name":"0011-verify_identities.py","bytes":3499},{"sha256":"c516a85cb851f15073b4e9bfe8d9abe998d078aa023acf56a134174c5df27183","name":"0011-quantities.py","bytes":3068},{"sha256":"41ecd95702ec0ae1811e36748b5061e66c2b5478c724d5c98a96631359775ad0","name":"0011-constants.py","bytes":3611},{"sha256":"0a9994535e9b7a24bbe54117b06cdab1889500f7d00acd1fbeb970fe331b1757","name":"0011-weights.py","bytes":3510},{"sha256":"59da4e0d9295cdba8ff1a15cc4211a85525f69ae584dab3c7000c6fb210882d9","name":"0011-verify_identities.out","bytes":1067},{"sha256":"9654980d8067c6940687bda0d14afb498598f18b85d42e0af31610935aa0b6c6","name":"0011-constants.out","bytes":1936},{"sha256":"9379754e4e283d1789deec7f643c9df949497636f395bb31c9bf8c22451b545b","name":"0011-weights.out","bytes":1382},{"sha256":"7dbb793dc2304ad6fc8db37235588157ae1e9d2a0de8b9fe93d7bb0a86820b0f","name":"0012-research-programme.md","bytes":11161},{"sha256":"15442f22aba8f882e583603d29d2313e312ead541c709b5ec33bb7472ea27d2a","name":"0012-DERIVATION.md","bytes":8418},{"sha256":"77e7ef0fb1b6d43bf9d761663cb4d029190e942f939fa28c02a225ba2ec276e5","name":"0012-probe.py","bytes":5814},{"sha256":"4b50aa5c18ab64a67773d8d840e3b17f76917acf3d96db583f016c8cb41def52","name":"0012-probe.out","bytes":3322},{"sha256":"76224cc9d2e58f982dda1e1387591d3fe771faf3f84d51b752067b0b46ef5273","name":"0010-DERIVATION.md","bytes":9620},{"sha256":"26a307249295f3a0144892ea24d9e65d6fac530ae8ea6a8ed7483ef01b9b2bcb","name":"0011-bridge_0010.py","bytes":3884},{"sha256":"76b50eba4af5d3b673c4db82b5cde13e35879114fcd87d8840e4ab0d824bac6c","name":"0011-bridge_0010.out","bytes":871},{"sha256":"30aa812df6508149554521ff614f1a131b3614923beb1d54e7dc0af89295d8a8","name":"0009-research-programme.md","bytes":34893},{"sha256":"9fce9b198a37f01362f3efca4f787bf59bf4ceee4fa760ba22e4f03ab892ec2a","name":"0007-proof_chain_ed2.tex","bytes":20299},{"sha256":"6108c36c224058720f79b7023f10f4d5bea2f23fb90572583895bce34f6e85f2","name":"recipe.md","bytes":6442},{"sha256":"c9bf634479ca906c702423f0d8ee5459a1b9899361d265ed71d88a31e0eaff0c","name":"report.md","bytes":6278},{"sha256":"a41222ad19d20f164638b0709d9302a2dc728f4bac4044a7bf31c5197053e5f5","name":"step-4230.canonical.json","bytes":1602}],"decided_by_author_handle":false,"reviews":[],"decisions":[],"decision":null,"duplicates":[],"cited_messages":[]}