@principles/core 1.161.0 → 1.163.0

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

@@ -0,0 +1,322 @@
+/**
+ * PRI-439 Phase 4 — artificer-l2-tool-contract unit tests.
+ *
+ * Verifies the 4 Artificer L2 tool definitions, the whitelist, and the
+ * submit_rulecode capture + validator behavior. Pure — uses in-memory fakes,
+ * no I/O, no real LLM calls.
+ *
+ * ERR checklist:
+ *   - EP-01 Trust Boundary: submit_rulecode validates params via the injected
+ *     validator before storing (Runtime Contract Rule 1/2).
+ *   - EP-03 Fail Loud: validate_rulecode and replay_rulecode surface specific
+ *     violations, never silent empty results (Runtime Contract Rule 9).
+ */
+import { describe, it, expect } from 'vitest';
+import { buildArtificerL2Tools, ARTIFICER_L2_TOOL_WHITELIST, } from '../artificer-l2-tool-contract.js';
+import { DefaultArtificerValidator } from '../../internalization/artificer-output.js';
+const TASK_ID = 'task-artificer-l2-001';
+/** A valid ArtificerRuleOutput the model might submit. */
+function makeRuleOutput(overrides = {}) {
+    return {
+        taskId: TASK_ID,
+        sourceScribeArtifactId: 'pi-art-scribe-001',
+        implementationCode: 'function evaluate(input, helpers) { return { decision: "allow", matched: false, reason: "ok" }; }',
+        goldenTraceCases: [
+            { caseId: 'negative-1', kind: 'negative', toolName: 'edit', params: { path: '/etc/x' }, expectedDecision: 'block' },
+            { caseId: 'positive-1', kind: 'positive', toolName: 'read', params: { path: '/tmp/y' }, expectedDecision: 'allow' },
+        ],
+        affectedTools: ['edit'],
+        implementationSummary: 'Block writes to system dirs',
+        risks: [],
+        sourceTrace: { scribeArtifactId: 'pi-art-scribe-001' },
+        generatedAt: '2026-06-17T00:00:00.000Z',
+        ...overrides,
+    };
+}
+/** Build a gateDeps whose sandbox always accepts (replay passes). */
+function makeAlwaysPassGateDeps() {
+    const passingResult = {
+        success: true,
+        failedCases: [],
+        executionTimeMs: 1,
+        forbiddenPatternViolations: [],
+    };
+    return {
+        evaluateInSandbox: (_code, _trace, _opts) => passingResult,
+    };
+}
+/** Build a gateDeps whose sandbox always fails with the given result. */
+function makeFailingGateDeps(result) {
+    return {
+        evaluateInSandbox: (_code, _trace, _opts) => result,
+    };
+}
+function makeContext(overrides = {}) {
+    const outputCapture = { output: null };
+    return {
+        gateDeps: makeAlwaysPassGateDeps(),
+        validator: new DefaultArtificerValidator(),
+        taskId: TASK_ID,
+        outputCapture,
+        ...overrides,
+    };
+}
+/** Type-safe text extraction from a tool result's content. */
+function resultText(result) {
+    const textPart = result.content.find((c) => c.type === 'text');
+    if (!textPart || typeof textPart.text !== 'string') {
+        throw new Error('expected a text content part in tool result');
+    }
+    return textPart.text;
+}
+/** Find a tool by name. */
+function findTool(tools, name) {
+    const tool = tools.find((t) => t.name === name);
+    if (!tool) {
+        throw new Error(`tool '${name}' not found in built tool set`);
+    }
+    return tool;
+}
+describe('PRI-439 buildArtificerL2Tools — tool set shape', () => {
+    it('builds exactly four tools', () => {
+        const tools = buildArtificerL2Tools(makeContext());
+        expect(tools).toHaveLength(4);
+        const names = tools.map((t) => t.name).sort();
+        expect(names).toEqual(['read_rulecode_spec', 'replay_rulecode', 'submit_rulecode', 'validate_rulecode']);
+    });
+    it('every tool has a typebox parameter schema, non-empty description, and execute function', () => {
+        const tools = buildArtificerL2Tools(makeContext());
+        for (const tool of tools) {
+            expect(typeof tool.name).toBe('string');
+            expect(tool.name.length).toBeGreaterThan(0);
+            expect(typeof tool.description).toBe('string');
+            expect(tool.description.length).toBeGreaterThan(0);
+            expect(tool.parameters).toBeTypeOf('object');
+            expect(typeof tool.execute).toBe('function');
+        }
+    });
+    it('the whitelist contains exactly the four tool names', () => {
+        expect(ARTIFICER_L2_TOOL_WHITELIST.size).toBe(4);
+        expect(ARTIFICER_L2_TOOL_WHITELIST.has('read_rulecode_spec')).toBe(true);
+        expect(ARTIFICER_L2_TOOL_WHITELIST.has('validate_rulecode')).toBe(true);
+        expect(ARTIFICER_L2_TOOL_WHITELIST.has('replay_rulecode')).toBe(true);
+        expect(ARTIFICER_L2_TOOL_WHITELIST.has('submit_rulecode')).toBe(true);
+    });
+});
+describe('PRI-439 read_rulecode_spec tool', () => {
+    it('returns the RuleCode dialect spec text', async () => {
+        const ctx = makeContext();
+        const tools = buildArtificerL2Tools(ctx);
+        const tool = findTool(tools, 'read_rulecode_spec');
+        const result = await tool.execute('call-1', {});
+        const text = resultText(result);
+        // Spec must mention the canonical form, forbidden patterns, and matched=false rule.
+        expect(text).toContain('function evaluate(input, helpers)');
+        expect(text).toContain('FORBIDDEN PATTERNS');
+        expect(text).toContain('require');
+        expect(text).toContain('export');
+        expect(text).toContain('MATCHED=FALSE RULE');
+        expect(text).toContain('GOLDEN TRACE CASES');
+    });
+    it('emits telemetry on success', async () => {
+        const calls = [];
+        const ctx = makeContext({
+            onToolExecution: (info) => calls.push({ toolName: info.toolName, ok: info.ok }),
+        });
+        const tools = buildArtificerL2Tools(ctx);
+        const tool = findTool(tools, 'read_rulecode_spec');
+        await tool.execute('call-1', {});
+        expect(calls).toEqual([{ toolName: 'read_rulecode_spec', ok: true }]);
+    });
+});
+describe('PRI-439 validate_rulecode tool', () => {
+    it('returns VALID for clean code', async () => {
+        const ctx = makeContext();
+        const tools = buildArtificerL2Tools(ctx);
+        const tool = findTool(tools, 'validate_rulecode');
+        const code = 'function evaluate(input, helpers) { return { decision: "allow", matched: false, reason: "ok" }; }';
+        const result = await tool.execute('call-1', { code });
+        const text = resultText(result);
+        expect(text).toContain('VALID');
+    });
+    it('returns INVALID for code with forbidden pattern (require)', async () => {
+        const ctx = makeContext();
+        const tools = buildArtificerL2Tools(ctx);
+        const tool = findTool(tools, 'validate_rulecode');
+        const code = 'function evaluate(input, helpers) { require("fs"); return { decision: "allow", matched: false, reason: "ok" }; }';
+        const result = await tool.execute('call-1', { code });
+        const text = resultText(result);
+        expect(text).toContain('INVALID');
+        expect(text).toContain('require');
+    });
+    it('returns INVALID for code with export keyword', async () => {
+        const ctx = makeContext();
+        const tools = buildArtificerL2Tools(ctx);
+        const tool = findTool(tools, 'validate_rulecode');
+        const code = 'export function evaluate(input, helpers) { return { decision: "allow", matched: false, reason: "ok" }; }';
+        const result = await tool.execute('call-1', { code });
+        const text = resultText(result);
+        expect(text).toContain('INVALID');
+        expect(text).toContain('export');
+    });
+    it('returns INVALID for return statement missing required fields', async () => {
+        const ctx = makeContext();
+        const tools = buildArtificerL2Tools(ctx);
+        const tool = findTool(tools, 'validate_rulecode');
+        const code = 'function evaluate(input, helpers) { return { matched: false }; }';
+        const result = await tool.execute('call-1', { code });
+        const text = resultText(result);
+        expect(text).toContain('INVALID');
+        expect(text).toContain('decision');
+    });
+    it('returns INVALID for matched=false with decision=block', async () => {
+        const ctx = makeContext();
+        const tools = buildArtificerL2Tools(ctx);
+        const tool = findTool(tools, 'validate_rulecode');
+        const code = 'function evaluate(input, helpers) { return { decision: "block", matched: false, reason: "x" }; }';
+        const result = await tool.execute('call-1', { code });
+        const text = resultText(result);
+        expect(text).toContain('INVALID');
+        expect(text).toContain('matched=false');
+    });
+});
+describe('PRI-439 replay_rulecode tool', () => {
+    it('returns PASSED when sandbox accepts', async () => {
+        const ctx = makeContext();
+        const tools = buildArtificerL2Tools(ctx);
+        const tool = findTool(tools, 'replay_rulecode');
+        const code = 'function evaluate(input, helpers) { return { decision: "allow", matched: false, reason: "ok" }; }';
+        const result = await tool.execute('call-1', {
+            code,
+            goldenTraceCases: makeRuleOutput().goldenTraceCases,
+        });
+        const text = resultText(result);
+        expect(text).toContain('PASSED');
+    });
+    it('returns FAILED when sandbox rejects with runtime_error', async () => {
+        const failingResult = {
+            success: false,
+            failedCases: [{ caseId: 'negative-1', errorType: 'runtime_error', message: 'TypeError: x is undefined' }],
+            executionTimeMs: 1,
+            forbiddenPatternViolations: [],
+        };
+        const ctx = makeContext({ gateDeps: makeFailingGateDeps(failingResult) });
+        const tools = buildArtificerL2Tools(ctx);
+        const tool = findTool(tools, 'replay_rulecode');
+        const code = 'function evaluate(input, helpers) { return { decision: "allow", matched: false, reason: "ok" }; }';
+        const result = await tool.execute('call-1', {
+            code,
+            goldenTraceCases: makeRuleOutput().goldenTraceCases,
+        });
+        const text = resultText(result);
+        expect(text).toContain('FAILED');
+        expect(text).toContain('TypeError: x is undefined');
+    });
+    it('returns FAILED when sandbox detects forbidden pattern', async () => {
+        const failingResult = {
+            success: false,
+            failedCases: [{ caseId: '__sandbox__', errorType: 'forbidden_pattern', message: 'require() detected' }],
+            executionTimeMs: 1,
+            forbiddenPatternViolations: ['require'],
+        };
+        const ctx = makeContext({ gateDeps: makeFailingGateDeps(failingResult) });
+        const tools = buildArtificerL2Tools(ctx);
+        const tool = findTool(tools, 'replay_rulecode');
+        const code = 'function evaluate(input, helpers) { return { decision: "allow", matched: false, reason: "ok" }; }';
+        const result = await tool.execute('call-1', {
+            code,
+            goldenTraceCases: makeRuleOutput().goldenTraceCases,
+        });
+        const text = resultText(result);
+        expect(text).toContain('FAILED');
+        expect(text).toContain('require');
+    });
+    it('returns FAILED when golden trace build fails (only 1 case)', async () => {
+        const ctx = makeContext();
+        const tools = buildArtificerL2Tools(ctx);
+        const tool = findTool(tools, 'replay_rulecode');
+        const code = 'function evaluate(input, helpers) { return { decision: "allow", matched: false, reason: "ok" }; }';
+        const result = await tool.execute('call-1', {
+            code,
+            goldenTraceCases: [
+                { caseId: 'negative-1', kind: 'negative', toolName: 'edit', params: { path: '/etc/x' }, expectedDecision: 'block' },
+            ],
+        });
+        const text = resultText(result);
+        expect(text).toContain('FAILED');
+        expect(text).toContain('golden trace build failed');
+    });
+    it('emits telemetry with ok=true on pass and ok=false on fail', async () => {
+        const calls = [];
+        const failingResult = {
+            success: false,
+            failedCases: [{ caseId: 'negative-1', errorType: 'runtime_error', message: 'err' }],
+            executionTimeMs: 1,
+            forbiddenPatternViolations: [],
+        };
+        const ctx = makeContext({
+            gateDeps: makeFailingGateDeps(failingResult),
+            onToolExecution: (info) => calls.push({ toolName: info.toolName, ok: info.ok }),
+        });
+        const tools = buildArtificerL2Tools(ctx);
+        const tool = findTool(tools, 'replay_rulecode');
+        await tool.execute('call-1', {
+            code: 'function evaluate(input, helpers) { return { decision: "allow", matched: false, reason: "ok" }; }',
+            goldenTraceCases: makeRuleOutput().goldenTraceCases,
+        });
+        expect(calls).toEqual([{ toolName: 'replay_rulecode', ok: false }]);
+    });
+});
+describe('PRI-439 submit_rulecode tool', () => {
+    it('stores the output in outputCapture when validation passes', async () => {
+        const ctx = makeContext();
+        const tools = buildArtificerL2Tools(ctx);
+        const tool = findTool(tools, 'submit_rulecode');
+        const output = makeRuleOutput();
+        const result = await tool.execute('call-1', output);
+        const text = resultText(result);
+        expect(text).toContain('submitted');
+        expect(ctx.outputCapture.output).toEqual(output);
+    });
+    it('returns terminate=true hint on successful submit', async () => {
+        const ctx = makeContext();
+        const tools = buildArtificerL2Tools(ctx);
+        const tool = findTool(tools, 'submit_rulecode');
+        const result = await tool.execute('call-1', makeRuleOutput());
+        expect(result.terminate).toBe(true);
+    });
+    it('REJECTS and does NOT store when validator fails (missing affectedTools)', async () => {
+        const ctx = makeContext();
+        const tools = buildArtificerL2Tools(ctx);
+        const tool = findTool(tools, 'submit_rulecode');
+        const bad = makeRuleOutput();
+        delete bad.affectedTools;
+        const result = await tool.execute('call-1', bad);
+        const text = resultText(result);
+        expect(text).toContain('REJECTED');
+        expect(ctx.outputCapture.output).toBeNull();
+    });
+    it('REJECTS and does NOT store when taskId mismatches', async () => {
+        const ctx = makeContext();
+        const tools = buildArtificerL2Tools(ctx);
+        const tool = findTool(tools, 'submit_rulecode');
+        const bad = makeRuleOutput({ taskId: 'wrong-task-id' });
+        const result = await tool.execute('call-1', bad);
+        const text = resultText(result);
+        expect(text).toContain('REJECTED');
+        expect(ctx.outputCapture.output).toBeNull();
+    });
+    it('emits telemetry with ok=false on validator rejection', async () => {
+        const calls = [];
+        const ctx = makeContext({
+            onToolExecution: (info) => calls.push({ toolName: info.toolName, ok: info.ok }),
+        });
+        const tools = buildArtificerL2Tools(ctx);
+        const tool = findTool(tools, 'submit_rulecode');
+        const bad = makeRuleOutput();
+        delete bad.affectedTools;
+        await tool.execute('call-1', bad);
+        expect(calls).toEqual([{ toolName: 'submit_rulecode', ok: false }]);
+    });
+});
+//# sourceMappingURL=artificer-l2-tool-contract.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"artificer-l2-tool-contract.test.js","sourceRoot":"","sources":["../../../../src/runtime-v2/tools/__tests__/artificer-l2-tool-contract.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EACL,qBAAqB,EACrB,2BAA2B,GAG5B,MAAM,kCAAkC,CAAC;AAI1C,OAAO,EAAE,yBAAyB,EAAE,MAAM,2CAA2C,CAAC;AAEtF,MAAM,OAAO,GAAG,uBAAuB,CAAC;AAExC,0DAA0D;AAC1D,SAAS,cAAc,CAAC,YAA0C,EAAE;IAClE,OAAO;QACL,MAAM,EAAE,OAAO;QACf,sBAAsB,EAAE,mBAAmB;QAC3C,kBAAkB,EAAE,mGAAmG;QACvH,gBAAgB,EAAE;YAChB,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,gBAAgB,EAAE,OAAO,EAAE;YACnH,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,gBAAgB,EAAE,OAAO,EAAE;SACpH;QACD,aAAa,EAAE,CAAC,MAAM,CAAC;QACvB,qBAAqB,EAAE,6BAA6B;QACpD,KAAK,EAAE,EAAE;QACT,WAAW,EAAE,EAAE,gBAAgB,EAAE,mBAAmB,EAAE;QACtD,WAAW,EAAE,0BAA0B;QACvC,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED,qEAAqE;AACrE,SAAS,sBAAsB;IAC7B,MAAM,aAAa,GAAyB;QAC1C,OAAO,EAAE,IAAI;QACb,WAAW,EAAE,EAAE;QACf,eAAe,EAAE,CAAC;QAClB,0BAA0B,EAAE,EAAE;KAC/B,CAAC;IACF,OAAO;QACL,iBAAiB,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,aAAa;KAC3D,CAAC;AACJ,CAAC;AAED,yEAAyE;AACzE,SAAS,mBAAmB,CAAC,MAA4B;IACvD,OAAO;QACL,iBAAiB,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM;KACpD,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,YAA6C,EAAE;IAClE,MAAM,aAAa,GAA6B,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;IACjE,OAAO;QACL,QAAQ,EAAE,sBAAsB,EAAE;QAClC,SAAS,EAAE,IAAI,yBAAyB,EAAE;QAC1C,MAAM,EAAE,OAAO;QACf,aAAa;QACb,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED,8DAA8D;AAC9D,SAAS,UAAU,CAAC,MAAsD;IACxE,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;IAC/D,IAAI,CAAC,QAAQ,IAAI,OAAO,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACnD,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,QAAQ,CAAC,IAAI,CAAC;AACvB,CAAC;AAED,2BAA2B;AAC3B,SAAS,QAAQ,CAAC,KAA+C,EAAE,IAAY;IAC7E,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IAChD,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,IAAI,KAAK,CAAC,SAAS,IAAI,+BAA+B,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,QAAQ,CAAC,gDAAgD,EAAE,GAAG,EAAE;IAC9D,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,KAAK,GAAG,qBAAqB,CAAC,WAAW,EAAE,CAAC,CAAC;QACnD,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;QAC9C,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,oBAAoB,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,mBAAmB,CAAC,CAAC,CAAC;IAC3G,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wFAAwF,EAAE,GAAG,EAAE;QAChG,MAAM,KAAK,GAAG,qBAAqB,CAAC,WAAW,EAAE,CAAC,CAAC;QACnD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACxC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YAC5C,MAAM,CAAC,OAAO,IAAI,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC/C,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YACnD,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;YAC7C,MAAM,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,2BAA2B,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjD,MAAM,CAAC,2BAA2B,CAAC,GAAG,CAAC,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzE,MAAM,CAAC,2BAA2B,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxE,MAAM,CAAC,2BAA2B,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtE,MAAM,CAAC,2BAA2B,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,EAAE,CAAC,wCAAwC,EAAE,KAAK,IAAI,EAAE;QACtD,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,EAAE,oBAAoB,CAAC,CAAC;QACnD,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAChD,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAChC,oFAAoF;QACpF,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,mCAAmC,CAAC,CAAC;QAC5D,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;QAC7C,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QAClC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QACjC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;QAC7C,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,KAAK,IAAI,EAAE;QAC1C,MAAM,KAAK,GAAwC,EAAE,CAAC;QACtD,MAAM,GAAG,GAAG,WAAW,CAAC;YACtB,eAAe,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC;SAChF,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,EAAE,oBAAoB,CAAC,CAAC;QACnD,MAAM,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QACjC,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,QAAQ,EAAE,oBAAoB,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,EAAE,CAAC,8BAA8B,EAAE,KAAK,IAAI,EAAE;QAC5C,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC,CAAC;QAClD,MAAM,IAAI,GAAG,mGAAmG,CAAC;QACjH,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACtD,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,KAAK,IAAI,EAAE;QACzE,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC,CAAC;QAClD,MAAM,IAAI,GAAG,kHAAkH,CAAC;QAChI,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACtD,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QAClC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,KAAK,IAAI,EAAE;QAC5D,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC,CAAC;QAClD,MAAM,IAAI,GAAG,0GAA0G,CAAC;QACxH,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACtD,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QAClC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,KAAK,IAAI,EAAE;QAC5E,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC,CAAC;QAClD,MAAM,IAAI,GAAG,kEAAkE,CAAC;QAChF,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACtD,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QAClC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,KAAK,IAAI,EAAE;QACrE,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC,CAAC;QAClD,MAAM,IAAI,GAAG,kGAAkG,CAAC;QAChH,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACtD,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QAClC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,EAAE,CAAC,qCAAqC,EAAE,KAAK,IAAI,EAAE;QACnD,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;QAChD,MAAM,IAAI,GAAG,mGAAmG,CAAC;QACjH,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE;YAC1C,IAAI;YACJ,gBAAgB,EAAE,cAAc,EAAE,CAAC,gBAAgB;SACpD,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,KAAK,IAAI,EAAE;QACtE,MAAM,aAAa,GAAyB;YAC1C,OAAO,EAAE,KAAK;YACd,WAAW,EAAE,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,SAAS,EAAE,eAAe,EAAE,OAAO,EAAE,2BAA2B,EAAE,CAAC;YACzG,eAAe,EAAE,CAAC;YAClB,0BAA0B,EAAE,EAAE;SAC/B,CAAC;QACF,MAAM,GAAG,GAAG,WAAW,CAAC,EAAE,QAAQ,EAAE,mBAAmB,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;QAC1E,MAAM,KAAK,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;QAChD,MAAM,IAAI,GAAG,mGAAmG,CAAC;QACjH,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE;YAC1C,IAAI;YACJ,gBAAgB,EAAE,cAAc,EAAE,CAAC,gBAAgB;SACpD,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QACjC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,2BAA2B,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,KAAK,IAAI,EAAE;QACrE,MAAM,aAAa,GAAyB;YAC1C,OAAO,EAAE,KAAK;YACd,WAAW,EAAE,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,SAAS,EAAE,mBAAmB,EAAE,OAAO,EAAE,oBAAoB,EAAE,CAAC;YACvG,eAAe,EAAE,CAAC;YAClB,0BAA0B,EAAE,CAAC,SAAS,CAAC;SACxC,CAAC;QACF,MAAM,GAAG,GAAG,WAAW,CAAC,EAAE,QAAQ,EAAE,mBAAmB,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;QAC1E,MAAM,KAAK,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;QAChD,MAAM,IAAI,GAAG,mGAAmG,CAAC;QACjH,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE;YAC1C,IAAI;YACJ,gBAAgB,EAAE,cAAc,EAAE,CAAC,gBAAgB;SACpD,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QACjC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,KAAK,IAAI,EAAE;QAC1E,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;QAChD,MAAM,IAAI,GAAG,mGAAmG,CAAC;QACjH,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE;YAC1C,IAAI;YACJ,gBAAgB,EAAE;gBAChB,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,gBAAgB,EAAE,OAAO,EAAE;aACpH;SACF,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QACjC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,2BAA2B,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2DAA2D,EAAE,KAAK,IAAI,EAAE;QACzE,MAAM,KAAK,GAAwC,EAAE,CAAC;QACtD,MAAM,aAAa,GAAyB;YAC1C,OAAO,EAAE,KAAK;YACd,WAAW,EAAE,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,SAAS,EAAE,eAAe,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;YACnF,eAAe,EAAE,CAAC;YAClB,0BAA0B,EAAE,EAAE;SAC/B,CAAC;QACF,MAAM,GAAG,GAAG,WAAW,CAAC;YACtB,QAAQ,EAAE,mBAAmB,CAAC,aAAa,CAAC;YAC5C,eAAe,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC;SAChF,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;QAChD,MAAM,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE;YAC3B,IAAI,EAAE,mGAAmG;YACzG,gBAAgB,EAAE,cAAc,EAAE,CAAC,gBAAgB;SACpD,CAAC,CAAC;QACH,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,QAAQ,EAAE,iBAAiB,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,EAAE,CAAC,2DAA2D,EAAE,KAAK,IAAI,EAAE;QACzE,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;QAChD,MAAM,MAAM,GAAG,cAAc,EAAE,CAAC;QAChC,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QACpD,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QACpC,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kDAAkD,EAAE,KAAK,IAAI,EAAE;QAChE,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;QAChD,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,cAAc,EAAE,CAAC,CAAC;QAC9D,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yEAAyE,EAAE,KAAK,IAAI,EAAE;QACvF,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;QAChD,MAAM,GAAG,GAAG,cAAc,EAAwC,CAAC;QACnE,OAAO,GAAG,CAAC,aAAa,CAAC;QACzB,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,GAAY,CAAC,CAAC;QAC1D,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACnC,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,KAAK,IAAI,EAAE;QACjE,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;QAChD,MAAM,GAAG,GAAG,cAAc,CAAC,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC,CAAC;QACxD,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACnC,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,KAAK,IAAI,EAAE;QACpE,MAAM,KAAK,GAAwC,EAAE,CAAC;QACtD,MAAM,GAAG,GAAG,WAAW,CAAC;YACtB,eAAe,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC;SAChF,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,EAAE,iBAAiB,CAAC,CAAC;QAChD,MAAM,GAAG,GAAG,cAAc,EAAwC,CAAC;QACnE,OAAO,GAAG,CAAC,aAAa,CAAC;QACzB,MAAM,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,GAAY,CAAC,CAAC;QAC3C,MAAM,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,QAAQ,EAAE,iBAAiB,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=artificer-output-typebox.test.d.ts.map

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

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

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

