scip-query 0.19.4 → 0.19.5

package/skills/scip-query/SKILL.md

@@ -1,13 +1,13 @@
 ---
 name: scip-query
-description: Route codebase work in scip-query-indexed projects. Use when exploring, planning, implementing, refactoring, debugging, verifying, cleaning up, reconciling docs, improving health, or when unsure which scip-* skill should own the workflow.
+description: Use scip-query effectively in an indexed repository. Routes questions like "how does this work?", "what will break?", "why is this broken?", "make a plan", "review this diff", or "clean this up" to the focused scip-* skill and command family.
 commands:
-  - template: "scip-query status --capabilities"
-    when: "Before routing: confirm the index is fresh."
-  - template: "scip-query plan-context <target>"
-    when: "Default loop: anchor a plan for the routed skill."
-  - template: "scip-query diff-gate --json"
-    when: "Default loop: the loop is complete only when this passes or is explained."
+  - template: 'scip-query status --capabilities'
+    when: 'Before routing: confirm the index is fresh.'
+  - template: 'scip-query plan-context <target>'
+    when: 'Default loop: anchor a plan for the routed skill.'
+  - template: 'scip-query diff-gate --json'
+    when: 'Default loop: the loop is complete only when this passes or is explained.'
 ---
 
 # scip-query Router
@@ -19,11 +19,11 @@ Load shared mechanics from [`../_shared/SKILL.md`](../_shared/SKILL.md) when you
 <!-- BEGIN GENERATED SKILL COMMANDS -->
 ## Commands for this skill
 
-| Command | Purpose | When |
-| --- | --- | --- |
-| `scip-query status --capabilities` | Show index status for this project | Before routing: confirm the index is fresh. |
-| `scip-query plan-context <target>` | Pre-edit planning context for a symbol, file, or module | Default loop: anchor a plan for the routed skill. |
-| `scip-query diff-gate --json` | Gate the current diff: architecture regressions plus echo, migration, coordination, doc-drift, unused-param, and new-dead candidates; exit 1 on blocking findings | Default loop: the loop is complete only when this passes or is explained. |
+| Command | Purpose | Returns | Coverage | When |
+| --- | --- | --- | --- | --- |
+| `scip-query status --capabilities` | Show index status for this project | freshness, generation, language shards, watcher, and optional capabilities | `complete` | Before routing: confirm the index is fresh. |
+| `scip-query plan-context <target>` | Pre-edit planning context for a symbol, file, or module | definitions and references; callers and callees; dataflow producers and consumers; backward and forward slices; affected symbols; change-surface risk; dependencies and reverse dependencies; module files and exports; external surface use; complexity; churn; co-change partners; active suppressions | `bounded` | Default loop: anchor a plan for the routed skill. |
+| `scip-query diff-gate --json` | Gate the current diff: architecture regressions plus echo, migration, coordination, doc-drift, unused-param, and new-dead candidates; exit 1 on blocking findings | blocking findings with check id, message, and remediation; advisory findings; root-cause groups; changed file and symbol counts; process exit status (1 when blocking findings exist) | `bounded` | Default loop: the loop is complete only when this passes or is explained. |
 
 Use this shortlist first. Open [`../_shared/SKILL.md`](../_shared/SKILL.md) only when it is insufficient.
 <!-- END GENERATED SKILL COMMANDS -->
@@ -32,7 +32,7 @@ Use this shortlist first. Open [`../_shared/SKILL.md`](../_shared/SKILL.md) only
 
 For non-trivial code changes:
 
-1. Invoke `scip-concrete-plan`; the plan starts from `scip-query plan-context <target>` and designs for testability.
+1. Invoke `scip-concrete-plan`, anchored by `scip-query plan-context <target>`. It picks its own mode: ordinary planning by default, high-assurance only for security, money, destructive or irreversible operations, data migration, shared-state concurrency, or broad public API change. Do not demand the high-assurance certificate for routine work.
 2. Implement the plan in the smallest coherent slice.
 3. Invoke `scip-verify`.
 
@@ -40,32 +40,32 @@ The loop is complete only when `scip-verify` passes or each remaining finding ha
 
 ## Routes
 
