@cleocode/contracts 2026.5.111 → 2026.5.112

package/dist/index.js

@@ -25,6 +25,7 @@ export { EngineResultError, engineError, engineSuccess, unwrap, } from './engine
 export { ARCHIVE_REASONS, TASK_KINDS, TASK_RELATION_TYPES, TASK_SCOPES, TASK_SEVERITIES, TASK_SIZES, } from './enums.js';
 // === Error Utilities ===
 export { ChangesetYamlInvalidError, ClassifierUnregisteredAgentError, createErrorResult, createSuccessResult, DecisionValidatorFailedError, E_SAGA_INVARIANT_VIOLATION_I3, E_SAGA_INVARIANT_VIOLATION_I5, E_SAGA_INVARIANT_VIOLATION_I7, formatError, getErrorMessage, isErrorResult, isErrorType, LeadBypassDetectedError, LifecycleScopeDeniedError, normalizeError, ThinAgentViolationError, } from './errors.js';
+export { callsiteCoverageAtomSchema, commitAtomSchema, decisionAtomSchema, EvidenceAtomSchema, EvidenceParseError, filesAtomSchema, formatGateRequirement, GATE_EVIDENCE_REQUIREMENTS, locDropAtomSchema, noteAtomSchema, parseEvidenceString, prAtomSchema, testRunAtomSchema, toolAtomSchema, urlAtomSchema, validateEvidenceForGate, } from './evidence-atom-schema.js';
 // === Evidence Record Zod Schemas (runtime validation) ===
 export { commandOutputRecordSchema, evidenceRecordSchema, implDiffRecordSchema, lintReportRecordSchema, testOutputRecordSchema, validateSpecCheckRecordSchema, } from './evidence-record-schema.js';
 // === Exit Codes ===
@@ -40,6 +41,7 @@ E_WRITE_CONTENTION, ExitCode, getExitCodeName, isErrorCode, isNoChangeCode, isRe
 // === Facade API Interfaces ===
 export { AGENT_INSTANCE_STATUSES, AGENT_TYPES, BRAIN_OBSERVATION_TYPES, } from './facade.js';
 export { confidenceFromProvenance, confidenceLabelFromNumeric, provenanceFromNumeric, } from './graph.js';
