tlc-spec-lean v1

Spec-driven feature work that freezes obligations instead of the plan: one human-reviewed plan with EARS criteria, path, entities, interface and one-way doors, then proof-backed checks, then build, then an independent Verifier. Use when the user says "tlc-spec-lean", "plan feature", "specify feature", "write the checks", "build this plan", or "verify work". Do NOT use for standalone design documents unattached to a feature, architecture decomposition analysis, or work that already has a task list or checklist to execute.

• SKILL.md10,505 bytes
• references/build.md4,978 bytes
• references/checks.md8,596 bytes
• references/memory.md5,433 bytes
• references/plan.md16,444 bytes
• references/verify-screens.md4,276 bytes
• references/verify.md5,428 bytes
• scripts/check_commit.py4,482 bytes
• scripts/check_proofs.py9,992 bytes
• scripts/fixtures/checks.md3,468 bytes
• scripts/fixtures/plan.md5,555 bytes
• scripts/fixtures/proofs.md1,108 bytes
• scripts/fixtures/verification.md387 bytes
• scripts/lean_config.py3,774 bytes
• scripts/lessons.py15,050 bytes
• scripts/mutate.py11,056 bytes
• scripts/runners.py10,548 bytes
• scripts/selftest.py47,748 bytes
• scripts/validate_checks.py19,676 bytes
• scripts/validate_plan.py33,481 bytes
• scripts/validate_verification.py21,317 bytes