@cleocode/contracts 2026.5.121 → 2026.5.122

package/dist/__tests__/satisfies-atom.test.d.ts

@@ -0,0 +1,24 @@
+/**
+ * Tests for the ADR-079-r2 `satisfies:<task-id>#<ac-id>` evidence atom
+ * grammar (T10506).
+ *
+ * Coverage:
+ *   - Schema-level: per-field regex validation (task-id, ac-uuid, ac-alias,
+ *     version-pin) and discriminated-union acceptance.
+ *   - Parser-level: full {@link parseEvidenceString} round-trips for both
+ *     UUID and alias forms, mixed evidence strings, and the optional
+ *     `@<version-pin>` suffix.
+ *   - Malformed inputs: missing colon, missing hash, missing T-prefix,
+ *     mixed-case UUID, non-UUID non-alias ac-id, malformed version-pin.
+ *
+ * This file covers PARSING ONLY per T10506 acceptance criteria. The 5-check
+ * validator semantics (target exists, target not terminal, AC exists, same-
+ * saga scope rule, alias drift detection) ship in T10507 and are tested
+ * separately in `packages/core/src/tasks/__tests__/satisfies-validator.test.ts`.
+ *
+ * @task T10506
+ * @saga T10377
+ * @adr ADR-079-r2
+ */
+export {};
+//# sourceMappingURL=satisfies-atom.test.d.ts.map

package/dist/__tests__/satisfies-atom.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"satisfies-atom.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/satisfies-atom.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG"}

package/dist/__tests__/satisfies-atom.test.js

