@principles/core 1.73.0

package/dist/runtime-v2/story-a-demo.js

@@ -0,0 +1,188 @@
+import { evaluateInRefinerSandbox } from './internalization/refiner-sandbox-wrapper.js';
+export const STORY_A_CHANNELS = ['prompt', 'code_tool_hook', 'defer_archive'];
+// ── Pure helpers (remain in core) ────────────────────────────────────────
+export function makeRunId(opts) {
+    return opts.runId ?? `story-a-${Date.now()}-${Math.random().toString(36).slice(2, 8)}`;
+}
+export function makePrincipleArtifactRecord(runId) {
+    const principleId = `demo-principle-${runId}`;
+    return {
+        artifactId: `art-demo-principle-${runId}`,
+        artifactKind: 'principle',
+        sourceTaskId: `task-demo-${runId}`,
+        sourcePrincipleId: principleId,
+        lineageArtifactIds: [],
+        validationStatus: 'validated',
+        contentJson: JSON.stringify({
+            principleId,
+            text: 'Demo principle: prevent writing to system-critical directories',
+            painReasonSummary: 'Agent repeatedly wrote to /etc/passwd — owner-corrected behavior pattern',
+            evidenceType: 'repeated_owner_correction',
+            occurrenceCount: 3,
+            ruleHostGateDecision: 'accepted_shadow',
+        }),
+        createdAt: new Date().toISOString(),
+        updatedAt: new Date().toISOString(),
+    };
+}
+export function makeRuleArtifactRecord(runId, principleRecord) {
+    const ruleId = `demo-rule-${runId}`;
+    const goldenTrace = {
+        traceId: `trace-demo-${runId}`,
+        cases: [
+            {
+                caseId: `case-block-${runId}`,
+                kind: 'negative',
+                toolName: 'write_file',
+                params: { path: '/etc/passwd', content: 'malicious' },
+                expectedDecision: 'block',
+            },
+            {
+                caseId: `case-allow-${runId}`,
+                kind: 'positive',
+                toolName: 'write_file',
+                params: { path: '/project/src/config.json', content: '{"key":"value"}' },
+                expectedDecision: 'allow',
+            },
+        ],
+        createdAt: new Date().toISOString(),
+        version: 1,
+    };
+    return {
+        artifactId: `art-demo-rule-${runId}`,
+        artifactKind: 'rule',
+        sourceTaskId: `task-demo-${runId}`,
+        sourceRuleId: ruleId,
+        sourcePrincipleId: principleRecord.sourcePrincipleId,
+        lineageArtifactIds: [principleRecord.artifactId],
+        validationStatus: 'validated',
+        contentJson: JSON.stringify({
+            principleId: principleRecord.sourcePrincipleId,
+            ruleId,
+            implementationCode: 'function evaluate(toolName, params) { return params.path?.startsWith("/etc") ? "block" : "allow"; }',
+            goldenTrace,
+            ruleHostGateDecision: 'accepted_shadow',
+            affectedTools: ['write_file'],
+            painReasonSummary: 'Demo: block writes to system directories',
+        }),
+        createdAt: new Date().toISOString(),
+        updatedAt: new Date().toISOString(),
+    };
+}
+export function computeDemoStatus(stages, outcomes) {
+    if (stages.some(s => s.status === 'failed') || outcomes.some(o => o.status === 'failed')) {
+        if (!stages.some(s => s.status === 'passed') && !outcomes.some(o => o.status === 'passed')) {
+            return 'failed';
+        }
+        return 'degraded';
+    }
+    if (stages.some(s => s.status === 'degraded') || outcomes.some(o => o.status === 'degraded')) {
+        return 'degraded';
+    }
+    return 'passed';
+}
+export function createDemoSandboxEvaluate(implementationCode) {
+    const wrappedCode = `${implementationCode}; return evaluate(toolName, params);`;
+    const rawEvaluate = new Function('toolName', 'params', wrappedCode);
+    return (input, _helpers) => {
+        const { toolName } = input.action;
+        const params = input.action.paramsSummary;
+        const result = rawEvaluate(toolName, params);
+        if (result === 'block') {
+            return { decision: 'block', matched: true, reason: 'Demo rule: blocked by sandbox evaluation' };
+        }
+        return { decision: 'allow', matched: true, reason: 'Demo rule: allowed by sandbox evaluation' };
+    };
+}
+export function evaluateDemoGoldenTrace(ruleRecord) {
+    const content = JSON.parse(ruleRecord.contentJson);
+    const implementationCode = content.implementationCode;
+    const goldenTrace = content.goldenTrace;
+    const evaluateCode = createDemoSandboxEvaluate(implementationCode);
+    return evaluateInRefinerSandbox(implementationCode, goldenTrace, {
+        evaluateCode,
+        softTimeoutMs: 1000,
+    });
+}
+export function buildFollowUpObservation(channel, outcome, sandboxResult) {
+    const isActivated = outcome.activationDecision.decision === 'activated'
+        || outcome.activationDecision.decision === 'would_activate'
+        || outcome.activationDecision.decision === 'already_activated';
+    if (channel === 'code_tool_hook') {
+        const enforcementObserved = isActivated && (sandboxResult?.success === true);
+        return {
+            status: enforcementObserved ? 'passed' : 'degraded',
+            evidence: {
+                enforcementObserved,
+                dangerousPathBlocked: sandboxResult?.success === true
+                    ? '/etc/passwd → block (verified by sandbox)'
+                    : '/etc/passwd → block (unverified)',
+                safePathAllowed: sandboxResult?.success === true
+                    ? '/project/src/config.json → allow (verified by sandbox)'
+                    : '/project/src/config.json → allow (unverified)',
+                ruleActivated: isActivated,
+                sandboxVerified: sandboxResult?.success ?? false,
+                ...(sandboxResult?.failedCases.length ? { sandboxFailures: sandboxResult.failedCases.map(c => c.message) } : {}),
+            },
+        };
+    }
+    if (channel === 'prompt') {
+        return {
+            status: isActivated ? 'passed' : 'degraded',
+            evidence: {
+                principleActivated: isActivated,
+                activationTarget: outcome.activationDecision.targetRef ?? 'unknown',
+                observableChange: 'Principle text will be included in subsequent prompt injections',
+            },
+        };
+    }
+    return {
+        status: outcome.status === 'passed' ? 'passed' : 'degraded',
+        evidence: {
+            deferred: true,
+            archived: outcome.status === 'passed',
+            notActivated: outcome.activationDecision.decision !== 'refused',
+            observableChange: 'Principle archived; no behavioral enforcement active',
+        },
+    };
+}
+export function buildDemoNarrative(input) {
+    const { runId, principleId, channels, channelOutcomes } = input;
+    const activationSummary = channelOutcomes.map(o => `${o.channel}: ${o.activationDecision.decision}`).join(', ');
+    return [
+        `Story A': Owner-Governed Behavior Internalization Demo (run ${runId}, principle ${principleId})`,
+        ``,
+        `PROVEN: artifact persistence (SqlitePIArtifactStore), activation dispatch`,
+        `(ActivationDispatcher.dispatch), approval queue (SqliteApprovalQueueStore.approve`,
+        `+ RuleHostWriter.activate + SqliteActivationStateStore.recordActivation),`,
+        `sandbox enforcement (evaluateInRefinerSandbox against golden trace).`,
+        ``,
+        `1. EVIDENCE SEED [SIMULATED]: Pain narrative fixture. Artifact persistence is real.`,
+        `2. PROPOSAL [REAL]: Artifacts written to and read from workspace state.db.`,
+        `3. OWNER REVIEW [SIMULATED]: Scripted approval. No real human review.`,
+        `4. ACTIVATION [REAL]: ${channels.join(', ')} → ${activationSummary}`,
+        `   code_tool_hook: dispatch→queued_for_approval → approve → direct_activate (no production orchestrator)`,
+        `5. FOLLOW-UP [REAL]: Sandbox evaluates rule code against golden trace cases.`,
+        `6. ROLLBACK [SIMULATED]: Deactivation paths described but not exercised.`,
+    ].join('\n');
+}
+export function validateDemoChannels(channels) {
+    if (channels.length === 0) {
+        return {
+            reason: 'empty_channels',
+            message: 'No channels specified. At least one MVP channel required.',
+            nextAction: 'Provide channels: prompt, code_tool_hook, defer_archive',
+        };
+    }
+    const unknownChannels = channels.filter(c => !STORY_A_CHANNELS.includes(c));
+    if (unknownChannels.length > 0) {
+        return {
+            reason: 'unknown_channels',
+            message: `Unknown channels: ${unknownChannels.join(', ')}. Valid: prompt, code_tool_hook, defer_archive`,
+            nextAction: 'Use only valid MVP channels: prompt, code_tool_hook, defer_archive',
+            unknownChannels,
+        };
+    }
+    return null;
+}
+//# sourceMappingURL=story-a-demo.js.map

