sdd-mcp-server 5.3.0 → 5.5.0

package/dist/application/services/JevSpecState.js

@@ -0,0 +1,109 @@
+import { redactState, redactThenClip } from './JevRedaction.js';
+import { buildDesignQuestions, buildRedQuestions, buildRequirementsQuestions } from './JevQuestionCatalog.js';
+import { metadata, parseList, parseSections, uniqueSections, visibleLines } from './WorkflowValidationService.js';
+/** Serialized `state` cap for spec-text requests. */
+export const MAX_STATE_BYTES = 32_768;
+const FIELD_LIMIT = 1500;
+const REQUIREMENT_HEADING = /^###\s+((?:FR|NFR)-\d+):\s*(.+?)\s*$/;
+const DECISION_HEADING = /^###\s+(D-\d+):\s*(.+?)\s*$/;
+function clip(value, limit, counts) {
+    const result = redactThenClip(value, limit);
+    counts.n += result.count;
+    return result.text;
+}
+const sizeOf = (state) => Buffer.byteLength(JSON.stringify(state), 'utf8');
+/** Redacts every item, then keeps whole items in order until the next one would exceed the cap. */
+export function fitState(kind, items, context, maxBytes = MAX_STATE_BYTES) {
+    const redactedContext = context && redactState(context);
+    const kept = [];
+    const keptIds = [];
+    const omittedIds = [];
+    let redactions = redactedContext?.count ?? 0;
+    let full = false;
+    for (const item of items) {
+        const redacted = redactState(item);
+        const candidate = { kind, items: [...kept, redacted.state], ...(redactedContext && { context: redactedContext.state }) };
+        if (full || sizeOf(candidate) > maxBytes) {
+            full = true;
+            omittedIds.push(item.id);
+            continue;
+        }
+        kept.push(redacted.state);
+        keptIds.push(item.id);
+        redactions += redacted.count;
+    }
+    const state = { kind, items: kept, ...(redactedContext && { context: redactedContext.state }) };
+    return { state, keptIds, omittedIds, truncated: omittedIds.length > 0, redactions };
+}
+const sectionsOf = (content, heading) => uniqueSections(parseSections(visibleLines(content), heading).sections);
+function toBuilt(fit, questions, itemIds, secondaryIds, extraRedactions = 0) {
+    return { state: fit.state, questions, itemIds, secondaryIds, omittedIds: fit.omittedIds, truncated: fit.truncated, redactions: fit.redactions + extraRedactions };
+}
+export function buildRequirementsExchange(snapshot) {
+    const counts = { n: 0 };
+    const bound = (value, limit = FIELD_LIMIT) => clip(value, limit, counts);
+    const items = sectionsOf(snapshot.content, REQUIREMENT_HEADING).map((section) => ({
+        id: section.id,
+        title: bound(section.title),
+        objective: bound(metadata(section, 'Objective')),
+        ears: bound(metadata(section, 'EARS Specification')),
+        acceptance: bound(metadata(section, 'Acceptance Criteria')),
+    }));
+    if (items.length === 0)
+        return undefined;
+    const fit = fitState('requirements', items, { goal: bound(snapshot.description) });
+    if (fit.keptIds.length === 0)
+        return undefined;
+    return toBuilt(fit, buildRequirementsQuestions(fit.keptIds), fit.keptIds, [], counts.n);
+}
+/** RED evidence is the whole state: command, summary, test name, and the task's acceptance criteria. No source code. */
+export function buildRedExchange(taskNumber, testName, evidence, acceptanceCriteria) {
+    const counts = { n: 0 };
+    const bound = (value, limit = FIELD_LIMIT) => clip(value, limit, counts);
+    const item = {
+        id: 'red',
+        taskNumber: bound(taskNumber, 50),
+        testName: bound(testName, 300),
+        command: bound(evidence.command, 500),
+        summary: bound(evidence.summary, 2000),
+        acceptance: bound(acceptanceCriteria),
+    };
+    const fit = fitState('red', [item], undefined);
+    return fit.keptIds.length === 0 ? undefined : toBuilt(fit, buildRedQuestions(), fit.keptIds, [], counts.n);
+}
+export function buildDesignExchange(snapshot) {
+    const counts = { n: 0 };
+    const bound = (value, limit = FIELD_LIMIT) => clip(value, limit, counts);
+    const requirements = sectionsOf(snapshot.requirementsContent ?? '', REQUIREMENT_HEADING);
+    const requirementText = new Map(requirements.map((section) => [section.id, {
+            id: section.id, ears: bound(metadata(section, 'EARS Specification')), objective: bound(metadata(section, 'Objective')),
+        }]));
+    const decisions = sectionsOf(snapshot.content, DECISION_HEADING).map((section) => ({
+        id: section.id,
+        title: bound(section.title),
+        covers: parseList(metadata(section, 'Covers')),
+        decision: bound(metadata(section, 'Decision')),
+        failureBehavior: bound(metadata(section, 'Failure behavior')),
+        verification: bound(metadata(section, 'Verification')),
+    }));
+    if (decisions.length === 0)
+        return undefined;
+    const decisionItems = decisions.map((decision) => ({
+        ...decision,
+        coveredRequirements: decision.covers.flatMap((id) => requirementText.get(id) ?? []),
+    }));
+    const nfrItems = requirements.filter((section) => section.id.startsWith('NFR-')).map((section) => ({
+        id: section.id,
+        title: bound(section.title),
+        ears: bound(metadata(section, 'EARS Specification')),
+        objective: bound(metadata(section, 'Objective')),
+        coveredBy: decisions.filter((decision) => decision.covers.includes(section.id)).map(({ id, decision }) => ({ id, decision })),
+    }));
+    const fit = fitState('design', [...decisionItems, ...nfrItems], undefined);
+    const decisionIds = fit.keptIds.filter((id) => id.startsWith('D-'));
+    const nfrIds = fit.keptIds.filter((id) => id.startsWith('NFR-'));
+    if (decisionIds.length === 0)
+        return undefined;
+    return toBuilt(fit, buildDesignQuestions(decisionIds, nfrIds), decisionIds, nfrIds, counts.n);
+}
+//# sourceMappingURL=JevSpecState.js.map

