TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/FULL-SOURCE-REGULATOR.json
Original file SHA-256: 6cfd1b8664627bd3cd8e036c1b542383fc66ca98997101b554a0f294fe4b0f90
Inclusive original lines: 1-102
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 |   "contract": "ORIGINAL-FULL-SOURCE-REGULATOR-20261030",
000003 |   "all_passed": true,
000004 |   "checks": {
000005 |     "generic_even_density_all8_coefficients_retained": true,
000006 |     "ordered_Grassmann_direct_integral_equals_source_differential": true,
000007 |     "entire_quadratic_regulator_inverts_exactly": true,
000008 |     "two_regulator_stages_equal_sum": true,
000009 |     "full_source_linear_RG_equation": true,
000010 |     "normalized_source_flow_keeps_vacuum_score": true,
000011 |     "vacuum_log_flow_kept": true,
000012 |     "normalization_requires_denominator": true,
000013 |     "discarding_exterior_source_before_unregulation_is_not_generic": true,
000014 |     "counterexample_starts_with_RP_gaussian": true,
000015 |     "counterexample_regulator_PSD": true,
000016 |     "counterexample_structural_commutation": true,
000017 |     "counterexample_reflection_covariance": true,
000018 |     "counterexample_RP_cross_minus_one_over16": true,
000019 |     "good_negative_cross_regulator_preserves_RP": true,
000020 |     "noncommuting_block_case": true,
000021 |     "good_full_block_PSD": true,
000022 |     "good_reflected_cross_covariance_PSD": true
000023 |   },
000024 |   "Grassmann_even_density_dimension": 8,
000025 |   "Grassmann_quadratic_regulator_parameters": 6,
000026 |   "generic_Z0_coefficients": {
000027 |     "15": "c0",
000028 |     "12": "-c1",
000029 |     "10": "c2",
000030 |     "9": "-c3",
000031 |     "6": "-c4",
000032 |     "5": "c5",
000033 |     "3": "-c6",
000034 |     "0": "c7"
000035 |   },
000036 |   "generic_regulated_scalar": "-a0*c6 + a1*c5 - a2*c3 - a3*c4 + a4*c2 - a5*c1 + c0*(a0*a5 - a1*a4 + a2*a3) + c7",
000037 |   "counterexample": {
000038 |     "C": [
000039 |       [
000040 |         "1",
000041 |         "1/2"
000042 |       ],
000043 |       [
000044 |         "1/2",
000045 |         "1"
000046 |       ]
000047 |     ],
000048 |     "R": [
000049 |       [
000050 |         "1",
000051 |         "1"
000052 |       ],
000053 |       [
000054 |         "1",
000055 |         "1"
000056 |       ]
000057 |     ],
000058 |     "P_adm": [
000059 |       [
000060 |         "1",
000061 |         "0"
000062 |       ],
000063 |       [
000064 |         "0",
000065 |         "1"
000066 |       ]
000067 |     ],
000068 |     "regulated_C": [
000069 |       [
000070 |         "7/16",
000071 |         "-1/16"
000072 |       ],
000073 |       [
000074 |         "-1/16",
000075 |         "7/16"
000076 |       ]
000077 |     ]
000078 |   },
000079 |   "good_regulator": {
000080 |     "R": [
000081 |       [
000082 |         "2",
000083 |         "-1"
000084 |       ],
000085 |       [
000086 |         "-1",
000087 |         "2"
000088 |       ]
000089 |     ],
000090 |     "regulated_C": [
000091 |       [
000092 |         "2/5",
000093 |         "1/5"
000094 |       ],
000095 |       [
000096 |         "1/5",
000097 |         "2/5"
000098 |       ]
000099 |     ]
000100 |   },
000101 |   "scope": "Generic finite exterior-algebra identities and finite tests of the analytic regulator cone. No original TFPT measure chosen; native68 states are not configuration fields. Whole RP/continuum/source origin not claimed."
000102 | }