dsh-logicprobe 0.8.1 → 1.0.0

package/lib/uml.js

@@ -30,7 +30,7 @@
  *
  * @module logicprobe-uml
  */
-import { validateModel, modelHash } from './engine.js';
+import { REPORT_SCHEMAS, validateModel, modelHash, metadataKeysOf, narrativeComplete, narrativeCoverageOf, verdictOfFindings, DEFAULT_HASH_SPEC } from './engine.js';
 export const UML_NOTATIONS = ['mermaid', 'plantuml'];
 export const UML_DIAGRAMS = ['state', 'activity', 'sequence'];
 /** Marker every generated diagram carries; renderers ignore it, the parser uses it. */
@@ -41,7 +41,16 @@ const UNSAFE_LABEL = /[[\]/\n\r\t]/;
 const RESERVED_NODE_IDS = new Set(['end', 'graph', 'subgraph', 'class', 'classDef', 'click', 'style', 'linkStyle', 'direction']);
 /** Ids the notation can spell without an alias. */
 const PLAIN_ID = /^[A-Za-z_][A-Za-z0-9_]*$/;
+/**
+ * A UML front-end refusal. `code` lets the tool report *why* it refused instead of
+ * collapsing every refusal into a generic input error.
+ */
 export class UmlError extends Error {
+    code;
+    constructor(message, code = 'UML_INPUT') {
+        super(message);
+        this.code = code;
+    }
 }
 // ---------------------------------------------------------------------------
 // Shared helpers
@@ -538,11 +547,36 @@ function parseTransitionLabel(label, warnings) {
         throw new UmlError('transition label "' + label + '" carries no event name; label the arrow as `event [guard] / actions`');
     return { event, ...(guard === undefined ? {} : { guard }), ...(updates === undefined ? {} : { updates }) };
 }
