Invariants should be well-formed formulas, that is, they should be logical statements (with a truth-value--true, of course), in the predicate calculus or rigorous English. A good invariant is a ...
The guide explains two layers of Claude Code improvement, YAML activation tuning and output checks like word count and sentence rules.