limen-ai 1.0.0

package/dist/budget/interfaces/dba_types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dba_types.d.ts","sourceRoot":"","sources":["../../../src/budget/interfaces/dba_types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AAEH,OAAO,KAAK,EACV,MAAM,EAAE,SAAS,EAAE,aAAa,EACjC,MAAM,kCAAkC,CAAC;AAM1C,oEAAoE;AACpE,MAAM,MAAM,kBAAkB,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,oBAAoB,CAAA;CAAE,CAAC;AAErF,6DAA6D;AAC7D,MAAM,MAAM,kBAAkB,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,oBAAoB,CAAA;CAAE,CAAC;AAMrF;;;;;;GAMG;AACH,MAAM,WAAW,0BAA0B;IACzC,0DAA0D;IAC1D,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,+CAA+C;IAC/C,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,sEAAsE;IACtE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,kEAAkE;IAClE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,kBAAkB,GAAG,0BAA0B,CAAC;AAE5D;;;;;;;;;GASG;AACH,MAAM,MAAM,WAAW,GAAG,0BAA0B,CAAC;AAMrD;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,aAAa;IAC5B;;;;;;OAMG;IACH,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;CACjC;AAMD;;;;;;;;;;GAUG;AACH,MAAM,WAAW,oBAAoB;IACnC,kEAAkE;IAClE,QAAQ,CAAC,kBAAkB,EAAE,kBAAkB,CAAC;IAChD,wEAAwE;IACxE,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;CACvC;AAMD;;;;GAIG;AACH,MAAM,MAAM,0BAA0B,GAAG,mBAAmB,GAAG,gBAAgB,CAAC;AAEhF;;;GAGG;AACH,MAAM,MAAM,0BAA0B,GAAG,wBAAwB,GAAG,WAAW,CAAC;AAEhF;;;;GAIG;AACH,MAAM,MAAM,oBAAoB,GAAG,wBAAwB,GAAG,gBAAgB,CAAC;AAE/E;;;GAGG;AACH,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAMD;;;;;;;GAOG;AACH,MAAM,WAAW,mBAAmB;IAClC,gCAAgC;IAChC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,2DAA2D;IAC3D,QAAQ,CAAC,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IACxC,2CAA2C;IAC3C,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,+CAA+C;IAC/C,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,2DAA2D;IAC3D,QAAQ,CAAC,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1C,2DAA2D;IAC3D,QAAQ,CAAC,gBAAgB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,IAAI,CAAC;CACrE;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,qBAAqB;IACpC,4CAA4C;IAC5C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,uDAAuD;IACvD,QAAQ,CAAC,gBAAgB,EAAE,kBAAkB,CAAC;IAE9C;;;;;;;;OAQG;IACH,QAAQ,CAAC,KAAK,EAAE,mBAAmB,GAAG,MAAM,CAAC;CAC9C;AAMD;;;;;;;;GAQG;AACH,MAAM,WAAW,0BAA0B;IACzC,wCAAwC;IACxC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,wCAAwC;IACxC,QAAQ,CAAC,sBAAsB,EAAE,MAAM,CAAC;IACxC,qDAAqD;IACrD,QAAQ,CAAC,UAAU,EAAE,0BAA0B,CAAC;IAChD,2DAA2D;IAC3D,QAAQ,CAAC,sBAAsB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/C,+DAA+D;IAC/D,QAAQ,CAAC,0BAA0B,EAAE,MAAM,GAAG,IAAI,CAAC;IACnD,wDAAwD;IACxD,QAAQ,CAAC,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5C,4DAA4D;IAC5D,QAAQ,CAAC,uBAAuB,EAAE,MAAM,GAAG,IAAI,CAAC;IAChD,sEAAsE;IACtE,QAAQ,CAAC,mBAAmB,EAAE,mBAAmB,GAAG,IAAI,CAAC;IACzD,iEAAiE;IACjE,QAAQ,CAAC,mBAAmB,EAAE,OAAO,CAAC;IACtC,gEAAgE;IAChE,QAAQ,CAAC,uBAAuB,EAAE,MAAM,GAAG,IAAI,CAAC;IAChD,oEAAoE;IACpE,QAAQ,CAAC,2BAA2B,EAAE,MAAM,GAAG,IAAI,CAAC;CACrD;AAED;;;;;;GAMG;AACH,MAAM,WAAW,sBAAsB;IACrC,wEAAwE;IACxE,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,qCAAqC;IACrC,QAAQ,CAAC,cAAc,EAAE,0BAA0B,CAAC;IACpD,0EAA0E;IAC1E,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IACpC,yEAAyE;IACzE,QAAQ,CAAC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IACzC,uEAAuE;IACvE,QAAQ,CAAC,mBAAmB,EAAE,mBAAmB,GAAG,IAAI,CAAC;CAC1D;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,WAAW,wBAAwB;IACvC,0EAA0E;IAC1E,QAAQ,CAAC,0BAA0B,EAAE,MAAM,CAAC;IAC5C,4BAA4B;IAC5B,QAAQ,CAAC,gBAAgB,EAAE,oBAAoB,CAAC;IAChD,oDAAoD;IACpD,QAAQ,CAAC,sBAAsB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/C,iDAAiD;IACjD,QAAQ,CAAC,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5C,yEAAyE;IACzE,QAAQ,CAAC,uBAAuB,EAAE,MAAM,GAAG,IAAI,CAAC;IAChD,iEAAiE;IACjE,QAAQ,CAAC,yBAAyB,EAAE,OAAO,CAAC;IAC5C,+DAA+D;IAC/D,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,kEAAkE;IAClE,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC;IAC1C,sFAAsF;IACtF,QAAQ,CAAC,sBAAsB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/C,+CAA+C;IAC/C,QAAQ,CAAC,sBAAsB,EAAE,MAAM,CAAC;CACzC;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,qBAAqB;IACpC,sFAAsF;IACtF,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,6BAA6B;IAC7B,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,2BAA2B;IAC3B,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC;CACtC;AAED,8DAA8D;AAC9D,MAAM,MAAM,mBAAmB,GAC3B,UAAU,GACV,gBAAgB,GAChB,uBAAuB,GACvB,eAAe,CAAC;AAEpB;;;;;;GAMG;AACH,MAAM,WAAW,oBAAoB;IAGnC,mCAAmC;IACnC,QAAQ,CAAC,YAAY,EAAE,kBAAkB,CAAC;IAC1C,sCAAsC;IACtC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,yCAAyC;IACzC,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,sEAAsE;IACtE,QAAQ,CAAC,oBAAoB,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7C,sCAAsC;IACtC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAI3B,+CAA+C;IAC/C,QAAQ,CAAC,0BAA0B,EAAE,0BAA0B,CAAC;IAChE,yCAAyC;IACzC,QAAQ,CAAC,sBAAsB,EAAE,sBAAsB,CAAC;IACxD,6CAA6C;IAC7C,QAAQ,CAAC,wBAAwB,EAAE,wBAAwB,CAAC;IAC5D,wCAAwC;IACxC,QAAQ,CAAC,qBAAqB,EAAE,qBAAqB,CAAC;CACvD;AAMD;;;GAGG;AACH,MAAM,WAAW,mBAAmB;IAClC,0DAA0D;IAC1D,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,uCAAuC;IACvC,QAAQ,CAAC,oBAAoB,EAAE,oBAAoB,CAAC;IACpD,+EAA+E;IAC/E,QAAQ,CAAC,uBAAuB,EAAE,MAAM,GAAG,IAAI,CAAC;IAChD,qFAAqF;IACrF,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,mDAAmD;IACnD,QAAQ,CAAC,wBAAwB,EAAE,MAAM,CAAC;IAC1C,+EAA+E;IAC/E,QAAQ,CAAC,sBAAsB,EAAE,MAAM,GAAG,IAAI,CAAC;CAChD;AAED;;;GAGG;AACH,MAAM,WAAW,oBAAoB;IACnC,qEAAqE;IACrE,QAAQ,CAAC,sBAAsB,EAAE,MAAM,CAAC;IACxC,iDAAiD;IACjD,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAChC,2DAA2D;IAC3D,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAMD,6EAA6E;AAC7E,MAAM,MAAM,kBAAkB,GAAG,OAAO,GAAG,cAAc,CAAC;AAE1D,wFAAwF;AACxF,eAAO,MAAM,6BAA6B,2BAA4B,CAAC;AAEvE,MAAM,MAAM,mBAAmB,GAAG,OAAO,6BAA6B,CAAC,MAAM,CAAC,CAAC;AAE/E;;;;;;;GAOG;AACH,MAAM,WAAW,oBAAoB;IACnC,2CAA2C;IAC3C,QAAQ,CAAC,SAAS,EAAE,kBAAkB,CAAC;IACvC,mCAAmC;IACnC,QAAQ,CAAC,gBAAgB,EAAE,mBAAmB,CAAC;IAC/C,0CAA0C;IAC1C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,gCAAgC;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,iCAAiC;IACjC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,yEAAyE;IACzE,QAAQ,CAAC,cAAc,EAAE,0BAA0B,GAAG,IAAI,CAAC;IAC3D,yDAAyD;IACzD,QAAQ,CAAC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;CAC1C;AAED;;;GAGG;AACH,MAAM,WAAW,mBAAmB;IAClC,mCAAmC;IACnC,QAAQ,CAAC,SAAS,EAAE,kBAAkB,CAAC;IACvC,uBAAuB;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,4DAA4D;IAC5D,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,4CAA4C;IAC5C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,oDAAoD;IACpD,QAAQ,CAAC,cAAc,EAAE,0BAA0B,GAAG,IAAI,CAAC;CAC5D;AAMD;;;;;GAKG;AACH,MAAM,WAAW,uBAAuB;IACtC,qCAAqC;IACrC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,8BAA8B;IAC9B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,+EAA+E;IAC/E,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,oDAAoD;IACpD,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,uFAAuF;IACvF,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;CACvC;AAED;;;GAGG;AACH,MAAM,WAAW,wBAAwB;IACvC,2CAA2C;IAC3C,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,uDAAuD;IACvD,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,8DAA8D;IAC9D,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,qCAAqC;IACrC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,qCAAqC;IACrC,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;IACnC,+CAA+C;IAC/C,QAAQ,CAAC,kBAAkB,EAAE,mBAAmB,CAAC;CAClD;AAED;;;;;GAKG;AACH,MAAM,WAAW,iCAAiC;IAChD,QAAQ,CAAC,YAAY,EAAE,kBAAkB,CAAC;IAC1C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,gEAAgE;IAChE,QAAQ,CAAC,0BAA0B,EAAE,0BAA0B,CAAC;IAChE,uCAAuC;IACvC,QAAQ,CAAC,sBAAsB,EAAE,sBAAsB,CAAC;IACxD,sDAAsD;IACtD,QAAQ,CAAC,mBAAmB,EAAE,OAAO,CAAC;IACtC,mEAAmE;IACnE,QAAQ,CAAC,uBAAuB,EAAE,OAAO,CAAC;IAC1C,uFAAuF;IACvF,QAAQ,CAAC,aAAa,EAAE,aAAa,CAAC;CACvC;AAED;;;GAGG;AACH,MAAM,WAAW,kCAAkC;IACjD,sDAAsD;IACtD,QAAQ,CAAC,gBAAgB,EAAE,0BAA0B,CAAC;IACtD,6DAA6D;IAC7D,QAAQ,CAAC,uBAAuB,EAAE,0BAA0B,CAAC;IAC7D,wCAAwC;IACxC,QAAQ,CAAC,oBAAoB,EAAE,SAAS,oBAAoB,EAAE,CAAC;IAC/D,+CAA+C;IAC/C,QAAQ,CAAC,2BAA2B,EAAE,SAAS,oBAAoB,EAAE,CAAC;IACtE,yCAAyC;IACzC,QAAQ,CAAC,kBAAkB,EAAE,mBAAmB,GAAG,IAAI,CAAC;IACxD,gDAAgD;IAChD,QAAQ,CAAC,yBAAyB,EAAE,mBAAmB,GAAG,IAAI,CAAC;CAChE;AAMD;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAMD;;;;;;GAMG;AACH,MAAM,WAAW,gBAAgB;IAC/B,wCAAwC;IACxC,QAAQ,CAAC,OAAO,EAAE,mBAAmB,GAAG,gBAAgB,CAAC;IACzD,8BAA8B;IAC9B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,mCAAmC;IACnC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,0BAA0B;IAC1B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,qDAAqD;IACrD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,gCAAgC;IAChC,QAAQ,CAAC,cAAc,EAAE,wBAAwB,GAAG,kBAAkB,CAAC;CACxE;AAMD;;;;;;;;;;GAUG;AACH,MAAM,WAAW,mBAAmB;IAClC,4CAA4C;IAC5C,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,0DAA0D;IAC1D,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,wBAAwB;IACxB,QAAQ,CAAC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;CAC1C;AAMD;;;;;;;GAOG;AACH,MAAM,WAAW,qBAAqB;IACpC;;;;;;;;;OASG;IACH,OAAO,CAAC,KAAK,EAAE,mBAAmB,GAAG,oBAAoB,CAAC;CAC3D;AAED;;;GAGG;AACH,MAAM,WAAW,qBAAqB;IACpC;;;OAGG;IACH,mBAAmB,CACjB,aAAa,EAAE,MAAM,GAAG,IAAI,EAC5B,YAAY,EAAE,MAAM,GAAG,IAAI,GAC1B;QAAE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC;IAE/D;;;OAGG;IACH,qBAAqB,CACnB,cAAc,EAAE,MAAM,GAAG,IAAI,EAC7B,WAAW,EAAE,MAAM,GAAG,IAAI,GACzB,MAAM,GAAG,IAAI,CAAC;CAClB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,8BAA8B;IAC7C;;;OAGG;IACH,kBAAkB,CAAC,KAAK,EAAE,uBAAuB,GAAG,wBAAwB,CAAC;CAC9E;AAED;;;;;;GAMG;AACH,MAAM,WAAW,+BAA+B;IAC9C;;;OAGG;IACH,SAAS,CAAC,KAAK,EAAE,iCAAiC,GAAG,kCAAkC,CAAC;CACzF;AAED;;;GAGG;AACH,MAAM,WAAW,qBAAqB;IACpC;;;OAGG;IACH,eAAe,CACb,aAAa,EAAE,MAAM,EACrB,KAAK,EAAE,mBAAmB,GACzB,MAAM,CAAC;IAEV,wCAAwC;IACxC,QAAQ,IAAI,mBAAmB,CAAC;CACjC;AAED;;;GAGG;AACH,MAAM,WAAW,sBAAsB;IACrC;;;;OAIG;IACH,uBAAuB,CAAC,OAAO,EAAE,MAAM,GAAG;QACxC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;QAC7B,QAAQ,CAAC,cAAc,EAAE,oBAAoB,CAAC;QAC9C,QAAQ,CAAC,sBAAsB,EAAE,MAAM,GAAG,IAAI,CAAC;QAC/C,QAAQ,CAAC,mBAAmB,EAAE,MAAM,GAAG,IAAI,CAAC;QAC5C,QAAQ,CAAC,uBAAuB,EAAE,MAAM,GAAG,IAAI,CAAC;QAChD,QAAQ,CAAC,mBAAmB,EAAE,OAAO,CAAC;KACvC,CAAC;CACH;AAMD;;;;;;GAMG;AACH,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,GAAG,EAAE,qBAAqB,CAAC;IACpC,QAAQ,CAAC,cAAc,EAAE,qBAAqB,CAAC;IAC/C,QAAQ,CAAC,aAAa,EAAE,8BAA8B,CAAC;IACvD,QAAQ,CAAC,cAAc,EAAE,+BAA+B,CAAC;IACzD,QAAQ,CAAC,QAAQ,EAAE,qBAAqB,CAAC;IACzC,QAAQ,CAAC,MAAM,EAAE,sBAAsB,CAAC;IACxC,QAAQ,CAAC,SAAS,EAAE,qBAAqB,CAAC;CAC3C;AAMD,eAAO,MAAM,eAAe;;;;;;;;;;;;;;IA2B1B,gGAAgG;;IAEhG,yEAAyE;;EAEhE,CAAC;AAMZ,eAAO,MAAM,UAAU;;;;;;;;;;IAuBrB,+EAA+E;;IAE/E,sEAAsE;;IAEtE,yFAAyF;;IAEzF,0EAA0E;;IAE1E,iEAAiE;;EAExD,CAAC;AAMZ,gEAAgE;AAChE,eAAO,MAAM,iCAAiC,EAAE,SAAS,mBAAmB,EAAqB,CAAC;AAElG,mDAAmD;AACnD,eAAO,MAAM,wBAAwB,sBAAuB,CAAC;AAM7D;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,iCAAiC,EAAG,EAAW,CAAC"}