-| Work | Skill | Anchor |
-| --- | --- | --- |
-| Understand a system before answering or editing | `scip-explore` | `system`, `trace`, `call-graph`, `dataflow` |
-| Root-cause a bug or regression | `scip-debug` | `trace`, `dataflow`, `change-surface` |
-| Diagnose the design flaw behind a family of recurring bugs | `scip-root-cause` | `co-change`, `similar`, `refs` |
-| Turn a report into a fix packet | `scip-triage-issue` | `files`, `trace`, `affected` |
-| Create a code flow, dependency, or blast-radius diagram | `scip-diagram` | `call-graph`, `dataflow`, `affected` |
-| Plan a feature, fix, or refactor | `scip-concrete-plan` | `plan-context` |
-| Run a multi-phase program: plan, delegate, verify handoffs, close | `scip-conductor` | `plan-context`, `diff-gate`, `health` |
-| Assess public API, route, config, schema, CLI, or export changes | `scip-api-impact` | `surface`, `affected`, `co-change` |
-| Pick language-specific high-signal commands | `scip-language-playbook` | language row |
-| Benchmark and optimize a command, workflow, or hot path | `scip-hyper-optimization` | `bench`, `plan-context`, profiles |
-| Adopt or repair scip-query setup in a repo | `scip-setup` | `setup`, `doctor`, `capabilities` |
-| Verify any finished change | `scip-verify` | `status`, `diff-impact`, final gate |
-| Audit, rank, or confirm cleanup findings | `scip-cleanup-audit` | `health`, `cleanup-plan`, cleanup detectors |
-| Autonomously fix confirmed cleanup findings | `scip-cleanup-improve` | `health`, `cleanup-plan`, verified batches |
-| Find or resolve same-name twins that have diverged | `scip-twin-drift` | `twin-drift`, `duplicate-bodies`, `refs` |
-| Faked or half-implemented features, checkers that never fail, dead paths behind fallbacks, lying metrics | `scip-integrity-audit` |
-| Audit whether a status claim is derived, hedged, or merely asserted | `scip-claim-audit` | `refs`, `code`, `trace` |
-| Prove whether a parser/AST branch is actually reachable | `scip-probe-reachability` | `outline --signatures`, `code`, scratch probes |
-| Reconcile living docs with code | `scip-doc-reconcile` | `doc-drift` |
-| Review or migrate folder ownership | `scip-directory-architecture` | `locality-candidates`, `similar-files` |
-| Review deeper maintainability and system compression | `scip-maintainability` | `bottlenecks`, `similar-chains`, `change-surface` |
-| Review React reuse and component/hook pressure | `scip-react-maintainability` | React duplicate and pressure commands |
-| Review Vue reuse and SFC/composable pressure | `scip-vue-maintainability` | Vue duplicate and pressure commands |
-| Model a TypeScript system with TLA+ | `scip-tla-model-system` | `plan-context`, `tla verify` |
+| Work                                                                                                     | Skill                         | Anchor                                            |
+| -------------------------------------------------------------------------------------------------------- | ----------------------------- | ------------------------------------------------- |
+| Understand a system before answering or editing                                                          | `scip-explore`                | `system`, `trace`, `call-graph`, `dataflow`       |
+| Root-cause a bug or regression                                                                           | `scip-debug`                  | `trace`, `dataflow`, `change-surface`             |
+| Diagnose the design flaw behind a family of recurring bugs                                               | `scip-root-cause`             | `co-change`, `similar`, `refs`                    |
+| Turn a report into a fix packet                                                                          | `scip-triage-issue`           | `files`, `trace`, `affected`                      |
+| Create a code flow, dependency, or blast-radius diagram                                                  | `scip-diagram`                | `call-graph`, `dataflow`, `affected`              |
+| Plan a feature, fix, or refactor                                                                         | `scip-concrete-plan`          | `plan-context`                                    |
+| Run a multi-phase program: plan, delegate, verify handoffs, close                                        | `scip-conductor`              | `plan-context`, `diff-gate`, `health`             |
+| Assess public API, route, config, schema, CLI, or export changes                                         | `scip-api-impact`             | `surface`, `affected`, `co-change`                |
+| Pick language-specific high-signal commands                                                              | `scip-language-playbook`      | language row                                      |
+| Benchmark and optimize a command, workflow, or hot path                                                  | `scip-hyper-optimization`     | `bench`, `plan-context`, profiles                 |
+| Adopt or repair scip-query setup in a repo                                                               | `scip-setup`                  | `setup`, `doctor`, `capabilities`                 |
+| Verify any finished change                                                                               | `scip-verify`                 | `status`, `diff-impact`, final gate               |
+| Audit, rank, or confirm cleanup findings                                                                 | `scip-cleanup-audit`          | `health`, `cleanup-plan`, cleanup detectors       |
+| Autonomously fix confirmed cleanup findings                                                              | `scip-cleanup-improve`        | `health`, `cleanup-plan`, verified batches        |
+| Find or resolve same-name twins that have diverged                                                       | `scip-twin-drift`             | `twin-drift`, `duplicate-bodies`, `refs`          |
+| Faked or half-implemented features, checkers that never fail, dead paths behind fallbacks, lying metrics | `scip-integrity-audit`        |
+| Audit whether a status claim is derived, hedged, or merely asserted                                      | `scip-claim-audit`            | `refs`, `code`, `trace`                           |
+| Prove whether a parser/AST branch is actually reachable                                                  | `scip-probe-reachability`     | `outline --signatures`, `code`, scratch probes    |
+| Reconcile living docs with code                                                                          | `scip-doc-reconcile`          | `doc-drift`                                       |
+| Review or migrate folder ownership                                                                       | `scip-directory-architecture` | `locality-candidates`, `similar-files`            |
+| Review deeper maintainability and system compression                                                     | `scip-maintainability`        | `bottlenecks`, `similar-chains`, `change-surface` |
+| Review React reuse and component/hook pressure                                                           | `scip-react-maintainability`  | React duplicate and pressure commands             |
+| Review Vue reuse and SFC/composable pressure                                                             | `scip-vue-maintainability`    | Vue duplicate and pressure commands               |
+| Model a TypeScript system with TLA+                                                                      | `scip-tla-model-system`       | `plan-context`, `tla verify`                      |
 
 Routing is complete only when one owning skill is selected or the task is small enough for the default loop alone.
 

package/skills/scip-react-maintainability/SKILL.md

@@ -2,18 +2,18 @@
 name: scip-react-maintainability
 description: Review React maintainability with scip-query. Use for React, TSX, JSX, Next.js, duplicated components, hook candidates, large components, frontend health pressure, or verifying reuse after refactors.
 commands:
