Second proof of the doctrine written in #418. Slim aidd-context:10-learn, where the router is the heaviest file, and check the contract catches a failure the split rule alone would miss.
Where the mass is
153 lines across 6 files. SKILL.md alone is 40 of them — a quarter of the skill — for four actions averaging 23 lines each. The router is denser than what it routes to.
Nothing is oversized here, so no file ceiling would ever flag it. R4 (SKILL.md <= 500 lines) passes trivially. This is a router-discipline failure: content that belongs in an action sits in the router, and the router is always read. That is why the contract must constrain the always-on surface, not file size — and learn is the case that proves it.
Scope
Acceptance criteria
Second proof of the doctrine written in #418. Slim
aidd-context:10-learn, where the router is the heaviest file, and check the contract catches a failure the split rule alone would miss.Where the mass is
153 lines across 6 files.
SKILL.mdalone is 40 of them — a quarter of the skill — for four actions averaging 23 lines each. The router is denser than what it routes to.Nothing is oversized here, so no file ceiling would ever flag it. R4 (
SKILL.md <= 500 lines) passes trivially. This is a router-discipline failure: content that belongs in an action sits in the router, and the router is always read. That is why the contract must constrain the always-on surface, not file size — and learn is the case that proves it.Scope
Acceptance criteria