create-principles-disciple 1.85.0 → 1.87.0

package/core/dist/runtime-v2/tools/artificer-l2-tool-contract.js

@@ -0,0 +1,275 @@
+import { Type } from 'typebox';
+import { ArtificerRuleOutputTypebox, GoldenTraceCaseInputTypebox } from './artificer-output-typebox.js';
+import { checkForbiddenPatterns, checkReturnStatementsMissingFields, checkMatchedFalseDecisions } from '../internalization/rule-code-validator.js';
+import { evaluateRefinerRuleHostGate } from '../internalization/refiner-rulehost-gate.js';
+import { buildGoldenTraceFromArtificer } from '../golden-trace.js';
+// ── Tool parameter schemas (typebox) ─────────────────────────────────────────
+const readRulecodeSpecSchema = Type.Object({});
+const validateRulecodeSchema = Type.Object({
+    code: Type.String({ description: 'The rule implementation source code to validate statically.' }),
+});
+const replayRulecodeSchema = Type.Object({
+    code: Type.String({ description: 'The rule implementation source code to replay.' }),
+    goldenTraceCases: Type.Array(GoldenTraceCaseInputTypebox, {
+        minItems: 2,
+        maxItems: 10,
+        description: 'Golden trace cases to replay against. At least 1 positive + 1 negative.',
+    }),
+});
+// submit_rulecode parameter schema = ArtificerRuleOutputTypebox (re-exported for clarity).
+export { ArtificerRuleOutputTypebox as SubmitRulecodeSchema };
+// ── Spec text (read_rulecode_spec return value) ──────────────────────────────
+/**
+ * The RuleCode dialect spec returned by read_rulecode_spec. Pure text so the
+ * model can reference it during the loop. Mirrors the constraints in
+ * ARTIFICER_PROTOCOL_INSTRUCTION + checkForbiddenPatterns + the matched=false
+ * decision rule.
+ *
+ * Exported so the `pd rulecode spec` CLI command (PRI-439 Phase 5) can return
+ * the same canonical text the Artificer L2 agent sees — single source of truth.
+ */
+export const RULECODE_SPEC_TEXT = [
+    '=== RuleCode Dialect Spec (PRI-439) ===',
+    '',
+    'CANONICAL FORM:',
+    '  function evaluate(input, helpers) {',
+    '    // ... matcher logic ...',
+    '    return { decision: "allow"|"block"|"requireApproval"|"auto_correct", matched: <boolean>, reason: "<string>" };',
+    '  }',
+    '',
+    '  - Bare function (NO `export` keyword — export is forbidden).',
+    '  - Synchronous only (NO `async` / `await`).',
+    '  - The function MUST be named `evaluate` and take exactly (input, helpers).',
+    '',
+    'RETURN SHAPE (every return statement must include all three required fields):',
+    '  - decision: "allow" | "block" | "requireApproval" | "auto_correct"',
+    '  - matched:  boolean (true if the rule applied to this input)',
+    '  - reason:   non-empty string',
+    '  - correctionProposal?: required when decision === "auto_correct"',
+    '',
+    'MATCHED=FALSE RULE:',
+    '  When matched === false, decision MUST be "allow". A "block" or "requireApproval"',
+    '  with matched=false is contradictory and will be rejected.',
+    '',
+    'FORBIDDEN PATTERNS (static check rejects these):',
+    '  require, import, export, async, await, fetch, eval, Function, process,',
+    '  globalThis, global, Reflect, Proxy, constructor, Buffer,',
+    '  setTimeout, setInterval, setImmediate, queueMicrotask,',
+    '  XMLHttpRequest, Math.random, crypto',
+    '  (also forbidden: bracket access like globalThis["require"])',
+    '',
+    'INPUT SHAPE (input.action is the only safe surface to inspect):',
+    '  input.action.toolName      : string',
+    '  input.action.normalizedPath: string | null   (posix-relative when available)',
+    '  input.action.paramsSummary : Record<string, unknown>',
+    '  input.workspace.isRiskPath : boolean',
+    '  input.workspace.planStatus : "NONE"|"DRAFT"|"READY"|"UNKNOWN"',
+    '  input.workspace.hasPlanFile: boolean',
+    '  input.derived.estimatedLineChanges: number',
+    '  input.derived.bashRisk     : "safe"|"normal"|"dangerous"|"unknown"',
+    '',
+    'HELPERS (second argument):',
+    '  helpers.isRiskPath()              : boolean',
+    '  helpers.getToolName()             : string',
+    '  helpers.getEstimatedLineChanges() : number',
+    '  helpers.getBashRisk()             : "safe"|"normal"|"dangerous"|"unknown"',
+    '  helpers.hasPlanFile()             : boolean',
+    '  helpers.getPlanStatus()           : "NONE"|"DRAFT"|"READY"|"UNKNOWN"',
+    '  helpers.getEpTier()               : number',
+    '',
+    'GOLDEN TRACE CASES (2-10 cases, at least 1 positive + 1 negative):',
+    '  - positive case: expectedDecision must be "allow"',
+    '  - negative case: expectedDecision is "block" or "propose_correction"',
+    '  - propose_correction cases MUST include expectedProposedParams + expectedApplicationMode',
+    '',
+    'WORKFLOW:',
+    '  1. Call read_rulecode_spec once (or as needed) to ground your output.',
+    '  2. Call validate_rulecode with your draft code to catch static errors.',
+    '  3. Call replay_rulecode with your code + goldenTraceCases to verify sandbox replay.',
+    '  4. Call submit_rulecode with the full ArtificerRuleOutput once replay passes.',
+    '',
+].join('\n');
+// ── Tool factory ──────────────────────────────────────────────────────────────
+/**
+ * Build the Artificer L2 tool set bound to an injected context.
+ *
+ * Returns AgentTool[] suitable for assignment to AgentContext.tools. Tools are
+ * read-only by construction (validate/replay do not mutate state; submit writes
+ * only into the adapter-owned outputCapture).
+ */
+export function buildArtificerL2Tools(ctx) {
+    const readRulecodeSpecTool = {
+        label: 'Read RuleCode spec',
+        name: 'read_rulecode_spec',
+        description: 'Read the RuleCode dialect spec: canonical form, forbidden patterns, return shape, input/helpers shape, golden trace rules. Call this BEFORE writing code so your output conforms to the contract.',
+        parameters: readRulecodeSpecSchema,
+        execute: async () => {
+            try {
+                ctx.onToolExecution?.({ toolName: 'read_rulecode_spec', ok: true });
+                return {
+                    content: [{ type: 'text', text: RULECODE_SPEC_TEXT }],
+                    details: undefined,
+                };
+            }
+            catch (err) {
+                const error = err instanceof Error ? err.message : String(err);
+                ctx.onToolExecution?.({ toolName: 'read_rulecode_spec', ok: false, error });
+                return {
+                    content: [{ type: 'text', text: `read_rulecode_spec failed: ${error}` }],
+                    details: undefined,
+                };
+            }
+        },
+    };
+    const validateRulecodeTool = {
+        label: 'Validate RuleCode (static)',
+        name: 'validate_rulecode',
+        description: 'Run STATIC validation on a rule implementation code string. Checks forbidden patterns, return-statement missing fields, and matched=false decision consistency. Does NOT execute the code. Returns VALID or INVALID with specific violations. Call this before replay_rulecode to catch cheap errors early.',
+        parameters: validateRulecodeSchema,
+        execute: async (_id, params) => {
+            try {
+                const { code } = params;
+                const forbidden = checkForbiddenPatterns(code);
+                const missingFields = checkReturnStatementsMissingFields(code);
+                const matchedFalseViolations = checkMatchedFalseDecisions(code);
+                const allViolations = [
+                    ...forbidden.map((label) => `forbidden pattern: ${label}`),
+                    ...missingFields,
+                    ...matchedFalseViolations,
+                ];
+                ctx.onToolExecution?.({ toolName: 'validate_rulecode', ok: true });
+                if (allViolations.length === 0) {
+                    return {
+                        content: [{ type: 'text', text: 'VALID: no static violations detected. Proceed to replay_rulecode to verify runtime behavior.' }],
+                        details: undefined,
+                    };
+                }
+                return {
+                    content: [{
+                            type: 'text',
+                            text: `INVALID: ${allViolations.length} violation(s) found:\n${allViolations.map((v) => `  - ${v}`).join('\n')}`,
+                        }],
+                    details: undefined,
+                };
+            }
+            catch (err) {
+                const error = err instanceof Error ? err.message : String(err);
+                ctx.onToolExecution?.({ toolName: 'validate_rulecode', ok: false, error });
+                return {
+                    content: [{ type: 'text', text: `validate_rulecode failed: ${error}` }],
+                    details: undefined,
+                };
+            }
+        },
+    };
+    const replayRulecodeTool = {
+        label: 'Replay RuleCode (sandbox)',
+        name: 'replay_rulecode',
+        description: 'Run SANDBOX replay of rule code against a golden trace. Executes the code in a constrained VM and verifies each case produces the expected decision. Returns PASSED or FAILED with per-case results. Call this after validate_rulecode passes.',
+        parameters: replayRulecodeSchema,
+        execute: async (_id, params) => {
+            try {
+                const { code, goldenTraceCases } = params;
+                // Build the GoldenTrace from the artificer-input shape.
+                const traceResult = buildGoldenTraceFromArtificer({
+                    cases: goldenTraceCases,
+                    sourceArtifactId: undefined,
+                });
+                if (!traceResult.ok) {
+                    ctx.onToolExecution?.({ toolName: 'replay_rulecode', ok: false, error: traceResult.reason });
+                    return {
+                        content: [{ type: 'text', text: `FAILED: golden trace build failed — ${traceResult.reason}` }],
+                        details: undefined,
+                    };
+                }
+                // Run the sandbox replay via the injected gate deps.
+                const gateResult = evaluateRefinerRuleHostGate({ code, goldenTrace: traceResult.trace }, ctx.gateDeps);
+                ctx.onToolExecution?.({ toolName: 'replay_rulecode', ok: gateResult.decision === 'accepted_shadow' });
+                if (gateResult.decision === 'accepted_shadow') {
+                    return {
+                        content: [{ type: 'text', text: 'PASSED: all golden trace cases replayed successfully. You may now call submit_rulecode.' }],
+                        details: undefined,
+                    };
+                }
+                // Format the failure details for the model.
+                const { sandboxResult } = gateResult;
+                const failedCaseLines = sandboxResult.failedCases.length > 0
+                    ? sandboxResult.failedCases.map((c) => `  - caseId: ${c.caseId} | errorType: ${c.errorType} | message: ${c.message}`)
+                    : [];
+                const forbiddenLines = sandboxResult.forbiddenPatternViolations.length > 0
+                    ? sandboxResult.forbiddenPatternViolations.map((p) => `  - forbidden pattern: ${p}`)
+                    : [];
+                const lines = [
+                    `FAILED: ${gateResult.decision}`,
+                    ...gateResult.reasons.map((r) => `  - ${r}`),
+                    ...failedCaseLines,
+                    ...forbiddenLines,
+                ].join('\n');
+                return {
+                    content: [{ type: 'text', text: lines }],
+                    details: undefined,
+                };
+            }
+            catch (err) {
+                const error = err instanceof Error ? err.message : String(err);
+                ctx.onToolExecution?.({ toolName: 'replay_rulecode', ok: false, error });
+                return {
+                    content: [{ type: 'text', text: `replay_rulecode failed: ${error}` }],
+                    details: undefined,
+                };
+            }
+        },
+    };
+    const submitRulecodeTool = {
+        label: 'Submit RuleCode',
+        name: 'submit_rulecode',
+        description: 'Submit your final ArtificerRuleOutput. You MUST call this exactly once with a complete object (taskId, sourceScribeArtifactId, implementationCode, goldenTraceCases, affectedTools, implementationSummary, risks, sourceTrace, generatedAt). The loop stops after you call this. Do not emit the answer as free text — call this tool.',
+        parameters: ArtificerRuleOutputTypebox,
+        execute: async (_id, params) => {
+            try {
+                // Runtime-validate the submission against the authoritative validator
+                // (Runtime Contract Rule 1/2 — never trust the typebox-validated shape
+                // blindly; the DefaultArtificerValidator performs field-by-field checks
+                // including lineage consistency).
+                const validation = await ctx.validator.validate(params, ctx.taskId);
+                if (!validation.valid) {
+                    ctx.onToolExecution?.({ toolName: 'submit_rulecode', ok: false, error: validation.errors.join('; ') });
+                    return {
+                        content: [{
+                                type: 'text',
+                                text: `REJECTED: ArtificerValidator found ${validation.errors.length} error(s):\n${validation.errors.map((e) => `  - ${e}`).join('\n')}\n\nFix the issues and call submit_rulecode again.`,
+                            }],
+                        details: undefined,
+                    };
+                }
+                // 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 l2-agent-loop-adapter.ts).
+                ctx.outputCapture.output = params;
+                ctx.onToolExecution?.({ toolName: 'submit_rulecode', ok: true });
+                return {
+                    content: [{ type: 'text', text: 'Output submitted.' }],
+                    details: undefined,
+                    terminate: true,
+                };
+            }
+            catch (err) {
+                const error = err instanceof Error ? err.message : String(err);
+                ctx.onToolExecution?.({ toolName: 'submit_rulecode', ok: false, error });
+                return {
+                    content: [{ type: 'text', text: `submit_rulecode failed: ${error}` }],
+                    details: undefined,
+                };
+            }
+        },
+    };
+    return [readRulecodeSpecTool, validateRulecodeTool, replayRulecodeTool, submitRulecodeTool];
+}
+/** Allow-list of tool names the Artificer L2 loop may execute (defense-in-depth for beforeToolCall). */
+export const ARTIFICER_L2_TOOL_WHITELIST = new Set([
+    'read_rulecode_spec',
+    'validate_rulecode',
+    'replay_rulecode',
+    'submit_rulecode',
+]);
+//# sourceMappingURL=artificer-l2-tool-contract.js.map

