TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/original-admissible-source-closure-20261025/normal-index-transport-results.json
Original file SHA-256: f895c5bf54a5a17b696feccb3134931e8ff1c6ece603495045e133f504cd60c8
Inclusive original lines: 1-98
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 |   "claims": [
000003 |     "MATH.ORIGINAL-SEAM.NORMAL-INDEX-TRANSPORT.01",
000004 |     "MATH.ORIGINAL-SEAM.NORMAL-HOLONOMY-CRITERION.01",
000005 |     "MATH.ORIGINAL-SEAM.FULL-PRODUCT-TRACECLASS.01"
000006 |   ],
000007 |   "verdict": "PASS_EXACT_STRUCTURAL_CHECKS",
000008 |   "scope": "Analytic conditional transport, not a selected original source or physical EM functional.",
000009 |   "checks": [
000010 |     {
000011 |       "name": "normal_grading_and_product_kernel_intertwining",
000012 |       "ok": true
000013 |     },
000014 |     {
000015 |       "name": "nonzero_pair_has_no_crossing",
000016 |       "ok": true
000017 |     },
000018 |     {
000019 |       "name": "spin_line_one_and_scalar_dolbeault_two_are_distinct",
000020 |       "ok": true
000021 |     },
000022 |     {
000023 |       "name": "same_rank_two_determinant_keeps_extra_kernel_pairs",
000024 |       "ok": true,
000025 |       "census": [
000026 |         {
000027 |           "k": 1,
000028 |           "positive_kernel": 1,
000029 |           "negative_kernel": 0
000030 |         },
000031 |         {
000032 |           "k": 2,
000033 |           "positive_kernel": 2,
000034 |           "negative_kernel": 1
000035 |         },
000036 |         {
000037 |           "k": 3,
000038 |           "positive_kernel": 3,
000039 |           "negative_kernel": 2
000040 |         },
000041 |         {
000042 |           "k": 4,
000043 |           "positive_kernel": 4,
000044 |           "negative_kernel": 3
000045 |         },
000046 |         {
000047 |           "k": 5,
000048 |           "positive_kernel": 5,
000049 |           "negative_kernel": 4
000050 |         },
000051 |         {
000052 |           "k": 6,
000053 |           "positive_kernel": 6,
000054 |           "negative_kernel": 5
000055 |         }
000056 |       ]
000057 |     },
000058 |     {
000059 |       "name": "induced_connection_gauge_transport_on_all_fourier_modes",
000060 |       "ok": true
000061 |     },
000062 |     {
000063 |       "name": "unchanged_vertical_data_can_keep_distinct_horizontal_phase",
000064 |       "ok": true
000065 |     },
000066 |     {
000067 |       "name": "exact_projection_angle_identity_for_trace_norm_bound",
000068 |       "ok": true
000069 |     },
000070 |     {
000071 |       "name": "monopole_multiplicities_force_divergent_trace_lower_bound",
000072 |       "ok": true
000073 |     },
000074 |     {
000075 |       "name": "zero_spectral_flow_channel_retains_positive_response",
000076 |       "ok": true,
000077 |       "derivative_at_quarter": "2*pi/cosh(2*pi*lam)"
000078 |     }
000079 |   ],
000080 |   "sources": [
000081 |     {
000082 |       "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/check_normal_index_transport.py",
000083 |       "sha256": "c3335673ea0d790002b52f96b039b41a8758deed474b4477cb02c77e6bce81b8"
000084 |     },
000085 |     {
000086 |       "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/NORMAL-INDEX-TRANSPORT.txt",
000087 |       "sha256": "f66b65fb9e23a2fe97c95ad924bd6ee39ea9c182111031392010cf4507620099"
000088 |     },
000089 |     {
000090 |       "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/NORMAL-CLUTCH-TO-SOURCE-PUSHFORWARD.txt",
000091 |       "sha256": "f3ff2fce59e3f39d1be5884f995f454ecd3db184b286b903a63f91938c3236f2"
000092 |     },
000093 |     {
000094 |       "path": "experiments/theory-contracts/original-admissible-source-closure-20261025/TRANSVERSE-INDEX-EM-RESPONSE.txt",
000095 |       "sha256": "1d8758b405532f5f1e31421be142bd2759bddc3e361072581f71945a56402036"
000096 |     }
000097 |   ]
000098 | }