spec-manager 0.1.1 → 0.2.0

package/dist/core/harness.js

@@ -0,0 +1,278 @@
+import { listDecisions } from './decision.js';
+import { findSpecByCode, listAllSpecs } from './spec-io.js';
+import { addTaskVerification, reportStep, showTask } from './task.js';
+export function buildHarnessTaskContext(paths, l3Code) {
+    const spec = findSpecByCode(paths, l3Code);
+    if (!spec)
+        throw new Error(`SPEC_NOT_FOUND: ${l3Code}`);
+    if (spec.fm.level !== 'L3')
+        throw new Error(`SPEC_NOT_L3: ${l3Code}`);
+    if (spec.fm.status !== 'frozen' && spec.fm.status !== 'implemented') {
+        throw new Error(`L3_NOT_FROZEN: ${l3Code} status=${spec.fm.status}`);
+    }
+    const warnings = [];
+    collectParentWarnings(paths, spec, warnings);
+    const acceptanceCriteria = extractListSection(spec.content, '验收标准');
+    if (acceptanceCriteria.length === 0) {
+        warnings.push('acceptanceCriteria empty: no items extracted from ## 验收标准');
+    }
+    const suggestedVerification = extractVerificationCommands(spec.content);
+    if (suggestedVerification.length === 0) {
+        warnings.push('suggestedVerification empty: no commands extracted from ## 验证命令');
+    }
+    const decisions = listDecisions(paths, { topic: spec.fm.topic }).map(d => ({
+        code: d.id,
+        title: d.fm.what,
+        summary: d.fm.why ?? d.fm.what,
+    }));
+    return {
+        schemaVersion: 'harness-context.experimental.v1',
+        specCode: spec.fm.code,
+        topic: spec.fm.topic,
+        title: spec.fm.title,
+        statusGate: {
+            level: spec.fm.level,
+            status: spec.fm.status,
+            allowed: true,
+        },
+        summary: spec.fm.aiSummary?.trim() || spec.fm.title,
+        objectives: extractObjectives(spec.content),
+        nonGoals: extractNonGoals(spec.content),
+        acceptanceCriteria,
+        decisions,
+        suggestedVerification,
+        nextCommands: [`spec-manager task create ${spec.fm.code} --plan ./plan.json`],
+        warnings,
+    };
+}
+export function normalizeHarnessTaskReportPayload(raw) {
+    if (!isRecord(raw))
+        throw new Error('INVALID_REPORT: payload must be an object');
+    const summary = raw.summary;
+    if (typeof summary !== 'string' || summary.trim().length === 0) {
+        throw new Error('INVALID_REPORT: summary must be a non-empty string');
+    }
+    const stepNo = raw.stepNo;
+    if (stepNo !== undefined && !isValidStepNo(stepNo)) {
+        throw new Error('INVALID_REPORT: stepNo must be a non-empty string or number');
+    }
+    return {
+        summary: summary.trim(),
+        ...(stepNo !== undefined ? { stepNo } : {}),
+        files: normalizeStringArray(raw.files, 'files', 'INVALID_REPORT'),
+        tests: normalizeStringArray(raw.tests, 'tests', 'INVALID_REPORT'),
+        risks: normalizeStringArray(raw.risks, 'risks', 'INVALID_REPORT'),
+    };
+}
+export function reportHarnessTaskStep(input) {
+    const shown = showTask(input.paths, input.taskId, { full: true, specCode: input.specCode });
+    if (!shown)
+        throw new Error(`TASK_NOT_FOUND: ${input.taskId}`);
+    const stepNo = input.payload.stepNo ?? nextReportableStepNo(input.taskId, shown.steps);
+    const outputJson = JSON.stringify({
+        summary: input.payload.summary,
+        files: input.payload.files ?? [],
+        tests: input.payload.tests ?? [],
+        risks: input.payload.risks ?? [],
+    });
+    const result = reportStep({
+        paths: input.paths,
+        taskId: input.taskId,
+        specCode: input.specCode,
+        stepNo,
+        status: 'succeeded',
+        outputJson,
+    });
+    return { task: result.task, stepNo, warnings: result.warnings };
+}
+export function normalizeHarnessTaskVerificationPayload(raw) {
+    if (!isRecord(raw))
+        throw new Error('INVALID_VERIFICATION: payload must be an object');
+    const command = raw.command;
+    if (typeof command !== 'string' || command.trim().length === 0) {
+        throw new Error('INVALID_VERIFICATION: command must be a non-empty string');
+    }
+    const exitCode = raw.exitCode;
+    if (typeof exitCode !== 'number' || !Number.isFinite(exitCode)) {
+        throw new Error('INVALID_VERIFICATION: exitCode must be a finite number');
+    }
+    const summary = raw.summary;
+    if (typeof summary !== 'string' || summary.trim().length === 0) {
+        throw new Error('INVALID_VERIFICATION: summary must be a non-empty string');
+    }
+    return {
+        command: command.trim(),
+        exitCode,
+        summary: summary.trim(),
+        artifacts: normalizeStringArray(raw.artifacts, 'artifacts', 'INVALID_VERIFICATION'),
+        coversAc: normalizeStringArray(raw.coversAc, 'coversAc', 'INVALID_VERIFICATION'),
+    };
+}
+export function recordHarnessTaskVerification(input) {
+    const payload = normalizeHarnessTaskVerificationPayload(input.payload);
+    return addTaskVerification({
+        paths: input.paths,
+        taskId: input.taskId,
+        specCode: input.specCode,
+        command: payload.command,
+        exitCode: payload.exitCode,
+        summary: payload.summary,
+        artifacts: payload.artifacts ?? [],
+        coversAc: payload.coversAc ?? [],
+    });
+}
+export function renderHarnessTaskContextText(context) {
+    const lines = [];
+    lines.push(`Task Context: ${context.specCode}`);
+    lines.push(`Title: ${context.title}`);
+    lines.push('');
+    lines.push(`Status Gate: ${context.statusGate.level} ${context.statusGate.status}, implementation ${context.statusGate.allowed ? 'allowed' : 'blocked'}`);
+    if (context.statusGate.reason)
+        lines.push(`Reason: ${context.statusGate.reason}`);
+    lines.push('');
+    lines.push('Summary:');
+    lines.push(context.summary || '(none)');
+    lines.push('');
+    pushList(lines, 'Objectives', context.objectives);
+    pushList(lines, 'Non Goals', context.nonGoals);
+    pushList(lines, 'Acceptance Criteria', context.acceptanceCriteria);
+    pushList(lines, 'Decisions', context.decisions.map(d => `${d.code ? `${d.code}: ` : ''}${d.title}${d.summary && d.summary !== d.title ? ` — ${d.summary}` : ''}`));
+    pushList(lines, 'Suggested Verification', context.suggestedVerification);
+    pushList(lines, 'Warnings', context.warnings);
+    pushList(lines, 'Next', context.nextCommands);
+    return `${lines.join('\n')}\n`;
+}
+function nextReportableStepNo(taskId, steps) {
+    const step = steps.find(s => s.status === 'pending' || s.status === 'running');
+    if (!step)
+        throw new Error(`NO_REPORTABLE_STEP: ${taskId}`);
+    return step.stepNo;
+}
+function isRecord(value) {
+    return typeof value === 'object' && value !== null && !Array.isArray(value);
+}
+function isValidStepNo(value) {
+    return (typeof value === 'number' && Number.isFinite(value)) || (typeof value === 'string' && value.trim().length > 0);
+}
+function normalizeStringArray(value, field, errorCode) {
+    if (value === undefined)
+        return undefined;
+    if (!Array.isArray(value) || value.some(item => typeof item !== 'string')) {
+        throw new Error(`${errorCode}: ${field} must be a string array`);
+    }
+    return value.map(item => item.trim()).filter(Boolean);
+}
+function pushList(lines, title, items) {
+    lines.push(`${title}:`);
+    if (items.length === 0) {
+        lines.push('- (none)');
+    }
+    else {
+        for (const item of items)
+            lines.push(`- ${item}`);
+    }
+    lines.push('');
+}
+function collectParentWarnings(paths, spec, warnings) {
+    const all = listAllSpecs(paths);
+    let parentCode = spec.fm.parentCode;
+    while (parentCode) {
+        const parent = all.find(s => s.fm.code === parentCode);
+        if (!parent) {
+            warnings.push(`parent missing: ${parentCode}`);
+            return;
+        }
+        parentCode = parent.fm.parentCode;
+    }
+}
+function extractObjectives(content) {
+    const section = sectionBody(content, '目标');
+    const bullets = extractBullets(section).filter(line => !line.startsWith('前置依赖'));
+    if (bullets.length > 0)
+        return bullets;
+    const paragraph = firstParagraph(section);
+    return paragraph ? [paragraph] : [];
+}
+function extractNonGoals(content) {
+    const section = sectionBody(content, '范围边界');
+    if (!section)
+        return [];
+    const lines = section.split('\n');
+    const out = [];
+    let inNonGoals = false;
+    for (const raw of lines) {
+        const line = raw.trim();
+        if (/不做|显式排除/.test(line)) {
+            inNonGoals = true;
+            continue;
+        }
+        if (inNonGoals && /^-\s+\*\*/.test(line))
+            break;
+        if (inNonGoals) {
+            const item = normalizeListItem(line);
+            if (item)
+                out.push(item);
+        }
+    }
+    return out;
+}
+function extractListSection(content, heading) {
+    return extractBullets(sectionBody(content, heading));
+}
+function extractVerificationCommands(content) {
+    const section = sectionBody(content, '验证命令');
+    if (!section)
+        return [];
+    const commands = [];
+    const fenceRe = /```(?:bash|sh|shell)?\n([\s\S]*?)```/g;
+    let match;
+    while ((match = fenceRe.exec(section)) !== null) {
+        for (const raw of match[1].split('\n')) {
+            const line = raw.trim();
+            if (!line || line.startsWith('#'))
+                continue;
+            commands.push(line);
+        }
+    }
+    return commands;
+}
+function sectionBody(content, heading) {
+    const lines = content.split('\n');
+    const start = lines.findIndex(line => new RegExp(`^##\\s+${escapeRegExp(heading)}\\s*$`).test(line.trim()));
+    if (start < 0)
+        return '';
+    let end = lines.length;
+    for (let i = start + 1; i < lines.length; i += 1) {
+        if (/^##\s+/.test(lines[i])) {
+            end = i;
+            break;
+        }
+    }
+    return lines.slice(start + 1, end).join('\n').trim();
+}
+function extractBullets(section) {
+    const out = [];
+    for (const raw of section.split('\n')) {
+        const item = normalizeListItem(raw.trim());
+        if (item)
+            out.push(item);
+    }
+    return out;
+}
+function normalizeListItem(line) {
+    const match = line.match(/^(?:[-*]|\d+\.)\s+(.*)$/);
+    if (!match)
+        return null;
+    return match[1].trim();
+}
+function firstParagraph(section) {
+    const lines = section
+        .split('\n')
+        .map(line => line.trim())
+        .filter(line => line && !line.startsWith('#') && !line.startsWith('```') && !line.startsWith('**'));
+    return lines[0] ?? null;
+}
+function escapeRegExp(value) {
+    return value.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
+}
+//# sourceMappingURL=harness.js.map

