Established in scope
Analytic monodromy and mathematical unitarizability were already closed
In the question: Shared explanation of c3, P1 and P2 with recovered premise closures
R3 and mathematical unitarizability of the supplied connection are closed; actual physical module/metric/frame identification is distinct.
Read the exact result, assumptions and evidence
Result
The recovered September t=z^4 proof gives triangle orders(4,3,2), original A4 puncture image and extended S4 for the actual A0* connection. Finiteness and the explicit unitary signed-permutation representation give a positive invariant form. Reuse finding:recovered-september-c4-triangle-closes-original-a0star-monodromy.
Required assumptions
- P1/P2 remain declared starting axioms
This program checks which additional source, state, event, and observable structures follow from accepted TFPT principles; it does not revoke or replace P1/P2.
- Do not identify source types
Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.
- Model results remain conditional
Calculations in a fixed E8 net, quotient, family packet, or readout apply only under their stated inputs and do not select those inputs.
Original evidence
- 004-subsection-auch-die-skalen-besitzen-einen-gemeinsamen-va.tex lines 203–276
Source checked at this snapshot
Original location and fingerprint
documents/tfpt_explorer--docs--session-2026-09-28--TFPT_Gesamtsynthese_2026-09-28/sections/004-subsection-auch-die-skalen-besitzen-einen-gemeinsamen-va.tex
574058876ebe23d693a9fce061f68da6fdec63419af78243ac9d457d7858f74b
- C4-DESCENT-FINITE-MONODROMY.txt lines 10–60
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/C4-DESCENT-FINITE-MONODROMY.txt
b707e2d720a6dad3a74115b62f16d76077dfda3fe0d3eb8f0f8f76edaf5d7bd5
finding:shared-origin-reuses-proved-analytic-monodromy-and-unitarizability