Content
41%Weight 40%Scale 1-5Reviews the quality of instructions and guidance provided to agents. Good implementation is clear, handles edge cases, and produces reliable results.
The contract specifies its control flow with unusual rigor — the sequence, validation preconditions, and closing rules are complete and mutually consistent — but at a cost no skill should pay: ~450 lines of baroque prose and Lean in one file, with the same rules restated several times and no worked example of an actual round. A model could state the invariants but has no template for what to say.
Suggestions
Move the Lean contract to a bundle reference file (e.g. references/contract.md) and keep a concise operational SKILL.md; the FLOW, MORPHISM, PHASE TRANSITIONS, and LOOP sections restate the same control flow — keep one authoritative statement of it.
Add one worked example of a round: a few sample session turns, the candidate lines as actually shown (situation text, cited grounds, rules-out condition, skill and its declared end), and a sample recognizing turn with the resulting hand-off — giving the model a concrete output template instead of only abstract axioms.
Replace some "**Your judgment**" axioms with brief concrete reading heuristics (one-line examples of symptom-in-place-of-stuck utterances, hesitation between skills, or a declined run) so behavior can be extracted without inferring it from the formal spec.
| Dimension | Reasoning | Score |
|---|---|---|
Conciseness | The body runs ~450 lines / ~29KB for a single conversational pattern, restating the same control flow at least five times (the FLOW, MORPHISM, PHASE TRANSITIONS, LOOP, and CONVERGENCE sections plus the Lean code), and it assumes no intelligence on the model's part, specifying every micro-judgment as a named axiom. This matches anchor 1 (severely verbose, heavily padded) rather than 2's 'several unnecessary sections', since nearly the whole document is padding relative to the ~40 lines of actionable content. | 1 / 5 |
Actionability | Concrete guidance exists — the `respond` layout ("each line its candidate's description of the situation, then what it rests on... then the condition that would rule it out, then the skill that takes it") and the per-operation `grounding` table — but it is incomplete: no worked example of a round, no sample phrasing of a candidate line, and core behavior is locked in opaque "**Your judgment**" axioms. Anchor 3 (some concrete guidance, missing key details) fits better than 4, whose guidance is mostly executable. | 3 / 5 |
Workflow Clarity | The sequence is explicit and fully branched (activation check → catalog read once → pass → present round → read turn → close or next pass, in both the FLOW comment and `probe`), with validation checkpoints ("a shown candidate only where that round offered it", the `Owed` precondition before any close) and feedback rules ("a candidate the person said is not theirs is drawn again only on new ground"). It is not 5 because there is no consolidated checklist or error-recovery loop a reader can follow without reconstructing it from dense prose. | 4 / 5 |
Progressive Disclosure | No bundle files exist; the entire ~400-line Lean contract — reference material that clearly belongs in a separate file — is inlined in SKILL.md, so every invocation loads all of it. The body does carry real structure (## Definition, ## Mode Activation, the distinction table, ## Rules, and labeled contract sections), which lifts it above anchor 2's 'minimal structure' to anchor 3's 'content that should be separate is inline'. | 3 / 5 |
Total | 11 / 20 Passed |