5.3. Ambiguity and static certificates🔗

The grammar class permits ambiguous alternatives and token splits. The runtime scanner preserves the archived reference decoder's source order and chooses the same first complete parse, so recognition alone does not imply that captures or values are grammar-determined.

Triptych.GrammarCaptureFunctional states the needed semantic property. A conservative Triptych.Grammar.staticUnique checker proves it for deterministic fragments such as Decimal. When certification succeeds, Triptych emits premise-free decode/render, view/render, value-coherence, and relational-parser theorems.

Structural derivation membership is still generated when the conservative checker cannot certify a grammar. In that case, exact first-decode roundtrip retains an explicit capture-functionality premise.