package/dist/core/harness.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"harness.js","sourceRoot":"","sources":["../../src/core/harness.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,YAAY,EAAmB,MAAM,cAAc,CAAC;AAC7E,OAAO,EAAE,mBAAmB,EAAE,UAAU,EAAE,QAAQ,EAAgD,MAAM,WAAW,CAAC;AAkEpH,MAAM,UAAU,uBAAuB,CAAC,KAAmB,EAAE,MAAc;IACzE,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAC3C,IAAI,CAAC,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,mBAAmB,MAAM,EAAE,CAAC,CAAC;IACxD,IAAI,IAAI,CAAC,EAAE,CAAC,KAAK,KAAK,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,gBAAgB,MAAM,EAAE,CAAC,CAAC;IACtE,IAAI,IAAI,CAAC,EAAE,CAAC,MAAM,KAAK,QAAQ,IAAI,IAAI,CAAC,EAAE,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;QACpE,MAAM,IAAI,KAAK,CAAC,kBAAkB,MAAM,WAAW,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC;IACvE,CAAC;IAED,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,qBAAqB,CAAC,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IAE7C,MAAM,kBAAkB,GAAG,kBAAkB,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACpE,IAAI,kBAAkB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpC,QAAQ,CAAC,IAAI,CAAC,2DAA2D,CAAC,CAAC;IAC7E,CAAC;IAED,MAAM,qBAAqB,GAAG,2BAA2B,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACxE,IAAI,qBAAqB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvC,QAAQ,CAAC,IAAI,CAAC,iEAAiE,CAAC,CAAC;IACnF,CAAC;IAED,MAAM,SAAS,GAAG,aAAa,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACzE,IAAI,EAAE,CAAC,CAAC,EAAE;QACV,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI;QAChB,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI;KAC/B,CAAC,CAAC,CAAC;IAEJ,OAAO;QACL,aAAa,EAAE,iCAAiC;QAChD,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI;QACtB,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,KAAK;QACpB,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,KAAK;QACpB,UAAU,EAAE;YACV,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,KAAK;YACpB,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC,MAAM;YACtB,OAAO,EAAE,IAAI;SACd;QACD,OAAO,EAAE,IAAI,CAAC,EAAE,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,IAAI,CAAC,EAAE,CAAC,KAAK;QACnD,UAAU,EAAE,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC;QAC3C,QAAQ,EAAE,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC;QACvC,kBAAkB;QAClB,SAAS;QACT,qBAAqB;QACrB,YAAY,EAAE,CAAC,4BAA4B,IAAI,CAAC,EAAE,CAAC,IAAI,qBAAqB,CAAC;QAC7E,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iCAAiC,CAAC,GAAY;IAC5D,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;IACjF,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC;IAC5B,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/D,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;IACxE,CAAC;IACD,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC;IAC1B,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC;QACnD,MAAM,IAAI,KAAK,CAAC,6DAA6D,CAAC,CAAC;IACjF,CAAC;IACD,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE;QACvB,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3C,KAAK,EAAE,oBAAoB,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,EAAE,gBAAgB,CAAC;QACjE,KAAK,EAAE,oBAAoB,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,EAAE,gBAAgB,CAAC;QACjE,KAAK,EAAE,oBAAoB,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,EAAE,gBAAgB,CAAC;KAClE,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,KAA6B;IACjE,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC;IAC5F,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,mBAAmB,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IAC/D,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,IAAI,oBAAoB,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACvF,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC;QAChC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,OAAO;QAC9B,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,IAAI,EAAE;QAChC,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,IAAI,EAAE;QAChC,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,IAAI,EAAE;KACjC,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,UAAU,CAAC;QACxB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,MAAM;QACN,MAAM,EAAE,WAAW;QACnB,UAAU;KACX,CAAC,CAAC;IACH,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC;AAClE,CAAC;AAED,MAAM,UAAU,uCAAuC,CAAC,GAAY;IAClE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;IACvF,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC;IAC5B,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/D,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;IAC9E,CAAC;IACD,MAAM,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC;IAC9B,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/D,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAC5E,CAAC;IACD,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC;IAC5B,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/D,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;IAC9E,CAAC;IACD,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE;QACvB,QAAQ;QACR,OAAO,EAAE,OAAO,CAAC,IAAI,EAAE;QACvB,SAAS,EAAE,oBAAoB,CAAC,GAAG,CAAC,SAAS,EAAE,WAAW,EAAE,sBAAsB,CAAC;QACnF,QAAQ,EAAE,oBAAoB,CAAC,GAAG,CAAC,QAAQ,EAAE,UAAU,EAAE,sBAAsB,CAAC;KACjF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,KAAmC;IAC/E,MAAM,OAAO,GAAG,uCAAuC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACvE,OAAO,mBAAmB,CAAC;QACzB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,SAAS,EAAE,OAAO,CAAC,SAAS,IAAI,EAAE;QAClC,QAAQ,EAAE,OAAO,CAAC,QAAQ,IAAI,EAAE;KACjC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,OAA2B;IACtE,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,iBAAiB,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;IAChD,KAAK,CAAC,IAAI,CAAC,UAAU,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;IACtC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,gBAAgB,OAAO,CAAC,UAAU,CAAC,KAAK,IAAI,OAAO,CAAC,UAAU,CAAC,MAAM,oBAAoB,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC;IAC1J,IAAI,OAAO,CAAC,UAAU,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,WAAW,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;IAClF,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvB,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,IAAI,QAAQ,CAAC,CAAC;IACxC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,QAAQ,CAAC,KAAK,EAAE,YAAY,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;IAClD,QAAQ,CAAC,KAAK,EAAE,WAAW,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC/C,QAAQ,CAAC,KAAK,EAAE,qBAAqB,EAAE,OAAO,CAAC,kBAAkB,CAAC,CAAC;IACnE,QAAQ,CAAC,KAAK,EAAE,WAAW,EAAE,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACnK,QAAQ,CAAC,KAAK,EAAE,wBAAwB,EAAE,OAAO,CAAC,qBAAqB,CAAC,CAAC;IACzE,QAAQ,CAAC,KAAK,EAAE,UAAU,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC9C,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;IAC9C,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;AACjC,CAAC;AAED,SAAS,oBAAoB,CAAC,MAAc,EAAE,KAAyD;IACrG,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC;IAC/E,IAAI,CAAC,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,MAAM,EAAE,CAAC,CAAC;IAC5D,OAAO,IAAI,CAAC,MAAM,CAAC;AACrB,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,OAAO,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AACzH,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAc,EAAE,KAAa,EAAE,SAAoD;IAC/G,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC1C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC,EAAE,CAAC;QAC1E,MAAM,IAAI,KAAK,CAAC,GAAG,SAAS,KAAK,KAAK,yBAAyB,CAAC,CAAC;IACnE,CAAC;IACD,OAAO,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AACxD,CAAC;AAED,SAAS,QAAQ,CAAC,KAAe,EAAE,KAAa,EAAE,KAAe;IAC/D,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;IACxB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACzB,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,IAAI,IAAI,KAAK;YAAE,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;IACpD,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACjB,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAmB,EAAE,IAAgB,EAAE,QAAkB;IACtF,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IAChC,IAAI,UAAU,GAAG,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC;IACpC,OAAO,UAAU,EAAE,CAAC;QAClB,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;QACvD,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,QAAQ,CAAC,IAAI,CAAC,mBAAmB,UAAU,EAAE,CAAC,CAAC;YAC/C,OAAO;QACT,CAAC;QACD,UAAU,GAAG,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC;IACpC,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,OAAe;IACxC,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC3C,MAAM,OAAO,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;IACjF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,OAAO,CAAC;IACvC,MAAM,SAAS,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;IAC1C,OAAO,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACtC,CAAC;AAED,SAAS,eAAe,CAAC,OAAe;IACtC,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC7C,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IACxB,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;QACxB,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,UAAU,GAAG,IAAI,CAAC;YAClB,SAAS;QACX,CAAC;QACD,IAAI,UAAU,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,MAAM;QAChD,IAAI,UAAU,EAAE,CAAC;YACf,MAAM,IAAI,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;YACrC,IAAI,IAAI;gBAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,kBAAkB,CAAC,OAAe,EAAE,OAAe;IAC1D,OAAO,cAAc,CAAC,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;AACvD,CAAC;AAED,SAAS,2BAA2B,CAAC,OAAe;IAClD,MAAM,OAAO,GAAG,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC7C,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IACxB,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,OAAO,GAAG,uCAAuC,CAAC;IACxD,IAAI,KAA6B,CAAC;IAClC,OAAO,CAAC,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QAChD,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACvC,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;YACxB,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;gBAAE,SAAS;YAC5C,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,WAAW,CAAC,OAAe,EAAE,OAAe;IACnD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,MAAM,CAAC,UAAU,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAC5G,IAAI,KAAK,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IACzB,IAAI,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC;IACvB,KAAK,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACjD,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5B,GAAG,GAAG,CAAC,CAAC;YACR,MAAM;QACR,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;AACvD,CAAC;AAED,SAAS,cAAc,CAAC,OAAe;IACrC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,iBAAiB,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;QAC3C,IAAI,IAAI;YAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAY;IACrC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,yBAAyB,CAAC,CAAC;IACpD,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AACzB,CAAC;AAED,SAAS,cAAc,CAAC,OAAe;IACrC,MAAM,KAAK,GAAG,OAAO;SAClB,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;SACxB,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;IACtG,OAAO,KAAK,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;AAC1B,CAAC;AAED,SAAS,YAAY,CAAC,KAAa;IACjC,OAAO,KAAK,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;AACtD,CAAC"}