package/dist/runtime-v2/story-a-demo.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"story-a-demo.js","sourceRoot":"","sources":["../../src/runtime-v2/story-a-demo.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,wBAAwB,EAAE,MAAM,8CAA8C,CAAC;AAKxF,MAAM,CAAC,MAAM,gBAAgB,GAA0B,CAAC,QAAQ,EAAE,gBAAgB,EAAE,eAAe,CAAU,CAAC;AAuD9G,4EAA4E;AAE5E,MAAM,UAAU,SAAS,CAAC,IAAuB;IAC/C,OAAO,IAAI,CAAC,KAAK,IAAI,WAAW,IAAI,CAAC,GAAG,EAAE,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AACzF,CAAC;AAED,MAAM,UAAU,2BAA2B,CAAC,KAAa;IACvD,MAAM,WAAW,GAAG,kBAAkB,KAAK,EAAE,CAAC;IAC9C,OAAO;QACL,UAAU,EAAE,sBAAsB,KAAK,EAAE;QACzC,YAAY,EAAE,WAAW;QACzB,YAAY,EAAE,aAAa,KAAK,EAAE;QAClC,iBAAiB,EAAE,WAAW;QAC9B,kBAAkB,EAAE,EAAE;QACtB,gBAAgB,EAAE,WAAW;QAC7B,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC;YAC1B,WAAW;YACX,IAAI,EAAE,gEAAgE;YACtE,iBAAiB,EAAE,0EAA0E;YAC7F,YAAY,EAAE,2BAA2B;YACzC,eAAe,EAAE,CAAC;YAClB,oBAAoB,EAAE,iBAAiB;SACxC,CAAC;QACF,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACnC,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KACpC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,KAAa,EAAE,eAAiC;IACrF,MAAM,MAAM,GAAG,aAAa,KAAK,EAAE,CAAC;IACpC,MAAM,WAAW,GAAgB;QAC/B,OAAO,EAAE,cAAc,KAAK,EAAE;QAC9B,KAAK,EAAE;YACL;gBACE,MAAM,EAAE,cAAc,KAAK,EAAE;gBAC7B,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,YAAY;gBACtB,MAAM,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,WAAW,EAAE;gBACrD,gBAAgB,EAAE,OAAO;aAC1B;YACD;gBACE,MAAM,EAAE,cAAc,KAAK,EAAE;gBAC7B,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,YAAY;gBACtB,MAAM,EAAE,EAAE,IAAI,EAAE,0BAA0B,EAAE,OAAO,EAAE,iBAAiB,EAAE;gBACxE,gBAAgB,EAAE,OAAO;aAC1B;SACF;QACD,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACnC,OAAO,EAAE,CAAC;KACX,CAAC;IAEF,OAAO;QACL,UAAU,EAAE,iBAAiB,KAAK,EAAE;QACpC,YAAY,EAAE,MAAM;QACpB,YAAY,EAAE,aAAa,KAAK,EAAE;QAClC,YAAY,EAAE,MAAM;QACpB,iBAAiB,EAAE,eAAe,CAAC,iBAAiB;QACpD,kBAAkB,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC;QAChD,gBAAgB,EAAE,WAAW;QAC7B,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC;YAC1B,WAAW,EAAE,eAAe,CAAC,iBAAiB;YAC9C,MAAM;YACN,kBAAkB,EAAE,qGAAqG;YACzH,WAAW;YACX,oBAAoB,EAAE,iBAAiB;YACvC,aAAa,EAAE,CAAC,YAAY,CAAC;YAC7B,iBAAiB,EAAE,0CAA0C;SAC9D,CAAC;QACF,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACnC,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KACpC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,iBAAiB,CAC/B,MAAyB,EACzB,QAAoC;IAEpC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,EAAE,CAAC;QACzF,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,EAAE,CAAC;YAC3F,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,EAAE,CAAC;QAC7F,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,kBAA0B;IAE1B,MAAM,WAAW,GAAG,GAAG,kBAAkB,sCAAsC,CAAC;IAChF,MAAM,WAAW,GAAG,IAAI,QAAQ,CAAC,UAAU,EAAE,QAAQ,EAAE,WAAW,CACH,CAAC;IAEhE,OAAO,CAAC,KAAoB,EAAE,QAAyB,EAAkB,EAAE;QACzE,MAAM,EAAC,QAAQ,EAAC,GAAG,KAAK,CAAC,MAAM,CAAC;QAChC,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,aAAa,CAAC;QAC1C,MAAM,MAAM,GAAG,WAAW,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC7C,IAAI,MAAM,KAAK,OAAO,EAAE,CAAC;YACvB,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,0CAA0C,EAAE,CAAC;QAClG,CAAC;QACD,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,0CAA0C,EAAE,CAAC;IAClG,CAAC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,UAA4B;IAE5B,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,WAAW,CAA4B,CAAC;IAC9E,MAAM,kBAAkB,GAAG,OAAO,CAAC,kBAA4B,CAAC;IAChE,MAAM,WAAW,GAAG,OAAO,CAAC,WAA0B,CAAC;IACvD,MAAM,YAAY,GAAG,yBAAyB,CAAC,kBAAkB,CAAC,CAAC;IACnE,OAAO,wBAAwB,CAAC,kBAAkB,EAAE,WAAW,EAAE;QAC/D,YAAY;QACZ,aAAa,EAAE,IAAI;KACpB,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,OAAmB,EACnB,OAAiC,EACjC,aAAoC;IAEpC,MAAM,WAAW,GAAG,OAAO,CAAC,kBAAkB,CAAC,QAAQ,KAAK,WAAW;WAClE,OAAO,CAAC,kBAAkB,CAAC,QAAQ,KAAK,gBAAgB;WACxD,OAAO,CAAC,kBAAkB,CAAC,QAAQ,KAAK,mBAAmB,CAAC;IAEjE,IAAI,OAAO,KAAK,gBAAgB,EAAE,CAAC;QACjC,MAAM,mBAAmB,GAAG,WAAW,IAAI,CAAC,aAAa,EAAE,OAAO,KAAK,IAAI,CAAC,CAAC;QAC7E,OAAO;YACL,MAAM,EAAE,mBAAmB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU;YACnD,QAAQ,EAAE;gBACR,mBAAmB;gBACnB,oBAAoB,EAAE,aAAa,EAAE,OAAO,KAAK,IAAI;oBACnD,CAAC,CAAC,2CAA2C;oBAC7C,CAAC,CAAC,kCAAkC;gBACtC,eAAe,EAAE,aAAa,EAAE,OAAO,KAAK,IAAI;oBAC9C,CAAC,CAAC,wDAAwD;oBAC1D,CAAC,CAAC,+CAA+C;gBACnD,aAAa,EAAE,WAAW;gBAC1B,eAAe,EAAE,aAAa,EAAE,OAAO,IAAI,KAAK;gBAChD,GAAG,CAAC,aAAa,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,aAAa,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACjH;SACF,CAAC;IACJ,CAAC;IAED,IAAI,OAAO,KAAK,QAAQ,EAAE,CAAC;QACzB,OAAO;YACL,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU;YAC3C,QAAQ,EAAE;gBACR,kBAAkB,EAAE,WAAW;gBAC/B,gBAAgB,EAAG,OAAO,CAAC,kBAA6C,CAAC,SAAS,IAAI,SAAS;gBAC/F,gBAAgB,EAAE,iEAAiE;aACpF;SACF,CAAC;IACJ,CAAC;IAED,OAAO;QACL,MAAM,EAAE,OAAO,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU;QAC3D,QAAQ,EAAE;YACR,QAAQ,EAAE,IAAI;YACd,QAAQ,EAAE,OAAO,CAAC,MAAM,KAAK,QAAQ;YACrC,YAAY,EAAE,OAAO,CAAC,kBAAkB,CAAC,QAAQ,KAAK,SAAS;YAC/D,gBAAgB,EAAE,sDAAsD;SACzE;KACF,CAAC;AACJ,CAAC;AASD,MAAM,UAAU,kBAAkB,CAAC,KAAyB;IAC1D,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,eAAe,EAAE,GAAG,KAAK,CAAC;IAChE,MAAM,iBAAiB,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAChD,GAAG,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,kBAAkB,CAAC,QAAQ,EAAE,CACjD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEb,OAAO;QACL,+DAA+D,KAAK,eAAe,WAAW,GAAG;QACjG,EAAE;QACF,2EAA2E;QAC3E,mFAAmF;QACnF,2EAA2E;QAC3E,sEAAsE;QACtE,EAAE;QACF,qFAAqF;QACrF,4EAA4E;QAC5E,uEAAuE;QACvE,yBAAyB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,iBAAiB,EAAE;QACrE,0GAA0G;QAC1G,8EAA8E;QAC9E,0EAA0E;KAC3E,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,QAAsB;IACzD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO;YACL,MAAM,EAAE,gBAAgB;YACxB,OAAO,EAAE,2DAA2D;YACpE,UAAU,EAAE,yDAAyD;SACtE,CAAC;IACJ,CAAC;IAED,MAAM,eAAe,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5E,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,OAAO;YACL,MAAM,EAAE,kBAAkB;YAC1B,OAAO,EAAE,qBAAqB,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,gDAAgD;YACxG,UAAU,EAAE,oEAAoE;YAChF,eAAe;SAChB,CAAC;IACJ,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/runtime-v2/synthetic-baseline.d.ts

@@ -0,0 +1,28 @@
+import type { DiagnosticianOutputV1 } from './diagnostician-output.js';
+export type SyntheticBaselineStageName = 'pain_intake' | 'diagnostician_task_created' | 'candidate_created' | 'ledger_consistent' | 'internalization_queue_ready' | 'canary_health';
+export type SyntheticBaselineFailStage = 'before_pain_intake' | 'after_pain_intake' | 'after_candidate_created' | 'after_ledger_consistent';
+export interface SyntheticBaselineStage {
+    name: SyntheticBaselineStageName;
+    status: 'passed' | 'failed' | 'skipped';
+    reason?: string;
+    evidence?: Record<string, unknown>;
+}
+export interface SyntheticBaselineSummary {
+    status: 'passed' | 'failed' | 'degraded';
+    workspaceMode: 'temp' | 'explicit_workspace';
+    generatedAt: string;
+    stages: SyntheticBaselineStage[];
+    recommendedNextIssue?: string;
+}
+export interface SyntheticBaselineOptions {
+    workspaceDir: string;
+    workspaceMode: 'temp' | 'explicit_workspace';
+    failAfterStage?: SyntheticBaselineFailStage;
+}
+export declare function truncateReason(reason: string): string;
+export declare function safeStringify(value: unknown): string;
+export declare function boundedEvidence(evidence: Record<string, unknown>): Record<string, unknown>;
+export declare function makeDeterministicDiagnosticianOutput(painId: string): DiagnosticianOutputV1;
+export declare function computeOverallStatus(stages: SyntheticBaselineStage[]): 'passed' | 'failed' | 'degraded';
+export declare function recommendNextIssue(stages: SyntheticBaselineStage[]): string | undefined;
+//# sourceMappingURL=synthetic-baseline.d.ts.map

package/dist/runtime-v2/synthetic-baseline.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"synthetic-baseline.d.ts","sourceRoot":"","sources":["../../src/runtime-v2/synthetic-baseline.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,2BAA2B,CAAC;AAEvE,MAAM,MAAM,0BAA0B,GAClC,aAAa,GACb,4BAA4B,GAC5B,mBAAmB,GACnB,mBAAmB,GACnB,6BAA6B,GAC7B,eAAe,CAAC;AAEpB,MAAM,MAAM,0BAA0B,GAClC,oBAAoB,GACpB,mBAAmB,GACnB,yBAAyB,GACzB,yBAAyB,CAAC;AAE9B,MAAM,WAAW,sBAAsB;IACrC,IAAI,EAAE,0BAA0B,CAAC;IACjC,MAAM,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC;IACxC,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACpC;AAED,MAAM,WAAW,wBAAwB;IACvC,MAAM,EAAE,QAAQ,GAAG,QAAQ,GAAG,UAAU,CAAC;IACzC,aAAa,EAAE,MAAM,GAAG,oBAAoB,CAAC;IAC7C,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,sBAAsB,EAAE,CAAC;IACjC,oBAAoB,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,wBAAwB;IACvC,YAAY,EAAE,MAAM,CAAC;IACrB,aAAa,EAAE,MAAM,GAAG,oBAAoB,CAAC;IAC7C,cAAc,CAAC,EAAE,0BAA0B,CAAC;CAC7C;AAKD,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAGrD;AAED,wBAAgB,aAAa,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAepD;AAED,wBAAgB,eAAe,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CA8B1F;AAED,wBAAgB,oCAAoC,CAAC,MAAM,EAAE,MAAM,GAAG,qBAAqB,CAsB1F;AAED,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,sBAAsB,EAAE,GAAG,QAAQ,GAAG,QAAQ,GAAG,UAAU,CAOvG;AAED,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,sBAAsB,EAAE,GAAG,MAAM,GAAG,SAAS,CAmBvF"}

package/dist/runtime-v2/synthetic-baseline.js

@@ -0,0 +1,116 @@
+const MAX_REASON_LENGTH = 500;
+const MAX_EVIDENCE_JSON_LENGTH = 2000;
+export function truncateReason(reason) {
+    if (reason.length <= MAX_REASON_LENGTH)
+        return reason;
+    return reason.slice(0, MAX_REASON_LENGTH - 3) + '...';
+}
+export function safeStringify(value) {
+    try {
+        if (typeof value === 'bigint')
+            return `${value}n`;
+        if (value === undefined)
+            return 'undefined';
+        if (value === null)
+            return 'null';
+        if (typeof value === 'object' && value !== null) {
+            const proto = Object.getPrototypeOf(value);
+            if (proto === null) {
+                return JSON.stringify(Object.fromEntries(Object.entries(value)));
+            }
+        }
+        return JSON.stringify(value);
+    }
+    catch {
+        return '[unserializable]';
+    }
+}
+export function boundedEvidence(evidence) {
+    let json = null;
+    try {
+        json = JSON.stringify(evidence);
+    }
+    catch {
+        // circular or BigInt — fall through to truncation
+    }
+    if (json !== null && json.length <= MAX_EVIDENCE_JSON_LENGTH)
+        return evidence;
+    const keys = Object.keys(evidence);
+    const truncated = {};
+    let budget = MAX_EVIDENCE_JSON_LENGTH - 2;
+    let first = true;
+    for (const key of keys) {
+        const comma = first ? 0 : 1;
+        const entry = `"${key}":${safeStringify(evidence[key])}`;
+        if (entry.length + comma <= budget) {
+            truncated[key] = safeStringify(evidence[key]);
+            budget -= entry.length + comma;
+            first = false;
+        }
+        else {
+            truncated[key] = '[truncated]';
+            break;
+        }
+    }
+    const truncatedJson = JSON.stringify(truncated);
+    if (truncatedJson.length > MAX_EVIDENCE_JSON_LENGTH) {
+        const safeKeys = keys.slice(0, 3).map(k => k.length > 50 ? k.slice(0, 47) + '...' : k);
+        return { _truncated: true, keys: safeKeys };
+    }
+    return truncated;
+}
+export function makeDeterministicDiagnosticianOutput(painId) {
+    return {
+        valid: true,
+        diagnosisId: `synth-diag-${painId}`,
+        summary: 'Synthetic baseline: deterministic diagnostician output',
+        rootCause: 'Synthetic baseline: tool failure pattern detected',
+        violatedPrinciples: [],
+        evidence: [
+            {
+                sourceRef: `pain://${painId}`,
+                note: 'Synthetic baseline pain signal evidence',
+            },
+        ],
+        recommendations: [
+            {
+                kind: 'principle',
+                description: 'Synthetic baseline: avoid repeating this tool failure pattern',
+                abstractedPrinciple: 'Synthetic baseline principle: handle tool failures gracefully',
+            },
+        ],
+        confidence: 0.95,
+    };
+}
+export function computeOverallStatus(stages) {
+    const hasFailed = stages.some(s => s.status === 'failed');
+    const hasSkipped = stages.some(s => s.status === 'skipped');
+    const hasPassed = stages.some(s => s.status === 'passed');
+    if (hasFailed && !hasPassed)
+        return 'failed';
+    if (hasFailed || hasSkipped)
+        return 'degraded';
+    return 'passed';
+}
+export function recommendNextIssue(stages) {
+    const firstFailed = stages.find(s => s.status === 'failed');
+    if (!firstFailed)
+        return undefined;
+    switch (firstFailed.name) {
+        case 'pain_intake':
+            return 'PRI-207: Pain intake pipeline broken — check PainSignalBridge and DiagnosticianRunner';
+        case 'diagnostician_task_created':
+            return 'PRI-207: Diagnostician task not created — check RuntimeStateManager task creation';
+        case 'candidate_created':
+            return 'PRI-207: Candidate not created — check DiagnosticianCommitter and artifact storage';
+        case 'ledger_consistent':
+            return 'PRI-209: Ledger consistency broken — check CandidateIntakeService and PrincipleTreeLedgerAdapter';
+        case 'internalization_queue_ready':
+            return 'PRI-209: Internalization queue not ready — check IntakeToInternalizationBridge and PI task creation';
+        case 'canary_health':
+            return 'PRI-208: Canary health check failed — check OperatorHealthReadModel and read model infrastructure';
+        default:
+            return undefined;
+    }
+}
+//# sourceMappingURL=synthetic-baseline.js.map

package/dist/runtime-v2/synthetic-baseline.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"synthetic-baseline.js","sourceRoot":"","sources":["../../src/runtime-v2/synthetic-baseline.ts"],"names":[],"mappings":"AAqCA,MAAM,iBAAiB,GAAG,GAAG,CAAC;AAC9B,MAAM,wBAAwB,GAAG,IAAI,CAAC;AAEtC,MAAM,UAAU,cAAc,CAAC,MAAc;IAC3C,IAAI,MAAM,CAAC,MAAM,IAAI,iBAAiB;QAAE,OAAO,MAAM,CAAC;IACtD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,iBAAiB,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC;AACxD,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,KAAc;IAC1C,IAAI,CAAC;QACH,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,GAAG,KAAK,GAAG,CAAC;QAClD,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,WAAW,CAAC;QAC5C,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,MAAM,CAAC;QAClC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YAChD,MAAM,KAAK,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;YAC3C,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;gBACnB,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YACnE,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,kBAAkB,CAAC;IAC5B,CAAC;AACH,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,QAAiC;IAC/D,IAAI,IAAI,GAAkB,IAAI,CAAC;IAC/B,IAAI,CAAC;QACH,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAClC,CAAC;IAAC,MAAM,CAAC;QACP,kDAAkD;IACpD,CAAC;IACD,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,MAAM,IAAI,wBAAwB;QAAE,OAAO,QAAQ,CAAC;IAC9E,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACnC,MAAM,SAAS,GAA4B,EAAE,CAAC;IAC9C,IAAI,MAAM,GAAG,wBAAwB,GAAG,CAAC,CAAC;IAC1C,IAAI,KAAK,GAAG,IAAI,CAAC;IACjB,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,KAAK,GAAG,IAAI,GAAG,KAAK,aAAa,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACzD,IAAI,KAAK,CAAC,MAAM,GAAG,KAAK,IAAI,MAAM,EAAE,CAAC;YACnC,SAAS,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;YAC9C,MAAM,IAAI,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC;YAC/B,KAAK,GAAG,KAAK,CAAC;QAChB,CAAC;aAAM,CAAC;YACN,SAAS,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC;YAC/B,MAAM;QACR,CAAC;IACH,CAAC;IACD,MAAM,aAAa,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IAChD,IAAI,aAAa,CAAC,MAAM,GAAG,wBAAwB,EAAE,CAAC;QACpD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvF,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAC9C,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,oCAAoC,CAAC,MAAc;IACjE,OAAO;QACL,KAAK,EAAE,IAAI;QACX,WAAW,EAAE,cAAc,MAAM,EAAE;QACnC,OAAO,EAAE,wDAAwD;QACjE,SAAS,EAAE,mDAAmD;QAC9D,kBAAkB,EAAE,EAAE;QACtB,QAAQ,EAAE;YACR;gBACE,SAAS,EAAE,UAAU,MAAM,EAAE;gBAC7B,IAAI,EAAE,yCAAyC;aAChD;SACF;QACD,eAAe,EAAE;YACf;gBACE,IAAI,EAAE,WAAW;gBACjB,WAAW,EAAE,+DAA+D;gBAC5E,mBAAmB,EAAE,+DAA+D;aACrF;SACF;QACD,UAAU,EAAE,IAAI;KACjB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,MAAgC;IACnE,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;IAC1D,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC;IAC5D,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;IAC1D,IAAI,SAAS,IAAI,CAAC,SAAS;QAAE,OAAO,QAAQ,CAAC;IAC7C,IAAI,SAAS,IAAI,UAAU;QAAE,OAAO,UAAU,CAAC;IAC/C,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,MAAgC;IACjE,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;IAC5D,IAAI,CAAC,WAAW;QAAE,OAAO,SAAS,CAAC;IACnC,QAAQ,WAAW,CAAC,IAAI,EAAE,CAAC;QACzB,KAAK,aAAa;YAChB,OAAO,uFAAuF,CAAC;QACjG,KAAK,4BAA4B;YAC/B,OAAO,mFAAmF,CAAC;QAC7F,KAAK,mBAAmB;YACtB,OAAO,oFAAoF,CAAC;QAC9F,KAAK,mBAAmB;YACtB,OAAO,kGAAkG,CAAC;QAC5G,KAAK,6BAA6B;YAChC,OAAO,qGAAqG,CAAC;QAC/G,KAAK,eAAe;YAClB,OAAO,mGAAmG,CAAC;QAC7G;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC"}

