tlc-implement v3

Implements work already planned - a plan.md from tlc-plan, or a small ticket - by freezing it into checks with proofs, building, and proving every check with a script and an independent Verifier before declaring done. Use when the user says "implement this plan", "build this ticket", "implement this spec", "write the checks", "verify work", or "tlc-implement". Do NOT use when nobody has decided what to build, or to plan a feature that needs one (that is tlc-plan).

• SKILL.md10,081 bytes
• references/build.md4,978 bytes
• references/checks.md8,652 bytes
• references/memory.md5,407 bytes
• references/verify-screens.md4,276 bytes
• references/verify.md5,428 bytes
• scripts/check_commit.py4,482 bytes
• scripts/check_proofs.py9,821 bytes
• scripts/fixtures/checks.md3,468 bytes
• scripts/fixtures/plan.md5,701 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.py10,987 bytes
• scripts/runners.py10,491 bytes
• scripts/selftest.py47,748 bytes
• scripts/validate_checks.py19,676 bytes
• scripts/validate_verification.py21,317 bytes