TcLaws

The property laws of the type-and-row core, run by prism test.

These laws state the type-and-row core’s contract executably: rigid substitution, zonking idempotence, unification order-independence, generalization’s ambient-capture refusal, and deterministic row normalization. Generators stay shallow (types of depth three, labels from a fixed pool) because the laws are structural, not adversarial.