package/core/dist/runtime-v2/tools/artificer-l2-tool-contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"artificer-l2-tool-contract.js","sourceRoot":"","sources":["../../../src/runtime-v2/tools/artificer-l2-tool-contract.ts"],"names":[],"mappings":"AA4BA,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAC;AAC/B,OAAO,EAAE,0BAA0B,EAAE,2BAA2B,EAAE,MAAM,+BAA+B,CAAC;AACxG,OAAO,EAAE,sBAAsB,EAAE,kCAAkC,EAAE,0BAA0B,EAAE,MAAM,2CAA2C,CAAC;AAEnJ,OAAO,EAAE,2BAA2B,EAAE,MAAM,6CAA6C,CAAC;AAE1F,OAAO,EAAE,6BAA6B,EAAE,MAAM,oBAAoB,CAAC;AAyBnE,gFAAgF;AAEhF,MAAM,sBAAsB,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AAE/C,MAAM,sBAAsB,GAAG,IAAI,CAAC,MAAM,CAAC;IACzC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,6DAA6D,EAAE,CAAC;CAClG,CAAC,CAAC;AAEH,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAAC;IACvC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,gDAAgD,EAAE,CAAC;IACpF,gBAAgB,EAAE,IAAI,CAAC,KAAK,CAAC,2BAA2B,EAAE;QACxD,QAAQ,EAAE,CAAC;QACX,QAAQ,EAAE,EAAE;QACZ,WAAW,EAAE,yEAAyE;KACvF,CAAC;CACH,CAAC,CAAC;AAEH,2FAA2F;AAC3F,OAAO,EAAE,0BAA0B,IAAI,oBAAoB,EAAE,CAAC;AAE9D,gFAAgF;AAEhF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG;IAChC,yCAAyC;IACzC,EAAE;IACF,iBAAiB;IACjB,uCAAuC;IACvC,8BAA8B;IAC9B,oHAAoH;IACpH,KAAK;IACL,EAAE;IACF,gEAAgE;IAChE,8CAA8C;IAC9C,8EAA8E;IAC9E,EAAE;IACF,+EAA+E;IAC/E,sEAAsE;IACtE,gEAAgE;IAChE,gCAAgC;IAChC,oEAAoE;IACpE,EAAE;IACF,qBAAqB;IACrB,oFAAoF;IACpF,6DAA6D;IAC7D,EAAE;IACF,kDAAkD;IAClD,0EAA0E;IAC1E,4DAA4D;IAC5D,0DAA0D;IAC1D,uCAAuC;IACvC,+DAA+D;IAC/D,EAAE;IACF,iEAAiE;IACjE,uCAAuC;IACvC,gFAAgF;IAChF,wDAAwD;IACxD,wCAAwC;IACxC,iEAAiE;IACjE,wCAAwC;IACxC,8CAA8C;IAC9C,sEAAsE;IACtE,EAAE;IACF,4BAA4B;IAC5B,+CAA+C;IAC/C,8CAA8C;IAC9C,8CAA8C;IAC9C,6EAA6E;IAC7E,+CAA+C;IAC/C,wEAAwE;IACxE,8CAA8C;IAC9C,EAAE;IACF,oEAAoE;IACpE,qDAAqD;IACrD,wEAAwE;IACxE,4FAA4F;IAC5F,EAAE;IACF,WAAW;IACX,yEAAyE;IACzE,0EAA0E;IAC1E,uFAAuF;IACvF,iFAAiF;IACjF,EAAE;CACH,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAEb,iFAAiF;AAEjF;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CAAC,GAA2B;IAC/D,MAAM,oBAAoB,GAAwD;QAChF,KAAK,EAAE,oBAAoB;QAC3B,IAAI,EAAE,oBAAoB;QAC1B,WAAW,EACT,mMAAmM;QACrM,UAAU,EAAE,sBAAsB;QAClC,OAAO,EAAE,KAAK,IAAyC,EAAE;YACvD,IAAI,CAAC;gBACH,GAAG,CAAC,eAAe,EAAE,CAAC,EAAE,QAAQ,EAAE,oBAAoB,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;gBACpE,OAAO;oBACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,kBAAkB,EAAE,CAAC;oBACrD,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,oBAAoB,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;gBAC5E,OAAO;oBACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,8BAA8B,KAAK,EAAE,EAAE,CAAC;oBACxE,OAAO,EAAE,SAAS;iBACnB,CAAC;YACJ,CAAC;QACH,CAAC;KACF,CAAC;IAEF,MAAM,oBAAoB,GAAwD;QAChF,KAAK,EAAE,4BAA4B;QACnC,IAAI,EAAE,mBAAmB;QACzB,WAAW,EACT,6SAA6S;QAC/S,UAAU,EAAE,sBAAsB;QAClC,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAuC,EAAE;YAClE,IAAI,CAAC;gBACH,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC;gBACxB,MAAM,SAAS,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC;gBAC/C,MAAM,aAAa,GAAG,kCAAkC,CAAC,IAAI,CAAC,CAAC;gBAC/D,MAAM,sBAAsB,GAAG,0BAA0B,CAAC,IAAI,CAAC,CAAC;gBAEhE,MAAM,aAAa,GAAG;oBACpB,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,sBAAsB,KAAK,EAAE,CAAC;oBAC1D,GAAG,aAAa;oBAChB,GAAG,sBAAsB;iBAC1B,CAAC;gBAEF,GAAG,CAAC,eAAe,EAAE,CAAC,EAAE,QAAQ,EAAE,mBAAmB,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;gBAEnE,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAC/B,OAAO;wBACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,8FAA8F,EAAE,CAAC;wBACjI,OAAO,EAAE,SAAS;qBACnB,CAAC;gBACJ,CAAC;gBAED,OAAO;oBACL,OAAO,EAAE,CAAC;4BACR,IAAI,EAAE,MAAM;4BACZ,IAAI,EAAE,YAAY,aAAa,CAAC,MAAM,yBAAyB,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;yBACjH,CAAC;oBACF,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,mBAAmB,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;gBAC3E,OAAO;oBACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,6BAA6B,KAAK,EAAE,EAAE,CAAC;oBACvE,OAAO,EAAE,SAAS;iBACnB,CAAC;YACJ,CAAC;QACH,CAAC;KACF,CAAC;IAEF,MAAM,kBAAkB,GAAsD;QAC5E,KAAK,EAAE,2BAA2B;QAClC,IAAI,EAAE,iBAAiB;QACvB,WAAW,EACT,gPAAgP;QAClP,UAAU,EAAE,oBAAoB;QAChC,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAuC,EAAE;YAClE,IAAI,CAAC;gBACH,MAAM,EAAE,IAAI,EAAE,gBAAgB,EAAE,GAAG,MAAM,CAAC;gBAE1C,wDAAwD;gBACxD,MAAM,WAAW,GAAG,6BAA6B,CAAC;oBAChD,KAAK,EAAE,gBAAgB;oBACvB,gBAAgB,EAAE,SAAS;iBAC5B,CAAC,CAAC;gBACH,IAAI,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC;oBACpB,GAAG,CAAC,eAAe,EAAE,CAAC,EAAE,QAAQ,EAAE,iBAAiB,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC;oBAC7F,OAAO;wBACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,uCAAuC,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC;wBAC9F,OAAO,EAAE,SAAS;qBACnB,CAAC;gBACJ,CAAC;gBAED,qDAAqD;gBACrD,MAAM,UAAU,GAAG,2BAA2B,CAC5C,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,CAAC,KAAK,EAAE,EACxC,GAAG,CAAC,QAAQ,CACb,CAAC;gBAEF,GAAG,CAAC,eAAe,EAAE,CAAC,EAAE,QAAQ,EAAE,iBAAiB,EAAE,EAAE,EAAE,UAAU,CAAC,QAAQ,KAAK,iBAAiB,EAAE,CAAC,CAAC;gBAEtG,IAAI,UAAU,CAAC,QAAQ,KAAK,iBAAiB,EAAE,CAAC;oBAC9C,OAAO;wBACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,yFAAyF,EAAE,CAAC;wBAC5H,OAAO,EAAE,SAAS;qBACnB,CAAC;gBACJ,CAAC;gBAED,4CAA4C;gBAC5C,MAAM,EAAE,aAAa,EAAE,GAAG,UAAU,CAAC;gBACrC,MAAM,eAAe,GAAG,aAAa,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;oBAC1D,CAAC,CAAC,aAAa,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,MAAM,iBAAiB,CAAC,CAAC,SAAS,eAAe,CAAC,CAAC,OAAO,EAAE,CAAC;oBACrH,CAAC,CAAC,EAAE,CAAC;gBACP,MAAM,cAAc,GAAG,aAAa,CAAC,0BAA0B,CAAC,MAAM,GAAG,CAAC;oBACxE,CAAC,CAAC,aAAa,CAAC,0BAA0B,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,0BAA0B,CAAC,EAAE,CAAC;oBACpF,CAAC,CAAC,EAAE,CAAC;gBAEP,MAAM,KAAK,GAAG;oBACZ,WAAW,UAAU,CAAC,QAAQ,EAAE;oBAChC,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;oBAC5C,GAAG,eAAe;oBAClB,GAAG,cAAc;iBAClB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAEb,OAAO;oBACL,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;oBACxC,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,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,2BAA2B,KAAK,EAAE,EAAE,CAAC;oBACrE,OAAO,EAAE,SAAS;iBACnB,CAAC;YACJ,CAAC;QACH,CAAC;KACF,CAAC;IAEF,MAAM,kBAAkB,GAA4D;QAClF,KAAK,EAAE,iBAAiB;QACxB,IAAI,EAAE,iBAAiB;QACvB,WAAW,EACT,wUAAwU;QAC1U,UAAU,EAAE,0BAA0B;QACtC,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAuC,EAAE;YAClE,IAAI,CAAC;gBACH,sEAAsE;gBACtE,uEAAuE;gBACvE,wEAAwE;gBACxE,kCAAkC;gBAClC,MAAM,UAAU,GAAG,MAAM,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;gBACpE,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;oBACtB,GAAG,CAAC,eAAe,EAAE,CAAC,EAAE,QAAQ,EAAE,iBAAiB,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;oBACvG,OAAO;wBACL,OAAO,EAAE,CAAC;gCACR,IAAI,EAAE,MAAM;gCACZ,IAAI,EAAE,sCAAsC,UAAU,CAAC,MAAM,CAAC,MAAM,eAAe,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,oDAAoD;6BAC3L,CAAC;wBACF,OAAO,EAAE,SAAS;qBACnB,CAAC;gBACJ,CAAC;gBAED,uEAAuE;gBACvE,wEAAwE;gBACxE,yEAAyE;gBACzE,GAAG,CAAC,aAAa,CAAC,MAAM,GAAG,MAAM,CAAC;gBAClC,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,mBAAmB,EAAE,CAAC;oBACtD,OAAO,EAAE,SAAS;oBAClB,SAAS,EAAE,IAAI;iBAChB,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,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,2BAA2B,KAAK,EAAE,EAAE,CAAC;oBACrE,OAAO,EAAE,SAAS;iBACnB,CAAC;YACJ,CAAC;QACH,CAAC;KACF,CAAC;IAEF,OAAO,CAAC,oBAAoB,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,kBAAkB,CAAC,CAAC;AAC9F,CAAC;AAED,wGAAwG;AACxG,MAAM,CAAC,MAAM,2BAA2B,GAAwB,IAAI,GAAG,CAAC;IACtE,oBAAoB;IACpB,mBAAmB;IACnB,iBAAiB;IACjB,iBAAiB;CAClB,CAAC,CAAC"}

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