package/dist/application/services/JevSpecState.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"JevSpecState.js","sourceRoot":"","sources":["../../../src/application/services/JevSpecState.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAChE,OAAO,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,0BAA0B,EAAE,MAAM,yBAAyB,CAAC;AAE9G,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,aAAa,EAAE,cAAc,EAAE,YAAY,EAAgB,MAAM,gCAAgC,CAAC;AAGhI,qDAAqD;AACrD,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC;AACtC,MAAM,WAAW,GAAG,IAAI,CAAC;AACzB,MAAM,mBAAmB,GAAG,sCAAsC,CAAC;AACnE,MAAM,gBAAgB,GAAG,6BAA6B,CAAC;AA4BvD,SAAS,IAAI,CAAC,KAAyB,EAAE,KAAa,EAAE,MAAqB;IAC3E,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC5C,MAAM,CAAC,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC;IACzB,OAAO,MAAM,CAAC,IAAI,CAAC;AACrB,CAAC;AACD,MAAM,MAAM,GAAG,CAAC,KAAoB,EAAU,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;AAElG,mGAAmG;AACnG,MAAM,UAAU,QAAQ,CACtB,IAAY,EACZ,KAA8D,EAC9D,OAA4C,EAC5C,QAAQ,GAAG,eAAe;IAE1B,MAAM,eAAe,GAAG,OAAO,IAAI,WAAW,CAAC,OAAO,CAAC,CAAC;IACxD,MAAM,IAAI,GAAmC,EAAE,CAAC;IAChD,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,IAAI,UAAU,GAAG,eAAe,EAAE,KAAK,IAAI,CAAC,CAAC;IAC7C,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,SAAS,GAAkB,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,eAAe,IAAI,EAAE,OAAO,EAAE,eAAe,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC;QACxI,IAAI,IAAI,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,QAAQ,EAAE,CAAC;YACzC,IAAI,GAAG,IAAI,CAAC;YACZ,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACzB,SAAS;QACX,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC1B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACtB,UAAU,IAAI,QAAQ,CAAC,KAAK,CAAC;IAC/B,CAAC;IACD,MAAM,KAAK,GAAkB,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,CAAC,eAAe,IAAI,EAAE,OAAO,EAAE,eAAe,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC;IAC/G,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,UAAU,EAAE,CAAC;AACtF,CAAC;AAED,MAAM,UAAU,GAAG,CAAC,OAAe,EAAE,OAAe,EAAa,EAAE,CACjE,cAAc,CAAC,aAAa,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC;AAEzE,SAAS,OAAO,CAAC,GAAgB,EAAE,SAAyB,EAAE,OAAiB,EAAE,YAAsB,EAAE,eAAe,GAAG,CAAC;IAC1H,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,SAAS,EAAE,GAAG,CAAC,SAAS,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,GAAG,eAAe,EAAE,CAAC;AACpK,CAAC;AAED,MAAM,UAAU,yBAAyB,CAAC,QAA0B;IAClE,MAAM,MAAM,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;IACxB,MAAM,KAAK,GAAG,CAAC,KAAyB,EAAE,KAAK,GAAG,WAAW,EAAU,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IACrG,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QAChF,EAAE,EAAE,OAAO,CAAC,EAAE;QACd,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAC3B,SAAS,EAAE,KAAK,CAAC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;QAChD,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,OAAO,EAAE,oBAAoB,CAAC,CAAC;QACpD,UAAU,EAAE,KAAK,CAAC,QAAQ,CAAC,OAAO,EAAE,qBAAqB,CAAC,CAAC;KAC5D,CAAC,CAAC,CAAC;IACJ,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACzC,MAAM,GAAG,GAAG,QAAQ,CAAC,cAAc,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;IACnF,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/C,OAAO,OAAO,CAAC,GAAG,EAAE,0BAA0B,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,OAAO,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;AAC1F,CAAC;AAED,wHAAwH;AACxH,MAAM,UAAU,gBAAgB,CAC9B,UAAkB,EAClB,QAAgB,EAChB,QAA8C,EAC9C,kBAA0B;IAE1B,MAAM,MAAM,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;IACxB,MAAM,KAAK,GAAG,CAAC,KAAyB,EAAE,KAAK,GAAG,WAAW,EAAU,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IACrG,MAAM,IAAI,GAAG;QACX,EAAE,EAAE,KAAK;QACT,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,EAAE,CAAC;QACjC,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,GAAG,CAAC;QAC9B,OAAO,EAAE,KAAK,CAAC,QAAQ,CAAC,OAAO,EAAE,GAAG,CAAC;QACrC,OAAO,EAAE,KAAK,CAAC,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC;QACtC,UAAU,EAAE,KAAK,CAAC,kBAAkB,CAAC;KACtC,CAAC;IACF,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,CAAC;IAC/C,OAAO,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,iBAAiB,EAAE,EAAE,GAAG,CAAC,OAAO,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;AAC7G,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,QAA0B;IAC5D,MAAM,MAAM,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;IACxB,MAAM,KAAK,GAAG,CAAC,KAAyB,EAAE,KAAK,GAAG,WAAW,EAAU,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IACrG,MAAM,YAAY,GAAG,UAAU,CAAC,QAAQ,CAAC,mBAAmB,IAAI,EAAE,EAAE,mBAAmB,CAAC,CAAC;IACzF,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE;YACzE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,OAAO,EAAE,oBAAoB,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;SACvH,CAAC,CAAC,CAAC,CAAC;IACL,MAAM,SAAS,GAAG,UAAU,CAAC,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QACjF,EAAE,EAAE,OAAO,CAAC,EAAE;QACd,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAC3B,MAAM,EAAE,SAAS,CAAC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QAC9C,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;QAC9C,eAAe,EAAE,KAAK,CAAC,QAAQ,CAAC,OAAO,EAAE,kBAAkB,CAAC,CAAC;QAC7D,YAAY,EAAE,KAAK,CAAC,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC;KACvD,CAAC,CAAC,CAAC;IACJ,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7C,MAAM,aAAa,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QACjD,GAAG,QAAQ;QACX,mBAAmB,EAAE,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;KACpF,CAAC,CAAC,CAAC;IACJ,MAAM,QAAQ,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QACjG,EAAE,EAAE,OAAO,CAAC,EAAE;QACd,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAC3B,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,OAAO,EAAE,oBAAoB,CAAC,CAAC;QACpD,SAAS,EAAE,KAAK,CAAC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;QAChD,SAAS,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC;KAC9H,CAAC,CAAC,CAAC;IACJ,MAAM,GAAG,GAAG,QAAQ,CAAC,QAAQ,EAAE,CAAC,GAAG,aAAa,EAAE,GAAG,QAAQ,CAAC,EAAE,SAAS,CAAC,CAAC;IAC3E,MAAM,WAAW,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;IACpE,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;IACjE,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/C,OAAO,OAAO,CAAC,GAAG,EAAE,oBAAoB,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;AAChG,CAAC"}