+export { ADR_073_INVARIANTS, getInvariant, getInvariantsByAdr, INVARIANTS_REGISTRY, } from './invariants/index.js';
 // === LAFS Envelope Types ===
 export { isGatewayEnvelope, isLafsError, isLafsSuccess, } from './lafs.js';
 export { PluginDeniedError, PluginLlmError, PluginModelGateError, PluginRateLimitedError, } from './llm/plugin-llm.js';

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAyBH,2DAA2D;AAC3D,OAAO,EACL,qBAAqB,EACrB,0BAA0B,EAC1B,oBAAoB,EACpB,oBAAoB,EACpB,iBAAiB,EACjB,mBAAmB,EACnB,cAAc,EACd,cAAc,EACd,uBAAuB,EACvB,cAAc,EACd,cAAc,EACd,gBAAgB,EAChB,cAAc,GACf,MAAM,6BAA6B,CAAC;AA0DrC,OAAO,EACL,wBAAwB,EACxB,mBAAmB,EACnB,gBAAgB,EAChB,oBAAoB,EACpB,uBAAuB,EACvB,yBAAyB,EACzB,yBAAyB,EACzB,mBAAmB,GACpB,MAAM,wBAAwB,CAAC;AAkChC,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AA6ClD,iDAAiD;AACjD,OAAO,EACL,uBAAuB,EACvB,kBAAkB,EAClB,sBAAsB,EACtB,oBAAoB,GACrB,MAAM,kBAAkB,CAAC;AAI1B,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AAGxE,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAmEvD,OAAO,EAAE,0BAA0B,EAAE,MAAM,kBAAkB,CAAC;AAoB9D,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAiBjD,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAG3D,wGAAwG;AACxG,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,mCAAmC,CAAC;AAoBvF,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,kBAAkB,EAClB,eAAe,GAChB,MAAM,oBAAoB,CAAC;AA2C5B,wEAAwE;AACxE,OAAO,EACL,iBAAiB,EACjB,WAAW,EACX,aAAa,EACb,MAAM,GACP,MAAM,oBAAoB,CAAC;AAC5B,sFAAsF;AACtF,OAAO,EACL,eAAe,EACf,UAAU,EACV,mBAAmB,EACnB,WAAW,EACX,eAAe,EACf,UAAU,GACX,MAAM,YAAY,CAAC;AAEpB,0BAA0B;AAC1B,OAAO,EACL,yBAAyB,EACzB,gCAAgC,EAChC,iBAAiB,EACjB,mBAAmB,EACnB,4BAA4B,EAC5B,6BAA6B,EAC7B,6BAA6B,EAC7B,6BAA6B,EAC7B,WAAW,EACX,eAAe,EACf,aAAa,EACb,WAAW,EACX,uBAAuB,EACvB,yBAAyB,EACzB,cAAc,EACd,uBAAuB,GACxB,MAAM,aAAa,CAAC;AAmBrB,2DAA2D;AAC3D,OAAO,EACL,yBAAyB,EACzB,oBAAoB,EACpB,oBAAoB,EACpB,sBAAsB,EACtB,sBAAsB,EACtB,6BAA6B,GAC9B,MAAM,6BAA6B,CAAC;AACrC,qBAAqB;AACrB,OAAO;AACL,mDAAmD;AACnD,wBAAwB;AACxB,0DAA0D;AAC1D,kBAAkB,EAClB,YAAY,EACZ,YAAY,EACZ,6BAA6B,EAC7B,gBAAgB,EAChB,uBAAuB;AACvB,0DAA0D;AAC1D,sBAAsB,EACtB,eAAe,EACf,gBAAgB,EAChB,sBAAsB,EACtB,oBAAoB;AACpB,kEAAkE;AAClE,kBAAkB,EAClB,QAAQ,EACR,eAAe,EACf,WAAW,EACX,cAAc,EACd,iBAAiB,EACjB,aAAa,GACd,MAAM,iBAAiB,CAAC;AAgCzB,gCAAgC;AAChC,OAAO,EACL,uBAAuB,EACvB,WAAW,EACX,uBAAuB,GACxB,MAAM,aAAa,CAAC;AAkBrB,OAAO,EACL,wBAAwB,EACxB,0BAA0B,EAC1B,qBAAqB,GACtB,MAAM,YAAY,CAAC;AA8BpB,8BAA8B;AAC9B,OAAO,EACL,iBAAiB,EACjB,WAAW,EACX,aAAa,GACd,MAAM,WAAW,CAAC;AAsCnB,OAAO,EACL,iBAAiB,EACjB,cAAc,EACd,oBAAoB,EACpB,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAgC7B,OAAO,EAAE,8BAA8B,EAAE,MAAM,qBAAqB,CAAC;AAkLrE,8FAA8F;AAC9F,OAAO,KAAK,GAAG,MAAM,uBAAuB,CAAC;AA+O7C,OAAO,EACL,kBAAkB,EAClB,cAAc,EACd,eAAe,GAChB,MAAM,iCAAiC,CAAC;AA+BzC,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAuQ3D,kEAAkE;AAClE,OAAO,EACL,kBAAkB,EAClB,oBAAoB,EACpB,cAAc,GAGf,MAAM,WAAW,CAAC;AAqFnB,OAAO,EACL,cAAc,EACd,qBAAqB,EACrB,6BAA6B,EAC7B,0BAA0B,EAC1B,6BAA6B,GAC9B,MAAM,6BAA6B,CAAC;AA4CrC,OAAO,EACL,SAAS,EACT,WAAW,EACX,cAAc,EACd,gBAAgB,EAChB,MAAM,EACN,YAAY,EACZ,cAAc,EACd,mBAAmB,EACnB,SAAS,EACT,eAAe,EACf,gBAAgB,EAChB,eAAe,EACf,YAAY,EACZ,uBAAuB,EACvB,2BAA2B,EAC3B,cAAc,EACd,cAAc,EACd,eAAe,EACf,oBAAoB,EACpB,iBAAiB,EACjB,iBAAiB,EACjB,0BAA0B,EAC1B,qBAAqB,EACrB,iBAAiB,EACjB,qBAAqB,EACrB,gCAAgC,EAChC,6BAA6B,EAC7B,mBAAmB,EACnB,mBAAmB,EACnB,oBAAoB,EACpB,oBAAoB,EACpB,SAAS,EACT,cAAc,GACf,MAAM,mBAAmB,CAAC;AAoB3B,uDAAuD;AACvD,cAAc,mBAAmB,CAAC;AA+ClC,wBAAwB;AACxB,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAM3C,kDAAkD;AAClD,OAAO,EACL,8BAA8B,EAC9B,kCAAkC,EAClC,iCAAiC,EACjC,yBAAyB,GAC1B,MAAM,sBAAsB,CAAC;AA6C9B,uEAAuE;AACvE,OAAO,EACL,YAAY,EAIZ,aAAa,EAEb,aAAa,EACb,2BAA2B,EAC3B,wBAAwB,EACxB,iBAAiB;AAEjB,gBAAgB;AAChB,qBAAqB,EAErB,gBAAgB,EAEhB,kBAAkB,EAClB,eAAe,EAEf,yBAAyB,EACzB,2BAA2B;AAC3B,YAAY;AACZ,aAAa,EAGb,0BAA0B,EAC1B,uBAAuB;AACvB,sBAAsB;AACtB,sBAAsB,GACvB,MAAM,sBAAsB,CAAC;AA+C9B,OAAO,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,MAAM,WAAW,CAAC;AAYvE,OAAO,EACL,2BAA2B,EAC3B,kBAAkB,EAClB,iBAAiB,EACjB,wBAAwB,EACxB,kBAAkB,EAClB,wBAAwB,GACzB,MAAM,oBAAoB,CAAC;AAuB5B,uEAAuE;AACvE,OAAO,EACL,wBAAwB,EACxB,4BAA4B,EAC5B,qBAAqB,EACrB,aAAa,EACb,mBAAmB,EACnB,2BAA2B,EAC3B,mBAAmB,EACnB,yBAAyB,GAC1B,MAAM,oBAAoB,CAAC;AAkF5B,yCAAyC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAyBH,2DAA2D;AAC3D,OAAO,EACL,qBAAqB,EACrB,0BAA0B,EAC1B,oBAAoB,EACpB,oBAAoB,EACpB,iBAAiB,EACjB,mBAAmB,EACnB,cAAc,EACd,cAAc,EACd,uBAAuB,EACvB,cAAc,EACd,cAAc,EACd,gBAAgB,EAChB,cAAc,GACf,MAAM,6BAA6B,CAAC;AA0DrC,OAAO,EACL,wBAAwB,EACxB,mBAAmB,EACnB,gBAAgB,EAChB,oBAAoB,EACpB,uBAAuB,EACvB,yBAAyB,EACzB,yBAAyB,EACzB,mBAAmB,GACpB,MAAM,wBAAwB,CAAC;AAkChC,OAAO,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AA6ClD,iDAAiD;AACjD,OAAO,EACL,uBAAuB,EACvB,kBAAkB,EAClB,sBAAsB,EACtB,oBAAoB,GACrB,MAAM,kBAAkB,CAAC;AAI1B,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AAGxE,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAmEvD,OAAO,EAAE,0BAA0B,EAAE,MAAM,kBAAkB,CAAC;AAoB9D,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAiBjD,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAG3D,wGAAwG;AACxG,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,mCAAmC,CAAC;AAoBvF,OAAO,EACL,uBAAuB,EACvB,iBAAiB,EACjB,kBAAkB,EAClB,eAAe,GAChB,MAAM,oBAAoB,CAAC;AA2C5B,wEAAwE;AACxE,OAAO,EACL,iBAAiB,EACjB,WAAW,EACX,aAAa,EACb,MAAM,GACP,MAAM,oBAAoB,CAAC;AAC5B,sFAAsF;AACtF,OAAO,EACL,eAAe,EACf,UAAU,EACV,mBAAmB,EACnB,WAAW,EACX,eAAe,EACf,UAAU,GACX,MAAM,YAAY,CAAC;AAEpB,0BAA0B;AAC1B,OAAO,EACL,yBAAyB,EACzB,gCAAgC,EAChC,iBAAiB,EACjB,mBAAmB,EACnB,4BAA4B,EAC5B,6BAA6B,EAC7B,6BAA6B,EAC7B,6BAA6B,EAC7B,WAAW,EACX,eAAe,EACf,aAAa,EACb,WAAW,EACX,uBAAuB,EACvB,yBAAyB,EACzB,cAAc,EACd,uBAAuB,GACxB,MAAM,aAAa,CAAC;AAQrB,OAAO,EACL,0BAA0B,EAC1B,gBAAgB,EAChB,kBAAkB,EAClB,kBAAkB,EAClB,kBAAkB,EAClB,eAAe,EACf,qBAAqB,EACrB,0BAA0B,EAC1B,iBAAiB,EACjB,cAAc,EACd,mBAAmB,EACnB,YAAY,EACZ,iBAAiB,EACjB,cAAc,EACd,aAAa,EACb,uBAAuB,GACxB,MAAM,2BAA2B,CAAC;AAmBnC,2DAA2D;AAC3D,OAAO,EACL,yBAAyB,EACzB,oBAAoB,EACpB,oBAAoB,EACpB,sBAAsB,EACtB,sBAAsB,EACtB,6BAA6B,GAC9B,MAAM,6BAA6B,CAAC;AACrC,qBAAqB;AACrB,OAAO;AACL,mDAAmD;AACnD,wBAAwB;AACxB,0DAA0D;AAC1D,kBAAkB,EAClB,YAAY,EACZ,YAAY,EACZ,6BAA6B,EAC7B,gBAAgB,EAChB,uBAAuB;AACvB,0DAA0D;AAC1D,sBAAsB,EACtB,eAAe,EACf,gBAAgB,EAChB,sBAAsB,EACtB,oBAAoB;AACpB,kEAAkE;AAClE,kBAAkB,EAClB,QAAQ,EACR,eAAe,EACf,WAAW,EACX,cAAc,EACd,iBAAiB,EACjB,aAAa,GACd,MAAM,iBAAiB,CAAC;AAgCzB,gCAAgC;AAChC,OAAO,EACL,uBAAuB,EACvB,WAAW,EACX,uBAAuB,GACxB,MAAM,aAAa,CAAC;AAkBrB,OAAO,EACL,wBAAwB,EACxB,0BAA0B,EAC1B,qBAAqB,GACtB,MAAM,YAAY,CAAC;AAWpB,OAAO,EACL,kBAAkB,EAClB,YAAY,EACZ,kBAAkB,EAClB,mBAAmB,GACpB,MAAM,uBAAuB,CAAC;AA4B/B,8BAA8B;AAC9B,OAAO,EACL,iBAAiB,EACjB,WAAW,EACX,aAAa,GACd,MAAM,WAAW,CAAC;AAsCnB,OAAO,EACL,iBAAiB,EACjB,cAAc,EACd,oBAAoB,EACpB,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAgC7B,OAAO,EAAE,8BAA8B,EAAE,MAAM,qBAAqB,CAAC;AAkLrE,8FAA8F;AAC9F,OAAO,KAAK,GAAG,MAAM,uBAAuB,CAAC;AA+O7C,OAAO,EACL,kBAAkB,EAClB,cAAc,EACd,eAAe,GAChB,MAAM,iCAAiC,CAAC;AA+BzC,OAAO,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAuQ3D,kEAAkE;AAClE,OAAO,EACL,kBAAkB,EAClB,oBAAoB,EACpB,cAAc,GAGf,MAAM,WAAW,CAAC;AAqFnB,OAAO,EACL,cAAc,EACd,qBAAqB,EACrB,6BAA6B,EAC7B,0BAA0B,EAC1B,6BAA6B,GAC9B,MAAM,6BAA6B,CAAC;AA4CrC,OAAO,EACL,SAAS,EACT,WAAW,EACX,cAAc,EACd,gBAAgB,EAChB,MAAM,EACN,YAAY,EACZ,cAAc,EACd,mBAAmB,EACnB,SAAS,EACT,eAAe,EACf,gBAAgB,EAChB,eAAe,EACf,YAAY,EACZ,uBAAuB,EACvB,2BAA2B,EAC3B,cAAc,EACd,cAAc,EACd,eAAe,EACf,oBAAoB,EACpB,iBAAiB,EACjB,iBAAiB,EACjB,0BAA0B,EAC1B,qBAAqB,EACrB,iBAAiB,EACjB,qBAAqB,EACrB,gCAAgC,EAChC,6BAA6B,EAC7B,mBAAmB,EACnB,mBAAmB,EACnB,oBAAoB,EACpB,oBAAoB,EACpB,SAAS,EACT,cAAc,GACf,MAAM,mBAAmB,CAAC;AAoB3B,uDAAuD;AACvD,cAAc,mBAAmB,CAAC;AA+ClC,wBAAwB;AACxB,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAM3C,kDAAkD;AAClD,OAAO,EACL,8BAA8B,EAC9B,kCAAkC,EAClC,iCAAiC,EACjC,yBAAyB,GAC1B,MAAM,sBAAsB,CAAC;AA6C9B,uEAAuE;AACvE,OAAO,EACL,YAAY,EAIZ,aAAa,EAEb,aAAa,EACb,2BAA2B,EAC3B,wBAAwB,EACxB,iBAAiB;AAEjB,gBAAgB;AAChB,qBAAqB,EAErB,gBAAgB,EAEhB,kBAAkB,EAClB,eAAe,EAEf,yBAAyB,EACzB,2BAA2B;AAC3B,YAAY;AACZ,aAAa,EAGb,0BAA0B,EAC1B,uBAAuB;AACvB,sBAAsB;AACtB,sBAAsB,GACvB,MAAM,sBAAsB,CAAC;AA+C9B,OAAO,EAAE,mBAAmB,EAAE,qBAAqB,EAAE,MAAM,WAAW,CAAC;AAYvE,OAAO,EACL,2BAA2B,EAC3B,kBAAkB,EAClB,iBAAiB,EACjB,wBAAwB,EACxB,kBAAkB,EAClB,wBAAwB,GACzB,MAAM,oBAAoB,CAAC;AAuB5B,uEAAuE;AACvE,OAAO,EACL,wBAAwB,EACxB,4BAA4B,EAC5B,qBAAqB,EACrB,aAAa,EACb,mBAAmB,EACnB,2BAA2B,EAC3B,mBAAmB,EACnB,yBAAyB,GAC1B,MAAM,oBAAoB,CAAC;AAkF5B,yCAAyC"}

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

