TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/historical-dynamics-source-recovery-20261103/originale-torsion-wick-integration.json
Original file SHA-256: c08f42e93e59696add8f7710c33ab525c3b8b5df4c130236148cc7e58cc51f8c
Inclusive original lines: 1-110
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 |   "result": "P25-ORIGINAL-AUXILIARY-WICK-INTEGRATION-20261104",
000003 |   "checks": {
000004 |     "Lorentz_chirality_is_negative_tangent_first_Euclidean": true,
000005 |     "Wick_contorsion_Hodge_000": true,
000006 |     "Wick_contorsion_Hodge_001": true,
000007 |     "Wick_contorsion_Hodge_002": true,
000008 |     "Wick_contorsion_Hodge_003": true,
000009 |     "Wick_contorsion_Hodge_010": true,
000010 |     "Wick_contorsion_Hodge_011": true,
000011 |     "Wick_contorsion_Hodge_012": true,
000012 |     "Wick_contorsion_Hodge_013": true,
000013 |     "Wick_contorsion_Hodge_020": true,
000014 |     "Wick_contorsion_Hodge_021": true,
000015 |     "Wick_contorsion_Hodge_022": true,
000016 |     "Wick_contorsion_Hodge_023": true,
000017 |     "Wick_contorsion_Hodge_030": true,
000018 |     "Wick_contorsion_Hodge_031": true,
000019 |     "Wick_contorsion_Hodge_032": true,
000020 |     "Wick_contorsion_Hodge_033": true,
000021 |     "Wick_contorsion_Hodge_100": true,
000022 |     "Wick_contorsion_Hodge_101": true,
000023 |     "Wick_contorsion_Hodge_102": true,
000024 |     "Wick_contorsion_Hodge_103": true,
000025 |     "Wick_contorsion_Hodge_110": true,
000026 |     "Wick_contorsion_Hodge_111": true,
000027 |     "Wick_contorsion_Hodge_112": true,
000028 |     "Wick_contorsion_Hodge_113": true,
000029 |     "Wick_contorsion_Hodge_120": true,
000030 |     "Wick_contorsion_Hodge_121": true,
000031 |     "Wick_contorsion_Hodge_122": true,
000032 |     "Wick_contorsion_Hodge_123": true,
000033 |     "Wick_contorsion_Hodge_130": true,
000034 |     "Wick_contorsion_Hodge_131": true,
000035 |     "Wick_contorsion_Hodge_132": true,
000036 |     "Wick_contorsion_Hodge_133": true,
000037 |     "Wick_contorsion_Hodge_200": true,
000038 |     "Wick_contorsion_Hodge_201": true,
000039 |     "Wick_contorsion_Hodge_202": true,
000040 |     "Wick_contorsion_Hodge_203": true,
000041 |     "Wick_contorsion_Hodge_210": true,
000042 |     "Wick_contorsion_Hodge_211": true,
000043 |     "Wick_contorsion_Hodge_212": true,
000044 |     "Wick_contorsion_Hodge_213": true,
000045 |     "Wick_contorsion_Hodge_220": true,
000046 |     "Wick_contorsion_Hodge_221": true,
000047 |     "Wick_contorsion_Hodge_222": true,
000048 |     "Wick_contorsion_Hodge_223": true,
000049 |     "Wick_contorsion_Hodge_230": true,
000050 |     "Wick_contorsion_Hodge_231": true,
000051 |     "Wick_contorsion_Hodge_232": true,
000052 |     "Wick_contorsion_Hodge_233": true,
000053 |     "Wick_contorsion_Hodge_300": true,
000054 |     "Wick_contorsion_Hodge_301": true,
000055 |     "Wick_contorsion_Hodge_302": true,
000056 |     "Wick_contorsion_Hodge_303": true,
000057 |     "Wick_contorsion_Hodge_310": true,
000058 |     "Wick_contorsion_Hodge_311": true,
000059 |     "Wick_contorsion_Hodge_312": true,
000060 |     "Wick_contorsion_Hodge_313": true,
000061 |     "Wick_contorsion_Hodge_320": true,
000062 |     "Wick_contorsion_Hodge_321": true,
000063 |     "Wick_contorsion_Hodge_322": true,
000064 |     "Wick_contorsion_Hodge_323": true,
000065 |     "Wick_contorsion_Hodge_330": true,
000066 |     "Wick_contorsion_Hodge_331": true,
000067 |     "Wick_contorsion_Hodge_332": true,
000068 |     "Wick_contorsion_Hodge_333": true,
000069 |     "actual_Lorentz_spinlift": true,
000070 |     "actual_Euclidean_traditional_spinlift": true,
000071 |     "fermion_Lagrangian_Wick_sign": true,
000072 |     "Lorentz_axial_square_continues_to_Euclidean_square": true,
000073 |     "derivative_axial_mixing_Wick": true,
000074 |     "constant_fermion_rotation_mass": true,
000075 |     "constant_fermion_rotation_principal_0": true,
000076 |     "constant_fermion_rotation_torsion_0": true,
000077 |     "constant_fermion_rotation_principal_1": true,
000078 |     "constant_fermion_rotation_torsion_1": true,
000079 |     "constant_fermion_rotation_principal_2": true,
000080 |     "constant_fermion_rotation_torsion_2": true,
000081 |     "constant_fermion_rotation_principal_3": true,
000082 |     "constant_fermion_rotation_torsion_3": true,
000083 |     "exact_auxiliary_square_with_current": true,
000084 |     "exact_effective_kinetic_current_contact": true,
000085 |     "original_physical_phase_F_squared": true,
000086 |     "original_four_fermion_contact": true,
000087 |     "imaginary_Euclidean_bosonic_saddle": true,
000088 |     "original_auxiliary_insertion_contact": true,
000089 |     "effective_E_is_one_fixed_square": true,
000090 |     "effective_L_is_one_fixed_square": true
000091 |   },
000092 |   "passed": 87,
000093 |   "original_constructor_sha256": "6acaa9bc2c7a157a30730d7d6de75e944266afbf69b18a31c6fba654b8bd1c04",
000094 |   "Euclidean_orientation": "epsilon1234=+1; g5E=g1g2g3g4; g5L=-g5E",
000095 |   "metric_lowered_contorsion": "K_E=-pullback(K_L), because g_L_cont=-g_E",
000096 |   "component_map": "S_E4=S_L^0; S_Ei=-i S_L^i",
000097 |   "parent_E": "A S_E^2 - S_E.(iB da+c0 J5E)",
000098 |   "integral_per_four_vector_cell": "(pi/A)^2 exp[(ell+iB da+c0 J5E)^2/(4A)]",
000099 |   "effective_E": "B^2/(4A)(da)^2-i B c0/(2A) da.J5E-c0^2/(4A) J5E^2",
000100 |   "effective_E_single_square": "Ftheta^2/2 (dtheta-i J5E/(2 Ftheta^2))^2",
000101 |   "effective_L_single_square": "Ftheta^2/2 (dtheta-J5L/(2 Ftheta^2))^2",
000102 |   "physical_phase": "theta=2 c a; c=B c0/(2A)",
000103 |   "Ftheta_squared": "2/(3 kappa_phys^2)",
000104 |   "bosonic_saddle": "S_E*= (2i/3) dtheta, not a real geometric gradient",
000105 |   "saddle_is_full_functional_identity": false,
000106 |   "actual_full_Phi_blocks_replaced": false,
000107 |   "full_primitive_TFPT_caller_identified": false,
000108 |   "physical_Htrpos_or_spectrum_claimed": false,
000109 |   "scope": "The supplied original P25 local auxiliary polynomial and minimal spin coupling in its already supplied flat 4D chart. Wick/gamma convention derived explicitly. Exact finite-regulator Gaussian with insertions and determinant retained. Real Euclidean auxiliary contour gives the analytic Feynman Gaussian continuation of this parent; no global curved TFPT contour, complete measure, boundary or primitive source equality is inferred."
000110 | }