TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/seam-positive-kernel-search-20261015/integral_genesis_checks.json
Original file SHA-256: eb46d8821c7143579fb7b6011db560be4df34a778bb257b9b436aab3768a0eb0
Inclusive original lines: 1-127
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": "tfpt.genesis-checks.v1",
000003 |   "checks": [
000004 |     {
000005 |       "id": "quillen-relative-normalization",
000006 |       "question": "Can the normalized holonomy Quillen function alone retain the geometric zero-source derivative?",
000007 |       "command": [
000008 |         "python3",
000009 |         "-B",
000010 |         "-OO",
000011 |         "experiments/theory-contracts/seam-positive-kernel-search-20261015/genesis_checks.py",
000012 |         "--check",
000013 |         "quillen-relative-normalization"
000014 |       ],
000015 |       "source_ids": [
000016 |         "finding:original-quarter-pair-fixes-square-charge-law-half-response-and-real-quillen-norm"
000017 |       ],
000018 |       "premise_ids": [
000019 |         "premise:typed-source-structures",
000020 |         "premise:given-original-elliptic-quarter-source-and-supported-scalar-current-insertion"
000021 |       ],
000022 |       "scope": "Given original elliptic free source, specified unit-charge probe and same co-moving reference; not a universal physical TFPT origin or replica theorem."
000023 |     },
000024 |     {
000025 |       "id": "theta-heat-shape-response",
000026 |       "question": "Does Poisson self-duality and the theta heat equation connect charge curvature to the theta modulus derivative?",
000027 |       "command": [
000028 |         "python3",
000029 |         "-B",
000030 |         "-OO",
000031 |         "experiments/theory-contracts/seam-positive-kernel-search-20261015/genesis_checks.py",
000032 |         "--check",
000033 |         "theta-heat-shape-response"
000034 |       ],
000035 |       "source_ids": [
000036 |         "finding:original-quarter-pair-fixes-square-charge-law-half-response-and-real-quillen-norm"
000037 |       ],
000038 |       "premise_ids": [
000039 |         "premise:typed-source-structures",
000040 |         "premise:given-original-elliptic-quarter-source-and-supported-scalar-current-insertion"
000041 |       ],
000042 |       "scope": "Given original elliptic free source, specified unit-charge probe and same co-moving reference; not a universal physical TFPT origin or replica theorem."
000043 |     },
000044 |     {
000045 |       "id": "doubled-source-counting",
000046 |       "question": "Are the two independent quarter blocks the two faces, and does their total eta control their half susceptibility?",
000047 |       "command": [
000048 |         "python3",
000049 |         "-B",
000050 |         "-OO",
000051 |         "experiments/theory-contracts/seam-positive-kernel-search-20261015/genesis_checks.py",
000052 |         "--check",
000053 |         "doubled-source-counting"
000054 |       ],
000055 |       "source_ids": [
000056 |         "finding:original-quarter-pair-fixes-square-charge-law-half-response-and-real-quillen-norm"
000057 |       ],
000058 |       "premise_ids": [
000059 |         "premise:typed-source-structures",
000060 |         "premise:given-original-elliptic-quarter-source-and-supported-scalar-current-insertion"
000061 |       ],
000062 |       "scope": "Given original elliptic free source, specified unit-charge probe and same co-moving reference; not a universal physical TFPT origin or replica theorem."
000063 |     },
000064 |     {
000065 |       "id": "variable-mark-completion",
000066 |       "question": "In the explicit standard D_(n+1)+A_(n-1) class, do complete even unimodular gluing and an actually local primitive family-discriminant charge allow higher n than4?",
000067 |       "command": [
000068 |         "python3",
000069 |         "-B",
000070 |         "-OO",
000071 |         "experiments/theory-contracts/seam-positive-kernel-search-20261015/genesis_checks.py",
000072 |         "--check",
000073 |         "variable-mark-completion"
000074 |       ],
000075 |       "source_ids": [
000076 |         "script:v1_e8_glue",
000077 |         "script:v189_riemann_roch_carrier"
000078 |       ],
000079 |       "premise_ids": [
000080 |         "premise:typed-source-structures"
000081 |       ],
000082 |       "scope": "Conditional candidate family: standard positive D/A pairing is assumed; actually local primitive family charge is additional, not inferred from topological winding. Not all possible quantum or TFPT sources."
000083 |     },
000084 |     {
000085 |       "id": "primitive-integral-completion",
000086 |       "question": "Does a primitive family projection of an integral standard D/A overlattice permit n other than four?",
000087 |       "command": [
000088 |         "python3",
000089 |         "-B",
000090 |         "-OO",
000091 |         "experiments/theory-contracts/seam-positive-kernel-search-20261015/integral_origin_checks.py",
000092 |         "--check",
000093 |         "primitive-integral-completion"
000094 |       ],
000095 |       "source_ids": [
000096 |         "script:v983_simple_current_generator",
000097 |         "finding:joint-integral-unimodular-charge-closure-uniquely-selects-complete-invariant-metric",
000098 |         "finding:r102-primitive-integral-charge-forces-entire-e8-completion"
000099 |       ],
000100 |       "premise_ids": [
000101 |         "premise:typed-source-structures",
000102 |         "premise:standard-integral-extension-with-primitive-family-charge"
000103 |       ],
000104 |       "scope": "Assumes standard positive D_(n+1)+A_(n-1) pairing, integral overlattice, primitive family projection and n>=3; no unproved one-sided locality, physical P1 source or universal inference."
000105 |     },
000106 |     {
000107 |       "id": "function-differential-typing",
000108 |       "question": "Does the quotient of five divisor functions by constants have dimension three?",
000109 |       "command": [
000110 |         "python3",
000111 |         "-B",
000112 |         "-OO",
000113 |         "experiments/theory-contracts/seam-positive-kernel-search-20261015/integral_origin_checks.py",
000114 |         "--check",
000115 |         "function-differential-typing"
000116 |       ],
000117 |       "source_ids": [
000118 |         "script:v189_riemann_roch_carrier",
000119 |         "script:v228_rr_index_gate"
000120 |       ],
000121 |       "premise_ids": [
000122 |         "premise:typed-source-structures"
000123 |       ],
000124 |       "scope": "Given genus-zero four-point divisor; separates functions, principal parts and differentials, no physical field identification."
000125 |     }
000126 |   ]
000127 | }