@@ -0,0 +1,14 @@
+/**
+ * Unit tests for the central invariants registry (T10335).
+ *
+ * The registry is the SSoT for system-wide invariants surfaced via the
+ * SG-SUBSTRATE-RECONCILIATION saga. Downstream R-tasks (R2 ORC codes,
+ * R4 CI gate, R5 release refactor, R6 doctor audit, R8 docs renderer)
+ * all key off the metadata shape asserted below.
+ *
+ * @epic T10327 — E-INVARIANT-REGISTRY-SSOT
+ * @saga T10326 — SG-SUBSTRATE-RECONCILIATION
+ * @task T10335 — R1: registry + ADR-073 I1-I8
+ */
+export {};
+//# sourceMappingURL=registry.test.d.ts.map

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

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

package/dist/invariants/__tests__/registry.test.js

@@ -0,0 +1,113 @@
+/**
+ * Unit tests for the central invariants registry (T10335).
+ *
+ * The registry is the SSoT for system-wide invariants surfaced via the
+ * SG-SUBSTRATE-RECONCILIATION saga. Downstream R-tasks (R2 ORC codes,
+ * R4 CI gate, R5 release refactor, R6 doctor audit, R8 docs renderer)
+ * all key off the metadata shape asserted below.
+ *
+ * @epic T10327 — E-INVARIANT-REGISTRY-SSOT
+ * @saga T10326 — SG-SUBSTRATE-RECONCILIATION
+ * @task T10335 — R1: registry + ADR-073 I1-I8
+ */
+import { describe, expect, it } from 'vitest';
+import { E_SAGA_INVARIANT_VIOLATION_I3, E_SAGA_INVARIANT_VIOLATION_I5, E_SAGA_INVARIANT_VIOLATION_I7, } from '../../errors.js';
+import { ADR_073_INVARIANTS, getInvariant, getInvariantsByAdr, INVARIANTS_REGISTRY, } from '../index.js';
+/**
+ * Map from ADR-073 invariant code → expected LAFS error code in
+ * `packages/contracts/src/errors.ts`. R2/R4 will extend this mapping with
+ * ADR-070 ORC codes once they land — for now the registry only knows
+ * about the three saga-runtime guards.
+ *
+ * NOTE: I4 / I6 / I8 deliberately have no error code today — they are
+ * UNENFORCED warnings. The R4 CI gate (T10338) is the right home for the
+ * strict "every error has an error code" assertion; this test only
+ * validates the subset we already have wired.
+ */
+const ADR_073_ERROR_CODE_MAP = {
+    I3: E_SAGA_INVARIANT_VIOLATION_I3,
+    I5: E_SAGA_INVARIANT_VIOLATION_I5,
+    I7: E_SAGA_INVARIANT_VIOLATION_I7,
+};
+describe('INVARIANTS_REGISTRY — central registry shape', () => {
+    it('exposes at least 8 entries (ADR-073 I1-I8 baseline)', () => {
+        const entries = Object.values(INVARIANTS_REGISTRY);
+        expect(entries.length).toBeGreaterThanOrEqual(8);
+    });
+    it('registers all eight ADR-073 invariants under predictable keys', () => {
+        for (let i = 1; i <= 8; i++) {
+            const key = `ADR-073.I${i}`;
+            expect(INVARIANTS_REGISTRY[key]).toBeDefined();
+            expect(INVARIANTS_REGISTRY[key]?.adr).toBe('ADR-073');
+            expect(INVARIANTS_REGISTRY[key]?.code).toBe(`I${i}`);
+        }
+    });
+    it('every entry carries a non-empty name and description', () => {
+        for (const entry of Object.values(INVARIANTS_REGISTRY)) {
+            expect(entry.name.length).toBeGreaterThan(0);
+            expect(entry.description.length).toBeGreaterThan(0);
+        }
+    });
+    it('every severity:"error" invariant has a non-null runtimeGate', () => {
+        const errorTier = Object.values(INVARIANTS_REGISTRY).filter((e) => e.severity === 'error');
+        expect(errorTier.length).toBeGreaterThan(0);
+        for (const entry of errorTier) {
+            expect(entry.runtimeGate).not.toBeNull();
+            // Triple is fully populated when present.
+            if (entry.runtimeGate !== null) {
+                expect(entry.runtimeGate.module.length).toBeGreaterThan(0);
+                expect(entry.runtimeGate.functionName.length).toBeGreaterThan(0);
+            }
+        }
+    });
+});
+describe('getInvariant — lookup helper', () => {
+    it('returns the ADR-073.I3 entry with the expected runtime guard', () => {
+        const i3 = getInvariant('ADR-073.I3');
+        expect(i3).toBeDefined();
+        expect(i3?.adr).toBe('ADR-073');
+        expect(i3?.code).toBe('I3');
+        expect(i3?.severity).toBe('error');
+        expect(i3?.runtimeGate?.functionName).toBe('assertSagaInvariantI3');
+        expect(i3?.runtimeGate?.module).toBe('packages/core/src/sagas/enforcement.ts');
+    });
+    it('returns undefined for an unregistered key', () => {
+        expect(getInvariant('ADR-999.X1')).toBeUndefined();
+    });
+});
+describe('getInvariantsByAdr — per-ADR enumeration', () => {
+    it('returns all eight ADR-073 invariants in declaration order', () => {
+        const adr073 = getInvariantsByAdr('ADR-073');
+        expect(adr073).toHaveLength(8);
+        expect(adr073.map((e) => e.code)).toEqual(['I1', 'I2', 'I3', 'I4', 'I5', 'I6', 'I7', 'I8']);
+    });
+    it('returns an empty array for an unknown ADR', () => {
+        expect(getInvariantsByAdr('ADR-DOES-NOT-EXIST')).toEqual([]);
+    });
+});
+describe('ADR_073_INVARIANTS — exported convenience binding', () => {
+    it('matches the entries surfaced via getInvariantsByAdr', () => {
+        expect(ADR_073_INVARIANTS).toHaveLength(8);
+        const enumerated = getInvariantsByAdr('ADR-073');
+        expect(enumerated).toHaveLength(ADR_073_INVARIANTS.length);
+        for (let i = 0; i < ADR_073_INVARIANTS.length; i++) {
+            expect(enumerated[i]?.code).toBe(ADR_073_INVARIANTS[i]?.code);
+        }
+    });
+});
+describe('error-code cross-reference (subset — R4 T10338 owns full strict gate)', () => {
+    it('every ADR-073 invariant with a runtimeGate has a known LAFS error code', () => {
+        // TODO(T10338 / R4): replace this targeted subset with a strict registry-wide
+        // assertion that walks every severity:"error" entry and confirms a matching
+        // LAFS error code (E_<ADR>_INVARIANT_VIOLATION_<CODE>) exists in errors.ts.
+        const adr073 = getInvariantsByAdr('ADR-073');
+        for (const entry of adr073) {
+            if (entry.runtimeGate !== null) {
+                const expected = ADR_073_ERROR_CODE_MAP[entry.code];
+                expect(expected).toBeDefined();
+                expect(typeof expected).toBe('string');
+            }
+        }
+    });
+});
+//# sourceMappingURL=registry.test.js.map

