feat(kernel): strand contract — cycle 0004#315

Merged

flyingrobots merged 11 commits intomainfrom

cycle/0004-strand-contract

Apr 4, 2026

Commits on Apr 4, 2026

docs(method): pull strand-contract as cycle 0004
flyingrobots
committed
docs(method): apply design review enhancements to cycle 0004
flyingrobots
committed
feat(kernel): add strand types, registry, and contract tests (RED)
flyingrobots
committed
feat(kernel): add STRAND-CONTRACT invariant document (GREEN)
flyingrobots
committed
docs(method): close cycle 0004 — strand contract
flyingrobots
committed
fix(kernel): resolve broken rustdoc links in strand module
flyingrobots
committed
fix(kernel): resolve PR review findings in strand module
flyingrobots
committed
fix(kernel): validate strand invariants on registry insert, fix CI clippy
flyingrobots
committed
fix(test): anchor invariant code grep to prevent substring matches
flyingrobots
committed
fix(kernel): address CodeRabbit review — remove returns Result, iterator API, source-based BaseRef test
flyingrobots
committed
docs(method): update retro and witness for current test state
flyingrobots
committed