package/dist/budget/interfaces/dba_types.js

@@ -0,0 +1,124 @@
+/**
+ * DBA (Deliberation & Context Budget Amendment) interface types.
+ * Spec ref: DBA v1.0 Design Source (FINAL DRAFT), Architecture Freeze CF-06/CF-07/CF-10
+ *
+ * Phase: v3.3.0 — Budget Governance Truth Model
+ * Status: FROZEN — interfaces defined before implementation.
+ *
+ * Implements: All TypeScript types for the DBA subsystem:
+ *   §3 (16 Constitutional Invariants DBA-I1..DBA-I16),
+ *   §4 (14 Pre-Schema Decisions PSD-1..PSD-14),
+ *   §6 (Deliberation Accounting — Resource Extension, Accounting Modes, Estimator Contract),
+ *   §7 (Context Budget Model — contextPolicy, ECB Computation, Substrate/Overhead Contracts),
+ *   §8 (SC-8 Interaction),
+ *   §10 (6 Failure Modes FM-DBA-01..FM-DBA-06),
+ *   §12 (Schema Extension — Resource Object + InvocationAccounting 34-field record)
+ *
+ * Key architectural properties:
+ *   - PART A (consumptive): deliberationBudget — depletes, reserves, inherits, threshold-fires
+ *   - PART B (non-consumptive): contextPolicy/ECB — computed fresh per invocation, never depletes
+ *   - These two surfaces MUST NEVER be collapsed. Generic resource processing loops MUST NOT
+ *     apply consumptive semantics (allocated/consumed/remaining/reservation) to contextPolicy.
+ *   - tokenBudget semantics NARROWED: prompt/completion only after DBA integration (DBA-I1)
+ *   - Dual-source provenance with ASYMMETRIC resolution:
+ *       prompt/completion → provider authoritative (DBA-I2)
+ *       context window → more restrictive value wins (§7.4, PSD-12)
+ *   - InvocationAccounting: 34 fields across 4 nested groups — most complex record in v3.3.0
+ *
+ * CROSS-SUBSYSTEM CONTRACTS:
+ *   - EGP imports: DeliberationBudget (as reservable dimension via EGP-I4)
+ *   - CGP imports: effectiveContextBudget (as admission ceiling via CGP-I2, Step 1)
+ *   - v3.2 tokenBudget: semantics narrowed, overage field added
+ *
+ * Freeze items: CF-06 (Deliberation Resource), CF-07 (Context Budget Model), CF-10 (Eviction Determinism)
+ */
+/** Default threshold percentages — v1 design choice, not freeze-derived law (PSD-10) */
+export const DEFAULT_THRESHOLD_PERCENTAGES = [25, 50, 75, 90];
+// ============================================================================
+// Error Code Constants
+// ============================================================================
+export const DBA_ERROR_CODES = Object.freeze({
+    // Pre-invocation admissibility
+    TOKEN_HEADROOM_INSUFFICIENT: 'DBA_TOKEN_HEADROOM_INSUFFICIENT',
+    DELIBERATION_HEADROOM_INSUFFICIENT: 'DBA_DELIBERATION_HEADROOM_INSUFFICIENT',
+    JOINT_FEASIBILITY_FAILED: 'DBA_JOINT_FEASIBILITY_FAILED',
+    // Context policy
+    CEILING_EXCEEDS_PARENT: 'DBA_CEILING_EXCEEDS_PARENT',
+    CEILING_NEGATIVE: 'DBA_CEILING_NEGATIVE',
+    CONTEXT_POLICY_NOT_REQUESTABLE: 'DBA_CONTEXT_POLICY_NOT_REQUESTABLE',
+    // ECB computation
+    ECB_NEGATIVE_NORMALIZED: 'DBA_ECB_NEGATIVE_NORMALIZED',
+    CONTROL_STATE_OVERFLOW: 'DBA_CONTROL_STATE_OVERFLOW',
+    // Accounting
+    ESTIMATOR_VERSION_MISMATCH: 'DBA_ESTIMATOR_VERSION_MISMATCH',
+    FORBIDDEN_ESTIMATOR_INPUT: 'DBA_FORBIDDEN_ESTIMATOR_INPUT',
+    // Discrepancy
+    PROMPT_COMPLETION_DISCREPANCY: 'DBA_PROMPT_COMPLETION_DISCREPANCY',
+    CONTEXT_WINDOW_DISCREPANCY: 'DBA_CONTEXT_WINDOW_DISCREPANCY',
+    // Silent truncation
+    SILENT_TRUNCATION_ATTEMPTED: 'DBA_SILENT_TRUNCATION_ATTEMPTED',
+    // v1.1 error codes (DBA defect-class v1.1 corrections)
+    /** DC-DBA-811: Both provider and kernel measurement failed — no conforming accounting source */
+    MEASUREMENT_FAILURE: 'DBA_MEASUREMENT_FAILURE',
+    /** DC-DBA-403: Negative ceiling value rejected at policy-setting time */
+    NEGATIVE_CEILING_REJECTED: 'DBA_NEGATIVE_CEILING_REJECTED',
+});
+// ============================================================================
+// Event Constants — §6.1 threshold events, discrepancy events
+// ============================================================================
+export const DBA_EVENTS = Object.freeze({
+    // Threshold events — dimension-specific (DBA-I1)
+    TOKEN_BUDGET_THRESHOLD: 'dba.token_budget_threshold',
+    DELIBERATION_BUDGET_THRESHOLD: 'dba.deliberation_budget_threshold',
+    // Exceeded events
+    TOKEN_BUDGET_EXCEEDED: 'dba.token_budget_exceeded',
+    DELIBERATION_BUDGET_EXCEEDED: 'dba.deliberation_budget_exceeded',
+    // Discrepancy events (PSD-12)
+    PROMPT_COMPLETION_DISCREPANCY: 'dba.prompt_completion_discrepancy',
+    CONTEXT_WINDOW_DISCREPANCY: 'dba.context_window_discrepancy',
+    // Accounting mode events (FM-DBA-05)
+    ACCOUNTING_MODE_TRANSITION: 'dba.accounting_mode_transition',
+    // Estimator events
+    ESTIMATOR_VERSION_CHANGED: 'dba.estimator_version_changed',
+    // ECB events
+    ECB_NEGATIVE_NORMALIZED: 'dba.ecb_negative_normalized',
+    // v1.1 operational events (DBA defect-class v1.1 corrections)
+    /** DC-DBA-811: Both provider and kernel counting fail for prompt/completion */
+    MEASUREMENT_FAILURE: 'dba.measurement_failure',
+    /** DC-DBA-910: ECB=0 advisory — invocation will fail CGP admission */
+    ECB_ZERO_ADVISORY: 'dba.ecb_zero_advisory',
+    /** DC-DBA-306: Budget mutated between pre-check and reconciliation by external action */
+    EXTERNAL_BUDGET_MUTATION_OVERAGE: 'dba.external_budget_mutation_overage',
+    /** DC-DBA-901 (amended): SC-8 approval timeout — task liveness defense */
+    SC8_APPROVAL_TIMEOUT: 'dba.sc8_approval_timeout',
+    /** DC-DBA-909: Parent ceiling change while child tasks active */
+    CEILING_CHANGE_PROPAGATION: 'dba.ceiling_change_propagation',
+});
+// ============================================================================
+// Configuration Constants — PSD defaults
+// ============================================================================
+/** PSD-10: Default threshold percentages for both dimensions */
+export const DBA_DEFAULT_THRESHOLD_PERCENTAGES = [25, 50, 75, 90];
+/** v1 contextPolicy shape: ceiling only (PSD-3) */
+export const CONTEXT_POLICY_V1_FIELDS = ['ceiling'];
+// ============================================================================
+// Field Count Verification — compile-time documentation
+// ============================================================================
+/**
+ * InvocationAccounting field count verification:
+ *
+ * Top-level:          5 (invocationId, taskId, missionId, providerBilledTokens, timestamp)
+ * PromptCompletion:  11 (chosen×2, provenance, providerReported×2, kernelCounted×2,
+ *                       kernelCountingBasis, discrepancyDetected, discrepancyAmount×2)
+ * Deliberation:       5 (deliberationTokens, accountingMode, estimatorId, estimatorVersion,
+ *                       estimatorInputBasis)
+ * ContextBudget:     10 (chosenAvailableInputWindow, windowProvenance, providerReportedWindow,
+ *                       kernelDerivedWindow, kernelDerivationVersion, windowDiscrepancyDetected,
+ *                       systemOverhead, overheadComputationBasis, effectivePolicyCeiling,
+ *                       effectiveContextBudget)
+ * Admissibility:      3 (tokenEnvelope, deliberationEnvelope, result)
+ *
+ * TOTAL:             34
+ */
+export const INVOCATION_ACCOUNTING_FIELD_COUNT = 34;
+//# sourceMappingURL=dba_types.js.map

