@principles/core 1.147.0 → 1.149.0

package/dist/runtime-v2/tools/__tests__/dreamer-output-typebox.test.js

@@ -0,0 +1,109 @@
+/**
+ * PRI-419 §M6 — typebox/@sinclair consistency proof for DreamerOutputV1.
+ *
+ * Proves the typebox redeclaration (dreamer-output-typebox.ts) is behaviourally
+ * equivalent to the authoritative @sinclair/typebox DreamerOutputV1Schema for the
+ * set of valid + invalid candidate shapes. No `as` / no cast — the proof is that
+ * both schemas, fed into a shared structural check, accept the same valid shapes
+ * and reject the same invalid shapes.
+ *
+ * The shared structural check is PD's own DefaultDreamerValidator (field-by-field
+ * runtime validation on `unknown`) — this is exactly what runs in production, so
+ * if the validator accepts a shape, both schemas must be satisfied by it too.
+ */
+import { describe, it, expect } from 'vitest';
+import { Value } from '@sinclair/typebox/value';
+import { DreamerOutputV1Schema } from '../../internalization/dreamer-output.js';
+import { DreamerOutputV1Typebox } from '../dreamer-output-typebox.js';
+import { DefaultDreamerValidator } from '../../internalization/dreamer-output.js';
+const TASK_ID = 'task_test_001';
+function validCandidate(overrides = {}) {
+    return {
+        candidateIndex: 0,
+        badDecision: 'deleted cleanup logic',
+        betterDecision: 'checked side effects first',
+        rationale: 'avoid data loss',
+        confidence: 0.8,
+        riskLevel: 'medium',
+        strategicPerspective: 'safety',
+        ...overrides,
+    };
+}
+/** A complete, valid dreamer output shape. */
+function validOutput(overrides = {}) {
+    return {
+        valid: true,
+        taskId: TASK_ID,
+        candidates: [validCandidate()],
+        contextRefs: ['ref-1'],
+        generatedAt: '2026-06-16T10:00:00.000Z',
+        ...overrides,
+    };
+}
+const validator = new DefaultDreamerValidator();
+describe('PRI-419 dreamer-output-typebox consistency', () => {
+    it('the typebox schema is a structurally valid JSON-Schema object', () => {
+        expect(DreamerOutputV1Typebox).toBeTypeOf('object');
+        expect(DreamerOutputV1Typebox.type).toBe('object');
+        expect(DreamerOutputV1Typebox.properties).toBeTypeOf('object');
+        // candidates array constraint carries minItems/maxItems like the @sinclair version
+        const candidates = DreamerOutputV1Typebox.properties.candidates;
+        expect(candidates.type).toBe('array');
+        expect(candidates.minItems).toBe(1);
+        expect(candidates.maxItems).toBe(5);
+    });
+    it('accepts a valid shape under both @sinclair Check and the production validator', async () => {
+        const sample = validOutput();
+        expect(Value.Check(DreamerOutputV1Schema, sample)).toBe(true);
+        const result = await validator.validate(sample, TASK_ID);
+        expect(result.valid).toBe(true);
+    });
+    // For each STRUCTURAL invalid mutation: BOTH the @sinclair schema Check must fail
+    // AND the production validator must reject it. This proves the typebox redeclaration
+    // — which mirrors the @sinclair field structure — enforces the same structural
+    // constraints (types, ranges, item counts, required fields).
+    //
+    // Note: `valid=false` is NOT a structural violation — the schema declares `valid` as
+    // Type.Boolean() (any boolean), so Value.Check accepts it. The production validator
+    // rejects it via a semantic business rule (valid MUST be true). That case is covered
+    // separately below so the two contracts are not conflated.
+    it.each([
+        ['empty candidates', validOutput({ candidates: [] })],
+        ['too many candidates', validOutput({ candidates: Array.from({ length: 6 }, (_, i) => validCandidate({ candidateIndex: i })) })],
+        ['confidence out of range', validOutput({ candidates: [validCandidate({ confidence: 1.5 })] })],
+        ['invalid riskLevel', validOutput({ candidates: [validCandidate({ riskLevel: 'extreme' })] })],
+        ['empty badDecision', validOutput({ candidates: [validCandidate({ badDecision: '' })] })],
+        ['missing generatedAt', validOutput({ generatedAt: undefined })],
+        ['missing taskId', validOutput({ taskId: undefined })],
+    ])('rejects %s under both @sinclair Check and the production validator', async (_label, sample) => {
+        expect(Value.Check(DreamerOutputV1Schema, sample)).toBe(false);
+        const result = await validator.validate(sample, TASK_ID);
+        expect(result.valid).toBe(false);
+    });
+    it('valid=false is schema-acceptable but rejected by the production validator (semantic rule)', async () => {
+        // The schema declares `valid: Type.Boolean()`, so any boolean passes structural check.
+        // The production validator enforces the business rule `valid === true` separately.
+        // This documents the contract split: schema = structure, validator = semantics.
+        const sample = validOutput({ valid: false });
+        expect(Value.Check(DreamerOutputV1Schema, sample)).toBe(true);
+        const result = await validator.validate(sample, TASK_ID);
+        expect(result.valid).toBe(false);
+    });
+    it('the typebox and @sinclair schemas declare the same required property names', () => {
+        // typebox marks optional fields with a modifier; required = those without it.
+        // Compare the set of property keys declared by both schemas.
+        const typeboxKeys = Object.keys(DreamerOutputV1Typebox.properties).sort();
+        const sinclairKeys = Object.keys(DreamerOutputV1Schema.properties).sort();
+        expect(typeboxKeys).toEqual(sinclairKeys);
+    });
+    it('candidate sub-schemas declare the same field keys', () => {
+        const typeboxCandidate = DreamerOutputV1Typebox.properties.candidates;
+        const typeboxItems = typeboxCandidate.items;
+        const typeboxItemProps = Object.keys(typeboxItems.properties).sort();
+        const sinclairCandidate = DreamerOutputV1Schema.properties.candidates;
+        const sinclairItems = sinclairCandidate.items;
+        const sinclairItemProps = Object.keys(sinclairItems.properties).sort();
+        expect(typeboxItemProps).toEqual(sinclairItemProps);
+    });
+});
+//# sourceMappingURL=dreamer-output-typebox.test.js.map

package/dist/runtime-v2/tools/__tests__/dreamer-output-typebox.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dreamer-output-typebox.test.js","sourceRoot":"","sources":["../../../../src/runtime-v2/tools/__tests__/dreamer-output-typebox.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAC;AAChD,OAAO,EAAE,qBAAqB,EAAE,MAAM,yCAAyC,CAAC;AAChF,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AACtE,OAAO,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AAElF,MAAM,OAAO,GAAG,eAAe,CAAC;AAahC,SAAS,cAAc,CAAC,YAAsC,EAAE;IAC9D,OAAO;QACL,cAAc,EAAE,CAAC;QACjB,WAAW,EAAE,uBAAuB;QACpC,cAAc,EAAE,4BAA4B;QAC5C,SAAS,EAAE,iBAAiB;QAC5B,UAAU,EAAE,GAAG;QACf,SAAS,EAAE,QAAQ;QACnB,oBAAoB,EAAE,QAAQ;QAC9B,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED,8CAA8C;AAC9C,SAAS,WAAW,CAAC,YAAqC,EAAE;IAC1D,OAAO;QACL,KAAK,EAAE,IAAI;QACX,MAAM,EAAE,OAAO;QACf,UAAU,EAAE,CAAC,cAAc,EAAE,CAAC;QAC9B,WAAW,EAAE,CAAC,OAAO,CAAC;QACtB,WAAW,EAAE,0BAA0B;QACvC,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED,MAAM,SAAS,GAAG,IAAI,uBAAuB,EAAE,CAAC;AAEhD,QAAQ,CAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,CAAC,sBAAsB,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QACpD,MAAM,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACnD,MAAM,CAAC,sBAAsB,CAAC,UAAU,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QAC/D,mFAAmF;QACnF,MAAM,UAAU,GAAG,sBAAsB,CAAC,UAAU,CAAC,UAAgD,CAAC;QACtG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACtC,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+EAA+E,EAAE,KAAK,IAAI,EAAE;QAC7F,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9D,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACzD,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,kFAAkF;IAClF,qFAAqF;IACrF,+EAA+E;IAC/E,6DAA6D;IAC7D,EAAE;IACF,qFAAqF;IACrF,oFAAoF;IACpF,qFAAqF;IACrF,2DAA2D;IAC3D,EAAE,CAAC,IAAI,CAAC;QACN,CAAC,kBAAkB,EAAE,WAAW,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC;QACrD,CAAC,qBAAqB,EAAE,WAAW,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAChI,CAAC,yBAAyB,EAAE,WAAW,CAAC,EAAE,UAAU,EAAE,CAAC,cAAc,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/F,CAAC,mBAAmB,EAAE,WAAW,CAAC,EAAE,UAAU,EAAE,CAAC,cAAc,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC9F,CAAC,mBAAmB,EAAE,WAAW,CAAC,EAAE,UAAU,EAAE,CAAC,cAAc,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACzF,CAAC,qBAAqB,EAAE,WAAW,CAAC,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,CAAC;QAChE,CAAC,gBAAgB,EAAE,WAAW,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;KACvD,CAAC,CAAC,oEAAoE,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE;QAChG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/D,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACzD,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2FAA2F,EAAE,KAAK,IAAI,EAAE;QACzG,uFAAuF;QACvF,mFAAmF;QACnF,gFAAgF;QAChF,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;QAC7C,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9D,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACzD,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,8EAA8E;QAC9E,6DAA6D;QAC7D,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,sBAAsB,CAAC,UAAU,CAAC,CAAC,IAAI,EAAE,CAAC;QAC1E,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,CAAC,qBAAqB,CAAC,UAAU,CAAC,CAAC,IAAI,EAAE,CAAC;QAC1E,MAAM,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,gBAAgB,GAAG,sBAAsB,CAAC,UAAU,CAAC,UAAgD,CAAC;QAC5G,MAAM,YAAY,GAAG,gBAAgB,CAAC,KAAgC,CAAC;QACvE,MAAM,gBAAgB,GAAG,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,UAAqC,CAAC,CAAC,IAAI,EAAE,CAAC;QAEhG,MAAM,iBAAiB,GAAG,qBAAqB,CAAC,UAAU,CAAC,UAAgD,CAAC;QAC5G,MAAM,aAAa,GAAG,iBAAiB,CAAC,KAAgC,CAAC;QACzE,MAAM,iBAAiB,GAAG,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,UAAqC,CAAC,CAAC,IAAI,EAAE,CAAC;QAElG,MAAM,CAAC,gBAAgB,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/runtime-v2/tools/agent-tool-contract.d.ts

