@principles/core 1.287.1 → 1.287.2

package/dist/runtime-v2/__tests__/mainline-contract.test.js

@@ -1,194 +0,0 @@
-import { describe, it, expect } from 'vitest';
-import { assertMainlineContract, EMPTY_CONTEXT_SENTINEL, } from '../mainline-contract.js';
-/**
- * Executable contract for the Story A' mainline.
- *
- * These tests judge the PURE validator over hand-built snapshots, so they are
- * deterministic and run on every CI (no LLM, no DB). They are the single place
- * that defines what "the mainline is healthy" means; the integrity read-model,
- * `pd mvp smoke`, and the Console chain view must produce snapshots this judges.
- */
-const FIXED_NOW = () => new Date('2026-06-14T00:00:00.000Z');
-/** A fully-healthy snapshot. Each test mutates one stage to assert isolation. */
-function healthySnapshot() {
-    return {
-        readiness: {
-            configDoctorProfile: 'pi-ai.lmstudio',
-            runtimeProbeProfile: 'pi-ai.lmstudio',
-            configSource: '.pd/config.yaml',
-            probeConfigSource: '.pd/config.yaml',
-            diagnosticianReady: true,
-        },
-        chain: {
-            painId: 'pain-001',
-            diagnosisTask: { taskId: 'diag_router-001', status: 'succeeded', hasSucceededRun: true },
-            diagnosticianArtifact: { artifactId: 'art-001', sourcePainId: 'pain-001' },
-            candidate: {
-                candidateId: 'cand-001',
-                status: 'consumed',
-                sourceTaskId: 'diag_router-001',
-                sourceArtifactId: 'art-001',
-                sourceRunId: 'run_diag_router-001',
-            },
-            dreamerTask: {
-                taskId: 'dreamer-cand-001-prompt',
-                dependencyTaskIds: ['diag_router-001'],
-                inputArtifactRefs: [{ artifactType: 'diagnostician_output', ref: 'artifact://art-001' }],
-            },
-            dreamerContext: { contextHash: 'abc123', contextRefs: ['artifact://art-001'] },
-            successor: { taskId: 'philosopher-dreamer-cand-001-prompt', taskKind: 'philosopher', exists: true },
-            principle: { exists: true, principleId: 'prin-001', reviewable: true },
-        },
-        consumedCandidatesMissingDreamer: [],
-    };
-}
-function stage(verdicts, name) {
-    const v = verdicts.stages.find((s) => s.stage === name);
-    if (!v)
-        throw new Error(`stage ${name} not found in verdict`);
-    return v;
-}
-describe('assertMainlineContract', () => {
-    it('healthy snapshot → overall ok, every stage ok, no violations', () => {
-        const verdict = assertMainlineContract(healthySnapshot(), FIXED_NOW);
-        expect(verdict.overall).toBe('ok');
-        expect(verdict.painId).toBe('pain-001');
-        expect(verdict.stages.every((s) => s.status === 'ok')).toBe(true);
-        expect(verdict.generatedAt).toBe('2026-06-14T00:00:00.000Z');
-    });
-    it('every violation carries a non-empty reason and nextAction (EP-03)', () => {
-        const snap = healthySnapshot();
-        snap.chain.dreamerTask = { taskId: 'dreamer-x', dependencyTaskIds: [], inputArtifactRefs: [] };
-        snap.chain.dreamerContext = { contextHash: EMPTY_CONTEXT_SENTINEL, contextRefs: [] };
-        const verdict = assertMainlineContract(snap, FIXED_NOW);
-        for (const s of verdict.stages) {
-            if (s.status === 'violation') {
-                expect(s.reason.trim().length).toBeGreaterThan(0);
-                expect(s.nextAction && s.nextAction.trim().length).toBeTruthy();
-            }
-        }
-    });
-    // ── The current production bug: severed dreamer lineage ──────────────────────
-    it('dreamer task with empty dependencyTaskIds → dreamer_task_lineage violation', () => {
-        const snap = healthySnapshot();
-        snap.chain.dreamerTask = {
-            taskId: 'dreamer-cand-001-prompt',
-            dependencyTaskIds: [],
-            inputArtifactRefs: [{ artifactType: 'candidate', ref: 'candidate://cand-001' }],
-        };
-        const verdict = assertMainlineContract(snap, FIXED_NOW);
-        expect(verdict.overall).toBe('violation');
-        expect(stage(verdict, 'dreamer_task_lineage').status).toBe('violation');
-        // downstream cascades to skipped, not a pile of violations
-        expect(stage(verdict, 'dreamer_context').status).toBe('skipped');
-        expect(stage(verdict, 'successor').status).toBe('skipped');
-    });
-    it('empty dreamer context (sentinel) → dreamer_context violation', () => {
-        const snap = healthySnapshot();
-        snap.chain.dreamerContext = { contextHash: EMPTY_CONTEXT_SENTINEL, contextRefs: [] };
-        const verdict = assertMainlineContract(snap, FIXED_NOW);
-        expect(stage(verdict, 'dreamer_context').status).toBe('violation');
-    });
-    // ── P1: isManualEmptyInput must NOT bypass candidate-derived lineage ─────────
-    // The contract judges the MVP mainline only — isManualEmptyInput gets no
-    // special treatment. Candidate-derived chains must carry correct lineage
-    // regardless.
-    it('P1: isManualEmptyInput=true with no lineage → dreamer_task_lineage violation', () => {
-        const snap = healthySnapshot();
-        snap.chain.dreamerTask = {
-            taskId: 'dreamer-manual',
-            dependencyTaskIds: [],
-            inputArtifactRefs: [],
-            isManualEmptyInput: true,
-        };
-        snap.chain.dreamerContext = { contextHash: EMPTY_CONTEXT_SENTINEL, contextRefs: [] };
-        const verdict = assertMainlineContract(snap, FIXED_NOW);
-        expect(verdict.overall).toBe('violation');
-        expect(stage(verdict, 'dreamer_task_lineage').status).toBe('violation');
-        expect(stage(verdict, 'dreamer_context').status).toBe('skipped');
-    });
-    // ── P2: artifact ref matching must be exact, not substring ───────────────────
-    it('P2: artifact ref with substring-only match (artifact://art-001-old) → violation', () => {
-        const snap = healthySnapshot();
-        snap.chain.dreamerTask = {
-            taskId: 'dreamer-cand-001-prompt',
-            dependencyTaskIds: ['diag_router-001'],
-            inputArtifactRefs: [{ artifactType: 'diagnostician_output', ref: 'artifact://art-001-old' }],
-        };
-        const verdict = assertMainlineContract(snap, FIXED_NOW);
-        expect(stage(verdict, 'dreamer_task_lineage').status).toBe('violation');
-        expect(stage(verdict, 'dreamer_task_lineage').reason).toContain('inputArtifactRefs');
-    });
-    it('P2: artifact ref matches by type and exact ref → dreamer_task_lineage ok', () => {
-        const snap = healthySnapshot();
-        snap.chain.dreamerTask = {
-            taskId: 'dreamer-cand-001-prompt',
-            dependencyTaskIds: ['diag_router-001'],
-            inputArtifactRefs: [{ artifactType: 'diagnostician_output', ref: 'artifact://art-001' }],
-        };
-        const verdict = assertMainlineContract(snap, FIXED_NOW);
-        expect(stage(verdict, 'dreamer_task_lineage').status).toBe('ok');
-    });
-    // ── Readiness gates (independent of chain) ───────────────────────────────────
-    it('config drift (doctor != probe) → config_source_alignment violation', () => {
-        const snap = healthySnapshot();
-        snap.readiness.runtimeProbeProfile = 'pi-ai.sensenova';
-        snap.readiness.probeConfigSource = '.state/workflows.yaml';
-        const verdict = assertMainlineContract(snap, FIXED_NOW);
-        expect(stage(verdict, 'config_source_alignment').status).toBe('violation');
-        expect(stage(verdict, 'config_source_alignment').reason).toContain('drift');
-    });
-    it('coincidental match but legacy probe source → config_source_alignment violation', () => {
-        const snap = healthySnapshot();
-        snap.readiness.probeConfigSource = '.state/workflows.yaml';
-        const verdict = assertMainlineContract(snap, FIXED_NOW);
-        expect(stage(verdict, 'config_source_alignment').status).toBe('violation');
-    });
-    it('diagnostician not ready → diagnostician_readiness violation', () => {
-        const snap = healthySnapshot();
-        snap.readiness.diagnosticianReady = false;
-        snap.readiness.diagnosticianReadinessReason = 'needs_probe';
-        const verdict = assertMainlineContract(snap, FIXED_NOW);
-        expect(stage(verdict, 'diagnostician_readiness').status).toBe('violation');
-    });
-    // ── task_succeeded_no_succeeded_run ──────────────────────────────────────────
-    it('diagnosis task succeeded but no succeeded run → diagnosis_task violation', () => {
-        const snap = healthySnapshot();
-        snap.chain.diagnosisTask = { taskId: 'diag_router-001', status: 'succeeded', hasSucceededRun: false };
-        const verdict = assertMainlineContract(snap, FIXED_NOW);
-        expect(stage(verdict, 'diagnosis_task').status).toBe('violation');
-        expect(stage(verdict, 'candidate_lineage').status).toBe('skipped');
-    });
-    // ── Same-source lineage (EP-07) ──────────────────────────────────────────────
-    it('candidate lineage mismatch (sourceTaskId != diagnosis task) → candidate_lineage violation', () => {
-        const snap = healthySnapshot();
-        snap.chain.candidate = {
-            candidateId: 'cand-001',
-            status: 'consumed',
-            sourceTaskId: 'diag_router-OTHER',
-            sourceArtifactId: 'art-001',
-            sourceRunId: 'run_diag_router-001',
-        };
-        const verdict = assertMainlineContract(snap, FIXED_NOW);
-        expect(stage(verdict, 'candidate_lineage').status).toBe('violation');
-    });
-    // ── Auto-consumption hole (missing_dreamer_task) ─────────────────────────────
-    it('consumed candidates missing dreamer task → auto_consumption violation', () => {
-        const snap = healthySnapshot();
-        snap.consumedCandidatesMissingDreamer = ['e0f1da64', 'c1938d3b', 'd68f89c1'];
-        const verdict = assertMainlineContract(snap, FIXED_NOW);
-        expect(stage(verdict, 'auto_consumption').status).toBe('violation');
-        expect(stage(verdict, 'auto_consumption').reason).toContain('3 consumed');
-    });
-    // ── Cascade root-cause clarity ───────────────────────────────────────────────
-    it('missing painId blocks all chain stages as skipped but readiness still evaluates', () => {
-        const snap = healthySnapshot();
-        snap.chain.painId = null;
-        const verdict = assertMainlineContract(snap, FIXED_NOW);
-        expect(stage(verdict, 'pain_record').status).toBe('violation');
-        expect(stage(verdict, 'diagnosis_task').status).toBe('skipped');
-        expect(stage(verdict, 'config_source_alignment').status).toBe('ok');
-        expect(stage(verdict, 'auto_consumption').status).toBe('ok');
-    });
-});
-//# sourceMappingURL=mainline-contract.test.js.map

