tessl install tessl-labs/intent-integrity-kit@1.0.2Closing the intent-to-code chasm - specification-driven development with cryptographic verification
Generate a custom checklist for the current feature based on user requirements. Checklists are "Unit Tests for English" - they validate the REQUIREMENTS, not the implementation.
CRITICAL CONCEPT: Checklists are UNIT TESTS FOR REQUIREMENTS WRITING - they validate the quality, clarity, and completeness of requirements in a given domain.
NOT for verification/testing:
FOR requirements quality validation:
$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 exists, parse all principles for checklist generation.
Run prerequisites check:
bash .tessl/tiles/tessl-labs/intent-integrity-kit/skills/iikit-core/scripts/bash/check-prerequisites.sh --jsonParse JSON for FEATURE_DIR and AVAILABLE_DOCS.
Derive up to THREE contextual clarifying questions. They MUST:
$ARGUMENTSQuestion archetypes:
Read from FEATURE_DIR:
spec.md: Feature requirements and scopeplan.md (if exists): Technical details, dependenciestasks.md (if exists): Implementation tasksCreate FEATURE_DIR/checklists/[domain].md:
CORE PRINCIPLE - Test the Requirements, Not the Implementation:
Every checklist item MUST evaluate the REQUIREMENTS THEMSELVES for:
Category Structure - Group items by requirement quality dimensions:
HOW TO WRITE CHECKLIST ITEMS:
WRONG (Testing implementation):
CORRECT (Testing requirements quality):
ITEM STRUCTURE: Each item should follow this pattern:
[Spec SS.Y] when checking existing requirements[Gap] marker when checking for missing requirementsTraceability Requirements:
[Gap], [Ambiguity], [Conflict], [Assumption]ABSOLUTELY PROHIBITED:
REQUIRED PATTERNS:
Read checklist-template.md for the standard structure.
Use template structure:
# [CHECKLIST TYPE] Checklist: [FEATURE NAME]
**Purpose**: [Brief description]
**Created**: [DATE]
**Feature**: [Link to spec.md]
## [Category 1]
- [ ] CHK001 - [Requirement quality question] [Quality Dimension, Spec Reference]
- [ ] CHK002 - [Requirement quality question] [Quality Dimension, Gap]
## [Category 2]
- [ ] CHK003 - [Another requirement quality question] [Quality Dimension]
## Notes
- Check items off as completed: `[x]`
- Items are numbered sequentially (CHK001, CHK002, etc.)If checklist contains [Gap] items, guide the user through resolving them one by one:
Count gaps: Identify all items marked with [Gap]
For each gap, present:
────────────────────────────────────────────────────────────────
Gap 1 of N: [CHK00X]
────────────────────────────────────────────────────────────────
**Missing Requirement:**
[Quote the checklist item]
**Why This Matters:**
[Brief explanation of risk if left unspecified]
**Suggested Options:**
| Option | Description | Implications |
|--------|-------------|--------------|
| A | [First reasonable default] | [Trade-offs] |
| B | [Alternative approach] | [Trade-offs] |
| C | [Another option] | [Trade-offs] |
| Skip | Leave unspecified for now | Will remain as [Gap] |
**Your choice (A/B/C/Skip/Custom):** _Process user response:
spec.md with the new requirement[Gap], continue to nextspec.mdAfter each resolved gap:
[x] (complete)Summary after all gaps processed:
Gap Resolution Complete:
- Resolved: X items (added to spec.md)
- Skipped: Y items (remain as [Gap])
- Total gaps: Z
Spec updated at: specs/NNN-feature/spec.mdSkip gap resolution if: User passes --no-interactive flag or there are no [Gap] items.
Output:
UX Requirements Quality: ux.md
API Requirements Quality: api.md
Security Requirements Quality: security.md
After creating and resolving checklists, determine next step based on constitution:
If TDD is MANDATORY in constitution:
Checklist complete!
Gaps resolved: X (added to spec)
Gaps remaining: Y
Next steps:
- /iikit-04-checklist - (If gaps remain) Continue resolving requirement gaps
- /iikit-05-testify - (REQUIRED by constitution) Generate test specifications
- /iikit-06-tasks - Generate task breakdownIf TDD is optional or not mentioned:
Checklist complete!
Gaps resolved: X (added to spec)
Gaps remaining: Y
Next steps:
- /iikit-04-checklist - (If gaps remain) Continue resolving requirement gaps
- /iikit-05-testify - (Optional) Generate test specifications for TDD
- /iikit-06-tasks - Generate task breakdownNote: /iikit-08-implement requires all checklists to be 100% complete (no [ ] items).