package/dist/core/integrity-exemptions.d.ts

@@ -0,0 +1,29 @@
+import type { ProjectPaths } from './paths.js';
+export type IntegrityExemptionKind = 'legacy-missing-verification';
+export interface IntegrityExemption {
+    id: string;
+    kind: IntegrityExemptionKind;
+    specCode: string;
+    taskId: string;
+    reason: string;
+    createdAt: string;
+    migrationId: string;
+}
+export interface IntegrityExemptionRegistry {
+    version: 1;
+    exemptions: IntegrityExemption[];
+}
+export interface IntegrityExemptionProblem {
+    sourceId: string;
+    message: string;
+}
+export interface IntegrityExemptionReadResult {
+    registry: IntegrityExemptionRegistry;
+    problems: IntegrityExemptionProblem[];
+}
+export declare function emptyIntegrityExemptionRegistry(): IntegrityExemptionRegistry;
+export declare function readIntegrityExemptions(paths: ProjectPaths): IntegrityExemptionReadResult;
+export declare function mergeIntegrityExemptions(registry: IntegrityExemptionRegistry, additions: IntegrityExemption[]): IntegrityExemptionRegistry;
+export declare function writeIntegrityExemptions(paths: ProjectPaths, registry: IntegrityExemptionRegistry): void;
+export declare function exemptionTaskKey(exemption: Pick<IntegrityExemption, 'specCode' | 'taskId'>): string;
+//# sourceMappingURL=integrity-exemptions.d.ts.map