package/dist/application/services/JevTestcaseState.d.ts

@@ -0,0 +1,22 @@
+import type { JevCase } from './JevCheckTypes.js';
+import { type BuiltExchange } from './JevSpecState.js';
+import type { AdvisorySnapshot } from './WorkflowEngineService.js';
+export interface TestcaseExchange extends BuiltExchange {
+    /** Kept tasks with whether their TDD is marked not-applicable. */
+    tasks: Array<{
+        id: string;
+        notApplicable: boolean;
+    }>;
+    /** Case task ids that do not belong to any TDD-required task in tasks.md, sorted. */
+    unknownTasks: string[];
+    /** Case task ids of TDD-required tasks dropped by the state cap, sorted. */
+    truncatedTasks: string[];
+    /** Number of supplied cases that belong to a TDD-required task, before truncation. */
+    matchedCases: number;
+    /** Number of TDD-required tasks in tasks.md, before truncation. */
+    tddTaskCount: number;
+    caseListSha256: string;
+}
+/** Canonical, order-sensitive hash of the caller's whole case list. */
+export declare function hashCaseList(cases: readonly JevCase[]): string;
+export declare function buildTestcaseExchange(snapshot: AdvisorySnapshot, cases: readonly JevCase[]): TestcaseExchange | undefined;