@@ -0,0 +1,78 @@
+/**
+ * PRI-439 — typebox redeclaration of ArtificerRuleOutput for the L2 agent loop.
+ *
+ * Why this file exists (mirrors dreamer-output-typebox.ts):
+ *   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_rulecode` tool's parameter schema must
+ *   therefore be declared with `typebox` directly.
+ *
+ *   This file redeclares the ArtificerRuleOutput shape with `typebox`, structured so
+ *   the `submit_rulecode` tool can require the model to return a complete
+ *   implementationCode + goldenTraceCases payload. The authoritative runtime
+ *   validator remains `DefaultArtificerValidator` (which validates `unknown`
+ *   field-by-field) — the schema here is the LLM-facing tool contract only.
+ *
+ * Consistency guarantee:
+ *   `artificer-output-typebox.test.ts` proves that for a shared sample set (valid +
+ *   invalid candidates), this typebox schema's structural requirements match the
+ *   @sinclair/typebox `ArtificerRuleOutputSchema` 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';
+/**
+ * typebox redeclaration of GoldenTraceCaseInput (artificer-output.ts).
+ * Field-for-field equivalent — see artificer-output-typebox.test.ts for the proof.
+ */
+export declare const GoldenTraceCaseInputTypebox: Type.TObject<{
+    caseId: Type.TString;
+    kind: Type.TUnion<[Type.TLiteral<"positive">, Type.TLiteral<"negative">]>;
+    toolName: Type.TString;
+    params: Type.TRecord<"^.*$", Type.TUnknown>;
+    expectedDecision: Type.TUnion<[Type.TLiteral<"allow">, Type.TLiteral<"block">, Type.TLiteral<"propose_correction">]>;
+    expectedProposedParams: Type.TOptional<Type.TRecord<"^.*$", Type.TUnknown>>;
+    expectedApplicationMode: Type.TOptional<Type.TUnion<[Type.TLiteral<"shadow">, Type.TLiteral<"live">]>>;
+}>;
+/**
+ * typebox redeclaration of ArtificerSourceTrace (artificer-output.ts).
+ */
+export declare const ArtificerSourceTraceTypebox: Type.TObject<{
+    scribeArtifactId: Type.TString;
+    philosopherArtifactId: Type.TOptional<Type.TString>;
+    dreamerArtifactId: Type.TOptional<Type.TString>;
+}>;
+/**
+ * typebox redeclaration of ArtificerRuleOutputSchema.
+ *
+ * Used as the parameter schema of the `submit_rulecode` tool in the L2 artificer
+ * loop. Field-for-field equivalent to the @sinclair/typebox
+ * ArtificerRuleOutputSchema — see artificer-output-typebox.test.ts for the
+ * consistency proof.
+ */
+export declare const ArtificerRuleOutputTypebox: Type.TObject<{
+    taskId: Type.TString;
+    sourceScribeArtifactId: Type.TString;
+    implementationCode: Type.TString;
+    goldenTraceCases: Type.TArray<Type.TObject<{
+        caseId: Type.TString;
+        kind: Type.TUnion<[Type.TLiteral<"positive">, Type.TLiteral<"negative">]>;
+        toolName: Type.TString;
+        params: Type.TRecord<"^.*$", Type.TUnknown>;
+        expectedDecision: Type.TUnion<[Type.TLiteral<"allow">, Type.TLiteral<"block">, Type.TLiteral<"propose_correction">]>;
+        expectedProposedParams: Type.TOptional<Type.TRecord<"^.*$", Type.TUnknown>>;
+        expectedApplicationMode: Type.TOptional<Type.TUnion<[Type.TLiteral<"shadow">, Type.TLiteral<"live">]>>;
+    }>>;
+    affectedTools: Type.TArray<Type.TString>;
+    implementationSummary: Type.TString;
+    risks: Type.TArray<Type.TString>;
+    sourceTrace: Type.TObject<{
+        scribeArtifactId: Type.TString;
+        philosopherArtifactId: Type.TOptional<Type.TString>;
+        dreamerArtifactId: Type.TOptional<Type.TString>;
+    }>;
+    generatedAt: Type.TString;
+}>;
+//# sourceMappingURL=artificer-output-typebox.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"artificer-output-typebox.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/tools/artificer-output-typebox.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAC;AAE/B;;;GAGG;AACH,eAAO,MAAM,2BAA2B;;;;;;;;EAYtC,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,2BAA2B;;;;EAItC,CAAC;AAEH;;;;;;;GAOG;AACH,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;;;;;;;;EAUrC,CAAC"}