package/dist/runtime-v2/task-status.d.ts

@@ -0,0 +1,99 @@
+/**
+ * Canonical task and run status types for PD Runtime v2.
+ *
+ * Source: PD Runtime Protocol SPEC v1, Section 12
+ * Source: Diagnostician v2 Detailed Design, Section 7
+ *
+ * MIGRATION NOTE:
+ *   - openclaw-plugin's QueueStatus ('in_progress', 'completed', 'canceled')
+ *     is the LEGACY status model. New code uses PDTaskStatus.
+ *   - principles-core's EvolutionTaskRecord.status (free-form string)
+ *     will be migrated to PDTaskStatus in M2.
+ *   - The new status model introduces 'leased' and 'retry_wait' which
+ *     do not exist in the legacy model.
+ */
+import { type Static } from '@sinclair/typebox';
+/**
+ * The canonical task status model for PD Runtime v2.
+ *
+ * State transitions:
+ *   pending → leased → succeeded
+ *                     → retry_wait → pending (via lease expiry recovery)
+ *                     → failed
+ */
+export declare const PDTaskStatusSchema: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"pending">, import("@sinclair/typebox").TLiteral<"leased">, import("@sinclair/typebox").TLiteral<"succeeded">, import("@sinclair/typebox").TLiteral<"retry_wait">, import("@sinclair/typebox").TLiteral<"failed">, import("@sinclair/typebox").TLiteral<"needs_human_review">]>;
+export type PDTaskStatus = Static<typeof PDTaskStatusSchema>;
+export declare const TaskRecordSchema: import("@sinclair/typebox").TObject<{
+    /** Unique task identifier. */
+    taskId: import("@sinclair/typebox").TString;
+    /** Kind of task (e.g., "diagnostician", "principle_candidate_intake"). */
+    taskKind: import("@sinclair/typebox").TString;
+    /** Current task status. */
+    status: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"pending">, import("@sinclair/typebox").TLiteral<"leased">, import("@sinclair/typebox").TLiteral<"succeeded">, import("@sinclair/typebox").TLiteral<"retry_wait">, import("@sinclair/typebox").TLiteral<"failed">, import("@sinclair/typebox").TLiteral<"needs_human_review">]>;
+    /** ISO timestamp of task creation. */
+    createdAt: import("@sinclair/typebox").TString;
+    /** ISO timestamp of last status update. */
+    updatedAt: import("@sinclair/typebox").TString;
+    /** Current lease owner identifier. */
+    leaseOwner: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    /** ISO timestamp when the current lease expires. */
+    leaseExpiresAt: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    /** Number of execution attempts made so far. */
+    attemptCount: import("@sinclair/typebox").TInteger;
+    /** Maximum number of attempts before forced failure. */
+    maxAttempts: import("@sinclair/typebox").TInteger;
+    /** Last error category, if the task is in a failure-related state. */
+    lastError: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"runtime_unavailable">, import("@sinclair/typebox").TLiteral<"capability_missing">, import("@sinclair/typebox").TLiteral<"input_invalid">, import("@sinclair/typebox").TLiteral<"lease_conflict">, import("@sinclair/typebox").TLiteral<"lease_expired">, import("@sinclair/typebox").TLiteral<"execution_failed">, import("@sinclair/typebox").TLiteral<"timeout">, import("@sinclair/typebox").TLiteral<"cancelled">, import("@sinclair/typebox").TLiteral<"output_invalid">, import("@sinclair/typebox").TLiteral<"artifact_commit_failed">, import("@sinclair/typebox").TLiteral<"max_attempts_exceeded">, import("@sinclair/typebox").TLiteral<"context_assembly_failed">, import("@sinclair/typebox").TLiteral<"history_not_found">, import("@sinclair/typebox").TLiteral<"trajectory_ambiguous">, import("@sinclair/typebox").TLiteral<"storage_unavailable">, import("@sinclair/typebox").TLiteral<"workspace_invalid">, import("@sinclair/typebox").TLiteral<"workspace_dirty">, import("@sinclair/typebox").TLiteral<"query_invalid">]>>;
+    /** Reference to the task's input data. */
+    inputRef: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    /** Reference to the task's result data. */
+    resultRef: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    /** Diagnostic JSON payload (PI metadata, session hints, etc.). */
+    diagnosticJson: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+}>;
+export type TaskRecord = Static<typeof TaskRecordSchema>;
+export declare const DiagnosticianTaskRecordSchema: import("@sinclair/typebox").TIntersect<[import("@sinclair/typebox").TObject<{
+    /** Unique task identifier. */
+    taskId: import("@sinclair/typebox").TString;
+    /** Kind of task (e.g., "diagnostician", "principle_candidate_intake"). */
+    taskKind: import("@sinclair/typebox").TString;
+    /** Current task status. */
+    status: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"pending">, import("@sinclair/typebox").TLiteral<"leased">, import("@sinclair/typebox").TLiteral<"succeeded">, import("@sinclair/typebox").TLiteral<"retry_wait">, import("@sinclair/typebox").TLiteral<"failed">, import("@sinclair/typebox").TLiteral<"needs_human_review">]>;
+    /** ISO timestamp of task creation. */
+    createdAt: import("@sinclair/typebox").TString;
+    /** ISO timestamp of last status update. */
+    updatedAt: import("@sinclair/typebox").TString;
+    /** Current lease owner identifier. */
+    leaseOwner: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    /** ISO timestamp when the current lease expires. */
+    leaseExpiresAt: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    /** Number of execution attempts made so far. */
+    attemptCount: import("@sinclair/typebox").TInteger;
+    /** Maximum number of attempts before forced failure. */
+    maxAttempts: import("@sinclair/typebox").TInteger;
+    /** Last error category, if the task is in a failure-related state. */
+    lastError: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"runtime_unavailable">, import("@sinclair/typebox").TLiteral<"capability_missing">, import("@sinclair/typebox").TLiteral<"input_invalid">, import("@sinclair/typebox").TLiteral<"lease_conflict">, import("@sinclair/typebox").TLiteral<"lease_expired">, import("@sinclair/typebox").TLiteral<"execution_failed">, import("@sinclair/typebox").TLiteral<"timeout">, import("@sinclair/typebox").TLiteral<"cancelled">, import("@sinclair/typebox").TLiteral<"output_invalid">, import("@sinclair/typebox").TLiteral<"artifact_commit_failed">, import("@sinclair/typebox").TLiteral<"max_attempts_exceeded">, import("@sinclair/typebox").TLiteral<"context_assembly_failed">, import("@sinclair/typebox").TLiteral<"history_not_found">, import("@sinclair/typebox").TLiteral<"trajectory_ambiguous">, import("@sinclair/typebox").TLiteral<"storage_unavailable">, import("@sinclair/typebox").TLiteral<"workspace_invalid">, import("@sinclair/typebox").TLiteral<"workspace_dirty">, import("@sinclair/typebox").TLiteral<"query_invalid">]>>;
+    /** Reference to the task's input data. */
+    inputRef: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    /** Reference to the task's result data. */
+    resultRef: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    /** Diagnostic JSON payload (PI metadata, session hints, etc.). */
+    diagnosticJson: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+}>, import("@sinclair/typebox").TObject<{
+    taskKind: import("@sinclair/typebox").TLiteral<"diagnostician">;
+    sourcePainId: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    workspaceDir: import("@sinclair/typebox").TString;
+    severity: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    source: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    sessionIdHint: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    agentIdHint: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    reasonSummary: import("@sinclair/typebox").TString;
+    provenance: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"openclaw_context_bound">, import("@sinclair/typebox").TLiteral<"owner_reported_no_host_trace">, import("@sinclair/typebox").TLiteral<"automatic_hook">]>>;
+    provenanceReason: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    evidence: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TArray<import("@sinclair/typebox").TObject<{
+        sourceRef: import("@sinclair/typebox").TString;
+        note: import("@sinclair/typebox").TString;
+    }>>>;
+}>]>;
+export type DiagnosticianTaskRecord = Static<typeof DiagnosticianTaskRecordSchema>;
+//# sourceMappingURL=task-status.d.ts.map

