ucn 5.5.3 → 5.6.1

package/core/command-contracts.js

@@ -52,7 +52,7 @@ const COMMAND_CONTRACTS = Object.freeze({
             { name: 'definition', when: 'Default or `type` is a symbol kind such as function/class.', answer: 'Matching indexed definitions with location and signature metadata.' },
             { name: 'type lookup', when: '`type=type`.', answer: 'Type-definition records rather than general name matches.' },
         ],
-        defaults: ['Substring matching unless `exact=true`.', 'Tests excluded unless `includeTests=true`.', '`limit` is the single result cap; `withSource=true` attaches exact bodies.'],
+        defaults: ['Substring matching unless `exact=true`.', 'Test definitions included unless `includeTests=false`.', '`limit` is the single result cap; `withSource=true` attaches exact bodies.'],
         truth: 'Results are exact records from the static symbol index; usage counts are static indexed occurrences.',
         nonGoals: ['Text search inside comments or configuration.', 'Compiler overload resolution across external dependencies.'],
         invalidCombinations: ['A missing name is rejected.'],
@@ -183,9 +183,9 @@ const COMMAND_CONTRACTS = Object.freeze({
         target: 'Optional symbol/handle. Omitting it selects diff/precommit mode.',
         modes: [
             { name: 'symbol', when: 'A symbol target is supplied; `base` names the revision whose declaration its call sites were written against.', answer: 'Argument-count compatibility, uncertain sites, and the caller account.' },
-            { name: 'diff', when: 'No target is supplied; `base` or `staged` selects changes.', answer: 'Composed diff impact, signature checks, and affected tests.' },
+            { name: 'diff', when: 'No target is supplied; `base` or `staged` selects changes.', answer: 'A verdict per changed symbol by what the change did: blocked (a break was observed, every site listed), review (change exposure or call requirements not settled, reason named) or ready (no unresolved exposure in the modeled checks, not compiler or runtime proof); TRUST is the worst of them. Affected tests.' },
         ],
-        defaults: ['Symbol mode checks static arity, not compiler type compatibility.', '`base` defaults to HEAD in both modes.'],
+        defaults: ['Symbol mode checks static arity, not compiler type compatibility.', '`base` defaults to HEAD in both modes.', 'Diff mode: `staged` reads the staged tree from the git index, never the worktree; `strict` makes REVIEW_REQUIRED fail as BLOCKED does.'],
         truth: 'Findings are static diagnostics with explicit uncertainty; a clean result is not a compiler/test pass.',
         nonGoals: ['Full type checking.', 'Linting or executing project tests.'],
         invalidCombinations: [
@@ -193,24 +193,25 @@ const COMMAND_CONTRACTS = Object.freeze({
             '`base` and `staged` cannot both select the diff.',
         ],
         examples: ['ucn check publishOrderCreated', 'ucn check publishOrderCreated --base=main', 'ucn check --staged'],
-        jsonData: 'Symbol mode returns signature, valid/mismatched/uncertain sites and accounting; diff mode returns composed diagnostics.',
+        jsonData: 'Symbol mode returns signature, valid/mismatched/uncertain sites and accounting; diff mode returns each changed symbol with `verdict` and `reasons`, and `trust` with `status` and `passes`.',
         output: 'Broad diagnostic; scope to a symbol or focused Git diff.',
         next: ['Run the language compiler/type checker and selected tests.', 'Use `plan` before a signature refactor.'],
         benchmark: 'A10',
     }),
     plan: contract({
         question: 'What exact indexed edits would this proposed refactor require?',
-        purpose: 'Preview rename or parameter-shape edits without mutating files.',
+        purpose: 'Preview rename or parameter-shape edits, or assess a deletion, without mutating files.',
         target: 'Required symbol name or stable handle plus one refactor operation.',
         modes: [
             { name: 'rename', when: '`renameTo` is supplied.', answer: 'Selected declaration plus indexed call/reference/import/export edit previews and source-text review items.' },
             { name: 'add parameter', when: '`addParam` is supplied.', answer: 'Selected declaration and call-site preview, optionally with a default.' },
             { name: 'remove parameter', when: '`removeParam` is supplied.', answer: 'Selected declaration and affected call-site preview.' },
+            { name: 'delete', when: '`delete` is supplied.', answer: 'A deletion assessment of the selected declaration: `no-static-dependents`, `has-static-dependents` or `review`, with the reason. The same rule the dead-code audit applies to every name.' },
         ],
         defaults: ['Preview only; no file writes.'],
         truth: 'Changes are derived from indexed definitions/usages, include the selected declaration, and retain unverified/blocked or needs-review evidence separately; non-source files receive an explicit exact-text search handoff.',
-        nonGoals: ['Applying edits.', 'Guaranteeing the preview compiles.'],
-        invalidCombinations: ['Exactly one of rename, add-parameter, or remove-parameter is required.', '`defaultValue` only applies to add-parameter.'],
+        nonGoals: ['Applying edits.', 'Guaranteeing the preview compiles.', 'Guaranteeing a deletion is safe: a deletion assessment is static evidence.'],
+        invalidCombinations: ['Exactly one of rename, add-parameter, remove-parameter, or delete is required.', '`defaultValue` only applies to add-parameter.'],
         examples: ['ucn plan parseRequest --rename-to=parseIncoming', 'ucn plan parseRequest --add-param=context --default-value=null'],
         jsonData: 'Before/after signatures, concrete declaration/call/reference/import/export previews, changeSummary, reviewItems, non-source handoff, unverified sites, and account metadata.',
         output: 'Targeted refactor preview; inspect every unverified or warning entry.',