package/dist/application/services/JevTestcaseState.js

@@ -0,0 +1,85 @@
+import { createHash } from 'node:crypto';
+import { buildTestcaseQuestions } from './JevQuestionCatalog.js';
+import { redactThenClip } from './JevRedaction.js';
+import { fitState } from './JevSpecState.js';
+import { metadata, parseList, parseSections, uniqueSections, visibleLines } from './WorkflowValidationService.js';
+const FIELD_LIMIT = 1500;
+const CASE_FIELD_LIMIT = 500;
+const TASK_HEADING = /^###\s+(\d+(?:\.\d+)+)\s+(.+?)\s*$/;
+const REQUIREMENT_HEADING = /^###\s+((?:FR|NFR)-\d+):\s*(.+?)\s*$/;
+const DECISION_HEADING = /^###\s+(D-\d+):\s*(.+?)\s*$/;
+function clip(value, limit, counts) {
+    const result = redactThenClip(value, limit);
+    counts.n += result.count;
+    return result.text;
+}
+const sectionsOf = (content, heading) => uniqueSections(parseSections(visibleLines(content), heading).sections);
+/** Canonical, order-sensitive hash of the caller's whole case list. */
+export function hashCaseList(cases) {
+    const canonical = cases.map((entry) => [entry.taskId, entry.kind, entry.given, entry.when, entry.then, entry.covers]);
+    return createHash('sha256').update(JSON.stringify(canonical)).digest('hex');
+}
+const clipCase = (entry, counts) => ({
+    kind: entry.kind,
+    given: clip(entry.given, CASE_FIELD_LIMIT, counts),
+    when: clip(entry.when, CASE_FIELD_LIMIT, counts),
+    then: clip(entry.then, CASE_FIELD_LIMIT, counts),
+    covers: clip(entry.covers, CASE_FIELD_LIMIT, counts),
+});
+export function buildTestcaseExchange(snapshot, cases) {
+    const counts = { n: 0 };
+    const bound = (value, limit = FIELD_LIMIT) => clip(value, limit, counts);
+    const requirements = new Map(sectionsOf(snapshot.requirementsContent ?? '', REQUIREMENT_HEADING)
+        .map((section) => [section.id, bound(metadata(section, 'EARS Specification'))]));
+    const decisions = new Map(sectionsOf(snapshot.designContent ?? '', DECISION_HEADING)
+        .map((section) => [section.id, bound(metadata(section, 'Decision'), 600)]));
+    const tasks = sectionsOf(snapshot.content, TASK_HEADING).map((section) => {
+        const tdd = metadata(section, 'TDD') ?? '';
+        const covers = parseList(metadata(section, 'Covers'));
+        return {
+            section,
+            notApplicable: tdd.startsWith('not-applicable'),
+            reason: bound(tdd.replace(/^not-applicable\s*—\s*/, ''), 500),
+            covers,
+        };
+    });
+    if (tasks.length === 0)
+        return undefined;
+    const items = tasks.map(({ section, notApplicable, reason, covers }) => {
+        const base = { id: section.id, title: bound(section.title, 300), acceptance: bound(metadata(section, 'Acceptance criteria')) };
+        if (notApplicable)
+            return { ...base, tddNotApplicable: true, reason };
+        return {
+            ...base,
+            covers,
+            coveredRequirements: covers.flatMap((id) => (requirements.has(id) ? [{ id, ears: requirements.get(id) }] : [])),
+            coveredDecisions: covers.flatMap((id) => (decisions.has(id) ? [{ id, decision: decisions.get(id) }] : [])),
+            cases: cases.filter((entry) => entry.taskId === section.id).map((entry) => clipCase(entry, counts)),
+        };
+    });
+    const fit = fitState('testcases', items, undefined);
+    if (fit.keptIds.length === 0)
+        return undefined;
+    const kept = tasks.filter(({ section }) => fit.keptIds.includes(section.id));
+    const tddIds = new Set(tasks.filter(({ notApplicable }) => !notApplicable).map(({ section }) => section.id));
+    const caseTaskIds = [...new Set(cases.map((entry) => entry.taskId))].sort();
+    const unknownTasks = caseTaskIds.filter((id) => !tddIds.has(id));
+    const truncatedTasks = caseTaskIds.filter((id) => tddIds.has(id) && fit.omittedIds.includes(id));
+    const keptTasks = kept.map(({ section, notApplicable }) => ({ id: section.id, notApplicable }));
+    return {
+        state: fit.state,
+        questions: buildTestcaseQuestions(keptTasks),
+        itemIds: fit.keptIds,
+        secondaryIds: [],
+        omittedIds: fit.omittedIds,
+        truncated: fit.truncated,
+        redactions: fit.redactions + counts.n,
+        tasks: keptTasks,
+        unknownTasks,
+        truncatedTasks,
+        matchedCases: cases.filter((entry) => tddIds.has(entry.taskId)).length,
+        tddTaskCount: tddIds.size,
+        caseListSha256: hashCaseList(cases),
+    };
+}
+//# sourceMappingURL=JevTestcaseState.js.map