package/dist/runtime-v2/task-status.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"task-status.d.ts","sourceRoot":"","sources":["../../src/runtime-v2/task-status.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,EAAQ,KAAK,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAMtD;;;;;;;GAOG;AACH,eAAO,MAAM,kBAAkB,0VAO7B,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAI7D,eAAO,MAAM,gBAAgB;IAC3B,8BAA8B;;IAE9B,0EAA0E;;IAE1E,2BAA2B;;IAE3B,sCAAsC;;IAEtC,2CAA2C;;IAE3C,sCAAsC;;IAEtC,oDAAoD;;IAEpD,gDAAgD;;IAEhD,wDAAwD;;IAExD,sEAAsE;;IAEtE,0CAA0C;;IAE1C,2CAA2C;;IAE3C,kEAAkE;;EAElE,CAAC;AACH,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAKzD,eAAO,MAAM,6BAA6B;IAhCxC,8BAA8B;;IAE9B,0EAA0E;;IAE1E,2BAA2B;;IAE3B,sCAAsC;;IAEtC,2CAA2C;;IAE3C,sCAAsC;;IAEtC,oDAAoD;;IAEpD,gDAAgD;;IAEhD,wDAAwD;;IAExD,sEAAsE;;IAEtE,0CAA0C;;IAE1C,2CAA2C;;IAE3C,kEAAkE;;;;;;;;;;;;;;;;;IA8BlE,CAAC;AACH,MAAM,MAAM,uBAAuB,GAAG,MAAM,CAAC,OAAO,6BAA6B,CAAC,CAAC"}