package/dist/invariants/__tests__/registry.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.test.js","sourceRoot":"","sources":["../../../src/invariants/__tests__/registry.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EACL,6BAA6B,EAC7B,6BAA6B,EAC7B,6BAA6B,GAC9B,MAAM,iBAAiB,CAAC;AACzB,OAAO,EACL,kBAAkB,EAClB,YAAY,EACZ,kBAAkB,EAClB,mBAAmB,GAEpB,MAAM,aAAa,CAAC;AAErB;;;;;;;;;;GAUG;AACH,MAAM,sBAAsB,GAA2B;IACrD,EAAE,EAAE,6BAA6B;IACjC,EAAE,EAAE,6BAA6B;IACjC,EAAE,EAAE,6BAA6B;CAClC,CAAC;AAEF,QAAQ,CAAC,8CAA8C,EAAE,GAAG,EAAE;IAC5D,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC;QACnD,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,CAAC;YAC5B,MAAM,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;YAC/C,MAAM,CAAC,mBAAmB,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACtD,MAAM,CAAC,mBAAmB,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,EAAE,CAAC;YACvD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YAC7C,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACtD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,SAAS,GAA0B,MAAM,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,MAAM,CAChF,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAC9B,CAAC;QACF,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC5C,KAAK,MAAM,KAAK,IAAI,SAAS,EAAE,CAAC;YAC9B,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;YACzC,0CAA0C;YAC1C,IAAI,KAAK,CAAC,WAAW,KAAK,IAAI,EAAE,CAAC;gBAC/B,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;gBAC3D,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YACnE,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,EAAE,GAAG,YAAY,CAAC,YAAY,CAAC,CAAC;QACtC,MAAM,CAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QACzB,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAChC,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,MAAM,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACnC,MAAM,CAAC,EAAE,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;QACpE,MAAM,CAAC,EAAE,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,wCAAwC,CAAC,CAAC;IACjF,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;IACrD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,MAAM,GAAG,kBAAkB,CAAC,SAAS,CAAC,CAAC;QAC7C,MAAM,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IAC9F,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,kBAAkB,CAAC,oBAAoB,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,mDAAmD,EAAE,GAAG,EAAE;IACjE,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,kBAAkB,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC3C,MAAM,UAAU,GAAG,kBAAkB,CAAC,SAAS,CAAC,CAAC;QACjD,MAAM,CAAC,UAAU,CAAC,CAAC,YAAY,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC;QAC3D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,kBAAkB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACnD,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAChE,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,uEAAuE,EAAE,GAAG,EAAE;IACrF,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,8EAA8E;QAC9E,4EAA4E;QAC5E,4EAA4E;QAC5E,MAAM,MAAM,GAAG,kBAAkB,CAAC,SAAS,CAAC,CAAC;QAC7C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,KAAK,CAAC,WAAW,KAAK,IAAI,EAAE,CAAC;gBAC/B,MAAM,QAAQ,GAAG,sBAAsB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;gBACpD,MAAM,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC;gBAC/B,MAAM,CAAC,OAAO,QAAQ,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACzC,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/invariants/adr-073-saga.d.ts