package/dist/core/integrity-exemptions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"integrity-exemptions.d.ts","sourceRoot":"","sources":["../../src/core/integrity-exemptions.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAG/C,MAAM,MAAM,sBAAsB,GAAG,6BAA6B,CAAC;AAEnE,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,sBAAsB,CAAC;IAC7B,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,0BAA0B;IACzC,OAAO,EAAE,CAAC,CAAC;IACX,UAAU,EAAE,kBAAkB,EAAE,CAAC;CAClC;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,EAAE,0BAA0B,CAAC;IACrC,QAAQ,EAAE,yBAAyB,EAAE,CAAC;CACvC;AAED,wBAAgB,+BAA+B,IAAI,0BAA0B,CAE5E;AAED,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,YAAY,GAAG,4BAA4B,CAsCzF;AAED,wBAAgB,wBAAwB,CACtC,QAAQ,EAAE,0BAA0B,EACpC,SAAS,EAAE,kBAAkB,EAAE,GAC9B,0BAA0B,CAsB5B;AAED,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,0BAA0B,GAAG,IAAI,CAExG;AAED,wBAAgB,gBAAgB,CAAC,SAAS,EAAE,IAAI,CAAC,kBAAkB,EAAE,UAAU,GAAG,QAAQ,CAAC,GAAG,MAAM,CAEnG"}

package/dist/core/integrity-exemptions.js