-  - template: "scip-query react-component-duplicates --scope <scope> --full --json"
-    when: "Bound and scan: duplicated JSX structure candidates."
-  - template: "scip-query react-hook-candidates --scope <scope> --full --json"
-    when: "Bound and scan: shared state/effect/request extraction candidates."
-  - template: "scip-query react-large-component-pressure --scope <scope> --full --json"
-    when: "Bound and scan: components carrying several reasons to change."
-  - template: "scip-query recent-duplicates --scope <scope> --full --json"
-    when: "Bound and scan: recent code re-implementing established components."
-  - template: "scip-query similar <closest-existing-component-or-hook>"
-    when: "Cross-check candidates: existing component or hook to reuse instead."
-  - template: "scip-query health --scope <scope> --json"
-    when: "Bound and scan: frontend health pressure for the scope."
+  - template: 'scip-query react-component-duplicates --scope <scope> --full --json'
+    when: 'Bound and scan: duplicated JSX structure candidates.'
+  - template: 'scip-query react-hook-candidates --scope <scope> --full --json'
+    when: 'Bound and scan: shared state/effect/request extraction candidates.'
+  - template: 'scip-query react-large-component-pressure --scope <scope> --full --json'
+    when: 'Bound and scan: components carrying several reasons to change.'
+  - template: 'scip-query recent-duplicates --scope <scope> --full --json'
+    when: 'Bound and scan: recent code re-implementing established components.'
+  - template: 'scip-query similar <closest-existing-component-or-hook>'
+    when: 'Cross-check candidates: existing component or hook to reuse instead.'
+  - template: 'scip-query health --scope <scope> --json'
+    when: 'Bound and scan: frontend health pressure for the scope.'
 ---
 
 # scip-react-maintainability
@@ -25,14 +25,14 @@ Load shared mechanics from [`../_shared/SKILL.md`](../_shared/SKILL.md).
 <!-- BEGIN GENERATED SKILL COMMANDS -->
 ## Commands for this skill
 
-| Command | Purpose | When |
-| --- | --- | --- |
-| `scip-query react-component-duplicates --scope <scope> --full --json` | Find heuristic duplicated React component structure candidates from JSX tags, props, events, and bindings | Bound and scan: duplicated JSX structure candidates. |
-| `scip-query react-hook-candidates --scope <scope> --full --json` | Find heuristic React hook extraction candidates from shared state, effects, requests, and handlers | Bound and scan: shared state/effect/request extraction candidates. |
-| `scip-query react-large-component-pressure --scope <scope> --full --json` | Find heuristic large React component pressure candidates from component lines, JSX structure, and hook behavior | Bound and scan: components carrying several reasons to change. |
-| `scip-query recent-duplicates --scope <scope> --full --json` | Directional duplicate candidates: recent code that re-implements established callable, React, or Vue code | Bound and scan: recent code re-implementing established components. |
-| `scip-query similar <closest-existing-component-or-hook>` | Find heuristic function similarity candidates from callee fingerprints | Cross-check candidates: existing component or hook to reuse instead. |
-| `scip-query health --scope <scope> --json` | Composite codebase health report with prioritized action list | Bound and scan: frontend health pressure for the scope. |
+| Command | Purpose | Returns | Coverage | When |
+| --- | --- | --- | --- | --- |
+| `scip-query react-component-duplicates --scope <scope> --full --json` | Find heuristic duplicated React component structure candidates from JSX tags, props, events, and bindings | component pairs with structural similarity evidence | `bounded` | Bound and scan: duplicated JSX structure candidates. |
+| `scip-query react-hook-candidates --scope <scope> --full --json` | Find heuristic React hook extraction candidates from shared state, effects, requests, and handlers | component groups and shared hook-shaped behavior | `bounded` | Bound and scan: shared state/effect/request extraction candidates. |
+| `scip-query react-large-component-pressure --scope <scope> --full --json` | Find heuristic large React component pressure candidates from component lines, JSX structure, and hook behavior | component identities with size and responsibility pressure | `bounded` | Bound and scan: components carrying several reasons to change. |
+| `scip-query recent-duplicates --scope <scope> --full --json` | Directional duplicate candidates: recent code that re-implements established callable, React, or Vue code | recent and established symbol pairs with similarity evidence | `bounded` | Bound and scan: recent code re-implementing established components. |
+| `scip-query similar <closest-existing-component-or-hook>` | Find heuristic function similarity candidates from callee fingerprints | symbol pairs, similarity scores, and shared evidence | `bounded` | Cross-check candidates: existing component or hook to reuse instead. |
+| `scip-query health --scope <scope> --json` | Composite codebase health report with prioritized action list | health score, findings, priorities, baselines, and coverage notes | `bounded` | Bound and scan: frontend health pressure for the scope. |
 
 Use this shortlist first. Open [`../_shared/SKILL.md`](../_shared/SKILL.md) only when it is insufficient.
 <!-- END GENERATED SKILL COMMANDS -->
@@ -88,7 +88,7 @@ This step is complete only when the chosen action reduces future drift without c
 
 ### 4. Verify
 
-Run routed postchecks from the shared reference, including React commands, `incomplete-migration`, `recent-duplicates`, `unused-params`, and wrapper/passthrough/stale checks, then invoke `scip-verify`.
+Invoke `scip-verify` and use its authoritative postcheck table, including the applicable React, extraction, duplicate, parameter, wrapper, passthrough, and stale-abstraction checks.
 
 The work is complete only when acted-on candidate pairs disappear, weaken materially, or are explicitly accepted as essential variation.
 

package/skills/scip-root-cause/SKILL.md

@@ -2,18 +2,18 @@
 name: scip-root-cause
 description: Diagnose the design flaw behind a family of related bugs with scip-query evidence. Use when similar bugs keep recurring, the same subsystem keeps needing patches, or the user lists fixed/observed bugs and asks what is really wrong; produces a falsifiable flaw diagnosis, a latent-instance hunt, and the least invasive remedy that kills the class.
 commands:
