{"cell":"gaiaftcl-cell02","checks":[{"check":"N(λ) == 3","detail":"λ = 1 + 2ω, norm 3","pass":true},{"check":"norm is z·conj(z), ω-part vanishes","detail":"N(3+5ω) = 19 = 9 − 15 + 25","pass":true},{"check":"norm is multiplicative","detail":"N(w1·w2) = 39, N(w1)·N(w2) = 39","pass":true},{"check":"BigInt past Int64 round-trips as a string","detail":"encoded {\"b\":\"0\",\"a\":\"54766551458687142251\"}","pass":true},{"check":"normalized |0> is accepted","detail":"Σ N·3^(kmax−k) = 3^kmax","pass":true},{"check":"unnormalized state REJECTED at the parser","detail":"N(5) = 25 != 1 — would have instantiated an analog state","pass":true},{"check":"negative λ exponent REJECTED","detail":"λ^-1 is outside Z[ω, 1\/λ] as constrained","pass":true},{"check":"unknown gate REJECTED","detail":"closed alphabet: H,S,R,X","pass":true},{"check":"malformed BigInt REJECTED (not defaulted to 0)","detail":"a silent zero here would be an amplitude nobody sent","pass":true},{"check":"q + r + s == 0 by construction","detail":"s is computed, never decoded","pass":true},{"check":"injected s is IGNORED, invariant holds","detail":"decoded q=1 r=1 -> s=-2","pass":true},{"check":"no timestamp on the wire","detail":"causality is the JetStream ordinal alone","pass":true}],"ok":true,"schema":"AFFINE_EISENSTEIN_WIRE_SEAL_V1","why":"Event sourcing means any state a peer can encode is a state this cell will decode and execute. A precondition on the memory path is worthless if init(from:) accepts what the constructor would refuse."}