Documentation
README
Type Realization
Measure whether one named protocol skill's declared contract is realized during an
actual run. The first argument is required; /realize inquire selects only the
registered inquire cases and graders. An unknown or omitted target fails before setup.
Purpose
A protocol's formal blocks are runtime-normative: TYPES, PHASE TRANSITIONS, TOOL
GROUNDING and the Rules type the prose and carry the operational contract. Static
checks establish that a SKILL.md contains those blocks and enforce a bounded set of
structural invariants. Nothing establishes that a run follows their transitions.
This is the opening of the README. Read the full README on GitHub.