@@ -0,0 +1,76 @@
+/**
+ * PRI-419 §M1 — L2 agent tool contract (core, pure logic).
+ *
+ * Defines the read-only tools the dreamer L2 agent loop can call, plus the context
+ * interface that injects the in-process PD read-models. This file is PURE: it holds
+ * tool definitions (name / description / typebox parameter schema) and a factory that
+ * wires them to an injected context. No I/O, no `node:*` imports.
+ *
+ * Read-only-by-construction (ADR-0014 amendment §B.2): the injected store interface
+ * (PdL2ArtifactReader) exposes ONLY getter/list methods — there is physically no write
+ * capability to invoke. The beforeToolCall whitelist in the adapter is a second line
+ * of defense, not the primary boundary.
+ *
+ * Tool set (dreamer, Phase 1):
+ *   - read_principles : core axioms (T-01..T-10) + active internalized principles
+ *   - read_artifact   : a predecessor pipeline artifact by id or source task id
+ *   - submit_output   : the model's final DreamerOutputV1 submission (self-built;
+ *                       pi-agent-core has no built-in submit_output). Its parameter
+ *                       schema is the typebox DreamerOutputV1 redeclaration (§M6).
+ *
+ * The submit_output tool does NOT terminate the loop via `terminate` (that is
+ * unreliable — agent-loop uses .every() over the whole tool batch). Loop termination
+ * is driven by shouldStopAfterTurn detecting the captured output (see L2AgentLoopAdapter §M3).
+ */
+import type { AgentTool } from '@earendil-works/pi-agent-core';
+import { DreamerOutputV1Typebox } from './dreamer-output-typebox.js';
+/** Shape returned by both reader methods (reused to avoid repeating the inline literal). */
+interface ArtifactSummary {
+    artifactId: string;
+    artifactKind: string;
+    sourceTaskId: string;
+    contentJson: string;
+    createdAt: string;
+}
+/** Read-only view of the artifact store used by read_artifact. */
+export interface PdL2ArtifactReader {
+    getArtifactById(artifactId: string): Promise<ArtifactSummary | null>;
+    listBySourceTaskId(sourceTaskId: string): Promise<ArtifactSummary[]>;
+}
+/** Read-only view of the internalized-principle ledger used by read_principles. */
+export interface PdL2PrincipleReader {
+    /** Returns active internalized principles (id + statement). Empty if none/missing. */
+    listActivePrinciples(): Promise<{
+        id: string;
+        statement: string;
+    }[]>;
+}
+export { DreamerOutputV1Typebox as SubmitOutputSchema };
+export interface L2OutputCapture {
+    output: unknown | null;
+}
+export interface PdL2ToolContext {
+    /** Read-only artifact store (predecessor pipeline artifacts). */
+    artifactReader: PdL2ArtifactReader;
+    /** Read-only internalized-principle ledger. */
+    principleReader: PdL2PrincipleReader;
+    /** The capture container the submit_output tool writes into. */
+    outputCapture: L2OutputCapture;
+    /** Telemetry sink: called once per tool execution (toolName + ok/error). */
+    onToolExecution?: (info: {
+        toolName: string;
+        ok: boolean;
+        error?: string;
+    }) => void;
+}
+/**
+ * Build the dreamer L2 tool set bound to an injected context.
+ *
+ * Returns AgentTool[] suitable for assignment to AgentContext.tools. Tools are
+ * read-only by construction: they only call getter/list methods on the injected readers and
+ * write the final answer into the outputCapture (which the adapter owns).
+ */
+export declare function buildDreamerL2Tools(ctx: PdL2ToolContext): AgentTool[];
+/** Allow-list of tool names the dreamer L2 loop may execute (defense-in-depth for beforeToolCall). */
+export declare const DREAMER_L2_TOOL_WHITELIST: ReadonlySet<string>;
+//# sourceMappingURL=agent-tool-contract.d.ts.map

package/dist/runtime-v2/tools/agent-tool-contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent-tool-contract.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/tools/agent-tool-contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,OAAO,KAAK,EAAE,SAAS,EAAmB,MAAM,+BAA+B,CAAC;AAGhF,OAAO,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AAOrE,4FAA4F;AAC5F,UAAU,eAAe;IACvB,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,YAAY,EAAE,MAAM,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,kEAAkE;AAClE,MAAM,WAAW,kBAAkB;IACjC,eAAe,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,eAAe,GAAG,IAAI,CAAC,CAAC;IACrE,kBAAkB,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO,CAAC,eAAe,EAAE,CAAC,CAAC;CACtE;AAED,mFAAmF;AACnF,MAAM,WAAW,mBAAmB;IAClC,sFAAsF;IACtF,oBAAoB,IAAI,OAAO,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC,CAAC;CACtE;AAeD,OAAO,EAAE,sBAAsB,IAAI,kBAAkB,EAAE,CAAC;AAMxD,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE,OAAO,GAAG,IAAI,CAAC;CACxB;AAID,MAAM,WAAW,eAAe;IAC9B,iEAAiE;IACjE,cAAc,EAAE,kBAAkB,CAAC;IACnC,+CAA+C;IAC/C,eAAe,EAAE,mBAAmB,CAAC;IACrC,gEAAgE;IAChE,aAAa,EAAE,eAAe,CAAC;IAC/B,4EAA4E;IAC5E,eAAe,CAAC,EAAE,CAAC,IAAI,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,OAAO,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,KAAK,IAAI,CAAC;CACrF;AAkCD;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,eAAe,GAAG,SAAS,EAAE,CAiFrE;AAED,sGAAsG;AACtG,eAAO,MAAM,yBAAyB,EAAE,WAAW,CAAC,MAAM,CAIxD,CAAC"}

package/dist/runtime-v2/tools/agent-tool-contract.js

@@ -0,0 +1,136 @@
+import { Type } from 'typebox';
+import { CORE_PRINCIPLES } from '../core-principles/core-principle-registry.js';
+import { DreamerOutputV1Typebox } from './dreamer-output-typebox.js';
+// ── Tool parameter schemas (typebox) ─────────────────────────────────────────
+const readPrinciplesSchema = Type.Object({
+// No parameters needed — returns the full core + active set. Declared as an object
+// so the model sees an explicit (empty) contract rather than a parameterless stub.
+});
+const readArtifactSchema = Type.Object({
+    artifactId: Type.Optional(Type.String({ description: 'Specific artifact id to read.' })),
+    sourceTaskId: Type.Optional(Type.String({ description: 'Read artifacts produced by this task (e.g. the predecessor diagnostician task).' })),
+});
+// submit_output parameter schema = DreamerOutputV1Typebox (re-exported for clarity).
+export { DreamerOutputV1Typebox as SubmitOutputSchema };
+function formatArtifact(a) {
+    return [
+        `artifactId: ${a.artifactId}`,
+        `kind: ${a.artifactKind}`,
+        `sourceTaskId: ${a.sourceTaskId}`,
+        `createdAt: ${a.createdAt}`,
+        `content: ${a.contentJson}`,
+    ].join('\n');
+}
+/**
+ * Resolve the text response for read_artifact. Extracted so the execute() body stays flat:
+ * one success-path telemetry call + one catch-path telemetry call, no repetition.
+ */
+async function readArtifactText(ctx, params) {
+    if (typeof params.artifactId === 'string' && params.artifactId.length > 0) {
+        const artifact = await ctx.artifactReader.getArtifactById(params.artifactId);
+        return artifact
+            ? formatArtifact(artifact)
+            : `No artifact found with id '${params.artifactId}'.`;
+    }
+    if (typeof params.sourceTaskId === 'string' && params.sourceTaskId.length > 0) {
+        const artifacts = await ctx.artifactReader.listBySourceTaskId(params.sourceTaskId);
+        if (artifacts.length === 0) {
+            return `No artifacts found for sourceTaskId '${params.sourceTaskId}'.`;
+        }
+        return artifacts.map(formatArtifact).join('\n\n');
+    }
+    // Missing both params — structured guidance, not a silent empty result (R9).
+    return 'Provide either artifactId (a specific artifact) or sourceTaskId (the predecessor task). Both were empty.';
+}
+/**
+ * Build the dreamer L2 tool set bound to an injected context.
+ *
+ * Returns AgentTool[] suitable for assignment to AgentContext.tools. Tools are
+ * read-only by construction: they only call getter/list methods on the injected readers and
+ * write the final answer into the outputCapture (which the adapter owns).
+ */
+export function buildDreamerL2Tools(ctx) {
+    const readPrinciplesTool = {
+        label: 'Read principles',
+        name: 'read_principles',
+        description: 'Read the core axioms (T-01..T-10) plus already-internalized active principles. Call this BEFORE proposing candidates so your output is grounded in the existing principle hierarchy and does not duplicate or contradict it. Returns a list of {id, statement}.',
+        parameters: readPrinciplesSchema,
+        execute: async () => {
+            try {
+                const active = await ctx.principleReader.listActivePrinciples();
+                const core = CORE_PRINCIPLES.map(p => ({ id: p.id, statement: p.statement }));
+                const text = [
+                    'Core axioms (T-01..T-10):',
+                    ...core.map(p => `  ${p.id}: ${p.statement}`),
+                    '',
+                    active.length > 0
+                        ? `Already-internalized active principles (${active.length}):`
+                        : 'No internalized active principles yet.',
+                    ...active.map(p => `  ${p.id}: ${p.statement}`),
+                ].join('\n');
+                ctx.onToolExecution?.({ toolName: 'read_principles', ok: true });
+                return {
+                    content: [{ type: 'text', text }],
+                    details: undefined,
+                };
+            }
+            catch (err) {
+                const error = err instanceof Error ? err.message : String(err);
+                ctx.onToolExecution?.({ toolName: 'read_principles', ok: false, error });
+                return {
+                    // Graceful degradation WITH a reason (Runtime Contract R9): surface the error
+                    // to the model rather than silently returning empty data.
+                    content: [{ type: 'text', text: `read_principles failed: ${error}. Proceed using only the core axioms you already know.` }],
+                    details: undefined,
+                };
+            }
+        },
+    };
+    const readArtifactTool = {
+        label: 'Read artifact',
+        name: 'read_artifact',
+        description: 'Read a pipeline artifact (e.g. the predecessor diagnostician output) by artifactId, or list artifacts produced by a sourceTaskId. Call this to verify the evidence chain before generating candidates. Returns artifact contentJson (a JSON string).',
+        parameters: readArtifactSchema,
+        execute: async (_id, params) => {
+            try {
+                const text = await readArtifactText(ctx, params);
+                ctx.onToolExecution?.({ toolName: 'read_artifact', ok: true });
+                return { content: [{ type: 'text', text }], details: undefined };
+            }
+            catch (err) {
+                const error = err instanceof Error ? err.message : String(err);
+                ctx.onToolExecution?.({ toolName: 'read_artifact', ok: false, error });
+                return {
+                    content: [{ type: 'text', text: `read_artifact failed: ${error}.` }],
+                    details: undefined,
+                };
+            }
+        },
+    };
+    const submitOutputTool = {
+        label: 'Submit output',
+        name: 'submit_output',
+        description: 'Submit your final dreamer output. You MUST call this exactly once with a complete DreamerOutputV1 object (valid=true, taskId, 1-5 candidates, contextRefs, generatedAt). The loop stops after you call this. Do not emit the answer as free text — call this tool.',
+        parameters: DreamerOutputV1Typebox,
+        execute: async (_id, params) => {
+            // Store the captured output. The adapter's shouldStopAfterTurn detects this and
+            // terminates the loop; terminate:true is a secondary hint only (unreliable across
+            // a multi-tool batch — see ADR-0014 amendment §B.3 / review P0-2).
+            ctx.outputCapture.output = params;
+            ctx.onToolExecution?.({ toolName: 'submit_output', ok: true });
+            return {
+                content: [{ type: 'text', text: 'Output submitted.' }],
+                details: undefined,
+                terminate: true,
+            };
+        },
+    };
+    return [readPrinciplesTool, readArtifactTool, submitOutputTool];
+}
+/** Allow-list of tool names the dreamer L2 loop may execute (defense-in-depth for beforeToolCall). */
+export const DREAMER_L2_TOOL_WHITELIST = new Set([
+    'read_principles',
+    'read_artifact',
+    'submit_output',
+]);
+//# sourceMappingURL=agent-tool-contract.js.map