package/dist/application/services/JevTestcaseState.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"JevTestcaseState.js","sourceRoot":"","sources":["../../../src/application/services/JevTestcaseState.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,OAAO,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAsB,MAAM,mBAAmB,CAAC;AACjE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,aAAa,EAAE,cAAc,EAAE,YAAY,EAAgB,MAAM,gCAAgC,CAAC;AAGhI,MAAM,WAAW,GAAG,IAAI,CAAC;AACzB,MAAM,gBAAgB,GAAG,GAAG,CAAC;AAC7B,MAAM,YAAY,GAAG,oCAAoC,CAAC;AAC1D,MAAM,mBAAmB,GAAG,sCAAsC,CAAC;AACnE,MAAM,gBAAgB,GAAG,6BAA6B,CAAC;AAgBvD,SAAS,IAAI,CAAC,KAAyB,EAAE,KAAa,EAAE,MAAqB;IAC3E,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC5C,MAAM,CAAC,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC;IACzB,OAAO,MAAM,CAAC,IAAI,CAAC;AACrB,CAAC;AACD,MAAM,UAAU,GAAG,CAAC,OAAe,EAAE,OAAe,EAAa,EAAE,CACjE,cAAc,CAAC,aAAa,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC;AAEzE,uEAAuE;AACvE,MAAM,UAAU,YAAY,CAAC,KAAyB;IACpD,MAAM,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IACtH,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,MAAM,QAAQ,GAAG,CAAC,KAAc,EAAE,MAAqB,EAA0B,EAAE,CAAC,CAAC;IACnF,IAAI,EAAE,KAAK,CAAC,IAAI;IAChB,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,gBAAgB,EAAE,MAAM,CAAC;IAClD,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,gBAAgB,EAAE,MAAM,CAAC;IAChD,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,gBAAgB,EAAE,MAAM,CAAC;IAChD,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,gBAAgB,EAAE,MAAM,CAAC;CACrD,CAAC,CAAC;AAEH,MAAM,UAAU,qBAAqB,CAAC,QAA0B,EAAE,KAAyB;IACzF,MAAM,MAAM,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;IACxB,MAAM,KAAK,GAAG,CAAC,KAAyB,EAAE,KAAK,GAAG,WAAW,EAAU,EAAE,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IACrG,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,mBAAmB,IAAI,EAAE,EAAE,mBAAmB,CAAC;SAC7F,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,KAAK,CAAC,QAAQ,CAAC,OAAO,EAAE,oBAAoB,CAAC,CAAC,CAAU,CAAC,CAAC,CAAC;IAC5F,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,aAAa,IAAI,EAAE,EAAE,gBAAgB,CAAC;SACjF,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,KAAK,CAAC,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC,EAAE,GAAG,CAAC,CAAU,CAAC,CAAC,CAAC;IAEvF,MAAM,KAAK,GAAG,UAAU,CAAC,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;QACvE,MAAM,GAAG,GAAG,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;QAC3C,MAAM,MAAM,GAAG,SAAS,CAAC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;QACtD,OAAO;YACL,OAAO;YACP,aAAa,EAAE,GAAG,CAAC,UAAU,CAAC,gBAAgB,CAAC;YAC/C,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,wBAAwB,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC;YAC7D,MAAM;SACP,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAEzC,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE;QACrE,MAAM,IAAI,GAAG,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,QAAQ,CAAC,OAAO,EAAE,qBAAqB,CAAC,CAAC,EAAE,CAAC;QAC/H,IAAI,aAAa;YAAE,OAAO,EAAE,GAAG,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;QACtE,OAAO;YACL,GAAG,IAAI;YACP,MAAM;YACN,mBAAmB,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC/G,gBAAgB,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC1G,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;SACpG,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,GAAG,GAAG,QAAQ,CAAC,WAAW,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;IACpD,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/C,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7E,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7G,MAAM,WAAW,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC5E,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACjE,MAAM,cAAc,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;IACjG,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC;IAChG,OAAO;QACL,KAAK,EAAE,GAAG,CAAC,KAAK;QAChB,SAAS,EAAE,sBAAsB,CAAC,SAAS,CAAC;QAC5C,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,YAAY,EAAE,EAAE;QAChB,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,SAAS,EAAE,GAAG,CAAC,SAAS;QACxB,UAAU,EAAE,GAAG,CAAC,UAAU,GAAG,MAAM,CAAC,CAAC;QACrC,KAAK,EAAE,SAAS;QAChB,YAAY;QACZ,cAAc;QACd,YAAY,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;QACtE,YAAY,EAAE,MAAM,CAAC,IAAI;QACzB,cAAc,EAAE,YAAY,CAAC,KAAK,CAAC;KACpC,CAAC;AACJ,CAAC"}

