Strange-loop skills

Self-reference needs a receipt.

Gödel, Escher, and Bach are not decorations. They are an audit protocol for agent skills.

GProof boundary
EVisible levels
BRepeatable variation
Gödel

Put proof outside the claim.

A skill cannot verify itself by saying "verified." It needs a test, source, command, or live receipt.

ClaimShip safely
BoundaryProse is not proof
GateRun the verifier
Escher

Draw the level crossing.

Intent becomes tool authority, artifacts, search, tests, and public routes. Hide one level and the loop breaks.

Intent
Skill package
Tool authority
Artifact receipt
Bach

Repeat the theme with variation.

Description, SKILL.md, references, scripts, assets, and evals carry the same workflow in different voices.

description
SKILL.md
scripts + references
eval + receipt
Packet

Stop the loop at an artifact.

Write the skill, add one external gate, expose the source layer, and hand the next agent a runnable packet.

1Skillactivation rule
2Gateexternal verifier
3Receipthandoff proof