@@ -0,0 +1,32 @@
+/**
+ * ADR-073 §1.2 invariants I1-I8 registered against the central invariants
+ * registry (`./index.ts`).
+ *
+ * The eight invariants govern the 4-tier task hierarchy (Saga → Epic → Task
+ * → Subtask) and the cross-tier rules that keep it healthy. I3, I5, I7 carry
+ * runtime guards (the `assertSagaInvariant{I3,I5,I7}` functions in
+ * `@cleocode/core` saga module) and surface as `E_SAGA_INVARIANT_VIOLATION_*`
+ * LAFS error codes. I1 + I2 are display/storage concerns enforced by DB
+ * CHECK constraints (added in W1.B T10329 migration) and ID generation
+ * conventions rather than runtime functions. I4, I6, I8 are
+ * orchestration/process invariants that lack a unified runtime guard today
+ * — they are marked `warning` and explicitly tagged as UNENFORCED
+ * (load-bearing) so downstream R6 doctor audits surface them visibly.
+ *
+ * @epic T10327 — E-INVARIANT-REGISTRY-SSOT
+ * @saga T10326 — SG-SUBSTRATE-RECONCILIATION
+ * @task T10335 — R1 (registry + ADR-073 I1-I8)
+ * @see ADR-073-above-epic-naming.md §1.2
+ */
+import type { RegisteredInvariant } from './index.js';
+/**
+ * ADR-073 invariants I1-I8 in declaration order.
+ *
+ * Severity mapping (see `RegisteredInvariant` JSDoc for tier semantics):
+ * - I1, I2 → `info` (display/storage; enforced by DB CHECK + ID convention).
+ * - I3, I5, I7 → `error` (LAFS error code + runtime guard mandatory).
+ * - I4, I6, I8 → `warning` (orchestration/process; UNENFORCED at runtime
+ *   today, doctor audit only).
+ */
+export declare const ADR_073_INVARIANTS: readonly RegisteredInvariant[];
+//# sourceMappingURL=adr-073-saga.d.ts.map

package/dist/invariants/adr-073-saga.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"adr-073-saga.d.ts","sourceRoot":"","sources":["../../src/invariants/adr-073-saga.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAiBtD;;;;;;;;GAQG;AACH,eAAO,MAAM,kBAAkB,EAAE,SAAS,mBAAmB,EAuH3D,CAAC"}

package/dist/invariants/adr-073-saga.js

@@ -0,0 +1,155 @@
+/**
+ * ADR-073 §1.2 invariants I1-I8 registered against the central invariants
+ * registry (`./index.ts`).
+ *
+ * The eight invariants govern the 4-tier task hierarchy (Saga → Epic → Task
+ * → Subtask) and the cross-tier rules that keep it healthy. I3, I5, I7 carry
+ * runtime guards (the `assertSagaInvariant{I3,I5,I7}` functions in
+ * `@cleocode/core` saga module) and surface as `E_SAGA_INVARIANT_VIOLATION_*`
+ * LAFS error codes. I1 + I2 are display/storage concerns enforced by DB
+ * CHECK constraints (added in W1.B T10329 migration) and ID generation
+ * conventions rather than runtime functions. I4, I6, I8 are
+ * orchestration/process invariants that lack a unified runtime guard today
+ * — they are marked `warning` and explicitly tagged as UNENFORCED
+ * (load-bearing) so downstream R6 doctor audits surface them visibly.
+ *
+ * @epic T10327 — E-INVARIANT-REGISTRY-SSOT
+ * @saga T10326 — SG-SUBSTRATE-RECONCILIATION
+ * @task T10335 — R1 (registry + ADR-073 I1-I8)
+ * @see ADR-073-above-epic-naming.md §1.2
+ */
+/**
+ * Module path that hosts the saga runtime-guard exports
+ * (`assertSagaInvariantI3`, `assertSagaInvariantI5`, `assertSagaInvariantI7`).
+ *
+ * Held as a constant so all four entries share the same source-of-truth
+ * pointer — touching the module path once propagates to every guard ref.
+ */
+const SAGA_ENFORCEMENT_MODULE = 'packages/core/src/sagas/enforcement.ts';
+/**
+ * Path to the canonical enforcement-tests file. Used as the `tests` ref
+ * for every I3 / I5 / I7 entry below.
+ */
+const SAGA_ENFORCEMENT_TESTS = 'packages/core/src/sagas/__tests__/enforcement.test.ts';
+/**
+ * ADR-073 invariants I1-I8 in declaration order.
+ *
+ * Severity mapping (see `RegisteredInvariant` JSDoc for tier semantics):
+ * - I1, I2 → `info` (display/storage; enforced by DB CHECK + ID convention).
+ * - I3, I5, I7 → `error` (LAFS error code + runtime guard mandatory).
+ * - I4, I6, I8 → `warning` (orchestration/process; UNENFORCED at runtime
+ *   today, doctor audit only).
+ */
+export const ADR_073_INVARIANTS = Object.freeze([
+    {
+        adr: 'ADR-073',
+        code: 'I1',
+        name: 'Storage uniformity',
+        description: 'All task IDs are stored as T#### and the type column is the canonical tier discriminator. There is no separate ID space for Sagas, Epics, Tasks, or Subtasks; label="saga" elevates a type="epic" row to Saga semantics.',
+        severity: 'info',
+        // I1 is enforced by the DB CHECK constraints introduced in W1.B (T10329)
+        // and by TASK_ID_PATTERN in packages/core/src/tasks/id-generator.ts —
+        // not by a single runtime function.
+        runtimeGate: null,
+        lintRule: null,
+        doctorAudit: null,
+        tests: ['packages/core/src/tasks/__tests__/id-generator.test.ts'],
+    },
+    {
+        adr: 'ADR-073',
+        code: 'I2',
+        name: 'Conceptual prefixes are display + import only',
+        description: "SG-, E-, T- (and Subtask's implicit absence) are documentation, CLI display, and import-mapping conventions only. They MUST NOT be used as DB primary keys — display-only with no runtime enforcement.",
+        severity: 'info',
+        // I2 is a display convention; the SG- prefix preservation snapshot
+        // (T10333) protects the display contract but there is no runtime guard.
+        runtimeGate: null,
+        lintRule: null,
+        doctorAudit: null,
+        tests: [],
+    },
+    {
+        adr: 'ADR-073',
+        code: 'I3',
+        name: 'Tier promotion mandatory when scope outgrows the tier',
+        description: 'A Subtask whose change exceeds 2 files or crosses a module boundary MUST be split or promoted to a sibling Task. A Task that requires more than one PR or wave MUST be split. An Epic that spans more than one release MUST be regrouped under a Saga.',
+        severity: 'error',
+        runtimeGate: {
+            module: SAGA_ENFORCEMENT_MODULE,
+            functionName: 'assertSagaInvariantI3',
+        },
+        lintRule: null,
+        doctorAudit: null,
+        tests: [SAGA_ENFORCEMENT_TESTS],
+    },
+    {
+        adr: 'ADR-073',
+        code: 'I4',
+        name: 'Ownership non-overlapping',
+        description: 'A single tier maps to a single orchestration role (per ADR-070). Workers MUST NOT spawn other Workers. Phase Leads MUST NOT own multiple Epics simultaneously. The Orchestrator MUST NOT spawn Workers directly when fan-out exceeds the ADR-070 migration threshold.',
+        severity: 'warning',
+        // I4 is partially covered by ADR-070 spawn guards but the unification
+        // with the registry happens in R2 (T10336 — ORC codes). For now this
+        // entry stays warning + runtimeGate:null to mark the gap explicitly.
+        runtimeGate: null,
+        lintRule: null,
+        doctorAudit: null,
+        tests: [],
+    },
+    {
+        adr: 'ADR-073',
+        code: 'I5',
+        name: 'Sagas link via groups, not parent',
+        description: 'task_relations.type="groups" is the ONLY relation type that links a Saga to its member Epics. The Saga row\'s parent_id MUST be NULL. Enforced at runtime by assertSagaInvariantI5 AND by the DB CHECK constraint from W1.B (T10329) on label="saga" rows.',
+        severity: 'error',
+        runtimeGate: {
+            module: SAGA_ENFORCEMENT_MODULE,
+            functionName: 'assertSagaInvariantI5',
+        },
+        lintRule: null,
+        doctorAudit: null,
+        tests: [SAGA_ENFORCEMENT_TESTS],
+    },
+    {
+        adr: 'ADR-073',
+        code: 'I6',
+        name: 'Acceptance criteria required at every tier',
+        description: 'Per ADR-066 §"Ownership Matrix" invariant #5, all tasks regardless of type or kind MUST have --acceptance set at creation time. No tier exemption exists. Delegated to the ADR-066 --acceptance requirement on cleo add/add-batch.',
+        severity: 'warning',
+        // I6 is enforced by ADR-066's CLI requirement, not by a saga runtime
+        // function. UNENFORCED in the saga module — left as a warning so R6
+        // doctor audit reminds operators of the upstream guard's location.
+        runtimeGate: null,
+        lintRule: null,
+        doctorAudit: null,
+        tests: [],
+    },
+    {
+        adr: 'ADR-073',
+        code: 'I7',
+        name: 'Maximum parent depth is 3',
+        description: 'The parent ladder Subtask → Task → Epic is fixed at depth 3 (hierarchy.maxDepth=3). Sagas do NOT consume depth — they attach via groups relations, not parent edges. Enforced at runtime by assertSagaInvariantI7.',
+        severity: 'error',
+        runtimeGate: {
+            module: SAGA_ENFORCEMENT_MODULE,
+            functionName: 'assertSagaInvariantI7',
+        },
+        lintRule: null,
+        doctorAudit: null,
+        tests: [SAGA_ENFORCEMENT_TESTS],
+    },
+    {
+        adr: 'ADR-073',
+        code: 'I8',
+        name: 'Subtask-to-PR aggregation rule',
+        description: "A Task ships as exactly one PR. The PR's commit history is the union of the Task's Subtask commits. A Subtask never produces its own PR; if a unit of work warrants its own PR, it is a Task, not a Subtask. UNENFORCED at runtime today — load-bearing convention enforced via code review and the lifecycle decision table.",
+        severity: 'warning',
+        // I8 is explicitly "UNENFORCED, load-bearing" — there is no automated
+        // gate. R6 doctor audit surfaces this entry so it stays visible.
+        runtimeGate: null,
+        lintRule: null,
+        doctorAudit: null,
+        tests: [],
+    },
+]);
+//# sourceMappingURL=adr-073-saga.js.map

