English
Appearance
Property System expands Oxpecker beyond simple invariants.
Properties are the review contracts that state what an agent-generated change must preserve.