package/dist/runtime-v2/tools/agent-tool-contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"agent-tool-contract.js","sourceRoot":"","sources":["../../../src/runtime-v2/tools/agent-tool-contract.ts"],"names":[],"mappings":"AAyBA,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAC;AAC/B,OAAO,EAAE,eAAe,EAAE,MAAM,+CAA+C,CAAC;AAChF,OAAO,EAAE,sBAAsB,EAAE,MAAM,6BAA6B,CAAC;AA4BrE,gFAAgF;AAEhF,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAAC;AACvC,mFAAmF;AACnF,mFAAmF;CACpF,CAAC,CAAC;AAEH,MAAM,kBAAkB,GAAG,IAAI,CAAC,MAAM,CAAC;IACrC,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,+BAA+B,EAAE,CAAC,CAAC;IACxF,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,iFAAiF,EAAE,CAAC,CAAC;CAC7I,CAAC,CAAC;AAEH,qFAAqF;AACrF,OAAO,EAAE,sBAAsB,IAAI,kBAAkB,EAAE,CAAC;AAuBxD,SAAS,cAAc,CAAC,CAAkB;IACxC,OAAO;QACL,eAAe,CAAC,CAAC,UAAU,EAAE;QAC7B,SAAS,CAAC,CAAC,YAAY,EAAE;QACzB,iBAAiB,CAAC,CAAC,YAAY,EAAE;QACjC,cAAc,CAAC,CAAC,SAAS,EAAE;QAC3B,YAAY,CAAC,CAAC,WAAW,EAAE;KAC5B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,KAAK,UAAU,gBAAgB,CAAC,GAAoB,EAAE,MAAsD;IAC1G,IAAI,OAAO,MAAM,CAAC,UAAU,KAAK,QAAQ,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1E,MAAM,QAAQ,GAAG,MAAM,GAAG,CAAC,cAAc,CAAC,eAAe,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAC7E,OAAO,QAAQ;YACb,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC;YAC1B,CAAC,CAAC,8BAA8B,MAAM,CAAC,UAAU,IAAI,CAAC;IAC1D,CAAC;IACD,IAAI,OAAO,MAAM,CAAC,YAAY,KAAK,QAAQ,IAAI,MAAM,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9E,MAAM,SAAS,GAAG,MAAM,GAAG,CAAC,cAAc,CAAC,kBAAkB,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;QACnF,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3B,OAAO,wCAAwC,MAAM,CAAC,YAAY,IAAI,CAAC;QACzE,CAAC;QACD,OAAO,SAAS,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACpD,CAAC;IACD,6EAA6E;IAC7E,OAAO,0GAA0G,CAAC;AACpH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CAAC,GAAoB;IACtD,MAAM,kBAAkB,GAAsD;QAC5E,KAAK,EAAE,iBAAiB;QACxB,IAAI,EAAE,iBAAiB;QACvB,WAAW,EACT,iQAAiQ;QACnQ,UAAU,EAAE,oBAAoB;QAChC,OAAO,EAAE,KAAK,IAAyC,EAAE;YACvD,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,eAAe,CAAC,oBAAoB,EAAE,CAAC;gBAChE,MAAM,IAAI,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;gBAC9E,MAAM,IAAI,GAAG;oBACX,2BAA2B;oBAC3B,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS,EAAE,CAAC;oBAC7C,EAAE;oBACF,MAAM,CAAC,MAAM,GAAG,CAAC;wBACf,CAAC,CAAC,2CAA2C,MAAM,CAAC,MAAM,IAAI;wBAC9D,CAAC,CAAC,wCAAwC;oBAC5C,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS,EAAE,CAAC;iBAChD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACb,GAAG,CAAC,eAAe,EAAE,CAAC,EAAE,QAAQ,EAAE,iBAAiB,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;gBACjE,OAAO;oBACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;oBACjC,OAAO,EAAE,SAAS;iBACnB,CAAC;YACJ,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,MAAM,KAAK,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBAC/D,GAAG,CAAC,eAAe,EAAE,CAAC,EAAE,QAAQ,EAAE,iBAAiB,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;gBACzE,OAAO;oBACL,8EAA8E;oBAC9E,0DAA0D;oBAC1D,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,2BAA2B,KAAK,wDAAwD,EAAE,CAAC;oBAC3H,OAAO,EAAE,SAAS;iBACnB,CAAC;YACJ,CAAC;QACH,CAAC;KACF,CAAC;IAEF,MAAM,gBAAgB,GAAoD;QACxE,KAAK,EAAE,eAAe;QACtB,IAAI,EAAE,eAAe;QACrB,WAAW,EACT,sPAAsP;QACxP,UAAU,EAAE,kBAAkB;QAC9B,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAuC,EAAE;YAClE,IAAI,CAAC;gBACH,MAAM,IAAI,GAAG,MAAM,gBAAgB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;gBACjD,GAAG,CAAC,eAAe,EAAE,CAAC,EAAE,QAAQ,EAAE,eAAe,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC/D,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;YACnE,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,MAAM,KAAK,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBAC/D,GAAG,CAAC,eAAe,EAAE,CAAC,EAAE,QAAQ,EAAE,eAAe,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;gBACvE,OAAO;oBACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,yBAAyB,KAAK,GAAG,EAAE,CAAC;oBACpE,OAAO,EAAE,SAAS;iBACnB,CAAC;YACJ,CAAC;QACH,CAAC;KACF,CAAC;IAEF,MAAM,gBAAgB,GAAwD;QAC5E,KAAK,EAAE,eAAe;QACtB,IAAI,EAAE,eAAe;QACrB,WAAW,EACT,oQAAoQ;QACtQ,UAAU,EAAE,sBAAsB;QAClC,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAuC,EAAE;YAClE,gFAAgF;YAChF,kFAAkF;YAClF,mEAAmE;YACnE,GAAG,CAAC,aAAa,CAAC,MAAM,GAAG,MAAM,CAAC;YAClC,GAAG,CAAC,eAAe,EAAE,CAAC,EAAE,QAAQ,EAAE,eAAe,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;YAC/D,OAAO;gBACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,mBAAmB,EAAE,CAAC;gBACtD,OAAO,EAAE,SAAS;gBAClB,SAAS,EAAE,IAAI;aAChB,CAAC;QACJ,CAAC;KACF,CAAC;IAEF,OAAO,CAAC,kBAAkB,EAAE,gBAAgB,EAAE,gBAAgB,CAAC,CAAC;AAClE,CAAC;AAED,sGAAsG;AACtG,MAAM,CAAC,MAAM,yBAAyB,GAAwB,IAAI,GAAG,CAAC;IACpE,iBAAiB;IACjB,eAAe;IACf,eAAe;CAChB,CAAC,CAAC"}

package/dist/runtime-v2/tools/dreamer-output-typebox.d.ts

