intentdna 1.7.5 → 1.8.1

package/dist/templates/flutter-rewrite.dna.yaml

@@ -5,6 +5,26 @@
 version: "0.1.0"
 id: template_flutter_rewrite
 name: Flutter Rewrite (Unified)
+purpose: Govern a behavior-preserving Flutter v1 to v2 rewrite with evidence, review, and verification gates.
+maturity: adopted
+fit:
+  - Flutter module rewrites that must preserve v1 behavior.
+  - Dogfood-backed work needing behavior locks, diagnosis, fixes, and verification.
+not_for:
+  - Feature redesign or product improvement during migration.
+  - Generic non-Flutter refactors without v1/v2 behavior equivalence constraints.
+inputs:
+  - v1 source path
+  - v2 source path
+  - behavior documents
+  - diagnosis and progress evidence
+outputs:
+  - governed rewrite workflow
+  - behavior lock artifacts
+  - verification and review evidence
+lineage:
+  source: dogfood
+  reference: docs/archive/2026H1/references/flutter-rewrite-workflow-asset.md
 type: project
 namespace: frw
 
@@ -132,9 +152,11 @@ context_files:
     analysis_reviewer:
       - "docs/behavior/{{ARGUMENTS}}.md"
       - ".dna/specs/diagnosis-{{ARGUMENTS}}.md"
+      - ".dna/specs/diagnosis-{{ARGUMENTS}}.contract.json"
     surgeon:
       - ".dna/specs/diagnosis-{{ARGUMENTS}}.md"
       - ".dna/specs/diagnosis-{{ARGUMENTS}}.review.json"
+      - ".dna/specs/diagnosis-{{ARGUMENTS}}.contract.json"
     fix_reviewer:
       - "docs/behavior/{{ARGUMENTS}}.md"
       - ".dna/specs/diagnosis-{{ARGUMENTS}}.md"
@@ -143,6 +165,8 @@ context_files:
       - ".dna/specs/diagnosis-{{ARGUMENTS}}.md"
 
 verifier_policy:
+  allow_commands:
+    - "node -e \"const fs=require('node:fs'); const crypto=require('node:crypto'); const moduleName=process.env.ARGUMENTS || '$ARGUMENTS'; const path='.dna/specs/diagnosis-'+moduleName+'.contract.json'; const allowed=['BUG','UNIMPLEMENTED','INFRA','REMOVED','TEST_BUG']; const fail=(m)=>{throw new Error(m)}; const data=JSON.parse(fs.readFileSync(path,'utf8')); const same=(a,b)=>Array.isArray(a)&&a.length===b.length&&a.every((v,i)=>v===b[i]); if(data.contract_version!=='diagnosis-contract/v1')fail('contract_version'); if(!same(data.allowed_kinds,allowed))fail('allowed_kinds'); const observed=Array.isArray(data.observed_failures)?data.observed_failures:fail('observed_failures'); const work=Array.isArray(data.work_items)?data.work_items:fail('work_items'); if(observed.length===0)fail('empty_observed_failures'); if(work.length===0)fail('empty_work_items'); const ids=new Set(observed.map(x=>x&&x.id).filter(Boolean)); if(ids.size!==observed.length)fail('observed_failure_ids'); for(const f of observed){ if(!Array.isArray(f.evidence_paths)||f.evidence_paths.length===0)fail('observed_failure_evidence'); if(f.kind!==undefined)fail('observed_failure_kind_forbidden'); } const mapped=new Set(); for(const item of work){ if(!allowed.includes(item.kind))fail('invalid_kind'); if(item.kind==='PLACEHOLDER_CONTRACT')fail('placeholder_kind'); if(!Array.isArray(item.observed_failure_ids)||item.observed_failure_ids.length===0)fail('work_item_observed_failure_ids'); if(!Array.isArray(item.evidence_paths)||item.evidence_paths.length===0)fail('work_item_evidence'); for(const id of item.observed_failure_ids){ if(!ids.has(id))fail('unknown_observed_failure_id'); mapped.add(id); } } if(mapped.size!==ids.size)fail('unmapped_observed_failures'); const counts=data.baseline&&data.baseline.counts; if(!data.baseline||!data.baseline.source_path||!counts)fail('baseline'); const total=(counts.failed||0)+(counts.skipped||0)+(counts.hung||0); if(total!==observed.length)fail('baseline_count_mismatch'); const summary=data.summary_counts||{}; for(const kind of allowed){ if(!Number.isInteger(summary[kind])||summary[kind]!==work.filter(x=>x.kind===kind).length)fail('summary_count_'+kind); } const snap=data.contract_snapshot||{}; if(snap.observed_failure_count!==observed.length||snap.work_item_count!==work.length||!same(snap.allowed_kinds,allowed)||!snap.baseline_source_sha256||!snap.diagnosis_artifact_sha256)fail('contract_snapshot'); if(data.staleness&&data.staleness.is_stale===true)fail('stale_contract'); crypto.createHash('sha256').update(JSON.stringify(data)).digest('hex');\""
   allow_builtin_asserts:
     - clean_working_tree
 
