{
  "content": "# Session 009 \u2014 2026-08-19 \u2014 Phase 4: synthesis corrections (4.3b) + stress test (4.4)\n\n## Part 0 \u2014 Session-008 leftovers committed\nD-052 (4.1/4.2 synthesis) + D-053 (4.3a sanity gate) were written but\nuncommitted at session-008 close; journaled as session-008 Part 16 and\ncommitted (4a2db8c). db registrations were already in place.\n\n## Part 1 \u2014 4.3b: independent-instance adversarial review (D-054)\nFour fresh-context review instances attacked T-1 (R-004 chain), T-2\n(R-003 + D-041/D-051), T-3 (D-048\u2013D-050 valley theorem), and D-052's\naccounting. Every claimed finding was then RE-VERIFIED by hand before\ndisposition. **Outcome: all three theorem tags downgraded; statements\nsurvive; repair map 4.5a\u20134.5d opened.**\n\nVerified findings (the important ones):\n- F1/F2: D-039 digamma proof broken in BOTH pieces \u2014 Binet tail split\n  at t=1 gives a constant tail (fails |W| \u2273 35); recurrence Cauchy\n  estimate conflates an absolute 0.45 bound with a 0.45|u|\u2074\n  coefficient. Bound itself true (asymptotic 1/12, grid max 0.084);\n  repairs sketched (split at t ~ |V|/2; sharper majorant).\n- F3 (load-bearing): D-036 \u00a71's far-sum assembly gives O(|t| log t),\n  not O(log t) \u2014 the numerator |s| requires the Davenport\n  reference-point trick (compare at 2+it), which is missing. A/B\u2080\n  constants are E-021-MEASURED, not traced. Margins (67 705 at N\u2080,\n  2.46e26 at N\u2081) absorb any plausible constant error; theorem stands.\n- F4: margin-convexity \"every component concave\" invalid as written\n  (products 4T\u00b7f(T)); grid-verified; symbolic proof = 4.5b.\n- F9: D-049 B1 lower bound drops Lemma D's 4C\u2080/g\u00b2 term \u2014 honest\n  worst case is a CONSTANT floor ~0.65\u20130.9, not 1\u22121/(2a). Measured\n  floors \u2248 1 reflect true sparse spacing, invisible to worst-case C\u2080.\n- F10: B3 profile argument is sinc\u00b2((z\u2212\u03b3)a), not sinc\u00b2((z\u2212\u03b3)a/2) \u2014\n  printed envelope an overclaim.\n- F11: K(\u03b3,\u03b3) \u2264 1 requires m_\u03b3 = 1 (Platt\u2013Trudgian); general RH\n  statement is \u2264 1/m_\u03b3.\n- F12: \u03b4_crit = \u03c0/(2a) proved one direction (existence of a negative\n  direction); converse open.\n- F6: Suzuki's (1.12) \"every compact K \u2282 \u2102\" is the standard abuse \u2014\n  must avoid poles of F = z\u00b2\u03be/\u03be\u2032; precision note added (4.5d).\n- F7: \u03c4\u00b1 carried by unbounded |x| \u2265 a \u2014 PW\u2013Schwartz inapplicable;\n  R_\u03c4's representation distributional; sharpens R-003's flagged\n  bookkeeping (4.5d).\n- F8: D-052 presented T-2's \u27fa as proved; in fact \u21d2 proved (Suzuki +\n  D1), \u21d0 named skeleton (L3/L4; D-051: L4 = (\u2605)). Tag split applied.\n\nREFUTED: \"v\u2080 \u2209 form domain H\u2080\u00b9\" as a fatal flaw \u2014 the zero-side form\ndomain is {v : \u03a3 m_\u03b3|v\u0302(\u03b3)|\u00b2 < \u221e} and v\u2080's sum converges (sin\u00b2 decay\nvs log density); downgraded to a write-up item (domain identification,\n4.5d). Also a sign slip found: localization at +\u03b3 needs v\u2080 = e^{\u2212i\u03b3x}\nwith v\u0302(z) = \u222bv e^{izx}.\n\nFiles corrected: R-004 (tag), D-037 (H2, P6 rows), D-039 (erratum\nheader), D-036 (erratum header), D-049 (erratum header), D-050 (\u03b4_crit\none-direction), D-052 (C1\u2013C5 accounting fixes), D-041 (precision\nnote), R-003 (sharpened bookkeeping), NGUYEN.md ledger #6.\nRepair tasks: 4.5a (D-036 reference-point rewrite + D-039 repair +\nI_I housekeeping), 4.5b (symbolic concavity), 4.5c (valley lower\nbounds + profile + \u03b4_crit converse), 4.5d (L1 + form-domain +\nbookkeeping).\n\nProcess note: the review caught real errors that survived session\n008's self-review \u2014 the independent-instance gauntlet earns its keep.\nThe D-036 far-sum hole is exactly the kind of error adversarial review\nexists for: a too-crude triangle inequality producing a bound off by\na factor |t|, hidden inside a \"traced constants\" claim.\n\n## Part 2 \u2014 4.4: E-027 detector stress test (setup)\nDesign: synthetic off-line zero pair at mid-gap height \u03b3* (deviation\n\u03b4) inserted into the zero-side Weil form in an orthonormal Legendre\nGalerkin basis on (\u2212a,a), N > \u03b3*a + 48 so the tuned carrier is in the\nspan. Cases: a \u2208 {4, 8} \u00d7 \u03b3* windows [19,25] and [45,55]; zeros to\nT \u2248 3100 (zetazero, float64 \u2014 P1-type use). Checks: V1 control PSD,\nV2 bare-form threshold crossing vs \u03b4_crit = \u03c0/(2a), V2b pencil\n(I+Q) floor, V3 eigenvector localization at \u03b3*, V4 independence,\nV5 carrier quotient vs D-050 formula (sign consistency).\nNote (pre-registration of expectations): the bare pair form is rank-2\nindefinite for ANY \u03b4 > 0 (strict Schwarz on the evaluation\nfunctionals), so the bare crossing could come in BELOW \u03b4_crit \u2014 the\nmagnitude vs the positive background is what the experiment measures.\nTwo launch bugs fixed en route (ROOT path parents index; row-lookup\ntolerance vs rounded CSV fields).\n",
  "file_path": "D:\\Python\\Quantum\\research\\journal\\session-009.md"
}