package/dist/invariants/adr-073-saga.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"adr-073-saga.js","sourceRoot":"","sources":["../../src/invariants/adr-073-saga.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAIH;;;;;;GAMG;AACH,MAAM,uBAAuB,GAAG,wCAAwC,CAAC;AAEzE;;;GAGG;AACH,MAAM,sBAAsB,GAAG,uDAAuD,CAAC;AAEvF;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAmC,MAAM,CAAC,MAAM,CAAC;IAC9E;QACE,GAAG,EAAE,SAAS;QACd,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,oBAAoB;QAC1B,WAAW,EACT,0NAA0N;QAC5N,QAAQ,EAAE,MAAM;QAChB,yEAAyE;QACzE,sEAAsE;QACtE,oCAAoC;QACpC,WAAW,EAAE,IAAI;QACjB,QAAQ,EAAE,IAAI;QACd,WAAW,EAAE,IAAI;QACjB,KAAK,EAAE,CAAC,wDAAwD,CAAC;KAClE;IACD;QACE,GAAG,EAAE,SAAS;QACd,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,+CAA+C;QACrD,WAAW,EACT,wMAAwM;QAC1M,QAAQ,EAAE,MAAM;QAChB,mEAAmE;QACnE,wEAAwE;QACxE,WAAW,EAAE,IAAI;QACjB,QAAQ,EAAE,IAAI;QACd,WAAW,EAAE,IAAI;QACjB,KAAK,EAAE,EAAE;KACV;IACD;QACE,GAAG,EAAE,SAAS;QACd,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,uDAAuD;QAC7D,WAAW,EACT,wPAAwP;QAC1P,QAAQ,EAAE,OAAO;QACjB,WAAW,EAAE;YACX,MAAM,EAAE,uBAAuB;YAC/B,YAAY,EAAE,uBAAuB;SACtC;QACD,QAAQ,EAAE,IAAI;QACd,WAAW,EAAE,IAAI;QACjB,KAAK,EAAE,CAAC,sBAAsB,CAAC;KAChC;IACD;QACE,GAAG,EAAE,SAAS;QACd,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,2BAA2B;QACjC,WAAW,EACT,uQAAuQ;QACzQ,QAAQ,EAAE,SAAS;QACnB,sEAAsE;QACtE,qEAAqE;QACrE,qEAAqE;QACrE,WAAW,EAAE,IAAI;QACjB,QAAQ,EAAE,IAAI;QACd,WAAW,EAAE,IAAI;QACjB,KAAK,EAAE,EAAE;KACV;IACD;QACE,GAAG,EAAE,SAAS;QACd,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,mCAAmC;QACzC,WAAW,EACT,4PAA4P;QAC9P,QAAQ,EAAE,OAAO;QACjB,WAAW,EAAE;YACX,MAAM,EAAE,uBAAuB;YAC/B,YAAY,EAAE,uBAAuB;SACtC;QACD,QAAQ,EAAE,IAAI;QACd,WAAW,EAAE,IAAI;QACjB,KAAK,EAAE,CAAC,sBAAsB,CAAC;KAChC;IACD;QACE,GAAG,EAAE,SAAS;QACd,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,4CAA4C;QAClD,WAAW,EACT,oOAAoO;QACtO,QAAQ,EAAE,SAAS;QACnB,qEAAqE;QACrE,oEAAoE;QACpE,mEAAmE;QACnE,WAAW,EAAE,IAAI;QACjB,QAAQ,EAAE,IAAI;QACd,WAAW,EAAE,IAAI;QACjB,KAAK,EAAE,EAAE;KACV;IACD;QACE,GAAG,EAAE,SAAS;QACd,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,2BAA2B;QACjC,WAAW,EACT,oNAAoN;QACtN,QAAQ,EAAE,OAAO;QACjB,WAAW,EAAE;YACX,MAAM,EAAE,uBAAuB;YAC/B,YAAY,EAAE,uBAAuB;SACtC;QACD,QAAQ,EAAE,IAAI;QACd,WAAW,EAAE,IAAI;QACjB,KAAK,EAAE,CAAC,sBAAsB,CAAC;KAChC;IACD;QACE,GAAG,EAAE,SAAS;QACd,IAAI,EAAE,IAAI;QACV,IAAI,EAAE,gCAAgC;QACtC,WAAW,EACT,+TAA+T;QACjU,QAAQ,EAAE,SAAS;QACnB,sEAAsE;QACtE,iEAAiE;QACjE,WAAW,EAAE,IAAI;QACjB,QAAQ,EAAE,IAAI;QACd,WAAW,EAAE,IAAI;QACjB,KAAK,EAAE,EAAE;KACV;CACF,CAAC,CAAC"}