package/dist/budget/interfaces/dba_types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dba_types.js","sourceRoot":"","sources":["../../../src/budget/interfaces/dba_types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AA4YH,wFAAwF;AACxF,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAU,CAAC;AA8UvE,+EAA+E;AAC/E,uBAAuB;AACvB,+EAA+E;AAE/E,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC;IAC3C,+BAA+B;IAC/B,2BAA2B,EAAE,iCAAiC;IAC9D,kCAAkC,EAAE,wCAAwC;IAC5E,wBAAwB,EAAE,8BAA8B;IAExD,iBAAiB;IACjB,sBAAsB,EAAE,4BAA4B;IACpD,gBAAgB,EAAE,sBAAsB;IACxC,8BAA8B,EAAE,oCAAoC;IAEpE,kBAAkB;IAClB,uBAAuB,EAAE,6BAA6B;IACtD,sBAAsB,EAAE,4BAA4B;IAEpD,aAAa;IACb,0BAA0B,EAAE,gCAAgC;IAC5D,yBAAyB,EAAE,+BAA+B;IAE1D,cAAc;IACd,6BAA6B,EAAE,mCAAmC;IAClE,0BAA0B,EAAE,gCAAgC;IAE5D,oBAAoB;IACpB,2BAA2B,EAAE,iCAAiC;IAE9D,uDAAuD;IACvD,gGAAgG;IAChG,mBAAmB,EAAE,yBAAyB;IAC9C,yEAAyE;IACzE,yBAAyB,EAAE,+BAA+B;CAClD,CAAC,CAAC;AAEZ,+EAA+E;AAC/E,8DAA8D;AAC9D,+EAA+E;AAE/E,MAAM,CAAC,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC;IACtC,iDAAiD;IACjD,sBAAsB,EAAE,4BAA4B;IACpD,6BAA6B,EAAE,mCAAmC;IAElE,kBAAkB;IAClB,qBAAqB,EAAE,2BAA2B;IAClD,4BAA4B,EAAE,kCAAkC;IAEhE,8BAA8B;IAC9B,6BAA6B,EAAE,mCAAmC;IAClE,0BAA0B,EAAE,gCAAgC;IAE5D,qCAAqC;IACrC,0BAA0B,EAAE,gCAAgC;IAE5D,mBAAmB;IACnB,yBAAyB,EAAE,+BAA+B;IAE1D,aAAa;IACb,uBAAuB,EAAE,6BAA6B;IAEtD,8DAA8D;IAC9D,+EAA+E;IAC/E,mBAAmB,EAAE,yBAAyB;IAC9C,sEAAsE;IACtE,iBAAiB,EAAE,uBAAuB;IAC1C,yFAAyF;IACzF,gCAAgC,EAAE,sCAAsC;IACxE,0EAA0E;IAC1E,oBAAoB,EAAE,0BAA0B;IAChD,iEAAiE;IACjE,0BAA0B,EAAE,gCAAgC;CACpD,CAAC,CAAC;AAEZ,+EAA+E;AAC/E,yCAAyC;AACzC,+EAA+E;AAE/E,gEAAgE;AAChE,MAAM,CAAC,MAAM,iCAAiC,GAAmC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;AAElG,mDAAmD;AACnD,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,SAAS,CAAU,CAAC;AAE7D,+EAA+E;AAC/E,wDAAwD;AACxD,+EAA+E;AAE/E;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,iCAAiC,GAAG,EAAW,CAAC"}