package/dist/application/services/RedEvidenceClassifier.d.ts

@@ -0,0 +1,10 @@
+export type RedClassification = 'setup' | 'assertion' | 'ambiguous';
+export interface RedClassificationResult {
+    classification: RedClassification;
+    matchedPattern?: string;
+}
+/**
+ * Pure, free classification of RED evidence. Setup wins when both kinds match,
+ * because a broken setup cannot prove missing behavior.
+ */
+export declare function classifyRedEvidence(command: string, summary: string): RedClassificationResult;

package/dist/application/services/RedEvidenceClassifier.js

@@ -0,0 +1,32 @@
+const SETUP_PATTERNS = [
+    { name: 'module-not-found', regex: /Cannot find module|Module not found|ERR_MODULE_NOT_FOUND/ },
+    { name: 'syntax-error', regex: /SyntaxError/ },
+    { name: 'typescript', regex: /\bTS\d{4}\b/ },
+    { name: 'enoent', regex: /\bENOENT\b/ },
+    { name: 'reference-error', regex: /ReferenceError|\bis not defined\b/ },
+    { name: 'command-not-found', regex: /command not found/ },
+];
+const ASSERTION_PATTERNS = [
+    { name: 'assertion-error', regex: /AssertionError/ },
+    { name: 'expected-received', regex: /Expected:[\s\S]*Received:/ },
+    { name: 'expect-call', regex: /\bexpect\(/ },
+    { name: 'assert-fail', regex: /\bassert(?:ion)?\b.*fail/i },
+];
+function firstMatch(patterns, text) {
+    return patterns.find(({ regex }) => regex.test(text))?.name;
+}
+/**
+ * Pure, free classification of RED evidence. Setup wins when both kinds match,
+ * because a broken setup cannot prove missing behavior.
+ */
+export function classifyRedEvidence(command, summary) {
+    const text = `${command}\n${summary}`;
+    const setup = firstMatch(SETUP_PATTERNS, text);
+    if (setup)
+        return { classification: 'setup', matchedPattern: setup };
+    const assertion = firstMatch(ASSERTION_PATTERNS, text);
+    if (assertion)
+        return { classification: 'assertion', matchedPattern: assertion };
+    return { classification: 'ambiguous' };
+}
+//# sourceMappingURL=RedEvidenceClassifier.js.map

package/dist/application/services/RedEvidenceClassifier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"RedEvidenceClassifier.js","sourceRoot":"","sources":["../../../src/application/services/RedEvidenceClassifier.ts"],"names":[],"mappings":"AAYA,MAAM,cAAc,GAA4B;IAC9C,EAAE,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,0DAA0D,EAAE;IAC/F,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,aAAa,EAAE;IAC9C,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,aAAa,EAAE;IAC5C,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,YAAY,EAAE;IACvC,EAAE,IAAI,EAAE,iBAAiB,EAAE,KAAK,EAAE,mCAAmC,EAAE;IACvE,EAAE,IAAI,EAAE,mBAAmB,EAAE,KAAK,EAAE,mBAAmB,EAAE;CAC1D,CAAC;AAEF,MAAM,kBAAkB,GAA4B;IAClD,EAAE,IAAI,EAAE,iBAAiB,EAAE,KAAK,EAAE,gBAAgB,EAAE;IACpD,EAAE,IAAI,EAAE,mBAAmB,EAAE,KAAK,EAAE,2BAA2B,EAAE;IACjE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,YAAY,EAAE;IAC5C,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,2BAA2B,EAAE;CAC5D,CAAC;AAEF,SAAS,UAAU,CAAC,QAAiC,EAAE,IAAY;IACjE,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC;AAC9D,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAAC,OAAe,EAAE,OAAe;IAClE,MAAM,IAAI,GAAG,GAAG,OAAO,KAAK,OAAO,EAAE,CAAC;IACtC,MAAM,KAAK,GAAG,UAAU,CAAC,cAAc,EAAE,IAAI,CAAC,CAAC;IAC/C,IAAI,KAAK;QAAE,OAAO,EAAE,cAAc,EAAE,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC;IACrE,MAAM,SAAS,GAAG,UAAU,CAAC,kBAAkB,EAAE,IAAI,CAAC,CAAC;IACvD,IAAI,SAAS;QAAE,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,cAAc,EAAE,SAAS,EAAE,CAAC;IACjF,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,CAAC;AACzC,CAAC"}