package/dist/runtime-v2/task-status.js

@@ -0,0 +1,88 @@
+/**
+ * Canonical task and run status types for PD Runtime v2.
+ *
+ * Source: PD Runtime Protocol SPEC v1, Section 12
+ * Source: Diagnostician v2 Detailed Design, Section 7
+ *
+ * MIGRATION NOTE:
+ *   - openclaw-plugin's QueueStatus ('in_progress', 'completed', 'canceled')
+ *     is the LEGACY status model. New code uses PDTaskStatus.
+ *   - principles-core's EvolutionTaskRecord.status (free-form string)
+ *     will be migrated to PDTaskStatus in M2.
+ *   - The new status model introduces 'leased' and 'retry_wait' which
+ *     do not exist in the legacy model.
+ */
+import { Type } from '@sinclair/typebox';
+import { PDErrorCategorySchema } from './error-categories.js';
+// ── Task Status ──
+/**
+ * The canonical task status model for PD Runtime v2.
+ *
+ * State transitions:
+ *   pending → leased → succeeded
+ *                     → retry_wait → pending (via lease expiry recovery)
+ *                     → failed
+ */
+export const PDTaskStatusSchema = Type.Union([
+    Type.Literal('pending'),
+    Type.Literal('leased'),
+    Type.Literal('succeeded'),
+    Type.Literal('retry_wait'),
+    Type.Literal('failed'),
+    Type.Literal('needs_human_review'),
+]);
+// ── Task Record ──
+export const TaskRecordSchema = Type.Object({
+    /** Unique task identifier. */
+    taskId: Type.String({ minLength: 1 }),
+    /** Kind of task (e.g., "diagnostician", "principle_candidate_intake"). */
+    taskKind: Type.String({ minLength: 1 }),
+    /** Current task status. */
+    status: PDTaskStatusSchema,
+    /** ISO timestamp of task creation. */
+    createdAt: Type.String(),
+    /** ISO timestamp of last status update. */
+    updatedAt: Type.String(),
+    /** Current lease owner identifier. */
+    leaseOwner: Type.Optional(Type.String()),
+    /** ISO timestamp when the current lease expires. */
+    leaseExpiresAt: Type.Optional(Type.String()),
+    /** Number of execution attempts made so far. */
+    attemptCount: Type.Integer({ minimum: 0 }),
+    /** Maximum number of attempts before forced failure. */
+    maxAttempts: Type.Integer({ minimum: 1 }),
+    /** Last error category, if the task is in a failure-related state. */
+    lastError: Type.Optional(PDErrorCategorySchema),
+    /** Reference to the task's input data. */
+    inputRef: Type.Optional(Type.String()),
+    /** Reference to the task's result data. */
+    resultRef: Type.Optional(Type.String()),
+    /** Diagnostic JSON payload (PI metadata, session hints, etc.). */
+    diagnosticJson: Type.Optional(Type.String()),
+});
+// ── Diagnostician-specific task record ──
+// (extends TaskRecord with diagnosis-specific fields)
+export const DiagnosticianTaskRecordSchema = Type.Intersect([
+    TaskRecordSchema,
+    Type.Object({
+        taskKind: Type.Literal('diagnostician'),
+        sourcePainId: Type.Optional(Type.String()),
+        workspaceDir: Type.String(),
+        severity: Type.Optional(Type.String()),
+        source: Type.Optional(Type.String()),
+        sessionIdHint: Type.Optional(Type.String()),
+        agentIdHint: Type.Optional(Type.String()),
+        reasonSummary: Type.String(),
+        provenance: Type.Optional(Type.Union([
+            Type.Literal('openclaw_context_bound'),
+            Type.Literal('owner_reported_no_host_trace'),
+            Type.Literal('automatic_hook'),
+        ])),
+        provenanceReason: Type.Optional(Type.String()),
+        evidence: Type.Optional(Type.Array(Type.Object({
+            sourceRef: Type.String({ minLength: 1 }),
+            note: Type.String({ minLength: 1, maxLength: 200 }),
+        }))),
+    }),
+]);
+//# sourceMappingURL=task-status.js.map