@@ -0,0 +1,100 @@
+import { existsSync, readFileSync } from 'node:fs';
+import { writeAtomic } from './frontmatter.js';
+export function emptyIntegrityExemptionRegistry() {
+    return { version: 1, exemptions: [] };
+}
+export function readIntegrityExemptions(paths) {
+    if (!existsSync(paths.integrityExemptionsFile)) {
+        return { registry: emptyIntegrityExemptionRegistry(), problems: [] };
+    }
+    let value;
+    try {
+        value = JSON.parse(readFileSync(paths.integrityExemptionsFile, 'utf8'));
+    }
+    catch (err) {
+        return invalidRegistry(`cannot parse integrity exemption registry: ${errorMessage(err)}`);
+    }
+    if (!isRecord(value) || value.version !== 1 || !Array.isArray(value.exemptions)) {
+        return invalidRegistry('integrity exemption registry must have version 1 and an exemptions array');
+    }
+    const exemptions = [];
+    const problems = [];
+    const ids = new Set();
+    const taskKeys = new Set();
+    for (const [index, item] of value.exemptions.entries()) {
+        if (!isIntegrityExemption(item)) {
+            problems.push({ sourceId: `exemption[${index}]`, message: `integrity exemption at index ${index} has invalid fields` });
+            continue;
+        }
+        const taskKey = exemptionTaskKey(item);
+        if (ids.has(item.id)) {
+            problems.push({ sourceId: item.id, message: `duplicate integrity exemption id: ${item.id}` });
+            continue;
+        }
+        if (taskKeys.has(taskKey)) {
+            problems.push({ sourceId: taskKey, message: `duplicate integrity exemption task key: ${taskKey}` });
+            continue;
+        }
+        ids.add(item.id);
+        taskKeys.add(taskKey);
+        exemptions.push(item);
+    }
+    return { registry: { version: 1, exemptions }, problems };
+}
+export function mergeIntegrityExemptions(registry, additions) {
+    const byId = new Map(registry.exemptions.map(exemption => [exemption.id, exemption]));
+    const byTask = new Map(registry.exemptions.map(exemption => [exemptionTaskKey(exemption), exemption]));
+    const merged = [...registry.exemptions];
+    for (const exemption of additions) {
+        if (!isIntegrityExemption(exemption)) {
+            throw new Error('INVALID_EXEMPTION: invalid fields');
+        }
+        const sameId = byId.get(exemption.id);
+        const sameTask = byTask.get(exemptionTaskKey(exemption));
+        if (sameId && JSON.stringify(sameId) !== JSON.stringify(exemption)) {
+            throw new Error(`EXEMPTION_CONFLICT: id ${exemption.id}`);
+        }
+        if (sameTask && sameTask.id !== exemption.id) {
+            throw new Error(`EXEMPTION_CONFLICT: task ${exemptionTaskKey(exemption)}`);
+        }
+        if (sameId || sameTask)
+            continue;
+        merged.push(exemption);
+        byId.set(exemption.id, exemption);
+        byTask.set(exemptionTaskKey(exemption), exemption);
+    }
+    return { version: 1, exemptions: merged };
+}
+export function writeIntegrityExemptions(paths, registry) {
+    writeAtomic(paths.integrityExemptionsFile, `${JSON.stringify(registry, null, 2)}\n`);
+}
+export function exemptionTaskKey(exemption) {
+    return `${exemption.specCode}:${exemption.taskId}`;
+}
+function invalidRegistry(message) {
+    return {
+        registry: emptyIntegrityExemptionRegistry(),
+        problems: [{ sourceId: 'integrity-exemptions', message }],
+    };
+}
+function isIntegrityExemption(value) {
+    if (!isRecord(value))
+        return false;
+    return value.kind === 'legacy-missing-verification'
+        && nonEmpty(value.id)
+        && nonEmpty(value.specCode)
+        && nonEmpty(value.taskId)
+        && nonEmpty(value.reason)
+        && nonEmpty(value.createdAt)
+        && nonEmpty(value.migrationId);
+}
+function isRecord(value) {
+    return typeof value === 'object' && value !== null && !Array.isArray(value);
+}
+function nonEmpty(value) {
+    return typeof value === 'string' && value.trim().length > 0;
+}
+function errorMessage(err) {
+    return err instanceof Error ? err.message : String(err);
+}
+//# sourceMappingURL=integrity-exemptions.js.map

package/dist/core/integrity-exemptions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"integrity-exemptions.js","sourceRoot":"","sources":["../../src/core/integrity-exemptions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAEnD,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AA6B/C,MAAM,UAAU,+BAA+B;IAC7C,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;AACxC,CAAC;AAED,MAAM,UAAU,uBAAuB,CAAC,KAAmB;IACzD,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,uBAAuB,CAAC,EAAE,CAAC;QAC/C,OAAO,EAAE,QAAQ,EAAE,+BAA+B,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IACvE,CAAC;IAED,IAAI,KAAc,CAAC;IACnB,IAAI,CAAC;QACH,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,uBAAuB,EAAE,MAAM,CAAC,CAAC,CAAC;IAC1E,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,eAAe,CAAC,8CAA8C,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC5F,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;QAChF,OAAO,eAAe,CAAC,0EAA0E,CAAC,CAAC;IACrG,CAAC;IAED,MAAM,UAAU,GAAyB,EAAE,CAAC;IAC5C,MAAM,QAAQ,GAAgC,EAAE,CAAC;IACjD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;QACvD,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,aAAa,KAAK,GAAG,EAAE,OAAO,EAAE,gCAAgC,KAAK,qBAAqB,EAAE,CAAC,CAAC;YACxH,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YACrB,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,qCAAqC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YAC9F,SAAS;QACX,CAAC;QACD,IAAI,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YAC1B,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,2CAA2C,OAAO,EAAE,EAAE,CAAC,CAAC;YACpG,SAAS;QACX,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjB,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACtB,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,UAAU,EAAE,EAAE,QAAQ,EAAE,CAAC;AAC5D,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,QAAoC,EACpC,SAA+B;IAE/B,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;IACtF,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;IACvG,MAAM,MAAM,GAAG,CAAC,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC;IACxC,KAAK,MAAM,SAAS,IAAI,SAAS,EAAE,CAAC;QAClC,IAAI,CAAC,oBAAoB,CAAC,SAAS,CAAC,EAAE,CAAC;YACrC,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;QACvD,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACtC,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC,CAAC;QACzD,IAAI,MAAM,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,CAAC;YACnE,MAAM,IAAI,KAAK,CAAC,0BAA0B,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC;QAC5D,CAAC;QACD,IAAI,QAAQ,IAAI,QAAQ,CAAC,EAAE,KAAK,SAAS,CAAC,EAAE,EAAE,CAAC;YAC7C,MAAM,IAAI,KAAK,CAAC,4BAA4B,gBAAgB,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QAC7E,CAAC;QACD,IAAI,MAAM,IAAI,QAAQ;YAAE,SAAS;QACjC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACvB,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;QAClC,MAAM,CAAC,GAAG,CAAC,gBAAgB,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC;AAC5C,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,KAAmB,EAAE,QAAoC;IAChG,WAAW,CAAC,KAAK,CAAC,uBAAuB,EAAE,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;AACvF,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,SAA0D;IACzF,OAAO,GAAG,SAAS,CAAC,QAAQ,IAAI,SAAS,CAAC,MAAM,EAAE,CAAC;AACrD,CAAC;AAED,SAAS,eAAe,CAAC,OAAe;IACtC,OAAO;QACL,QAAQ,EAAE,+BAA+B,EAAE;QAC3C,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,sBAAsB,EAAE,OAAO,EAAE,CAAC;KAC1D,CAAC;AACJ,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAc;IAC1C,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACnC,OAAO,KAAK,CAAC,IAAI,KAAK,6BAA6B;WAC9C,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;WAClB,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC;WACxB,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;WACtB,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;WACtB,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC;WACzB,QAAQ,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;AACnC,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;AAC9D,CAAC;AAED,SAAS,YAAY,CAAC,GAAY;IAChC,OAAO,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;AAC1D,CAAC"}