-  - template: "scip-query trace <mechanism-symbol>"
-    when: "Assemble the family: mechanism and violated invariant for each bug."
-  - template: "scip-query co-change <fix-site-file>"
-    when: "Assemble the family: files that historically changed with each fix site."
-  - template: "scip-query system <system-scope>"
-    when: "Define the system: real responsibilities, files, dependencies in and out."
-  - template: "scip-query similar <fixed-symbol> --json --full"
-    when: "Predict: hunt latent instances among sibling implementations of the fixed code."
-  - template: "scip-query refs <invariant-carrier>"
+  - template: 'scip-query trace <mechanism-symbol>'
+    when: 'Assemble the family: mechanism and violated invariant for each bug.'
+  - template: 'scip-query co-change <fix-site-file>'
+    when: 'Assemble the family: files that historically changed with each fix site.'
+  - template: 'scip-query system <system-scope>'
+    when: 'Define the system: real responsibilities, files, dependencies in and out.'
+  - template: 'scip-query similar <fixed-symbol> --json --full'
+    when: 'Predict: hunt latent instances among sibling implementations of the fixed code.'
+  - template: 'scip-query refs <invariant-carrier>'
     when: "Predict: every site that touches the violated invariant's state."
-  - template: "scip-query affected <remedy-symbol> --json"
-    when: "Choose the rung: blast radius of the candidate remedy."
+  - template: 'scip-query affected <remedy-symbol> --json'
+    when: 'Choose the rung: blast radius of the candidate remedy.'
 ---
 
 # scip-root-cause
@@ -25,14 +25,14 @@ Load shared mechanics from [`../_shared/SKILL.md`](../_shared/SKILL.md).
 <!-- BEGIN GENERATED SKILL COMMANDS -->
 ## Commands for this skill
 
-| Command | Purpose | When |
-| --- | --- | --- |
-| `scip-query trace <mechanism-symbol>` | Trace a symbol: definition + all references | Assemble the family: mechanism and violated invariant for each bug. |
-| `scip-query co-change <fix-site-file>` | Files that change together in git history without a dependency edge — hidden coupling candidates | Assemble the family: files that historically changed with each fix site. |
-| `scip-query system <system-scope>` | Full module map: files, symbols, deps in/out | Define the system: real responsibilities, files, dependencies in and out. |
-| `scip-query similar <fixed-symbol> --json --full` | Find heuristic function similarity candidates from callee fingerprints | Predict: hunt latent instances among sibling implementations of the fixed code. |
-| `scip-query refs <invariant-carrier>` | Find all files referencing a symbol | Predict: every site that touches the violated invariant's state. |
-| `scip-query affected <remedy-symbol> --json` | Transitive closure of symbols that could break if this symbol changes | Choose the rung: blast radius of the candidate remedy. |
+| Command | Purpose | Returns | Coverage | When |
+| --- | --- | --- | --- | --- |
+| `scip-query trace <mechanism-symbol>` | Trace a symbol: definition + all references | definition sites with source and signature; referencing files with line numbers | `bounded` | Assemble the family: mechanism and violated invariant for each bug. |
+| `scip-query co-change <fix-site-file>` | Files that change together in git history without a dependency edge — hidden coupling candidates | file pairs, co-change counts, confidence, and history context | `bounded` | Assemble the family: files that historically changed with each fix site. |
+| `scip-query system <system-scope>` | Full module map: files, symbols, deps in/out | module file paths; exported symbols with line ranges; internal dependencies; reverse dependencies | `complete` | Define the system: real responsibilities, files, dependencies in and out. |
+| `scip-query similar <fixed-symbol> --json --full` | Find heuristic function similarity candidates from callee fingerprints | symbol pairs, similarity scores, and shared evidence | `bounded` | Predict: hunt latent instances among sibling implementations of the fixed code. |
+| `scip-query refs <invariant-carrier>` | Find all files referencing a symbol | referencing file paths; reference line numbers grouped by file | `bounded` | Predict: every site that touches the violated invariant's state. |
+| `scip-query affected <remedy-symbol> --json` | Transitive closure of symbols that could break if this symbol changes | affected symbol identities, files, and traversal depths | `bounded` | Choose the rung: blast radius of the candidate remedy. |
 
 Use this shortlist first. Open [`../_shared/SKILL.md`](../_shared/SKILL.md) only when it is insufficient.
 <!-- END GENERATED SKILL COMMANDS -->
@@ -67,7 +67,7 @@ For each reported or fixed bug, fill one row:
 
 ```markdown
 | Bug | Symptom | Mechanism (file:symbol) | Invariant violated | Fix applied | Source |
-| --- | --- | --- | --- | --- | --- |
+| --- | ------- | ----------------------- | ------------------ | ----------- | ------ |
 ```
 
 Evidence: the user's description, fix commits (`git log --follow`, `git show`), `scip-query trace`/`code` on the mechanism symbols, `scip-query co-change` on fix sites to find members the user forgot.
@@ -90,6 +90,7 @@ responsibilities include <Y> (Source: <citation>); every family member is an
 instance of the X∧Y collision.
 
 Rivals:
+
 - R1. Coincidence — the members have unrelated causes. Killed by: <evidence> | ALIVE
 - R2. Misuse — callers hold the bug, the design is sound. Killed by: <evidence> | ALIVE
 - R3. <next-most-plausible> — Killed by: <evidence> | ALIVE

package/skills/scip-setup/SKILL.md

@@ -2,18 +2,18 @@
 name: scip-setup
 description: Set up or repair scip-query in a repository. Use for bootstrapping, onboarding, refreshing indexes, project-local hooks, agent guidance, capability diagnostics, health dossiers, .scipquery.json, or setup cleanup handoff.
 commands:
