@cleocode/contracts 2026.5.95 → 2026.5.97

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

@@ -0,0 +1,14 @@
+/**
+ * Structural-equivalence + value-set tests for the task-axis enum
+ * constants promoted in Phase 0c (T9955).
+ *
+ * These tests pin the runtime value sets of the 6 `as const` arrays
+ * (`TASK_KINDS`, `TASK_SCOPES`, `TASK_SEVERITIES`, `TASK_SIZES`,
+ * `ARCHIVE_REASONS`, `TASK_RELATION_TYPES`) so that:
+ *   - The Drizzle row-type narrowing in `tasks-schema.ts` stays byte-identical.
+ *   - The DB CHECK constraints they back keep their canonical value list.
+ *
+ * @since SG-ARCH-SOLID Saga T9831 · E-CONTRACTS-FOUNDATION T9832 · T9955 (Phase 0c)
+ */
+export {};
+//# sourceMappingURL=enums.test.d.ts.map

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

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

package/dist/__tests__/enums.test.js

@@ -0,0 +1,75 @@
+/**
+ * Structural-equivalence + value-set tests for the task-axis enum
+ * constants promoted in Phase 0c (T9955).
+ *
+ * These tests pin the runtime value sets of the 6 `as const` arrays
+ * (`TASK_KINDS`, `TASK_SCOPES`, `TASK_SEVERITIES`, `TASK_SIZES`,
+ * `ARCHIVE_REASONS`, `TASK_RELATION_TYPES`) so that:
+ *   - The Drizzle row-type narrowing in `tasks-schema.ts` stays byte-identical.
+ *   - The DB CHECK constraints they back keep their canonical value list.
+ *
+ * @since SG-ARCH-SOLID Saga T9831 · E-CONTRACTS-FOUNDATION T9832 · T9955 (Phase 0c)
+ */
+import { describe, expect, it } from 'vitest';
+import { ARCHIVE_REASONS, TASK_KINDS, TASK_RELATION_TYPES, TASK_SCOPES, TASK_SEVERITIES, TASK_SIZES, } from '../enums.js';
+// ─── Runtime value-set assertions ───────────────────────────────────
+describe('task-axis enum constants', () => {
+    it('TASK_KINDS holds the 6 canonical task kinds', () => {
+        expect(TASK_KINDS).toEqual(['work', 'research', 'experiment', 'bug', 'spike', 'release']);
+    });
+    it('TASK_SCOPES holds project / feature / unit (in canonical order)', () => {
+        expect(TASK_SCOPES).toEqual(['project', 'feature', 'unit']);
+    });
+    it('TASK_SEVERITIES holds P0 through P3 in increasing severity order', () => {
+        expect(TASK_SEVERITIES).toEqual(['P0', 'P1', 'P2', 'P3']);
+    });
+    it('TASK_SIZES holds small / medium / large (CLEO avoids time estimates)', () => {
+        expect(TASK_SIZES).toEqual(['small', 'medium', 'large']);
+    });
+    it('ARCHIVE_REASONS holds exactly the 6 truth-grade closure reasons', () => {
+        expect(ARCHIVE_REASONS).toEqual([
+            'verified',
+            'reconciled',
+            'superseded',
+            'shadowed',
+            'cancelled',
+            'completed-unverified',
+        ]);
+    });
+    it('TASK_RELATION_TYPES includes "groups" (ADR-073 Saga membership)', () => {
+        expect(TASK_RELATION_TYPES).toContain('groups');
+        expect(TASK_RELATION_TYPES).toEqual([
+            'related',
+            'blocks',
+            'duplicates',
+            'absorbs',
+            'fixes',
+            'extends',
+            'supersedes',
+            'groups',
+        ]);
+    });
+    it('All enum arrays are non-empty readonly tuples', () => {
+        expect(TASK_KINDS.length).toBeGreaterThan(0);
+        expect(TASK_SCOPES.length).toBeGreaterThan(0);
+        expect(TASK_SEVERITIES.length).toBeGreaterThan(0);
+        expect(TASK_SIZES.length).toBeGreaterThan(0);
+        expect(ARCHIVE_REASONS.length).toBeGreaterThan(0);
+        expect(TASK_RELATION_TYPES.length).toBeGreaterThan(0);
+    });
+    // The six `_Pin…` aliases above will fail compilation if any const
+    // array is accidentally widened to `string[]`. The reference below
+    // prevents unused-locals diagnostics from removing them.
+    it('compile-time readonly-tuple pins are wired (no-op at runtime)', () => {
+        const pinned = [
+            TASK_KINDS,
+            TASK_SCOPES,
+            TASK_SEVERITIES,
+            TASK_SIZES,
+            ARCHIVE_REASONS,
+            TASK_RELATION_TYPES,
+        ];
+        expect(pinned).toHaveLength(6);
+    });
+});
+//# sourceMappingURL=enums.test.js.map