package/dist/invariants/index.d.ts

@@ -0,0 +1,159 @@
+/**
+ * Central invariants registry — SSoT for system-wide invariants surfaced via
+ * the SaGa T10326 SG-SUBSTRATE-RECONCILIATION programme (Epic T10327
+ * E-INVARIANT-REGISTRY-SSOT, Task T10335 R1).
+ *
+ * Every registered invariant carries the metadata needed to:
+ * 1. Reference its source ADR (e.g. `ADR-073` §1.2 for I1-I8).
+ * 2. Locate the runtime guard that enforces it (when one exists).
+ * 3. Bind the CI lint rule that protects it (when one exists).
+ * 4. Cross-reference test files that exercise it.
+ * 5. Render documentation via the downstream R8 auto-render pipeline.
+ *
+ * Downstream consumers:
+ * - R2 (T10336): register ADR-070 ORC codes into this same registry.
+ * - R4 (T10338): CI gate validates that every `severity:'error'` entry has
+ *   a non-null `runtimeGate` AND a matching error-code in `errors.ts`.
+ * - R5 (T10339): refactor `packages/core/src/release/invariants/registry.ts`
+ *   to consume the central registry instead of carrying its own list.
+ * - R6 (T10340): `cleo doctor --audit-invariants` walks the registry to
+ *   produce a per-invariant audit report.
+ * - R8 (T10342): auto-render docs page from the registry.
+ *
+ * @epic T10327 — E-INVARIANT-REGISTRY-SSOT
+ * @saga T10326 — SG-SUBSTRATE-RECONCILIATION
+ * @task T10335 — R1: registry + ADR-073 I1-I8
+ * @see ADR-073-above-epic-naming.md §1.2
+ */
+export { ADR_073_INVARIANTS } from './adr-073-saga.js';
+/**
+ * Severity tier for a registered invariant.
+ *
+ * - `'error'` — runtime gate MUST exist; violation surfaces as LAFS error
+ *   code (cross-checked by R4 CI gate).
+ * - `'warning'` — orchestration/process concern; surfaces via doctor audit
+ *   but does not throw at runtime.
+ * - `'info'` — display or storage concern; enforced (if at all) by DB
+ *   constraints or convention rather than a runtime function.
+ */
+export type InvariantSeverity = 'info' | 'warning' | 'error';
+/**
+ * Pointer to a runtime guard function that enforces an invariant.
+ *
+ * The `module` field is the package-relative import specifier
+ * (e.g. `packages/core/src/sagas/enforcement.ts`). The `functionName` is the
+ * exported identifier (e.g. `assertSagaInvariantI3`).
+ *
+ * R4 CI gate uses this triple to assert the guard actually exists and is
+ * exported with the expected name. R6 doctor audit uses it to render
+ * per-invariant enforcement provenance.
+ */
+export interface InvariantRuntimeGate {
+    readonly module: string;
+    readonly functionName: string;
+}
+/**
+ * Pointer to a CI lint script that protects an invariant.
+ *
+ * The path is repo-rooted (e.g. `scripts/lint-saga-label-anti-pattern.mjs`).
+ */
+export interface InvariantLintRule {
+    readonly lintScript: string;
+}
+/**
+ * Pointer to a `cleo doctor` audit that surfaces invariant violations.
+ *
+ * The lintScript field mirrors the CI gate pointer — many invariants share
+ * the same script between CI and doctor (e.g. saga-label anti-pattern).
+ */
+export interface InvariantDoctorAudit {
+    readonly lintScript: string;
+}
+/**
+ * A registered invariant — one entry per `(adr, code)` pair.
+ *
+ * The `adr` + `code` combination forms the registry key
+ * (`${adr}.${code}`, e.g. `'ADR-073.I3'`). Lookups via `getInvariant`
+ * and per-ADR enumeration via `getInvariantsByAdr` use this convention.
+ *
+ * @see ADR-073-above-epic-naming.md §1.2 — original I1-I8 source.
+ */
+export interface RegisteredInvariant {
+    /** Source ADR identifier, e.g. `'ADR-073'`. */
+    readonly adr: string;
+    /** Invariant code within the ADR, e.g. `'I3'` or `'ORC-001'`. */
+    readonly code: string;
+    /** Short human-readable name, e.g. `'Tier promotion mandatory'`. */
+    readonly name: string;
+    /** Full description (one or two sentences, no markdown). */
+    readonly description: string;
+    /** Severity tier — drives R4 CI gate strictness. */
+    readonly severity: InvariantSeverity;
+    /**
+     * Runtime guard function, or `null` when the invariant has no
+     * runtime-checkable form (display/storage/process concerns).
+     *
+     * Every `severity:'error'` invariant MUST set a non-null
+     * `runtimeGate` — enforced by the registry test suite (T10335 AC5)
+     * and by the R4 CI gate (T10338).
+     */
+    readonly runtimeGate: InvariantRuntimeGate | null;
+    /**
+     * Optional CI lint rule reference. Distinct from `runtimeGate` —
+     * `runtimeGate` runs in dispatch code, `lintRule` runs in CI.
+     */
+    readonly lintRule?: InvariantLintRule | null;
+    /**
+     * Optional `cleo doctor` audit reference. R6 consumes this field to
+     * decide which invariants surface in `cleo doctor --audit-invariants`.
+     */
+    readonly doctorAudit?: InvariantDoctorAudit | null;
+    /**
+     * Paths of test files that exercise the invariant. Used by R8 to render
+     * documentation pages with live test cross-references.
+     */
+    readonly tests: readonly string[];
+    /**
+     * Optional flag — set to `true` when the invariant is superseded but
+     * preserved for historical/import-mapping reasons. Defaults to `false`.
+     */
+    readonly deprecated?: boolean;
+}
+/**
+ * Central invariants registry — keyed by `${adr}.${code}`.
+ *
+ * Treat as read-only at runtime. Mutating this record is a contract
+ * violation; downstream consumers (R5 release-registry refactor, R6
+ * doctor audit, R8 docs renderer) assume immutability.
+ *
+ * @example
+ * ```ts
+ * import { INVARIANTS_REGISTRY } from '@cleocode/contracts';
+ * const i3 = INVARIANTS_REGISTRY['ADR-073.I3'];
+ * if (i3?.runtimeGate) {
+ *   console.log(`Guard: ${i3.runtimeGate.functionName}`);
+ * }
+ * ```
+ */
+export declare const INVARIANTS_REGISTRY: Readonly<Record<string, RegisteredInvariant>>;
+/**
+ * Look up a single invariant by its `${adr}.${code}` key.
+ *
+ * @example
+ * ```ts
+ * const i3 = getInvariant('ADR-073.I3');
+ * // → RegisteredInvariant for ADR-073 invariant I3
+ * ```
+ */
+export declare function getInvariant(adrCode: string): RegisteredInvariant | undefined;
+/**
+ * Return every invariant registered against a given ADR, in declaration order.
+ *
+ * @example
+ * ```ts
+ * const adr073 = getInvariantsByAdr('ADR-073');
+ * // → array of I1..I8 entries
+ * ```
+ */
+export declare function getInvariantsByAdr(adr: string): RegisteredInvariant[];
+//# sourceMappingURL=index.d.ts.map