@@ -0,0 +1,63 @@
+/**
+ * PRI-419 — typebox redeclaration of DreamerOutputV1 for the L2 agent loop.
+ *
+ * Why this file exists (PLAN §M6 / review P0-4):
+ *   pi-agent-core's `AgentTool<TParameters extends TSchema>` requires a schema built
+ *   with the `typebox` package (the earendil fork), NOT PD's usual `@sinclair/typebox`.
+ *   The two packages are nominally incompatible TS types and PD's Runtime Contract
+ *   forbids `as` to bridge them. The `submit_output` tool's parameter schema must
+ *   therefore be declared with `typebox` directly.
+ *
+ *   This file redeclares the DreamerOutputV1 shape with `typebox`, structured so the
+ *   `submit_output` tool can require the model to return a complete candidate set. The
+ *   authoritative runtime validator remains `DefaultDreamerValidator` (which validates
+ *   `unknown` field-by-field) — the schema here is the LLM-facing tool contract only.
+ *
+ * Consistency guarantee:
+ *   `dreamer-output-typebox.test.ts` proves that for a shared sample set (valid +
+ *   invalid candidates), this typebox schema's structural requirements match the
+ *   @sinclair/typebox `DreamerOutputV1Schema` requirements. No `as`, no cast — the
+ *   proof is behavioural (both reject the same invalid shapes).
+ *
+ * Boundary: pure data, zero I/O. Lives in core. No `node:*` imports.
+ */
+import { Type } from 'typebox';
+/**
+ * Minimal typebox schema for a single dreamer candidate, matching
+ * DreamerCandidateSchema (dreamer-output.ts) field-for-field.
+ */
+export declare const DreamerCandidateTypebox: Type.TObject<{
+    candidateIndex: Type.TNumber;
+    badDecision: Type.TString;
+    betterDecision: Type.TString;
+    rationale: Type.TString;
+    confidence: Type.TNumber;
+    riskLevel: Type.TUnion<[Type.TLiteral<"low">, Type.TLiteral<"medium">, Type.TLiteral<"high">]>;
+    strategicPerspective: Type.TString;
+}>;
+/**
+ * typebox redeclaration of DreamerOutputV1Schema.
+ *
+ * Used as the parameter schema of the `submit_output` tool in the L2 dreamer loop.
+ * Field-for-field equivalent to the @sinclair/typebox DreamerOutputV1Schema — see
+ * dreamer-output-typebox.test.ts for the consistency proof.
+ */
+export declare const DreamerOutputV1Typebox: Type.TObject<{
+    valid: Type.TBoolean;
+    taskId: Type.TString;
+    candidates: Type.TArray<Type.TObject<{
+        candidateIndex: Type.TNumber;
+        badDecision: Type.TString;
+        betterDecision: Type.TString;
+        rationale: Type.TString;
+        confidence: Type.TNumber;
+        riskLevel: Type.TUnion<[Type.TLiteral<"low">, Type.TLiteral<"medium">, Type.TLiteral<"high">]>;
+        strategicPerspective: Type.TString;
+    }>>;
+    sourcePrincipleId: Type.TOptional<Type.TString>;
+    sourcePainId: Type.TOptional<Type.TString>;
+    contextRefs: Type.TArray<Type.TString>;
+    generatedAt: Type.TString;
+    reason: Type.TOptional<Type.TString>;
+}>;
+//# sourceMappingURL=dreamer-output-typebox.d.ts.map

package/dist/runtime-v2/tools/dreamer-output-typebox.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dreamer-output-typebox.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/tools/dreamer-output-typebox.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAC;AAE/B;;;GAGG;AACH,eAAO,MAAM,uBAAuB;;;;;;;;EAQlC,CAAC;AAEH;;;;;;GAMG;AACH,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;EASjC,CAAC"}

package/dist/runtime-v2/tools/dreamer-output-typebox.js

@@ -0,0 +1,55 @@
+/**
+ * PRI-419 — typebox redeclaration of DreamerOutputV1 for the L2 agent loop.
+ *
+ * Why this file exists (PLAN §M6 / review P0-4):
+ *   pi-agent-core's `AgentTool<TParameters extends TSchema>` requires a schema built
+ *   with the `typebox` package (the earendil fork), NOT PD's usual `@sinclair/typebox`.
+ *   The two packages are nominally incompatible TS types and PD's Runtime Contract
+ *   forbids `as` to bridge them. The `submit_output` tool's parameter schema must
+ *   therefore be declared with `typebox` directly.
+ *
+ *   This file redeclares the DreamerOutputV1 shape with `typebox`, structured so the
+ *   `submit_output` tool can require the model to return a complete candidate set. The
+ *   authoritative runtime validator remains `DefaultDreamerValidator` (which validates
+ *   `unknown` field-by-field) — the schema here is the LLM-facing tool contract only.
+ *
+ * Consistency guarantee:
+ *   `dreamer-output-typebox.test.ts` proves that for a shared sample set (valid +
+ *   invalid candidates), this typebox schema's structural requirements match the
+ *   @sinclair/typebox `DreamerOutputV1Schema` requirements. No `as`, no cast — the
+ *   proof is behavioural (both reject the same invalid shapes).
+ *
+ * Boundary: pure data, zero I/O. Lives in core. No `node:*` imports.
+ */
+import { Type } from 'typebox';
+/**
+ * Minimal typebox schema for a single dreamer candidate, matching
+ * DreamerCandidateSchema (dreamer-output.ts) field-for-field.
+ */
+export const DreamerCandidateTypebox = Type.Object({
+    candidateIndex: Type.Number(),
+    badDecision: Type.String({ minLength: 1 }),
+    betterDecision: Type.String({ minLength: 1 }),
+    rationale: Type.String({ minLength: 1 }),
+    confidence: Type.Number({ minimum: 0, maximum: 1 }),
+    riskLevel: Type.Union([Type.Literal('low'), Type.Literal('medium'), Type.Literal('high')]),
+    strategicPerspective: Type.String({ minLength: 1 }),
+});
+/**
+ * typebox redeclaration of DreamerOutputV1Schema.
+ *
+ * Used as the parameter schema of the `submit_output` tool in the L2 dreamer loop.
+ * Field-for-field equivalent to the @sinclair/typebox DreamerOutputV1Schema — see
+ * dreamer-output-typebox.test.ts for the consistency proof.
+ */
+export const DreamerOutputV1Typebox = Type.Object({
+    valid: Type.Boolean(),
+    taskId: Type.String({ minLength: 1 }),
+    candidates: Type.Array(DreamerCandidateTypebox, { minItems: 1, maxItems: 5 }),
+    sourcePrincipleId: Type.Optional(Type.String()),
+    sourcePainId: Type.Optional(Type.String()),
+    contextRefs: Type.Array(Type.String()),
+    generatedAt: Type.String({ minLength: 1 }),
+    reason: Type.Optional(Type.String()),
+});
+//# sourceMappingURL=dreamer-output-typebox.js.map

package/dist/runtime-v2/tools/dreamer-output-typebox.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dreamer-output-typebox.js","sourceRoot":"","sources":["../../../src/runtime-v2/tools/dreamer-output-typebox.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAC;AAE/B;;;GAGG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,MAAM,CAAC;IACjD,cAAc,EAAE,IAAI,CAAC,MAAM,EAAE;IAC7B,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IAC1C,cAAc,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IAC7C,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACxC,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IACnD,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;IAC1F,oBAAoB,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;CACpD,CAAC,CAAC;AAEH;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAC,MAAM,CAAC;IAChD,KAAK,EAAE,IAAI,CAAC,OAAO,EAAE;IACrB,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACrC,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,uBAAuB,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IAC7E,iBAAiB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC/C,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC1C,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACtC,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IAC1C,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CACrC,CAAC,CAAC"}

package/dist/telemetry-event.d.ts

@@ -14,7 +14,7 @@
  */
 import { type Static } from '@sinclair/typebox';
 /**
- * The 30+ telemetry event types: 3 core evolution + 8 M2 state transition + 1 M3 degradation + 8 M4 diagnostician + 3 M5 commit + 7 M6 runtime adapter.
+ * The 30+ telemetry event types: 3 core evolution + 8 M2 state transition + 1 M3 degradation + 8 M4 diagnostician + 3 M5 commit + 7 M6 runtime adapter + 2 PRI-419 L2 agent loop (dreamer_l2_turn, dreamer_l2_complete).
  *
  * Core evolution events (aligned with EvolutionHook methods):
  * - pain_detected -> EvolutionStage 'pain_detected'
@@ -56,7 +56,7 @@ import { type Static } from '@sinclair/typebox';
  * - output_schema_invalid — PRI-200 schema validation failed (before repair)
  * - output_repair_exhausted — PRI-200 repair loop exhausted, output still invalid
  */
