TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/PROCESS-GEOMETRY-PREDICTION-INVENTORY.json
Original file SHA-256: 384bd1f2594675fc665b0a849bf61b42222c221987339c6fdfe73ab4a58e75df
Inclusive original lines: 1-100
Line numbers below refer to the original source.
This bounded excerpt is source evidence; it is not a new proof/checker run.
Conversation metadata and personal execution details are omitted where indicated.

000001 | {
000002 |   "schema_version": 1,
000003 |   "date": "2026-10-31",
000004 | [OMITTED: non-scientific conversation or execution metadata]
000005 |   "review_type": "source inventory and explicit formula dependency audit; no new empirical confrontation",
000006 |   "website": {
000007 |     "path": "website/lib/predictions.ts",
000008 |     "sha256": "ff0e50900ca86cd104e43c607dc0a917ed7763bdb1e81ddfb3046d027c1e42a7",
000009 |     "count": 27,
000010 |     "status_counts": {
000011 |       "Numerical fixed point": 4,
000012 |       "Exact identity": 5,
000013 |       "Conditional": 16,
000014 |       "Open / not forced": 2
000015 |     },
000016 |     "dependency_groups": {
000017 |       "EM closure": [
000018 |         "alpha-em"
000019 |       ],
000020 |       "Flavor / residue matrix": [
000021 |         "lambda-c",
000022 |         "flavor-invariants",
000023 |         "rare-kaon"
000024 |       ],
000025 |       "Frontier interface": [
000026 |         "koide",
000027 |         "mpme",
000028 |         "eta-b",
000029 |         "axion",
000030 |         "hfqpo-tooth"
000031 |       ],
000032 |       "Neutrino transport": [
000033 |         "theta12",
000034 |         "theta13",
000035 |         "theta23",
000036 |         "neutrino-ordering",
000037 |         "delta-pmns"
000038 |       ],
000039 |       "Strong-CP closure": [
000040 |         "strong-cp"
000041 |       ],
000042 |       "Inflation (R²)": [
000043 |         "ns",
000044 |         "r-tensor",
000045 |         "as-amplitude",
000046 |         "alpha-s-running",
000047 |         "mu-distortion",
000048 |         "scalaron"
000049 |       ],
000050 |       "Scale grammar": [
000051 |         "omega-b",
000052 |         "hubble"
000053 |       ],
000054 |       "Carrier / Higgs index": [
000055 |         "no-second-higgs",
000056 |         "higgs-free-seam"
000057 |       ],
000058 |       "Horizon / determinant line": [
000059 |         "birefringence",
000060 |         "eht-intercept"
000061 |       ]
000062 |     },
000063 |     "rows": [
000064 |       {
000065 |         "id": "alpha-em",
000066 |         "title": "Fine-Structure Constant — Electromagnetic Fixed Point",
000067 |         "status": "Numerical fixed point",
000068 |         "dependency_class": "EM closure",
000069 |         "target": "α⁻¹(0) = 137.035 999 216 8…",
000070 |         "derivation_formulas": [
000071 |           "F_{U(1)}(\\alpha) = \\alpha^3 - 2c_3^3\\alpha^2 - \\tfrac{4}{5}c_3^6\\Big(\\textstyle\\sum_{f,j}L_{f,j} + N_\\Phi\\Big)\\log\\tfrac{1}{\\varphi_{\\mathrm{seam}}(\\alpha)} = 0",
000072 |           "\\textstyle\\sum_{f,j}L_{f,j} + N_\\Phi = 41 = 10\\,b_1",
000073 |           "\\alpha^{-1} = 137.035\\,999\\,216\\,8\\ldots"
000074 |         ],
000075 |         "claim_id": "EM.FP.01",
000076 |         "source_line": 342,
000077 |         "full_source_card": {
000078 |           "id": "alpha-em",
000079 |           "slug": "alpha-em-closure",
000080 |           "title": "Fine-Structure Constant — Electromagnetic Fixed Point",
000081 |           "shortTitle": "α⁻¹(0)",
000082 |           "target": "α⁻¹(0) = 137.035 999 216 8…",
000083 |           "targetLatex": "\\alpha^{-1}(0) = 137.035\\,999\\,216\\,8\\ldots",
000084 |           "numericValue": "137.035999216",
000085 |           "status": "Numerical fixed point",
000086 |           "dependencyClass": "EM closure",
000087 |           "killTest": "Failure of the unique-root equation F_U(1)(α) = 0, a second admissible root, or a stable mismatch outside the stated interface uncertainty.",
000088 |           "derivationFormulas": [
000089 |             "F_{U(1)}(\\alpha) = \\alpha^3 - 2c_3^3\\alpha^2 - \\tfrac{4}{5}c_3^6\\Big(\\textstyle\\sum_{f,j}L_{f,j} + N_\\Phi\\Big)\\log\\tfrac{1}{\\varphi_{\\mathrm{seam}}(\\alpha)} = 0",
000090 |             "\\textstyle\\sum_{f,j}L_{f,j} + N_\\Phi = 41 = 10\\,b_1",
000091 |             "\\alpha^{-1} = 137.035\\,999\\,216\\,8\\ldots"
000092 |           ],
000093 |           "pdf": "/papers/tfpt_1_architecture_e8.pdf",
000094 |           "description": "The fine-structure constant is the unique positive root of the cubic closure built from c₃ and the abelian coefficient 41 = 10 b₁. Existence and uniqueness are proved; the value lands 2.9×10⁻¹⁰ (1.9σ) from CODATA-2022. Typed [E]: the coefficients are exact identities, the Ward-origin reading of the equation is conditional [C] (ledger EM.FP.01).",
000095 |           "category": "Coupling",
000096 |           "confrontation": {
000097 |             "derivation": "F_{U(1)}(\\alpha)=0,\\ \\textstyle\\sum L + N_\\Phi = 41 = 10\\,b_1",
000098 |             "tfptValue": "137.035 999 217",
000099 |             "measured": "137.035 999 177 ± 2.1×10⁻⁸",
000100 |             "deviation": "+1.9σ",