@@ -0,0 +1,302 @@
+/**
+ * Tests for the ADR-079-r2 `satisfies:<task-id>#<ac-id>` evidence atom
+ * grammar (T10506).
+ *
+ * Coverage:
+ *   - Schema-level: per-field regex validation (task-id, ac-uuid, ac-alias,
+ *     version-pin) and discriminated-union acceptance.
+ *   - Parser-level: full {@link parseEvidenceString} round-trips for both
+ *     UUID and alias forms, mixed evidence strings, and the optional
+ *     `@<version-pin>` suffix.
+ *   - Malformed inputs: missing colon, missing hash, missing T-prefix,
+ *     mixed-case UUID, non-UUID non-alias ac-id, malformed version-pin.
+ *
+ * This file covers PARSING ONLY per T10506 acceptance criteria. The 5-check
+ * validator semantics (target exists, target not terminal, AC exists, same-
+ * saga scope rule, alias drift detection) ship in T10507 and are tested
+ * separately in `packages/core/src/tasks/__tests__/satisfies-validator.test.ts`.
+ *
+ * @task T10506
+ * @saga T10377
+ * @adr ADR-079-r2
+ */
+import { describe, expect, it } from 'vitest';
+import { AC_ALIAS_REGEX, AC_UUID_REGEX, EvidenceAtomSchema, EvidenceParseError, parseEvidenceString, SATISFIES_TASK_ID_REGEX, SATISFIES_VERSION_PIN_REGEX, satisfiesAtomSchema, } from '../index.js';
+// ─── Per-field regex parity (ADR-079-r2 §2.1 ABNF) ────────────────────────
+describe('satisfies atom regexes (ADR-079-r2 §2.1)', () => {
+    describe('SATISFIES_TASK_ID_REGEX', () => {
+        it('accepts T<1-7 digits>', () => {
+            expect(SATISFIES_TASK_ID_REGEX.test('T1')).toBe(true);
+            expect(SATISFIES_TASK_ID_REGEX.test('T1234')).toBe(true);
+            expect(SATISFIES_TASK_ID_REGEX.test('T1234567')).toBe(true);
+        });
+        it('rejects T<8+ digits>', () => {
+            expect(SATISFIES_TASK_ID_REGEX.test('T12345678')).toBe(false);
+        });
+        it('rejects missing T prefix', () => {
+            expect(SATISFIES_TASK_ID_REGEX.test('1234')).toBe(false);
+        });
+        it('rejects lowercase t', () => {
+            expect(SATISFIES_TASK_ID_REGEX.test('t1234')).toBe(false);
+        });
+        it('rejects non-digit suffix', () => {
+            expect(SATISFIES_TASK_ID_REGEX.test('T12a')).toBe(false);
+        });
+    });
+    describe('AC_UUID_REGEX', () => {
+        it('accepts strict lowercase UUIDv4', () => {
+            expect(AC_UUID_REGEX.test('a1b2c3d4-5e6f-4890-abcd-ef1234567890')).toBe(true);
+            expect(AC_UUID_REGEX.test('00000000-0000-4000-8000-000000000000')).toBe(true);
+        });
+        it('rejects mixed-case', () => {
+            // Council-mandated strictness (ADR-079-r2 §2.2): "Validators MUST
+            // reject mixed-case to prevent silent dedupe failures."
+            expect(AC_UUID_REGEX.test('A1B2C3D4-5E6F-4890-ABCD-EF1234567890')).toBe(false);
+        });
+        it('rejects wrong version nibble (not 4)', () => {
+            expect(AC_UUID_REGEX.test('a1b2c3d4-5e6f-5890-abcd-ef1234567890')).toBe(false);
+        });
+        it('rejects wrong variant nibble (not 8/9/a/b)', () => {
+            expect(AC_UUID_REGEX.test('a1b2c3d4-5e6f-4890-cbcd-ef1234567890')).toBe(false);
+        });
+        it('rejects non-UUID strings', () => {
+            expect(AC_UUID_REGEX.test('not-a-uuid')).toBe(false);
+            expect(AC_UUID_REGEX.test('a1b2c3d45e6f4890abcdef1234567890')).toBe(false);
+        });
+    });
+    describe('AC_ALIAS_REGEX', () => {
+        it('accepts AC<1-4 digits>', () => {
+            expect(AC_ALIAS_REGEX.test('AC1')).toBe(true);
+            expect(AC_ALIAS_REGEX.test('AC9999')).toBe(true);
+        });
+        it('rejects AC<5+ digits>', () => {
+            expect(AC_ALIAS_REGEX.test('AC10000')).toBe(false);
+        });
+        it('rejects lowercase ac', () => {
+            expect(AC_ALIAS_REGEX.test('ac1')).toBe(false);
+        });
+        it('rejects bare integer', () => {
+            expect(AC_ALIAS_REGEX.test('1')).toBe(false);
+        });
+    });
+    describe('SATISFIES_VERSION_PIN_REGEX', () => {
+        it('accepts exactly 14 digits', () => {
+            expect(SATISFIES_VERSION_PIN_REGEX.test('20260524223045')).toBe(true);
+        });
+        it('rejects fewer than 14 digits', () => {
+            expect(SATISFIES_VERSION_PIN_REGEX.test('2026052422304')).toBe(false);
+        });
+        it('rejects more than 14 digits', () => {
+            expect(SATISFIES_VERSION_PIN_REGEX.test('202605242230451')).toBe(false);
+        });
+        it('rejects non-digit characters', () => {
+            expect(SATISFIES_VERSION_PIN_REGEX.test('2026-05-24T22:30')).toBe(false);
+        });
+    });
+});
+// ─── Zod schema (post-parse client-side validation) ────────────────────────
+describe('satisfiesAtomSchema (ADR-079-r2 §5.2)', () => {
+    it('accepts UUID form without version-pin', () => {
+        const a = satisfiesAtomSchema.parse({
+            kind: 'satisfies',
+            targetTaskId: 'T10495',
+            targetAcId: '8f4a2c1e-b09d-4f6a-9c3e-7a1d4f8c0b2e',
+        });
+        expect(a.targetTaskId).toBe('T10495');
+        expect(a.targetAcId).toBe('8f4a2c1e-b09d-4f6a-9c3e-7a1d4f8c0b2e');
+        expect(a.targetAcAlias).toBeUndefined();
+        expect(a.versionPin).toBeUndefined();
+    });
+    it('accepts alias form without version-pin', () => {
+        const a = satisfiesAtomSchema.parse({
+            kind: 'satisfies',
+            targetTaskId: 'T10495',
+            targetAcAlias: 'AC2',
+        });
+        expect(a.targetAcAlias).toBe('AC2');
+        expect(a.targetAcId).toBeUndefined();
+    });
+    it('accepts alias form with version-pin', () => {
+        const a = satisfiesAtomSchema.parse({
+            kind: 'satisfies',
+            targetTaskId: 'T10495',
+            targetAcAlias: 'AC2',
+            versionPin: '20260524223045',
+        });
+        expect(a.versionPin).toBe('20260524223045');
+    });
+    it('accepts UUID form with version-pin (highest-trust)', () => {
+        const a = satisfiesAtomSchema.parse({
+            kind: 'satisfies',
+            targetTaskId: 'T10495',
+            targetAcId: '8f4a2c1e-b09d-4f6a-9c3e-7a1d4f8c0b2e',
+            versionPin: '20260524223045',
+        });
+        expect(a.targetAcId).toBeDefined();
+        expect(a.versionPin).toBe('20260524223045');
+    });
+    it('rejects malformed targetTaskId via schema', () => {
+        const r = satisfiesAtomSchema.safeParse({
+            kind: 'satisfies',
+            targetTaskId: 'task-1234',
+            targetAcAlias: 'AC2',
+        });
+        expect(r.success).toBe(false);
+    });
+    it('rejects mixed-case UUID via schema', () => {
+        const r = satisfiesAtomSchema.safeParse({
+            kind: 'satisfies',
+            targetTaskId: 'T10495',
+            targetAcId: '8F4A2C1E-B09D-4F6A-9C3E-7A1D4F8C0B2E',
+        });
+        expect(r.success).toBe(false);
+    });
+    it('rejects malformed version-pin via schema', () => {
+        const r = satisfiesAtomSchema.safeParse({
+            kind: 'satisfies',
+            targetTaskId: 'T10495',
+            targetAcAlias: 'AC2',
+            versionPin: '2026-05-24T22:30',
+        });
+        expect(r.success).toBe(false);
+    });
+    it('round-trips through the EvidenceAtomSchema discriminated union', () => {
+        const a = EvidenceAtomSchema.parse({
+            kind: 'satisfies',
+            targetTaskId: 'T10495',
+            targetAcAlias: 'AC2',
+        });
+        expect(a.kind).toBe('satisfies');
+    });
+});
+// ─── parseEvidenceString (CLI parser) ──────────────────────────────────────
+describe('parseEvidenceString — satisfies atom (T10506)', () => {
+    // ─── Valid forms ─────────────────────────────────────────────────────────
+    it('parses UUID form', () => {
+        const atoms = parseEvidenceString('satisfies:T10495#8f4a2c1e-b09d-4f6a-9c3e-7a1d4f8c0b2e');
+        expect(atoms).toHaveLength(1);
+        expect(atoms[0]).toEqual({
+            kind: 'satisfies',
+            targetTaskId: 'T10495',
+            targetAcId: '8f4a2c1e-b09d-4f6a-9c3e-7a1d4f8c0b2e',
+        });
+    });
+    it('parses alias form', () => {
+        const atoms = parseEvidenceString('satisfies:T10495#AC2');
+        expect(atoms).toHaveLength(1);
+        expect(atoms[0]).toEqual({
+            kind: 'satisfies',
+            targetTaskId: 'T10495',
+            targetAcAlias: 'AC2',
+        });
+    });
+    it('parses alias form with version-pin', () => {
+        const atoms = parseEvidenceString('satisfies:T10495#AC2@20260524223045');
+        expect(atoms).toHaveLength(1);
+        expect(atoms[0]).toEqual({
+            kind: 'satisfies',
+            targetTaskId: 'T10495',
+            targetAcAlias: 'AC2',
+            versionPin: '20260524223045',
+        });
+    });
+    it('parses UUID form with version-pin (canonical highest-trust)', () => {
+        const atoms = parseEvidenceString('satisfies:T10495#8f4a2c1e-b09d-4f6a-9c3e-7a1d4f8c0b2e@20260524223045');
+        expect(atoms).toHaveLength(1);
+        expect(atoms[0]).toEqual({
+            kind: 'satisfies',
+            targetTaskId: 'T10495',
+            targetAcId: '8f4a2c1e-b09d-4f6a-9c3e-7a1d4f8c0b2e',
+            versionPin: '20260524223045',
+        });
+    });
+    it('parses multiple satisfies atoms in one evidence string', () => {
+        const atoms = parseEvidenceString('satisfies:T10495#AC2;satisfies:T10493#AC1');
+        expect(atoms).toHaveLength(2);
+        expect(atoms[0]).toMatchObject({
+            kind: 'satisfies',
+            targetTaskId: 'T10495',
+            targetAcAlias: 'AC2',
+        });
+        expect(atoms[1]).toMatchObject({
+            kind: 'satisfies',
+            targetTaskId: 'T10493',
+            targetAcAlias: 'AC1',
+        });
+    });
+    it('parses mixed evidence: commit + files + satisfies', () => {
+        const atoms = parseEvidenceString('commit:abc1234;files:src/foo.ts,src/bar.ts;satisfies:T10495#AC2');
+        expect(atoms).toHaveLength(3);
+        expect(atoms[0]).toEqual({ kind: 'commit', sha: 'abc1234' });
+        expect(atoms[1]).toEqual({ kind: 'files', paths: ['src/foo.ts', 'src/bar.ts'] });
+        expect(atoms[2]).toEqual({
+            kind: 'satisfies',
+            targetTaskId: 'T10495',
+            targetAcAlias: 'AC2',
+        });
+    });
+    it('parses mixed evidence: satisfies + pr (single PR landing multiple ACs)', () => {
+        const atoms = parseEvidenceString('satisfies:T10506#AC1;satisfies:T10506#AC2;pr:773');
+        expect(atoms).toHaveLength(3);
+        expect(atoms[2]).toEqual({ kind: 'pr', prNumber: 773 });
+    });
+    // ─── Malformed: missing colon ────────────────────────────────────────────
+    it('rejects atom missing the kind-payload colon', () => {
+        // "satisfiesT10495#AC2" — no `:` separator at all
+        expect(() => parseEvidenceString('satisfiesT10495#AC2')).toThrow(EvidenceParseError);
+    });
+    // ─── Malformed: missing hash ─────────────────────────────────────────────
+    it('rejects atom missing the # separator between task-id and ac-id', () => {
+        expect(() => parseEvidenceString('satisfies:T10495-AC2')).toThrow(EvidenceParseError);
+        expect(() => parseEvidenceString('satisfies:T10495AC2')).toThrow(EvidenceParseError);
+    });
+    it('rejects atom with # at start of payload (empty task-id)', () => {
+        expect(() => parseEvidenceString('satisfies:#AC2')).toThrow(EvidenceParseError);
+    });
+    it('rejects atom with # at end of payload (empty ac-id)', () => {
+        expect(() => parseEvidenceString('satisfies:T10495#')).toThrow(EvidenceParseError);
+    });
+    // ─── Malformed: missing T-prefix on task-id ──────────────────────────────
+    it('rejects atom with non-T-prefixed task-id', () => {
+        expect(() => parseEvidenceString('satisfies:10495#AC2')).toThrow(EvidenceParseError);
+        expect(() => parseEvidenceString('satisfies:task-10495#AC2')).toThrow(EvidenceParseError);
+    });
+    it('rejects atom with lowercase t prefix', () => {
+        expect(() => parseEvidenceString('satisfies:t10495#AC2')).toThrow(EvidenceParseError);
+    });
+    it('rejects atom with task-id exceeding 7 digits', () => {
+        expect(() => parseEvidenceString('satisfies:T12345678#AC2')).toThrow(EvidenceParseError);
+    });
+    // ─── Malformed: ac-id ────────────────────────────────────────────────────
+    it('rejects atom with mixed-case UUID', () => {
+        // Council §2.2 strictness — silent dedupe prevention
+        expect(() => parseEvidenceString('satisfies:T10495#8F4A2C1E-B09D-4F6A-9C3E-7A1D4F8C0B2E')).toThrow(EvidenceParseError);
+    });
+    it('rejects atom with ac-id that is neither UUID nor AC<digits> alias', () => {
+        expect(() => parseEvidenceString('satisfies:T10495#hello')).toThrow(EvidenceParseError);
+        expect(() => parseEvidenceString('satisfies:T10495#2')).toThrow(EvidenceParseError);
+    });
+    it('rejects atom with alias exceeding 4 digits', () => {
+        expect(() => parseEvidenceString('satisfies:T10495#AC10000')).toThrow(EvidenceParseError);
+    });
+    // ─── Malformed: version-pin ──────────────────────────────────────────────
+    it('rejects atom with malformed version-pin (not 14 digits)', () => {
+        expect(() => parseEvidenceString('satisfies:T10495#AC2@2026-05-24')).toThrow(EvidenceParseError);
+        expect(() => parseEvidenceString('satisfies:T10495#AC2@2026052422304')).toThrow(EvidenceParseError);
+    });
+    it('rejects atom with @ but empty version-pin payload', () => {
+        expect(() => parseEvidenceString('satisfies:T10495#AC2@')).toThrow(EvidenceParseError);
+    });
+    // ─── Error message smoke: ensures kind name appears in default-case ──────
+    it('includes "satisfies" in the unknown-kind error suggestion list', () => {
+        try {
+            parseEvidenceString('unknownkind:foo');
+            throw new Error('expected EvidenceParseError');
+        }
+        catch (err) {
+            expect(err).toBeInstanceOf(EvidenceParseError);
+            expect(err.fix).toContain('satisfies');
+        }
+    });
+});
+//# sourceMappingURL=satisfies-atom.test.js.map