@@ -235,6 +259,9 @@ roles:
       - "For each failing, skipped, and hung test: read test code + v1 impl + v2 impl"
       - "Classify each as BUG / UNIMPLEMENTED / INFRA / REMOVED / TEST_BUG (skipped tests are usually UNIMPLEMENTED)"
       - "Output diagnosis spec with v1 code snippets + v2 current state + evidence paths"
+      - "Also write .dna/specs/diagnosis-$ARGUMENTS.contract.json as the structured sidecar mapping baseline observed_failures to diagnosis work_items"
+      - "The sidecar allowed_kinds array must be exactly BUG, UNIMPLEMENTED, INFRA, REMOVED, TEST_BUG in that order; PLACEHOLDER_CONTRACT is never a kind"
+      - "A placeholder-contract symptom may appear only in observed_failures.symptom and must map to concrete TEST_BUG and/or UNIMPLEMENTED work_items with evidence"
       - "If reanalyzing after REQUEST_REANALYSIS, update every reviewer sections_to_fix item and report sections_updated"
       - "DO NOT include fix prescriptions, implementation order, call-site instructions, or Notes for Surgeon"
       - "DO NOT run tests. DO NOT edit app code. Analysis only."
@@ -250,9 +277,10 @@ roles:
     instructions:
       - "REQUIRED FIRST: Read all context files listed in SKILL.md"
       - "Verify analyzer spec: v1 references exist? Classifications sound?"
+      - "Independently validate .dna/specs/diagnosis-$ARGUMENTS.contract.json against the template sidecar contract; do not use Bash"
       - "Check missing: any failing test not covered?"
       - "Verify diagnosis remains evidence-only: no fix prescriptions, implementation order, call-site instructions, or Notes for Surgeon"
-      - "Output a structured verdict block with verdict, artifact_reviewed, sections_to_fix, evidence_paths, confidence, summary, and updated_at"
+      - "Output a structured verdict block with contract_version, contract_valid, failure_reason, contract_artifact_reviewed, contract_snapshot, verdict, artifact_reviewed, sections_to_fix, evidence_paths, confidence, summary, and updated_at"
       - "Write the same structured verdict JSON to .dna/specs/diagnosis-$ARGUMENTS.review.json before finishing"
 
   fix_reviewer:
@@ -307,9 +335,12 @@ controllers:
     policy:
       diagnosis_reuse_criteria:
         - "$diagnosis_artifact_path exists"
+        - ".dna/specs/diagnosis-$ARGUMENTS.contract.json exists and passes the exact verifier_policy allow_commands node -e completion.command_success validator"
         - "$diagnosis_review_artifact_path exists and verdict is APPROVE"
+        - "$diagnosis_review_artifact_path contract_valid is true and contract_artifact_reviewed equals .dna/specs/diagnosis-$ARGUMENTS.contract.json"
         - "behavior doc is not newer than diagnosis spec"
         - "baseline artifact is not newer than diagnosis spec"
+        - "baseline artifact is not newer than diagnosis contract sidecar"
         - "user did not explicitly pass reanalyze or scope changed"
         - "progress JSON does not say diagnosis_invalid"
       progress_provenance_checks:
@@ -326,12 +357,14 @@ controllers:
         - "CONTINUE -> next fresh context fix round"
         - "REQUEST_CHANGES -> stop with the configured stop report"
         - "BLOCKED -> stop with the configured stop report"