package/dist/runtime-v2/task-status.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"task-status.js","sourceRoot":"","sources":["../../src/runtime-v2/task-status.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AACH,OAAO,EAAE,IAAI,EAAe,MAAM,mBAAmB,CAAC;AAEtD,OAAO,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AAE9D,oBAAoB;AAEpB;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC3C,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;IACvB,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;IACtB,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;IACzB,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC;IAC1B,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;IACtB,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC;CACnC,CAAC,CAAC;AAGH,oBAAoB;AAEpB,MAAM,CAAC,MAAM,gBAAgB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1C,8BAA8B;IAC9B,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACrC,0EAA0E;IAC1E,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACvC,2BAA2B;IAC3B,MAAM,EAAE,kBAAkB;IAC1B,sCAAsC;IACtC,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE;IACxB,2CAA2C;IAC3C,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE;IACxB,sCAAsC;IACtC,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACxC,oDAAoD;IACpD,cAAc,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC5C,gDAAgD;IAChD,YAAY,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IAC1C,wDAAwD;IACxD,WAAW,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IACzC,sEAAsE;IACtE,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,qBAAqB,CAAC;IAC/C,0CAA0C;IAC1C,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACtC,2CAA2C;IAC3C,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACvC,kEAAkE;IAClE,cAAc,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CAC7C,CAAC,CAAC;AAGH,2CAA2C;AAC3C,sDAAsD;AAEtD,MAAM,CAAC,MAAM,6BAA6B,GAAG,IAAI,CAAC,SAAS,CAAC;IAC1D,gBAAgB;IAChB,IAAI,CAAC,MAAM,CAAC;QACV,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC;QACvC,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAC1C,YAAY,EAAE,IAAI,CAAC,MAAM,EAAE;QAC3B,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACtC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACpC,aAAa,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAC3C,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACzC,aAAa,EAAE,IAAI,CAAC,MAAM,EAAE;QAC5B,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC;YACnC,IAAI,CAAC,OAAO,CAAC,wBAAwB,CAAC;YACtC,IAAI,CAAC,OAAO,CAAC,8BAA8B,CAAC;YAC5C,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC;SAC/B,CAAC,CAAC;QACH,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAC9C,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC;YAC7C,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;YACxC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;SACpD,CAAC,CAAC,CAAC;KACL,CAAC;CACH,CAAC,CAAC"}

