← Session 13 — Phase 4 completion + draft.tex author block
Now updating D-037, R-004, and the ledger to the honest-C₀ numbers.
tool: Edit
input
{
"file_path": "D:\\Python\\Quantum\\research\\derivations\\D-037-finite-height-theorem.md",
"new_string": "**E-028 results (2026-08-19, FULLY TRACED constants A = 10.5, B\u2080 = 48\nfrom D-056 \u2014 supersede the 2.0/2.0 numbers above; honest C\u2080 incl. the\nlog log term per the D-036 \u00a70 erratum):**\n- crossover at n = 75 451, margin = 2.4 and increasing;\n- **adopted N\u2080 := 80 000** (contiguous positivity to 4\u00d710\u2075, convexity\n grid to N\u2081; ALL CHECKS PASS);\n- margin(10\u2075) = 9.3\u00d710\u2074, margin(5\u00d710\u2075) = 2.0\u00d710\u2076,\n margin(N\u2081) = 2.458\u00d710\u00b2\u2076 \u2014 unchanged to leading digits.",
"old_string": "**E-028 results (2026-08-19, FULLY TRACED constants A = 6.0, B\u2080 = 40\nfrom D-056 \u2014 supersede the A = 2.0/B\u2080 = 2.0 first-estimate numbers\nbelow):**\n- crossover at n = 58 998, margin = 3.6 and increasing;\n- **adopted N\u2080 := 60 000** (contiguous positivity to 4\u00d710\u2075, convexity\n grid to N\u2081; ALL CHECKS PASS);\n- margin(10\u2075) = 1.6\u00d710\u2075, margin(5\u00d710\u2075) = 2.1\u00d710\u2076,\n margin(N\u2081) = 2.458\u00d710\u00b2\u2076 \u2014 unchanged to leading digits.",
"replace_all": false
}
raw content_json (database row)
[{"type":"text","text":"Now updating D-037, R-004, and the ledger to the honest-C₀ numbers."},{"type":"tool_use","id":"Edit_163","name":"Edit","input":{"file_path":"D:\\Python\\Quantum\\research\\derivations\\D-037-finite-height-theorem.md","new_string":"**E-028 results (2026-08-19, FULLY TRACED constants A = 10.5, B₀ = 48\nfrom D-056 — supersede the 2.0/2.0 numbers above; honest C₀ incl. the\nlog log term per the D-036 §0 erratum):**\n- crossover at n = 75 451, margin = 2.4 and increasing;\n- **adopted N₀ := 80 000** (contiguous positivity to 4×10⁵, convexity\n grid to N₁; ALL CHECKS PASS);\n- margin(10⁵) = 9.3×10⁴, margin(5×10⁵) = 2.0×10⁶,\n margin(N₁) = 2.458×10²⁶ — unchanged to leading digits.","old_string":"**E-028 results (2026-08-19, FULLY TRACED constants A = 6.0, B₀ = 40\nfrom D-056 — supersede the A = 2.0/B₀ = 2.0 first-estimate numbers\nbelow):**\n- crossover at n = 58 998, margin = 3.6 and increasing;\n- **adopted N₀ := 60 000** (contiguous positivity to 4×10⁵, convexity\n grid to N₁; ALL CHECKS PASS);\n- margin(10⁵) = 1.6×10⁵, margin(5×10⁵) = 2.1×10⁶,\n margin(N₁) = 2.458×10²⁶ — unchanged to leading digits.","replace_all":false},"extra_content":null}]