A registered result in its source context

GATE.METRIC.08

Original ledger classification: Identity [I] (exact finite Frobenius/Q-system axioms + isotropy) + Physical [P] (identification)

Original claim text

THE GLUE Q-SYSTEM (the index-4 mu4 extension exists as an explicit Longo Q-system; the R2 gate sharpens from 'find a Q-system' to 'match the constructed one'): (1) Q-SYSTEM AXIOMS [I] on A = C[Z4] (the glue group algebra; multiplication delta_a x delta_b -> delta_{a+b}, unit delta_0): associativity, unit law, FROBENIUS (m x 1)(1 x m*) = m* m = (1 x m)(m* x 1), and SPECIALNESS m m* = |Z4| id all hold exactly => a special C* Frobenius algebra = a Longo Q-system with dim theta = 4: JONES INDEX [B:A] = 4 = |mu_4| - exactly the GATE.METRIC.06 Carrier Index Lemma value; KLM bookkeeping mu_carrier = 16 = 4^2 x mu_E8 re-verified. (2) LOCALITY = ISOTROPY [I] (GATE.METRIC.07 re-derived in Q-system language): on the Lagrangian glue <(1,1)> the discriminant form q = (5x^2+3y^2)/8 gives q(k(1,1)) = k^2 = (0,1,4,9), all integers - the Q-system braiding obstruction vanishes (local/bosonic extension); the two Lagrangian glues = the sheet pair are the only maximal isotropic choices. (3) THE HALFWAY SUB-Q-SYSTEM [I]: {0,2} < Z4 closes multiplicatively => the unique intermediate Q-system C[Z2] = the SO(16)_1 step of the tower (GATE.METRIC.07/CAR.QFREE.01), index factorisation 4 = 2 x 2. (4) R2 SHARPENED [P] (recorded, not claimed): the gate's algebraic object now EXISTS explicitly; what remains is the operator-algebraic IDENTIFICATION 'the seam-Calderon inclusion of the 16-Majorana net realises THIS Q-system' - matching two constructed objects, not a search; the three loads (metric + carrier + QBL, SYNTH.INVENTORY.02) hang on this one identification; gate typing [P]/[A] unchanged [2026-08-03 LIII: the index side is now MEASURED on the CAR ladder (v726, 57/57, GNET.PPINDEX.01): the mu4-average expectation has optimal Pimsner-Popa constant EXACTLY 1/4 and Watatani index EXACTLY 4 via an explicit quasi-basis with FORCED weights, with mu4 DERIVED from the clock (not inserted) and the Ramond sector healed state-preservingly by the v679 Klein dressing; the remaining half of the gate is the IDENTIFICATION of this ladder Q-system with the constructed GATE.METRIC.08 object -- registered as the open contract half of GNET.RAMIFIED.01 (kills: Frobenius mismatch, index != 4 on the state-preserving ladder, dressing incompatible with the sigma descent). No status move.] [2026-08-05 LXII (v779): the finite precursor of the R2 identification is measured -- the coherent COMMUTING system of index-4 expectations along the Haar tower (restriction coherence, [E_I, E_J] = 0, joint idempotency, all exact) is the finite half of the Longo Q-system identification, and the exact dim law d_c(l) = 4^(l-1) + 2^(l-1) cos(pi c/2) makes the 4-element C[Z4] group-layer quasi-basis obstruction exactly 2^-l at every finite level (d_0 - d_2 = 2^l > 0), restored only asymptotically -- the crossed-product structure is exactly asymptotic; d_2(1) = 0 IS the l = 1 index-3 anomaly. No status move.]

Original classification detail

Identity: C[Z4] is a special Frobenius algebra (Longo Q-system) of index 4 = |mu4|; locality = isotropy; halfway C[Z2] = SO(16)_1; R2 = identification of constructed objects

Dependencies as recorded

GATE.METRIC.06; GATE.METRIC.07; CAR.QFREE.01; SYNTH.INVENTORY.02 (R2)