@@ -0,0 +1,149 @@
+/**
+ * PRI-439 — consistency proof: artificer-output-typebox.ts (typebox) matches
+ * artificer-output.ts (@sinclair/typebox) ArtificerRuleOutputSchema.
+ *
+ * Mirrors dreamer-output-typebox.test.ts: for a shared sample set (valid +
+ * invalid candidates), both schemas must accept/reject the same shapes. No `as`,
+ * no cast — the proof is behavioural.
+ *
+ * Boundary: pure test, no I/O.
+ */
+import { describe, it, expect } from 'vitest';
+import { Value as SinclairValue } from '@sinclair/typebox/value';
+import { Value as TypeboxValue } from 'typebox/value';
+import { ArtificerRuleOutputSchema } from '../../internalization/artificer-output.js';
+import { ArtificerRuleOutputTypebox, GoldenTraceCaseInputTypebox, } from '../artificer-output-typebox.js';
+// Minimal valid sample — extended/modified per test case.
+const VALID_OUTPUT = {
+    taskId: 'task-001',
+    sourceScribeArtifactId: 'pi-art-scribe-001',
+    implementationCode: 'function evaluate(input, helpers) { return { decision: "allow", matched: false, reason: "ok" }; }',
+    goldenTraceCases: [
+        { caseId: 'negative-1', kind: 'negative', toolName: 'edit', params: { path: '/etc/x' }, expectedDecision: 'block' },
+        { caseId: 'positive-1', kind: 'positive', toolName: 'read', params: { path: '/tmp/y' }, expectedDecision: 'allow' },
+    ],
+    affectedTools: ['edit'],
+    implementationSummary: 'Block writes to system dirs',
+    risks: [],
+    sourceTrace: { scribeArtifactId: 'pi-art-scribe-001' },
+    generatedAt: '2026-06-17T00:00:00.000Z',
+};
+function checkSinclair(value) {
+    return SinclairValue.Check(ArtificerRuleOutputSchema, value);
+}
+function checkTypebox(value) {
+    return TypeboxValue.Check(ArtificerRuleOutputTypebox, value);
+}
+describe('PRI-439 artificer-output-typebox consistency with @sinclair/typebox schema', () => {
+    it('both schemas accept the valid sample', () => {
+        expect(checkSinclair(VALID_OUTPUT)).toBe(true);
+        expect(checkTypebox(VALID_OUTPUT)).toBe(true);
+    });
+    it('both schemas reject missing implementationCode', () => {
+        const bad = { ...VALID_OUTPUT, implementationCode: undefined };
+        expect(checkSinclair(bad)).toBe(false);
+        expect(checkTypebox(bad)).toBe(false);
+    });
+    it('both schemas reject empty implementationCode', () => {
+        const bad = { ...VALID_OUTPUT, implementationCode: '' };
+        expect(checkSinclair(bad)).toBe(false);
+        expect(checkTypebox(bad)).toBe(false);
+    });
+    it('both schemas reject missing taskId', () => {
+        const bad = { ...VALID_OUTPUT, taskId: undefined };
+        expect(checkSinclair(bad)).toBe(false);
+        expect(checkTypebox(bad)).toBe(false);
+    });
+    it('both schemas reject empty affectedTools', () => {
+        const bad = { ...VALID_OUTPUT, affectedTools: [] };
+        expect(checkSinclair(bad)).toBe(false);
+        expect(checkTypebox(bad)).toBe(false);
+    });
+    it('both schemas reject fewer than 2 goldenTraceCases', () => {
+        const bad = { ...VALID_OUTPUT, goldenTraceCases: [VALID_OUTPUT.goldenTraceCases[0]] };
+        expect(checkSinclair(bad)).toBe(false);
+        expect(checkTypebox(bad)).toBe(false);
+    });
+    it('both schemas reject more than 10 goldenTraceCases', () => {
+        const cases = Array.from({ length: 11 }, (_, i) => ({
+            caseId: `case-${i}`,
+            kind: i % 2 === 0 ? 'positive' : 'negative',
+            toolName: 'edit',
+            params: { path: `/p/${i}` },
+            expectedDecision: i % 2 === 0 ? 'allow' : 'block',
+        }));
+        const bad = { ...VALID_OUTPUT, goldenTraceCases: cases };
+        expect(checkSinclair(bad)).toBe(false);
+        expect(checkTypebox(bad)).toBe(false);
+    });
+    it('both schemas reject invalid kind', () => {
+        const bad = {
+            ...VALID_OUTPUT,
+            goldenTraceCases: [
+                { ...VALID_OUTPUT.goldenTraceCases[0], kind: 'invalid' },
+                VALID_OUTPUT.goldenTraceCases[1],
+            ],
+        };
+        expect(checkSinclair(bad)).toBe(false);
+        expect(checkTypebox(bad)).toBe(false);
+    });
+    it('both schemas reject invalid expectedDecision', () => {
+        const bad = {
+            ...VALID_OUTPUT,
+            goldenTraceCases: [
+                { ...VALID_OUTPUT.goldenTraceCases[0], expectedDecision: 'invalid' },
+                VALID_OUTPUT.goldenTraceCases[1],
+            ],
+        };
+        expect(checkSinclair(bad)).toBe(false);
+        expect(checkTypebox(bad)).toBe(false);
+    });
+    it('both schemas reject missing sourceTrace', () => {
+        const bad = { ...VALID_OUTPUT, sourceTrace: undefined };
+        expect(checkSinclair(bad)).toBe(false);
+        expect(checkTypebox(bad)).toBe(false);
+    });
+    it('both schemas reject missing implementationSummary', () => {
+        const bad = { ...VALID_OUTPUT, implementationSummary: undefined };
+        expect(checkSinclair(bad)).toBe(false);
+        expect(checkTypebox(bad)).toBe(false);
+    });
+    it('both schemas accept optional philosopherArtifactId in sourceTrace', () => {
+        const good = {
+            ...VALID_OUTPUT,
+            sourceTrace: { scribeArtifactId: 'pi-art-scribe-001', philosopherArtifactId: 'pi-art-phil-001' },
+        };
+        expect(checkSinclair(good)).toBe(true);
+        expect(checkTypebox(good)).toBe(true);
+    });
+    it('both schemas accept optional expectedProposedParams + expectedApplicationMode on a case', () => {
+        const good = {
+            ...VALID_OUTPUT,
+            goldenTraceCases: [
+                ...VALID_OUTPUT.goldenTraceCases,
+                {
+                    caseId: 'correction-1',
+                    kind: 'negative',
+                    toolName: 'edit',
+                    params: { path: '/tmp/z' },
+                    expectedDecision: 'propose_correction',
+                    expectedProposedParams: { path: '/workspace/z' },
+                    expectedApplicationMode: 'shadow',
+                },
+            ],
+        };
+        expect(checkSinclair(good)).toBe(true);
+        expect(checkTypebox(good)).toBe(true);
+    });
+});
+describe('PRI-439 GoldenTraceCaseInputTypebox standalone', () => {
+    it('accepts a valid case', () => {
+        const valid = VALID_OUTPUT.goldenTraceCases[0];
+        expect(TypeboxValue.Check(GoldenTraceCaseInputTypebox, valid)).toBe(true);
+    });
+    it('rejects a case missing caseId', () => {
+        const bad = { ...VALID_OUTPUT.goldenTraceCases[0], caseId: undefined };
+        expect(TypeboxValue.Check(GoldenTraceCaseInputTypebox, bad)).toBe(false);
+    });
+});
+//# sourceMappingURL=artificer-output-typebox.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"artificer-output-typebox.test.js","sourceRoot":"","sources":["../../../../src/runtime-v2/tools/__tests__/artificer-output-typebox.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,KAAK,IAAI,aAAa,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,EAAE,KAAK,IAAI,YAAY,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,EAAE,yBAAyB,EAAE,MAAM,2CAA2C,CAAC;AACtF,OAAO,EACL,0BAA0B,EAC1B,2BAA2B,GAC5B,MAAM,gCAAgC,CAAC;AAExC,0DAA0D;AAC1D,MAAM,YAAY,GAAG;IACnB,MAAM,EAAE,UAAU;IAClB,sBAAsB,EAAE,mBAAmB;IAC3C,kBAAkB,EAAE,mGAAmG;IACvH,gBAAgB,EAAE;QAChB,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,gBAAgB,EAAE,OAAO,EAAE;QACnH,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,gBAAgB,EAAE,OAAO,EAAE;KACpH;IACD,aAAa,EAAE,CAAC,MAAM,CAAC;IACvB,qBAAqB,EAAE,6BAA6B;IACpD,KAAK,EAAE,EAAE;IACT,WAAW,EAAE,EAAE,gBAAgB,EAAE,mBAAmB,EAAE;IACtD,WAAW,EAAE,0BAA0B;CACxC,CAAC;AAEF,SAAS,aAAa,CAAC,KAAc;IACnC,OAAO,aAAa,CAAC,KAAK,CAAC,yBAAyB,EAAE,KAAK,CAAC,CAAC;AAC/D,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,OAAO,YAAY,CAAC,KAAK,CAAC,0BAA0B,EAAE,KAAK,CAAC,CAAC;AAC/D,CAAC;AAED,QAAQ,CAAC,4EAA4E,EAAE,GAAG,EAAE;IAC1F,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,aAAa,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/C,MAAM,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,GAAG,GAAG,EAAE,GAAG,YAAY,EAAE,kBAAkB,EAAE,SAAS,EAAE,CAAC;QAC/D,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,GAAG,GAAG,EAAE,GAAG,YAAY,EAAE,kBAAkB,EAAE,EAAE,EAAE,CAAC;QACxD,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,GAAG,GAAG,EAAE,GAAG,YAAY,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;QACnD,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,GAAG,GAAG,EAAE,GAAG,YAAY,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC;QACnD,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,GAAG,GAAG,EAAE,GAAG,YAAY,EAAE,gBAAgB,EAAE,CAAC,YAAY,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACtF,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YAClD,MAAM,EAAE,QAAQ,CAAC,EAAE;YACnB,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU;YAC3C,QAAQ,EAAE,MAAM;YAChB,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE;YAC3B,gBAAgB,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO;SAClD,CAAC,CAAC,CAAC;QACJ,MAAM,GAAG,GAAG,EAAE,GAAG,YAAY,EAAE,gBAAgB,EAAE,KAAK,EAAE,CAAC;QACzD,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,GAAG,GAAG;YACV,GAAG,YAAY;YACf,gBAAgB,EAAE;gBAChB,EAAE,GAAG,YAAY,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE;gBACxD,YAAY,CAAC,gBAAgB,CAAC,CAAC,CAAC;aACjC;SACF,CAAC;QACF,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,GAAG,GAAG;YACV,GAAG,YAAY;YACf,gBAAgB,EAAE;gBAChB,EAAE,GAAG,YAAY,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,SAAS,EAAE;gBACpE,YAAY,CAAC,gBAAgB,CAAC,CAAC,CAAC;aACjC;SACF,CAAC;QACF,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,GAAG,GAAG,EAAE,GAAG,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC;QACxD,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,GAAG,GAAG,EAAE,GAAG,YAAY,EAAE,qBAAqB,EAAE,SAAS,EAAE,CAAC;QAClE,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvC,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,IAAI,GAAG;YACX,GAAG,YAAY;YACf,WAAW,EAAE,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,iBAAiB,EAAE;SACjG,CAAC;QACF,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yFAAyF,EAAE,GAAG,EAAE;QACjG,MAAM,IAAI,GAAG;YACX,GAAG,YAAY;YACf,gBAAgB,EAAE;gBAChB,GAAG,YAAY,CAAC,gBAAgB;gBAChC;oBACE,MAAM,EAAE,cAAc;oBACtB,IAAI,EAAE,UAAU;oBAChB,QAAQ,EAAE,MAAM;oBAChB,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;oBAC1B,gBAAgB,EAAE,oBAAoB;oBACtC,sBAAsB,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE;oBAChD,uBAAuB,EAAE,QAAQ;iBAClC;aACF;SACF,CAAC;QACF,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,gDAAgD,EAAE,GAAG,EAAE;IAC9D,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,KAAK,GAAG,YAAY,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC;QAC/C,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,2BAA2B,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,GAAG,GAAG,EAAE,GAAG,YAAY,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;QACvE,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,2BAA2B,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