+/**
+ * Mermaid diagram-family headers that are neither a state machine nor a flow.
+ * Recognizing them matters twice: the text must not be reported as "cannot tell
+ * whether this is Mermaid or PlantUML", and it must not be parsed as a state
+ * diagram — every line of it would be ignored or misread, and the empty model that
+ * comes out would be presented as if it described the file.
+ */
+const MERMAID_OTHER_FAMILIES = [
+    'classDiagram', 'erDiagram', 'gantt', 'pie', 'journey', 'mindmap', 'gitGraph',
+    'C4Context', 'C4Container', 'C4Component', 'C4Dynamic', 'C4Deployment',
+    'requirementDiagram', 'timeline', 'quadrantChart', 'sankey-beta', 'block-beta',
+    'packet-beta', 'architecture-beta', 'radar-beta', 'treemap-beta', 'xychart-beta',
+];
+/** The other-family header this text declares, if any. */
+function otherMermaidFamily(text) {
+    for (const family of MERMAID_OTHER_FAMILIES) {
+        if (new RegExp('^\\s*' + family + '\\b', 'm').test(text))
+            return family;
+    }
+    return undefined;
+}
 function detectNotation(text) {
     if (/^\s*@start/m.test(text))
         return 'plantuml';
     if (/^\s*(stateDiagram|stateDiagram-v2|flowchart|graph|sequenceDiagram)\b/m.test(text))
         return 'mermaid';
+    // A known Mermaid family is still Mermaid: say so, and let detectDiagram refuse it
+    // by name instead of blaming the notation.
+    if (otherMermaidFamily(text) !== undefined)
+        return 'mermaid';
     throw new UmlError('cannot tell whether this is Mermaid or PlantUML text: expected `stateDiagram-v2` / `flowchart` / `sequenceDiagram`, or `@startuml`');
 }
 function detectDiagram(text) {
@@ -552,6 +586,10 @@ function detectDiagram(text) {
         return 'activity';
     if (/^\s*sequenceDiagram\b/m.test(text))
         return 'sequence';
+    const family = otherMermaidFamily(text);
+    if (family !== undefined) {
+        throw new UmlError('`' + family + '` is not a state or activity diagram: logicprobe models state machines and flows, so this diagram family cannot be parsed into a LogicModelV1. Discarded: ' + family + ' ×1. Render the machine with logicprobe_uml action=render and keep this diagram as its own view.', 'UML_NOT_A_STATE_DIAGRAM');
+    }
     if (/^\s*@startuml/m.test(text)) {
         // PlantUML declares the diagram kind by its body; the state keyword is the only
         // structural one logicprobe emits, everything else in that family is a state diagram too.
@@ -767,10 +805,50 @@ function inferVariables(transitions, declared) {
     }
     return [...kinds.entries()].map(([name, kind]) => ({ name, kind, init: kind === 'boolean' ? false : 0 }));
 }
+/**
+ * PlantUML keywords that declare a construct LogicModelV1 has no place for. Their
+ * presence marks the text as a component, package, class, deployment or database
+ * diagram — a different diagram family. A state parser still reads *something* out of
+ * such a file (the arrows look like transitions), which is why the discarded
+ * declarations are collected and reported instead of being ignored.
+ */
+const PLANTUML_OTHER_CONSTRUCT = /^(component|package|class|interface|enum|enumeration|object|actor|usecase|node|artifact|database|rectangle|folder|frame|cloud|storage|collections|queue|stack|agent|boundary|control|entity|deployment|protocol|struct|exception|metaclass|stereotype|circle|hexagon|label|port|portin|portout)\b/i;
+/** The node identifier a declaration introduces, when it has one (`… as ID`, or a bare `component ID`). */
+function declaredIdentifier(text) {
+    const alias = /\bas\s+([A-Za-z_][A-Za-z0-9_]*)\s*;?$/.exec(text);
+    if (alias !== null)
+        return alias[1];
+    const bare = /^[A-Za-z]+\s+([A-Za-z_][A-Za-z0-9_]*)\s*;?$/.exec(text);
+    return bare === null ? undefined : bare[1];
+}
+/**
+ * Findings a parse result carries on its own. A diagram from another family parses
+ * into something; without this finding that something is presented as a model of the
+ * file, which is a false guarantee of exactly the kind this plugin exists to prevent.
+ */
+export function parseFindings(parsed) {
+    if (parsed.discardedConstructs.length === 0)
+        return [];
+    const counts = new Map();
+    for (const entry of parsed.discardedConstructs)
+        counts.set(entry.construct, (counts.get(entry.construct) ?? 0) + 1);
+    const summary = [...counts.entries()]
+        .sort(([left], [right]) => (left < right ? -1 : left > right ? 1 : 0))
+        .map(([construct, count]) => construct + ' ×' + String(count))
+        .join(', ');
+    const shown = parsed.discardedConstructs.slice(0, 12).map((entry) => 'line ' + String(entry.line) + ': ' + entry.text).join(' | ');
+    return [{
+            code: 'UML_NOT_A_STATE_DIAGRAM',
+            severity: 'error',
+            message: 'the text is not a state or activity diagram: ' + String(parsed.discardedConstructs.length) + ' declaration(s) of unsupported construct(s) (' + summary + ') and ' + String(parsed.discardedEdges) + ' arrow(s) between them were read as states and transitions, so the parsed model is not this diagram.',
+            detail: shown + (parsed.discardedConstructs.length > 12 ? ' | … ' + String(parsed.discardedConstructs.length - 12) + ' more' : ''),
+        }];
+}
 function parseStateDiagram(text, notation) {
     const lines = text.split(/\r?\n/);
     const { directives, body } = readDirectives(lines, notation);
-    const raw = { states: [], display: new Map(), edges: [], terminals: [], finalMarks: [], warnings: [] };
+    const raw = { states: [], display: new Map(), edges: [], terminals: [], finalMarks: [], warnings: [], discarded: [], discardedNodes: new Set() };
+    let discardedEdges = 0;
     const declared = new Set();
     const declare = (name) => { if (!declared.has(name)) {
         declared.add(name);
@@ -779,49 +857,74 @@ function parseStateDiagram(text, notation) {
     const skip = notation === 'mermaid'
         ? /^(stateDiagram|stateDiagram-v2|direction\b|classDef\b|class\b|style\b|linkStyle\b|click\b|hide\b|scale\b|title\b|accTitle\b|accDescr\b|%%\{)/
         : /^(@startuml|@enduml|scale\b|skinparam\b|title\b|hide\b|left to right direction|top to bottom direction|autonumber|!theme)/;
-    for (const rawLine of body) {
+    let inNote = false;
+    body.forEach((rawLine, index) => {
         const line = rawLine.trim();
         if (line === '' || (line.startsWith('--') && !line.includes('-->')))
-            continue;
+            return;
         if (skip.test(line))
-            continue;
+            return;
+        const noteStart = /^note\b/i.test(line);
+        const noteEnd = /^end\s*note$/i.test(line);
+        if (notation === 'plantuml' && !inNote && !noteStart && !noteEnd) {
+            const other = PLANTUML_OTHER_CONSTRUCT.exec(line);
+            if (other !== null) {
+                raw.discarded.push({ construct: other[1].toLowerCase(), line: index + 1, text: line });
+                const id = declaredIdentifier(line);
+                if (id !== undefined)
+                    raw.discardedNodes.add(id);
+                return;
+            }
+        }
+        if (noteEnd) {
+            inNote = false;
+            return;
+        }
+        // A multi-line note body is prose, not a statement: skip it silently rather than
+        // reporting one ignored line per line of text.
+        if (inNote)
+            return;
+        if (noteStart && !/:\s*.+$/.test(line)) {
+            inNote = true;
+            return;
+        }
         const note = /^note\s+(?:over|right of|left of)\s+([A-Za-z_][A-Za-z0-9_]*)\s*:\s*(.+)$/i.exec(line);
         if (note !== null) {
             declare(note[1]);
             const existing = raw.display.get(note[1]);
             if (existing === undefined)
                 raw.display.set(note[1], note[2].trim());
-            continue;
+            return;
         }
-        if (/^note\b/i.test(line) || /^end\s*note$/i.test(line))
-            continue;
+        if (noteStart)
+            return;
         const stateDecl = /^state\s+"([^"]*)"\s+as\s+([A-Za-z_][A-Za-z0-9_]*)$/.exec(line);
         if (stateDecl !== null) {
             declare(stateDecl[2]);
             raw.display.set(stateDecl[2], stateDecl[1]);
-            continue;
+            return;
         }
         const bareState = /^state\s+([A-Za-z_][A-Za-z0-9_]*)\s*\{?$/.exec(line);
         if (bareState !== null) {
             declare(bareState[1]);
-            continue;
+            return;
         }
         const concurrency = /^\}\s*$|^--\s*$/.test(line);
         if (concurrency) {
             raw.warnings.push('UML_PARSE_CONCURRENCY_FLATTENED: a concurrency region or composite block was flattened; LogicModelV1 has no region construct (use logicprobe_compose_verify for parallel machines).');
-            continue;
+            return;
         }
         const composite = /^state\s+(.+)\s*\{$/.exec(line);
         if (composite !== null) {
             raw.warnings.push('UML_PARSE_COMPOSITE_FLATTENED: composite state "' + composite[1].trim() + '" was flattened into its members.');
-            continue;
+            return;
         }
         const description = /^([A-Za-z_][A-Za-z0-9_]*)\s*:\s*(.+)$/.exec(line);
         if (description !== null) {
             declare(description[1]);
             if (!raw.display.has(description[1]))
                 raw.display.set(description[1], description[2].trim());
-            continue;
+            return;
         }
         const edge = /^(.+?)\s*-->\s*(.+?)(?:\s*:\s*(.*))?$/.exec(line);
         if (edge !== null) {
@@ -835,27 +938,29 @@ function parseStateDiagram(text, notation) {
                 else {
                     raw.initialState = to;
                 }
-                continue;
+                return;
             }
             if (to === '[*]') {
                 raw.finalMarks.push(from);
-                continue;
+                return;
             }
             declare(from);
             declare(to);
+            if (raw.discardedNodes.has(from) || raw.discardedNodes.has(to))
+                discardedEdges += 1;
             raw.edges.push({ from, to, label });
-            continue;
+            return;
         }
         raw.warnings.push('UML_PARSE_IGNORED_LINE: "' + line + '" is not a state diagram statement; it was ignored.');
-    }
+    });
     const model = rawToModel(raw, directives, raw.warnings);
     const labels = mapLabels(raw.display, directives);
-    return { notation, diagram: 'state', model, labels, warnings: raw.warnings };
+    return { notation, diagram: 'state', model, labels, discardedConstructs: raw.discarded, discardedEdges, warnings: raw.warnings };
 }
 function parseActivityDiagram(text, notation) {
     const lines = text.split(/\r?\n/);
     const { directives, body } = readDirectives(lines, notation);
-    const raw = { states: [], display: new Map(), edges: [], terminals: [], finalMarks: [], warnings: [] };
+    const raw = { states: [], display: new Map(), edges: [], terminals: [], finalMarks: [], warnings: [], discarded: [], discardedNodes: new Set() };
     const declared = new Set();
     const declare = (name) => { if (!declared.has(name)) {
         declared.add(name);
@@ -906,7 +1011,7 @@ function parseActivityDiagram(text, notation) {
     }
     const model = rawToModel(raw, directives, raw.warnings);
     const labels = mapLabels(raw.display, directives);
-    return { notation, diagram: 'activity', model, labels, warnings: raw.warnings };
+    return { notation, diagram: 'activity', model, labels, discardedConstructs: [], discardedEdges: 0, warnings: raw.warnings };
 }
 /**
  * Read one node reference (`A`, `A["label"]`, `A(["label"])`) and register the id
@@ -944,6 +1049,47 @@ function mapLabels(display, directives) {
         out[directives.aliases.get(name) ?? name] = label;
     return out;
 }
+/**
+ * What the front end expects of labels and comments, so "why does my hand-drawn diagram
+ * report label drift or ignored lines?" has a printed answer instead of a guess.
+ * `tests/uml/run.mjs` feeds every claim here back through the parser, so this text cannot
+ * drift away from the behaviour it describes.
+ */
+export function explainLabels(notation = 'mermaid') {
+    const prefix = commentPrefix(notation);
+    return {
+        notation,
+        directivePrefix: prefix + DIRECTIVE_NAMESPACE,
+        directiveLines: [
+            { example: prefix + DIRECTIVE_NAMESPACE + 'uml v1 notation=' + notation + ' diagram=state', meaning: 'declares the notation and diagram kind the file was rendered for' },
+            { example: prefix + DIRECTIVE_NAMESPACE + 'init ID', meaning: 'pins the initial state (otherwise it is inferred as the only state nothing enters)' },
+            { example: prefix + DIRECTIVE_NAMESPACE + 'terminal ID', meaning: 'marks a terminal state; comma-separate several' },
+            { example: prefix + DIRECTIVE_NAMESPACE + 'alias NOTATION_ID model_id', meaning: 'restores a state id the notation cannot spell verbatim' },
+            { example: prefix + DIRECTIVE_NAMESPACE + 'variable NAME integer', meaning: 'restores a variable and its kind' },
+        ],
+        acceptedLabelForms: [
+            { form: 'bare id', example: 'state "IDLE" as IDLE', note: 'counts as NO meaning: the state stays undocumented (UML014)' },
+            { form: 'ID（meaning）', example: 'state "IDLE（waiting for power）" as IDLE', note: 'the form the renderer writes; full-width parentheses' },
+            { form: 'ID(meaning)', example: 'state "IDLE(waiting for power)" as IDLE', note: 'accepted as well' },
+            { form: 'a description line', example: 'IDLE : waiting for power', note: 'the same meaning written as a state description' },
+            { form: 'a single-line note', example: 'note right of IDLE : waiting for power', note: 'read as the state meaning, not as a comment' },
+            { form: 'any other text', example: 'state "waiting for power" as IDLE', note: 'taken as the meaning verbatim' },
+        ],
+        renderedForm: 'state "ID（meaning）" as ID',
+        ignoredLines: [
+            { pattern: 'a `' + prefix + '` comment line that is not a `logicprobe:` directive', behaviour: 'UML_PARSE_IGNORED_LINE warning: it carries no state-machine statement' },
+            { pattern: 'a `note …` block written over several lines', behaviour: 'skipped silently (a block is not a state meaning)' },
+            { pattern: 'notation chrome: @startuml/@enduml, stateDiagram-v2, direction, classDef/style/linkStyle/click, scale, skinparam, title, hide, autonumber', behaviour: 'skipped silently' },
+            { pattern: 'anything else the parser cannot read', behaviour: 'UML_PARSE_IGNORED_LINE warning, and the model is built from what it did read' },
+        ],
+        rules: [
+            'Label drift (UML015) compares the meaning inside the label with narrative.states[id]: the wrapper is stripped, the remaining text must match character for character.',
+            'A meaning that differs only in wording is still drift — one of the two is stale, and the review cannot tell which.',
+            'Keep non-directive comments out of the diagram: `logicprobe:` directives are the only comment lines the parser consumes.',
+            'A missing label is not an error: the state renders as its bare id and is reported as undocumented (UML014).',
+        ],
+    };
+}
 /**
  * Parse a Mermaid or PlantUML diagram back into a LogicModelV1.
  *
@@ -959,7 +1105,7 @@ export function parseUml(text, notation = 'auto') {
     const resolved = notation === 'auto' ? detectNotation(text) : notation;
     const kind = detectDiagram(text);
     if (kind === 'sequence') {
-        throw new UmlError('a sequence diagram is a trace, not a machine: parsing it would drop every branch the trace did not walk. Render diagram "state" or "activity" and parse that instead.');
+        throw new UmlError('a sequence diagram is a trace, not a machine: parsing it would drop every branch the trace did not walk. Render diagram "state" or "activity" and parse that instead.', 'UML_NOT_A_STATE_DIAGRAM');
     }
     return kind === 'state' ? parseStateDiagram(text, resolved) : parseActivityDiagram(text, resolved);
 }
@@ -1198,9 +1344,24 @@ function structuralFindings(model, labels, warnings) {
             code: 'UML013_NO_NARRATIVE',
             severity: 'info',
             message: 'the model carries no narrative block: no state, event or scenario has a natural-language meaning, so a reader must re-derive every symbol from the source.',
-            detail: 'Add narrative.states / narrative.events / narrative.scenarios — the schema requires all three and full coverage once the block is present.',
+            detail: 'Add narrative.states / narrative.events / narrative.scenarios — a partial narrative is valid and its coverage is reported; write the states first and fill the rest in later.',
         });
     }
+    else {
+        // A narrative that covers part of the model is valid: states first, events and
+        // scenarios later is the natural authoring order. The gap is reported as coverage
+        // (and as this info finding), never as a validation failure.
+        const coverage = narrativeCoverageOf(model);
+        if (coverage !== undefined && !narrativeComplete(coverage)) {
+            findings.push({
+                code: 'UML027_NARRATIVE_PARTIAL',
+                severity: 'info',
+                message: 'the narrative covers part of the model: states ' + coverage.states + ', events ' + coverage.events + ', scenarios ' + coverage.scenarios + '. Every uncovered symbol still has to be re-derived from the source.',
+                detail: 'narrativeCoverage carries the same numbers; complete the missing entries when the behaviour settles.',
+                evidence: { narrativeCoverage: coverage },
+            });
+        }
+    }
     const documented = labels === undefined ? undefined : Object.keys(labels).filter((id) => documentedMeaning(labels[id], id) !== undefined);
     if (documented !== undefined) {
         const undocumented = model.states.map((state) => state.id).filter((id) => documentedMeaning(labels?.[id], id) === undefined);
@@ -1314,12 +1475,14 @@ function roundTripOf(model, notation, diagram, maxSteps) {
             notation,
             diagram,
             ok: diffs.length === 0,
+            hashSpec: DEFAULT_HASH_SPEC,
             modelHash: modelHash(model),
             parsedHash: modelHash(parsed.model),
             diffs,
             warnings: [...rendered.warnings, ...parsed.warnings],
         },
         primary: rendered.primary,
+        parsed,
     };
 }
 /** Compare two machines by structure — the fidelity measure behind the round-trip check. */
@@ -1395,18 +1558,28 @@ export function reviewUml(options) {
     let parsed;
     let primary;
     let roundTrip = null;
+    const metadataKeys = metadataKeysOf(hasModel ? options.model : undefined);
+    const metadata = metadataKeys.length === 0 ? {} : { metadataKeys };
+    let discardedConstructs = [];
+    let discardedEdges = 0;
     if (hasDiagram) {
         try {
             parsed = parseUml(options.diagram, options.notation ?? 'auto');
         }
         catch (error) {
             const message = error instanceof Error ? error.message : String(error);
+            const unreadable = { code: 'UML001_DIAGRAM_UNREADABLE', severity: 'error', message, detail: 'The diagram could not be read as a Mermaid/PlantUML state or activity diagram.' };
             return {
                 ok: false,
+                ran: true,
+                ...verdictOfFindings([unreadable]),
+                schema: REPORT_SCHEMAS.umlReview,
                 source: hasModel ? 'model+diagram' : 'diagram',
                 summary: { errors: 1, warnings: 0, info: 0, states: 0, events: 0, transitions: 0, terminalStates: 0, reachableStates: 0, documentedStates: 0 },
-                findings: [{ code: 'UML001_DIAGRAM_UNREADABLE', severity: 'error', message, detail: 'The diagram could not be read as a Mermaid/PlantUML state or activity diagram.' }],
+                findings: [unreadable],
                 roundTrip: null,
+                ...metadata,
+                hashes: { hashSpec: DEFAULT_HASH_SPEC },
                 warnings,
                 nextSteps: ['Fix the diagram syntax (or render one from a model with logicprobe_uml action=render) and review again.'],
             };
@@ -1414,6 +1587,13 @@ export function reviewUml(options) {
         notation = parsed.notation;
         labels = parsed.labels;
         warnings.push(...parsed.warnings);
+        // A diagram from another family parses into something; that something must never
+        // be read as a model of this file, so the parse defects are review findings here too.
+        findings.push(...parseFindings(parsed));
+        if (parsed.discardedConstructs.length > 0) {
+            discardedConstructs = parsed.discardedConstructs;
+            discardedEdges = parsed.discardedEdges;
+        }
         if (hasModel) {
             model = compiledModel(options.model);
             const diffs = diffModels(model, parsed.model);
@@ -1421,6 +1601,7 @@ export function reviewUml(options) {
                 notation: parsed.notation,
                 diagram: parsed.diagram,
                 ok: diffs.length === 0,
+                hashSpec: DEFAULT_HASH_SPEC,
                 modelHash: modelHash(model),
                 parsedHash: modelHash(parsed.model),
                 diffs,
@@ -1511,9 +1692,12 @@ export function reviewUml(options) {
         ? (model.narrative?.states === undefined ? 0 : Object.keys(model.narrative.states).length)
         : Object.keys(labels).filter((id) => documentedMeaning(labels?.[id], id) !== undefined).length;
     const events = new Set(model.transitions.map((transition) => transition.event));
+    const narrativeCoverage = narrativeCoverageOf(model);
     const nextSteps = [];
     if (errors > 0)
         nextSteps.push('Resolve the error findings first — a diagram that cannot be read (or that disagrees with its model) will mislead every later review.');
+    if (findings.some((finding) => finding.code === 'UML_NOT_A_STATE_DIAGRAM'))
+        nextSteps.push('This text is not a state or activity diagram: keep it as its own view and model the machine as a state/activity diagram before reviewing it.');
     nextSteps.push('Run logicprobe_verify on this model for the behavioural checks (S1-S8 structural, A1-A14 adversarial); the review above covers modelling, not behaviour.');
     if (model.narrative === undefined)
         nextSteps.push('Add narrative.states/events/scenarios so the diagram is readable against the code.');
@@ -1521,6 +1705,9 @@ export function reviewUml(options) {
         nextSteps.push('Declare min/max (or boundaryChecks) before relying on A5 boundary probes.');
     return {
         ok: true,
+        ran: true,
+        ...verdictOfFindings(findings),
+        schema: REPORT_SCHEMAS.umlReview,
         source: hasModel && hasDiagram ? 'model+diagram' : (hasDiagram ? 'diagram' : 'model'),
         summary: {
             errors,
@@ -1538,6 +1725,13 @@ export function reviewUml(options) {
         ...(labels === undefined ? {} : { labels }),
         ...(hasDiagram ? { model } : {}),
         ...(primary === undefined ? {} : { primary }),
+        ...metadata,
+        ...(narrativeCoverage === undefined ? {} : { narrativeCoverage }),
+        hashes: {
+            hashSpec: DEFAULT_HASH_SPEC,
+            ...(roundTrip === null ? {} : { modelHash: roundTrip.modelHash, parsedHash: roundTrip.parsedHash }),
+        },
+        ...(discardedConstructs.length === 0 ? {} : { discardedConstructs, discardedEdges }),
         warnings,
         nextSteps,
     };

package/locale/en.json

@@ -0,0 +1,6 @@
+{
+  "meta": {
+    "title": "Logic Probe",
+    "description": "Verifies claims about designs and code. Facts go against the source. Behaviour goes through an executable model."
+  }
+}

package/locale/zh.json

@@ -0,0 +1,6 @@
+{
+  "meta": {
+    "title": "逻辑探针",
+    "description": "核验设计与代码里的声称：事实类对着源码查，行为类跑可执行模型。"
+  }
+}

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "dsh-logicprobe",
-  "version": "0.8.1",
-  "description": "Design document & plan claim verification — enumerate claims, verify against codebase facts, then escalate to state-machine verification (S1-S8/A1-A12, including budget/worst-case path-cost checks) and data-model verification (DS/DA/DD) for behavioral claims. Supports before/after regression, idempotency/monotonic/sequence/leads-to/atomicity constraints, and concurrency risk mining. Ships a native DeepSeek Harness (dsh) bundle that injects the claim-verification gate into the first model step.",
+  "version": "1.0.0",
+  "description": "Verifies claims about designs and code. Facts go against the source. Behaviour goes through an executable model: state machines, protocols, composition, data models, migrations. Structure diagrams are read as dependency graphs, at one level or several. Two reports can be compared for regression. Exports UPPAAL, TLA+, PRISM and SPIN input. Ships a native DeepSeek Harness bundle that injects the verification gate into the first model step.",
   "type": "module",
   "main": "lib/index.js",
   "types": "lib/types/index.d.ts",
@@ -12,13 +12,15 @@
     },
     "./cordis.patch.yml": "./cordis.patch.yml",
     "./client": "./lib/client.js",
-    "./package.json": "./package.json"
+    "./package.json": "./package.json",
+    "./locale/*.json": "./locale/*.json"
   },
   "files": [
     "lib",
     "src",
     "skills",
-    "cordis.patch.yml"
+    "cordis.patch.yml",
+    "locale"
   ],
   "dsh": {
     "engines": {
@@ -38,7 +40,7 @@
       ]
     },
     "compatibility": {
-      "dsh": "^0.1.0-rc.7 || ^0.1.1-rc.1 || ^0.1.2-alpha.2 || ^0.1.2-alpha.3 || ^0.1.2-alpha.4 || ^0.1.2-alpha.5 || ^0.1.2-rc.1 || ^0.1.3-alpha.1 || ^0.1.3-alpha.2 || ^0.1.5-alpha.1 || ^0.1.5-rc.1 || ^0.1.5-alpha.2 || ^0.1.5-rc.2 || ^0.1.5-rc.3 || ^0.1.6-alpha.1 || ^0.1.6-alpha.2 || ^0.1.7-alpha.1 || ^0.1.7-alpha.2 || ^0.1.7-rc.1 || ^0.1.7-rc.2 || ^0.2.0-rc.1 || ^0.2.1-alpha.1",
+      "dsh": "^0.1.0-rc.7 || ^0.1.1-rc.1 || ^0.1.2-alpha.2 || ^0.1.2-alpha.3 || ^0.1.2-alpha.4 || ^0.1.2-alpha.5 || ^0.1.2-rc.1 || ^0.1.3-alpha.1 || ^0.1.3-alpha.2 || ^0.1.5-alpha.1 || ^0.1.5-rc.1 || ^0.1.5-alpha.2 || ^0.1.5-rc.2 || ^0.1.5-rc.3 || ^0.1.6-alpha.1 || ^0.1.6-alpha.2 || ^0.1.7-alpha.1 || ^0.1.7-alpha.2 || ^0.1.7-rc.1 || ^0.1.7-rc.2 || ^0.2.0-rc.1 || ^0.2.1-alpha.1 || ^0.2.1-alpha.2",
       "dshReleases": {
         "0.1.0-rc.7": "compatible",
         "0.1.0-rc.8": "compatible",
@@ -64,7 +66,8 @@
         "0.1.7-rc.2": "compatible",
         "0.2.0-rc.1": "compatible",
         "0.2.0-rc.2": "compatible",
-        "0.2.1-alpha.1": "compatible"
+        "0.2.1-alpha.1": "compatible",
+        "0.2.1-alpha.2": "compatible"
       },
       "profiles": [
         "headless",
@@ -76,17 +79,17 @@
     "build": "tsc -p tsconfig.json && node scripts/build-client.mjs",
     "typecheck": "tsc -p tsconfig.json --noEmit",
     "bump": "node scripts/bump-version.mjs",
-    "test:engine": "npm run build && node tests/engine/run.mjs && node tests/data-engine/run.mjs && node tests/concurrency/run.mjs && node tests/uml/run.mjs && node tests/apply-smoke.mjs && node tests/dsh-client-half.test.mjs && node tests/dsh-volatile-fallback.test.mjs && node tests/exporters/run.mjs && node tests/external/run.mjs && node tests/python/run.mjs",
+    "test:engine": "npm run build && node tests/engine/run.mjs && node tests/data-engine/run.mjs && node tests/concurrency/run.mjs && node tests/uml/run.mjs && node tests/apply-smoke.mjs && node tests/dsh-client-half.test.mjs && node tests/dsh-volatile-fallback.test.mjs && node tests/claude-session-start-hook.test.mjs && node tests/skills/run.mjs && node tests/structure/run.mjs && node tests/baseline/run.mjs && node tests/granularity/run.mjs && node tests/exporters/run.mjs && node tests/external/run.mjs && node tests/python/run.mjs",
     "test:full": "npm run build && node tests/full-suite.mjs",
     "test:python": "npm run build && node tests/python/run.mjs"
   },
   "peerDependencies": {
     "@deepseek-ai/cordis": "^4.0.4",
-    "@deepseek-ai/dsh-agent": "^0.1.0-rc.6 || ^0.2.0-rc.1 || ^0.2.1-alpha.1",
-    "@deepseek-ai/dsh-llm": "^0.1.0-rc.6 || ^0.2.0-rc.1 || ^0.2.1-alpha.1",
-    "@deepseek-ai/dsh-session": "^0.1.0-rc.6 || ^0.2.0-rc.1 || ^0.2.1-alpha.1",
-    "@deepseek-ai/dsh-skill-filesystem": "^0.1.0-rc.8 || ^0.2.0-rc.1 || ^0.2.1-alpha.1",
-    "@deepseek-ai/dsh-tools": "^0.1.0-rc.6 || ^0.2.0-rc.1 || ^0.2.1-alpha.1",
+    "@deepseek-ai/dsh-agent": "^0.1.0-rc.6 || ^0.2.0-rc.1 || ^0.2.1-alpha.1 || ^0.2.1-alpha.2",
+    "@deepseek-ai/dsh-llm": "^0.1.0-rc.6 || ^0.2.0-rc.1 || ^0.2.1-alpha.1 || ^0.2.1-alpha.2",
+    "@deepseek-ai/dsh-session": "^0.1.0-rc.6 || ^0.2.0-rc.1 || ^0.2.1-alpha.1 || ^0.2.1-alpha.2",
+    "@deepseek-ai/dsh-skill-filesystem": "^0.1.0-rc.8 || ^0.2.0-rc.1 || ^0.2.1-alpha.1 || ^0.2.1-alpha.2",
+    "@deepseek-ai/dsh-tools": "^0.1.0-rc.6 || ^0.2.0-rc.1 || ^0.2.1-alpha.1 || ^0.2.1-alpha.2",
     "@deepseek-ai/schemastery": "^3.18.4"
   },
   "devDependencies": {
@@ -104,11 +107,10 @@
     "@deepseek-ai/dsh-skill": "^0.2.0-rc.2",
     "@deepseek-ai/dsh-skill-filesystem": "^0.2.0-rc.2",
     "@deepseek-ai/dsh-system-prompt": "^0.2.0-rc.2",
-    "@deepseek-ai/dsh-timeout": "^0.2.0-rc.2",
     "@deepseek-ai/dsh-tools": "^0.2.0-rc.2",
     "@deepseek-ai/dsh-user-approval": "^0.2.0-rc.2",
     "@deepseek-ai/schemastery": "^3.18.4",
-    "@types/node": "^26.6.3",
+    "@types/node": "^26.6.4",
     "typescript": "^7.0.2"
   },
   "author": {