@cleocode/contracts 2026.4.69 → 2026.4.72

package/dist/__tests__/evidence-record.test.js

@@ -0,0 +1,362 @@
+/**
+ * Round-trip Zod parse tests for `EvidenceRecord` variants.
+ *
+ * Each variant is exercised with two cases:
+ *   1. A minimal (required-fields-only) input.
+ *   2. A maximal (all-fields populated) input with a structural type-check.
+ *
+ * Five variants × 2 cases = 10 core tests, plus union-routing and rejection tests.
+ *
+ * @epic T810
+ * @task T816
+ */
+import { describe, expect, it } from 'vitest';
+import { commandOutputRecordSchema, evidenceRecordSchema, implDiffRecordSchema, lintReportRecordSchema, testOutputRecordSchema, validateSpecCheckRecordSchema, } from '../evidence-record-schema.js';
+// ─── Shared fixture helpers ───────────────────────────────────────────────────
+const SHA256 = 'a'.repeat(64);
+const AGENT = 'T816-worker';
+const TIMESTAMP = '2026-04-16T00:00:00.000Z';
+// ─── impl-diff ────────────────────────────────────────────────────────────────
+describe('implDiffRecordSchema', () => {
+    it('round-trips a minimal impl-diff record', () => {
+        const input = {
+            kind: 'impl-diff',
+            phase: 'implement',
+            agentIdentity: AGENT,
+            attachmentSha256: SHA256,
+            filesChanged: ['packages/contracts/src/evidence-record.ts'],
+            linesAdded: 120,
+            linesRemoved: 0,
+            ranAt: TIMESTAMP,
+            durationMs: 850,
+        };
+        const result = implDiffRecordSchema.parse(input);
+        expect(result.kind).toBe('impl-diff');
+        expect(result.phase).toBe('implement');
+        expect(result.filesChanged).toHaveLength(1);
+        expect(result.linesAdded).toBe(120);
+        expect(result.linesRemoved).toBe(0);
+        expect(result.durationMs).toBe(850);
+    });
+    it('round-trips a maximal impl-diff record and type-checks as EvidenceRecord', () => {
+        const input = {
+            kind: 'impl-diff',
+            phase: 'implement',
+            agentIdentity: AGENT,
+            attachmentSha256: SHA256,
+            filesChanged: [
+                'packages/contracts/src/evidence-record.ts',
+                'packages/contracts/src/evidence-record-schema.ts',
+                'packages/contracts/src/index.ts',
+            ],
+            linesAdded: 300,
+            linesRemoved: 5,
+            ranAt: TIMESTAMP,
+            durationMs: 1200,
+        };
+        const result = implDiffRecordSchema.parse(input);
+        expect(result.filesChanged).toHaveLength(3);
+        expect(result.linesRemoved).toBe(5);
+        // Structural compatibility with canonical interface
+        const typed = result;
+        expect(typed.kind).toBe('impl-diff');
+        // Assignable to the union
+        const unionTyped = result;
+        expect(unionTyped.kind).toBe('impl-diff');
+    });
+});
+// ─── validate-spec-check ─────────────────────────────────────────────────────
+describe('validateSpecCheckRecordSchema', () => {
+    it('round-trips a minimal validate-spec-check record', () => {
+        const input = {
+            kind: 'validate-spec-check',
+            phase: 'validate',
+            agentIdentity: AGENT,
+            attachmentSha256: SHA256,
+            reqIdsChecked: ['IVTR-01'],
+            passed: true,
+            details: 'All checked REQ-IDs satisfied.',
+            ranAt: TIMESTAMP,
+            durationMs: 300,
+        };
+        const result = validateSpecCheckRecordSchema.parse(input);
+        expect(result.kind).toBe('validate-spec-check');
+        expect(result.phase).toBe('validate');
+        expect(result.passed).toBe(true);
+        expect(result.reqIdsChecked).toEqual(['IVTR-01']);
+    });
+    it('round-trips a maximal validate-spec-check record with failure', () => {
+        const input = {
+            kind: 'validate-spec-check',
+            phase: 'validate',
+            agentIdentity: AGENT,
+            attachmentSha256: SHA256,
+            reqIdsChecked: ['IVTR-01', 'IVTR-02', 'IVTR-06'],
+            passed: false,
+            details: 'IVTR-06: EvidenceRecord schema missing lint-report variant.',
+            ranAt: TIMESTAMP,
+            durationMs: 550,
+        };
+        const result = validateSpecCheckRecordSchema.parse(input);
+        expect(result.reqIdsChecked).toHaveLength(3);
+        expect(result.passed).toBe(false);
+        expect(result.details).toContain('lint-report');
+        // Structural compatibility with canonical interface
+        const typed = result;
+        expect(typed.kind).toBe('validate-spec-check');
+    });
+});
+// ─── test-output ─────────────────────────────────────────────────────────────
+describe('testOutputRecordSchema', () => {
+    it('round-trips a minimal test-output record', () => {
+        const input = {
+            kind: 'test-output',
+            phase: 'test',
+            agentIdentity: AGENT,
+            attachmentSha256: SHA256,
+            command: 'pnpm --filter @cleocode/contracts run test',
+            exitCode: 0,
+            testsPassed: 10,
+            testsFailed: 0,
+            ranAt: TIMESTAMP,
+            durationMs: 4200,
+        };
+        const result = testOutputRecordSchema.parse(input);
+        expect(result.kind).toBe('test-output');
+        expect(result.phase).toBe('test');
+        expect(result.exitCode).toBe(0);
+        expect(result.testsPassed).toBe(10);
+        expect(result.testsFailed).toBe(0);
+    });
+    it('round-trips a test-output record with failures and type-checks as EvidenceRecord', () => {
+        const input = {
+            kind: 'test-output',
+            phase: 'test',
+            agentIdentity: AGENT,
+            attachmentSha256: SHA256,
+            command: 'pnpm run test',
+            exitCode: 1,
+            testsPassed: 8,
+            testsFailed: 2,
+            ranAt: TIMESTAMP,
+            durationMs: 3100,
+        };
+        const result = testOutputRecordSchema.parse(input);
+        expect(result.exitCode).toBe(1);
+        expect(result.testsFailed).toBe(2);
+        // Structural compatibility
+        const typed = result;
+        expect(typed.command).toBe('pnpm run test');
+        const unionTyped = result;
+        expect(unionTyped.kind).toBe('test-output');
+    });
+});
+// ─── lint-report ─────────────────────────────────────────────────────────────
+describe('lintReportRecordSchema', () => {
+    it('round-trips a minimal lint-report record (implement phase)', () => {
+        const input = {
+            kind: 'lint-report',
+            phase: 'implement',
+            agentIdentity: AGENT,
+            attachmentSha256: SHA256,
+            tool: 'biome',
+            passed: true,
+            warnings: 0,
+            errors: 0,
+            ranAt: TIMESTAMP,
+            durationMs: 620,
+        };
+        const result = lintReportRecordSchema.parse(input);
+        expect(result.kind).toBe('lint-report');
+        expect(result.phase).toBe('implement');
+        expect(result.tool).toBe('biome');
+        expect(result.passed).toBe(true);
+        expect(result.warnings).toBe(0);
+        expect(result.errors).toBe(0);
+    });
+    it('round-trips a lint-report record with warnings (test phase) and type-checks', () => {
+        const input = {
+            kind: 'lint-report',
+            phase: 'test',
+            agentIdentity: AGENT,
+            attachmentSha256: SHA256,
+            tool: 'tsc',
+            passed: false,
+            warnings: 3,
+            errors: 2,
+            ranAt: TIMESTAMP,
+            durationMs: 800,
+        };
+        const result = lintReportRecordSchema.parse(input);
+        expect(result.phase).toBe('test');
+        expect(result.warnings).toBe(3);
+        expect(result.errors).toBe(2);
+        expect(result.passed).toBe(false);
+        // Structural compatibility
+        const typed = result;
+        expect(typed.tool).toBe('tsc');
+        const unionTyped = result;
+        expect(unionTyped.kind).toBe('lint-report');
+    });
+});
+// ─── command-output ───────────────────────────────────────────────────────────
+describe('commandOutputRecordSchema', () => {
+    it('round-trips a minimal command-output record (implement phase)', () => {
+        const input = {
+            kind: 'command-output',
+            phase: 'implement',
+            agentIdentity: AGENT,
+            attachmentSha256: SHA256,
+            cmd: 'git diff --stat HEAD',
+            exitCode: 0,
+            ranAt: TIMESTAMP,
+            durationMs: 120,
+        };
+        const result = commandOutputRecordSchema.parse(input);
+        expect(result.kind).toBe('command-output');
+        expect(result.phase).toBe('implement');
+        expect(result.cmd).toBe('git diff --stat HEAD');
+        expect(result.exitCode).toBe(0);
+    });
+    it('round-trips a command-output record (validate phase) and type-checks as EvidenceRecord', () => {
+        const input = {
+            kind: 'command-output',
+            phase: 'validate',
+            agentIdentity: AGENT,
+            attachmentSha256: SHA256,
+            cmd: 'cleo check --task T816',
+            exitCode: 0,
+            ranAt: TIMESTAMP,
+            durationMs: 250,
+        };
+        const result = commandOutputRecordSchema.parse(input);
+        expect(result.phase).toBe('validate');
+        // Structural compatibility
+        const typed = result;
+        expect(typed.cmd).toBe('cleo check --task T816');
+        const unionTyped = result;
+        expect(unionTyped.kind).toBe('command-output');
+    });
+});
+// ─── evidenceRecordSchema (discriminated union routing) ──────────────────────
+describe('evidenceRecordSchema (discriminated union)', () => {
+    it('routes impl-diff by kind', () => {
+        const result = evidenceRecordSchema.parse({
+            kind: 'impl-diff',
+            phase: 'implement',
+            agentIdentity: AGENT,
+            attachmentSha256: SHA256,
+            filesChanged: ['src/x.ts'],
+            linesAdded: 10,
+            linesRemoved: 2,
+            ranAt: TIMESTAMP,
+            durationMs: 100,
+        });
+        expect(result.kind).toBe('impl-diff');
+    });
+    it('routes validate-spec-check by kind', () => {
+        const result = evidenceRecordSchema.parse({
+            kind: 'validate-spec-check',
+            phase: 'validate',
+            agentIdentity: AGENT,
+            attachmentSha256: SHA256,
+            reqIdsChecked: ['REQ-01'],
+            passed: true,
+            details: 'ok',
+            ranAt: TIMESTAMP,
+            durationMs: 100,
+        });
+        expect(result.kind).toBe('validate-spec-check');
+    });
+    it('routes test-output by kind', () => {
+        const result = evidenceRecordSchema.parse({
+            kind: 'test-output',
+            phase: 'test',
+            agentIdentity: AGENT,
+            attachmentSha256: SHA256,
+            command: 'pnpm test',
+            exitCode: 0,
+            testsPassed: 5,
+            testsFailed: 0,
+            ranAt: TIMESTAMP,
+            durationMs: 100,
+        });
+        expect(result.kind).toBe('test-output');
+    });
+    it('routes lint-report by kind', () => {
+        const result = evidenceRecordSchema.parse({
+            kind: 'lint-report',
+            phase: 'implement',
+            agentIdentity: AGENT,
+            attachmentSha256: SHA256,
+            tool: 'biome',
+            passed: true,
+            warnings: 0,
+            errors: 0,
+            ranAt: TIMESTAMP,
+            durationMs: 100,
+        });
+        expect(result.kind).toBe('lint-report');
+    });
+    it('routes command-output by kind', () => {
+        const result = evidenceRecordSchema.parse({
+            kind: 'command-output',
+            phase: 'test',
+            agentIdentity: AGENT,
+            attachmentSha256: SHA256,
+            cmd: 'cleo doctor',
+            exitCode: 0,
+            ranAt: TIMESTAMP,
+            durationMs: 100,
+        });
+        expect(result.kind).toBe('command-output');
+    });
+    it('rejects an unknown kind', () => {
+        expect(() => evidenceRecordSchema.parse({
+            kind: 'unknown-kind',
+            agentIdentity: AGENT,
+            attachmentSha256: SHA256,
+            ranAt: TIMESTAMP,
+            durationMs: 0,
+        })).toThrow();
+    });
+    it('rejects an invalid attachmentSha256 (wrong length)', () => {
+        expect(() => evidenceRecordSchema.parse({
+            kind: 'command-output',
+            phase: 'test',
+            agentIdentity: AGENT,
+            attachmentSha256: 'tooshort',
+            cmd: 'cleo doctor',
+            exitCode: 0,
+            ranAt: TIMESTAMP,
+            durationMs: 0,
+        })).toThrow();
+    });
+    it('rejects an invalid ranAt (non-datetime string)', () => {
+        expect(() => evidenceRecordSchema.parse({
+            kind: 'test-output',
+            phase: 'test',
+            agentIdentity: AGENT,
+            attachmentSha256: SHA256,
+            command: 'pnpm test',
+            exitCode: 0,
+            testsPassed: 1,
+            testsFailed: 0,
+            ranAt: 'not-a-timestamp',
+            durationMs: 0,
+        })).toThrow();
+    });
+    it('rejects negative durationMs', () => {
+        expect(() => evidenceRecordSchema.parse({
+            kind: 'command-output',
+            phase: 'implement',
+            agentIdentity: AGENT,
+            attachmentSha256: SHA256,
+            cmd: 'cleo doctor',
+            exitCode: 0,
+            ranAt: TIMESTAMP,
+            durationMs: -1,
+        })).toThrow();
+    });
+});
+//# sourceMappingURL=evidence-record.test.js.map