-  - template: "scip-query setup --json"
-    when: "Run setup: install skills, refresh the index, report health."
-  - template: "scip-query doctor"
-    when: "Resolve blockers: human diagnostic for config, index, and dependencies."
-  - template: "scip-query status --json"
-    when: "Resolve blockers: machine surface for freshness and config."
-  - template: "scip-query capabilities --matrix"
-    when: "Resolve blockers: which evidence/verification capabilities are available."
-  - template: "scip-query config-validate --json"
-    when: "Resolve blockers: validate .scipquery.json."
-  - template: "scip-query init"
-    when: "Calibrate config: create .scipquery.json only when absent and needed."
+  - template: 'scip-query setup --json'
+    when: 'Run setup: install skills, refresh the index, report health.'
+  - template: 'scip-query doctor'
+    when: 'Resolve blockers: human diagnostic for config, index, and dependencies.'
+  - template: 'scip-query status --json'
+    when: 'Resolve blockers: machine surface for freshness and config.'
+  - template: 'scip-query capabilities --matrix'
+    when: 'Resolve blockers: which evidence/verification capabilities are available.'
+  - template: 'scip-query config-validate --json'
+    when: 'Resolve blockers: validate .scipquery.json.'
+  - template: 'scip-query init'
+    when: 'Calibrate config: create .scipquery.json only when absent and needed.'
 ---
 
 # scip-setup
@@ -25,14 +25,14 @@ Load shared mechanics from [`../_shared/SKILL.md`](../_shared/SKILL.md).
 <!-- BEGIN GENERATED SKILL COMMANDS -->
 ## Commands for this skill
 
-| Command | Purpose | When |
-| --- | --- | --- |
-| `scip-query setup --json` | Bootstrap this project: enable automatic indexing, install agent skills, refresh the index, verify capabilities, and report health | Run setup: install skills, refresh the index, report health. |
-| `scip-query doctor` | Diagnose config, index freshness, dependency readiness, and project capabilities | Resolve blockers: human diagnostic for config, index, and dependencies. |
-| `scip-query status --json` | Show index status for this project | Resolve blockers: machine surface for freshness and config. |
-| `scip-query capabilities --matrix` | Report which evidence and verification capabilities are available in this project | Resolve blockers: which evidence/verification capabilities are available. |
-| `scip-query config-validate --json` | Validate .scipquery.json, including structured suppressions and declared coupling groups | Resolve blockers: validate .scipquery.json. |
-| `scip-query init` | Create a .scipquery.json config file for this project | Calibrate config: create .scipquery.json only when absent and needed. |
+| Command | Purpose | Returns | Coverage | When |
+| --- | --- | --- | --- | --- |
+| `scip-query setup --json` | Bootstrap this project: enable automatic indexing, install agent skills, refresh the index, verify capabilities, and report health | setup step outcomes, files, capabilities, smoke tests, and warnings | `complete` | Run setup: install skills, refresh the index, report health. |
+| `scip-query doctor` | Diagnose config, index freshness, dependency readiness, and project capabilities | config, freshness, dependency, and capability diagnostics | `complete` | Resolve blockers: human diagnostic for config, index, and dependencies. |
+| `scip-query status --json` | Show index status for this project | freshness, generation, language shards, watcher, and optional capabilities | `complete` | Resolve blockers: machine surface for freshness and config. |
+| `scip-query capabilities --matrix` | Report which evidence and verification capabilities are available in this project | capability matrix with availability and reasons | `complete` | Resolve blockers: which evidence/verification capabilities are available. |
+| `scip-query config-validate --json` | Validate .scipquery.json, including structured suppressions and declared coupling groups | validation diagnostics with config paths | `complete` | Resolve blockers: validate .scipquery.json. |
+| `scip-query init` | Create a .scipquery.json config file for this project | configuration path and creation outcome | `complete` | Calibrate config: create .scipquery.json only when absent and needed. |
 
 Use this shortlist first. Open [`../_shared/SKILL.md`](../_shared/SKILL.md) only when it is insufficient.
 <!-- END GENERATED SKILL COMMANDS -->
@@ -205,17 +205,18 @@ Report:
 ```markdown
 Setup: ready/partial/blocked
 Capabilities:
+
 - available:
 - unavailable:
-Health:
+  Health:
 - score:
 - dossier:
-Written or changed:
+  Written or changed:
 - files:
-Runtime:
+  Runtime:
 - automatic indexing:
 - TypeScript project/index sessions:
 - Rust semantic transport/lifecycle:
-Next:
+  Next:
 - cleanup audit/improve, CI setup, or external blocker
 ```

package/skills/scip-tla-model-system/SKILL.md

@@ -23,13 +23,13 @@ Load shared mechanics from [`../_shared/SKILL.md`](../_shared/SKILL.md).
 <!-- BEGIN GENERATED SKILL COMMANDS -->
 ## Commands for this skill
 