package/dist/runtime-v2/trace-refiner-agent.d.ts

@@ -0,0 +1,71 @@
+/**
+ * TraceRefinerAgent shadow contract (PRI-192).
+ *
+ * Defines the input/output contract for a built-in trace-processing agent
+ * that operates in shadow mode only. The agent consolidates and purifies
+ * traces before Diagnostician / L2 use, but does NOT replace the
+ * deterministic TraceRefiner in production.
+ *
+ * Key invariants:
+ *   - Default mode is 'shadow' — agent output is recorded, never selected
+ *   - selectedTrace always equals deterministicRefinedTrace
+ *   - Every evidence claim must have non-empty sourceRefs
+ *   - All sourceRefs must exist in the allowed set from input
+ *   - status='blocked' requires non-empty blockedReason
+ *   - confidence must be finite and in [0, 1]
+ *   - No filesystem/network/LLM/plugin dependencies — pure logic only
+ *   - Agent contract only consumes provided trace payloads
+ */
+import type { FullTracePayloadV2 } from './full-trace-contract.js';
+import type { RefinedTracePayload } from './trace-refiner.js';
+export type TraceRefinerAgentObjective = 'diagnosis_input' | 'golden_trace_candidate' | 'l2_replay_case';
+export type TraceRefinerAgentMode = 'shadow';
+export interface TraceRefinerAgentInput {
+    fullTrace: FullTracePayloadV2;
+    deterministicRefinedTrace: RefinedTracePayload;
+    objective: TraceRefinerAgentObjective;
+    mode: TraceRefinerAgentMode;
+    constraints: {
+        preserveSourceRefs: true;
+        doNotInventEvidence: true;
+        redactSecrets: true;
+    };
+}
+export interface TraceRefinerEvidenceClaim {
+    claim: string;
+    sourceRefs: string[];
+}
+export interface TraceRefinerRejectedEvidence {
+    reason: string;
+    sourceRefs: string[];
+}
+export type TraceRefinerAgentStatus = 'refined' | 'blocked';
+export interface TraceRefinerAgentOutput {
+    status: TraceRefinerAgentStatus;
+    refinedTrace: RefinedTracePayload;
+    evidenceMap: TraceRefinerEvidenceClaim[];
+    rejectedEvidence: TraceRefinerRejectedEvidence[];
+    confidence: number;
+    generatedAt: string;
+    blockedReason?: string;
+}
+export declare function createTraceRefinerAgentInput(fullTrace: FullTracePayloadV2, deterministicRefinedTrace: RefinedTracePayload, objective: TraceRefinerAgentObjective): TraceRefinerAgentInput;
+export declare function validateTraceRefinerAgentOutput(output: unknown, input: TraceRefinerAgentInput): {
+    ok: true;
+    output: TraceRefinerAgentOutput;
+} | {
+    ok: false;
+    errors: string[];
+};
+export declare function applyTraceRefinerAgentShadowResult(input: TraceRefinerAgentInput, agentOutput: unknown): {
+    mode: 'shadow';
+    selectedTrace: RefinedTracePayload;
+    deterministicRefinedTrace: RefinedTracePayload;
+    agentRefinedTrace: RefinedTracePayload | null;
+    acceptedAgentOutput: TraceRefinerAgentOutput | null;
+    telemetry: {
+        decision: 'agent_refined_recorded' | 'agent_blocked' | 'agent_output_invalid';
+        errors: string[];
+    };
+};
+//# sourceMappingURL=trace-refiner-agent.d.ts.map