package/core/dist/runtime-v2/tools/artificer-output-typebox.js

@@ -0,0 +1,70 @@
+/**
+ * PRI-439 — typebox redeclaration of ArtificerRuleOutput for the L2 agent loop.
+ *
+ * Why this file exists (mirrors dreamer-output-typebox.ts):
+ *   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_rulecode` tool's parameter schema must
+ *   therefore be declared with `typebox` directly.
+ *
+ *   This file redeclares the ArtificerRuleOutput shape with `typebox`, structured so
+ *   the `submit_rulecode` tool can require the model to return a complete
+ *   implementationCode + goldenTraceCases payload. The authoritative runtime
+ *   validator remains `DefaultArtificerValidator` (which validates `unknown`
+ *   field-by-field) — the schema here is the LLM-facing tool contract only.
+ *
+ * Consistency guarantee:
+ *   `artificer-output-typebox.test.ts` proves that for a shared sample set (valid +
+ *   invalid candidates), this typebox schema's structural requirements match the
+ *   @sinclair/typebox `ArtificerRuleOutputSchema` 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';
+/**
+ * typebox redeclaration of GoldenTraceCaseInput (artificer-output.ts).
+ * Field-for-field equivalent — see artificer-output-typebox.test.ts for the proof.
+ */
+export const GoldenTraceCaseInputTypebox = Type.Object({
+    caseId: Type.String({ minLength: 1 }),
+    kind: Type.Union([Type.Literal('positive'), Type.Literal('negative')]),
+    toolName: Type.String({ minLength: 1 }),
+    params: Type.Record(Type.String(), Type.Unknown()),
+    expectedDecision: Type.Union([
+        Type.Literal('allow'),
+        Type.Literal('block'),
+        Type.Literal('propose_correction'),
+    ]),
+    expectedProposedParams: Type.Optional(Type.Record(Type.String(), Type.Unknown())),
+    expectedApplicationMode: Type.Optional(Type.Union([Type.Literal('shadow'), Type.Literal('live')])),
+});
+/**
+ * typebox redeclaration of ArtificerSourceTrace (artificer-output.ts).
+ */
+export const ArtificerSourceTraceTypebox = Type.Object({
+    scribeArtifactId: Type.String({ minLength: 1 }),
+    philosopherArtifactId: Type.Optional(Type.String({ minLength: 1 })),
+    dreamerArtifactId: Type.Optional(Type.String({ minLength: 1 })),
+});
+/**
+ * typebox redeclaration of ArtificerRuleOutputSchema.
+ *
+ * Used as the parameter schema of the `submit_rulecode` tool in the L2 artificer
+ * loop. Field-for-field equivalent to the @sinclair/typebox
+ * ArtificerRuleOutputSchema — see artificer-output-typebox.test.ts for the
+ * consistency proof.
+ */
+export const ArtificerRuleOutputTypebox = Type.Object({
+    taskId: Type.String({ minLength: 1 }),
+    sourceScribeArtifactId: Type.String({ minLength: 1 }),
+    implementationCode: Type.String({ minLength: 1 }),
+    goldenTraceCases: Type.Array(GoldenTraceCaseInputTypebox, { minItems: 2, maxItems: 10 }),
+    affectedTools: Type.Array(Type.String({ minLength: 1 }), { minItems: 1 }),
+    implementationSummary: Type.String({ minLength: 1 }),
+    risks: Type.Array(Type.String()),
+    sourceTrace: ArtificerSourceTraceTypebox,
+    generatedAt: Type.String({ minLength: 1 }),
+});
+//# sourceMappingURL=artificer-output-typebox.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"artificer-output-typebox.js","sourceRoot":"","sources":["../../../src/runtime-v2/tools/artificer-output-typebox.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAC;AAE/B;;;GAGG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IACrD,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACrC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;IACtE,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACvC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;IAClD,gBAAgB,EAAE,IAAI,CAAC,KAAK,CAAC;QAC3B,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC;QACrB,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC;QACrB,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC;KACnC,CAAC;IACF,sBAAsB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;IACjF,uBAAuB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;CACnG,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IACrD,gBAAgB,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IAC/C,qBAAqB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;IACnE,iBAAiB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;CAChE,CAAC,CAAC;AAEH;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,MAAM,CAAC;IACpD,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACrC,sBAAsB,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACrD,kBAAkB,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACjD,gBAAgB,EAAE,IAAI,CAAC,KAAK,CAAC,2BAA2B,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IACxF,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IACzE,qBAAqB,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IACpD,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAChC,WAAW,EAAE,2BAA2B;IACxC,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;CAC3C,CAAC,CAAC"}

package/core/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/core/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/core/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/core/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"}