-| Command | Purpose | When |
-| --- | --- | --- |
-| `scip-query tla scaffold <file>` | TLA+ model workflow: verify a model and mapping contract, scaffold a draft model from indexed code, generate a trace recorder, or check a recorded trace against the next-state relation | Start here for a new model: derive a draft spec, config, and mapping from indexed code. |
-| `scip-query tla verify <spec>` | TLA+ model workflow: verify a model and mapping contract, scaffold a draft model from indexed code, generate a trace recorder, or check a recorded trace against the next-state relation | Mechanical conformance: referents, reads/writes, calls, and the model checker. |
-| `scip-query tla instrument <spec>` | TLA+ model workflow: verify a model and mapping contract, scaffold a draft model from indexed code, generate a trace recorder, or check a recorded trace against the next-state relation | Generate a trace recorder plus wiring sites for each mapped action. |
-| `scip-query tla trace-check <spec> --trace <file>` | TLA+ model workflow: verify a model and mapping contract, scaffold a draft model from indexed code, generate a trace recorder, or check a recorded trace against the next-state relation | Semantic conformance: check a recorded execution against the model's Next relation. |
-| `scip-query tla fetch-tools` | TLA+ model workflow: verify a model and mapping contract, scaffold a draft model from indexed code, generate a trace recorder, or check a recorded trace against the next-state relation | Download the pinned tla2tools.jar into the cache when the checker is unavailable. |
+| Command | Purpose | Returns | Coverage | When |
+| --- | --- | --- | --- | --- |
+| `scip-query tla scaffold <file>` | TLA+ model workflow: verify a model and mapping contract, scaffold a draft model from indexed code, generate a trace recorder, or check a recorded trace against the next-state relation | checker status, conformance findings, trace coverage, or generated artifact paths | `bounded` | Start here for a new model: derive a draft spec, config, and mapping from indexed code. |
+| `scip-query tla verify <spec>` | TLA+ model workflow: verify a model and mapping contract, scaffold a draft model from indexed code, generate a trace recorder, or check a recorded trace against the next-state relation | checker status, conformance findings, trace coverage, or generated artifact paths | `bounded` | Mechanical conformance: referents, reads/writes, calls, and the model checker. |
+| `scip-query tla instrument <spec>` | TLA+ model workflow: verify a model and mapping contract, scaffold a draft model from indexed code, generate a trace recorder, or check a recorded trace against the next-state relation | checker status, conformance findings, trace coverage, or generated artifact paths | `bounded` | Generate a trace recorder plus wiring sites for each mapped action. |
+| `scip-query tla trace-check <spec> --trace <file>` | TLA+ model workflow: verify a model and mapping contract, scaffold a draft model from indexed code, generate a trace recorder, or check a recorded trace against the next-state relation | checker status, conformance findings, trace coverage, or generated artifact paths | `bounded` | Semantic conformance: check a recorded execution against the model's Next relation. |
+| `scip-query tla fetch-tools` | TLA+ model workflow: verify a model and mapping contract, scaffold a draft model from indexed code, generate a trace recorder, or check a recorded trace against the next-state relation | checker status, conformance findings, trace coverage, or generated artifact paths | `bounded` | Download the pinned tla2tools.jar into the cache when the checker is unavailable. |
 
 Use this shortlist first. Open [`../_shared/SKILL.md`](../_shared/SKILL.md) only when it is insufficient.
 <!-- END GENERATED SKILL COMMANDS -->

package/skills/scip-triage-issue/SKILL.md

@@ -2,18 +2,18 @@
 name: scip-triage-issue
 description: Triage issues with scip-query evidence. Use for bug reports, GitHub issues, failing tests, support reports, TODOs, vague defects, root-cause packets, issue bodies, or test-first fix plans.
 commands:
-  - template: "scip-query files <issue-term>"
-    when: "Map ownership: locate files for the reported term."
-  - template: "scip-query trace <entry-or-error-symbol>"
-    when: "Trace the failing path: definition plus every reference."
-  - template: "scip-query code <entry-or-error-symbol>"
-    when: "Trace the failing path: read the exact source."
-  - template: "scip-query call-graph <entry-symbol>"
-    when: "Trace the failing path: callers and callees."
-  - template: "scip-query similar <suspect-symbol> --json --full"
-    when: "Compare and bound: nearby implementations for missing handling."
-  - template: "scip-query affected <symbol> --json"
-    when: "Compare and bound: transitive impact bound for the fix plan."
+  - template: 'scip-query files <issue-term>'
+    when: 'Map ownership: locate files for the reported term.'
+  - template: 'scip-query trace <entry-or-error-symbol>'
+    when: 'Trace the failing path: definition plus every reference.'
+  - template: 'scip-query code <entry-or-error-symbol>'
+    when: 'Trace the failing path: read the exact source.'
+  - template: 'scip-query call-graph <entry-symbol>'
+    when: 'Trace the failing path: callers and callees.'
+  - template: 'scip-query similar <suspect-symbol> --json --full'
+    when: 'Compare and bound: nearby implementations for missing handling.'
+  - template: 'scip-query affected <symbol> --json'
+    when: 'Compare and bound: transitive impact bound for the fix plan.'
 ---
 
 # scip-triage-issue
@@ -25,14 +25,14 @@ Load shared mechanics from [`../_shared/SKILL.md`](../_shared/SKILL.md).
 <!-- BEGIN GENERATED SKILL COMMANDS -->
 ## Commands for this skill
 
-| Command | Purpose | When |
-| --- | --- | --- |
-| `scip-query files <issue-term>` | Find files matching a pattern | Map ownership: locate files for the reported term. |
-| `scip-query trace <entry-or-error-symbol>` | Trace a symbol: definition + all references | Trace the failing path: definition plus every reference. |
-| `scip-query code <entry-or-error-symbol>` | Read the source code for a symbol (bounded to its definition range) | Trace the failing path: read the exact source. |
-| `scip-query call-graph <entry-symbol>` | Show incoming callers and outgoing callees for a symbol | Trace the failing path: callers and callees. |
-| `scip-query similar <suspect-symbol> --json --full` | Find heuristic function similarity candidates from callee fingerprints | Compare and bound: nearby implementations for missing handling. |
-| `scip-query affected <symbol> --json` | Transitive closure of symbols that could break if this symbol changes | Compare and bound: transitive impact bound for the fix plan. |
+| Command | Purpose | Returns | Coverage | When |
+| --- | --- | --- | --- | --- |
+| `scip-query files <issue-term>` | Find files matching a pattern | matching file paths | `complete` | Map ownership: locate files for the reported term. |
+| `scip-query trace <entry-or-error-symbol>` | Trace a symbol: definition + all references | definition sites with source and signature; referencing files with line numbers | `bounded` | Trace the failing path: definition plus every reference. |
+| `scip-query code <entry-or-error-symbol>` | Read the source code for a symbol (bounded to its definition range) | definition identity, source, and line range | `complete` | Trace the failing path: read the exact source. |
+| `scip-query call-graph <entry-symbol>` | Show incoming callers and outgoing callees for a symbol | caller and callee symbol identities with files | `bounded` | Trace the failing path: callers and callees. |
+| `scip-query similar <suspect-symbol> --json --full` | Find heuristic function similarity candidates from callee fingerprints | symbol pairs, similarity scores, and shared evidence | `bounded` | Compare and bound: nearby implementations for missing handling. |
+| `scip-query affected <symbol> --json` | Transitive closure of symbols that could break if this symbol changes | affected symbol identities, files, and traversal depths | `bounded` | Compare and bound: transitive impact bound for the fix plan. |
 
 Use this shortlist first. Open [`../_shared/SKILL.md`](../_shared/SKILL.md) only when it is insufficient.
 <!-- END GENERATED SKILL COMMANDS -->