package/dist/core/integrity.d.ts

@@ -0,0 +1,12 @@
+import type { ProjectPaths } from './paths.js';
+export type IntegrityIssueKind = 'dangling-reference' | 'conflicting-active-task' | 'missing-verification' | 'missing-decision' | 'immutable-history-violation' | 'invalid-exemption' | 'stale-confirmed-parent';
+export interface IntegrityIssue {
+    kind: IntegrityIssueKind;
+    sourceFile: string;
+    sourceId: string;
+    targetId?: string;
+    message: string;
+    remediation?: string;
+}
+export declare function inspectProjectIntegrity(paths: ProjectPaths): IntegrityIssue[];
+//# sourceMappingURL=integrity.d.ts.map

package/dist/core/integrity.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"integrity.d.ts","sourceRoot":"","sources":["../../src/core/integrity.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAQ/C,MAAM,MAAM,kBAAkB,GAC1B,oBAAoB,GACpB,yBAAyB,GACzB,sBAAsB,GACtB,kBAAkB,GAClB,6BAA6B,GAC7B,mBAAmB,GACnB,wBAAwB,CAAC;AAE7B,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,kBAAkB,CAAC;IACzB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAID,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,YAAY,GAAG,cAAc,EAAE,CAqI7E"}

package/dist/core/integrity.js