package/dist/__tests__/enums.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"enums.test.js","sourceRoot":"","sources":["../../src/__tests__/enums.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EACL,eAAe,EACf,UAAU,EACV,mBAAmB,EACnB,WAAW,EACX,eAAe,EACf,UAAU,GACX,MAAM,aAAa,CAAC;AAkBrB,uEAAuE;AAEvE,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,UAAU,EAAE,YAAY,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC;IAC5F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,CAAC,eAAe,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,CAAC,eAAe,CAAC,CAAC,OAAO,CAAC;YAC9B,UAAU;YACV,YAAY;YACZ,YAAY;YACZ,UAAU;YACV,WAAW;YACX,sBAAsB;SACvB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,CAAC,mBAAmB,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QAChD,MAAM,CAAC,mBAAmB,CAAC,CAAC,OAAO,CAAC;YAClC,SAAS;YACT,QAAQ;YACR,YAAY;YACZ,SAAS;YACT,OAAO;YACP,SAAS;YACT,YAAY;YACZ,QAAQ;SACT,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC7C,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAClD,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC7C,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAClD,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,mEAAmE;IACnE,mEAAmE;IACnE,yDAAyD;IACzD,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,MAAM,GAOR;YACF,UAAU;YACV,WAAW;YACX,eAAe;YACf,UAAU;YACV,eAAe;YACf,mBAAmB;SACpB,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

@@ -0,0 +1,11 @@
+/**
+ * Structural-equivalence tests for the background-job contracts.
+ *
+ * Pins the literal shape of {@link BackgroundJobStatus} promoted in
+ * Phase 0c (T9955) so accidental narrowing or widening triggers a
+ * compile-time failure during `tsc -b` in the CI gate.
+ *
+ * @since SG-ARCH-SOLID Saga T9831 · E-CONTRACTS-FOUNDATION T9832 · T9955 (Phase 0c)
+ */
+export {};
+//# sourceMappingURL=jobs.test.d.ts.map

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

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

package/dist/__tests__/jobs.test.js

@@ -0,0 +1,48 @@
+/**
+ * Structural-equivalence tests for the background-job contracts.
+ *
+ * Pins the literal shape of {@link BackgroundJobStatus} promoted in
+ * Phase 0c (T9955) so accidental narrowing or widening triggers a
+ * compile-time failure during `tsc -b` in the CI gate.
+ *
+ * @since SG-ARCH-SOLID Saga T9831 · E-CONTRACTS-FOUNDATION T9832 · T9955 (Phase 0c)
+ */
+import { describe, expect, it } from 'vitest';
+// ─── Runtime constructibility smoke ─────────────────────────────────
+describe('jobs contracts', () => {
+    it('BackgroundJobStatus enumerates the 6 documented lifecycle states', () => {
+        const all = [
+            'pending',
+            'running',
+            'complete',
+            'failed',
+            'cancelled',
+            'orphaned',
+        ];
+        expect(all).toHaveLength(6);
+    });
+    it('BackgroundJobStatus distinguishes terminal from in-flight states', () => {
+        const terminal = ['complete', 'failed', 'cancelled', 'orphaned'];
+        const inFlight = ['pending', 'running'];
+        expect(terminal).toHaveLength(4);
+        expect(inFlight).toHaveLength(2);
+    });
+    it('Every BackgroundJobStatus is a non-empty string literal', () => {
+        const statuses = [
+            'pending',
+            'running',
+            'complete',
+            'failed',
+            'cancelled',
+            'orphaned',
+        ];
+        for (const s of statuses) {
+            expect(s.length).toBeGreaterThan(0);
+        }
+    });
+    it('compile-time pin is wired (no-op at runtime)', () => {
+        const pinned = 1;
+        expect(pinned).toBe(1);
+    });
+});
+//# sourceMappingURL=jobs.test.js.map

package/dist/__tests__/jobs.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"jobs.test.js","sourceRoot":"","sources":["../../src/__tests__/jobs.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAyB9C,uEAAuE;AAEvE,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;IAC9B,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,GAAG,GAA0B;YACjC,SAAS;YACT,SAAS;YACT,UAAU;YACV,QAAQ;YACR,WAAW;YACX,UAAU;SACX,CAAC;QACF,MAAM,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,QAAQ,GAA0B,CAAC,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,UAAU,CAAC,CAAC;QACxF,MAAM,QAAQ,GAA0B,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;QAC/D,MAAM,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,QAAQ,GAA0B;YACtC,SAAS;YACT,SAAS;YACT,UAAU;YACV,QAAQ;YACR,WAAW;YACX,UAAU;SACX,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACtC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,MAAM,GAAqC,CAAC,CAAC;QACnD,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/__tests__/memory-wire-shapes.test.d.ts

@@ -0,0 +1,19 @@
+/**
+ * Structural-equivalence tests for the BRAIN memory wire-shape contracts.
+ *
+ * These tests pin the field shapes of the 15 types promoted from
+ * `packages/core/src/memory/brain-retrieval.ts` in Phase 0e of
+ * SG-ARCH-SOLID (E-CONTRACTS-FOUNDATION). Accidental narrowing or
+ * widening triggers a compile-time failure during `tsc -b` in the CI gate.
+ *
+ * The compile-time assertions use the conditional-equality trick
+ * (`Equals<A, B>`) so any structural drift produces a TS2322 or TS2344
+ * at build time. The runtime `expect` smoke verifies that constructible
+ * literals satisfy each interface — these are pure type contracts with
+ * no runtime, so this is a thin satisfies check rather than a behavior
+ * test.
+ *
+ * @since SG-ARCH-SOLID Saga T9831 · E-CONTRACTS-FOUNDATION T9832 · T9956 (Phase 0e)
+ */
+export {};
+//# sourceMappingURL=memory-wire-shapes.test.d.ts.map

package/dist/__tests__/memory-wire-shapes.test.d.ts.map

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

package/dist/__tests__/memory-wire-shapes.test.js

@@ -0,0 +1,119 @@
+/**
+ * Structural-equivalence tests for the BRAIN memory wire-shape contracts.
+ *
+ * These tests pin the field shapes of the 15 types promoted from
+ * `packages/core/src/memory/brain-retrieval.ts` in Phase 0e of
+ * SG-ARCH-SOLID (E-CONTRACTS-FOUNDATION). Accidental narrowing or
+ * widening triggers a compile-time failure during `tsc -b` in the CI gate.
+ *
+ * The compile-time assertions use the conditional-equality trick
+ * (`Equals<A, B>`) so any structural drift produces a TS2322 or TS2344
+ * at build time. The runtime `expect` smoke verifies that constructible
+ * literals satisfy each interface — these are pure type contracts with
+ * no runtime, so this is a thin satisfies check rather than a behavior
+ * test.
+ *
+ * @since SG-ARCH-SOLID Saga T9831 · E-CONTRACTS-FOUNDATION T9832 · T9956 (Phase 0e)
+ */
+import { describe, expect, it } from 'vitest';
+import { BRAIN_OBSERVATION_SOURCE_TYPES, } from '../memory/observe.js';
+// ─── Runtime constructibility smoke ─────────────────────────────────
+describe('memory wire-shape contracts (T9956)', () => {
+    it('BrainCompactHit is constructible with the canonical shape', () => {
+        const hit = {
+            id: 'O-abc123',
+            type: 'observation',
+            title: 'sample',
+            date: '2026-05-21T00:00:00Z',
+        };
+        expect(hit.id).toBe('O-abc123');
+        expect(hit.type).toBe('observation');
+    });
+    it('SearchBrainCompactResult composes BrainCompactHit and token accounting', () => {
+        const result = {
+            results: [{ id: 'O-1', type: 'observation', title: 't', date: '2026-05-21' }],
+            total: 1,
+            tokensEstimated: 50,
+        };
+        expect(result.results).toHaveLength(1);
+        expect(result.tokensEstimated).toBe(50);
+    });
+    it('BrainAnchor and TimelineBrainResult compose correctly', () => {
+        const anchor = { id: 'O-anchor', type: 'observation', data: { x: 1 } };
+        const result = {
+            anchor,
+            before: [{ id: 'O-prev', type: 'observation', date: '2026-05-20' }],
+            after: [{ id: 'O-next', type: 'observation', date: '2026-05-22' }],
+        };
+        expect(result.anchor?.id).toBe('O-anchor');
+        expect(result.before).toHaveLength(1);
+        expect(result.after).toHaveLength(1);
+    });
+    it('TimelineBrainResult accepts null anchor for unresolved IDs', () => {
+        const result = { anchor: null, before: [], after: [] };
+        expect(result.anchor).toBeNull();
+    });
+    it('FetchBrainEntriesResult tracks notFound IDs alongside resolved entries', () => {
+        const result = {
+            results: [{ id: 'O-1', type: 'observation', data: null }],
+            notFound: ['O-missing'],
+            tokensEstimated: 100,
+        };
+        expect(result.results).toHaveLength(1);
+        expect(result.notFound).toContain('O-missing');
+    });
+    it('BRAIN_OBSERVATION_SOURCE_TYPES is the runtime tuple backing BrainObservationSourceType', () => {
+        expect(BRAIN_OBSERVATION_SOURCE_TYPES).toEqual([
+            'agent',
+            'session-debrief',
+            'claude-mem',
+            'manual',
+        ]);
+        // The derived type must include every const member.
+        const sample = [...BRAIN_OBSERVATION_SOURCE_TYPES];
+        expect(sample).toHaveLength(4);
+    });
+    it('ObserveBrainParams accepts the minimal required shape (text only)', () => {
+        const params = { text: 'hello world' };
+        expect(params.text).toBe('hello world');
+    });
+    it('ObserveBrainResult mirrors the persisted row identity tuple', () => {
+        const result = {
+            id: 'O-new',
+            type: 'observation',
+            createdAt: '2026-05-21T12:00:00Z',
+        };
+        expect(result.id).toBe('O-new');
+        expect(result.type).toBe('observation');
+    });
+    it('BudgetedRetrievalOptions composes all three optional filter axes', () => {
+        const opts = {
+            types: ['semantic', 'procedural'],
+            tiers: ['medium', 'long'],
+            verified: true,
+        };
+        expect(opts.types).toHaveLength(2);
+        expect(opts.tiers).toHaveLength(2);
+        expect(opts.verified).toBe(true);
+    });
+    it('BudgetedResult tracks token usage, remaining budget, and exclusion count', () => {
+        const result = {
+            entries: [
+                {
+                    id: 'L-1',
+                    type: 'learning',
+                    title: 'insight',
+                    text: 'body',
+                    score: 0.42,
+                    tokensEstimated: 32,
+                },
+            ],
+            tokensUsed: 32,
+            tokensRemaining: 468,
+            excluded: 0,
+        };
+        expect(result.entries).toHaveLength(1);
+        expect(result.tokensUsed + result.tokensRemaining).toBe(500);
+    });
+});
+//# sourceMappingURL=memory-wire-shapes.test.js.map

package/dist/__tests__/memory-wire-shapes.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"memory-wire-shapes.test.js","sourceRoot":"","sources":["../../src/__tests__/memory-wire-shapes.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAa9C,OAAO,EACL,8BAA8B,GAI/B,MAAM,sBAAsB,CAAC;AAkO9B,uEAAuE;AAEvE,QAAQ,CAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,GAAG,GAAoB;YAC3B,EAAE,EAAE,UAAU;YACd,IAAI,EAAE,aAAa;YACnB,KAAK,EAAE,QAAQ;YACf,IAAI,EAAE,sBAAsB;SAC7B,CAAC;QACF,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAChC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,MAAM,GAA6B;YACvC,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;YAC7E,KAAK,EAAE,CAAC;YACR,eAAe,EAAE,EAAE;SACpB,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,MAAM,GAAgB,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACpF,MAAM,MAAM,GAAwB;YAClC,MAAM;YACN,MAAM,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;YACnE,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;SACnE,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC3C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,MAAM,GAAwB,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;QAC5E,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,MAAM,GAA4B;YACtC,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;YACzD,QAAQ,EAAE,CAAC,WAAW,CAAC;YACvB,eAAe,EAAE,GAAG;SACrB,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wFAAwF,EAAE,GAAG,EAAE;QAChG,MAAM,CAAC,8BAA8B,CAAC,CAAC,OAAO,CAAC;YAC7C,OAAO;YACP,iBAAiB;YACjB,YAAY;YACZ,QAAQ;SACT,CAAC,CAAC;QACH,oDAAoD;QACpD,MAAM,MAAM,GAAiC,CAAC,GAAG,8BAA8B,CAAC,CAAC;QACjF,MAAM,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,MAAM,GAAuB,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;QAC3D,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,MAAM,GAAuB;YACjC,EAAE,EAAE,OAAO;YACX,IAAI,EAAE,aAAa;YACnB,SAAS,EAAE,sBAAsB;SAClC,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAChC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,IAAI,GAA6B;YACrC,KAAK,EAAE,CAAC,UAAU,EAAE,YAAY,CAAC;YACjC,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC;YACzB,QAAQ,EAAE,IAAI;SACf,CAAC;QACF,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,MAAM,MAAM,GAAmB;YAC7B,OAAO,EAAE;gBACP;oBACE,EAAE,EAAE,KAAK;oBACT,IAAI,EAAE,UAAU;oBAChB,KAAK,EAAE,SAAS;oBAChB,IAAI,EAAE,MAAM;oBACZ,KAAK,EAAE,IAAI;oBACX,eAAe,EAAE,EAAE;iBACpB;aACF;YACD,UAAU,EAAE,EAAE;YACd,eAAe,EAAE,GAAG;YACpB,QAAQ,EAAE,CAAC;SACZ,CAAC;QACF,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,MAAM,CAAC,UAAU,GAAG,MAAM,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/__tests__/operation-def.test.d.ts

@@ -0,0 +1,20 @@
+/**
+ * Structural-equivalence tests for the dispatch operation-def contracts.
+ *
+ * These tests pin the field shapes of {@link OperationDef} and
+ * {@link Resolution} (and the underlying identity types {@link Gateway},
+ * {@link Tier}, {@link CanonicalDomain}) so accidental narrowing or
+ * widening triggers a compile-time failure during `tsc -b` in the CI
+ * gate.
+ *
+ * The compile-time assertions use the conditional-equality trick
+ * (`Equals<A, B>`) so any structural drift produces a TS2322 or TS2344
+ * at build time. The runtime `expect` shape sanity check below is a
+ * thin smoke verification that constructible literals satisfy each
+ * interface — it does NOT exercise behavior (these are pure type
+ * contracts with no runtime).
+ *
+ * @since SG-ARCH-SOLID Saga T9831 · E-CONTRACTS-FOUNDATION T9832 · T9954 (Phase 0b)
+ */
+export {};
+//# sourceMappingURL=operation-def.test.d.ts.map

package/dist/__tests__/operation-def.test.d.ts.map

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

package/dist/__tests__/operation-def.test.js

@@ -0,0 +1,111 @@
+/**
+ * Structural-equivalence tests for the dispatch operation-def contracts.
+ *
+ * These tests pin the field shapes of {@link OperationDef} and
+ * {@link Resolution} (and the underlying identity types {@link Gateway},
+ * {@link Tier}, {@link CanonicalDomain}) so accidental narrowing or
+ * widening triggers a compile-time failure during `tsc -b` in the CI
+ * gate.
+ *
+ * The compile-time assertions use the conditional-equality trick
+ * (`Equals<A, B>`) so any structural drift produces a TS2322 or TS2344
+ * at build time. The runtime `expect` shape sanity check below is a
+ * thin smoke verification that constructible literals satisfy each
+ * interface — it does NOT exercise behavior (these are pure type
+ * contracts with no runtime).
+ *
+ * @since SG-ARCH-SOLID Saga T9831 · E-CONTRACTS-FOUNDATION T9832 · T9954 (Phase 0b)
+ */
+import { describe, expect, it } from 'vitest';
+import { CANONICAL_DOMAINS } from '../dispatch/identity.js';
+// ─── Runtime constructibility smoke ─────────────────────────────────
+describe('dispatch/operation-def contracts', () => {
+    it('Gateway union covers exactly the 2 documented values', () => {
+        const values = ['query', 'mutate'];
+        expect(values).toHaveLength(2);
+    });
+    it('Tier union covers exactly the 3 documented values', () => {
+        const tiers = [0, 1, 2];
+        expect(tiers).toHaveLength(3);
+    });
+    it('CANONICAL_DOMAINS is a non-empty readonly tuple', () => {
+        expect(CANONICAL_DOMAINS.length).toBeGreaterThan(0);
+        // T9954 — snapshot the current count so accidental additions/removals
+        // trip this test and force an explicit human review.
+        expect(CANONICAL_DOMAINS.length).toBe(22);
+    });
+    it('CANONICAL_DOMAINS contains the four sentinel newly-promoted domains', () => {
+        // Spot-check the canonical surface: T964 conduit, T1726 sentient/release,
+        // T9528 provenance, T9536 upgrade. Catches the most common drift where
+        // someone deletes one and breaks SDK consumers downstream.
+        expect(CANONICAL_DOMAINS).toContain('conduit');
+        expect(CANONICAL_DOMAINS).toContain('sentient');
+        expect(CANONICAL_DOMAINS).toContain('release');
+        expect(CANONICAL_DOMAINS).toContain('provenance');
+        expect(CANONICAL_DOMAINS).toContain('upgrade');
+    });
+    it('OperationDef is constructible with the canonical shape (no params field)', () => {
+        const def = {
+            gateway: 'query',
+            domain: 'tasks',
+            operation: 'show',
+            description: 'tasks.show (query)',
+            tier: 0,
+            idempotent: true,
+            sessionRequired: false,
+            requiredParams: ['taskId'],
+        };
+        expect(def.gateway).toBe('query');
+        expect(def.domain).toBe('tasks');
+        expect(def.params).toBeUndefined();
+    });
+    it('OperationDef is constructible with the optional params field populated', () => {
+        const def = {
+            gateway: 'mutate',
+            domain: 'tasks',
+            operation: 'add',
+            description: 'tasks.add (mutate)',
+            tier: 0,
+            idempotent: false,
+            sessionRequired: false,
+            requiredParams: ['title'],
+            params: [
+                {
+                    name: 'title',
+                    type: 'string',
+                    required: true,
+                    description: 'Title of the task',
+                },
+            ],
+        };
+        expect(def.params).toHaveLength(1);
+        expect(def.params?.[0].name).toBe('title');
+    });
+    it('Resolution wraps a domain + operation + def triple', () => {
+        const def = {
+            gateway: 'query',
+            domain: 'session',
+            operation: 'status',
+            description: 'session.status (query)',
+            tier: 0,
+            idempotent: true,
+            sessionRequired: false,
+            requiredParams: [],
+        };
+        const r = {
+            domain: 'session',
+            operation: 'status',
+            def,
+        };
+        expect(r.domain).toBe('session');
+        expect(r.def).toBe(def);
+    });
+    // The five `_Assert…Pinned` aliases above will fail compilation if
+    // any shape drifts. The following references prevent unused-locals
+    // diagnostics from removing them.
+    it('compile-time pins are wired (no-op at runtime)', () => {
+        const pinned = [1, 1, 1, 1, 1];
+        expect(pinned).toEqual([1, 1, 1, 1, 1]);
+    });
+});
+//# sourceMappingURL=operation-def.test.js.map

package/dist/__tests__/operation-def.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"operation-def.test.js","sourceRoot":"","sources":["../../src/__tests__/operation-def.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AA4D5D,uEAAuE;AAEvE,QAAQ,CAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,MAAM,GAAc,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QAC9C,MAAM,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,KAAK,GAAW,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACpD,sEAAsE;QACtE,qDAAqD;QACrD,MAAM,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,0EAA0E;QAC1E,uEAAuE;QACvE,2DAA2D;QAC3D,MAAM,CAAC,iBAAiB,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QAC/C,MAAM,CAAC,iBAAiB,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QAChD,MAAM,CAAC,iBAAiB,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QAC/C,MAAM,CAAC,iBAAiB,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QAClD,MAAM,CAAC,iBAAiB,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,MAAM,GAAG,GAAiB;YACxB,OAAO,EAAE,OAAO;YAChB,MAAM,EAAE,OAAO;YACf,SAAS,EAAE,MAAM;YACjB,WAAW,EAAE,oBAAoB;YACjC,IAAI,EAAE,CAAC;YACP,UAAU,EAAE,IAAI;YAChB,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,CAAC,QAAQ,CAAC;SAC3B,CAAC;QACF,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAClC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACjC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,aAAa,EAAE,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,GAAG,GAAiB;YACxB,OAAO,EAAE,QAAQ;YACjB,MAAM,EAAE,OAAO;YACf,SAAS,EAAE,KAAK;YAChB,WAAW,EAAE,oBAAoB;YACjC,IAAI,EAAE,CAAC;YACP,UAAU,EAAE,KAAK;YACjB,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,CAAC,OAAO,CAAC;YACzB,MAAM,EAAE;gBACN;oBACE,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE,QAAQ;oBACd,QAAQ,EAAE,IAAI;oBACd,WAAW,EAAE,mBAAmB;iBACjC;aACF;SACF,CAAC;QACF,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,GAAG,GAAiB;YACxB,OAAO,EAAE,OAAO;YAChB,MAAM,EAAE,SAAS;YACjB,SAAS,EAAE,QAAQ;YACnB,WAAW,EAAE,wBAAwB;YACrC,IAAI,EAAE,CAAC;YACP,UAAU,EAAE,IAAI;YAChB,eAAe,EAAE,KAAK;YACtB,cAAc,EAAE,EAAE;SACnB,CAAC;QACF,MAAM,CAAC,GAAe;YACpB,MAAM,EAAE,SAAS;YACjB,SAAS,EAAE,QAAQ;YACnB,GAAG;SACJ,CAAC;QACF,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACjC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,mEAAmE;IACnE,mEAAmE;IACnE,kCAAkC;IAClC,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,MAAM,GAMR,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACpB,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

@@ -0,0 +1,18 @@
+/**
+ * Structural-equivalence tests for the provenance graph contracts.
+ *
+ * These tests pin the literal shapes of the 16 provenance/release/BRAIN
+ * unions promoted in Phase 0c (T9955) so that accidental narrowing or
+ * widening produces a compile-time failure during `tsc -b` in the CI gate.
+ *
+ * The compile-time assertions use the conditional-equality trick
+ * (`Equals<A, B>`) so any structural drift produces a TS2322 or TS2344 at
+ * build time. The runtime `expect` shape sanity check below is a thin
+ * smoke verification that representative literals satisfy each union — it
+ * does NOT exercise behavior (these are pure type contracts with no
+ * runtime).
+ *
+ * @since SG-ARCH-SOLID Saga T9831 · E-CONTRACTS-FOUNDATION T9832 · T9955 (Phase 0c)
+ */
+export {};
+//# sourceMappingURL=provenance.test.d.ts.map

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

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

package/dist/__tests__/provenance.test.js

@@ -0,0 +1,142 @@
+/**
+ * Structural-equivalence tests for the provenance graph contracts.
+ *
+ * These tests pin the literal shapes of the 16 provenance/release/BRAIN
+ * unions promoted in Phase 0c (T9955) so that accidental narrowing or
+ * widening produces a compile-time failure during `tsc -b` in the CI gate.
+ *
+ * The compile-time assertions use the conditional-equality trick
+ * (`Equals<A, B>`) so any structural drift produces a TS2322 or TS2344 at
+ * build time. The runtime `expect` shape sanity check below is a thin
+ * smoke verification that representative literals satisfy each union — it
+ * does NOT exercise behavior (these are pure type contracts with no
+ * runtime).
+ *
+ * @since SG-ARCH-SOLID Saga T9831 · E-CONTRACTS-FOUNDATION T9832 · T9955 (Phase 0c)
+ */
+import { describe, expect, it } from 'vitest';
+// ─── Runtime constructibility smoke ─────────────────────────────────
+describe('provenance contracts', () => {
+    it('PrState union covers exactly the 3 GitHub PR states', () => {
+        const all = ['open', 'closed', 'merged'];
+        expect(all).toHaveLength(3);
+    });
+    it('PrLinkSource enumerates all 5 discovery sources', () => {
+        const all = ['pr-title', 'pr-body', 'branch-name', 'commit-trailer', 'manual'];
+        expect(all).toHaveLength(5);
+    });
+    it('PrLinkKind extends CommitLinkKind with the "tracks" addition', () => {
+        const commit = 'implements';
+        const pr = commit; // every commit-link-kind is a valid pr-link-kind
+        expect(pr).toBe('implements');
+        const tracks = 'tracks';
+        expect(tracks).toBe('tracks');
+    });
+    it('CommitConventionalType enumerates the canonical CC prefixes plus "breaking"', () => {
+        const ccs = [
+            'feat',
+            'fix',
+            'chore',
+            'docs',
+            'refactor',
+            'test',
+            'build',
+            'ci',
+            'perf',
+            'revert',
+            'breaking',
+        ];
+        expect(ccs).toHaveLength(11);
+        expect(ccs).toContain('breaking');
+    });
+    it('CommitLinkSource and CommitLinkKind are independent unions', () => {
+        const src = 'commit-trailer';
+        const kind = 'implements';
+        expect(src).toBe('commit-trailer');
+        expect(kind).toBe('implements');
+    });
+    it('CommitFileChangeType matches the git status letter codes', () => {
+        const codes = ['A', 'M', 'D', 'R', 'C'];
+        expect(codes).toHaveLength(5);
+    });
+    it('ReleaseScheme enumerates calver/semver/calver-suffix', () => {
+        const schemes = ['calver', 'semver', 'calver-suffix'];
+        expect(schemes).toHaveLength(3);
+    });
+    it('ReleaseChannel enumerates the provenance-layer channels', () => {
+        const channels = ['latest', 'beta', 'dev', 'hotfix'];
+        expect(channels).toHaveLength(4);
+    });
+    it('ReleaseKind enumerates regular/hotfix/prerelease', () => {
+        const kinds = ['regular', 'hotfix', 'prerelease'];
+        expect(kinds).toHaveLength(3);
+    });
+    it('ReleaseStatus admits BOTH new-pipeline and legacy-pipeline statuses', () => {
+        const newPipeline = [
+            'planned',
+            'pr-opened',
+            'pr-merged',
+            'published',
+            'reconciled',
+        ];
+        const legacyPipeline = ['prepared', 'committed', 'tagged', 'pushed'];
+        const terminals = ['rolled_back', 'failed', 'cancelled'];
+        expect(newPipeline).toHaveLength(5);
+        expect(legacyPipeline).toHaveLength(4);
+        expect(terminals).toHaveLength(3);
+    });
+    it('ReleaseChangeType enumerates the 12 CLEO change types', () => {
+        const types = [
+            'feature',
+            'enhancement',
+            'bug',
+            'hotfix',
+            'security',
+            'breaking',
+            'refactor',
+            'docs',
+            'chore',
+            'revert',
+            'deprecation',
+            'infrastructure',
+        ];
+        expect(types).toHaveLength(12);
+    });
+    it('ReleaseImpact enumerates the 4 semver-bump assessments', () => {
+        const impacts = ['major', 'minor', 'patch', 'none'];
+        expect(impacts).toHaveLength(4);
+    });
+    it('ReleaseClassifiedBy enumerates auto/manual/approved provenance', () => {
+        const provenance = ['auto', 'manual', 'approved'];
+        expect(provenance).toHaveLength(3);
+    });
+    it('ReleaseArtifactType enumerates the 7 supported artifact archetypes', () => {
+        const types = [
+            'npm',
+            'cargo',
+            'docker',
+            'pypi',
+            'github-release',
+            'binary',
+            'github-tag',
+        ];
+        expect(types).toHaveLength(7);
+    });
+    it('BrainReleaseLinkType enumerates the 4 BRAIN↔release semantics', () => {
+        const links = [
+            'approved-by',
+            'documented-in',
+            'derived-from',
+            'observed-in',
+        ];
+        expect(links).toHaveLength(4);
+    });
+    // The five `_Assert…Pinned` aliases above will fail compilation if any
+    // shape drifts. The following references prevent unused-locals
+    // diagnostics from removing them.
+    it('compile-time pins are wired (no-op at runtime)', () => {
+        const pinned = [1, 1, 1, 1, 1, 1];
+        expect(pinned).toEqual([1, 1, 1, 1, 1, 1]);
+    });
+});
+//# sourceMappingURL=provenance.test.js.map

package/dist/__tests__/provenance.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"provenance.test.js","sourceRoot":"","sources":["../../src/__tests__/provenance.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AA+F9C,uEAAuE;AAEvE,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,GAAG,GAAc,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QACpD,MAAM,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,GAAG,GAAmB,CAAC,UAAU,EAAE,SAAS,EAAE,aAAa,EAAE,gBAAgB,EAAE,QAAQ,CAAC,CAAC;QAC/F,MAAM,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,MAAM,GAAmB,YAAY,CAAC;QAC5C,MAAM,EAAE,GAAe,MAAM,CAAC,CAAC,iDAAiD;QAChF,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAC9B,MAAM,MAAM,GAAe,QAAQ,CAAC;QACpC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,MAAM,GAAG,GAA6B;YACpC,MAAM;YACN,KAAK;YACL,OAAO;YACP,MAAM;YACN,UAAU;YACV,MAAM;YACN,OAAO;YACP,IAAI;YACJ,MAAM;YACN,QAAQ;YACR,UAAU;SACX,CAAC;QACF,MAAM,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;QAC7B,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,GAAG,GAAqB,gBAAgB,CAAC;QAC/C,MAAM,IAAI,GAAmB,YAAY,CAAC;QAC1C,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACnC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,KAAK,GAA2B,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAChE,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,OAAO,GAAoB,CAAC,QAAQ,EAAE,QAAQ,EAAE,eAAe,CAAC,CAAC;QACvE,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,QAAQ,GAAqB,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;QACvE,MAAM,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,KAAK,GAAkB,CAAC,SAAS,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC;QACjE,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,MAAM,WAAW,GAAoB;YACnC,SAAS;YACT,WAAW;YACX,WAAW;YACX,WAAW;YACX,YAAY;SACb,CAAC;QACF,MAAM,cAAc,GAAoB,CAAC,UAAU,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QACtF,MAAM,SAAS,GAAoB,CAAC,aAAa,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;QAC1E,MAAM,CAAC,WAAW,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,CAAC,cAAc,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,KAAK,GAAwB;YACjC,SAAS;YACT,aAAa;YACb,KAAK;YACL,QAAQ;YACR,UAAU;YACV,UAAU;YACV,UAAU;YACV,MAAM;YACN,OAAO;YACP,QAAQ;YACR,aAAa;YACb,gBAAgB;SACjB,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,OAAO,GAAoB,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QACrE,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,UAAU,GAA0B,CAAC,MAAM,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;QACzE,MAAM,CAAC,UAAU,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,KAAK,GAA0B;YACnC,KAAK;YACL,OAAO;YACP,QAAQ;YACR,MAAM;YACN,gBAAgB;YAChB,QAAQ;YACR,YAAY;SACb,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,KAAK,GAA2B;YACpC,aAAa;YACb,eAAe;YACf,cAAc;YACd,aAAa;SACd,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,uEAAuE;IACvE,+DAA+D;IAC/D,kCAAkC;IAClC,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,MAAM,GAOR,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACvB,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}