package/dist/__tests__/satisfies-atom.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"satisfies-atom.test.js","sourceRoot":"","sources":["../../src/__tests__/satisfies-atom.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EACL,cAAc,EACd,aAAa,EACb,kBAAkB,EAClB,kBAAkB,EAClB,mBAAmB,EACnB,uBAAuB,EACvB,2BAA2B,EAC3B,mBAAmB,GACpB,MAAM,aAAa,CAAC;AAErB,6EAA6E;AAE7E,QAAQ,CAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACvC,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;YAC/B,MAAM,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtD,MAAM,CAAC,uBAAuB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzD,MAAM,CAAC,uBAAuB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9D,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;YAC9B,MAAM,CAAC,uBAAuB,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChE,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;YAClC,MAAM,CAAC,uBAAuB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,qBAAqB,EAAE,GAAG,EAAE;YAC7B,MAAM,CAAC,uBAAuB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5D,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;YAClC,MAAM,CAAC,uBAAuB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;QAC7B,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;YACzC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9E,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChF,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE;YAC5B,kEAAkE;YAClE,wDAAwD;YACxD,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjF,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;YAC9C,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjF,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;YACpD,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjF,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;YAClC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACrD,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7E,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;QAC9B,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;YAChC,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9C,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,uBAAuB,EAAE,GAAG,EAAE;YAC/B,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;YAC9B,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjD,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;YAC9B,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;QAC3C,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;YACnC,MAAM,CAAC,2BAA2B,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxE,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;YACtC,MAAM,CAAC,2BAA2B,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxE,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;YACrC,MAAM,CAAC,2BAA2B,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1E,CAAC,CAAC,CAAC;QACH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;YACtC,MAAM,CAAC,2BAA2B,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3E,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAE9E,QAAQ,CAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,mBAAmB,CAAC,KAAK,CAAC;YAClC,IAAI,EAAE,WAAW;YACjB,YAAY,EAAE,QAAQ;YACtB,UAAU,EAAE,sCAAsC;SACnD,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACtC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;QAClE,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,aAAa,EAAE,CAAC;QACxC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,aAAa,EAAE,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,CAAC,GAAG,mBAAmB,CAAC,KAAK,CAAC;YAClC,IAAI,EAAE,WAAW;YACjB,YAAY,EAAE,QAAQ;YACtB,aAAa,EAAE,KAAK;SACrB,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,aAAa,EAAE,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,GAAG,mBAAmB,CAAC,KAAK,CAAC;YAClC,IAAI,EAAE,WAAW;YACjB,YAAY,EAAE,QAAQ;YACtB,aAAa,EAAE,KAAK;YACpB,UAAU,EAAE,gBAAgB;SAC7B,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,GAAG,mBAAmB,CAAC,KAAK,CAAC;YAClC,IAAI,EAAE,WAAW;YACjB,YAAY,EAAE,QAAQ;YACtB,UAAU,EAAE,sCAAsC;YAClD,UAAU,EAAE,gBAAgB;SAC7B,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,WAAW,EAAE,CAAC;QACnC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,mBAAmB,CAAC,SAAS,CAAC;YACtC,IAAI,EAAE,WAAW;YACjB,YAAY,EAAE,WAAW;YACzB,aAAa,EAAE,KAAK;SACrB,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,mBAAmB,CAAC,SAAS,CAAC;YACtC,IAAI,EAAE,WAAW;YACjB,YAAY,EAAE,QAAQ;YACtB,UAAU,EAAE,sCAAsC;SACnD,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAG,mBAAmB,CAAC,SAAS,CAAC;YACtC,IAAI,EAAE,WAAW;YACjB,YAAY,EAAE,QAAQ;YACtB,aAAa,EAAE,KAAK;YACpB,UAAU,EAAE,kBAAkB;SAC/B,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,CAAC,GAAG,kBAAkB,CAAC,KAAK,CAAC;YACjC,IAAI,EAAE,WAAW;YACjB,YAAY,EAAE,QAAQ;YACtB,aAAa,EAAE,KAAK;SACrB,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAE9E,QAAQ,CAAC,+CAA+C,EAAE,GAAG,EAAE;IAC7D,4EAA4E;IAE5E,EAAE,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,KAAK,GAAG,mBAAmB,CAAC,uDAAuD,CAAC,CAAC;QAC3F,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YACvB,IAAI,EAAE,WAAW;YACjB,YAAY,EAAE,QAAQ;YACtB,UAAU,EAAE,sCAAsC;SACnD,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,KAAK,GAAG,mBAAmB,CAAC,sBAAsB,CAAC,CAAC;QAC1D,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YACvB,IAAI,EAAE,WAAW;YACjB,YAAY,EAAE,QAAQ;YACtB,aAAa,EAAE,KAAK;SACrB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,KAAK,GAAG,mBAAmB,CAAC,qCAAqC,CAAC,CAAC;QACzE,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YACvB,IAAI,EAAE,WAAW;YACjB,YAAY,EAAE,QAAQ;YACtB,aAAa,EAAE,KAAK;YACpB,UAAU,EAAE,gBAAgB;SAC7B,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,KAAK,GAAG,mBAAmB,CAC/B,sEAAsE,CACvE,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YACvB,IAAI,EAAE,WAAW;YACjB,YAAY,EAAE,QAAQ;YACtB,UAAU,EAAE,sCAAsC;YAClD,UAAU,EAAE,gBAAgB;SAC7B,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,KAAK,GAAG,mBAAmB,CAAC,2CAA2C,CAAC,CAAC;QAC/E,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;YAC7B,IAAI,EAAE,WAAW;YACjB,YAAY,EAAE,QAAQ;YACtB,aAAa,EAAE,KAAK;SACrB,CAAC,CAAC;QACH,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;YAC7B,IAAI,EAAE,WAAW;YACjB,YAAY,EAAE,QAAQ;YACtB,aAAa,EAAE,KAAK;SACrB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,KAAK,GAAG,mBAAmB,CAC/B,iEAAiE,CAClE,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,CAAC;QAC7D,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,YAAY,EAAE,YAAY,CAAC,EAAE,CAAC,CAAC;QACjF,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YACvB,IAAI,EAAE,WAAW;YACjB,YAAY,EAAE,QAAQ;YACtB,aAAa,EAAE,KAAK;SACrB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,KAAK,GAAG,mBAAmB,CAAC,kDAAkD,CAAC,CAAC;QACtF,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,4EAA4E;IAE5E,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,kDAAkD;QAClD,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,qBAAqB,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IACvF,CAAC,CAAC,CAAC;IAEH,4EAA4E;IAE5E,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,sBAAsB,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;QACtF,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,qBAAqB,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IACvF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,mBAAmB,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IACrF,CAAC,CAAC,CAAC;IAEH,4EAA4E;IAE5E,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,qBAAqB,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;QACrF,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,0BAA0B,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IAC5F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,sBAAsB,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IACxF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,yBAAyB,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IAC3F,CAAC,CAAC,CAAC;IAEH,4EAA4E;IAE5E,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,qDAAqD;QACrD,MAAM,CAAC,GAAG,EAAE,CACV,mBAAmB,CAAC,uDAAuD,CAAC,CAC7E,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,wBAAwB,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;QACxF,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,oBAAoB,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IACtF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,0BAA0B,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IAC5F,CAAC,CAAC,CAAC;IAEH,4EAA4E;IAE5E,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,iCAAiC,CAAC,CAAC,CAAC,OAAO,CAC1E,kBAAkB,CACnB,CAAC;QACF,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,oCAAoC,CAAC,CAAC,CAAC,OAAO,CAC7E,kBAAkB,CACnB,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,EAAE,CAAC,mBAAmB,CAAC,uBAAuB,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IACzF,CAAC,CAAC,CAAC;IAEH,4EAA4E;IAE5E,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,IAAI,CAAC;YACH,mBAAmB,CAAC,iBAAiB,CAAC,CAAC;YACvC,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;QACjD,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,CAAC,GAAG,CAAC,CAAC,cAAc,CAAC,kBAAkB,CAAC,CAAC;YAC/C,MAAM,CAAE,GAA0B,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QACjE,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/__tests__/validator-types.test.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Type-level and runtime shape tests for T10510 Validator role contracts.
+ *
+ * Covers the AgentRole enum extension and the four envelope types
+ * (`ValidatorFinding`, `ValidatorAttestation`, `ValidatorRejection`,
+ * `ValidatorVerdict`) plus their Zod schemas and type guards.
+ *
+ * @task T10510
+ * @epic T10383 (E-VALIDATOR-ROLE)
+ * @saga T10377 (SG-IVTR-AC-BINDING)
+ */
+export {};
+//# sourceMappingURL=validator-types.test.d.ts.map

package/dist/__tests__/validator-types.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validator-types.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/validator-types.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG"}

package/dist/__tests__/validator-types.test.js

@@ -0,0 +1,293 @@
+/**
+ * Type-level and runtime shape tests for T10510 Validator role contracts.
+ *
+ * Covers the AgentRole enum extension and the four envelope types
+ * (`ValidatorFinding`, `ValidatorAttestation`, `ValidatorRejection`,
+ * `ValidatorVerdict`) plus their Zod schemas and type guards.
+ *
+ * @task T10510
+ * @epic T10383 (E-VALIDATOR-ROLE)
+ * @saga T10377 (SG-IVTR-AC-BINDING)
+ */
+import { describe, expect, it } from 'vitest';
+import { AGENT_ROLES, isAgentRole, isValidatorAttestation, isValidatorRejection, isValidatorVerdict, VALIDATOR_ID_REGEX, validatorAttestationSchema, validatorFindingSchema, validatorRejectionSchema, validatorVerdictSchema, } from '../validator/index.js';
+// ============================================================================
+// Test fixtures
+// ============================================================================
+const NOW = '2026-05-24T12:00:00Z';
+const passFinding = {
+    acId: '11111111-1111-4111-8111-111111111111',
+    status: 'pass',
+    reasoning: 'AC satisfied — implementation matches spec',
+    checkedAt: NOW,
+};
+const failFinding = {
+    acId: '22222222-2222-4222-8222-222222222222',
+    status: 'fail',
+    reasoning: 'Missing error handling for the null branch',
+    evidenceRefs: ['src/foo.ts:42', 'tests/foo.test.ts:17'],
+    checkedAt: NOW,
+};
+const inconclusiveFinding = {
+    acId: '33333333-3333-4333-8333-333333333333',
+    status: 'inconclusive',
+    reasoning: 'Cannot reproduce the claimed test — file not present',
+    checkedAt: NOW,
+};
+// ============================================================================
+// AgentRole enum
+// ============================================================================
+describe('AgentRole enum (T10510)', () => {
+    it('contains the four canonical roles', () => {
+        expect(AGENT_ROLES).toEqual(['orchestrator', 'lead', 'worker', 'validator']);
+    });
+    it('AGENT_ROLES is a readonly tuple of length 4', () => {
+        // `as const` is a compile-time readonly marker — there is no runtime
+        // freeze. The TS type guard below ensures mutation attempts are rejected
+        // by the compiler; runtime length is the structural invariant.
+        expect(AGENT_ROLES.length).toBe(4);
+        // @ts-expect-error — readonly tuple disallows .push at the type level.
+        AGENT_ROLES.push;
+    });
+    it('AgentRole type compiles for all four values', () => {
+        const roles = ['orchestrator', 'lead', 'worker', 'validator'];
+        expect(roles).toHaveLength(4);
+    });
+    it('isAgentRole accepts canonical values', () => {
+        for (const r of AGENT_ROLES) {
+            expect(isAgentRole(r)).toBe(true);
+        }
+    });
+    it('isAgentRole rejects unknown strings and non-strings', () => {
+        expect(isAgentRole('subagent')).toBe(false);
+        expect(isAgentRole('Validator')).toBe(false);
+        expect(isAgentRole('')).toBe(false);
+        expect(isAgentRole(undefined)).toBe(false);
+        expect(isAgentRole(null)).toBe(false);
+        expect(isAgentRole(42)).toBe(false);
+        expect(isAgentRole({})).toBe(false);
+    });
+});
+// ============================================================================
+// VALIDATOR_ID_REGEX
+// ============================================================================
+describe('VALIDATOR_ID_REGEX (T10510)', () => {
+    it('accepts canonical validator agentIds', () => {
+        expect(VALIDATOR_ID_REGEX.test('validator-prime')).toBe(true);
+        expect(VALIDATOR_ID_REGEX.test('validator-sec-001')).toBe(true);
+        expect(VALIDATOR_ID_REGEX.test('validator-a')).toBe(true);
+        expect(VALIDATOR_ID_REGEX.test('validator-9-test')).toBe(true);
+    });
+    it('rejects malformed validator agentIds', () => {
+        expect(VALIDATOR_ID_REGEX.test('validator-')).toBe(false);
+        expect(VALIDATOR_ID_REGEX.test('Validator-prime')).toBe(false);
+        expect(VALIDATOR_ID_REGEX.test('validator-Prime')).toBe(false);
+        expect(VALIDATOR_ID_REGEX.test('worker-prime')).toBe(false);
+        expect(VALIDATOR_ID_REGEX.test('validator-_x')).toBe(false);
+    });
+});
+// ============================================================================
+// ValidatorFinding
+// ============================================================================
+describe('ValidatorFinding (T10510)', () => {
+    it('accepts pass / fail / inconclusive', () => {
+        expect(validatorFindingSchema.safeParse(passFinding).success).toBe(true);
+        expect(validatorFindingSchema.safeParse(failFinding).success).toBe(true);
+        expect(validatorFindingSchema.safeParse(inconclusiveFinding).success).toBe(true);
+    });
+    it('rejects empty acId', () => {
+        const bad = { ...passFinding, acId: '' };
+        expect(validatorFindingSchema.safeParse(bad).success).toBe(false);
+    });
+    it('rejects empty reasoning', () => {
+        const bad = { ...passFinding, reasoning: '' };
+        expect(validatorFindingSchema.safeParse(bad).success).toBe(false);
+    });
+    it('rejects unknown status value', () => {
+        const bad = { ...passFinding, status: 'warn' };
+        expect(validatorFindingSchema.safeParse(bad).success).toBe(false);
+    });
+    it('accepts optional evidenceRefs array', () => {
+        const withRefs = { ...passFinding, evidenceRefs: ['a', 'b'] };
+        expect(validatorFindingSchema.safeParse(withRefs).success).toBe(true);
+    });
+});
+// ============================================================================
+// ValidatorAttestation
+// ============================================================================
+describe('ValidatorAttestation (T10510)', () => {
+    const baseAttestation = {
+        verdict: 'attest',
+        taskId: 'T10510',
+        validatorId: 'validator-prime',
+        findings: [passFinding],
+        attestedAt: NOW,
+        schemaVersion: '1',
+    };
+    it('accepts a well-formed attestation with all passes', () => {
+        expect(validatorAttestationSchema.safeParse(baseAttestation).success).toBe(true);
+    });
+    it('accepts optional summary', () => {
+        const withSummary = { ...baseAttestation, summary: 'All ACs verified' };
+        expect(validatorAttestationSchema.safeParse(withSummary).success).toBe(true);
+    });
+    it('accepts multiple pass findings', () => {
+        const multi = {
+            ...baseAttestation,
+            findings: [passFinding, { ...passFinding, acId: '44444444-4444-4444-8444-444444444444' }],
+        };
+        expect(validatorAttestationSchema.safeParse(multi).success).toBe(true);
+    });
+    it('REJECTS attestation containing any fail finding', () => {
+        const mixed = { ...baseAttestation, findings: [passFinding, failFinding] };
+        const r = validatorAttestationSchema.safeParse(mixed);
+        expect(r.success).toBe(false);
+    });
+    it('REJECTS attestation containing inconclusive finding', () => {
+        const mixed = { ...baseAttestation, findings: [passFinding, inconclusiveFinding] };
+        expect(validatorAttestationSchema.safeParse(mixed).success).toBe(false);
+    });
+    it('REJECTS empty findings array', () => {
+        const empty = { ...baseAttestation, findings: [] };
+        expect(validatorAttestationSchema.safeParse(empty).success).toBe(false);
+    });
+    it('REJECTS malformed validatorId', () => {
+        const bad = { ...baseAttestation, validatorId: 'worker-prime' };
+        expect(validatorAttestationSchema.safeParse(bad).success).toBe(false);
+    });
+    it('REJECTS wrong verdict discriminant', () => {
+        const bad = { ...baseAttestation, verdict: 'reject' };
+        expect(validatorAttestationSchema.safeParse(bad).success).toBe(false);
+    });
+    it('REJECTS wrong schemaVersion', () => {
+        const bad = { ...baseAttestation, schemaVersion: '2' };
+        expect(validatorAttestationSchema.safeParse(bad).success).toBe(false);
+    });
+});
+// ============================================================================
+// ValidatorRejection
+// ============================================================================
+describe('ValidatorRejection (T10510)', () => {
+    const baseRejection = {
+        verdict: 'reject',
+        taskId: 'T10510',
+        validatorId: 'validator-sec-001',
+        findings: [failFinding],
+        summary: 'AC#2 fails — null branch unhandled',
+        rejectedAt: NOW,
+        schemaVersion: '1',
+    };
+    it('accepts a well-formed rejection with a fail finding', () => {
+        expect(validatorRejectionSchema.safeParse(baseRejection).success).toBe(true);
+    });
+    it('accepts a rejection with only an inconclusive finding', () => {
+        const inc = { ...baseRejection, findings: [inconclusiveFinding] };
+        expect(validatorRejectionSchema.safeParse(inc).success).toBe(true);
+    });
+    it('accepts mixed pass + fail findings', () => {
+        const mixed = { ...baseRejection, findings: [passFinding, failFinding] };
+        expect(validatorRejectionSchema.safeParse(mixed).success).toBe(true);
+    });
+    it('REJECTS rejection where every finding is pass', () => {
+        const allPass = { ...baseRejection, findings: [passFinding, passFinding] };
+        const r = validatorRejectionSchema.safeParse(allPass);
+        expect(r.success).toBe(false);
+    });
+    it('REJECTS empty findings array', () => {
+        const empty = { ...baseRejection, findings: [] };
+        expect(validatorRejectionSchema.safeParse(empty).success).toBe(false);
+    });
+    it('REJECTS empty summary', () => {
+        const bad = { ...baseRejection, summary: '' };
+        expect(validatorRejectionSchema.safeParse(bad).success).toBe(false);
+    });
+    it('accepts optional remediationHints', () => {
+        const withHints = {
+            ...baseRejection,
+            remediationHints: ['Add null guard to foo()', 'Add regression test'],
+        };
+        expect(validatorRejectionSchema.safeParse(withHints).success).toBe(true);
+    });
+});
+// ============================================================================
+// ValidatorVerdict discriminated union
+// ============================================================================
+describe('ValidatorVerdict (T10510)', () => {
+    const attestation = {
+        verdict: 'attest',
+        taskId: 'T10510',
+        validatorId: 'validator-prime',
+        findings: [passFinding],
+        attestedAt: NOW,
+        schemaVersion: '1',
+    };
+    const rejection = {
+        verdict: 'reject',
+        taskId: 'T10510',
+        validatorId: 'validator-prime',
+        findings: [failFinding],
+        summary: 'fail',
+        rejectedAt: NOW,
+        schemaVersion: '1',
+    };
+    it('schema accepts both attest and reject envelopes', () => {
+        expect(validatorVerdictSchema.safeParse(attestation).success).toBe(true);
+        expect(validatorVerdictSchema.safeParse(rejection).success).toBe(true);
+    });
+    it('schema rejects envelope with unknown verdict', () => {
+        const bad = { ...attestation, verdict: 'maybe' };
+        expect(validatorVerdictSchema.safeParse(bad).success).toBe(false);
+    });
+    it('discriminant narrows in TypeScript at compile time', () => {
+        const handle = (v) => {
+            if (v.verdict === 'attest') {
+                // TS narrows to ValidatorAttestation here
+                return `attested ${v.attestedAt}`;
+            }
+            // TS narrows to ValidatorRejection here
+            return `rejected ${v.rejectedAt} — ${v.summary}`;
+        };
+        expect(handle(attestation)).toContain('attested');
+        expect(handle(rejection)).toContain('rejected');
+    });
+});
+// ============================================================================
+// Type guards
+// ============================================================================
+describe('Validator type guards (T10510)', () => {
+    const attestation = {
+        verdict: 'attest',
+        taskId: 'T10510',
+        validatorId: 'validator-prime',
+        findings: [passFinding],
+        attestedAt: NOW,
+        schemaVersion: '1',
+    };
+    const rejection = {
+        verdict: 'reject',
+        taskId: 'T10510',
+        validatorId: 'validator-prime',
+        findings: [failFinding],
+        summary: 'fail',
+        rejectedAt: NOW,
+        schemaVersion: '1',
+    };
+    it('isValidatorAttestation returns true only for attestations', () => {
+        expect(isValidatorAttestation(attestation)).toBe(true);
+        expect(isValidatorAttestation(rejection)).toBe(false);
+        expect(isValidatorAttestation(null)).toBe(false);
+        expect(isValidatorAttestation({})).toBe(false);
+    });
+    it('isValidatorRejection returns true only for rejections', () => {
+        expect(isValidatorRejection(rejection)).toBe(true);
+        expect(isValidatorRejection(attestation)).toBe(false);
+        expect(isValidatorRejection(null)).toBe(false);
+    });
+    it('isValidatorVerdict returns true for both shapes', () => {
+        expect(isValidatorVerdict(attestation)).toBe(true);
+        expect(isValidatorVerdict(rejection)).toBe(true);
+        expect(isValidatorVerdict({ verdict: 'attest' })).toBe(false);
+        expect(isValidatorVerdict(null)).toBe(false);
+    });
+});
+//# sourceMappingURL=validator-types.test.js.map