package/dist/invariants/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/invariants/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAMH,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAEvD;;;;;;;;;GASG;AACH,MAAM,MAAM,iBAAiB,GAAG,MAAM,GAAG,SAAS,GAAG,OAAO,CAAC;AAE7D;;;;;;;;;;GAUG;AACH,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B;AAED;;;;GAIG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED;;;;;GAKG;AACH,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,mBAAmB;IAClC,+CAA+C;IAC/C,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,iEAAiE;IACjE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,oEAAoE;IACpE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,4DAA4D;IAC5D,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,oDAAoD;IACpD,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAC;IACrC;;;;;;;OAOG;IACH,QAAQ,CAAC,WAAW,EAAE,oBAAoB,GAAG,IAAI,CAAC;IAClD;;;OAGG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,iBAAiB,GAAG,IAAI,CAAC;IAC7C;;;OAGG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,oBAAoB,GAAG,IAAI,CAAC;IACnD;;;OAGG;IACH,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC;;;OAGG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;CAC/B;AAiCD;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,mBAAmB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAmB,CAAC;AAElG;;;;;;;;GAQG;AACH,wBAAgB,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,mBAAmB,GAAG,SAAS,CAE7E;AAED;;;;;;;;GAQG;AACH,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,MAAM,GAAG,mBAAmB,EAAE,CASrE"}

package/dist/invariants/index.js

@@ -0,0 +1,109 @@
+/**
+ * Central invariants registry — SSoT for system-wide invariants surfaced via
+ * the SaGa T10326 SG-SUBSTRATE-RECONCILIATION programme (Epic T10327
+ * E-INVARIANT-REGISTRY-SSOT, Task T10335 R1).
+ *
+ * Every registered invariant carries the metadata needed to:
+ * 1. Reference its source ADR (e.g. `ADR-073` §1.2 for I1-I8).
+ * 2. Locate the runtime guard that enforces it (when one exists).
+ * 3. Bind the CI lint rule that protects it (when one exists).
+ * 4. Cross-reference test files that exercise it.
+ * 5. Render documentation via the downstream R8 auto-render pipeline.
+ *
+ * Downstream consumers:
+ * - R2 (T10336): register ADR-070 ORC codes into this same registry.
+ * - R4 (T10338): CI gate validates that every `severity:'error'` entry has
+ *   a non-null `runtimeGate` AND a matching error-code in `errors.ts`.
+ * - R5 (T10339): refactor `packages/core/src/release/invariants/registry.ts`
+ *   to consume the central registry instead of carrying its own list.
+ * - R6 (T10340): `cleo doctor --audit-invariants` walks the registry to
+ *   produce a per-invariant audit report.
+ * - R8 (T10342): auto-render docs page from the registry.
+ *
+ * @epic T10327 — E-INVARIANT-REGISTRY-SSOT
+ * @saga T10326 — SG-SUBSTRATE-RECONCILIATION
+ * @task T10335 — R1: registry + ADR-073 I1-I8
+ * @see ADR-073-above-epic-naming.md §1.2
+ */
+import { ADR_073_INVARIANTS } from './adr-073-saga.js';
+// Re-exported so consumers can import either the per-ADR list or the merged
+// registry from one place.
+export { ADR_073_INVARIANTS } from './adr-073-saga.js';
+/**
+ * Compute the canonical registry key for an invariant.
+ *
+ * @internal
+ */
+function buildKey(invariant) {
+    return `${invariant.adr}.${invariant.code}`;
+}
+/**
+ * Build the merged registry record from all per-ADR invariant modules.
+ *
+ * Future ADR modules (ADR-070 ORC codes via R2 T10336, etc.) append to
+ * the spread list below. Each module exports a `readonly RegisteredInvariant[]`
+ * — this index assembles them into a keyed record at module load time.
+ *
+ * @internal
+ */
+function buildRegistry() {
+    const entries = [...ADR_073_INVARIANTS];
+    const record = {};
+    for (const entry of entries) {
+        const key = buildKey(entry);
+        if (record[key] !== undefined) {
+            throw new Error(`Duplicate invariant key registered: ${key}`);
+        }
+        record[key] = entry;
+    }
+    return Object.freeze(record);
+}
+/**
+ * Central invariants registry — keyed by `${adr}.${code}`.
+ *
+ * Treat as read-only at runtime. Mutating this record is a contract
+ * violation; downstream consumers (R5 release-registry refactor, R6
+ * doctor audit, R8 docs renderer) assume immutability.
+ *
+ * @example
+ * ```ts
+ * import { INVARIANTS_REGISTRY } from '@cleocode/contracts';
+ * const i3 = INVARIANTS_REGISTRY['ADR-073.I3'];
+ * if (i3?.runtimeGate) {
+ *   console.log(`Guard: ${i3.runtimeGate.functionName}`);
+ * }
+ * ```
+ */
+export const INVARIANTS_REGISTRY = buildRegistry();
+/**
+ * Look up a single invariant by its `${adr}.${code}` key.
+ *
+ * @example
+ * ```ts
+ * const i3 = getInvariant('ADR-073.I3');
+ * // → RegisteredInvariant for ADR-073 invariant I3
+ * ```
+ */
+export function getInvariant(adrCode) {
+    return INVARIANTS_REGISTRY[adrCode];
+}
+/**
+ * Return every invariant registered against a given ADR, in declaration order.
+ *
+ * @example
+ * ```ts
+ * const adr073 = getInvariantsByAdr('ADR-073');
+ * // → array of I1..I8 entries
+ * ```
+ */
+export function getInvariantsByAdr(adr) {
+    const result = [];
+    for (const key of Object.keys(INVARIANTS_REGISTRY)) {
+        const entry = INVARIANTS_REGISTRY[key];
+        if (entry !== undefined && entry.adr === adr) {
+            result.push(entry);
+        }
+    }
+    return result;
+}
+//# sourceMappingURL=index.js.map

package/dist/invariants/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/invariants/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAEvD,4EAA4E;AAC5E,2BAA2B;AAC3B,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAoGvD;;;;GAIG;AACH,SAAS,QAAQ,CAAC,SAA8B;IAC9C,OAAO,GAAG,SAAS,CAAC,GAAG,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC;AAC9C,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,aAAa;IACpB,MAAM,OAAO,GAA0B,CAAC,GAAG,kBAAkB,CAAC,CAAC;IAC/D,MAAM,MAAM,GAAwC,EAAE,CAAC;IACvD,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,SAAS,EAAE,CAAC;YAC9B,MAAM,IAAI,KAAK,CAAC,uCAAuC,GAAG,EAAE,CAAC,CAAC;QAChE,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;IACtB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAC/B,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAkD,aAAa,EAAE,CAAC;AAElG;;;;;;;;GAQG;AACH,MAAM,UAAU,YAAY,CAAC,OAAe;IAC1C,OAAO,mBAAmB,CAAC,OAAO,CAAC,CAAC;AACtC,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,kBAAkB,CAAC,GAAW;IAC5C,MAAM,MAAM,GAA0B,EAAE,CAAC;IACzC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAC,EAAE,CAAC;QACnD,MAAM,KAAK,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC;QACvC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,GAAG,KAAK,GAAG,EAAE,CAAC;YAC7C,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}