@@ -98,28 +98,35 @@ This step is complete only when the packet has a narrow test shape and impact bo
 
 ```markdown
 ## Issue
+
 <one-sentence mismatch>
 
 ## Reproduction
+
 <steps, command, failing test, or missing data>
 
 ## Evidence
+
 - <scip-query command>: <fact>
 
 ## Suspected Root Cause
+
 <earliest code fact that explains the symptom>
 
 ## Impact
+
 - users/surfaces affected
 - blast radius
 
 ## Fix Plan
+
 1. Add or update failing test/smoke check.
 2. Make the smallest code change.
 3. Run targeted test.
 4. Invoke `scip-verify`.
 
 ## Open Questions
+
 - <product intent or external state only>
 ```
 

package/skills/scip-twin-drift/SKILL.md

@@ -2,16 +2,16 @@
 name: scip-twin-drift
 description: Find and resolve twin drift with scip-query. Use for same-name or near-name functions across files with diverged bodies, drifted policy thresholds, one-sided fixes, or consolidating a duplicated concept into one canonical helper.
 commands:
-  - template: "scip-query twin-drift --json --full"
-    when: "Run the detector: every DIVERGENT and near-name group in scope."
-  - template: "scip-query duplicate-bodies --json --full"
+  - template: 'scip-query twin-drift --json --full'
+    when: 'Run the detector: every DIVERGENT and near-name group in scope.'
+  - template: 'scip-query duplicate-bodies --json --full'
     when: "Cross-check: IDENTICAL groups are duplicate-bodies' job, not this skill's."
-  - template: "scip-query code <symbol>"
+  - template: 'scip-query code <symbol>'
     when: "Classify a divergent group: read every member's body."
-  - template: "scip-query refs <symbol>"
-    when: "Pick the canonical twin: consumer count per member."
-  - template: "scip-query diff-gate --json"
-    when: "Verify: the twin-partner check must not flag a one-sided fix."
+  - template: 'scip-query refs <symbol>'
+    when: 'Pick the canonical twin: consumer count per member.'
+  - template: 'scip-query diff-gate --json'
+    when: 'Verify: the twin-partner check must not flag a one-sided fix.'
 ---
 
 # scip-twin-drift
@@ -23,13 +23,13 @@ Load shared mechanics from [`../_shared/SKILL.md`](../_shared/SKILL.md).
 <!-- BEGIN GENERATED SKILL COMMANDS -->
 ## Commands for this skill
 
-| Command | Purpose | When |
-| --- | --- | --- |
-| `scip-query twin-drift --json --full` | Twin drift candidates: same-name (or near-name) functions across files with diverged bodies | Run the detector: every DIVERGENT and near-name group in scope. |
-| `scip-query duplicate-bodies --json --full` | Find exact duplicate small-body candidates across files | Cross-check: IDENTICAL groups are duplicate-bodies' job, not this skill's. |
-| `scip-query code <symbol>` | Read the source code for a symbol (bounded to its definition range) | Classify a divergent group: read every member's body. |
-| `scip-query refs <symbol>` | Find all files referencing a symbol | Pick the canonical twin: consumer count per member. |
-| `scip-query diff-gate --json` | Gate the current diff: architecture regressions plus echo, migration, coordination, doc-drift, unused-param, and new-dead candidates; exit 1 on blocking findings | Verify: the twin-partner check must not flag a one-sided fix. |
+| Command | Purpose | Returns | Coverage | When |
+| --- | --- | --- | --- | --- |
+| `scip-query twin-drift --json --full` | Twin drift candidates: same-name (or near-name) functions across files with diverged bodies | twin symbol pairs, history, and divergence evidence | `bounded` | Run the detector: every DIVERGENT and near-name group in scope. |
+| `scip-query duplicate-bodies --json --full` | Find exact duplicate small-body candidates across files | callable groups with exact normalized-body identity | `bounded` | Cross-check: IDENTICAL groups are duplicate-bodies' job, not this skill's. |
+| `scip-query code <symbol>` | Read the source code for a symbol (bounded to its definition range) | definition identity, source, and line range | `complete` | Classify a divergent group: read every member's body. |
+| `scip-query refs <symbol>` | Find all files referencing a symbol | referencing file paths; reference line numbers grouped by file | `bounded` | Pick the canonical twin: consumer count per member. |
+| `scip-query diff-gate --json` | Gate the current diff: architecture regressions plus echo, migration, coordination, doc-drift, unused-param, and new-dead candidates; exit 1 on blocking findings | blocking findings with check id, message, and remediation; advisory findings; root-cause groups; changed file and symbol counts; process exit status (1 when blocking findings exist) | `bounded` | Verify: the twin-partner check must not flag a one-sided fix. |
 
 Use this shortlist first. Open [`../_shared/SKILL.md`](../_shared/SKILL.md) only when it is insufficient.
 <!-- END GENERATED SKILL COMMANDS -->
