Skill-file drift found while auditing docs (skill drift can't be fixed by a repo issue — filing here per the audit's convention).
~/.claude/skills/aot-differential/SKILL.md:27 states:
bash ouroboros/test/run.sh — ... ANY frontend change must keep this green (32 programs + the byte-exact bootstrap fixed point).
Current truth: ls ouroboros/test/programs/*.eigs | wc -l = 57 programs (the n counter in test/run.sh increments once per file in that same glob, unconditionally). "32" is stale.
No other skill-version claims found stale in this pass:
- eigenos-kernel-engineer/SKILL.md's milestone narrative already lists M13-1/M13-2 as done (matches EigenOS ROADMAP.md/README.md).
- aot-differential's EIGS_REF guidance deliberately avoids naming a pin version in prose (reads it from ouroboros/.devcontainer/Dockerfile instead, currently v0.41.0) — by design, not drift.
- write-eigenscript's "~255 builtins" / "~75 modules" are approximations (actual: 252 builtins, 76 lib modules) — within stated tolerance.
Fix: update the aot-differential SKILL.md program count to 57, or reword to avoid pinning an exact number that will drift again as test/programs/ grows.
Skill-file drift found while auditing docs (skill drift can't be fixed by a repo issue — filing here per the audit's convention).
~/.claude/skills/aot-differential/SKILL.md:27 states:
Current truth:
ls ouroboros/test/programs/*.eigs | wc -l= 57 programs (thencounter intest/run.shincrements once per file in that same glob, unconditionally). "32" is stale.No other skill-version claims found stale in this pass:
Fix: update the aot-differential SKILL.md program count to 57, or reword to avoid pinning an exact number that will drift again as test/programs/ grows.