@@ -0,0 +1,163 @@
+import { listAllSpecs } from './spec-io.js';
+import { listTasks } from './task.js';
+import { listDecisions } from './decision.js';
+import { listIncidents } from './incident.js';
+import { listTaskLinkedChangeProposals } from './delta.js';
+import { exemptionTaskKey, readIntegrityExemptions } from './integrity-exemptions.js';
+const ACTIVE_TASK_STATUSES = new Set(['draft', 'running', 'waiting']);
+export function inspectProjectIntegrity(paths) {
+    const issues = [];
+    const specs = listAllSpecs(paths);
+    const tasks = listTasks(paths);
+    const decisions = listDecisions(paths, { includeAll: true });
+    const incidents = listIncidents(paths);
+    const changes = listTaskLinkedChangeProposals(paths);
+    const exemptionResult = readIntegrityExemptions(paths);
+    const specCodes = new Set(specs.map(spec => spec.fm.code));
+    const taskKeys = new Set(tasks.map(task => `${task.specCode}:${task.id}`));
+    const decisionIds = new Set(decisions.map(decision => decision.id));
+    const taskByKey = new Map(tasks.map(task => [`${task.specCode}:${task.id}`, task]));
+    const validExemptionTaskKeys = new Set();
+    for (const problem of exemptionResult.problems) {
+        issues.push({
+            kind: 'invalid-exemption',
+            sourceFile: paths.integrityExemptionsFile,
+            sourceId: problem.sourceId,
+            message: problem.message,
+            remediation: 'Repair or remove the invalid integrity exemption entry.',
+        });
+    }
+    for (const exemption of exemptionResult.registry.exemptions) {
+        const key = exemptionTaskKey(exemption);
+        const task = taskByKey.get(key);
+        if (!task) {
+            issues.push(invalidExemption(paths, exemption.id, `integrity exemption references missing task ${key}`));
+        }
+        else if (task.status !== 'completed') {
+            issues.push(invalidExemption(paths, exemption.id, `integrity exemption references non-completed task ${key}`));
+        }
+        else if ((task.verifications ?? []).some(v => v.exitCode === 0)) {
+            issues.push(invalidExemption(paths, exemption.id, `integrity exemption references task with successful verification ${key}`));
+        }
+        else {
+            validExemptionTaskKeys.add(key);
+        }
+    }
+    for (const spec of specs) {
+        if (spec.fm.parentCode && !specCodes.has(spec.fm.parentCode)) {
+            issues.push(dangling(spec.filePath, spec.fm.code, spec.fm.parentCode, 'parentCode'));
+        }
+        for (const relation of spec.fm.relations ?? []) {
+            if (!specCodes.has(relation.target)) {
+                issues.push(dangling(spec.filePath, spec.fm.code, relation.target, `relation ${relation.type}`));
+            }
+        }
+        if (spec.fm.level === 'L1' && spec.fm.status === 'implemented' && !decisions.some(d => d.fm.docCode === spec.fm.code)) {
+            issues.push({
+                kind: 'missing-decision',
+                sourceFile: spec.filePath,
+                sourceId: spec.fm.code,
+                message: `implemented L1 ${spec.fm.code} has no decision card`,
+                remediation: `spec-manager decision create ${spec.fm.code} --topic ${spec.fm.topic} --what "..."`,
+            });
+        }
+        if ((spec.fm.level === 'L1' || spec.fm.level === 'L2') && spec.fm.status === 'confirmed') {
+            const children = specs.filter(child => child.fm.parentCode === spec.fm.code);
+            if (children.length > 0 && children.every(child => child.fm.status === 'implemented')) {
+                issues.push({
+                    kind: 'stale-confirmed-parent',
+                    sourceFile: spec.filePath,
+                    sourceId: spec.fm.code,
+                    message: `confirmed ${spec.fm.level} ${spec.fm.code} has only implemented direct children`,
+                    remediation: 'spec-manager project reconcile --dry-run',
+                });
+            }
+        }
+    }
+    for (const task of tasks) {
+        if (!specCodes.has(task.specCode)) {
+            issues.push(dangling(taskFileHint(paths, task), task.id, task.specCode, 'task specCode'));
+        }
+        const taskKey = `${task.specCode}:${task.id}`;
+        if (task.status === 'completed' && !(task.verifications ?? []).some(v => v.exitCode === 0) && !validExemptionTaskKeys.has(taskKey)) {
+            issues.push({
+                kind: 'missing-verification',
+                sourceFile: taskFileHint(paths, task),
+                sourceId: `${task.specCode}:${task.id}`,
+                message: `completed task ${task.id} (${task.specCode}) has no successful verification`,
+                remediation: 'Create a follow-up task; completed task history is immutable.',
+            });
+        }
+        if ((task.status === 'completed' || task.status === 'failed') && (task.steps ?? []).some(step => step.status !== 'succeeded')) {
+            issues.push({
+                kind: 'immutable-history-violation',
+                sourceFile: taskFileHint(paths, task),
+                sourceId: `${task.specCode}:${task.id}`,
+                message: `terminal task ${task.id} contains non-succeeded steps`,
+            });
+        }
+    }
+    const activeBySpec = new Map();
+    for (const task of tasks.filter(task => ACTIVE_TASK_STATUSES.has(task.status))) {
+        activeBySpec.set(task.specCode, [...(activeBySpec.get(task.specCode) ?? []), task]);
+    }
+    for (const [specCode, active] of activeBySpec) {
+        if (active.length > 1) {
+            issues.push({
+                kind: 'conflicting-active-task',
+                sourceFile: taskFileHint(paths, active[0]),
+                sourceId: specCode,
+                message: `${specCode} has ${active.length} active tasks: ${active.map(task => task.id).join(', ')}`,
+            });
+        }
+    }
+    for (const decision of decisions) {
+        if (!specCodes.has(decision.fm.docCode)) {
+            issues.push(dangling(decision.filePath, decision.id, decision.fm.docCode, 'decision docCode'));
+        }
+    }
+    for (const incident of incidents) {
+        if (incident.fm.specCode && !specCodes.has(incident.fm.specCode)) {
+            issues.push(dangling(incident.filePath, incident.id, incident.fm.specCode, 'incident specCode'));
+        }
+        if (incident.fm.taskCode && incident.fm.specCode && !taskKeys.has(`${incident.fm.specCode}:${incident.fm.taskCode}`)) {
+            issues.push(dangling(incident.filePath, incident.id, incident.fm.taskCode, 'incident taskCode'));
+        }
+        for (const id of incident.fm.relatedDecisions ?? []) {
+            if (!decisionIds.has(id))
+                issues.push(dangling(incident.filePath, incident.id, id, 'incident relatedDecision'));
+        }
+    }
+    for (const change of changes) {
+        if (!specCodes.has(change.specCode)) {
+            issues.push(dangling(change.proposalFile, change.name, change.specCode, 'change specCode'));
+        }
+        if (!taskKeys.has(`${change.specCode}:${change.taskCode}`)) {
+            issues.push(dangling(change.proposalFile, change.name, change.taskCode, 'change taskCode'));
+        }
+    }
+    return issues;
+}
+function invalidExemption(paths, sourceId, message) {
+    return {
+        kind: 'invalid-exemption',
+        sourceFile: paths.integrityExemptionsFile,
+        sourceId,
+        message,
+        remediation: 'Repair or remove the invalid integrity exemption entry.',
+    };
+}
+function dangling(sourceFile, sourceId, targetId, field) {
+    return {
+        kind: 'dangling-reference',
+        sourceFile,
+        sourceId,
+        targetId,
+        message: `${sourceId} has dangling ${field}: ${targetId}`,
+    };
+}
+function taskFileHint(paths, task) {
+    const topic = listAllSpecs(paths).find(spec => spec.fm.code === task.specCode)?.fm.topic ?? '?';
+    return `${paths.specsDir}/${topic}/tasks/${task.specCode}-${task.id}.json`;
+}
+//# sourceMappingURL=integrity.js.map