package/dist/application/services/WorkflowEngineService.d.ts

@@ -121,6 +121,27 @@ export interface DurableFeatureStatus {
         blocked: number;
     };
 }
+/** Read-only view for advisory checks; carries no handle that can mutate workflow state. */
+export interface AdvisorySnapshot {
+    readonly featureName: string;
+    readonly description: string;
+    readonly phase: ApprovablePhase;
+    readonly revision: number;
+    readonly recordedSha256?: string;
+    readonly observedSha256?: string;
+    readonly validationStatus: PhaseRecord['validation']['status'];
+    readonly content: string;
+    readonly requirementsContent?: string;
+    readonly designContent?: string;
+    readonly implementation?: {
+        readonly revision: number;
+        readonly tasks: Readonly<Record<string, {
+            readonly status: TaskStatus;
+            readonly tddRequired: boolean;
+            readonly acceptanceCriteria: string;
+        }>>;
+    };
+}
 export interface RecordTaskProgressRequest extends FeatureRequest {
     readonly taskNumber: string;
     readonly action: 'start' | 'record-red' | 'record-green' | 'complete' | 'block';
@@ -171,6 +192,13 @@ export declare class WorkflowEngineService {
     listFeatureStatuses(request: {
         projectRoot: string;
     }): Promise<DurableFeatureStatus[]>;
+    /**
+     * Read-only view for advisory checks. Never commits state, publishes a handoff, or creates
+     * files for an unknown feature (the lock helper would create the feature directory).
+     */
+    readAdvisorySnapshot(request: FeatureRequest & {
+        readonly phase: ApprovablePhase;
+    }): Promise<AdvisorySnapshot>;
     loadProject(request: FeatureRequest): Promise<Project>;
     validateDesignArtifact(request: FeatureRequest): Promise<DesignValidationResult>;
     private withLockedFeature;