package/dist/__tests__/evidence-record.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidence-record.test.js","sourceRoot":"","sources":["../../src/__tests__/evidence-record.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAS9C,OAAO,EACL,yBAAyB,EACzB,oBAAoB,EACpB,oBAAoB,EACpB,sBAAsB,EACtB,sBAAsB,EACtB,6BAA6B,GAC9B,MAAM,8BAA8B,CAAC;AAEtC,iFAAiF;AAEjF,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AAC9B,MAAM,KAAK,GAAG,aAAa,CAAC;AAC5B,MAAM,SAAS,GAAG,0BAA0B,CAAC;AAE7C,iFAAiF;AAEjF,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,KAAK,GAAG;YACZ,IAAI,EAAE,WAAoB;YAC1B,KAAK,EAAE,WAAoB;YAC3B,aAAa,EAAE,KAAK;YACpB,gBAAgB,EAAE,MAAM;YACxB,YAAY,EAAE,CAAC,2CAA2C,CAAC;YAC3D,UAAU,EAAE,GAAG;YACf,YAAY,EAAE,CAAC;YACf,KAAK,EAAE,SAAS;YAChB,UAAU,EAAE,GAAG;SAChB,CAAC;QACF,MAAM,MAAM,GAAG,oBAAoB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACjD,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACtC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5C,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,MAAM,KAAK,GAAG;YACZ,IAAI,EAAE,WAAoB;YAC1B,KAAK,EAAE,WAAoB;YAC3B,aAAa,EAAE,KAAK;YACpB,gBAAgB,EAAE,MAAM;YACxB,YAAY,EAAE;gBACZ,2CAA2C;gBAC3C,kDAAkD;gBAClD,iCAAiC;aAClC;YACD,UAAU,EAAE,GAAG;YACf,YAAY,EAAE,CAAC;YACf,KAAK,EAAE,SAAS;YAChB,UAAU,EAAE,IAAI;SACjB,CAAC;QACF,MAAM,MAAM,GAAG,oBAAoB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACjD,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5C,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpC,oDAAoD;QACpD,MAAM,KAAK,GAAmB,MAAM,CAAC;QACrC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACrC,0BAA0B;QAC1B,MAAM,UAAU,GAAmB,MAAM,CAAC;QAC1C,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,KAAK,GAAG;YACZ,IAAI,EAAE,qBAA8B;YACpC,KAAK,EAAE,UAAmB;YAC1B,aAAa,EAAE,KAAK;YACpB,gBAAgB,EAAE,MAAM;YACxB,aAAa,EAAE,CAAC,SAAS,CAAC;YAC1B,MAAM,EAAE,IAAI;YACZ,OAAO,EAAE,gCAAgC;YACzC,KAAK,EAAE,SAAS;YAChB,UAAU,EAAE,GAAG;SAChB,CAAC;QACF,MAAM,MAAM,GAAG,6BAA6B,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC1D,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;QAChD,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACtC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,KAAK,GAAG;YACZ,IAAI,EAAE,qBAA8B;YACpC,KAAK,EAAE,UAAmB;YAC1B,aAAa,EAAE,KAAK;YACpB,gBAAgB,EAAE,MAAM;YACxB,aAAa,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,SAAS,CAAC;YAChD,MAAM,EAAE,KAAK;YACb,OAAO,EAAE,6DAA6D;YACtE,KAAK,EAAE,SAAS;YAChB,UAAU,EAAE,GAAG;SAChB,CAAC;QACF,MAAM,MAAM,GAAG,6BAA6B,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC1D,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QAChD,oDAAoD;QACpD,MAAM,KAAK,GAA4B,MAAM,CAAC;QAC9C,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,KAAK,GAAG;YACZ,IAAI,EAAE,aAAsB;YAC5B,KAAK,EAAE,MAAe;YACtB,aAAa,EAAE,KAAK;YACpB,gBAAgB,EAAE,MAAM;YACxB,OAAO,EAAE,4CAA4C;YACrD,QAAQ,EAAE,CAAC;YACX,WAAW,EAAE,EAAE;YACf,WAAW,EAAE,CAAC;YACd,KAAK,EAAE,SAAS;YAChB,UAAU,EAAE,IAAI;SACjB,CAAC;QACF,MAAM,MAAM,GAAG,sBAAsB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACnD,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QACxC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACpC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kFAAkF,EAAE,GAAG,EAAE;QAC1F,MAAM,KAAK,GAAG;YACZ,IAAI,EAAE,aAAsB;YAC5B,KAAK,EAAE,MAAe;YACtB,aAAa,EAAE,KAAK;YACpB,gBAAgB,EAAE,MAAM;YACxB,OAAO,EAAE,eAAe;YACxB,QAAQ,EAAE,CAAC;YACX,WAAW,EAAE,CAAC;YACd,WAAW,EAAE,CAAC;YACd,KAAK,EAAE,SAAS;YAChB,UAAU,EAAE,IAAI;SACjB,CAAC;QACF,MAAM,MAAM,GAAG,sBAAsB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACnD,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnC,2BAA2B;QAC3B,MAAM,KAAK,GAAqB,MAAM,CAAC;QACvC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC5C,MAAM,UAAU,GAAmB,MAAM,CAAC;QAC1C,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,KAAK,GAAG;YACZ,IAAI,EAAE,aAAsB;YAC5B,KAAK,EAAE,WAAoB;YAC3B,aAAa,EAAE,KAAK;YACpB,gBAAgB,EAAE,MAAM;YACxB,IAAI,EAAE,OAAO;YACb,MAAM,EAAE,IAAI;YACZ,QAAQ,EAAE,CAAC;YACX,MAAM,EAAE,CAAC;YACT,KAAK,EAAE,SAAS;YAChB,UAAU,EAAE,GAAG;SAChB,CAAC;QACF,MAAM,MAAM,GAAG,sBAAsB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACnD,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QACxC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,MAAM,KAAK,GAAG;YACZ,IAAI,EAAE,aAAsB;YAC5B,KAAK,EAAE,MAAe;YACtB,aAAa,EAAE,KAAK;YACpB,gBAAgB,EAAE,MAAM;YACxB,IAAI,EAAE,KAAK;YACX,MAAM,EAAE,KAAK;YACb,QAAQ,EAAE,CAAC;YACX,MAAM,EAAE,CAAC;YACT,KAAK,EAAE,SAAS;YAChB,UAAU,EAAE,GAAG;SAChB,CAAC;QACF,MAAM,MAAM,GAAG,sBAAsB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACnD,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClC,2BAA2B;QAC3B,MAAM,KAAK,GAAqB,MAAM,CAAC;QACvC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/B,MAAM,UAAU,GAAmB,MAAM,CAAC;QAC1C,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,KAAK,GAAG;YACZ,IAAI,EAAE,gBAAyB;YAC/B,KAAK,EAAE,WAAoB;YAC3B,aAAa,EAAE,KAAK;YACpB,gBAAgB,EAAE,MAAM;YACxB,GAAG,EAAE,sBAAsB;YAC3B,QAAQ,EAAE,CAAC;YACX,KAAK,EAAE,SAAS;YAChB,UAAU,EAAE,GAAG;SAChB,CAAC;QACF,MAAM,MAAM,GAAG,yBAAyB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACtD,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC3C,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;QAChD,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wFAAwF,EAAE,GAAG,EAAE;QAChG,MAAM,KAAK,GAAG;YACZ,IAAI,EAAE,gBAAyB;YAC/B,KAAK,EAAE,UAAmB;YAC1B,aAAa,EAAE,KAAK;YACpB,gBAAgB,EAAE,MAAM;YACxB,GAAG,EAAE,wBAAwB;YAC7B,QAAQ,EAAE,CAAC;YACX,KAAK,EAAE,SAAS;YAChB,UAAU,EAAE,GAAG;SAChB,CAAC;QACF,MAAM,MAAM,GAAG,yBAAyB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACtD,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACtC,2BAA2B;QAC3B,MAAM,KAAK,GAAwB,MAAM,CAAC;QAC1C,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;QACjD,MAAM,UAAU,GAAmB,MAAM,CAAC;QAC1C,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,QAAQ,CAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,MAAM,GAAG,oBAAoB,CAAC,KAAK,CAAC;YACxC,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,WAAW;YAClB,aAAa,EAAE,KAAK;YACpB,gBAAgB,EAAE,MAAM;YACxB,YAAY,EAAE,CAAC,UAAU,CAAC;YAC1B,UAAU,EAAE,EAAE;YACd,YAAY,EAAE,CAAC;YACf,KAAK,EAAE,SAAS;YAChB,UAAU,EAAE,GAAG;SAChB,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,MAAM,GAAG,oBAAoB,CAAC,KAAK,CAAC;YACxC,IAAI,EAAE,qBAAqB;YAC3B,KAAK,EAAE,UAAU;YACjB,aAAa,EAAE,KAAK;YACpB,gBAAgB,EAAE,MAAM;YACxB,aAAa,EAAE,CAAC,QAAQ,CAAC;YACzB,MAAM,EAAE,IAAI;YACZ,OAAO,EAAE,IAAI;YACb,KAAK,EAAE,SAAS;YAChB,UAAU,EAAE,GAAG;SAChB,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,MAAM,GAAG,oBAAoB,CAAC,KAAK,CAAC;YACxC,IAAI,EAAE,aAAa;YACnB,KAAK,EAAE,MAAM;YACb,aAAa,EAAE,KAAK;YACpB,gBAAgB,EAAE,MAAM;YACxB,OAAO,EAAE,WAAW;YACpB,QAAQ,EAAE,CAAC;YACX,WAAW,EAAE,CAAC;YACd,WAAW,EAAE,CAAC;YACd,KAAK,EAAE,SAAS;YAChB,UAAU,EAAE,GAAG;SAChB,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,MAAM,GAAG,oBAAoB,CAAC,KAAK,CAAC;YACxC,IAAI,EAAE,aAAa;YACnB,KAAK,EAAE,WAAW;YAClB,aAAa,EAAE,KAAK;YACpB,gBAAgB,EAAE,MAAM;YACxB,IAAI,EAAE,OAAO;YACb,MAAM,EAAE,IAAI;YACZ,QAAQ,EAAE,CAAC;YACX,MAAM,EAAE,CAAC;YACT,KAAK,EAAE,SAAS;YAChB,UAAU,EAAE,GAAG;SAChB,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,MAAM,GAAG,oBAAoB,CAAC,KAAK,CAAC;YACxC,IAAI,EAAE,gBAAgB;YACtB,KAAK,EAAE,MAAM;YACb,aAAa,EAAE,KAAK;YACpB,gBAAgB,EAAE,MAAM;YACxB,GAAG,EAAE,aAAa;YAClB,QAAQ,EAAE,CAAC;YACX,KAAK,EAAE,SAAS;YAChB,UAAU,EAAE,GAAG;SAChB,CAAC,CAAC;QACH,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,CAAC,GAAG,EAAE,CACV,oBAAoB,CAAC,KAAK,CAAC;YACzB,IAAI,EAAE,cAAc;YACpB,aAAa,EAAE,KAAK;YACpB,gBAAgB,EAAE,MAAM;YACxB,KAAK,EAAE,SAAS;YAChB,UAAU,EAAE,CAAC;SACd,CAAC,CACH,CAAC,OAAO,EAAE,CAAC;IACd,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,GAAG,EAAE,CACV,oBAAoB,CAAC,KAAK,CAAC;YACzB,IAAI,EAAE,gBAAgB;YACtB,KAAK,EAAE,MAAM;YACb,aAAa,EAAE,KAAK;YACpB,gBAAgB,EAAE,UAAU;YAC5B,GAAG,EAAE,aAAa;YAClB,QAAQ,EAAE,CAAC;YACX,KAAK,EAAE,SAAS;YAChB,UAAU,EAAE,CAAC;SACd,CAAC,CACH,CAAC,OAAO,EAAE,CAAC;IACd,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,EAAE,CACV,oBAAoB,CAAC,KAAK,CAAC;YACzB,IAAI,EAAE,aAAa;YACnB,KAAK,EAAE,MAAM;YACb,aAAa,EAAE,KAAK;YACpB,gBAAgB,EAAE,MAAM;YACxB,OAAO,EAAE,WAAW;YACpB,QAAQ,EAAE,CAAC;YACX,WAAW,EAAE,CAAC;YACd,WAAW,EAAE,CAAC;YACd,KAAK,EAAE,iBAAiB;YACxB,UAAU,EAAE,CAAC;SACd,CAAC,CACH,CAAC,OAAO,EAAE,CAAC;IACd,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAG,EAAE,CACV,oBAAoB,CAAC,KAAK,CAAC;YACzB,IAAI,EAAE,gBAAgB;YACtB,KAAK,EAAE,WAAW;YAClB,aAAa,EAAE,KAAK;YACpB,gBAAgB,EAAE,MAAM;YACxB,GAAG,EAAE,aAAa;YAClB,QAAQ,EAAE,CAAC;YACX,KAAK,EAAE,SAAS;YAChB,UAAU,EAAE,CAAC,CAAC;SACf,CAAC,CACH,CAAC,OAAO,EAAE,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/__tests__/invariants.test.d.ts

@@ -0,0 +1,19 @@
+/**
+ * Contract invariant tests for @cleocode/contracts.
+ *
+ * Asserts structural rules that must hold across ALL contracts:
+ *
+ * 1. No contract field named `notes`, `details`, or `text` is typed as bare
+ *    `string` when a structured shape is possible.
+ *    Whitelisted exceptions are documented with inline rationale.
+ *
+ * 2. All discriminated unions use `kind` as the discriminant — NOT `type`.
+ *    Convention: `type` is reserved for FileAssertion variants only (legacy).
+ *
+ * 3. Zod schemas for each major contract type are exported from the index.
+ *
+ * @epic T760
+ * @task T804
+ */
+export {};
+//# sourceMappingURL=invariants.test.d.ts.map

package/dist/__tests__/invariants.test.d.ts.map

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