package/dist/runtime-v2/__tests__/mainline-contract.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"mainline-contract.test.js","sourceRoot":"","sources":["../../../src/runtime-v2/__tests__/mainline-contract.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EACL,sBAAsB,EACtB,sBAAsB,GAGvB,MAAM,yBAAyB,CAAC;AAEjC;;;;;;;GAOG;AAEH,MAAM,SAAS,GAAG,GAAG,EAAE,CAAC,IAAI,IAAI,CAAC,0BAA0B,CAAC,CAAC;AAE7D,iFAAiF;AACjF,SAAS,eAAe;IACtB,OAAO;QACL,SAAS,EAAE;YACT,mBAAmB,EAAE,gBAAgB;YACrC,mBAAmB,EAAE,gBAAgB;YACrC,YAAY,EAAE,iBAAiB;YAC/B,iBAAiB,EAAE,iBAAiB;YACpC,kBAAkB,EAAE,IAAI;SACzB;QACD,KAAK,EAAE;YACL,MAAM,EAAE,UAAU;YAClB,aAAa,EAAE,EAAE,MAAM,EAAE,iBAAiB,EAAE,MAAM,EAAE,WAAW,EAAE,eAAe,EAAE,IAAI,EAAE;YACxF,qBAAqB,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,UAAU,EAAE;YAC1E,SAAS,EAAE;gBACT,WAAW,EAAE,UAAU;gBACvB,MAAM,EAAE,UAAU;gBAClB,YAAY,EAAE,iBAAiB;gBAC/B,gBAAgB,EAAE,SAAS;gBAC3B,WAAW,EAAE,qBAAqB;aACnC;YACD,WAAW,EAAE;gBACX,MAAM,EAAE,yBAAyB;gBACjC,iBAAiB,EAAE,CAAC,iBAAiB,CAAC;gBACtC,iBAAiB,EAAE,CAAC,EAAE,YAAY,EAAE,sBAAsB,EAAE,GAAG,EAAE,oBAAoB,EAAE,CAAC;aACzF;YACD,cAAc,EAAE,EAAE,WAAW,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC,oBAAoB,CAAC,EAAE;YAC9E,SAAS,EAAE,EAAE,MAAM,EAAE,qCAAqC,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,EAAE,IAAI,EAAE;YACnG,SAAS,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EAAE,IAAI,EAAE;SACvE;QACD,gCAAgC,EAAE,EAAE;KACrC,CAAC;AACJ,CAAC;AAED,SAAS,KAAK,CAAC,QAAmD,EAAE,IAAmB;IACrF,MAAM,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC;IACxD,IAAI,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,SAAS,IAAI,uBAAuB,CAAC,CAAC;IAC9D,OAAO,CAAC,CAAC;AACX,CAAC;AAED,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,OAAO,GAAG,sBAAsB,CAAC,eAAe,EAAE,EAAE,SAAS,CAAC,CAAC;QACrE,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACxC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClE,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,IAAI,GAAG,eAAe,EAAE,CAAC;QAC/B,IAAI,CAAC,KAAK,CAAC,WAAW,GAAG,EAAE,MAAM,EAAE,WAAW,EAAE,iBAAiB,EAAE,EAAE,EAAE,iBAAiB,EAAE,EAAE,EAAE,CAAC;QAC/F,IAAI,CAAC,KAAK,CAAC,cAAc,GAAG,EAAE,WAAW,EAAE,sBAAsB,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;QACrF,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACxD,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;YAC/B,IAAI,CAAC,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;gBAC7B,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;gBAClD,MAAM,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,CAAC;YAClE,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,gFAAgF;IAChF,EAAE,CAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,MAAM,IAAI,GAAG,eAAe,EAAE,CAAC;QAC/B,IAAI,CAAC,KAAK,CAAC,WAAW,GAAG;YACvB,MAAM,EAAE,yBAAyB;YACjC,iBAAiB,EAAE,EAAE;YACrB,iBAAiB,EAAE,CAAC,EAAE,YAAY,EAAE,WAAW,EAAE,GAAG,EAAE,sBAAsB,EAAE,CAAC;SAChF,CAAC;QACF,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACxD,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC1C,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,sBAAsB,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxE,2DAA2D;QAC3D,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACjE,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,IAAI,GAAG,eAAe,EAAE,CAAC;QAC/B,IAAI,CAAC,KAAK,CAAC,cAAc,GAAG,EAAE,WAAW,EAAE,sBAAsB,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;QACrF,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACxD,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,gFAAgF;IAChF,yEAAyE;IACzE,yEAAyE;IACzE,cAAc;IACd,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,MAAM,IAAI,GAAG,eAAe,EAAE,CAAC;QAC/B,IAAI,CAAC,KAAK,CAAC,WAAW,GAAG;YACvB,MAAM,EAAE,gBAAgB;YACxB,iBAAiB,EAAE,EAAE;YACrB,iBAAiB,EAAE,EAAE;YACrB,kBAAkB,EAAE,IAAI;SACzB,CAAC;QACF,IAAI,CAAC,KAAK,CAAC,cAAc,GAAG,EAAE,WAAW,EAAE,sBAAsB,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;QACrF,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACxD,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC1C,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,sBAAsB,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxE,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,gFAAgF;IAChF,EAAE,CAAC,iFAAiF,EAAE,GAAG,EAAE;QACzF,MAAM,IAAI,GAAG,eAAe,EAAE,CAAC;QAC/B,IAAI,CAAC,KAAK,CAAC,WAAW,GAAG;YACvB,MAAM,EAAE,yBAAyB;YACjC,iBAAiB,EAAE,CAAC,iBAAiB,CAAC;YACtC,iBAAiB,EAAE,CAAC,EAAE,YAAY,EAAE,sBAAsB,EAAE,GAAG,EAAE,wBAAwB,EAAE,CAAC;SAC7F,CAAC;QACF,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACxD,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,sBAAsB,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxE,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,sBAAsB,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;IACvF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,MAAM,IAAI,GAAG,eAAe,EAAE,CAAC;QAC/B,IAAI,CAAC,KAAK,CAAC,WAAW,GAAG;YACvB,MAAM,EAAE,yBAAyB;YACjC,iBAAiB,EAAE,CAAC,iBAAiB,CAAC;YACtC,iBAAiB,EAAE,CAAC,EAAE,YAAY,EAAE,sBAAsB,EAAE,GAAG,EAAE,oBAAoB,EAAE,CAAC;SACzF,CAAC;QACF,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACxD,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,sBAAsB,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,gFAAgF;IAChF,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,IAAI,GAAG,eAAe,EAAE,CAAC;QAC/B,IAAI,CAAC,SAAS,CAAC,mBAAmB,GAAG,iBAAiB,CAAC;QACvD,IAAI,CAAC,SAAS,CAAC,iBAAiB,GAAG,uBAAuB,CAAC;QAC3D,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACxD,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,yBAAyB,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC3E,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,yBAAyB,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gFAAgF,EAAE,GAAG,EAAE;QACxF,MAAM,IAAI,GAAG,eAAe,EAAE,CAAC;QAC/B,IAAI,CAAC,SAAS,CAAC,iBAAiB,GAAG,uBAAuB,CAAC;QAC3D,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACxD,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,yBAAyB,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,IAAI,GAAG,eAAe,EAAE,CAAC;QAC/B,IAAI,CAAC,SAAS,CAAC,kBAAkB,GAAG,KAAK,CAAC;QAC1C,IAAI,CAAC,SAAS,CAAC,4BAA4B,GAAG,aAAa,CAAC;QAC5D,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACxD,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,yBAAyB,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IAEH,gFAAgF;IAChF,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,MAAM,IAAI,GAAG,eAAe,EAAE,CAAC;QAC/B,IAAI,CAAC,KAAK,CAAC,aAAa,GAAG,EAAE,MAAM,EAAE,iBAAiB,EAAE,MAAM,EAAE,WAAW,EAAE,eAAe,EAAE,KAAK,EAAE,CAAC;QACtG,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACxD,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAClE,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,gFAAgF;IAChF,EAAE,CAAC,2FAA2F,EAAE,GAAG,EAAE;QACnG,MAAM,IAAI,GAAG,eAAe,EAAE,CAAC;QAC/B,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG;YACrB,WAAW,EAAE,UAAU;YACvB,MAAM,EAAE,UAAU;YAClB,YAAY,EAAE,mBAAmB;YACjC,gBAAgB,EAAE,SAAS;YAC3B,WAAW,EAAE,qBAAqB;SACnC,CAAC;QACF,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACxD,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,gFAAgF;IAChF,EAAE,CAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,IAAI,GAAG,eAAe,EAAE,CAAC;QAC/B,IAAI,CAAC,gCAAgC,GAAG,CAAC,UAAU,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;QAC7E,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACxD,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,kBAAkB,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACpE,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,kBAAkB,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,gFAAgF;IAChF,EAAE,CAAC,iFAAiF,EAAE,GAAG,EAAE;QACzF,MAAM,IAAI,GAAG,eAAe,EAAE,CAAC;QAC/B,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC;QACzB,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACxD,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC/D,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAChE,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,yBAAyB,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpE,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,kBAAkB,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/runtime-v2/__tests__/mainline-product-path.test.d.ts

@@ -1,2 +0,0 @@
-export {};
-//# sourceMappingURL=mainline-product-path.test.d.ts.map

package/dist/runtime-v2/__tests__/mainline-product-path.test.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"mainline-product-path.test.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/__tests__/mainline-product-path.test.ts"],"names":[],"mappings":""}