package/dist/core/integrity.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"integrity.js","sourceRoot":"","sources":["../../src/core/integrity.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAE,SAAS,EAAmB,MAAM,WAAW,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,6BAA6B,EAAE,MAAM,YAAY,CAAC;AAC3D,OAAO,EAAE,gBAAgB,EAAE,uBAAuB,EAAE,MAAM,2BAA2B,CAAC;AAoBtF,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC;AAEtE,MAAM,UAAU,uBAAuB,CAAC,KAAmB;IACzD,MAAM,MAAM,GAAqB,EAAE,CAAC;IACpC,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IAClC,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;IAC/B,MAAM,SAAS,GAAG,aAAa,CAAC,KAAK,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;IAC7D,MAAM,SAAS,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACvC,MAAM,OAAO,GAAG,6BAA6B,CAAC,KAAK,CAAC,CAAC;IACrD,MAAM,eAAe,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAC;IACvD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAC3E,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;IACpE,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACpF,MAAM,sBAAsB,GAAG,IAAI,GAAG,EAAU,CAAC;IAEjD,KAAK,MAAM,OAAO,IAAI,eAAe,CAAC,QAAQ,EAAE,CAAC;QAC/C,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,mBAAmB;YACzB,UAAU,EAAE,KAAK,CAAC,uBAAuB;YACzC,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,WAAW,EAAE,yDAAyD;SACvE,CAAC,CAAC;IACL,CAAC;IACD,KAAK,MAAM,SAAS,IAAI,eAAe,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC;QAC5D,MAAM,GAAG,GAAG,gBAAgB,CAAC,SAAS,CAAC,CAAC;QACxC,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAChC,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,EAAE,+CAA+C,GAAG,EAAE,CAAC,CAAC,CAAC;QAC3G,CAAC;aAAM,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;YACvC,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,EAAE,qDAAqD,GAAG,EAAE,CAAC,CAAC,CAAC;QACjH,CAAC;aAAM,IAAI,CAAC,IAAI,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,EAAE,CAAC;YAClE,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,EAAE,oEAAoE,GAAG,EAAE,CAAC,CAAC,CAAC;QAChI,CAAC;aAAM,CAAC;YACN,sBAAsB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAClC,CAAC;IACH,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,EAAE,CAAC,UAAU,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;YAC7D,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC,CAAC;QACvF,CAAC;QACD,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,EAAE,CAAC,SAAS,IAAI,EAAE,EAAE,CAAC;YAC/C,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;gBACpC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,EAAE,YAAY,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YACnG,CAAC;QACH,CAAC;QACD,IAAI,IAAI,CAAC,EAAE,CAAC,KAAK,KAAK,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC,MAAM,KAAK,aAAa,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,KAAK,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACtH,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,kBAAkB;gBACxB,UAAU,EAAE,IAAI,CAAC,QAAQ;gBACzB,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI;gBACtB,OAAO,EAAE,kBAAkB,IAAI,CAAC,EAAE,CAAC,IAAI,uBAAuB;gBAC9D,WAAW,EAAE,gCAAgC,IAAI,CAAC,EAAE,CAAC,IAAI,YAAY,IAAI,CAAC,EAAE,CAAC,KAAK,eAAe;aAClG,CAAC,CAAC;QACL,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,KAAK,IAAI,IAAI,IAAI,CAAC,EAAE,CAAC,KAAK,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;YACzF,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,UAAU,KAAK,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YAC7E,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,KAAK,aAAa,CAAC,EAAE,CAAC;gBACtF,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,wBAAwB;oBAC9B,UAAU,EAAE,IAAI,CAAC,QAAQ;oBACzB,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI;oBACtB,OAAO,EAAE,aAAa,IAAI,CAAC,EAAE,CAAC,KAAK,IAAI,IAAI,CAAC,EAAE,CAAC,IAAI,uCAAuC;oBAC1F,WAAW,EAAE,0CAA0C;iBACxD,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YAClC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC,CAAC;QAC5F,CAAC;QACD,MAAM,OAAO,GAAG,GAAG,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;QAC9C,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YACnI,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,sBAAsB;gBAC5B,UAAU,EAAE,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC;gBACrC,QAAQ,EAAE,GAAG,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,EAAE,EAAE;gBACvC,OAAO,EAAE,kBAAkB,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,QAAQ,kCAAkC;gBACtF,WAAW,EAAE,+DAA+D;aAC7E,CAAC,CAAC;QACL,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,WAAW,IAAI,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,WAAW,CAAC,EAAE,CAAC;YAC9H,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,6BAA6B;gBACnC,UAAU,EAAE,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC;gBACrC,QAAQ,EAAE,GAAG,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,EAAE,EAAE;gBACvC,OAAO,EAAE,iBAAiB,IAAI,CAAC,EAAE,+BAA+B;aACjE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,GAAG,EAAwB,CAAC;IACrD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;QAC/E,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;IACtF,CAAC;IACD,KAAK,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;QAC9C,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,yBAAyB;gBAC/B,UAAU,EAAE,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;gBAC1C,QAAQ,EAAE,QAAQ;gBAClB,OAAO,EAAE,GAAG,QAAQ,QAAQ,MAAM,CAAC,MAAM,kBAAkB,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;aACpG,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;YACxC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,EAAE,CAAC,OAAO,EAAE,kBAAkB,CAAC,CAAC,CAAC;QACjG,CAAC;IACH,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,IAAI,QAAQ,CAAC,EAAE,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC;YACjE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,EAAE,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC,CAAC;QACnG,CAAC;QACD,IAAI,QAAQ,CAAC,EAAE,CAAC,QAAQ,IAAI,QAAQ,CAAC,EAAE,CAAC,QAAQ,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,EAAE,CAAC,QAAQ,IAAI,QAAQ,CAAC,EAAE,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC;YACrH,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,EAAE,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC,CAAC;QACnG,CAAC;QACD,KAAK,MAAM,EAAE,IAAI,QAAQ,CAAC,EAAE,CAAC,gBAAgB,IAAI,EAAE,EAAE,CAAC;YACpD,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,EAAE,EAAE,EAAE,0BAA0B,CAAC,CAAC,CAAC;QAClH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;YACpC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,YAAY,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,QAAQ,EAAE,iBAAiB,CAAC,CAAC,CAAC;QAC9F,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC;YAC3D,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,YAAY,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,QAAQ,EAAE,iBAAiB,CAAC,CAAC,CAAC;QAC9F,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAmB,EAAE,QAAgB,EAAE,OAAe;IAC9E,OAAO;QACL,IAAI,EAAE,mBAAmB;QACzB,UAAU,EAAE,KAAK,CAAC,uBAAuB;QACzC,QAAQ;QACR,OAAO;QACP,WAAW,EAAE,yDAAyD;KACvE,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,UAAkB,EAAE,QAAgB,EAAE,QAAgB,EAAE,KAAa;IACrF,OAAO;QACL,IAAI,EAAE,oBAAoB;QAC1B,UAAU;QACV,QAAQ;QACR,QAAQ;QACR,OAAO,EAAE,GAAG,QAAQ,iBAAiB,KAAK,KAAK,QAAQ,EAAE;KAC1D,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,KAAmB,EAAE,IAAgB;IACzD,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,KAAK,IAAI,GAAG,CAAC;IAChG,OAAO,GAAG,KAAK,CAAC,QAAQ,IAAI,KAAK,UAAU,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,EAAE,OAAO,CAAC;AAC7E,CAAC"}

package/dist/core/invariants.d.ts

@@ -0,0 +1,5 @@
+import type { TaskRecord } from './task.js';
+export declare function assertTaskMutable(task: TaskRecord, operation: string): void;
+export declare function assertNoActiveTaskForSpec(tasks: TaskRecord[], specCode: string): void;
+export declare function assertTaskHasSuccessfulVerification(task: TaskRecord): void;
+//# sourceMappingURL=invariants.d.ts.map

package/dist/core/invariants.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"invariants.d.ts","sourceRoot":"","sources":["../../src/core/invariants.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAK5C,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,GAAG,IAAI,CAI3E;AAED,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE,QAAQ,EAAE,MAAM,GAAG,IAAI,CAKrF;AAED,wBAAgB,mCAAmC,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI,CAI1E"}