package/dist/claims/evidence/capability_scope_validator.d.ts

@@ -0,0 +1,32 @@
+/**
+ * Capability result scope validator — DC-CCP-118.
+ * Validates that capability_result evidence originates from within the
+ * claiming agent's mission ancestor chain.
+ *
+ * Phase: Sprint 1 (Foundation Layer — CCP-02 Capability Results)
+ * Implements: CapabilityResultScopeValidator interface from claim_types.ts
+ *
+ * Algorithm:
+ *   1. Look up capability result by ID → get mission_id
+ *   2. Walk from the claiming mission's mission_id upward via parent_mission_id
+ *   3. If result's mission_id matches any ancestor (including self) → scope valid
+ *   4. Maximum 6 iterations (maxDepth=5 + self) for bounded execution
+ *   5. Visited set for cycle guard
+ *
+ * Spec ref: DC-CCP-118 (Capability result scope validation)
+ */
+import type { CapabilityResultScopeValidator } from '../interfaces/claim_types.js';
+/**
+ * Create a CapabilityResultScopeValidator backed by SQLite.
+ *
+ * Validates that a capability_result evidence reference originates from
+ * within the mission ancestor chain of the asserting claim's mission context.
+ *
+ * This prevents cross-scope evidence contamination — an agent cannot claim
+ * evidence from a capability result produced by an unrelated mission tree.
+ *
+ * F-S1-004: tenantId parameter added to prevent cross-tenant scope walk.
+ * Every mission lookup is tenant-scoped via COALESCE pattern.
+ */
+export declare function createCapabilityResultScopeValidator(): CapabilityResultScopeValidator;
+//# sourceMappingURL=capability_scope_validator.d.ts.map