package/dist/runtime-v2/__tests__/mainline-product-path.test.js

@@ -1,429 +0,0 @@
-import { describe, it, expect, beforeEach, afterEach } from 'vitest';
-import * as fs from 'node:fs';
-import * as path from 'node:path';
-import * as os from 'node:os';
-import { RuntimeStateManager, SqliteDiagnosticianCommitter, assertMainlineContract, buildDreamerSeedFromCandidate, DreamerRunner, PassThroughDreamerValidator, parsePITaskMetadata, serializePITaskMetadata, EMPTY_CONTEXT_SENTINEL, } from '../index.js';
-/**
- * Mainline product-path test — THE LOAD-BEARING WALL of the convergence sprint.
- *
- * Goal: one default-run (NO real LLM) test that drives the REAL production path
- *
- *   pain row
- *     -> diagnosis task + diagnostician artifact (stub runtime output)
- *     -> candidate (via CandidateIntakeService)
- *     -> dreamer task (via the REAL intake-to-internalization bridge / `pd candidate internalize`)
- *     -> dreamer context (via the REAL DreamerRunner.buildContext)
- *   then assembles a MainlineSnapshot from the live SQLite state and asserts
- *   `assertMainlineContract(...).overall === 'ok'`.
- *
- * Why `it.todo` for now: the live assertions are RED until the convergence work
- * lands. Per EP-09 (Test Reality Gap) we do NOT fake a pass — these stay as
- * explicit todos so CI is green but the contract is documented and ungameable.
- * Each `it.todo` becomes a real `it(...)` as its dependency merges.
- *
- * Implementation order this test gates (see convergence plan):
- *   PRI-C  unify runtime config resolver  -> readiness.config_source_alignment ok
- *   PRI-A  this file + assertMainlineContract (DONE: validator + unit tests)
- *   PRI-B  candidate->dreamer lineage fix  -> dreamer_task_lineage + dreamer_context ok
- *   PRI-D  integrity-repair completeness   -> diagnosis_task / auto_consumption ok on real workspace
- *
- * Hard rules for the eventual implementation:
- *   - Use a real SqliteStateManager against a temp workspace (NOT createMockStateManager).
- *   - Seed the diagnostician artifact via a STUB runtime adapter, not a real LLM,
- *     so this runs on every CI. (Real-LLM coverage stays in *-real-llm.test.ts.)
- *   - Create the dreamer task through `seedIntakeTask` / `handleCandidateInternalize`,
- *     never by hand-writing dependencyTaskIds (that is what full-chain-real-llm.test.ts
- *     does and why it never caught the severed-lineage bug).
- *   - Assemble the snapshot with the shared reader in
- *     `packages/pd-cli/src/services/mainline-snapshot-assembler.ts` (or equivalent
- *     I/O-boundary reader) so integrity/smoke/Console share one source of truth.
- */
-function createTempWorkspace() {
-    const tmpDir = fs.mkdtempSync(path.join(os.tmpdir(), 'pri-394-product-path-'));
-    return tmpDir;
-}
-function removeTempWorkspace(dir) {
-    try {
-        fs.rmSync(dir, { recursive: true, force: true });
-    }
-    catch { /* ignore */ }
-}
-function alignedReadiness() {
-    return {
-        configDoctorProfile: 'openclaw.default',
-        runtimeProbeProfile: 'openclaw.default',
-        configSource: '.pd/config.yaml',
-        probeConfigSource: '.pd/config.yaml',
-        diagnosticianReady: true,
-    };
-}
-function diagnosticianDiagnosticJson(painId) {
-    return JSON.stringify({
-        sourcePainId: painId,
-        reasonSummary: 'Repeated edits without reading instructions first',
-        source: 'test',
-        severity: 'high',
-        sessionIdHint: null,
-        agentIdHint: null,
-        provenance: 'automatic_hook',
-        provenanceReason: 'automatic hook',
-        evidence: [{ sourceRef: 'session://test', note: 'edited README before reading' }],
-        workspaceDir: null,
-    });
-}
-function validDiagnosticianOutput(painId) {
-    return {
-        valid: true,
-        diagnosisId: `diag-${painId}`,
-        summary: 'Repeated edits without reading instructions first',
-        rootCause: 'Assumption: agent assumes it knows the workspace conventions',
-        violatedPrinciples: [],
-        evidence: [{ sourceRef: 'session://test', note: 'edited README before reading' }],
-        recommendations: [{
-                kind: 'principle',
-                description: 'Read AGENTS.md and PLAN.md before editing protected files',
-                abstractedPrinciple: 'Read workspace instructions before protected edits',
-            }],
-        confidence: 0.9,
-    };
-}
-async function seedDiagnosisToCandidate(sm, painId) {
-    const taskId = `diagnostician-${painId}`;
-    await sm.createTask({
-        taskId,
-        taskKind: 'diagnostician',
-        inputRef: painId,
-        status: 'pending',
-        attemptCount: 0,
-        maxAttempts: 3,
-        diagnosticJson: diagnosticianDiagnosticJson(painId),
-    });
-    const committer = new SqliteDiagnosticianCommitter(sm.connection);
-    await sm.acquireLease({ taskId, owner: 'test-owner', durationMs: 60_000, runtimeKind: 'openclaw' });
-    const runs = await sm.getRunsByTask(taskId);
-    const runId = runs[0]?.runId;
-    if (!runId)
-        throw new Error(`No run created for task ${taskId}`);
-    const commitResult = await committer.commit({
-        runId,
-        taskId,
-        output: validDiagnosticianOutput(painId),
-        idempotencyKey: `idem-${taskId}`,
-    });
-    await sm.markTaskSucceeded(taskId, `artifact://${commitResult.artifactId}`);
-    const candidates = await sm.getCandidatesByTaskId(taskId);
-    const [candidate] = candidates;
-    if (!candidate)
-        throw new Error('No candidate produced by diagnostician committer');
-    return { taskId, candidateId: candidate.candidateId };
-}
-describe('mainline product-path (load-bearing wall)', () => {
-    let workspaceDir = '';
-    let sm;
-    beforeEach(() => {
-        workspaceDir = createTempWorkspace();
-        sm = new RuntimeStateManager({ workspaceDir });
-    });
-    afterEach(async () => {
-        try {
-            await sm.close();
-        }
-        catch { /* ignore */ }
-        removeTempWorkspace(workspaceDir);
-    });
-    it.todo('PRI-C: config doctor and probe resolve the same profile from .pd/config.yaml');
-    it.todo('seeds a real pain row and runs the diagnostician via a stub runtime adapter');
-    it.todo('intake produces a candidate carrying sourceTaskId/sourceArtifactId/sourceRunId lineage');
-    // ── PRI-B: candidate → dreamer lineage preservation ──────────────────────────
-    it('PRI-B: buildDreamerSeedFromCandidate preserves diagnosis taskId and artifact in dreamer seed', async () => {
-        await sm.initialize();
-        const painId = 'pain-pri-b-001';
-        const { taskId: diagTaskId, candidateId } = await seedDiagnosisToCandidate(sm, painId);
-        const candidate = await sm.getCandidate(candidateId);
-        expect(candidate).not.toBeNull();
-        if (!candidate)
-            throw new Error('Candidate not found');
-        // Exercise the REAL factory — NOT a hand-written dependencyTaskIds array
-        const seed = buildDreamerSeedFromCandidate(candidate, { route: 'principle-ledger', ready: true });
-        expect('decision' in seed).toBe(false);
-        if ('decision' in seed)
-            throw new Error(`Unexpected decision: ${seed.decision}`);
-        // Verify the PI metadata carries real lineage
-        const meta = parsePITaskMetadata(seed.diagnosticJson);
-        expect(meta).not.toBeNull();
-        if (meta) {
-            expect(meta.dependencyTaskIds).toContain(diagTaskId);
-            expect(meta.dependencyTaskIds.length).toBe(1);
-            expect(meta.inputArtifactRefs.length).toBeGreaterThanOrEqual(2);
-            expect(meta.inputArtifactRefs.some((a) => a.artifactType === 'candidate')).toBe(true);
-            expect(meta.inputArtifactRefs.some((a) => a.artifactType === 'diagnostician_output')).toBe(true);
-            expect(meta.inputArtifactRefs.some((a) => a.ref.includes(candidate.artifactId))).toBe(true);
-        }
-        // Top-level diagObj has both candidateId and sourceTaskId
-        const diagObj = JSON.parse(seed.diagnosticJson);
-        expect(diagObj.candidateId).toBe(candidateId);
-        expect(diagObj.sourceTaskId).toBe(diagTaskId);
-        expect(diagObj.sourceArtifactId).toBe(candidate.artifactId);
-        // Now persist the dreamer task through the REAL createTask path
-        const taskRecord = await sm.createTask({
-            taskId: seed.taskId,
-            taskKind: seed.taskKind,
-            status: seed.status,
-            attemptCount: seed.attemptCount,
-            maxAttempts: seed.maxAttempts,
-            diagnosticJson: seed.diagnosticJson,
-        });
-        expect(taskRecord.taskId).toBe(seed.taskId);
-        // Read back — verify the task's diagnosticJson is stored and hydratable
-        const storedTask = await sm.getTask(seed.taskId);
-        expect(storedTask).not.toBeNull();
-        if (storedTask) {
-            const storedMeta = parsePITaskMetadata(storedTask.diagnosticJson || '');
-            expect(storedMeta).not.toBeNull();
-            if (storedMeta) {
-                expect(storedMeta.dependencyTaskIds).toContain(diagTaskId);
-            }
-        }
-    });
-    it('PRI-B: DreamerRunner.buildContext returns non-empty context for seeded dreamer task', async () => {
-        await sm.initialize();
-        const painId = 'pain-pri-b-002';
-        const { candidateId } = await seedDiagnosisToCandidate(sm, painId);
-        const candidate = await sm.getCandidate(candidateId);
-        if (!candidate)
-            throw new Error('Candidate not found');
-        // Seed dreamer through factory
-        const seed = buildDreamerSeedFromCandidate(candidate, { route: 'principle-ledger', ready: true });
-        if ('decision' in seed)
-            throw new Error(`Unexpected decision: ${seed.decision}`);
-        await sm.createTask({
-            taskId: seed.taskId,
-            taskKind: seed.taskKind,
-            status: seed.status,
-            attemptCount: seed.attemptCount,
-            maxAttempts: seed.maxAttempts,
-            diagnosticJson: seed.diagnosticJson,
-        });
-        // Minimal mock deps — only stateManager matters for buildContext
-        const mockRuntimeAdapter = {
-            startRun: () => Promise.reject(new Error('not needed')),
-            pollRun: () => Promise.reject(new Error('not needed')),
-            cancelRun: () => Promise.reject(new Error('not needed')),
-            fetchOutput: () => Promise.reject(new Error('not needed')),
-            kind: () => 'test-double',
-        };
-        const mockEventEmitter = {
-            // eslint-disable-next-line @typescript-eslint/no-empty-function
-            emitTelemetry: () => { },
-        };
-        const mockArtifactStore = {
-            listBySourceTaskId: async () => [],
-            createArtifact: () => Promise.reject(new Error('not needed')),
-            upsertArtifact: () => Promise.reject(new Error('not needed')),
-            getArtifactById: () => Promise.resolve(null),
-            listLineage: () => Promise.resolve([]),
-            updateValidationStatus: () => Promise.resolve(false),
-        };
-        const runner = new DreamerRunner({
-            stateManager: sm,
-            runtimeAdapter: mockRuntimeAdapter,
-            eventEmitter: mockEventEmitter,
-            artifactStore: mockArtifactStore,
-            validator: new PassThroughDreamerValidator(),
-        }, { owner: 'test', runtimeKind: 'test-double' });
-        const context = await runner.buildContext(seed.taskId);
-        // The core assertions — lineage must flow into context
-        expect(context.contextHash, 'contextHash must not be "empty" (lineage present)')
-            .not.toBe('empty');
-        expect(context.contextRefs.length, 'contextRefs must be > 0 (diagnostician artifact)')
-            .toBeGreaterThan(0);
-    });
-    it('shared reader + assertMainlineContract → overall "ok" with zero violations across all stages', async () => {
-        await sm.initialize();
-        const painId = 'pain-full-chain-ok';
-        // Step 1: Seed diagnosis → candidate
-        const { taskId: diagTaskId, candidateId } = await seedDiagnosisToCandidate(sm, painId);
-        // Step 2: Build and persist dreamer task
-        const candidate = await sm.getCandidate(candidateId);
-        if (!candidate)
-            throw new Error('Candidate not found');
-        const seed = buildDreamerSeedFromCandidate(candidate, { route: 'principle-ledger', ready: true });
-        if ('decision' in seed)
-            throw new Error(`Unexpected decision: ${seed.decision}`);
-        await sm.createTask({
-            taskId: seed.taskId,
-            taskKind: seed.taskKind,
-            status: seed.status,
-            attemptCount: seed.attemptCount,
-            maxAttempts: seed.maxAttempts,
-            diagnosticJson: seed.diagnosticJson,
-        });
-        // Step 3: Build dreamer context (via real DreamerRunner)
-        const mockRuntimeAdapter = {
-            startRun: () => Promise.reject(new Error('not needed')),
-            pollRun: () => Promise.reject(new Error('not needed')),
-            cancelRun: () => Promise.reject(new Error('not needed')),
-            fetchOutput: () => Promise.reject(new Error('not needed')),
-            kind: () => 'test-double',
-        };
-        const mockEventEmitter = {
-            // eslint-disable-next-line @typescript-eslint/no-empty-function
-            emitTelemetry: () => { },
-        };
-        const mockArtifactStore = {
-            listBySourceTaskId: async () => [],
-            createArtifact: () => Promise.reject(new Error('not needed')),
-            upsertArtifact: () => Promise.reject(new Error('not needed')),
-            getArtifactById: () => Promise.resolve(null),
-            listLineage: () => Promise.resolve([]),
-            updateValidationStatus: () => Promise.resolve(false),
-        };
-        const runner = new DreamerRunner({
-            stateManager: sm,
-            runtimeAdapter: mockRuntimeAdapter,
-            eventEmitter: mockEventEmitter,
-            artifactStore: mockArtifactStore,
-            validator: new PassThroughDreamerValidator(),
-        }, { owner: 'test', runtimeKind: 'test-double' });
-        const dreamerTaskId = seed.taskId;
-        const context = await runner.buildContext(dreamerTaskId);
-        expect(context.contextHash).not.toBe(EMPTY_CONTEXT_SENTINEL);
-        expect(context.contextRefs.length).toBeGreaterThan(0);
-        // Step 4: Seed philosopher successor task with proper PI lineage
-        const philosopherTaskId = `philosopher-${dreamerTaskId}`;
-        const philosopherDiagJson = serializePITaskMetadata({
-            dependencyTaskIds: [diagTaskId],
-            channel: 'prompt',
-            timeoutMs: 60000,
-            inputArtifactRefs: [{ artifactType: 'dreamer_context', ref: `context://${dreamerTaskId}` }],
-            outputArtifactRefs: [],
-            parentTaskId: dreamerTaskId,
-            rejectionCount: 0,
-        });
-        await sm.createTask({
-            taskId: philosopherTaskId,
-            taskKind: 'philosopher',
-            status: 'pending',
-            attemptCount: 0,
-            maxAttempts: 3,
-            diagnosticJson: philosopherDiagJson,
-        });
-        // Step 5: Create a principle artifact for the philosopher
-        const principleArtifact = {
-            artifactId: `principle-art-${philosopherTaskId}`,
-            artifactKind: 'principle',
-            sourceTaskId: philosopherTaskId,
-            lineageArtifactIds: [],
-            validationStatus: 'pending',
-            contentJson: JSON.stringify({
-                principleCandidate: {
-                    principleId: `principle-full-chain-${painId}`,
-                    summary: 'Full chain test principle',
-                },
-            }),
-            createdAt: new Date().toISOString(),
-            updatedAt: new Date().toISOString(),
-        };
-        await sm.piArtifactStore.createArtifact(principleArtifact);
-        // Step 6: Ensure no consumed-candidates-missing-dreamer orphan
-        // The candidate was consumed by the committer, and we created a dreamer.
-        // But if the candidate was consumed automatically, we need to check.
-        // The committer marks candidate as 'consumed' — verify we have a dreamer.
-        const storedCandidate = await sm.getCandidate(candidateId);
-        expect(storedCandidate).not.toBeNull();
-        if (!storedCandidate) {
-            throw new Error('Stored candidate missing in Step 6 — test cannot proceed');
-        }
-        // Step 7: Build MainlineSnapshot manually (equiv to shared reader)
-        const diagTask = await sm.getTask(diagTaskId);
-        const diagRuns = await sm.getRunsByTask(diagTaskId);
-        const hasSucceededRun = diagRuns.some((r) => r.executionStatus === 'succeeded');
-        const snapshot = {
-            readiness: {
-                configDoctorProfile: 'test-profile',
-                runtimeProbeProfile: 'test-profile',
-                configSource: '.pd/config.yaml',
-                probeConfigSource: '.pd/config.yaml',
-                diagnosticianReady: true,
-            },
-            chain: {
-                painId,
-                diagnosisTask: diagTask ? {
-                    taskId: diagTaskId,
-                    status: diagTask.status,
-                    hasSucceededRun,
-                } : null,
-                diagnosticianArtifact: {
-                    artifactId: candidate.artifactId,
-                    sourcePainId: painId,
-                },
-                candidate: {
-                    candidateId: storedCandidate.candidateId,
-                    status: storedCandidate.status,
-                    sourceTaskId: storedCandidate.taskId,
-                    sourceArtifactId: storedCandidate.artifactId,
-                    sourceRunId: storedCandidate.sourceRunId,
-                },
-                dreamerTask: {
-                    taskId: dreamerTaskId,
-                    dependencyTaskIds: [diagTaskId],
-                    inputArtifactRefs: [{ artifactType: 'diagnostician_output', ref: `artifact://${candidate.artifactId}` }],
-                },
-                dreamerContext: {
-                    contextHash: context.contextHash,
-                    contextRefs: context.contextRefs,
-                },
-                successor: {
-                    taskId: philosopherTaskId,
-                    taskKind: 'philosopher',
-                    exists: true,
-                },
-                principle: {
-                    exists: true,
-                    principleId: `principle-full-chain-${painId}`,
-                    reviewable: true,
-                },
-            },
-            consumedCandidatesMissingDreamer: [],
-        };
-        // Step 8: Assert the contract — overall must be "ok"
-        const verdict = assertMainlineContract(snapshot);
-        expect(verdict.overall).toBe('ok');
-        expect(verdict.painId).toBe(painId);
-        expect(verdict.stages.length).toBeGreaterThanOrEqual(11);
-        // Show violation details if any (useful for debugging)
-        const violations = verdict.stages.filter((s) => s.status === 'violation');
-        const skipped = verdict.stages.filter((s) => s.status === 'skipped');
-        expect(violations.length).toBe(0);
-        expect(skipped.length).toBe(0);
-        // Every stage should be "ok"
-        const allOk = verdict.stages.every((s) => s.status === 'ok');
-        expect(allOk).toBe(true);
-    });
-    it('a consumed candidate left without a dreamer task makes the contract report auto_consumption violation', async () => {
-        await sm.initialize();
-        const painId = 'pain-auto-consumption';
-        const { candidateId } = await seedDiagnosisToCandidate(sm, painId);
-        await sm.updateCandidateStatus(candidateId, { status: 'consumed' });
-        const snapshot = {
-            readiness: alignedReadiness(),
-            chain: {
-                painId,
-                diagnosisTask: null,
-                diagnosticianArtifact: null,
-                candidate: null,
-                dreamerTask: null,
-                dreamerContext: null,
-                successor: null,
-                principle: null,
-            },
-            consumedCandidatesMissingDreamer: [candidateId],
-        };
-        const verdict = assertMainlineContract(snapshot);
-        expect(verdict.stages.some((s) => s.stage === 'auto_consumption' && s.status === 'violation')).toBe(true);
-        const autoConsumption = verdict.stages.find((s) => s.stage === 'auto_consumption');
-        expect(autoConsumption?.reason).toContain(candidateId);
-        expect(autoConsumption?.nextAction).toBeTruthy();
-    });
-});
-//# sourceMappingURL=mainline-product-path.test.js.map