@@ -81,7 +81,7 @@ This step is complete only when every DIVERGENT group is either consolidated (wi
 
 ### 4. Verify
 
-Rerun the detector to confirm consolidated groups no longer appear as DIVERGENT, then run the routed postchecks from the shared reference and:
+Rerun the detector to confirm consolidated groups no longer appear as DIVERGENT, then run the routed postchecks from `scip-verify` and:
 
 ```bash
 scip-query diff-gate --json
@@ -98,10 +98,12 @@ Scope:
 Groups found: N (M divergent, K suppressed homonyms)
 
 Divergent groups:
+
 - <leaf name> (<files>) — classification: intentional variation / drifted policy / one-sided fix
   - action: consolidated into <canonical file:symbol> / reason kept separate
 
 Verification:
+
 - `scip-query twin-drift --json --full`: <result>
 - `scip-query diff-gate --json`: <result>
 ```

package/skills/scip-verify/SKILL.md

@@ -25,14 +25,14 @@ Load shared mechanics from [`../_shared/SKILL.md`](../_shared/SKILL.md).
 <!-- BEGIN GENERATED SKILL COMMANDS -->
 ## Commands for this skill
 
-| Command | Purpose | When |
-| --- | --- | --- |
-| `scip-query doctor` | Diagnose config, index freshness, dependency readiness, and project capabilities | Prove the workspace: index freshness and dependency readiness. |
-| `scip-query status --capabilities` | Show index status for this project | Prove the workspace: which evidence and verification capabilities are available. |
-| `scip-query diff-impact --json` | Compute changed symbols and downstream consumers from current git diff | Assess the diff: changed symbols and downstream consumers. |
-| `scip-query diff-gate --json` | Gate the current diff: architecture regressions plus echo, migration, coordination, doc-drift, unused-param, and new-dead candidates; exit 1 on blocking findings | Run the gate: the primary blocker for diff-specific risk. |
-| `scip-query health --baseline` | Composite codebase health report with prioritized action list | Check health: compare findings against the committed baseline. |
-| `scip-query doc-drift --json --full` | Stale-doc candidates: code the doc references or co-changed with kept changing after the doc stopped | Check docs: run when docs, AGENTS.md, or command surfaces changed. |
+| Command | Purpose | Returns | Coverage | When |
+| --- | --- | --- | --- | --- |
+| `scip-query doctor` | Diagnose config, index freshness, dependency readiness, and project capabilities | config, freshness, dependency, and capability diagnostics | `complete` | Prove the workspace: index freshness and dependency readiness. |
+| `scip-query status --capabilities` | Show index status for this project | freshness, generation, language shards, watcher, and optional capabilities | `complete` | Prove the workspace: which evidence and verification capabilities are available. |
+| `scip-query diff-impact --json` | Compute changed symbols and downstream consumers from current git diff | changed symbols, downstream consumer identities, and impact paths | `bounded` | Assess the diff: changed symbols and downstream consumers. |
+| `scip-query diff-gate --json` | Gate the current diff: architecture regressions plus echo, migration, coordination, doc-drift, unused-param, and new-dead candidates; exit 1 on blocking findings | blocking findings with check id, message, and remediation; advisory findings; root-cause groups; changed file and symbol counts; process exit status (1 when blocking findings exist) | `bounded` | Run the gate: the primary blocker for diff-specific risk. |
+| `scip-query health --baseline` | Composite codebase health report with prioritized action list | health score, findings, priorities, baselines, and coverage notes | `bounded` | Check health: compare findings against the committed baseline. |
+| `scip-query doc-drift --json --full` | Stale-doc candidates: code the doc references or co-changed with kept changing after the doc stopped | document paths, coupled code subjects, and history evidence | `bounded` | Check docs: run when docs, AGENTS.md, or command surfaces changed. |
 
 Use this shortlist first. Open [`../_shared/SKILL.md`](../_shared/SKILL.md) only when it is insufficient.
 <!-- END GENERATED SKILL COMMANDS -->
@@ -69,7 +69,23 @@ This step is complete only when the diff shape is understood.
 
 ### 3. Run routed postchecks
 
-Use the postcheck table in the shared reference. Run all rows that apply to the change type.
+Run every row matching what the diff actually did — not only the check you expected to need:
+
+| Change made                                                                                             | Check                                                                            |
+| ------------------------------------------------------------------------------------------------------- | -------------------------------------------------------------------------------- |
+| Extracted a helper or abstraction                                                                       | `scip-query incomplete-migration`                                                |
+| Added a helper, module, component, hook, composable, or adapter                                         | `scip-query recent-duplicates` (and `similar <symbol>`)                          |
+| Added parameters, options, props, config flags, or option objects                                       | `scip-query unused-params`                                                       |
+| Added a wrapper, facade, forwarding layer, alias, or re-export                                          | `scip-query wrapper-candidates`, `passthrough-candidates`, `redundant-reexports` |
+| Added an interface, base class, adapter contract, or type alias                                         | `scip-query stale-abstractions`                                                  |
+| Changed schema, config, generated files, public contracts, command descriptors, or docs-backed behavior | `scip-query co-change <file>` and `doc-drift`                                    |
+| Deleted code                                                                                            | `scip-query cleanup-plan --verify`                                               |
+| Changed React components or hooks                                                                       | the React commands in the shared reference                                       |
+| Changed Vue SFCs or composables                                                                         | the Vue commands in the shared reference                                         |
+
+Add `--json --full` when you need an unbounded machine-readable result rather than the default.
+This is the authoritative edit-to-postcheck mapping; the shared reference links here instead of
+duplicating it.
 
 This step is complete only when each applicable postcheck has a result and every actionable finding is fixed, accepted with evidence, or blocked by a named constraint.