package/dist/claims/evidence/capability_scope_validator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"capability_scope_validator.d.ts","sourceRoot":"","sources":["../../../src/claims/evidence/capability_scope_validator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAIH,OAAO,KAAK,EAAE,8BAA8B,EAAE,MAAM,8BAA8B,CAAC;AAEnF;;;;;;;;;;;GAWG;AACH,wBAAgB,oCAAoC,IAAI,8BAA8B,CAwDrF"}

package/dist/claims/evidence/capability_scope_validator.js

@@ -0,0 +1,72 @@
+/**
+ * Capability result scope validator — DC-CCP-118.
+ * Validates that capability_result evidence originates from within the
+ * claiming agent's mission ancestor chain.
+ *
+ * Phase: Sprint 1 (Foundation Layer — CCP-02 Capability Results)
+ * Implements: CapabilityResultScopeValidator interface from claim_types.ts
+ *
+ * Algorithm:
+ *   1. Look up capability result by ID → get mission_id
+ *   2. Walk from the claiming mission's mission_id upward via parent_mission_id
+ *   3. If result's mission_id matches any ancestor (including self) → scope valid
+ *   4. Maximum 6 iterations (maxDepth=5 + self) for bounded execution
+ *   5. Visited set for cycle guard
+ *
+ * Spec ref: DC-CCP-118 (Capability result scope validation)
+ */
+/**
+ * Create a CapabilityResultScopeValidator backed by SQLite.
+ *
+ * Validates that a capability_result evidence reference originates from
+ * within the mission ancestor chain of the asserting claim's mission context.
+ *
+ * This prevents cross-scope evidence contamination — an agent cannot claim
+ * evidence from a capability result produced by an unrelated mission tree.
+ *
+ * F-S1-004: tenantId parameter added to prevent cross-tenant scope walk.
+ * Every mission lookup is tenant-scoped via COALESCE pattern.
+ */
+export function createCapabilityResultScopeValidator() {
+    return {
+        validateScope(conn, evidenceId, missionId, tenantId) {
+            // Step 1: Look up the capability result to find its mission_id
+            const resultRow = conn.get('SELECT mission_id FROM core_capability_results WHERE id = ?', [evidenceId]);
+            if (!resultRow) {
+                return {
+                    ok: false,
+                    error: {
+                        code: 'EVIDENCE_NOT_FOUND',
+                        message: `Capability result '${evidenceId}' not found`,
+                        spec: 'DC-CCP-118',
+                    },
+                };
+            }
+            const resultMissionId = resultRow.mission_id;
+            // Step 2: Walk the mission ancestor chain from the claiming mission
+            // Check if resultMissionId matches any ancestor (including self)
+            // F-S1-004: All mission lookups scoped by tenantId to prevent cross-tenant walk
+            const maxDepth = 5;
+            const visited = new Set();
+            let currentMissionId = missionId;
+            for (let i = 0; i <= maxDepth && currentMissionId !== null; i++) {
+                // Cycle guard
+                if (visited.has(currentMissionId))
+                    break;
+                visited.add(currentMissionId);
+                // Step 3: Check if the capability result's mission matches this ancestor
+                if (currentMissionId === resultMissionId) {
+                    return { ok: true, value: true };
+                }
+                // Walk up to parent — tenant-scoped (F-S1-004)
+                const parentRow = conn.get('SELECT parent_id FROM core_missions WHERE id = ? AND COALESCE(tenant_id, \'__NULL__\') = COALESCE(?, \'__NULL__\')', [currentMissionId, tenantId]);
+                if (!parentRow)
+                    break;
+                currentMissionId = parentRow.parent_id;
+            }
+            // Result mission not in ancestor chain → scope violation
+            return { ok: true, value: false };
+        },
+    };
+}
+//# sourceMappingURL=capability_scope_validator.js.map