@@ -0,0 +1,72 @@
+/**
+ * PRI-439 §Phase 4 — Artificer L2 agent tool contract (core, pure logic).
+ *
+ * Defines the 4 tools the Artificer L2 agent loop can call, plus the context
+ * interface that injects the sandbox + validator. 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.
+ *
+ * Tool set (artificer, PRI-439 Phase 4):
+ *   - read_rulecode_spec : returns the RuleCode dialect spec (canonical form,
+ *                          forbidden patterns, return shape, golden trace rules)
+ *   - validate_rulecode  : runs STATIC validation (forbidden patterns + return
+ *                          statement checks + matched=false decision check) on
+ *                          a code string. No VM, no sandbox.
+ *   - replay_rulecode    : runs SANDBOX replay of code against a golden trace
+ *                          using the injected RefinerRuleHostGateDeps.
+ *   - submit_rulecode    : the model's final ArtificerRuleOutput submission.
+ *                          Stores into outputCapture; the adapter's
+ *                          shouldStopAfterTurn detects the capture and stops.
+ *
+ * The submit_rulecode tool does NOT terminate the loop via `terminate` alone
+ * (that is unreliable — agent-loop uses .every() over the whole tool batch,
+ * see l2-agent-loop-adapter.ts header comment). Loop termination is driven by
+ * shouldStopAfterTurn detecting the captured output.
+ *
+ * Boundary: pure logic, no I/O. Lives in core. No `node:*` imports.
+ */
+import type { AgentTool } from '@earendil-works/pi-agent-core';
+import { ArtificerRuleOutputTypebox } from './artificer-output-typebox.js';
+import type { RefinerRuleHostGateDeps } from '../internalization/refiner-rulehost-gate.js';
+import type { ArtificerValidator } from '../internalization/artificer-output.js';
+export interface ArtificerL2OutputCapture {
+    output: unknown | null;
+}
+export interface ArtificerL2ToolContext {
+    /** Sandbox replay deps (real or test double). */
+    gateDeps: RefinerRuleHostGateDeps;
+    /** Artificer output validator (used by submit_rulecode for runtime validation). */
+    validator: ArtificerValidator;
+    /** The taskId the loop is running for (lineage consistency check in submit). */
+    taskId: string;
+    /** The capture container the submit_rulecode tool writes into. */
+    outputCapture: ArtificerL2OutputCapture;
+    /** Telemetry sink: called once per tool execution (toolName + ok/error). */
+    onToolExecution?: (info: {
+        toolName: string;
+        ok: boolean;
+        error?: string;
+    }) => void;
+}
+export { ArtificerRuleOutputTypebox as SubmitRulecodeSchema };
+/**
+ * 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 declare const RULECODE_SPEC_TEXT: string;
+/**
+ * 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 declare function buildArtificerL2Tools(ctx: ArtificerL2ToolContext): AgentTool[];
+/** Allow-list of tool names the Artificer L2 loop may execute (defense-in-depth for beforeToolCall). */
+export declare const ARTIFICER_L2_TOOL_WHITELIST: ReadonlySet<string>;
+//# sourceMappingURL=artificer-l2-tool-contract.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"artificer-l2-tool-contract.d.ts","sourceRoot":"","sources":["../../../src/runtime-v2/tools/artificer-l2-tool-contract.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,OAAO,KAAK,EAAE,SAAS,EAAmB,MAAM,+BAA+B,CAAC;AAEhF,OAAO,EAAE,0BAA0B,EAA+B,MAAM,+BAA+B,CAAC;AAExG,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,6CAA6C,CAAC;AAE3F,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,wCAAwC,CAAC;AAOjF,MAAM,WAAW,wBAAwB;IACvC,MAAM,EAAE,OAAO,GAAG,IAAI,CAAC;CACxB;AAID,MAAM,WAAW,sBAAsB;IACrC,iDAAiD;IACjD,QAAQ,EAAE,uBAAuB,CAAC;IAClC,mFAAmF;IACnF,SAAS,EAAE,kBAAkB,CAAC;IAC9B,gFAAgF;IAChF,MAAM,EAAE,MAAM,CAAC;IACf,kEAAkE;IAClE,aAAa,EAAE,wBAAwB,CAAC;IACxC,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;AAoBD,OAAO,EAAE,0BAA0B,IAAI,oBAAoB,EAAE,CAAC;AAI9D;;;;;;;;GAQG;AACH,eAAO,MAAM,kBAAkB,QA4DnB,CAAC;AAIb;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,sBAAsB,GAAG,SAAS,EAAE,CA0L9E;AAED,wGAAwG;AACxG,eAAO,MAAM,2BAA2B,EAAE,WAAW,CAAC,MAAM,CAK1D,CAAC"}