Formal Card-Game Systems
r1 qualified Selected asymmetric formal reference: 2,502 contracts across nine families; bounded evidence and three separate teaching models Read the evidence scope

TraversalIdentityVariantMC

Complete selected asymmetric reference profile. Definitions and supplied fixtures are distinct from the three teaching specializations; review and qualification are stated in the bound evidence and release.

Package reference-profile, input revision 2. Exact prepared source; CC0 1.0.

This is a definition inventory. Start with the learning chapters for the contract and its assumptions.

DefectBodyTraversalIdentityVariant · operator

reference-profile · input revision 2 · CC0 1.0

DefectBodyTraversalIdentityVariant(edge,from,to) ==
    edge.traversalId # 0 /\ edge.standard /\ edge.from = from /\ edge.to = to

Exact module download · Source bundle and reproduction instructions