package/dist/runtime-v2/trace-refiner-agent.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"trace-refiner-agent.d.ts","sourceRoot":"","sources":["../../src/runtime-v2/trace-refiner-agent.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AACH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAI9D,MAAM,MAAM,0BAA0B,GAClC,iBAAiB,GACjB,wBAAwB,GACxB,gBAAgB,CAAC;AAIrB,MAAM,MAAM,qBAAqB,GAAG,QAAQ,CAAC;AAI7C,MAAM,WAAW,sBAAsB;IACrC,SAAS,EAAE,kBAAkB,CAAC;IAC9B,yBAAyB,EAAE,mBAAmB,CAAC;IAC/C,SAAS,EAAE,0BAA0B,CAAC;IACtC,IAAI,EAAE,qBAAqB,CAAC;IAC5B,WAAW,EAAE;QACX,kBAAkB,EAAE,IAAI,CAAC;QACzB,mBAAmB,EAAE,IAAI,CAAC;QAC1B,aAAa,EAAE,IAAI,CAAC;KACrB,CAAC;CACH;AAID,MAAM,WAAW,yBAAyB;IACxC,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAED,MAAM,WAAW,4BAA4B;IAC3C,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAID,MAAM,MAAM,uBAAuB,GAAG,SAAS,GAAG,SAAS,CAAC;AAI5D,MAAM,WAAW,uBAAuB;IACtC,MAAM,EAAE,uBAAuB,CAAC;IAChC,YAAY,EAAE,mBAAmB,CAAC;IAClC,WAAW,EAAE,yBAAyB,EAAE,CAAC;IACzC,gBAAgB,EAAE,4BAA4B,EAAE,CAAC;IACjD,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AA0BD,wBAAgB,4BAA4B,CAC1C,SAAS,EAAE,kBAAkB,EAC7B,yBAAyB,EAAE,mBAAmB,EAC9C,SAAS,EAAE,0BAA0B,GACpC,sBAAsB,CAYxB;AAID,wBAAgB,+BAA+B,CAC7C,MAAM,EAAE,OAAO,EACf,KAAK,EAAE,sBAAsB,GAC5B;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,MAAM,EAAE,uBAAuB,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,EAAE,CAAA;CAAE,CA6KjF;AAID,wBAAgB,kCAAkC,CAChD,KAAK,EAAE,sBAAsB,EAC7B,WAAW,EAAE,OAAO,GACnB;IACD,IAAI,EAAE,QAAQ,CAAC;IACf,aAAa,EAAE,mBAAmB,CAAC;IACnC,yBAAyB,EAAE,mBAAmB,CAAC;IAC/C,iBAAiB,EAAE,mBAAmB,GAAG,IAAI,CAAC;IAC9C,mBAAmB,EAAE,uBAAuB,GAAG,IAAI,CAAC;IACpD,SAAS,EAAE;QACT,QAAQ,EAAE,wBAAwB,GAAG,eAAe,GAAG,sBAAsB,CAAC;QAC9E,MAAM,EAAE,MAAM,EAAE,CAAC;KAClB,CAAC;CACH,CA4CA"}