-export declare const TelemetryEventType: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"pain_detected">, import("@sinclair/typebox").TLiteral<"principle_candidate_created">, import("@sinclair/typebox").TLiteral<"principle_promoted">, import("@sinclair/typebox").TLiteral<"lease_acquired">, import("@sinclair/typebox").TLiteral<"lease_released">, import("@sinclair/typebox").TLiteral<"lease_renewed">, import("@sinclair/typebox").TLiteral<"lease_expired">, import("@sinclair/typebox").TLiteral<"task_retried">, import("@sinclair/typebox").TLiteral<"task_failed">, import("@sinclair/typebox").TLiteral<"task_succeeded">, import("@sinclair/typebox").TLiteral<"run_started">, import("@sinclair/typebox").TLiteral<"run_completed">, import("@sinclair/typebox").TLiteral<"degradation_triggered">, import("@sinclair/typebox").TLiteral<"diagnostician_task_leased">, import("@sinclair/typebox").TLiteral<"diagnostician_context_built">, import("@sinclair/typebox").TLiteral<"diagnostician_run_started">, import("@sinclair/typebox").TLiteral<"diagnostician_run_failed">, import("@sinclair/typebox").TLiteral<"diagnostician_output_invalid">, import("@sinclair/typebox").TLiteral<"diagnostician_task_succeeded">, import("@sinclair/typebox").TLiteral<"diagnostician_task_retried">, import("@sinclair/typebox").TLiteral<"diagnostician_task_failed">, import("@sinclair/typebox").TLiteral<"diagnostician_cancel_run_failed">, import("@sinclair/typebox").TLiteral<"diagnostician_mark_succeeded_failed">, import("@sinclair/typebox").TLiteral<"diag_router_invariant_override">, import("@sinclair/typebox").TLiteral<"diagnostician_core_grounding_result">, import("@sinclair/typebox").TLiteral<"diagnostician_artifact_committed">, import("@sinclair/typebox").TLiteral<"diagnostician_artifact_commit_failed">, import("@sinclair/typebox").TLiteral<"principle_candidate_registered">, import("@sinclair/typebox").TLiteral<"runtime_adapter_selected">, import("@sinclair/typebox").TLiteral<"runtime_invocation_started">, import("@sinclair/typebox").TLiteral<"runtime_invocation_succeeded">, import("@sinclair/typebox").TLiteral<"runtime_invocation_failed">, import("@sinclair/typebox").TLiteral<"output_validation_succeeded">, import("@sinclair/typebox").TLiteral<"output_validation_failed">, import("@sinclair/typebox").TLiteral<"output_repair_attempted">, import("@sinclair/typebox").TLiteral<"output_extraction_failed">, import("@sinclair/typebox").TLiteral<"output_schema_invalid">, import("@sinclair/typebox").TLiteral<"output_repair_exhausted">, import("@sinclair/typebox").TLiteral<"output_path_chosen">, import("@sinclair/typebox").TLiteral<"output_path_fallback">, import("@sinclair/typebox").TLiteral<"dreamer_task_leased">, import("@sinclair/typebox").TLiteral<"dreamer_context_built">, import("@sinclair/typebox").TLiteral<"dreamer_run_started">, import("@sinclair/typebox").TLiteral<"dreamer_run_failed">, import("@sinclair/typebox").TLiteral<"dreamer_output_invalid">, import("@sinclair/typebox").TLiteral<"dreamer_output_validated">, import("@sinclair/typebox").TLiteral<"dreamer_task_succeeded">, import("@sinclair/typebox").TLiteral<"dreamer_task_retried">, import("@sinclair/typebox").TLiteral<"dreamer_task_failed">, import("@sinclair/typebox").TLiteral<"dreamer_candidate_generated">, import("@sinclair/typebox").TLiteral<"dreamer_cancel_run_failed">, import("@sinclair/typebox").TLiteral<"dreamer_output_extraction_failed">, import("@sinclair/typebox").TLiteral<"dreamer_mark_succeeded_failed">, import("@sinclair/typebox").TLiteral<"dreamer_update_output_failed">, import("@sinclair/typebox").TLiteral<"dreamer_context_partial">, import("@sinclair/typebox").TLiteral<"dreamer_mark_failed_error">, import("@sinclair/typebox").TLiteral<"dreamer_mark_retry_error">, import("@sinclair/typebox").TLiteral<"philosopher_task_leased">, import("@sinclair/typebox").TLiteral<"philosopher_context_built">, import("@sinclair/typebox").TLiteral<"philosopher_run_started">, import("@sinclair/typebox").TLiteral<"philosopher_run_failed">, import("@sinclair/typebox").TLiteral<"philosopher_output_invalid">, import("@sinclair/typebox").TLiteral<"philosopher_output_validated">, import("@sinclair/typebox").TLiteral<"philosopher_task_succeeded">, import("@sinclair/typebox").TLiteral<"philosopher_task_retried">, import("@sinclair/typebox").TLiteral<"philosopher_task_failed">, import("@sinclair/typebox").TLiteral<"philosopher_principle_candidate_generated">, import("@sinclair/typebox").TLiteral<"philosopher_cancel_run_failed">, import("@sinclair/typebox").TLiteral<"philosopher_mark_succeeded_failed">, import("@sinclair/typebox").TLiteral<"philosopher_update_output_failed">, import("@sinclair/typebox").TLiteral<"philosopher_dependency_not_succeeded">, import("@sinclair/typebox").TLiteral<"philosopher_lineage_resolve_failed">, import("@sinclair/typebox").TLiteral<"philosopher_lineage_partial">, import("@sinclair/typebox").TLiteral<"philosopher_artifact_write_failed">, import("@sinclair/typebox").TLiteral<"philosopher_wrong_task_kind">, import("@sinclair/typebox").TLiteral<"philosopher_output_extraction_failed">, import("@sinclair/typebox").TLiteral<"philosopher_mark_failed_error">, import("@sinclair/typebox").TLiteral<"philosopher_mark_retry_error">, import("@sinclair/typebox").TLiteral<"artificer_task_leased">, import("@sinclair/typebox").TLiteral<"artificer_context_built">, import("@sinclair/typebox").TLiteral<"artificer_run_started">, import("@sinclair/typebox").TLiteral<"artificer_run_failed">, import("@sinclair/typebox").TLiteral<"artificer_output_invalid">, import("@sinclair/typebox").TLiteral<"artificer_output_validated">, import("@sinclair/typebox").TLiteral<"artificer_task_succeeded">, import("@sinclair/typebox").TLiteral<"artificer_task_retried">, import("@sinclair/typebox").TLiteral<"artificer_task_failed">, import("@sinclair/typebox").TLiteral<"artificer_implementation_plan_generated">, import("@sinclair/typebox").TLiteral<"artificer_cancel_run_failed">, import("@sinclair/typebox").TLiteral<"artificer_mark_succeeded_failed">, import("@sinclair/typebox").TLiteral<"artificer_update_output_failed">, import("@sinclair/typebox").TLiteral<"artificer_dependency_not_succeeded">, import("@sinclair/typebox").TLiteral<"artificer_lineage_resolve_failed">, import("@sinclair/typebox").TLiteral<"artificer_lineage_partial">, import("@sinclair/typebox").TLiteral<"artificer_artifact_write_failed">, import("@sinclair/typebox").TLiteral<"artificer_wrong_task_kind">, import("@sinclair/typebox").TLiteral<"artificer_output_extraction_failed">, import("@sinclair/typebox").TLiteral<"artificer_mark_failed_error">, import("@sinclair/typebox").TLiteral<"artificer_mark_retry_error">, import("@sinclair/typebox").TLiteral<"evaluator_task_leased">, import("@sinclair/typebox").TLiteral<"evaluator_context_built">, import("@sinclair/typebox").TLiteral<"evaluator_run_started">, import("@sinclair/typebox").TLiteral<"evaluator_run_failed">, import("@sinclair/typebox").TLiteral<"evaluator_output_invalid">, import("@sinclair/typebox").TLiteral<"evaluator_output_validated">, import("@sinclair/typebox").TLiteral<"evaluator_task_succeeded">, import("@sinclair/typebox").TLiteral<"evaluator_task_retried">, import("@sinclair/typebox").TLiteral<"evaluator_task_failed">, import("@sinclair/typebox").TLiteral<"evaluator_cancel_run_failed">, import("@sinclair/typebox").TLiteral<"evaluator_mark_succeeded_failed">, import("@sinclair/typebox").TLiteral<"evaluator_update_output_failed">, import("@sinclair/typebox").TLiteral<"evaluator_dependency_not_succeeded">, import("@sinclair/typebox").TLiteral<"evaluator_lineage_resolve_failed">, import("@sinclair/typebox").TLiteral<"evaluator_lineage_partial">, import("@sinclair/typebox").TLiteral<"evaluator_artifact_write_failed">, import("@sinclair/typebox").TLiteral<"evaluator_wrong_task_kind">, import("@sinclair/typebox").TLiteral<"evaluator_output_extraction_failed">, import("@sinclair/typebox").TLiteral<"evaluator_mark_failed_error">, import("@sinclair/typebox").TLiteral<"evaluator_mark_retry_error">, import("@sinclair/typebox").TLiteral<"evaluator_decision_recorded">, import("@sinclair/typebox").TLiteral<"scribe_task_leased">, import("@sinclair/typebox").TLiteral<"scribe_context_built">, import("@sinclair/typebox").TLiteral<"scribe_run_started">, import("@sinclair/typebox").TLiteral<"scribe_run_failed">, import("@sinclair/typebox").TLiteral<"scribe_output_invalid">, import("@sinclair/typebox").TLiteral<"scribe_output_validated">, import("@sinclair/typebox").TLiteral<"scribe_task_succeeded">, import("@sinclair/typebox").TLiteral<"scribe_task_retried">, import("@sinclair/typebox").TLiteral<"scribe_task_failed">, import("@sinclair/typebox").TLiteral<"scribe_principle_draft_generated">, import("@sinclair/typebox").TLiteral<"scribe_cancel_run_failed">, import("@sinclair/typebox").TLiteral<"scribe_mark_succeeded_failed">, import("@sinclair/typebox").TLiteral<"scribe_update_output_failed">, import("@sinclair/typebox").TLiteral<"scribe_dependency_not_succeeded">, import("@sinclair/typebox").TLiteral<"scribe_lineage_resolve_failed">, import("@sinclair/typebox").TLiteral<"scribe_lineage_partial">, import("@sinclair/typebox").TLiteral<"scribe_artifact_write_failed">, import("@sinclair/typebox").TLiteral<"scribe_wrong_task_kind">, import("@sinclair/typebox").TLiteral<"scribe_output_extraction_failed">, import("@sinclair/typebox").TLiteral<"scribe_mark_failed_error">, import("@sinclair/typebox").TLiteral<"scribe_mark_retry_error">]>;
+export declare const TelemetryEventType: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"pain_detected">, import("@sinclair/typebox").TLiteral<"principle_candidate_created">, import("@sinclair/typebox").TLiteral<"principle_promoted">, import("@sinclair/typebox").TLiteral<"lease_acquired">, import("@sinclair/typebox").TLiteral<"lease_released">, import("@sinclair/typebox").TLiteral<"lease_renewed">, import("@sinclair/typebox").TLiteral<"lease_expired">, import("@sinclair/typebox").TLiteral<"task_retried">, import("@sinclair/typebox").TLiteral<"task_failed">, import("@sinclair/typebox").TLiteral<"task_succeeded">, import("@sinclair/typebox").TLiteral<"run_started">, import("@sinclair/typebox").TLiteral<"run_completed">, import("@sinclair/typebox").TLiteral<"degradation_triggered">, import("@sinclair/typebox").TLiteral<"diagnostician_task_leased">, import("@sinclair/typebox").TLiteral<"diagnostician_context_built">, import("@sinclair/typebox").TLiteral<"diagnostician_run_started">, import("@sinclair/typebox").TLiteral<"diagnostician_run_failed">, import("@sinclair/typebox").TLiteral<"diagnostician_output_invalid">, import("@sinclair/typebox").TLiteral<"diagnostician_task_succeeded">, import("@sinclair/typebox").TLiteral<"diagnostician_task_retried">, import("@sinclair/typebox").TLiteral<"diagnostician_task_failed">, import("@sinclair/typebox").TLiteral<"diagnostician_cancel_run_failed">, import("@sinclair/typebox").TLiteral<"diagnostician_mark_succeeded_failed">, import("@sinclair/typebox").TLiteral<"diag_router_invariant_override">, import("@sinclair/typebox").TLiteral<"diagnostician_core_grounding_result">, import("@sinclair/typebox").TLiteral<"diagnostician_artifact_committed">, import("@sinclair/typebox").TLiteral<"diagnostician_artifact_commit_failed">, import("@sinclair/typebox").TLiteral<"principle_candidate_registered">, import("@sinclair/typebox").TLiteral<"runtime_adapter_selected">, import("@sinclair/typebox").TLiteral<"runtime_invocation_started">, import("@sinclair/typebox").TLiteral<"runtime_invocation_succeeded">, import("@sinclair/typebox").TLiteral<"runtime_invocation_failed">, import("@sinclair/typebox").TLiteral<"output_validation_succeeded">, import("@sinclair/typebox").TLiteral<"output_validation_failed">, import("@sinclair/typebox").TLiteral<"output_repair_attempted">, import("@sinclair/typebox").TLiteral<"output_extraction_failed">, import("@sinclair/typebox").TLiteral<"output_schema_invalid">, import("@sinclair/typebox").TLiteral<"output_repair_exhausted">, import("@sinclair/typebox").TLiteral<"output_path_chosen">, import("@sinclair/typebox").TLiteral<"output_path_fallback">, import("@sinclair/typebox").TLiteral<"dreamer_task_leased">, import("@sinclair/typebox").TLiteral<"dreamer_context_built">, import("@sinclair/typebox").TLiteral<"dreamer_run_started">, import("@sinclair/typebox").TLiteral<"dreamer_run_failed">, import("@sinclair/typebox").TLiteral<"dreamer_output_invalid">, import("@sinclair/typebox").TLiteral<"dreamer_output_validated">, import("@sinclair/typebox").TLiteral<"dreamer_task_succeeded">, import("@sinclair/typebox").TLiteral<"dreamer_task_retried">, import("@sinclair/typebox").TLiteral<"dreamer_task_failed">, import("@sinclair/typebox").TLiteral<"dreamer_candidate_generated">, import("@sinclair/typebox").TLiteral<"dreamer_cancel_run_failed">, import("@sinclair/typebox").TLiteral<"dreamer_output_extraction_failed">, import("@sinclair/typebox").TLiteral<"dreamer_mark_succeeded_failed">, import("@sinclair/typebox").TLiteral<"dreamer_update_output_failed">, import("@sinclair/typebox").TLiteral<"dreamer_context_partial">, import("@sinclair/typebox").TLiteral<"dreamer_mark_failed_error">, import("@sinclair/typebox").TLiteral<"dreamer_mark_retry_error">, import("@sinclair/typebox").TLiteral<"philosopher_task_leased">, import("@sinclair/typebox").TLiteral<"philosopher_context_built">, import("@sinclair/typebox").TLiteral<"philosopher_run_started">, import("@sinclair/typebox").TLiteral<"philosopher_run_failed">, import("@sinclair/typebox").TLiteral<"philosopher_output_invalid">, import("@sinclair/typebox").TLiteral<"philosopher_output_validated">, import("@sinclair/typebox").TLiteral<"philosopher_task_succeeded">, import("@sinclair/typebox").TLiteral<"philosopher_task_retried">, import("@sinclair/typebox").TLiteral<"philosopher_task_failed">, import("@sinclair/typebox").TLiteral<"philosopher_principle_candidate_generated">, import("@sinclair/typebox").TLiteral<"philosopher_cancel_run_failed">, import("@sinclair/typebox").TLiteral<"philosopher_mark_succeeded_failed">, import("@sinclair/typebox").TLiteral<"philosopher_update_output_failed">, import("@sinclair/typebox").TLiteral<"philosopher_dependency_not_succeeded">, import("@sinclair/typebox").TLiteral<"philosopher_lineage_resolve_failed">, import("@sinclair/typebox").TLiteral<"philosopher_lineage_partial">, import("@sinclair/typebox").TLiteral<"philosopher_artifact_write_failed">, import("@sinclair/typebox").TLiteral<"philosopher_wrong_task_kind">, import("@sinclair/typebox").TLiteral<"philosopher_output_extraction_failed">, import("@sinclair/typebox").TLiteral<"philosopher_mark_failed_error">, import("@sinclair/typebox").TLiteral<"philosopher_mark_retry_error">, import("@sinclair/typebox").TLiteral<"artificer_task_leased">, import("@sinclair/typebox").TLiteral<"artificer_context_built">, import("@sinclair/typebox").TLiteral<"artificer_run_started">, import("@sinclair/typebox").TLiteral<"artificer_run_failed">, import("@sinclair/typebox").TLiteral<"artificer_output_invalid">, import("@sinclair/typebox").TLiteral<"artificer_output_validated">, import("@sinclair/typebox").TLiteral<"artificer_task_succeeded">, import("@sinclair/typebox").TLiteral<"artificer_task_retried">, import("@sinclair/typebox").TLiteral<"artificer_task_failed">, import("@sinclair/typebox").TLiteral<"artificer_implementation_plan_generated">, import("@sinclair/typebox").TLiteral<"artificer_cancel_run_failed">, import("@sinclair/typebox").TLiteral<"artificer_mark_succeeded_failed">, import("@sinclair/typebox").TLiteral<"artificer_update_output_failed">, import("@sinclair/typebox").TLiteral<"artificer_dependency_not_succeeded">, import("@sinclair/typebox").TLiteral<"artificer_lineage_resolve_failed">, import("@sinclair/typebox").TLiteral<"artificer_lineage_partial">, import("@sinclair/typebox").TLiteral<"artificer_artifact_write_failed">, import("@sinclair/typebox").TLiteral<"artificer_wrong_task_kind">, import("@sinclair/typebox").TLiteral<"artificer_output_extraction_failed">, import("@sinclair/typebox").TLiteral<"artificer_mark_failed_error">, import("@sinclair/typebox").TLiteral<"artificer_mark_retry_error">, import("@sinclair/typebox").TLiteral<"evaluator_task_leased">, import("@sinclair/typebox").TLiteral<"evaluator_context_built">, import("@sinclair/typebox").TLiteral<"evaluator_run_started">, import("@sinclair/typebox").TLiteral<"evaluator_run_failed">, import("@sinclair/typebox").TLiteral<"evaluator_output_invalid">, import("@sinclair/typebox").TLiteral<"evaluator_output_validated">, import("@sinclair/typebox").TLiteral<"evaluator_task_succeeded">, import("@sinclair/typebox").TLiteral<"evaluator_task_retried">, import("@sinclair/typebox").TLiteral<"evaluator_task_failed">, import("@sinclair/typebox").TLiteral<"evaluator_cancel_run_failed">, import("@sinclair/typebox").TLiteral<"evaluator_mark_succeeded_failed">, import("@sinclair/typebox").TLiteral<"evaluator_update_output_failed">, import("@sinclair/typebox").TLiteral<"evaluator_dependency_not_succeeded">, import("@sinclair/typebox").TLiteral<"evaluator_lineage_resolve_failed">, import("@sinclair/typebox").TLiteral<"evaluator_lineage_partial">, import("@sinclair/typebox").TLiteral<"evaluator_artifact_write_failed">, import("@sinclair/typebox").TLiteral<"evaluator_wrong_task_kind">, import("@sinclair/typebox").TLiteral<"evaluator_output_extraction_failed">, import("@sinclair/typebox").TLiteral<"evaluator_mark_failed_error">, import("@sinclair/typebox").TLiteral<"evaluator_mark_retry_error">, import("@sinclair/typebox").TLiteral<"evaluator_decision_recorded">, import("@sinclair/typebox").TLiteral<"scribe_task_leased">, import("@sinclair/typebox").TLiteral<"scribe_context_built">, import("@sinclair/typebox").TLiteral<"scribe_run_started">, import("@sinclair/typebox").TLiteral<"scribe_run_failed">, import("@sinclair/typebox").TLiteral<"scribe_output_invalid">, import("@sinclair/typebox").TLiteral<"scribe_output_validated">, import("@sinclair/typebox").TLiteral<"scribe_task_succeeded">, import("@sinclair/typebox").TLiteral<"scribe_task_retried">, import("@sinclair/typebox").TLiteral<"scribe_task_failed">, import("@sinclair/typebox").TLiteral<"scribe_principle_draft_generated">, import("@sinclair/typebox").TLiteral<"scribe_cancel_run_failed">, import("@sinclair/typebox").TLiteral<"scribe_mark_succeeded_failed">, import("@sinclair/typebox").TLiteral<"scribe_update_output_failed">, import("@sinclair/typebox").TLiteral<"scribe_dependency_not_succeeded">, import("@sinclair/typebox").TLiteral<"scribe_lineage_resolve_failed">, import("@sinclair/typebox").TLiteral<"scribe_lineage_partial">, import("@sinclair/typebox").TLiteral<"scribe_artifact_write_failed">, import("@sinclair/typebox").TLiteral<"scribe_wrong_task_kind">, import("@sinclair/typebox").TLiteral<"scribe_output_extraction_failed">, import("@sinclair/typebox").TLiteral<"scribe_mark_failed_error">, import("@sinclair/typebox").TLiteral<"scribe_mark_retry_error">, import("@sinclair/typebox").TLiteral<"dreamer_l2_turn">, import("@sinclair/typebox").TLiteral<"dreamer_l2_complete">, import("@sinclair/typebox").TLiteral<"dreamer_l2_fallback_to_l1">]>;
 export type TelemetryEventType = Static<typeof TelemetryEventType>;
 /**
  * Schema for an in-process telemetry event.
@@ -72,7 +72,7 @@ export type TelemetryEventType = Static<typeof TelemetryEventType>;
  */
 export declare const TelemetryEventSchema: import("@sinclair/typebox").TObject<{
     /** Event type (one of the 3 core types) */
-    eventType: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"pain_detected">, import("@sinclair/typebox").TLiteral<"principle_candidate_created">, import("@sinclair/typebox").TLiteral<"principle_promoted">, import("@sinclair/typebox").TLiteral<"lease_acquired">, import("@sinclair/typebox").TLiteral<"lease_released">, import("@sinclair/typebox").TLiteral<"lease_renewed">, import("@sinclair/typebox").TLiteral<"lease_expired">, import("@sinclair/typebox").TLiteral<"task_retried">, import("@sinclair/typebox").TLiteral<"task_failed">, import("@sinclair/typebox").TLiteral<"task_succeeded">, import("@sinclair/typebox").TLiteral<"run_started">, import("@sinclair/typebox").TLiteral<"run_completed">, import("@sinclair/typebox").TLiteral<"degradation_triggered">, import("@sinclair/typebox").TLiteral<"diagnostician_task_leased">, import("@sinclair/typebox").TLiteral<"diagnostician_context_built">, import("@sinclair/typebox").TLiteral<"diagnostician_run_started">, import("@sinclair/typebox").TLiteral<"diagnostician_run_failed">, import("@sinclair/typebox").TLiteral<"diagnostician_output_invalid">, import("@sinclair/typebox").TLiteral<"diagnostician_task_succeeded">, import("@sinclair/typebox").TLiteral<"diagnostician_task_retried">, import("@sinclair/typebox").TLiteral<"diagnostician_task_failed">, import("@sinclair/typebox").TLiteral<"diagnostician_cancel_run_failed">, import("@sinclair/typebox").TLiteral<"diagnostician_mark_succeeded_failed">, import("@sinclair/typebox").TLiteral<"diag_router_invariant_override">, import("@sinclair/typebox").TLiteral<"diagnostician_core_grounding_result">, import("@sinclair/typebox").TLiteral<"diagnostician_artifact_committed">, import("@sinclair/typebox").TLiteral<"diagnostician_artifact_commit_failed">, import("@sinclair/typebox").TLiteral<"principle_candidate_registered">, import("@sinclair/typebox").TLiteral<"runtime_adapter_selected">, import("@sinclair/typebox").TLiteral<"runtime_invocation_started">, import("@sinclair/typebox").TLiteral<"runtime_invocation_succeeded">, import("@sinclair/typebox").TLiteral<"runtime_invocation_failed">, import("@sinclair/typebox").TLiteral<"output_validation_succeeded">, import("@sinclair/typebox").TLiteral<"output_validation_failed">, import("@sinclair/typebox").TLiteral<"output_repair_attempted">, import("@sinclair/typebox").TLiteral<"output_extraction_failed">, import("@sinclair/typebox").TLiteral<"output_schema_invalid">, import("@sinclair/typebox").TLiteral<"output_repair_exhausted">, import("@sinclair/typebox").TLiteral<"output_path_chosen">, import("@sinclair/typebox").TLiteral<"output_path_fallback">, import("@sinclair/typebox").TLiteral<"dreamer_task_leased">, import("@sinclair/typebox").TLiteral<"dreamer_context_built">, import("@sinclair/typebox").TLiteral<"dreamer_run_started">, import("@sinclair/typebox").TLiteral<"dreamer_run_failed">, import("@sinclair/typebox").TLiteral<"dreamer_output_invalid">, import("@sinclair/typebox").TLiteral<"dreamer_output_validated">, import("@sinclair/typebox").TLiteral<"dreamer_task_succeeded">, import("@sinclair/typebox").TLiteral<"dreamer_task_retried">, import("@sinclair/typebox").TLiteral<"dreamer_task_failed">, import("@sinclair/typebox").TLiteral<"dreamer_candidate_generated">, import("@sinclair/typebox").TLiteral<"dreamer_cancel_run_failed">, import("@sinclair/typebox").TLiteral<"dreamer_output_extraction_failed">, import("@sinclair/typebox").TLiteral<"dreamer_mark_succeeded_failed">, import("@sinclair/typebox").TLiteral<"dreamer_update_output_failed">, import("@sinclair/typebox").TLiteral<"dreamer_context_partial">, import("@sinclair/typebox").TLiteral<"dreamer_mark_failed_error">, import("@sinclair/typebox").TLiteral<"dreamer_mark_retry_error">, import("@sinclair/typebox").TLiteral<"philosopher_task_leased">, import("@sinclair/typebox").TLiteral<"philosopher_context_built">, import("@sinclair/typebox").TLiteral<"philosopher_run_started">, import("@sinclair/typebox").TLiteral<"philosopher_run_failed">, import("@sinclair/typebox").TLiteral<"philosopher_output_invalid">, import("@sinclair/typebox").TLiteral<"philosopher_output_validated">, import("@sinclair/typebox").TLiteral<"philosopher_task_succeeded">, import("@sinclair/typebox").TLiteral<"philosopher_task_retried">, import("@sinclair/typebox").TLiteral<"philosopher_task_failed">, import("@sinclair/typebox").TLiteral<"philosopher_principle_candidate_generated">, import("@sinclair/typebox").TLiteral<"philosopher_cancel_run_failed">, import("@sinclair/typebox").TLiteral<"philosopher_mark_succeeded_failed">, import("@sinclair/typebox").TLiteral<"philosopher_update_output_failed">, import("@sinclair/typebox").TLiteral<"philosopher_dependency_not_succeeded">, import("@sinclair/typebox").TLiteral<"philosopher_lineage_resolve_failed">, import("@sinclair/typebox").TLiteral<"philosopher_lineage_partial">, import("@sinclair/typebox").TLiteral<"philosopher_artifact_write_failed">, import("@sinclair/typebox").TLiteral<"philosopher_wrong_task_kind">, import("@sinclair/typebox").TLiteral<"philosopher_output_extraction_failed">, import("@sinclair/typebox").TLiteral<"philosopher_mark_failed_error">, import("@sinclair/typebox").TLiteral<"philosopher_mark_retry_error">, import("@sinclair/typebox").TLiteral<"artificer_task_leased">, import("@sinclair/typebox").TLiteral<"artificer_context_built">, import("@sinclair/typebox").TLiteral<"artificer_run_started">, import("@sinclair/typebox").TLiteral<"artificer_run_failed">, import("@sinclair/typebox").TLiteral<"artificer_output_invalid">, import("@sinclair/typebox").TLiteral<"artificer_output_validated">, import("@sinclair/typebox").TLiteral<"artificer_task_succeeded">, import("@sinclair/typebox").TLiteral<"artificer_task_retried">, import("@sinclair/typebox").TLiteral<"artificer_task_failed">, import("@sinclair/typebox").TLiteral<"artificer_implementation_plan_generated">, import("@sinclair/typebox").TLiteral<"artificer_cancel_run_failed">, import("@sinclair/typebox").TLiteral<"artificer_mark_succeeded_failed">, import("@sinclair/typebox").TLiteral<"artificer_update_output_failed">, import("@sinclair/typebox").TLiteral<"artificer_dependency_not_succeeded">, import("@sinclair/typebox").TLiteral<"artificer_lineage_resolve_failed">, import("@sinclair/typebox").TLiteral<"artificer_lineage_partial">, import("@sinclair/typebox").TLiteral<"artificer_artifact_write_failed">, import("@sinclair/typebox").TLiteral<"artificer_wrong_task_kind">, import("@sinclair/typebox").TLiteral<"artificer_output_extraction_failed">, import("@sinclair/typebox").TLiteral<"artificer_mark_failed_error">, import("@sinclair/typebox").TLiteral<"artificer_mark_retry_error">, import("@sinclair/typebox").TLiteral<"evaluator_task_leased">, import("@sinclair/typebox").TLiteral<"evaluator_context_built">, import("@sinclair/typebox").TLiteral<"evaluator_run_started">, import("@sinclair/typebox").TLiteral<"evaluator_run_failed">, import("@sinclair/typebox").TLiteral<"evaluator_output_invalid">, import("@sinclair/typebox").TLiteral<"evaluator_output_validated">, import("@sinclair/typebox").TLiteral<"evaluator_task_succeeded">, import("@sinclair/typebox").TLiteral<"evaluator_task_retried">, import("@sinclair/typebox").TLiteral<"evaluator_task_failed">, import("@sinclair/typebox").TLiteral<"evaluator_cancel_run_failed">, import("@sinclair/typebox").TLiteral<"evaluator_mark_succeeded_failed">, import("@sinclair/typebox").TLiteral<"evaluator_update_output_failed">, import("@sinclair/typebox").TLiteral<"evaluator_dependency_not_succeeded">, import("@sinclair/typebox").TLiteral<"evaluator_lineage_resolve_failed">, import("@sinclair/typebox").TLiteral<"evaluator_lineage_partial">, import("@sinclair/typebox").TLiteral<"evaluator_artifact_write_failed">, import("@sinclair/typebox").TLiteral<"evaluator_wrong_task_kind">, import("@sinclair/typebox").TLiteral<"evaluator_output_extraction_failed">, import("@sinclair/typebox").TLiteral<"evaluator_mark_failed_error">, import("@sinclair/typebox").TLiteral<"evaluator_mark_retry_error">, import("@sinclair/typebox").TLiteral<"evaluator_decision_recorded">, import("@sinclair/typebox").TLiteral<"scribe_task_leased">, import("@sinclair/typebox").TLiteral<"scribe_context_built">, import("@sinclair/typebox").TLiteral<"scribe_run_started">, import("@sinclair/typebox").TLiteral<"scribe_run_failed">, import("@sinclair/typebox").TLiteral<"scribe_output_invalid">, import("@sinclair/typebox").TLiteral<"scribe_output_validated">, import("@sinclair/typebox").TLiteral<"scribe_task_succeeded">, import("@sinclair/typebox").TLiteral<"scribe_task_retried">, import("@sinclair/typebox").TLiteral<"scribe_task_failed">, import("@sinclair/typebox").TLiteral<"scribe_principle_draft_generated">, import("@sinclair/typebox").TLiteral<"scribe_cancel_run_failed">, import("@sinclair/typebox").TLiteral<"scribe_mark_succeeded_failed">, import("@sinclair/typebox").TLiteral<"scribe_update_output_failed">, import("@sinclair/typebox").TLiteral<"scribe_dependency_not_succeeded">, import("@sinclair/typebox").TLiteral<"scribe_lineage_resolve_failed">, import("@sinclair/typebox").TLiteral<"scribe_lineage_partial">, import("@sinclair/typebox").TLiteral<"scribe_artifact_write_failed">, import("@sinclair/typebox").TLiteral<"scribe_wrong_task_kind">, import("@sinclair/typebox").TLiteral<"scribe_output_extraction_failed">, import("@sinclair/typebox").TLiteral<"scribe_mark_failed_error">, import("@sinclair/typebox").TLiteral<"scribe_mark_retry_error">]>;
+    eventType: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TLiteral<"pain_detected">, import("@sinclair/typebox").TLiteral<"principle_candidate_created">, import("@sinclair/typebox").TLiteral<"principle_promoted">, import("@sinclair/typebox").TLiteral<"lease_acquired">, import("@sinclair/typebox").TLiteral<"lease_released">, import("@sinclair/typebox").TLiteral<"lease_renewed">, import("@sinclair/typebox").TLiteral<"lease_expired">, import("@sinclair/typebox").TLiteral<"task_retried">, import("@sinclair/typebox").TLiteral<"task_failed">, import("@sinclair/typebox").TLiteral<"task_succeeded">, import("@sinclair/typebox").TLiteral<"run_started">, import("@sinclair/typebox").TLiteral<"run_completed">, import("@sinclair/typebox").TLiteral<"degradation_triggered">, import("@sinclair/typebox").TLiteral<"diagnostician_task_leased">, import("@sinclair/typebox").TLiteral<"diagnostician_context_built">, import("@sinclair/typebox").TLiteral<"diagnostician_run_started">, import("@sinclair/typebox").TLiteral<"diagnostician_run_failed">, import("@sinclair/typebox").TLiteral<"diagnostician_output_invalid">, import("@sinclair/typebox").TLiteral<"diagnostician_task_succeeded">, import("@sinclair/typebox").TLiteral<"diagnostician_task_retried">, import("@sinclair/typebox").TLiteral<"diagnostician_task_failed">, import("@sinclair/typebox").TLiteral<"diagnostician_cancel_run_failed">, import("@sinclair/typebox").TLiteral<"diagnostician_mark_succeeded_failed">, import("@sinclair/typebox").TLiteral<"diag_router_invariant_override">, import("@sinclair/typebox").TLiteral<"diagnostician_core_grounding_result">, import("@sinclair/typebox").TLiteral<"diagnostician_artifact_committed">, import("@sinclair/typebox").TLiteral<"diagnostician_artifact_commit_failed">, import("@sinclair/typebox").TLiteral<"principle_candidate_registered">, import("@sinclair/typebox").TLiteral<"runtime_adapter_selected">, import("@sinclair/typebox").TLiteral<"runtime_invocation_started">, import("@sinclair/typebox").TLiteral<"runtime_invocation_succeeded">, import("@sinclair/typebox").TLiteral<"runtime_invocation_failed">, import("@sinclair/typebox").TLiteral<"output_validation_succeeded">, import("@sinclair/typebox").TLiteral<"output_validation_failed">, import("@sinclair/typebox").TLiteral<"output_repair_attempted">, import("@sinclair/typebox").TLiteral<"output_extraction_failed">, import("@sinclair/typebox").TLiteral<"output_schema_invalid">, import("@sinclair/typebox").TLiteral<"output_repair_exhausted">, import("@sinclair/typebox").TLiteral<"output_path_chosen">, import("@sinclair/typebox").TLiteral<"output_path_fallback">, import("@sinclair/typebox").TLiteral<"dreamer_task_leased">, import("@sinclair/typebox").TLiteral<"dreamer_context_built">, import("@sinclair/typebox").TLiteral<"dreamer_run_started">, import("@sinclair/typebox").TLiteral<"dreamer_run_failed">, import("@sinclair/typebox").TLiteral<"dreamer_output_invalid">, import("@sinclair/typebox").TLiteral<"dreamer_output_validated">, import("@sinclair/typebox").TLiteral<"dreamer_task_succeeded">, import("@sinclair/typebox").TLiteral<"dreamer_task_retried">, import("@sinclair/typebox").TLiteral<"dreamer_task_failed">, import("@sinclair/typebox").TLiteral<"dreamer_candidate_generated">, import("@sinclair/typebox").TLiteral<"dreamer_cancel_run_failed">, import("@sinclair/typebox").TLiteral<"dreamer_output_extraction_failed">, import("@sinclair/typebox").TLiteral<"dreamer_mark_succeeded_failed">, import("@sinclair/typebox").TLiteral<"dreamer_update_output_failed">, import("@sinclair/typebox").TLiteral<"dreamer_context_partial">, import("@sinclair/typebox").TLiteral<"dreamer_mark_failed_error">, import("@sinclair/typebox").TLiteral<"dreamer_mark_retry_error">, import("@sinclair/typebox").TLiteral<"philosopher_task_leased">, import("@sinclair/typebox").TLiteral<"philosopher_context_built">, import("@sinclair/typebox").TLiteral<"philosopher_run_started">, import("@sinclair/typebox").TLiteral<"philosopher_run_failed">, import("@sinclair/typebox").TLiteral<"philosopher_output_invalid">, import("@sinclair/typebox").TLiteral<"philosopher_output_validated">, import("@sinclair/typebox").TLiteral<"philosopher_task_succeeded">, import("@sinclair/typebox").TLiteral<"philosopher_task_retried">, import("@sinclair/typebox").TLiteral<"philosopher_task_failed">, import("@sinclair/typebox").TLiteral<"philosopher_principle_candidate_generated">, import("@sinclair/typebox").TLiteral<"philosopher_cancel_run_failed">, import("@sinclair/typebox").TLiteral<"philosopher_mark_succeeded_failed">, import("@sinclair/typebox").TLiteral<"philosopher_update_output_failed">, import("@sinclair/typebox").TLiteral<"philosopher_dependency_not_succeeded">, import("@sinclair/typebox").TLiteral<"philosopher_lineage_resolve_failed">, import("@sinclair/typebox").TLiteral<"philosopher_lineage_partial">, import("@sinclair/typebox").TLiteral<"philosopher_artifact_write_failed">, import("@sinclair/typebox").TLiteral<"philosopher_wrong_task_kind">, import("@sinclair/typebox").TLiteral<"philosopher_output_extraction_failed">, import("@sinclair/typebox").TLiteral<"philosopher_mark_failed_error">, import("@sinclair/typebox").TLiteral<"philosopher_mark_retry_error">, import("@sinclair/typebox").TLiteral<"artificer_task_leased">, import("@sinclair/typebox").TLiteral<"artificer_context_built">, import("@sinclair/typebox").TLiteral<"artificer_run_started">, import("@sinclair/typebox").TLiteral<"artificer_run_failed">, import("@sinclair/typebox").TLiteral<"artificer_output_invalid">, import("@sinclair/typebox").TLiteral<"artificer_output_validated">, import("@sinclair/typebox").TLiteral<"artificer_task_succeeded">, import("@sinclair/typebox").TLiteral<"artificer_task_retried">, import("@sinclair/typebox").TLiteral<"artificer_task_failed">, import("@sinclair/typebox").TLiteral<"artificer_implementation_plan_generated">, import("@sinclair/typebox").TLiteral<"artificer_cancel_run_failed">, import("@sinclair/typebox").TLiteral<"artificer_mark_succeeded_failed">, import("@sinclair/typebox").TLiteral<"artificer_update_output_failed">, import("@sinclair/typebox").TLiteral<"artificer_dependency_not_succeeded">, import("@sinclair/typebox").TLiteral<"artificer_lineage_resolve_failed">, import("@sinclair/typebox").TLiteral<"artificer_lineage_partial">, import("@sinclair/typebox").TLiteral<"artificer_artifact_write_failed">, import("@sinclair/typebox").TLiteral<"artificer_wrong_task_kind">, import("@sinclair/typebox").TLiteral<"artificer_output_extraction_failed">, import("@sinclair/typebox").TLiteral<"artificer_mark_failed_error">, import("@sinclair/typebox").TLiteral<"artificer_mark_retry_error">, import("@sinclair/typebox").TLiteral<"evaluator_task_leased">, import("@sinclair/typebox").TLiteral<"evaluator_context_built">, import("@sinclair/typebox").TLiteral<"evaluator_run_started">, import("@sinclair/typebox").TLiteral<"evaluator_run_failed">, import("@sinclair/typebox").TLiteral<"evaluator_output_invalid">, import("@sinclair/typebox").TLiteral<"evaluator_output_validated">, import("@sinclair/typebox").TLiteral<"evaluator_task_succeeded">, import("@sinclair/typebox").TLiteral<"evaluator_task_retried">, import("@sinclair/typebox").TLiteral<"evaluator_task_failed">, import("@sinclair/typebox").TLiteral<"evaluator_cancel_run_failed">, import("@sinclair/typebox").TLiteral<"evaluator_mark_succeeded_failed">, import("@sinclair/typebox").TLiteral<"evaluator_update_output_failed">, import("@sinclair/typebox").TLiteral<"evaluator_dependency_not_succeeded">, import("@sinclair/typebox").TLiteral<"evaluator_lineage_resolve_failed">, import("@sinclair/typebox").TLiteral<"evaluator_lineage_partial">, import("@sinclair/typebox").TLiteral<"evaluator_artifact_write_failed">, import("@sinclair/typebox").TLiteral<"evaluator_wrong_task_kind">, import("@sinclair/typebox").TLiteral<"evaluator_output_extraction_failed">, import("@sinclair/typebox").TLiteral<"evaluator_mark_failed_error">, import("@sinclair/typebox").TLiteral<"evaluator_mark_retry_error">, import("@sinclair/typebox").TLiteral<"evaluator_decision_recorded">, import("@sinclair/typebox").TLiteral<"scribe_task_leased">, import("@sinclair/typebox").TLiteral<"scribe_context_built">, import("@sinclair/typebox").TLiteral<"scribe_run_started">, import("@sinclair/typebox").TLiteral<"scribe_run_failed">, import("@sinclair/typebox").TLiteral<"scribe_output_invalid">, import("@sinclair/typebox").TLiteral<"scribe_output_validated">, import("@sinclair/typebox").TLiteral<"scribe_task_succeeded">, import("@sinclair/typebox").TLiteral<"scribe_task_retried">, import("@sinclair/typebox").TLiteral<"scribe_task_failed">, import("@sinclair/typebox").TLiteral<"scribe_principle_draft_generated">, import("@sinclair/typebox").TLiteral<"scribe_cancel_run_failed">, import("@sinclair/typebox").TLiteral<"scribe_mark_succeeded_failed">, import("@sinclair/typebox").TLiteral<"scribe_update_output_failed">, import("@sinclair/typebox").TLiteral<"scribe_dependency_not_succeeded">, import("@sinclair/typebox").TLiteral<"scribe_lineage_resolve_failed">, import("@sinclair/typebox").TLiteral<"scribe_lineage_partial">, import("@sinclair/typebox").TLiteral<"scribe_artifact_write_failed">, import("@sinclair/typebox").TLiteral<"scribe_wrong_task_kind">, import("@sinclair/typebox").TLiteral<"scribe_output_extraction_failed">, import("@sinclair/typebox").TLiteral<"scribe_mark_failed_error">, import("@sinclair/typebox").TLiteral<"scribe_mark_retry_error">, import("@sinclair/typebox").TLiteral<"dreamer_l2_turn">, import("@sinclair/typebox").TLiteral<"dreamer_l2_complete">, import("@sinclair/typebox").TLiteral<"dreamer_l2_fallback_to_l1">]>;
     /** Correlation trace ID for linking events across the pipeline */
     traceId: import("@sinclair/typebox").TString;
     /** ISO 8601 timestamp */