tessl install tessl-labs/intent-integrity-kit@1.0.2Closing the intent-to-code chasm - specification-driven development with cryptographic verification
Execute the implementation plan by processing and executing all tasks defined in tasks.md.
$ARGUMENTSYou MUST consider the user input before proceeding (if not empty).
Before ANY action, load and internalize the project constitution:
Read constitution:
cat CONSTITUTION.md 2>/dev/null || echo "NO_CONSTITUTION"If file doesn't exist:
ERROR: Project constitution not found at CONSTITUTION.md
Cannot proceed without constitution.
Run: /iikit-00-constitutionParse all principles, constraints, and governance rules.
Extract Enforcement Rules: Find all MUST, MUST NOT, SHALL, REQUIRED, NON-NEGOTIABLE statements. These rules are checked BEFORE EVERY FILE WRITE.
Hard Gate Declaration:
CONSTITUTION ENFORCEMENT GATE ACTIVE
Extracted: X enforcement rules
Mode: STRICT - violations HALT implementationRun prerequisites check:
.claude/skills/iikit-core/scripts/bash/check-prerequisites.sh --json --require-tasks --include-tasksParse JSON for FEATURE_DIR and AVAILABLE_DOCS.
If error or missing tasks.md:
ERROR: tasks.md not found in feature directory.
Run: /iikit-06-tasksBEFORE any implementation, perform complete validation sweep:
| Artifact | Required | Check |
|---|---|---|
| constitution.md | YES | Has principles section |
| spec.md | YES | Has Requirements + Success Criteria |
| plan.md | YES | Has Technical Context defined |
| tasks.md | YES | Has at least one task |
| checklists/*.md | YES | At least one checklist |
Report: Artifacts complete, Spec coverage %, Plan alignment, Constitution compliance, Checklist status, Dependencies valid. Output READY or BLOCKED.
FEATURE_DIR/checklists/- [ ]) vs Complete (- [x])tasks.md, plan.mddata-model.md, contracts/, research.md, quickstart.md, tests/test-specs.mdIf tests/test-specs.md exists, perform assertion integrity verification:
Step 1: Run comprehensive integrity check
.claude/skills/iikit-core/scripts/bash/testify-tdd.sh comprehensive-check \
"FEATURE_DIR/tests/test-specs.md" \
".specify/context.json" \
"CONSTITUTION.md"Step 2: Parse the JSON response
{
"overall_status": "PASS|BLOCKED|WARN",
"block_reason": "...",
"tdd_determination": "mandatory|optional|forbidden",
"checks": {
"context_hash": "valid|invalid|missing",
"git_note": "valid|invalid|missing",
"git_diff": "clean|modified|untracked"
}
}Step 3: Act on results
| overall_status | Action |
|---|---|
PASS | Proceed with implementation |
BLOCKED | HALT - Display block_reason, require remediation |
WARN | Display warning, proceed with caution |
BLOCKED remediation:
ASSERTION INTEGRITY CHECK FAILED
Status: BLOCKED
Reason: [block_reason from JSON]
The test assertions have been modified since testify ran.
This violates TDD principles - tests define expected behavior BEFORE implementation.
Remediation options:
1. Revert assertion changes: git checkout -- FEATURE_DIR/tests/test-specs.md
2. Re-run testify to regenerate test-specs: /iikit-05-testify
3. If legitimate spec changes occurred, update spec.md first, then re-run testify
Cannot proceed until assertion integrity is restored.Display circular verification warning:
⚠️ TDD INTEGRITY ACTIVE
Test assertions are locked. During implementation:
- Fix CODE to pass tests, never modify assertions
- If a test seems wrong, re-run /iikit-05-testify from updated spec
- Assertion tampering will block future implementation runsIf TDD is mandatory in constitution but test-specs.md missing → ERROR:
ERROR: TDD is MANDATORY per constitution but tests/test-specs.md not found.
Run: /iikit-05-testify
Cannot proceed without test specifications.Tests MUST be run, not just written. Writing tests without executing them defeats TDD.
Mandatory rules:
What counts as "tests run":
Blocking conditions:
[x] without actual execution outputTest execution commands by stack:
| Stack | Command |
|---|---|
| Node/TypeScript | npm test or npx vitest or npx jest |
| Python | pytest or python -m pytest |
| Go | go test ./... |
| Rust | cargo test |
| E2E (Playwright) | npx playwright test |
| E2E (Cypress) | npx cypress run |
Deterministic verification (REQUIRED):
After running tests, verify execution with:
Unix/macOS/Linux:
.claude/skills/iikit-core/scripts/bash/verify-test-execution.sh verify \
"FEATURE_DIR/tests/test-specs.md" \
"$(cat test-output.log)"Windows (PowerShell):
pwsh .claude/skills/iikit-core/scripts/powershell/verify-test-execution.ps1 verify `
"FEATURE_DIR/tests/test-specs.md" `
(Get-Content test-output.log -Raw)The script returns JSON with status:
PASS - All tests ran and passedTESTS_FAILING - Tests ran but some failed → fix codeINCOMPLETE - Fewer tests ran than expected in test-specs.mdNO_TESTS_RUN - Could not detect test execution → tests weren't runBlock on any status other than PASS.
If Tessl installed, use tiles for library documentation. See tessl-integration.md for detailed patterns.
Key rule: Before implementing code using a tile's library, query mcp__tessl__query_library_docs.
Scaffolding in existing directories: When using project scaffolding tools (e.g., create-next-app, create-vite, cargo init, go mod init) in a directory with existing intent-integrity-kit artifacts, use force/overwrite flags to prevent conflicts:
npx create-next-app . --forcenpm create vite . -- --forcecargo init --name project (works in non-empty dirs)The intent-integrity-kit files (.specify/, .claude/, AGENTS.md, etc.) won't be overwritten by these tools.
Create/verify ignore files based on tech stack. See ignore-patterns.md for patterns by technology.
Extract from tasks.md:
Execution rules:
[x] only after verificationBefore writing ANY file:
[x] in tasks.mdPre-completion checklist:
[x] in tasks.mdCANNOT declare completion if:
| Condition | Response |
|---|---|
| Tasks file missing | STOP: Run /iikit-06-tasks |
| Plan file missing | STOP: Run /iikit-03-plan |
| Constitution violation | STOP, explain, suggest alternative |
| Checklist incomplete | Ask user, STOP if declined |
| Task fails | Report error, halt sequential |
| Tests written but not run | STOP: Execute tests before marking complete |
| Tests failing | STOP: Fix code (not tests), re-run until green |
Implementation complete! Next steps:
- Run tests to verify functionality
- Commit and push changes
- /iikit-09-taskstoissues - (Optional) Export tasks to GitHub Issues