@principles/core 1.151.0 → 1.152.0

package/dist/runtime-v2/__tests__/build-golden-trace-from-artificer.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=build-golden-trace-from-artificer.test.d.ts.map

package/dist/runtime-v2/__tests__/build-golden-trace-from-artificer.test.d.ts.map

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

package/dist/runtime-v2/__tests__/build-golden-trace-from-artificer.test.js

@@ -0,0 +1,169 @@
+/**
+ * buildGoldenTraceFromArtificer() tests (RuleHost MVP Activation, ADR-0014
+ * Amendment 2026-06-17, PRD Decision 5).
+ *
+ * TDD Phase 2.1 RED — asserts behavior not yet implemented in golden-trace.ts.
+ *
+ * Coverage (PRD Phase 2):
+ *   - 2 cases → valid GoldenTrace (1 positive + 1 negative)
+ *   - 10 cases → all preserved
+ *   - 0 cases → returns error (never produces an invalid GoldenTrace)
+ *   - 1 case → returns error (must have ≥1 positive + ≥1 negative)
+ *   - metadata filled: traceId, createdAt (ISO-8601 UTC), version=1
+ *   - output passes validateGoldenTrace()
+ *   - preserves sourceArtifactId linkage when provided
+ *
+ * ERR checklist (EP-01, EP-07): unknown input validated; lineage field
+ * (sourceArtifactId) carried through consistently.
+ */
+import { describe, it, expect } from 'vitest';
+import { validateGoldenTrace, buildGoldenTraceFromArtificer } from '../golden-trace.js';
+function makeCase(overrides = {}) {
+    return {
+        caseId: 'negative-1',
+        kind: 'negative',
+        toolName: 'edit',
+        params: { path: '/etc/passwd' },
+        expectedDecision: 'block',
+        ...overrides,
+    };
+}
+function makeValidPair() {
+    return [
+        makeCase({ caseId: 'negative-1', kind: 'negative', expectedDecision: 'block' }),
+        makeCase({
+            caseId: 'positive-1',
+            kind: 'positive',
+            toolName: 'read',
+            params: { path: '/tmp/safe.txt' },
+            expectedDecision: 'allow',
+        }),
+    ];
+}
+describe('buildGoldenTraceFromArtificer (RuleHost MVP Activation)', () => {
+    // ── happy path ────────────────────────────────────────────────────────────
+    it('builds a valid GoldenTrace from 2 cases (1 positive + 1 negative)', () => {
+        const result = buildGoldenTraceFromArtificer({
+            cases: makeValidPair(),
+            sourceArtifactId: 'pi-art-artificer-001-run-001',
+        });
+        expect(result.ok).toBe(true);
+        if (!result.ok)
+            return;
+        const { trace } = result;
+        expect(trace.cases).toHaveLength(2);
+        expect(validateGoldenTrace(trace).valid).toBe(true);
+    });
+    it('preserves all 10 cases', () => {
+        const cases = [
+            makeCase({ caseId: 'negative-1', kind: 'negative' }),
+            makeCase({ caseId: 'positive-1', kind: 'positive', toolName: 'read', expectedDecision: 'allow' }),
+        ];
+        for (let i = 2; i < 10; i++) {
+            cases.push(makeCase({ caseId: `negative-${i}`, kind: i % 2 === 0 ? 'negative' : 'positive', toolName: i % 2 === 0 ? 'edit' : 'read', expectedDecision: i % 2 === 0 ? 'block' : 'allow' }));
+        }
+        const result = buildGoldenTraceFromArtificer({ cases });
+        expect(result.ok).toBe(true);
+        if (!result.ok)
+            return;
+        expect(result.trace.cases).toHaveLength(10);
+    });
+    // ── metadata ───────────────────────────────────────────────────────────────
+    it('fills traceId as non-empty string', () => {
+        const result = buildGoldenTraceFromArtificer({ cases: makeValidPair() });
+        expect(result.ok).toBe(true);
+        if (!result.ok)
+            return;
+        expect(typeof result.trace.traceId).toBe('string');
+        expect(result.trace.traceId.length).toBeGreaterThan(0);
+    });
+    it('fills createdAt as a parseable ISO-8601 UTC timestamp', () => {
+        const result = buildGoldenTraceFromArtificer({ cases: makeValidPair() });
+        expect(result.ok).toBe(true);
+        if (!result.ok)
+            return;
+        const ts = result.trace.createdAt;
+        expect(ts).toMatch(/^\d{4}-\d{2}-\d{2}T\d{2}:\d{2}:\d{2}(\.\d{3})?Z$/);
+        expect(Number.isFinite(Date.parse(ts))).toBe(true);
+    });
+    it('sets version = 1', () => {
+        const result = buildGoldenTraceFromArtificer({ cases: makeValidPair() });
+        expect(result.ok).toBe(true);
+        if (!result.ok)
+            return;
+        expect(result.trace.version).toBe(1);
+    });
+    it('carries sourceArtifactId into sourceArtifactId field', () => {
+        const result = buildGoldenTraceFromArtificer({
+            cases: makeValidPair(),
+            sourceArtifactId: 'pi-art-artificer-001-run-001',
+        });
+        expect(result.ok).toBe(true);
+        if (!result.ok)
+            return;
+        expect(result.trace.sourceArtifactId).toBe('pi-art-artificer-001-run-001');
+    });
+    // ── compatibility with validateGoldenTrace ─────────────────────────────────
+    it('output passes validateGoldenTrace (full structural check)', () => {
+        const result = buildGoldenTraceFromArtificer({ cases: makeValidPair() });
+        expect(result.ok).toBe(true);
+        if (!result.ok)
+            return;
+        const v = validateGoldenTrace(result.trace);
+        expect(v.valid).toBe(true);
+        expect(v.errors).toEqual([]);
+    });
+    it('preserves propose_correction fields (expectedProposedParams + expectedApplicationMode)', () => {
+        const cases = [
+            makeCase({
+                caseId: 'negative-1',
+                kind: 'negative',
+                expectedDecision: 'propose_correction',
+                expectedProposedParams: { path: '/tmp/safe.txt' },
+                expectedApplicationMode: 'shadow',
+            }),
+            makeCase({ caseId: 'positive-1', kind: 'positive', toolName: 'read', expectedDecision: 'allow' }),
+        ];
+        const result = buildGoldenTraceFromArtificer({ cases });
+        expect(result.ok).toBe(true);
+        if (!result.ok)
+            return;
+        expect(validateGoldenTrace(result.trace).valid).toBe(true);
+        const neg = result.trace.cases.find((c) => c.kind === 'negative');
+        expect(neg?.expectedProposedParams).toEqual({ path: '/tmp/safe.txt' });
+        expect(neg?.expectedApplicationMode).toBe('shadow');
+    });
+    // ── error paths ────────────────────────────────────────────────────────────
+    it('rejects 0 cases with a structured error (never produces invalid GoldenTrace)', () => {
+        const result = buildGoldenTraceFromArtificer({ cases: [] });
+        expect(result.ok).toBe(false);
+        if (result.ok)
+            return;
+        expect(result.reason).toBeTruthy();
+    });
+    it('rejects 1 case (missing positive/negative partner)', () => {
+        const result = buildGoldenTraceFromArtificer({
+            cases: [makeCase({ caseId: 'negative-1', kind: 'negative' })],
+        });
+        expect(result.ok).toBe(false);
+    });
+    it('rejects all-positive cases (no negative)', () => {
+        const result = buildGoldenTraceFromArtificer({
+            cases: [
+                makeCase({ caseId: 'p1', kind: 'positive', toolName: 'read', expectedDecision: 'allow' }),
+                makeCase({ caseId: 'p2', kind: 'positive', toolName: 'read', expectedDecision: 'allow' }),
+            ],
+        });
+        expect(result.ok).toBe(false);
+    });
+    it('rejects all-negative cases (no positive)', () => {
+        const result = buildGoldenTraceFromArtificer({
+            cases: [
+                makeCase({ caseId: 'n1', kind: 'negative', expectedDecision: 'block' }),
+                makeCase({ caseId: 'n2', kind: 'negative', expectedDecision: 'block' }),
+            ],
+        });
+        expect(result.ok).toBe(false);
+    });
+});
+//# sourceMappingURL=build-golden-trace-from-artificer.test.js.map

