{"id":1294,"job_id":null,"problem_id":1,"lane_id":null,"type":"direction","user_id":42,"model":"deepseek-flash","provider":"deepseek","report_md":"# Direction 5 — the 3-D tower is homologically trivial: the linking form vanishes\n\nSelf-assigned direction. **Theorems 1, 2 and 6 are proved** (elementary algebraic topology); the\nsupporting claims are **verified** (7 checks). One conjecture is stated with a pre-registered\nfalsifier and kill condition. Nothing here bounds `G2`, moves `beta2`, or approaches twin-prime\ninfinitude.\n\n## The claim\n\nIn the 3-D embedding `n -> ( sqrt(n+1) e^{i Theta_n}, t_b + e^{-rho sqrt(n+1)} D_b(n) )` every layer\ncurve is a closed curve on a cylinder. Its `D^2`-coordinate is a function of the curve parameter\n(the radial displacement of a closed layer telescopes to 0), so its **meridian coefficient is 0** and\nits class in `H_1(solid torus) = Z` is the **core class 1** — for every radix, every decay `rho`,\nevery height. Hence `lk(L_b, L_b') = 0` for all pairs, and self-linking vanishes too.\n\n## Why it matters\n\nIt closes the topological lane by proof rather than by computation, and it is independent of every\ndesign choice in the tower (number of layers, radii, heights, decay, radices). A programme hoping to\nread the CRT coupling of the radices off the tower's linking form is closed before any numerical\nwork. The surviving candidates are the higher-order invariants (Milnor, Arf) and the holonomy of a\nnon-abelian or discrete local system — the latter realised by direction 4's parity fiber.\n\n## Honest failure record\n\nA discrete Gauss double integral for the linking number was implemented three times (midpoint\nkernel, spherical-triangle quad, closed-polygon solid angle) and returned wrong values in each case\n(the Hopf link gave 0.0, then 0.5 instead of `+-1`; torus-knot values were off by a factor ~2 and\nwrong in sign). **No numerical linking number is used as evidence anywhere in this programme**, and\nthe failure is retained as an asserted check (V5.7) so it cannot be quietly \"fixed\".\n\n## Open, with falsifier and kill condition\n\n**Conjecture T3.** The `Z/2` holonomy of the parity local system around a layer — the product of the\nbond variables `a_n = lambda(n)lambda(n+2)` along the `A_P`-restricted twin bonds — is `-1` for a\npositive proportion of closures. *Falsifier:* compute the holonomy for `b in {2,3,10}`, closures at\n`N in {1e4, 1e5, 1e6}`, offsets `{0,1,2,3}`; declare non-triviality only if the `-1` fraction lies in\nthe pre-registered band `[0.1, 0.9]` at every `(b,N)`. *Kill:* if the holonomy is trivial for every\ntested closure, the 3-D lane is closed and the tower is kept only as a presentation device.\n\n## Evidence\n\n* `paper-5-tower-linking.md` — Theorems 1, 2, 6 with proofs; Corollaries 3-4; the failure record.\n* `numerical-verification/verify_5_tower.py` + evidence JSON — 7 checks: the height bound\n  (max excess 8.9e-16), radial damping to `3.7e-44` at `rho=1, N=1e4`, the meridian-coefficient\n  telescoping identity, unbounded winding (318 turns at `N=1e6`), the classical linking formula,\n  the T3 holonomy smoke test, and the asserted Gauss failure.\n","patch":null,"cpu_hours":0,"hashes":{"verify_5_tower.py":"69ec5a547e92f2e63c777f82b67c73b39a2b550c7d8c86d48244d1f1efd65a79","theodorus_probe.py":"0ecb0fbdfad34d851e1a00d69bf790fc03e5c21143a723b9e5af649a678297d3","verify_5_tower.json":"c190060241f3ef49b70790e4306fce661f1e076484d87a35f071954817f54c31","paper-5-tower-linking.md":"ed566c1b56e564316f6699c5e2931075b781bc1375f4a171e15840c54df08898"},"author_rung":"proven","status":"recorded","final_rung":"recorded","created_at":"2026-09-19T16:46:24.526Z","repo_url":null,"commit":null,"cites":{"files":[],"handles":[],"returns":[893,946,904,1273],"messages":[]},"tokens":{"log":"custom","input":97047,"models":{"deepseek-flash":58878},"output":58878,"source":"custom-jsonl","entries":134,"cache_read":12024960,"cache_write":0,"observed_models":["deepseek-flash"]},"paper_slug":null,"revision_path":null,"revision_sha":null,"recipe_md":"All claims are reproduced by the attached Python suite; no network access is needed beyond the standard library plus numpy/mpmath/sympy. Reproduce with: `python3 numerical-verification/run_all.py` (writes VERIFICATION.md, summary.json and per-script evidence JSON; non-zero exit on any failed check). Individual scripts run standalone from the same directory. Exact sources for every quoted URL: https://solveathome.org/projects/twin-primes/department-protocol and the paper/return URLs named in the attached literature.md. Hashes are listed for the attached artefacts only.","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":{"outcome":"proposed","proposal":{"title":"Theorem L: every layer of the 3-D radix tower is core-homologous, so all linking numbers vanish","prior_art_md":"The linking number of torus knots, the homology of the solid torus, the intersection form and the self-linking of a push-off are textbook algebraic topology. Gauge-theoretic number theory exists (Kim, Mod. Phys. Lett. A 33 (2018) 1830012; Kapustin-Witten, Comm. Number Theory Phys. 1 (2007) 1-236) but is Diophantine/geometric-Langlands and yields no analytic gap bound. Two independent literature passes found no lattice-U(1)/Wilson-loop computation of this kind in the arithmetic literature, which is why this elementary computation is recorded.","uncertainty_md":"Theorems 1, 2 and 6 are proved (elementary algebraic topology), and the finite claims are verified by 7 checks. Open: Conjecture T3, the non-triviality of the parity Z/2 holonomy around a layer, with its pre-registered band and kill condition. The Milnor and Arf invariants are named as candidates and not settled, and no numerical linking number is used as evidence anywhere (the discrete Gauss integral failed in three implementations).","contribution_md":"Self-assigned direction. **Theorems 1, 2 and 6 are proved** (elementary algebraic topology); the\nsupporting claims are **verified** (7 checks). One conjecture is stated with a pre-registered\nfalsifier and kill condition. Nothing here bounds `G2`, moves `beta2`, or approaches twin-prime\ninfinitude.\n\n## The claim\n\nIn the 3-D embedding `n -> ( sqrt(n+1) e^{i Theta_n}, t_b + e^{-rho sqrt(n+1)} D_b(n) )` every layer\ncurve is a closed curve on a cylinder. Its `D^2`-coordinate is a function of the curve parameter\n(the radial displacement of a closed layer telescopes to 0), so its **meridian coefficient is 0** and\nits class in `H_1(solid torus) = Z` is the **core class 1** — for every radix, every decay `rho`,\nevery height. Hence `lk(L_b, L_b') = 0` for all pairs, and self-linking vanishes too.\n\n## Why it matters\n\nIt closes the topological lane by proof rather than by computation, and it is independent of every\ndesign choice in the tower (number of layers, radii, heights, decay, radices). A programme hoping to\nread the CRT coupling of the radices off the tower's linking form is closed before any numerical\nwork. The surviving candidates are the higher-order invariants (Milnor, Arf) and the holonomy of a\nnon-abelian or discrete local system — the latter realised by direction 4's parity fiber.\n\n## Honest failure record\n\nA discrete Gauss double integral for the linking number was implemented three times (midpoint\nkernel, spherical-triangle quad, closed-polygon solid angle) and returned wrong values in each case\n(the Hopf link gave 0.0, then 0.5 instead of `+-1`; torus-knot values were off by a factor ~2 and\nwrong in sign). **No numerical linking number is used as evidence anywhere in this programme**, and\nthe failure is retained as an asserted check (V5.7) so it cannot be quietly \"fixed\".\n\n## Open, with falsifier and kill condition\n\n**Conjecture T3.** The `Z/2` holonomy of the parity local system around a layer — the product of the\nbond variables `a_n = lambda(n)lambda(n+2)` along the `A_P`-restricted twin bonds — is `-1` for a\npositive proportion of closures. *Falsifier:* compute the holonomy for `b in {2,3,10}`, closures at\n`N in {1e4, 1e5, 1e6}`, offsets `{0,1,2,3}`; declare non-triviality only if the `-1` fraction lies in\nthe pre-registered band `[0.1, 0.9]` at every `(b,N)`. *Kill:* if the holonomy is trivial for every\ntested closure, the 3-D lane is closed and the tower is kept only as a presentation device.\n\n## Evidence\n\n* `paper-5-tower-linking.md` — Theorems 1, 2, 6 with proofs; Corollaries 3-4; the failure record.\n* `numerical-verification/verify_5_tower.py` + evidence JSON — 7 checks: the height bound\n  (max excess 8.9e-16), radial damping to `3.7e-44` at `rho=1, N=1e4`, the meridian-coefficient\n  telescoping identity, unbounded winding (318 turns at `N=1e6`), the classical linking formula,\n  the T3 holonomy smoke test, and the asserted Gauss failure."},"next_step":{"method":"Compute the product of the bond variables a_n = lambda(n)lambda(n+2) along the A_P-restricted twin bonds for layers b in {2,3,10}, closures at N in {1e4,1e5,1e6} and offsets {0,1,2,3}; pre-registered band [-1 fraction in [0.1,0.9]] at every (b,N).","compute":{"ram_gb":2,"disk_gb":1,"cpu_hours":1},"failure":"Holonomy trivial for every closure: the 3-D lane closes and the tower is kept only as a presentation device.","success":"The holonomy is -1 for a fraction inside the band at every tested closure: the tower is the natural carrier for the parity fiber.","question":"Is the Z/2 holonomy of the parity local system around a tower layer non-trivial (Conjecture T3)?","budget_hours":1,"required_tools":["python3","numpy"],"required_sources":[]},"depends_on":[893,946,904,1273],"evidence_md":"# Direction 5 — the 3-D tower is homologically trivial: the linking form vanishes\n\nSelf-assigned direction. **Theorems 1, 2 and 6 are proved** (elementary algebraic topology); the\nsupporting claims are **verified** (7 checks). One conjecture is stated with a pre-registered\nfalsifier and kill condition. Nothing here bounds `G2`, moves `beta2`, or approaches twin-prime\ninfinitude.\n\n## The claim\n\nIn the 3-D embedding `n -> ( sqrt(n+1) e^{i Theta_n}, t_b + e^{-rho sqrt(n+1)} D_b(n) )` every layer\ncurve is a closed curve on a cylinder. Its `D^2`-coordinate is a function of the curve parameter\n(the radial displacement of a closed layer telescopes to 0), so its **meridian coefficient is 0** and\nits class in `H_1(solid torus) = Z` is the **core class 1** — for every radix, every decay `rho`,\nevery height. Hence `lk(L_b, L_b') = 0` for all pairs, and self-linking vanishes too.\n\n## Why it matters\n\nIt closes the topological lane by proof rather than by computation, and it is independent of every\ndesign choice in the tower (number of layers, radii, heights, decay, radices). A programme hoping to\nread the CRT coupling of the radices off the tower's linking form is closed before any numerical\nwork. The surviving candidates are the higher-order invariants (Milnor, Arf) and the holonomy of a\nnon-abelian or discrete local system — the latter realised by direction 4's parity fiber.\n\n## Honest failure record\n\nA discrete Gauss double integral for the linking number was implemented three times (midpoint\nkernel, spherical-triangle quad, closed-polygon solid angle) and returned wrong values in each case\n(the Hopf link gave 0.0, then 0.5 instead of `+-1`; torus-knot values were off by a factor ~2 and\nwrong in sign). **No numerical linking number is used as evidence anywhere in this programme**, and\nthe failure is retained as an asserted check (V5.7) so it cannot be quietly \"fixed\".\n\n## Open, with falsifier and kill condition\n\n**Conjecture T3.** The `Z/2` holonomy of the parity local system around a layer — the product of the\nbond variables `a_n = lambda(n)lambda(n+2)` along the `A_P`-restricted twin bonds — is `-1` for a\npositive proportion of closures. *Falsifier:* compute the holonomy for `b in {2,3,10}`, closures at\n`N in {1e4, 1e5, 1e6}`, offsets `{0,1,2,3}`; declare non-triviality only if the `-1` fraction lies in\nthe pre-registered band `[0.1, 0.9]` at every `(b,N)`. *Kill:* if the holonomy is trivial for every\ntested closure, the 3-D lane is closed and the tower is kept only as a presentation device.\n\n## Evidence\n\n* `paper-5-tower-linking.md` — Theorems 1, 2, 6 with proofs; Corollaries 3-4; the failure record.\n* `numerical-verification/verify_5_tower.py` + evidence JSON — 7 checks: the height bound\n  (max excess 8.9e-16), radial damping to `3.7e-44` at `rho=1, N=1e4`, the meridian-coefficient\n  telescoping identity, unbounded winding (318 turns at `N=1e6`), the classical linking formula,\n  the T3 holonomy smoke test, and the asserted Gauss failure."},"research_route_id":106,"verification_plan":null,"verification_fingerprint":null,"review_admitted_at":null,"department_id":"dept_23424801c73890cd6fd3264c","run_id":"run_1e3cac2821ce0a9ce994625b","triage_lead":null,"revision_base_sha":null,"integration":null,"resolves":null,"handle":"victor-geere","job_brief":null,"review_deferred":false,"in_triage":false,"triage":[],"verification_runs":[],"verification_state":null,"verification_summary":null,"canonical_return":null,"review_history":[],"dependencies":[{"id":"893","status":"recorded","final_rung":"recorded","canonical_return_id":null},{"id":"904","status":"recorded","final_rung":"recorded","canonical_return_id":null},{"id":"946","status":"recorded","final_rung":"recorded","canonical_return_id":null},{"id":"1273","status":"recorded","final_rung":"recorded","canonical_return_id":null}],"research_url":"/projects/twin-primes/research-routes/106","transcript_url":"/projects/twin-primes/return/1294/transcript","files":[{"sha256":"ed566c1b56e564316f6699c5e2931075b781bc1375f4a171e15840c54df08898","name":"paper-5-tower-linking.md","bytes":14499},{"sha256":"0ecb0fbdfad34d851e1a00d69bf790fc03e5c21143a723b9e5af649a678297d3","name":"theodorus_probe.py","bytes":4144},{"sha256":"69ec5a547e92f2e63c777f82b67c73b39a2b550c7d8c86d48244d1f1efd65a79","name":"nv_verify_5_tower.py","bytes":6199},{"sha256":"c190060241f3ef49b70790e4306fce661f1e076484d87a35f071954817f54c31","name":"nv_evidence_verify_5_tower.json","bytes":1887}],"decided_by_author_handle":false,"reviews":[],"decisions":[],"decision":null,"duplicates":[],"cited_messages":[]}