the mixed interface has an exact shape

Exact assertion

With the equal-weight vertex pairing the interface is positive definite, has determinant nine and discriminant group \(\mathbb Z_9\). It carries a natural permutation-invariant cubic, but the product obtained by projecting coordinate multiplication back to the zero-sum space is not Jordan. The result is therefore a definite transfer lattice, not an octonion, Leech, \(E_6\) or \(E_8\) identification and not a physical A8 symmetry.

What this commits us to

The stated conclusion follows inside the declared model. Reusing it elsewhere requires carrying the same object definitions, assumptions and typing.

Logical anatomy

Verification route

1. Recover the declared objects and assumptions from the controlling documents.
2. Check the calculation, construction, obstruction or stopping rule on those same objects.
3. Compare the source conclusion with the exact assertion above; do not strengthen its verbs or enlarge its domain.
4. Apply the status rule and retain every named external dependency.

What would move or defeat this claim

Locate a mismatched definition, an omitted assumption, a failed certificate step or a counterexample on the declared carrier.

Source map

Controlling documents

• the admissibility frontier current synthesisOpen controlling document →
• admissibility 07 zone known unknown frontiersOpen controlling document →
• admissibility 25 current research frontier crosswalkOpen controlling document →
• admissibility 58 casimir spectral coverage and distance gateOpen controlling document →
• admissibility 59 four mode quotient scar bench and tolerance closureOpen controlling document →
• frontier experiment atlas v1Open controlling document →
• monster-fermionization-bridgeOpen controlling document →
• period-matrix-jordan-boundary-gateOpen controlling document →
• three-mode-loop-seam-preflightOpen controlling document →
• modular-sign-detector-reassignmentOpen controlling document →
• metaplectic-phase-candidateOpen controlling document →
• metaplectic-t1-s1-boundaryOpen controlling document →
• frontier wave7 73 relative metaplectic phase boundaryOpen controlling document →
• frontier wave7 107 boundary domain admissibility bridgeOpen controlling document →
• frontier wave7 39 mixed interface resolutionOpen controlling document →
• frontier wave7 39 programme a2 double centralizer and c2 no goOpen controlling document →
• frontier wave7 40 claimipedia operator exhaustion and sp4 gateOpen controlling document →
• frontier wave7 41 two cross carrier vertical slicesOpen controlling document →
• frontier wave7 42 instrumented admissibility atlasOpen controlling document →
• frontier wave7 43 sourcery ale algebraOpen controlling document →
• frontier wave7 44 refinement stability of the mixed interfaceOpen controlling document →
• frontier wave7 47 kenotic enriched loop reopening templateOpen controlling document →
• frontier wave7 48 sign holonomy physical detector bridgeOpen controlling document →
• frontier wave7 49 kenotic cover h0 signature and h1 no goOpen controlling document →
• frontier wave7 50 a1 a2 parabolic kenotic envelopeOpen controlling document →
• frontier wave7 51 three port wick kenosis bridgeOpen controlling document →
• frontier wave7 52 rectangular mediator candidate auditOpen controlling document →
• frontier wave7 53 bifundamental retyping and selection gateOpen controlling document →
• frontier wave7 54 metric selection on the bifundamental open orbitOpen controlling document →
• frontier wave7 55 channel selector atlas and entropy guardrailOpen controlling document →
• frontier wave7 56 gram disk selector discriminatorOpen controlling document →
• frontier wave7 58 grassmannian globalization of the kenotic channelOpen controlling document →
• frontier wave7 59 two gram selector collisionOpen controlling document →
• frontier wave7 60 bifundamental stabilizers and quartic selectionOpen controlling document →
• frontier wave7 61 spin23 as an involutive reduction of the a4 envelopeOpen controlling document →
• frontier wave7 62 endpoint identification hom spacesOpen controlling document →
• frontier wave7 63 gram disk dynamics and causal globalizationOpen controlling document →
• frontier wave7 64 grassmannian spin23 channel terminal synthesisOpen controlling document →
• frontier wave7 65 drive to record am fm benchmarkOpen controlling document →
• frontier wave7 66 selector induced signature23 formOpen controlling document →
• frontier wave7 67 q transport and reverse channel forkOpen controlling document →
• frontier wave7 68 selector split fingerprint and channel breaking gateOpen controlling document →
• frontier wave7 69 q provenance terminal synthesisOpen controlling document →
• frontier wave7 70 g2 response folding no goOpen controlling document →
• frontier wave7 71 source restricted logical generator boundaryOpen controlling document →
• frontier complexity cards v1Open controlling document →
• the weighted furey root is a flat horizontal double cover of its projector circle with central minus identity holonomyOpen controlling document →
• a local conservative real interface network realizes the nested c12 transport as antiperiodic six cycle holonomyOpen controlling document →
• admissibility 99 three scale passive diffusion pushforwardOpen controlling document →
• admissibility 100 local derivative hydrodynamic frame invarianceOpen controlling document →
• admissibility 101 gaussian schwinger keldysh kms completionOpen controlling document →
• admissibility 102 nonlinear stochastic frame and noise induced driftOpen controlling document →
• admissibility 103 causal stable hydrodynamic relaxation wedgeOpen controlling document →
• admissibility 104 relaxation auxiliary gaussian kms completionOpen controlling document →
• admissibility 105 fixed index defect information no goOpen controlling document →
• admissibility 106 reflection resolved defect transportOpen controlling document →
• admissibility 107 global nonlinear detector injectivityOpen controlling document →
• admissibility 108 d4 shared action operator boundaryOpen controlling document →
• admissibility 109 four mode sk action to recordOpen controlling document →
• admissibility 110 relation emulator readiness reconciliationOpen controlling document →
• admissibility 119 the field closes continuity but screening needs its own carrierOpen controlling document →
• admissibility 120 a unitary acoustic rail replaces the hand shaped capture bathOpen controlling document →
• admissibility 121 the capture matrix element is a scattering density not a two level numberOpen controlling document →
• admissibility 122 a normalized packet turns the overlap density into a capture probabilityOpen controlling document →