package/dist/runtime-v2/__tests__/build-golden-trace-from-artificer.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"build-golden-trace-from-artificer.test.js","sourceRoot":"","sources":["../../../src/runtime-v2/__tests__/build-golden-trace-from-artificer.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,mBAAmB,EAAE,6BAA6B,EAAE,MAAM,oBAAoB,CAAC;AAGxF,SAAS,QAAQ,CAAC,YAA2C,EAAE;IAC7D,OAAO;QACL,MAAM,EAAE,YAAY;QACpB,IAAI,EAAE,UAAU;QAChB,QAAQ,EAAE,MAAM;QAChB,MAAM,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE;QAC/B,gBAAgB,EAAE,OAAO;QACzB,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED,SAAS,aAAa;IACpB,OAAO;QACL,QAAQ,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,gBAAgB,EAAE,OAAO,EAAE,CAAC;QAC/E,QAAQ,CAAC;YACP,MAAM,EAAE,YAAY;YACpB,IAAI,EAAE,UAAU;YAChB,QAAQ,EAAE,MAAM;YAChB,MAAM,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE;YACjC,gBAAgB,EAAE,OAAO;SAC1B,CAAC;KACH,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,yDAAyD,EAAE,GAAG,EAAE;IACvE,6EAA6E;IAE7E,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,MAAM,GAAG,6BAA6B,CAAC;YAC3C,KAAK,EAAE,aAAa,EAAE;YACtB,gBAAgB,EAAE,8BAA8B;SACjD,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,CAAC,MAAM,CAAC,EAAE;YAAE,OAAO;QACvB,MAAM,EAAC,KAAK,EAAC,GAAG,MAAM,CAAC;QACvB,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,KAAK,GAA2B;YACpC,QAAQ,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;YACpD,QAAQ,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,gBAAgB,EAAE,OAAO,EAAE,CAAC;SAClG,CAAC;QACF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,YAAY,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,EAAE,QAAQ,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,gBAAgB,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QAC7L,CAAC;QACD,MAAM,MAAM,GAAG,6BAA6B,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QACxD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,CAAC,MAAM,CAAC,EAAE;YAAE,OAAO;QACvB,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,8EAA8E;IAE9E,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,MAAM,GAAG,6BAA6B,CAAC,EAAE,KAAK,EAAE,aAAa,EAAE,EAAE,CAAC,CAAC;QACzE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,CAAC,MAAM,CAAC,EAAE;YAAE,OAAO;QACvB,MAAM,CAAC,OAAO,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACnD,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,MAAM,GAAG,6BAA6B,CAAC,EAAE,KAAK,EAAE,aAAa,EAAE,EAAE,CAAC,CAAC;QACzE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,CAAC,MAAM,CAAC,EAAE;YAAE,OAAO;QACvB,MAAM,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC;QAClC,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,kDAAkD,CAAC,CAAC;QACvE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,MAAM,GAAG,6BAA6B,CAAC,EAAE,KAAK,EAAE,aAAa,EAAE,EAAE,CAAC,CAAC;QACzE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,CAAC,MAAM,CAAC,EAAE;YAAE,OAAO;QACvB,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,MAAM,GAAG,6BAA6B,CAAC;YAC3C,KAAK,EAAE,aAAa,EAAE;YACtB,gBAAgB,EAAE,8BAA8B;SACjD,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,CAAC,MAAM,CAAC,EAAE;YAAE,OAAO;QACvB,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IAEH,8EAA8E;IAE9E,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,MAAM,GAAG,6BAA6B,CAAC,EAAE,KAAK,EAAE,aAAa,EAAE,EAAE,CAAC,CAAC;QACzE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,CAAC,MAAM,CAAC,EAAE;YAAE,OAAO;QACvB,MAAM,CAAC,GAAG,mBAAmB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC5C,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wFAAwF,EAAE,GAAG,EAAE;QAChG,MAAM,KAAK,GAA2B;YACpC,QAAQ,CAAC;gBACP,MAAM,EAAE,YAAY;gBACpB,IAAI,EAAE,UAAU;gBAChB,gBAAgB,EAAE,oBAAoB;gBACtC,sBAAsB,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE;gBACjD,uBAAuB,EAAE,QAAQ;aAClC,CAAC;YACF,QAAQ,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,gBAAgB,EAAE,OAAO,EAAE,CAAC;SAClG,CAAC;QACF,MAAM,MAAM,GAAG,6BAA6B,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;QACxD,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,CAAC,MAAM,CAAC,EAAE;YAAE,OAAO;QACvB,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3D,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;QAClE,MAAM,CAAC,GAAG,EAAE,sBAAsB,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC,CAAC;QACvE,MAAM,CAAC,GAAG,EAAE,uBAAuB,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,8EAA8E;IAE9E,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,MAAM,MAAM,GAAG,6BAA6B,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;QAC5D,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAI,MAAM,CAAC,EAAE;YAAE,OAAO;QACtB,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,MAAM,GAAG,6BAA6B,CAAC;YAC3C,KAAK,EAAE,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;SAC9D,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,MAAM,GAAG,6BAA6B,CAAC;YAC3C,KAAK,EAAE;gBACL,QAAQ,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,gBAAgB,EAAE,OAAO,EAAE,CAAC;gBACzF,QAAQ,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,gBAAgB,EAAE,OAAO,EAAE,CAAC;aAC1F;SACF,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,MAAM,GAAG,6BAA6B,CAAC;YAC3C,KAAK,EAAE;gBACL,QAAQ,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,gBAAgB,EAAE,OAAO,EAAE,CAAC;gBACvE,QAAQ,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,gBAAgB,EAAE,OAAO,EAAE,CAAC;aACxE;SACF,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/runtime-v2/__tests__/evaluator-runner-vslice-v2.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=evaluator-runner-vslice-v2.test.d.ts.map

package/dist/runtime-v2/__tests__/evaluator-runner-vslice-v2.test.d.ts.map

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