package/dist/claims/evidence/capability_scope_validator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"capability_scope_validator.js","sourceRoot":"","sources":["../../../src/claims/evidence/capability_scope_validator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAMH;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,oCAAoC;IAClD,OAAO;QACL,aAAa,CACX,IAAwB,EACxB,UAAkB,EAClB,SAAoB,EACpB,QAAyB;YAEzB,+DAA+D;YAC/D,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CACxB,6DAA6D,EAC7D,CAAC,UAAU,CAAC,CACb,CAAC;YACF,IAAI,CAAC,SAAS,EAAE,CAAC;gBACf,OAAO;oBACL,EAAE,EAAE,KAAK;oBACT,KAAK,EAAE;wBACL,IAAI,EAAE,oBAAoB;wBAC1B,OAAO,EAAE,sBAAsB,UAAU,aAAa;wBACtD,IAAI,EAAE,YAAY;qBACnB;iBACF,CAAC;YACJ,CAAC;YAED,MAAM,eAAe,GAAG,SAAS,CAAC,UAAU,CAAC;YAE7C,oEAAoE;YACpE,iEAAiE;YACjE,gFAAgF;YAChF,MAAM,QAAQ,GAAG,CAAC,CAAC;YACnB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;YAClC,IAAI,gBAAgB,GAAkB,SAAmB,CAAC;YAE1D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,QAAQ,IAAI,gBAAgB,KAAK,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;gBAChE,cAAc;gBACd,IAAI,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC;oBAAE,MAAM;gBACzC,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;gBAE9B,yEAAyE;gBACzE,IAAI,gBAAgB,KAAK,eAAe,EAAE,CAAC;oBACzC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;gBACnC,CAAC;gBAED,+CAA+C;gBAC/C,MAAM,SAAS,GAA6C,IAAI,CAAC,GAAG,CAClE,oHAAoH,EACpH,CAAC,gBAAgB,EAAE,QAAQ,CAAC,CAC7B,CAAC;gBACF,IAAI,CAAC,SAAS;oBAAE,MAAM;gBACtB,gBAAgB,GAAG,SAAS,CAAC,SAAS,CAAC;YACzC,CAAC;YAED,yDAAyD;YACzD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;QACpC,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/claims/evidence/evidence_validator.d.ts

@@ -0,0 +1,35 @@
+/**
+ * Evidence source validator — CCP-01 (Memory Evidence) + Sprint 1 Foundation.
+ * Replaces the accept-all stub in createLimen() with real database validation.
+ *
+ * Phase: Sprint 1 (Foundation Layer)
+ * Implements: EvidenceSourceValidator interface from claim_types.ts
+ *
+ * Evidence types validated:
+ *   - 'artifact': Checks core_artifacts table by ID + tenant scope
+ *   - 'memory': Checks working_memory_entries table by task_id + key,
+ *               with tenant scope validation via core_tasks → core_missions chain.
+ *               Requires task context (taskId from ClaimCreateInput).
+ *   - 'capability_result': Checks core_capability_results table by ID + tenant scope
+ *   - 'claim': Handled inline by claim_stores.ts (self-referential), never reaches this validator
+ *
+ * Design decision: Memory evidence uses `evidenceId` as the raw WM key and requires
+ * `taskId` from ClaimCreateInput for scoping. The taskId is passed via the optional 5th
+ * parameter. When taskId is absent, memory evidence is rejected (memory evidence requires
+ * task context for scope isolation).
+ *
+ * Spec ref: CCP v2.0 §7 (Evidence model), WMP v1.0 §5 (Working memory entries)
+ */
+import type { EvidenceSourceValidator } from '../interfaces/claim_types.js';
+/**
+ * Create a real evidence source validator backed by SQLite.
+ *
+ * Returns an EvidenceSourceValidator that checks evidence references against
+ * the actual database tables, enforcing tenant isolation on all lookups.
+ *
+ * @param getTaskId - Optional function to retrieve the current task context.
+ *   When provided, memory evidence validation uses this to scope WM lookups.
+ *   When absent, memory evidence is rejected (requires task context).
+ */
+export declare function createEvidenceValidator(): EvidenceSourceValidator;
+//# sourceMappingURL=evidence_validator.d.ts.map

package/dist/claims/evidence/evidence_validator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidence_validator.d.ts","sourceRoot":"","sources":["../../../src/claims/evidence/evidence_validator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAIH,OAAO,KAAK,EAAgB,uBAAuB,EAAE,MAAM,8BAA8B,CAAC;AAE1F;;;;;;;;;GASG;AACH,wBAAgB,uBAAuB,IAAI,uBAAuB,CAwGjE"}

package/dist/claims/evidence/evidence_validator.js

@@ -0,0 +1,118 @@
+/**
+ * Evidence source validator — CCP-01 (Memory Evidence) + Sprint 1 Foundation.
+ * Replaces the accept-all stub in createLimen() with real database validation.
+ *
+ * Phase: Sprint 1 (Foundation Layer)
+ * Implements: EvidenceSourceValidator interface from claim_types.ts
+ *
+ * Evidence types validated:
+ *   - 'artifact': Checks core_artifacts table by ID + tenant scope
+ *   - 'memory': Checks working_memory_entries table by task_id + key,
+ *               with tenant scope validation via core_tasks → core_missions chain.
+ *               Requires task context (taskId from ClaimCreateInput).
+ *   - 'capability_result': Checks core_capability_results table by ID + tenant scope
+ *   - 'claim': Handled inline by claim_stores.ts (self-referential), never reaches this validator
+ *
+ * Design decision: Memory evidence uses `evidenceId` as the raw WM key and requires
+ * `taskId` from ClaimCreateInput for scoping. The taskId is passed via the optional 5th
+ * parameter. When taskId is absent, memory evidence is rejected (memory evidence requires
+ * task context for scope isolation).
+ *
+ * Spec ref: CCP v2.0 §7 (Evidence model), WMP v1.0 §5 (Working memory entries)
+ */
+/**
+ * Create a real evidence source validator backed by SQLite.
+ *
+ * Returns an EvidenceSourceValidator that checks evidence references against
+ * the actual database tables, enforcing tenant isolation on all lookups.
+ *
+ * @param getTaskId - Optional function to retrieve the current task context.
+ *   When provided, memory evidence validation uses this to scope WM lookups.
+ *   When absent, memory evidence is rejected (requires task context).
+ */
+export function createEvidenceValidator() {
+    return {
+        exists(conn, evidenceType, evidenceId, tenantId, taskId) {
+            switch (evidenceType) {
+                case 'artifact': {
+                    // Check core_artifacts table with tenant isolation
+                    const row = conn.get('SELECT id FROM core_artifacts WHERE id = ? AND (tenant_id IS ? OR (tenant_id IS NULL AND ? IS NULL))', [evidenceId, tenantId, tenantId]);
+                    if (!row) {
+                        return {
+                            ok: false,
+                            error: {
+                                code: 'EVIDENCE_NOT_FOUND',
+                                message: `Artifact evidence '${evidenceId}' not found`,
+                                spec: 'CCP-I5',
+                            },
+                        };
+                    }
+                    return { ok: true, value: true };
+                }
+                case 'memory': {
+                    // Memory evidence requires task context for scope isolation
+                    if (!taskId) {
+                        return {
+                            ok: false,
+                            error: {
+                                code: 'EVIDENCE_NOT_FOUND',
+                                message: 'Memory evidence requires task context (taskId)',
+                                spec: 'CCP-01',
+                            },
+                        };
+                    }
+                    // Validate: WM entry exists for this task+key, and task belongs to correct tenant
+                    // Join chain: working_memory_entries → core_tasks → core_missions for tenant check
+                    const row = conn.get(`SELECT wme.key FROM working_memory_entries wme
+             INNER JOIN core_tasks ct ON ct.id = wme.task_id
+             INNER JOIN core_missions cm ON cm.id = ct.mission_id
+             WHERE wme.task_id = ? AND wme.key = ?
+             AND (cm.tenant_id IS ? OR (cm.tenant_id IS NULL AND ? IS NULL))`, [taskId, evidenceId, tenantId, tenantId]);
+                    if (!row) {
+                        return {
+                            ok: false,
+                            error: {
+                                code: 'EVIDENCE_NOT_FOUND',
+                                message: `Memory evidence '${evidenceId}' not found for task '${taskId}'`,
+                                spec: 'CCP-01',
+                            },
+                        };
+                    }
+                    return { ok: true, value: true };
+                }
+                case 'capability_result': {
+                    // Check core_capability_results table with tenant isolation
+                    const row = conn.get('SELECT id FROM core_capability_results WHERE id = ? AND (tenant_id IS ? OR (tenant_id IS NULL AND ? IS NULL))', [evidenceId, tenantId, tenantId]);
+                    if (!row) {
+                        return {
+                            ok: false,
+                            error: {
+                                code: 'EVIDENCE_NOT_FOUND',
+                                message: `Capability result evidence '${evidenceId}' not found`,
+                                spec: 'CCP-02',
+                            },
+                        };
+                    }
+                    return { ok: true, value: true };
+                }
+                case 'claim': {
+                    // Claims are validated inline by claim_stores.ts (self-referential lookup).
+                    // This path should not be reached, but if it is, we return true to avoid
+                    // double-validation. The claim_stores.ts handles claim evidence directly.
+                    return { ok: true, value: true };
+                }
+                default: {
+                    return {
+                        ok: false,
+                        error: {
+                            code: 'EVIDENCE_NOT_FOUND',
+                            message: `Unknown evidence type '${String(evidenceType)}'`,
+                            spec: 'CCP-I5',
+                        },
+                    };
+                }
+            }
+        },
+    };
+}
+//# sourceMappingURL=evidence_validator.js.map

package/dist/claims/evidence/evidence_validator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evidence_validator.js","sourceRoot":"","sources":["../../../src/claims/evidence/evidence_validator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAMH;;;;;;;;;GASG;AACH,MAAM,UAAU,uBAAuB;IACrC,OAAO;QACL,MAAM,CACJ,IAAwB,EACxB,YAA0B,EAC1B,UAAkB,EAClB,QAAyB,EACzB,MAAsB;YAEtB,QAAQ,YAAY,EAAE,CAAC;gBACrB,KAAK,UAAU,CAAC,CAAC,CAAC;oBAChB,mDAAmD;oBACnD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAClB,sGAAsG,EACtG,CAAC,UAAU,EAAE,QAAQ,EAAE,QAAQ,CAAC,CACjC,CAAC;oBACF,IAAI,CAAC,GAAG,EAAE,CAAC;wBACT,OAAO;4BACL,EAAE,EAAE,KAAK;4BACT,KAAK,EAAE;gCACL,IAAI,EAAE,oBAAoB;gCAC1B,OAAO,EAAE,sBAAsB,UAAU,aAAa;gCACtD,IAAI,EAAE,QAAQ;6BACf;yBACF,CAAC;oBACJ,CAAC;oBACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;gBACnC,CAAC;gBAED,KAAK,QAAQ,CAAC,CAAC,CAAC;oBACd,4DAA4D;oBAC5D,IAAI,CAAC,MAAM,EAAE,CAAC;wBACZ,OAAO;4BACL,EAAE,EAAE,KAAK;4BACT,KAAK,EAAE;gCACL,IAAI,EAAE,oBAAoB;gCAC1B,OAAO,EAAE,gDAAgD;gCACzD,IAAI,EAAE,QAAQ;6BACf;yBACF,CAAC;oBACJ,CAAC;oBAED,kFAAkF;oBAClF,mFAAmF;oBACnF,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAClB;;;;6EAIiE,EACjE,CAAC,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,CAAC,CACzC,CAAC;oBACF,IAAI,CAAC,GAAG,EAAE,CAAC;wBACT,OAAO;4BACL,EAAE,EAAE,KAAK;4BACT,KAAK,EAAE;gCACL,IAAI,EAAE,oBAAoB;gCAC1B,OAAO,EAAE,oBAAoB,UAAU,yBAAyB,MAAM,GAAG;gCACzE,IAAI,EAAE,QAAQ;6BACf;yBACF,CAAC;oBACJ,CAAC;oBACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;gBACnC,CAAC;gBAED,KAAK,mBAAmB,CAAC,CAAC,CAAC;oBACzB,4DAA4D;oBAC5D,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAClB,+GAA+G,EAC/G,CAAC,UAAU,EAAE,QAAQ,EAAE,QAAQ,CAAC,CACjC,CAAC;oBACF,IAAI,CAAC,GAAG,EAAE,CAAC;wBACT,OAAO;4BACL,EAAE,EAAE,KAAK;4BACT,KAAK,EAAE;gCACL,IAAI,EAAE,oBAAoB;gCAC1B,OAAO,EAAE,+BAA+B,UAAU,aAAa;gCAC/D,IAAI,EAAE,QAAQ;6BACf;yBACF,CAAC;oBACJ,CAAC;oBACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;gBACnC,CAAC;gBAED,KAAK,OAAO,CAAC,CAAC,CAAC;oBACb,4EAA4E;oBAC5E,yEAAyE;oBACzE,0EAA0E;oBAC1E,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;gBACnC,CAAC;gBAED,OAAO,CAAC,CAAC,CAAC;oBACR,OAAO;wBACL,EAAE,EAAE,KAAK;wBACT,KAAK,EAAE;4BACL,IAAI,EAAE,oBAAoB;4BAC1B,OAAO,EAAE,0BAA0B,MAAM,CAAC,YAAY,CAAC,GAAG;4BAC1D,IAAI,EAAE,QAAQ;yBACf;qBACF,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/claims/harness/claim_harness.d.ts

@@ -0,0 +1,22 @@
+/**
+ * CCP (Claim Protocol) harness — factory + wiring.
+ * Spec ref: CCP v2.0 Design Source, C-07 (Object.freeze)
+ *
+ * Phase: v3.3.0 — Claim Protocol Truth Model
+ * Status: IMPLEMENTED — delegates to src/claims/store/claim_stores.ts
+ *
+ * This harness is the stable import target for contract tests.
+ * Implementation lives in ../store/claim_stores.ts.
+ *
+ * Pattern: Follows src/learning/harness/learning_harness.ts exactly.
+ */
+export { createClaimSystem } from '../store/claim_stores.js';
+/**
+ * Retained for backward compatibility with contract test imports.
+ * No longer thrown by any production code path.
+ */
+export declare class NotImplementedError extends Error {
+    readonly code = "NOT_IMPLEMENTED";
+    constructor(method: string);
+}
+//# sourceMappingURL=claim_harness.d.ts.map

package/dist/claims/harness/claim_harness.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"claim_harness.d.ts","sourceRoot":"","sources":["../../../src/claims/harness/claim_harness.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAGH,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D;;;GAGG;AACH,qBAAa,mBAAoB,SAAQ,KAAK;IAC5C,SAAgB,IAAI,qBAAqB;gBAE7B,MAAM,EAAE,MAAM;CAI3B"}

package/dist/claims/harness/claim_harness.js

@@ -0,0 +1,26 @@
+/**
+ * CCP (Claim Protocol) harness — factory + wiring.
+ * Spec ref: CCP v2.0 Design Source, C-07 (Object.freeze)
+ *
+ * Phase: v3.3.0 — Claim Protocol Truth Model
+ * Status: IMPLEMENTED — delegates to src/claims/store/claim_stores.ts
+ *
+ * This harness is the stable import target for contract tests.
+ * Implementation lives in ../store/claim_stores.ts.
+ *
+ * Pattern: Follows src/learning/harness/learning_harness.ts exactly.
+ */
+// Re-export the real implementation
+export { createClaimSystem } from '../store/claim_stores.js';
+/**
+ * Retained for backward compatibility with contract test imports.
+ * No longer thrown by any production code path.
+ */
+export class NotImplementedError extends Error {
+    code = 'NOT_IMPLEMENTED';
+    constructor(method) {
+        super(`${method} is not yet implemented`);
+        this.name = 'NotImplementedError';
+    }
+}
+//# sourceMappingURL=claim_harness.js.map

package/dist/claims/harness/claim_harness.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"claim_harness.js","sourceRoot":"","sources":["../../../src/claims/harness/claim_harness.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,oCAAoC;AACpC,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D;;;GAGG;AACH,MAAM,OAAO,mBAAoB,SAAQ,KAAK;IAC5B,IAAI,GAAG,iBAAiB,CAAC;IAEzC,YAAY,MAAc;QACxB,KAAK,CAAC,GAAG,MAAM,yBAAyB,CAAC,CAAC;QAC1C,IAAI,CAAC,IAAI,GAAG,qBAAqB,CAAC;IACpC,CAAC;CACF"}