+        - "DIAGNOSIS_CONTRACT_INVALID -> stop before fix with Verdict BLOCKED, failure_reason DIAGNOSIS_CONTRACT_INVALID, and progress diagnosis_invalid true"
       verdict_mapping:
         - "PASS / CONTINUE / REQUEST_CHANGES / BLOCKED mapping:"
         - "- PASS: success stop"
         - "- CONTINUE: start the next fresh context round"
         - "- REQUEST_CHANGES: stop, report reviewer/verifier requested changes"
         - "- BLOCKED: stop, report blocker"
+        - "- DIAGNOSIS_CONTRACT_INVALID: stop before fix, propagate diagnosis_invalid true in progress JSON, and require /dna-frw-diagnosis reanalysis"
         - "- MAX_ROUNDS: stop, report max rounds reached and next focus"
       stop_report:
         - "On REQUEST_CHANGES, BLOCKED, or MAX_ROUNDS, output exactly these Chinese sections:"
@@ -343,6 +376,7 @@ controllers:
         - "Do not infer module completion from raw test output."
         - "The controller must schedule only from $progress_artifact_path."
         - "Manual /dna-frw-diagnosis and /dna-frw-fix flows remain separate and available."
+        - "Manual /dna-frw-fix must run the same diagnosis contract preflight before edits and stop with DIAGNOSIS_CONTRACT_INVALID when the sidecar or independent review contract is invalid."
         - "Do not use the generic workflow policy block; branch only from the progress JSON verdict."
 
 workflows:
@@ -443,12 +477,33 @@ workflows:
              - Evidence paths for every classification
              - NO fix prescriptions, implementation order, call-site instructions, or "Notes for Surgeon"
              - NO running tests (analysis only)
-          6. If this is a reanalysis after REQUEST_REANALYSIS, read the reviewer verdict first, update every section listed in sections_to_fix plus the summary table, and report sections_updated in your final response. Reanalysis is not successful unless the spec artifact is rewritten.
+          6. Write .dna/specs/diagnosis-$ARGUMENTS.contract.json with this sidecar contract:
+             - contract_version: "diagnosis-contract/v1"
+             - module: "$ARGUMENTS"
+             - diagnosis_artifact: ".dna/specs/diagnosis-$ARGUMENTS.md"
+             - baseline: { "source_path": "structured baseline path or explicit fallback file", "counts": { "failed": N, "skipped": N, "hung": N } }
+             - allowed_kinds: ["BUG", "UNIMPLEMENTED", "INFRA", "REMOVED", "TEST_BUG"] exactly, no extra values
+             - observed_failures: one entry per failing/skipped/hung test with id, test_name, symptom, evidence_paths, and no kind field
+             - work_items: one or more entries mapping observed_failure_ids to kind, evidence_paths, v1_evidence_paths, and v2_evidence_paths
+             - summary_counts: exact count of work_items by BUG / UNIMPLEMENTED / INFRA / REMOVED / TEST_BUG
+             - contract_snapshot: baseline_source_sha256, diagnosis_artifact_sha256, observed_failure_count, work_item_count, allowed_kinds
+             - staleness: source mtimes or hashes for behavior_doc, baseline, diagnosis_artifact, and is_stale false
+          7. Contract rules:
+             - observed_failures must not be empty; work_items must not be empty.
+             - Every observed_failure id must be mapped by at least one work_item.
+             - Every work_item kind must be one of the five allowed kinds exactly.
+             - PLACEHOLDER_CONTRACT is forbidden as a kind. If a placeholder-contract symptom exists, keep it in observed_failures.symptom and map it to concrete TEST_BUG and/or UNIMPLEMENTED work_items with evidence.
+             - REMOVED may be diagnosed but must be marked manual/user-approved before any future fix can execute it.
+             - Mixed unknown kinds, missing evidence, count mismatches, missing/changed contract_snapshot, and stale baseline/diagnosis snapshots make the contract invalid.
+          8. If this is a reanalysis after REQUEST_REANALYSIS or DIAGNOSIS_CONTRACT_INVALID, read the reviewer verdict first, update every section listed in sections_to_fix plus the summary table and contract sidecar, and report sections_updated in your final response. Reanalysis is not successful unless both the spec artifact and contract sidecar are rewritten.
         handoff:
           produces:
             - type: file
               path: ".dna/specs/diagnosis-$ARGUMENTS.md"
               description: "Diagnosis spec for module"