{
  "type": "create",
  "filePath": "D:\\Python\\quantum-deploy\\fix_mtimes.py",
  "content": "\"\"\"Push original local mtimes to the server via MFMT (RFC 3659).\n\nWalks docroot/, sends MFMT <utc-ts> <remote-path> for every file so the\nsite displays original edit dates instead of the FTP upload date.\nUsage: FTP_PASS=... python fix_mtimes.py\n\"\"\"\nimport ftplib\nimport os\nimport threading\nimport time\nfrom concurrent.futures import ThreadPoolExecutor\nfrom pathlib import Path\n\nHOST = \"121swr.com\"\nUSER = \"[ftp-user]@researchai.dev\"\nPASS = os.environ[\"FTP_PASS\"]\nDOCROOT = Path(__file__).resolve().parent / \"docroot\"\nWORKERS = 6\n\n_local = threading.local()\n\n\ndef conn():\n    ftp = getattr(_local, \"ftp\", None)\n    if ftp is None:\n        ftp = ftplib.FTP()\n        ftp.connect(HOST, 21, timeout=60)\n        ftp.login(USER, PASS)\n        _local.ftp = ftp\n    return ftp\n\n\ndef fix_one(job):\n    local, remote = job\n    ts = time.strftime(\"%Y%m%d%H%M%S\", time.gmtime(local.stat().st_mtime))\n    ftp = conn()\n    for attempt in range(3):\n        try:\n            ftp.sendcmd(f\"MFMT {ts} {remote}\")\n            return remote\n        except Exception:  # noqa: BLE001\n            try:\n                _local.ftp.close()\n            except Exception:  # noqa: BLE001\n                pass\n            _local.ftp = None\n            if attempt == 2:\n                raise\n            ftp = conn()\n\n\ndef main():\n    jobs = []\n    for p in sorted(DOCROOT.rglob(\"*\")):\n        if p.is_file():\n            jobs.append((p, \"/\" + p.relative_to(DOCROOT).as_posix()))\n    print(f\"MFMT on {len(jobs)} files\")\n    done = 0\n    with ThreadPoolExecutor(max_workers=WORKERS) as ex:\n        for _ in ex.map(fix_one, jobs):\n            done += 1\n            if done % 500 == 0 or done == len(jobs):\n                print(f\"  {done}/{len(jobs)}\", flush=True)\n    print(\"MTIMES COMPLETE\")\n\n\nif __name__ == \"__main__\":\n    main()\n",
  "structuredPatch": [],
  "originalFile": null
}