+            - type: file
+              path: ".dna/specs/diagnosis-$ARGUMENTS.contract.json"
+              description: "Structured diagnosis contract sidecar mapping baseline observed failures to work items"
 
       - id: review
         role: analysis_reviewer
@@ -464,10 +519,32 @@ workflows:
           3. Classifications reasonable? (INFRA not mistaken for BUG)
           4. Enough evidence detail for surgeon to act without adding fix prescriptions?
           5. Diagnosis remains evidence-only: no implementation order, call-site instructions, or "Notes for Surgeon"?
+          6. .dna/specs/diagnosis-$ARGUMENTS.contract.json satisfies the structured sidecar contract:
+             - contract_version is "diagnosis-contract/v1"
+             - allowed_kinds is exactly ["BUG", "UNIMPLEMENTED", "INFRA", "REMOVED", "TEST_BUG"]
+             - observed_failures and work_items are non-empty and every observed_failure is mapped
+             - baseline counts equal observed_failures count
+             - summary_counts match work_items by kind
+             - every work_item has evidence_paths and only allowed kinds
+             - PLACEHOLDER_CONTRACT is rejected as a kind but placeholder-contract symptoms are allowed when mapped to TEST_BUG and/or UNIMPLEMENTED
+             - contract_snapshot includes diagnosis_artifact_sha256, baseline_source_sha256, observed_failure_count, work_item_count, and allowed_kinds
+             - staleness.is_stale is false; stale baseline/diagnosis/contract snapshots are invalid
+             - REMOVED work_items are reviewable diagnosis facts only and must not authorize automatic fix execution
 
           Output exactly one structured verdict block:
           ```json
           {
+            "contract_version": "diagnosis-contract-review/v1",
+            "contract_valid": true,
+            "failure_reason": "",
+            "contract_artifact_reviewed": ".dna/specs/diagnosis-$ARGUMENTS.contract.json",
+            "contract_snapshot": {
+              "baseline_source_sha256": "sha256 from contract sidecar",
+              "diagnosis_artifact_sha256": "sha256 from contract sidecar",
+              "observed_failure_count": 0,
+              "work_item_count": 0,
+              "allowed_kinds": ["BUG", "UNIMPLEMENTED", "INFRA", "REMOVED", "TEST_BUG"]
+            },
             "verdict": "APPROVE" | "REQUEST_REANALYSIS",
             "artifact_reviewed": ".dna/specs/diagnosis-$ARGUMENTS.md",
             "sections_to_fix": ["section ids or titles; empty when approved"],
@@ -481,16 +558,21 @@ workflows:
           Write the same verdict JSON to .dna/specs/diagnosis-$ARGUMENTS.review.json before finishing.
 
           APPROVE → diagnosis complete.
-          REQUEST_REANALYSIS → sections_to_fix must be passed back to analyze. docs/behavior/blocked_items.md is historical context only and must not be treated as the current run verdict.
+          REQUEST_REANALYSIS → sections_to_fix must be passed back to analyze. If contract_valid is false, set failure_reason to DIAGNOSIS_CONTRACT_INVALID and include the exact invalid rule in sections_to_fix. docs/behavior/blocked_items.md is historical context only and must not be treated as the current run verdict.
+        completion:
+          - command_success: "node -e \"const fs=require('node:fs');const crypto=require('node:crypto');const path=require('node:path');const mod=process.env.ARGUMENTS||'$ARGUMENTS';const allowed=['BUG','UNIMPLEMENTED','INFRA','REMOVED','TEST_BUG'];const action=['BUG','UNIMPLEMENTED','INFRA','TEST_BUG'];const fail=m=>{throw new Error(m)};const same=(a,b)=>Array.isArray(a)&&a.length===b.length&&a.every((v,i)=>v===b[i]);const root=process.cwd();const inside=p=>{if(typeof p!=='string'||!p||path.isAbsolute(p))fail('path_invalid');const r=path.resolve(root,p);if(r!==root&&!r.startsWith(root+path.sep))fail('path_escape');return r};const readJson=p=>JSON.parse(fs.readFileSync(inside(p),'utf8'));if(!/^[A-Za-z0-9_-]+$/.test(mod))fail('module');const contractPath='.dna/specs/diagnosis-'+mod+'.contract.json';const reviewPath='.dna/specs/diagnosis-'+mod+'.review.json';const diagnosisPath='.dna/specs/diagnosis-'+mod+'.md';const data=readJson(contractPath);if(data.contract_version!=='diagnosis-contract/v1')fail('contract_version');if(data.module!==mod)fail('module_mismatch');if(data.diagnosis_artifact!==diagnosisPath)fail('diagnosis_artifact_path');if(!same(data.allowed_kinds,allowed))fail('allowed_kinds');const observed=Array.isArray(data.observed_failures)?data.observed_failures:fail('observed_failures');const work=Array.isArray(data.work_items)?data.work_items:fail('work_items');if(!observed.length)fail('empty_observed_failures');if(!work.length)fail('empty_work_items');const ids=new Set(observed.map(x=>x&&x.id).filter(Boolean));if(ids.size!==observed.length)fail('observed_failure_ids');const failureById=new Map();for(const f of observed){if(typeof f.test_name!=='string'||!f.test_name.trim())fail('observed_failure_test_name');if(typeof f.symptom!=='string'||!f.symptom.trim())fail('observed_failure_symptom');if(!Array.isArray(f.evidence_paths)||!f.evidence_paths.length)fail('observed_failure_evidence');for(const p of f.evidence_paths)inside(p);if(f.kind!==undefined)fail('observed_failure_kind_forbidden');failureById.set(f.id,f)}const mapped=new Set();for(const item of work){if(!allowed.includes(item.kind))fail('invalid_kind');if(item.kind==='PLACEHOLDER_CONTRACT')fail('placeholder_kind');if(!Array.isArray(item.observed_failure_ids)||!item.observed_failure_ids.length)fail('work_item_observed_failure_ids');if(!Array.isArray(item.evidence_paths)||!item.evidence_paths.length)fail('work_item_evidence');for(const p of item.evidence_paths)inside(p);if(action.includes(item.kind)){if(!Array.isArray(item.v1_evidence_paths)||!item.v1_evidence_paths.length)fail('work_item_v1_evidence');if(!Array.isArray(item.v2_evidence_paths)||!item.v2_evidence_paths.length)fail('work_item_v2_evidence');for(const p of item.v1_evidence_paths)inside(p);for(const p of item.v2_evidence_paths)inside(p)}for(const id of item.observed_failure_ids){const f=failureById.get(id);if(!f)fail('unknown_observed_failure_id');if(action.includes(item.kind)&&(!f.test_name||!String(f.test_name).trim()))fail('action_test_evidence');mapped.add(id)}}if(mapped.size!==ids.size)fail('unmapped_observed_failures');for(const f of observed.filter(x=>String(x.symptom).includes('PLACEHOLDER_CONTRACT'))){const kinds=new Set(work.filter(i=>i.observed_failure_ids.includes(f.id)).map(i=>i.kind));if(![...kinds].every(k=>k==='TEST_BUG'||k==='UNIMPLEMENTED')||kinds.size===0)fail('placeholder_mapping')}const counts=data.baseline&&data.baseline.counts;if(!data.baseline||data.baseline.source_path!=='.dna/baselines/'+mod+'.json'||!counts)fail('baseline');const total=(counts.failed||0)+(counts.skipped||0)+(counts.hung||0);if(total!==observed.length)fail('baseline_count_mismatch');const summary=data.summary_counts||{};for(const kind of allowed){if(!Number.isInteger(summary[kind])||summary[kind]!==work.filter(x=>x.kind===kind).length)fail('summary_count_'+kind)}const sha=p=>crypto.createHash('sha256').update(fs.readFileSync(inside(p))).digest('hex');const snap=data.contract_snapshot||{};if(snap.observed_failure_count!==observed.length||snap.work_item_count!==work.length||!same(snap.allowed_kinds,allowed))fail('contract_snapshot');if(snap.baseline_source_sha256!==sha(data.baseline.source_path))fail('baseline_sha256');if(snap.diagnosis_artifact_sha256!==sha(diagnosisPath))fail('diagnosis_sha256');if(!data.staleness||data.staleness.is_stale!==false)fail('stale_contract');const review=readJson(reviewPath);if(review.contract_version!=='diagnosis-contract-review/v1')fail('review_contract_version');if(review.contract_valid!==true)fail('review_contract_valid');if(review.verdict!=='APPROVE')fail('review_verdict');if(review.contract_artifact_reviewed!==contractPath)fail('review_contract_artifact_path');if(review.artifact_reviewed!==diagnosisPath)fail('review_artifact_path');if(JSON.stringify(review.contract_snapshot)!==JSON.stringify(snap))fail('review_contract_snapshot');if(!Array.isArray(review.evidence_paths)||!review.evidence_paths.length)fail('review_evidence_paths');for(const p of review.evidence_paths)inside(p);const cm=fs.statSync(inside(contractPath)).mtimeMs;const dm=fs.statSync(inside(diagnosisPath)).mtimeMs;const rm=fs.statSync(inside(reviewPath)).mtimeMs;if(rm<cm||rm<dm)fail('review_stale');\""
         handoff:
           consumes:
             - type: file
               path: ".dna/specs/diagnosis-$ARGUMENTS.md"
               description: "Diagnosis spec from analyzer"
+            - type: file
+              path: ".dna/specs/diagnosis-$ARGUMENTS.contract.json"
+              description: "Diagnosis contract sidecar from analyzer"
           produces:
             - type: file
               path: ".dna/specs/diagnosis-$ARGUMENTS.review.json"
-              description: "Durable diagnosis review verdict (APPROVE or REQUEST_REANALYSIS)"
+              description: "Durable diagnosis review verdict with independent contract validation (APPROVE or REQUEST_REANALYSIS)"
             - type: summary
               required: false
               description: "Review verdict (APPROVE or REQUEST_REANALYSIS)"
@@ -508,6 +590,9 @@ workflows:
 
           Before editing, read .dna/specs/diagnosis-$ARGUMENTS.review.json.
           - If it is missing, invalid, or verdict is not APPROVE, stop immediately; do not edit.
+          - Also read .dna/specs/diagnosis-$ARGUMENTS.contract.json and perform the same preflight used by the diagnosis review completion validator before any Edit.
+          - If the sidecar is missing, invalid, stale, has unmapped observed_failures, bad counts, bad snapshot, unsupported kinds, or review contract_valid is not true, stop before edits with DIAGNOSIS_CONTRACT_INVALID.
+          - If stopping for DIAGNOSIS_CONTRACT_INVALID, write/update .dna/fix-progress/$ARGUMENTS.json with verdict BLOCKED, failure_reason DIAGNOSIS_CONTRACT_INVALID, diagnosis_invalid true, and evidence_paths naming the sidecar/review problem; also update the markdown progress artifact.
           - Manual fix invocations must obey this same gate.
           - If verdict is REQUEST_REANALYSIS, run diagnosis reanalysis first instead of fixing.
 
@@ -525,6 +610,7 @@ workflows:
 
           Otherwise process issues in priority order: INFRA → BUG → TEST_BUG → UNIMPLEMENTED.
           REMOVED is always skipped unless the user explicitly approved handling it.
+          REMOVED must never be auto-executed from diagnosis contract membership alone.
 
           For each issue:
           - BUG: read v1 file, edit v2 (use Riverpod per refactoring-workflow-v2.md)
@@ -545,6 +631,9 @@ workflows:
             - type: file
               path: ".dna/specs/diagnosis-$ARGUMENTS.md"
               description: "Diagnosis spec"
+            - type: file
+              path: ".dna/specs/diagnosis-$ARGUMENTS.contract.json"
+              description: "Validated diagnosis contract sidecar"
             - type: file
               path: ".dna/specs/diagnosis-$ARGUMENTS.review.json"
               description: "Approved diagnosis review gate"
@@ -643,6 +732,7 @@ workflows:
           - review REQUEST_CHANGES without safe actionable scope -> Verdict: BLOCKED, Failure reason: BLOCKED_BY_REVIEW.
           - 0 failed + remaining UNIMPLEMENTED skipped > 0 -> Verdict: CONTINUE, Module complete: no, Next Round Focus: next diagnosis-backed UNIMPLEMENTED test/evidence path.
           - progress contradicts diagnosis/test evidence -> Verdict: BLOCKED, Failure reason: PROGRESS_DIAGNOSIS_CONFLICT.
+          - diagnosis contract preflight failed -> Verdict: BLOCKED, Failure reason: DIAGNOSIS_CONTRACT_INVALID, diagnosis_invalid: true.
           - new red caused by current round -> Verdict: REQUEST_CHANGES.
           - new red appears to be newly exposed baseline gap AND remaining count decreases -> Verdict: CONTINUE.
           - ambiguous new red -> Verdict: BLOCKED, Failure reason: AMBIGUOUS_NEW_RED.
@@ -657,6 +747,7 @@ workflows:
           - Blocked: K tests skipped for TEST_BUG / INFRA / REMOVED / user-approved blocked reasons
           - Remaining: R tests still failing or diagnosis-backed UNIMPLEMENTED skipped
           - Remaining UNIMPLEMENTED skipped: U diagnosis-backed skipped tests still remaining
+          - Diagnosis invalid: true/false
           - Failure reason: why progress stopped, if any
           - Next round focus: the priority/classification/test file to continue with, if verdict is CONTINUE or REQUEST_CHANGES
           - Rollback decision: say whether the current round commit should be reverted or fixed forward, with one plain-language reason
@@ -692,6 +783,7 @@ workflows:
             "blocked_count": 0,
             "remaining_count": 0,
             "remaining_unimplemented_skipped_count": 0,
+            "diagnosis_invalid": false,
             "next_round_focus": "",
             "failure_reason": "",
             "last_fix_commit": null,
@@ -712,6 +804,7 @@ workflows:
           - actionability, scope, and risk are required and must mirror the review verdict when review is REQUEST_CHANGES; use none/none/none when review is APPROVE.
           - module_complete is a required boolean and must match the Markdown Module complete value.
           - fixed_count, new_red_count, blocked_count, remaining_count, and remaining_unimplemented_skipped_count are required non-negative integers.
+          - diagnosis_invalid is a required boolean; set true only when failure_reason is DIAGNOSIS_CONTRACT_INVALID.
           - next_round_focus is required and non-empty when verdict is CONTINUE or REQUEST_CHANGES; empty string is allowed when verdict is PASS.
           - failure_reason is required and non-empty when verdict is BLOCKED or REQUEST_CHANGES; empty string is allowed when verdict is PASS or CONTINUE. When review REQUEST_CHANGES is normalized to verdict CONTINUE, keep reviewer failure details in Review Issues To Address First instead of failure_reason.
           - last_fix_commit is the commit hash string if available, otherwise null.
@@ -737,6 +830,9 @@ workflows:
             - type: file
               path: ".dna/specs/diagnosis-$ARGUMENTS.md"
               description: "Diagnosis spec"
+            - type: file
+              path: ".dna/specs/diagnosis-$ARGUMENTS.contract.json"
+              description: "Diagnosis contract sidecar"
           produces:
             - type: file
               path: ".dna/fix-progress/$ARGUMENTS.md"

package/dist/templates/frontend-quality.dna.yaml

@@ -5,6 +5,25 @@
 version: "0.1.0"
 id: template_frontend_quality
 name: Frontend Quality Standards
+purpose: Provide frontend implementation guardrails for accessibility, performance, design fidelity, and framework best practices.
+maturity: draft
+fit:
+  - React, Next.js, Vue, or similar frontend work needing a local quality baseline.
+  - UI implementation where accessibility, responsive layout, and performance must stay visible.
+not_for:
+  - Replacing visual QA, Playwright checks, or design review evidence.
+  - Claiming Online runtime authority from browser UI.
+inputs:
+  - UI route or component scope
+  - design and accessibility requirements
+  - framework and performance constraints
+outputs:
+  - frontend quality guardrails
+  - accessibility and performance review notes
+  - design-fidelity checklist
+lineage:
+  source: built-in frontend quality standards template
+  reference: src/templates/frontend-quality.dna.yaml
 type: project
 namespace: fe
 

package/dist/templates/full-pipeline.dna.yaml

@@ -5,6 +5,26 @@
 version: "0.1.0"
 id: template_full_pipeline
 name: Full Development Pipeline
+purpose: Run a complete plan, implement, test, review, and release-note pipeline for feature work that needs staged evidence.
+maturity: reviewed
+fit:
+  - Product or engineering tasks that need design, implementation, verification, and review stages.
+  - Work where acceptance criteria and release notes must stay connected to code changes.
+not_for:
+  - Tiny one-command fixes that do not need a full team workflow.
+  - Skipping tests or review because implementation appears complete.
+inputs:
+  - requirement or task brief
+  - codebase context
+  - acceptance criteria and verification commands
+outputs:
+  - design document
+  - implementation diff
+  - test evidence and review report
+  - release notes
+lineage:
+  source: Superpowers-inspired plan/implement/test/review workflow shape
+  reference: src/templates/full-pipeline.dna.yaml
 type: project
 namespace: fp
 

package/dist/templates/marketplace.d.ts

@@ -0,0 +1,92 @@
+import { type TemplateCatalogEntry } from "./catalog.js";
+export type TemplateVisibility = "public" | "personal" | "internal_ready";
+export type TemplateHarness = "claude_code" | "codex_cli";
+export type TemplateEvidencePosture = "explicit_gap" | "example" | "dogfood";
+export type TemplateAssetMaturity = "draft" | "reviewed" | "dogfood" | "internal_ready";
+export type TemplateSyncSurface = "markdown_injection" | "compiled_ir" | "claude_mcp" | "claude_settings_hooks" | "claude_agents" | "claude_skills" | "workflow_scripts" | "codex_adapter";
+export interface TemplateEvidenceExample {
+    label: string;
+    path: string;
+    kind: "doc" | "dogfood" | "reference";
+    description?: string;
+}
+export interface TemplateEvidenceGap {
+    status: "needs_local_evidence" | "covered_by_examples";
+    summary: string;
+    nextCommands: string[];
+    acceptanceCriteria: string[];
+    notEvidence: string[];
+}
+export interface TemplateAssetRelation {
+    relatedTemplate: string;
+    relation: "main_workflow" | "reusable_loop" | "followup_draft" | "companion_asset";
+    purpose: string;
+    preserves: string[];
+    nextCommands: string[];
+    notAllowedToImply: string[];
+}
+export interface TemplateMarketplaceMetadata {
+    visibility: TemplateVisibility;
+    purpose: string;
+    fit: string[];
+    inputs: string[];
+    outputs: string[];
+    assetRelations: TemplateAssetRelation[];
+    evidencePosture: TemplateEvidencePosture;
+    evidenceGap: TemplateEvidenceGap;
+    maturity: TemplateAssetMaturity;
+    lifecycleGuide: {
+        state: TemplateVisibility;
+        meaning: string;
+        availableNow: string[];
+        nextStep: string;
+        notAllowedToImply: string[];
+    };
+    supportedHarnesses: TemplateHarness[];
+    requiredDnaVersion: string;
+    syncSurfaces: TemplateSyncSurface[];
+    evidenceExamples: TemplateEvidenceExample[];
+    install: {
+        command: string;
+        syncCommands: string[];
+    };
+    review: {
+        inspectCommand: string;
+        adoptionCommand: string;
+        orgBindCommand: string;
+        orgReviewCommand: string;
+        rolloutCommand: string;
+        boundary: string;
+    };
+}
+export interface TemplateMarketplaceCatalogItem {
+    name: string;
+    displayName?: string;
+    namespace?: string;
+    version?: string;
+    source: TemplateCatalogEntry["source"];
+    contentHash: string;
+    keywords: readonly string[];
+    marketplace: TemplateMarketplaceMetadata;
+}
+export interface TemplateMarketplaceCatalog {
+    schema_version: "intentdna.template_marketplace_catalog.v1";
+    generated_at: string;
+    totals: {
+        templates: number;
+        public: number;
+        personal: number;
+        internal_ready: number;
+        claude_code: number;
+        codex_cli: number;
+    };
+    items: TemplateMarketplaceCatalogItem[];
+    boundaries: string[];
+}
+export declare function getTemplateMarketplaceMetadata(template: TemplateCatalogEntry, options?: {
+    content?: string;
+}): Promise<TemplateMarketplaceMetadata>;
+export declare function buildTemplateMarketplaceCatalog(options?: {
+    projectDir?: string;
+    generatedAt?: string;
+}): Promise<TemplateMarketplaceCatalog>;