@ifc-lite/sdk 9.0.0 → 9.3.0

package/dist/namespaces/store.js

@@ -2,7 +2,7 @@
  * License, v. 2.0. If a copy of the MPL was not distributed with this
  * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
 import { isInstantiable, isKnownType, normalizeIfcTypeName } from '@ifc-lite/parser';
-import { StoreModellingNamespace } from './store-modelling.js';
+import { StoreGroupNamespace } from './store-group.js';
 /**
  * `bim.store` — document-level edits on a parsed model.
  *
@@ -18,7 +18,7 @@ import { StoreModellingNamespace } from './store-modelling.js';
  * Changes accumulate in a per-model overlay and are flushed to the IFC
  * file on the next `bim.export.ifc({ applyMutations: true })`.
  */
-export class StoreNamespace extends StoreModellingNamespace {
+export class StoreNamespace extends StoreGroupNamespace {
     /**
      * Inject a new entity into the active model. Returns an `EntityRef`
      * pointing at the freshly-allocated expressId.
@@ -100,8 +100,9 @@ export class StoreNamespace extends StoreModellingNamespace {
      * so the column appears next to the existing model on export.
      *
      * `Position` is the base centre in storey-local coordinates (metres),
-     * `Width`×`Depth` is the centred rectangular cross-section, and
-     * `Height` is the +Z extrusion length.
+     * `Width`×`Depth` selects a centred rectangle; `Profile` selects the
+     * canonical parameterised section. `RefDirection` turns its local X axis
+     * in the storey plane, and `Height` is the +Z extrusion length.
      *
      * @example
      *   const storeyId = bim.query.byType('IfcBuildingStorey')[0].ref.expressId;
@@ -137,9 +138,9 @@ export class StoreNamespace extends StoreModellingNamespace {
         return this.backend.store.addSlab(modelId, storeyExpressId, params);
     }
     /**
-     * Add an IfcBeam between `Start` and `End` with a centred rectangular
-     * cross-section (`Width` × `Height`). Local Z is the beam axis so the
-     * extrusion runs along the beam.
+     * Add an IfcBeam between `Start` and `End` with a centred rectangle
+     * (`Width` × `Height`) or parameterised `Profile`. Local Z is the beam
+     * axis so the extrusion runs along the beam.
      */
     addBeam(modelId, storeyExpressId, params) {
         return this.backend.store.addBeam(modelId, storeyExpressId, params);
@@ -179,8 +180,8 @@ export class StoreNamespace extends StoreModellingNamespace {
     }
     /**
      * Add an IfcMember (generic structural member — brace, post, strut)
-     * between `Start` and `End`. Same axial extrusion as `addBeam`;
-     * choose the PredefinedType to disambiguate the role.
+     * between `Start` and `End`. Same rectangular or parameterised Profile
+     * extrusion as `addBeam`; choose PredefinedType to disambiguate the role.
      */
     addMember(modelId, storeyExpressId, params) {
         return this.backend.store.addMember(modelId, storeyExpressId, params);

package/dist/namespaces/store.js.map

@@ -1 +1 @@
-{"version":3,"file":"store.js","sourceRoot":"","sources":["../../src/namespaces/store.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAwBrF,OAAO,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAC;AAE/D;;;;;;;;;;;;;;GAcG;AACH,MAAM,OAAO,cAAe,SAAQ,uBAAuB;IACzD;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2BG;IACH,SAAS,CAAC,OAAe,EAAE,GAA4C;QACrE,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAClE,MAAM,IAAI,SAAS,CAAC,yDAAyD,CAAC,CAAC;QACjF,CAAC;QACD,sEAAsE;QACtE,mEAAmE;QACnE,oEAAoE;QACpE,sDAAsD;QACtD,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,MAAM,IAAI,SAAS,CACjB,gCAAgC,GAAG,CAAC,IAAI,uDAAuD,CAChG,CAAC;QACJ,CAAC;QACD,yEAAyE;QACzE,uEAAuE;QACvE,qEAAqE;QACrE,qEAAqE;QACrE,qEAAqE;QACrE,oEAAoE;QACpE,WAAW;QACX,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,MAAM,IAAI,SAAS,CACjB,eAAe,GAAG,CAAC,IAAI,iGAAiG,CACzH,CAAC;QACJ,CAAC;QACD,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE;YAC3C,IAAI,EAAE,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC;YACpC,UAAU,EAAE,GAAG,CAAC,UAAU;SAC3B,CAAC,CAAC;IACL,CAAC;IAED;;;;OAIG;IACH,YAAY,CAAC,GAAc;QACzB,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;IAC9C,CAAC;IAED;;;;;;;;OAQG;IACH,sBAAsB,CAAC,GAAc,EAAE,KAAa,EAAE,KAAc;QAClE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,sBAAsB,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAC/D,CAAC;IAED;;;;;;;;;;;;;;;;;OAiBG;IACH,SAAS,CAAC,OAAe,EAAE,eAAuB,EAAE,MAA8B;QAChF,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE,eAAe,EAAE,MAAM,CAAC,CAAC;IACxE,CAAC;IAED;;;;;;;;;;OAUG;IACH,OAAO,CAAC,OAAe,EAAE,eAAuB,EAAE,MAA4B;QAC5E,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,eAAe,EAAE,MAAM,CAAC,CAAC;IACtE,CAAC;IAED;;;;OAIG;IACH,OAAO,CAAC,OAAe,EAAE,eAAuB,EAAE,MAA4B;QAC5E,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,eAAe,EAAE,MAAM,CAAC,CAAC;IACtE,CAAC;IAED;;;;OAIG;IACH,OAAO,CAAC,OAAe,EAAE,eAAuB,EAAE,MAA4B;QAC5E,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,eAAe,EAAE,MAAM,CAAC,CAAC;IACtE,CAAC;IAED,uEAAuE;IACvE,OAAO,CAAC,OAAe,EAAE,eAAuB,EAAE,MAA4B;QAC5E,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,eAAe,EAAE,MAAM,CAAC,CAAC;IACtE,CAAC;IAED,yEAAyE;IACzE,SAAS,CAAC,OAAe,EAAE,eAAuB,EAAE,MAA8B;QAChF,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE,eAAe,EAAE,MAAM,CAAC,CAAC;IACxE,CAAC;IAED;;;;;OAKG;IACH,QAAQ,CAAC,OAAe,EAAE,eAAuB,EAAE,MAA6B;QAC9E,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,EAAE,eAAe,EAAE,MAAM,CAAC,CAAC;IACvE,CAAC;IAED;;;;OAIG;IACH,OAAO,CAAC,OAAe,EAAE,eAAuB,EAAE,MAA4B;QAC5E,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,eAAe,EAAE,MAAM,CAAC,CAAC;IACtE,CAAC;IAED;;;;OAIG;IACH,QAAQ,CAAC,OAAe,EAAE,eAAuB,EAAE,MAA6B;QAC9E,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,EAAE,eAAe,EAAE,MAAM,CAAC,CAAC;IACvE,CAAC;IAED;;;;OAIG;IACH,SAAS,CAAC,OAAe,EAAE,eAAuB,EAAE,MAA8B;QAChF,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE,eAAe,EAAE,MAAM,CAAC,CAAC;IACxE,CAAC;IAED,6EAA6E;IAC7E,2EAA2E;IAC3E,yEAAyE;IAEzE,+EAA+E;IAC/E,eAAe,CAAC,OAAe,EAAE,MAA0B;QACzD,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC7D,CAAC;IAED,iGAAiG;IACjG,WAAW,CAAC,OAAe,EAAE,MAAsB;QACjD,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACzD,CAAC;IAED,wFAAwF;IACxF,YAAY,CAAC,OAAe,EAAE,MAAuB;QACnD,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC1D,CAAC;IAED,yEAAyE;IACzE,eAAe,CAAC,OAAe,EAAE,MAA0B;QACzD,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC7D,CAAC;IAED;;;;OAIG;IACH,aAAa,CAAC,OAAe,EAAE,eAAuB,EAAE,eAAyB;QAC/E,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,OAAO,EAAE,eAAe,EAAE,eAAe,CAAC,CAAC;IACrF,CAAC;IAED,2FAA2F;IAC3F,yBAAyB,CAAC,OAAe,EAAE,iBAAyB,EAAE,cAAwB;QAC5F,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,yBAAyB,CAAC,OAAO,EAAE,iBAAiB,EAAE,cAAc,CAAC,CAAC;IAClG,CAAC;IAED,0FAA0F;IAC1F,gBAAgB,CAAC,OAAe,EAAE,iBAAyB,EAAE,gBAA0B;QACrF,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,gBAAgB,CAAC,OAAO,EAAE,iBAAiB,EAAE,gBAAgB,CAAC,CAAC;IAC3F,CAAC;IAED,iGAAiG;IACjG,iBAAiB,CAAC,OAAe,EAAE,aAAqB,EAAE,eAAyB;QACjF,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,iBAAiB,CAAC,OAAO,EAAE,aAAa,EAAE,eAAe,CAAC,CAAC;IAChF,CAAC;IAED;;;;;;OAMG;IACH,gBAAgB,CAAC,OAAe,EAAE,SAAiB,EAAE,OAA8B;QACjF,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,gBAAgB,CAAC,OAAO,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;IACnE,CAAC;IAED,6EAA6E;IAC7E,yEAAyE;IACzE,uEAAuE;IAEvE,sFAAsF;IACtF,0BAA0B,CAAC,OAAe,EAAE,MAA4C;QACtF,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,0BAA0B,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACxE,CAAC;IAED;;;;;OAKG;IACH,wBAAwB,CAAC,OAAe,EAAE,eAAuB,EAAE,MAA0C;QAC3G,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,wBAAwB,CAAC,OAAO,EAAE,eAAe,EAAE,MAAM,CAAC,CAAC;IACvF,CAAC;IAED,6GAA6G;IAC7G,4BAA4B,CAAC,OAAe,EAAE,eAAuB,EAAE,MAA8C;QACnH,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,4BAA4B,CAAC,OAAO,EAAE,eAAe,EAAE,MAAM,CAAC,CAAC;IAC3F,CAAC;IAED,gHAAgH;IAChH,sBAAsB,CAAC,OAAe,EAAE,MAAwC;QAC9E,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,sBAAsB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACpE,CAAC;IAED,gFAAgF;IAChF,wBAAwB,CAAC,OAAe,EAAE,MAA0C;QAClF,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,wBAAwB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACtE,CAAC;IAED,iFAAiF;IACjF,yBAAyB,CAAC,OAAe,EAAE,MAA2C;QACpF,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,yBAAyB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACvE,CAAC;IAED,8FAA8F;IAC9F,mCAAmC,CAAC,OAAe,EAAE,eAAuB,EAAE,mBAA2B;QACvG,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,mCAAmC,CAAC,OAAO,EAAE,eAAe,EAAE,mBAAmB,CAAC,CAAC;IAC/G,CAAC;IAED,sHAAsH;IACtH,+BAA+B,CAAC,OAAe,EAAE,aAAqB,EAAE,iBAAyB;QAC/F,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,+BAA+B,CAAC,OAAO,EAAE,aAAa,EAAE,iBAAiB,CAAC,CAAC;IACvG,CAAC;IAED;;;;;OAKG;IACH,uBAAuB,CAAC,OAAe,EAAE,cAAsB,EAAE,gBAA0B;QACzF,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,uBAAuB,CAAC,OAAO,EAAE,cAAc,EAAE,gBAAgB,CAAC,CAAC;IAC/F,CAAC;CACF"}
+{"version":3,"file":"store.js","sourceRoot":"","sources":["../../src/namespaces/store.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAsBrF,OAAO,EAAE,mBAAmB,EAAE,MAAM,kBAAkB,CAAC;AAEvD;;;;;;;;;;;;;;GAcG;AACH,MAAM,OAAO,cAAe,SAAQ,mBAAmB;IACrD;;;;;;;;;;;;;;;;;;;;;;;;;;;OA2BG;IACH,SAAS,CAAC,OAAe,EAAE,GAA4C;QACrE,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAClE,MAAM,IAAI,SAAS,CAAC,yDAAyD,CAAC,CAAC;QACjF,CAAC;QACD,sEAAsE;QACtE,mEAAmE;QACnE,oEAAoE;QACpE,sDAAsD;QACtD,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,MAAM,IAAI,SAAS,CACjB,gCAAgC,GAAG,CAAC,IAAI,uDAAuD,CAChG,CAAC;QACJ,CAAC;QACD,yEAAyE;QACzE,uEAAuE;QACvE,qEAAqE;QACrE,qEAAqE;QACrE,qEAAqE;QACrE,oEAAoE;QACpE,WAAW;QACX,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,MAAM,IAAI,SAAS,CACjB,eAAe,GAAG,CAAC,IAAI,iGAAiG,CACzH,CAAC;QACJ,CAAC;QACD,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE;YAC3C,IAAI,EAAE,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC;YACpC,UAAU,EAAE,GAAG,CAAC,UAAU;SAC3B,CAAC,CAAC;IACL,CAAC;IAED;;;;OAIG;IACH,YAAY,CAAC,GAAc;QACzB,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;IAC9C,CAAC;IAED;;;;;;;;OAQG;IACH,sBAAsB,CAAC,GAAc,EAAE,KAAa,EAAE,KAAc;QAClE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,sBAAsB,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAC/D,CAAC;IAED;;;;;;;;;;;;;;;;;;OAkBG;IACH,SAAS,CAAC,OAAe,EAAE,eAAuB,EAAE,MAAuD;QACzG,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE,eAAe,EAAE,MAAM,CAAC,CAAC;IACxE,CAAC;IAED;;;;;;;;;;OAUG;IACH,OAAO,CAAC,OAAe,EAAE,eAAuB,EAAE,MAA4B;QAC5E,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,eAAe,EAAE,MAAM,CAAC,CAAC;IACtE,CAAC;IAED;;;;OAIG;IACH,OAAO,CAAC,OAAe,EAAE,eAAuB,EAAE,MAA4B;QAC5E,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,eAAe,EAAE,MAAM,CAAC,CAAC;IACtE,CAAC;IAED;;;;OAIG;IACH,OAAO,CAAC,OAAe,EAAE,eAAuB,EAAE,MAAqD;QACrG,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,eAAe,EAAE,MAAM,CAAC,CAAC;IACtE,CAAC;IAED,uEAAuE;IACvE,OAAO,CAAC,OAAe,EAAE,eAAuB,EAAE,MAA4B;QAC5E,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,eAAe,EAAE,MAAM,CAAC,CAAC;IACtE,CAAC;IAED,yEAAyE;IACzE,SAAS,CAAC,OAAe,EAAE,eAAuB,EAAE,MAA8B;QAChF,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE,eAAe,EAAE,MAAM,CAAC,CAAC;IACxE,CAAC;IAED;;;;;OAKG;IACH,QAAQ,CAAC,OAAe,EAAE,eAAuB,EAAE,MAA6B;QAC9E,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,EAAE,eAAe,EAAE,MAAM,CAAC,CAAC;IACvE,CAAC;IAED;;;;OAIG;IACH,OAAO,CAAC,OAAe,EAAE,eAAuB,EAAE,MAA4B;QAC5E,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,eAAe,EAAE,MAAM,CAAC,CAAC;IACtE,CAAC;IAED;;;;OAIG;IACH,QAAQ,CAAC,OAAe,EAAE,eAAuB,EAAE,MAA6B;QAC9E,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,EAAE,eAAe,EAAE,MAAM,CAAC,CAAC;IACvE,CAAC;IAED;;;;OAIG;IACH,SAAS,CAAC,OAAe,EAAE,eAAuB,EAAE,MAAuD;QACzG,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE,eAAe,EAAE,MAAM,CAAC,CAAC;IACxE,CAAC;IAED,6EAA6E;IAC7E,2EAA2E;IAC3E,yEAAyE;IAEzE,+EAA+E;IAC/E,eAAe,CAAC,OAAe,EAAE,MAA0B;QACzD,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC7D,CAAC;IAED,iGAAiG;IACjG,WAAW,CAAC,OAAe,EAAE,MAAsB;QACjD,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACzD,CAAC;IAED,wFAAwF;IACxF,YAAY,CAAC,OAAe,EAAE,MAAuB;QACnD,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC1D,CAAC;IAED,yEAAyE;IACzE,eAAe,CAAC,OAAe,EAAE,MAA0B;QACzD,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC7D,CAAC;IAED;;;;OAIG;IACH,aAAa,CAAC,OAAe,EAAE,eAAuB,EAAE,eAAyB;QAC/E,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,OAAO,EAAE,eAAe,EAAE,eAAe,CAAC,CAAC;IACrF,CAAC;IAED,2FAA2F;IAC3F,yBAAyB,CAAC,OAAe,EAAE,iBAAyB,EAAE,cAAwB;QAC5F,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,yBAAyB,CAAC,OAAO,EAAE,iBAAiB,EAAE,cAAc,CAAC,CAAC;IAClG,CAAC;IAED,0FAA0F;IAC1F,gBAAgB,CAAC,OAAe,EAAE,iBAAyB,EAAE,gBAA0B;QACrF,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,gBAAgB,CAAC,OAAO,EAAE,iBAAiB,EAAE,gBAAgB,CAAC,CAAC;IAC3F,CAAC;IAED,iGAAiG;IACjG,iBAAiB,CAAC,OAAe,EAAE,aAAqB,EAAE,eAAyB;QACjF,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,iBAAiB,CAAC,OAAO,EAAE,aAAa,EAAE,eAAe,CAAC,CAAC;IAChF,CAAC;IAED;;;;;;OAMG;IACH,gBAAgB,CAAC,OAAe,EAAE,SAAiB,EAAE,OAA8B;QACjF,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,gBAAgB,CAAC,OAAO,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;IACnE,CAAC;IAED,6EAA6E;IAC7E,yEAAyE;IACzE,uEAAuE;IAEvE,sFAAsF;IACtF,0BAA0B,CAAC,OAAe,EAAE,MAA4C;QACtF,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,0BAA0B,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACxE,CAAC;IAED;;;;;OAKG;IACH,wBAAwB,CAAC,OAAe,EAAE,eAAuB,EAAE,MAA0C;QAC3G,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,wBAAwB,CAAC,OAAO,EAAE,eAAe,EAAE,MAAM,CAAC,CAAC;IACvF,CAAC;IAED,6GAA6G;IAC7G,4BAA4B,CAAC,OAAe,EAAE,eAAuB,EAAE,MAA8C;QACnH,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,4BAA4B,CAAC,OAAO,EAAE,eAAe,EAAE,MAAM,CAAC,CAAC;IAC3F,CAAC;IAED,gHAAgH;IAChH,sBAAsB,CAAC,OAAe,EAAE,MAAwC;QAC9E,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,sBAAsB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACpE,CAAC;IAED,gFAAgF;IAChF,wBAAwB,CAAC,OAAe,EAAE,MAA0C;QAClF,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,wBAAwB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACtE,CAAC;IAED,iFAAiF;IACjF,yBAAyB,CAAC,OAAe,EAAE,MAA2C;QACpF,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,yBAAyB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACvE,CAAC;IAED,8FAA8F;IAC9F,mCAAmC,CAAC,OAAe,EAAE,eAAuB,EAAE,mBAA2B;QACvG,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,mCAAmC,CAAC,OAAO,EAAE,eAAe,EAAE,mBAAmB,CAAC,CAAC;IAC/G,CAAC;IAED,sHAAsH;IACtH,+BAA+B,CAAC,OAAe,EAAE,aAAqB,EAAE,iBAAyB;QAC/F,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,+BAA+B,CAAC,OAAO,EAAE,aAAa,EAAE,iBAAiB,CAAC,CAAC;IACvG,CAAC;IAED;;;;;OAKG;IACH,uBAAuB,CAAC,OAAe,EAAE,cAAsB,EAAE,gBAA0B;QACzF,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,uBAAuB,CAAC,OAAO,EAAE,cAAc,EAAE,gBAAgB,CAAC,CAAC;IAC/F,CAAC;CACF"}

package/dist/review/bcf.d.ts

@@ -0,0 +1,10 @@
+/**
+ * BCF topics as coordination records. A topic's elements are the IfcGuids its
+ * viewpoints select or colour; BCF names no model, so a GlobalId present in two
+ * loaded models stays ambiguous. The topic status is the topic's own and is
+ * never changed by the review workspace.
+ */
+import type { BCFProject } from '@ifc-lite/bcf';
+import type { ReviewMessage, FindingSourceResult } from './types.js';
+export declare function bcfFindings<Message extends ReviewMessage = ReviewMessage>(project: BCFProject | null): FindingSourceResult<Message>;
+//# sourceMappingURL=bcf.d.ts.map

package/dist/review/bcf.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bcf.d.ts","sourceRoot":"","sources":["../../src/review/bcf.ts"],"names":[],"mappings":"AAIA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAY,MAAM,eAAe,CAAC;AAC1D,OAAO,KAAK,EAAE,aAAa,EAAc,mBAAmB,EAAiB,MAAM,YAAY,CAAC;AAYhG,wBAAgB,WAAW,CAAC,OAAO,SAAS,aAAa,GAAG,aAAa,EAAE,OAAO,EAAE,UAAU,GAAG,IAAI,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAanI"}

package/dist/review/bcf.js

@@ -0,0 +1,33 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+function topicGuids(topic) {
+    const guids = new Set();
+    for (const viewpoint of topic.viewpoints) {
+        const components = viewpoint.components;
+        for (const component of components?.selection ?? [])
+            if (component.ifcGuid)
+                guids.add(component.ifcGuid);
+        for (const coloring of components?.coloring ?? [])
+            for (const component of coloring.components)
+                if (component.ifcGuid)
+                    guids.add(component.ifcGuid);
+    }
+    return [...guids];
+}
+export function bcfFindings(project) {
+    if (!project || project.topics.size === 0)
+        return { runs: [], findings: [] };
+    const run = { id: 'bcf:project', source: 'bcf', temporal: 'current', label: project.name || 'BCF',
+        capturedAt: null, complete: true, incomplete: [], models: [] };
+    const findings = [...project.topics.values()].map(topic => ({
+        id: `${run.id}#${topic.guid}`, lineage: `bcf|${topic.guid}`, source: 'bcf', run,
+        elements: topicGuids(topic).map(globalId => ({ globalId, modelId: null, modelName: null })),
+        nativeStatus: topic.topicStatus ?? '', title: topic.title,
+        detail: [topic.topicType, topic.priority ? `priority ${topic.priority}` : '', topic.assignedTo ? `assigned ${topic.assignedTo}` : '',
+            topic.labels?.length ? `labels ${topic.labels.join(', ')}` : ''].filter((line) => !!line),
+        lifecycle: 'record', disciplines: [], storeys: [], evidence: { kind: 'bcf', topicGuid: topic.guid },
+    }));
+    return { runs: [run], findings };
+}
+//# sourceMappingURL=bcf.js.map

package/dist/review/bcf.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bcf.js","sourceRoot":"","sources":["../../src/review/bcf.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAY/D,SAAS,UAAU,CAAC,KAAe;IACjC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACzC,MAAM,UAAU,GAAG,SAAS,CAAC,UAAU,CAAC;QACxC,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,SAAS,IAAI,EAAE;YAAE,IAAI,SAAS,CAAC,OAAO;gBAAE,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QACzG,KAAK,MAAM,QAAQ,IAAI,UAAU,EAAE,QAAQ,IAAI,EAAE;YAAE,KAAK,MAAM,SAAS,IAAI,QAAQ,CAAC,UAAU;gBAAE,IAAI,SAAS,CAAC,OAAO;oBAAE,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACtJ,CAAC;IACD,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC;AACpB,CAAC;AAED,MAAM,UAAU,WAAW,CAAgD,OAA0B;IACnG,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IAC7E,MAAM,GAAG,GAAwB,EAAE,EAAE,EAAE,aAAa,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,CAAC,IAAI,IAAI,KAAK;QACpH,UAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IACjE,MAAM,QAAQ,GAA6B,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACpF,EAAE,EAAE,GAAG,GAAG,CAAC,EAAE,IAAI,KAAK,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,OAAO,KAAK,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG;QAC/E,QAAQ,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC3F,YAAY,EAAE,KAAK,CAAC,WAAW,IAAI,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK;QACzD,MAAM,EAAE,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,KAAK,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE;YAClI,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,UAAU,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QAC3G,SAAS,EAAE,QAAQ,EAAE,WAAW,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,CAAC,IAAI,EAAE;KACpG,CAAC,CAAC,CAAC;IACJ,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,QAAQ,EAAE,CAAC;AACnC,CAAC"}

package/dist/review/capture-budget.d.ts

@@ -0,0 +1,6 @@
+/** #7372: reject a whole capture instead of retaining a silently partial graph. */
+export declare function reviewValueFits(value: unknown): boolean;
+export declare function reviewSHA256(bytes: Uint8Array): Promise<string>;
+/** Both raw and JSON-escaped credentials are excluded from cross-tool facts. */
+export declare function reviewContainsSecret(serialized: string, values: readonly string[]): boolean;
+//# sourceMappingURL=capture-budget.d.ts.map

package/dist/review/capture-budget.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"capture-budget.d.ts","sourceRoot":"","sources":["../../src/review/capture-budget.ts"],"names":[],"mappings":"AAIA,mFAAmF;AACnF,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAqBvD;AAED,wBAAsB,YAAY,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CAGrE;AAED,gFAAgF;AAChF,wBAAgB,oBAAoB,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAG3F"}

package/dist/review/capture-budget.js

@@ -0,0 +1,47 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+/** #7372: reject a whole capture instead of retaining a silently partial graph. */
+export function reviewValueFits(value) {
+    const pending = [{ value, depth: 0 }];
+    let work = 0;
+    let text = 0;
+    while (pending.length) {
+        const item = pending.pop();
+        if (!item || ++work > 100_000 || item.depth > 24)
+            return false;
+        const x = item.value;
+        if (typeof x === 'string') {
+            if (x.length > 16_384 || (text += x.length) > 1_048_576)
+                return false;
+        }
+        else if (typeof x === 'number') {
+            if (!Number.isFinite(x))
+                return false;
+        }
+        else if (x instanceof Date) {
+            if (!Number.isFinite(x.getTime()))
+                return false;
+        }
+        else if (x !== null && typeof x === 'object') {
+            const children = Array.isArray(x) ? x : Object.values(x);
+            if (children.length > 10_000 || pending.length + children.length > 100_000)
+                return false;
+            for (const child of children)
+                pending.push({ value: child, depth: item.depth + 1 });
+        }
+        else if (x !== null && x !== undefined && typeof x !== 'boolean')
+            return false;
+    }
+    return true;
+}
+export async function reviewSHA256(bytes) {
+    const hash = await crypto.subtle.digest('SHA-256', new Uint8Array(bytes));
+    return [...new Uint8Array(hash)].map(x => x.toString(16).padStart(2, '0')).join('');
+}
+/** Both raw and JSON-escaped credentials are excluded from cross-tool facts. */
+export function reviewContainsSecret(serialized, values) {
+    return values.some(value => value.length > 0 && (serialized.includes(value)
+        || serialized.includes(JSON.stringify(value).slice(1, -1))));
+}
+//# sourceMappingURL=capture-budget.js.map

package/dist/review/capture-budget.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"capture-budget.js","sourceRoot":"","sources":["../../src/review/capture-budget.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D,mFAAmF;AACnF,MAAM,UAAU,eAAe,CAAC,KAAc;IAC5C,MAAM,OAAO,GAAG,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACtC,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,OAAO,OAAO,CAAC,MAAM,EAAE,CAAC;QACtB,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;QAC3B,IAAI,CAAC,IAAI,IAAI,EAAE,IAAI,GAAG,OAAO,IAAI,IAAI,CAAC,KAAK,GAAG,EAAE;YAAE,OAAO,KAAK,CAAC;QAC/D,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;QACrB,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC1B,IAAI,CAAC,CAAC,MAAM,GAAG,MAAM,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,SAAS;gBAAE,OAAO,KAAK,CAAC;QACxE,CAAC;aAAM,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YACjC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;QACxC,CAAC;aAAM,IAAI,CAAC,YAAY,IAAI,EAAE,CAAC;YAC7B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;gBAAE,OAAO,KAAK,CAAC;QAClD,CAAC;aAAM,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC/C,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACzD,IAAI,QAAQ,CAAC,MAAM,GAAG,MAAM,IAAI,OAAO,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,GAAG,OAAO;gBAAE,OAAO,KAAK,CAAC;YACzF,KAAK,MAAM,KAAK,IAAI,QAAQ;gBAAE,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC;QACtF,CAAC;aAAM,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;IACnF,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,KAAiB;IAClD,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC;IAC1E,OAAO,CAAC,GAAG,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACtF,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,oBAAoB,CAAC,UAAkB,EAAE,MAAyB;IAChF,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC;WACtE,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACjE,CAAC"}

package/dist/review/capture-retention.d.ts

@@ -0,0 +1,47 @@
+import type { NativeReviewModel, NativeReviewResult, ReviewCaptureToken, ReviewRunProvenance, ReviewSourceProof, ReviewSpecificationCoverage } from './capture-types.js';
+import type { FindingSourceResult } from './types.js';
+export interface OwnedTarget {
+    model: NativeReviewModel;
+    view: ReturnType<NativeReviewModel['mutationView']>;
+    revision: number;
+    proof: ReviewSourceProof;
+}
+export interface CaptureAttempt {
+    token: ReviewCaptureToken;
+    models: readonly NativeReviewModel[];
+    order: number | null;
+    outcome: 'pending' | 'succeeded' | 'failed' | 'aborted' | 'refused' | 'superseded';
+    refusal?: NativeReviewResult['refusal'];
+    targets?: OwnedTarget[];
+    provenance?: ReviewRunProvenance;
+    superseded: boolean;
+    proofHistoryUncertain?: boolean;
+    laterFailure?: NativeReviewResult['refusal'];
+}
+export interface SettledCapture {
+    attempt: CaptureAttempt;
+    targets: OwnedTarget[];
+    provenance: ReviewRunProvenance;
+    facts: FindingSourceResult;
+    coverage: ReviewSpecificationCoverage[];
+    laterFailure?: NativeReviewResult['refusal'];
+}
+/** Two bounded roles: pending reservations and latest successful native contexts. */
+export declare class CaptureRetention {
+    readonly capacity: number;
+    readonly pending: Map<string, CaptureAttempt>;
+    readonly settled: Map<string, SettledCapture>;
+    latest: CaptureAttempt | null;
+    inventoryOmitted: boolean;
+    captureRefusal: 'capture-bound' | null;
+    private order;
+    constructor(capacity: number);
+    private nextOrder;
+    private replaceLatest;
+    refuse(models: readonly NativeReviewModel[], refusal: NativeReviewResult['refusal']): void;
+    reserve(models: readonly NativeReviewModel[]): CaptureAttempt | null;
+    prepare(attempt: CaptureAttempt, targets: OwnedTarget[], provenance: ReviewRunProvenance): void;
+    fail(attempt: CaptureAttempt, refusal: NativeReviewResult['refusal'], outcome: 'failed' | 'aborted' | 'refused'): void;
+    complete(attempt: CaptureAttempt, facts: FindingSourceResult, coverage: ReviewSpecificationCoverage[]): void;
+}
+//# sourceMappingURL=capture-retention.d.ts.map

package/dist/review/capture-retention.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"capture-retention.d.ts","sourceRoot":"","sources":["../../src/review/capture-retention.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,mBAAmB,EAC1F,iBAAiB,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AAC7E,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAEtD,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,iBAAiB,CAAC;IACzB,IAAI,EAAE,UAAU,CAAC,iBAAiB,CAAC,cAAc,CAAC,CAAC,CAAC;IACpD,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,iBAAiB,CAAC;CAC1B;AACD,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,kBAAkB,CAAC;IAC1B,MAAM,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACrC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,OAAO,EAAE,SAAS,GAAG,WAAW,GAAG,QAAQ,GAAG,SAAS,GAAG,SAAS,GAAG,YAAY,CAAC;IACnF,OAAO,CAAC,EAAE,kBAAkB,CAAC,SAAS,CAAC,CAAC;IACxC,OAAO,CAAC,EAAE,WAAW,EAAE,CAAC;IACxB,UAAU,CAAC,EAAE,mBAAmB,CAAC;IACjC,UAAU,EAAE,OAAO,CAAC;IACpB,qBAAqB,CAAC,EAAE,OAAO,CAAC;IAChC,YAAY,CAAC,EAAE,kBAAkB,CAAC,SAAS,CAAC,CAAC;CAC9C;AACD,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,cAAc,CAAC;IACxB,OAAO,EAAE,WAAW,EAAE,CAAC;IACvB,UAAU,EAAE,mBAAmB,CAAC;IAChC,KAAK,EAAE,mBAAmB,CAAC;IAC3B,QAAQ,EAAE,2BAA2B,EAAE,CAAC;IACxC,YAAY,CAAC,EAAE,kBAAkB,CAAC,SAAS,CAAC,CAAC;CAC9C;AAYD,qFAAqF;AACrF,qBAAa,gBAAgB;IAOf,QAAQ,CAAC,QAAQ,EAAE,MAAM;IANrC,QAAQ,CAAC,OAAO,8BAAqC;IACrD,QAAQ,CAAC,OAAO,8BAAqC;IACrD,MAAM,EAAE,cAAc,GAAG,IAAI,CAAQ;IACrC,gBAAgB,UAAS;IACzB,cAAc,EAAE,eAAe,GAAG,IAAI,CAAQ;IAC9C,OAAO,CAAC,KAAK,CAAK;gBACG,QAAQ,EAAE,MAAM;IAErC,OAAO,CAAC,SAAS;IAWjB,OAAO,CAAC,aAAa;IAWrB,MAAM,CAAC,MAAM,EAAE,SAAS,iBAAiB,EAAE,EAAE,OAAO,EAAE,kBAAkB,CAAC,SAAS,CAAC,GAAG,IAAI;IAI1F,OAAO,CAAC,MAAM,EAAE,SAAS,iBAAiB,EAAE,GAAG,cAAc,GAAG,IAAI;IAOpE,OAAO,CAAC,OAAO,EAAE,cAAc,EAAE,OAAO,EAAE,WAAW,EAAE,EAAE,UAAU,EAAE,mBAAmB,GAAG,IAAI;IAO/F,IAAI,CAAC,OAAO,EAAE,cAAc,EAAE,OAAO,EAAE,kBAAkB,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,QAAQ,GAAG,SAAS,GAAG,SAAS,GAAG,IAAI;IAetH,QAAQ,CAAC,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,mBAAmB,EAAE,QAAQ,EAAE,2BAA2B,EAAE,GAAG,IAAI;CAgC7G"}

package/dist/review/capture-retention.js

@@ -0,0 +1,141 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+function sameContext(a, b) {
+    if (!a.provenance || !b.provenance || !a.targets || !b.targets)
+        return false;
+    return a.provenance.producer === b.provenance.producer
+        && a.provenance.definitionSHA256 === b.provenance.definitionSHA256
+        && a.targets.length === b.targets.length && a.targets.every(target => b.targets?.some(other => target.model.id === other.model.id && target.model.owner === other.model.owner
+        && target.model.store === other.model.store && target.model.source === other.model.source
+        && target.proof.sourceSHA256 === other.proof.sourceSHA256
+        && target.proof.sourceByteLength === other.proof.sourceByteLength));
+}
+/** Two bounded roles: pending reservations and latest successful native contexts. */
+export class CaptureRetention {
+    capacity;
+    pending = new Map();
+    settled = new Map();
+    latest = null;
+    inventoryOmitted = false;
+    captureRefusal = null;
+    order = 0;
+    constructor(capacity) {
+        this.capacity = capacity;
+    }
+    nextOrder() {
+        // Only relative ordering among at most 65 live records matters. Resequence
+        // before a fixed bound; never accumulate lifetime counters or tombstones.
+        if (this.order >= 128) {
+            const records = new Set([...this.pending.values(), ...[...this.settled.values()].map(x => x.attempt),
+                ...(this.latest ? [this.latest] : [])]);
+            const ordered = [...records].filter(x => x.order !== null).sort((a, b) => (a.order ?? 0) - (b.order ?? 0));
+            ordered.forEach((item, index) => { item.order = index + 1; });
+            this.order = ordered.length;
+        }
+        return ++this.order;
+    }
+    replaceLatest(next) {
+        const previous = this.latest;
+        if (previous?.refusal && previous.provenance && previous.targets) {
+            for (const pending of this.pending.values()) {
+                if ((pending.order ?? -1) >= (previous.order ?? -1))
+                    continue;
+                if (!pending.targets)
+                    pending.proofHistoryUncertain = true;
+                else if (sameContext(previous, pending))
+                    pending.laterFailure = previous.refusal;
+            }
+        }
+        this.latest = next;
+    }
+    refuse(models, refusal) {
+        this.replaceLatest({ token: { runId: crypto.randomUUID() }, models, order: this.nextOrder(),
+            outcome: 'refused', refusal, superseded: false });
+    }
+    reserve(models) {
+        if (this.pending.size >= this.capacity) {
+            this.refuse(models, 'work-bound');
+            return null;
+        }
+        const attempt = { token: { runId: crypto.randomUUID() }, models, order: this.nextOrder(),
+            outcome: 'pending', superseded: false };
+        this.pending.set(attempt.token.runId, attempt);
+        this.replaceLatest(attempt);
+        return attempt;
+    }
+    prepare(attempt, targets, provenance) {
+        if (this.pending.get(attempt.token.runId) !== attempt)
+            throw new Error('Native Review reservation is no longer pending');
+        // Proof completion cannot turn an older attempt into the latest operation.
+        attempt.targets = targets;
+        attempt.provenance = provenance;
+        if ([...this.settled.values()].some(capture => sameContext(attempt, capture.attempt)
+            && (capture.attempt.order ?? -1) > (attempt.order ?? -1)))
+            attempt.superseded = true;
+    }
+    fail(attempt, refusal, outcome) {
+        if (this.pending.get(attempt.token.runId) !== attempt)
+            return;
+        this.pending.delete(attempt.token.runId);
+        attempt.outcome = outcome;
+        attempt.refusal = refusal;
+        for (const other of this.pending.values()) {
+            if (sameContext(attempt, other) && (attempt.order ?? -1) > (other.order ?? -1))
+                other.laterFailure = refusal;
+            // A proven failure that is no longer latest has no retained descriptor
+            // for a later proof to compare. Preserve bounded uncertainty instead of
+            // treating an older, currently unproven context as a current success.
+            else if (this.latest !== attempt && attempt.provenance && attempt.targets && !other.targets
+                && (other.order ?? -1) < (attempt.order ?? -1))
+                other.proofHistoryUncertain = true;
+        }
+        for (const capture of this.settled.values()) {
+            if (sameContext(attempt, capture.attempt) && (attempt.order ?? -1) > (capture.attempt.order ?? -1))
+                capture.laterFailure = refusal;
+        }
+    }
+    complete(attempt, facts, coverage) {
+        if (!attempt.targets || !attempt.provenance || attempt.order === null)
+            throw new Error('Native Review reservation has no producer proof');
+        const matching = [...this.settled.values()].find(capture => sameContext(attempt, capture.attempt));
+        this.pending.delete(attempt.token.runId);
+        if (attempt.superseded || matching && (matching.attempt.order ?? -1) > attempt.order) {
+            attempt.outcome = 'superseded';
+            return;
+        }
+        const latest = this.latest;
+        if (latest?.refusal && (latest.order ?? -1) > attempt.order && sameContext(attempt, latest)) {
+            attempt.laterFailure = latest.refusal;
+        }
+        if (attempt.proofHistoryUncertain) {
+            // Missing bounded history cannot prove that this old proof was not
+            // superseded. Refuse its capture, preserving the independent report.
+            attempt.outcome = 'refused';
+            attempt.refusal = 'capture-bound';
+            this.captureRefusal = 'capture-bound';
+            this.inventoryOmitted = true;
+            return;
+        }
+        for (const other of this.pending.values()) {
+            if (sameContext(attempt, other) && (other.order ?? Number.POSITIVE_INFINITY) < attempt.order)
+                other.superseded = true;
+        }
+        if (matching)
+            this.settled.delete(matching.attempt.token.runId);
+        else if (this.settled.size >= this.capacity) {
+            const oldest = this.settled.keys().next().value;
+            if (oldest === undefined)
+                throw new Error('Native Review retention has no settled context to retire');
+            for (const other of this.pending.values()) {
+                if (!other.targets && (other.order ?? -1) < attempt.order)
+                    other.proofHistoryUncertain = true;
+            }
+            this.settled.delete(oldest);
+            this.inventoryOmitted = true;
+        }
+        attempt.outcome = 'succeeded';
+        this.settled.set(attempt.token.runId, { attempt, targets: attempt.targets, provenance: attempt.provenance, facts, coverage, ...(attempt.laterFailure ? { laterFailure: attempt.laterFailure } : {}) });
+    }
+}
+//# sourceMappingURL=capture-retention.js.map

package/dist/review/capture-retention.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"capture-retention.js","sourceRoot":"","sources":["../../src/review/capture-retention.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAgC/D,SAAS,WAAW,CAAC,CAAiB,EAAE,CAAiB;IACvD,IAAI,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IAC7E,OAAO,CAAC,CAAC,UAAU,CAAC,QAAQ,KAAK,CAAC,CAAC,UAAU,CAAC,QAAQ;WACjD,CAAC,CAAC,UAAU,CAAC,gBAAgB,KAAK,CAAC,CAAC,UAAU,CAAC,gBAAgB;WAC/D,CAAC,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAC5F,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,KAAK,CAAC,KAAK,CAAC,EAAE,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,KAAK;WAC3E,MAAM,CAAC,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,KAAK,CAAC,MAAM;WACtF,MAAM,CAAC,KAAK,CAAC,YAAY,KAAK,KAAK,CAAC,KAAK,CAAC,YAAY;WACtD,MAAM,CAAC,KAAK,CAAC,gBAAgB,KAAK,KAAK,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC;AAC1E,CAAC;AAED,qFAAqF;AACrF,MAAM,OAAO,gBAAgB;IAON;IANZ,OAAO,GAAG,IAAI,GAAG,EAA0B,CAAC;IAC5C,OAAO,GAAG,IAAI,GAAG,EAA0B,CAAC;IACrD,MAAM,GAA0B,IAAI,CAAC;IACrC,gBAAgB,GAAG,KAAK,CAAC;IACzB,cAAc,GAA2B,IAAI,CAAC;IACtC,KAAK,GAAG,CAAC,CAAC;IAClB,YAAqB,QAAgB;QAAhB,aAAQ,GAAR,QAAQ,CAAQ;IAAG,CAAC;IAEjC,SAAS;QACf,2EAA2E;QAC3E,0EAA0E;QAC1E,IAAI,IAAI,CAAC,KAAK,IAAI,GAAG,EAAE,CAAC;YACtB,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,GAAG,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;gBAClG,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YAC1C,MAAM,OAAO,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC;YAC3G,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,GAAG,IAAI,CAAC,KAAK,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAAC,IAAI,CAAC,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC;QAC7F,CAAC;QACD,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC;IACtB,CAAC;IACO,aAAa,CAAC,IAAoB;QACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC;QAC7B,IAAI,QAAQ,EAAE,OAAO,IAAI,QAAQ,CAAC,UAAU,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;YACjE,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;gBAC5C,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;oBAAE,SAAS;gBAC9D,IAAI,CAAC,OAAO,CAAC,OAAO;oBAAE,OAAO,CAAC,qBAAqB,GAAG,IAAI,CAAC;qBACtD,IAAI,WAAW,CAAC,QAAQ,EAAE,OAAO,CAAC;oBAAE,OAAO,CAAC,YAAY,GAAG,QAAQ,CAAC,OAAO,CAAC;YACnF,CAAC;QACH,CAAC;QACD,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;IACrB,CAAC;IACD,MAAM,CAAC,MAAoC,EAAE,OAAsC;QACjF,IAAI,CAAC,aAAa,CAAC,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,SAAS,EAAE;YACzF,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,CAAC,MAAoC;QAC1C,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;YAAC,OAAO,IAAI,CAAC;QAAC,CAAC;QAC3F,MAAM,OAAO,GAAmB,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,MAAM,CAAC,UAAU,EAAE,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,SAAS,EAAE;YACtG,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;QAC1C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAAC,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;QAC5E,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,OAAO,CAAC,OAAuB,EAAE,OAAsB,EAAE,UAA+B;QACtF,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,OAAO;YAAE,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;QACzH,2EAA2E;QAC3E,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC;QAAC,OAAO,CAAC,UAAU,GAAG,UAAU,CAAC;QAC3D,IAAI,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC;eAC/E,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC;YAAE,OAAO,CAAC,UAAU,GAAG,IAAI,CAAC;IACzF,CAAC;IACD,IAAI,CAAC,OAAuB,EAAE,OAAsC,EAAE,OAAyC;QAC7G,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,OAAO;YAAE,OAAO;QAC9D,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAAC,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC;QAAC,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC;QAC/F,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;YAC1C,IAAI,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;gBAAE,KAAK,CAAC,YAAY,GAAG,OAAO,CAAC;YAC7G,uEAAuE;YACvE,wEAAwE;YACxE,sEAAsE;iBACjE,IAAI,IAAI,CAAC,MAAM,KAAK,OAAO,IAAI,OAAO,CAAC,UAAU,IAAI,OAAO,CAAC,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO;mBACtF,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;gBAAE,KAAK,CAAC,qBAAqB,GAAG,IAAI,CAAC;QACvF,CAAC;QACD,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;YAC5C,IAAI,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;gBAAE,OAAO,CAAC,YAAY,GAAG,OAAO,CAAC;QACrI,CAAC;IACH,CAAC;IACD,QAAQ,CAAC,OAAuB,EAAE,KAA0B,EAAE,QAAuC;QACnG,IAAI,CAAC,OAAO,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC,UAAU,IAAI,OAAO,CAAC,KAAK,KAAK,IAAI;YAAE,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;QAC1I,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;QACnG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACzC,IAAI,OAAO,CAAC,UAAU,IAAI,QAAQ,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,KAAK,EAAE,CAAC;YACrF,OAAO,CAAC,OAAO,GAAG,YAAY,CAAC;YAAC,OAAO;QACzC,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;QAC3B,IAAI,MAAM,EAAE,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,KAAK,IAAI,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,CAAC;YAC5F,OAAO,CAAC,YAAY,GAAG,MAAM,CAAC,OAAO,CAAC;QACxC,CAAC;QACD,IAAI,OAAO,CAAC,qBAAqB,EAAE,CAAC;YAClC,mEAAmE;YACnE,qEAAqE;YACrE,OAAO,CAAC,OAAO,GAAG,SAAS,CAAC;YAAC,OAAO,CAAC,OAAO,GAAG,eAAe,CAAC;YAAC,IAAI,CAAC,cAAc,GAAG,eAAe,CAAC;YACtG,IAAI,CAAC,gBAAgB,GAAG,IAAI,CAAC;YAAC,OAAO;QACvC,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;YAC1C,IAAI,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,MAAM,CAAC,iBAAiB,CAAC,GAAG,OAAO,CAAC,KAAK;gBAAE,KAAK,CAAC,UAAU,GAAG,IAAI,CAAC;QACxH,CAAC;QACD,IAAI,QAAQ;YAAE,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;aAC3D,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC5C,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC;YAChD,IAAI,MAAM,KAAK,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;YACtG,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;gBAC1C,IAAI,CAAC,KAAK,CAAC,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,KAAK;oBAAE,KAAK,CAAC,qBAAqB,GAAG,IAAI,CAAC;YAChG,CAAC;YACD,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAAC,IAAI,CAAC,gBAAgB,GAAG,IAAI,CAAC;QAC5D,CAAC;QACD,OAAO,CAAC,OAAO,GAAG,WAAW,CAAC;QAC9B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACzM,CAAC;CACF"}

package/dist/review/capture-types.d.ts

@@ -0,0 +1,57 @@
+import type { IfcSourceBytes } from '@ifc-lite/parser';
+import type { ReviewModel, FindingSourceResult } from './types.js';
+/** A real host-owned source. Reading this contract never allocates an editor. */
+export interface NativeReviewModel extends ReviewModel {
+    readonly owner: object;
+    readonly store: object;
+    readonly source: IfcSourceBytes;
+    mutationView(): {
+        getMutationRevision(): number;
+    } | null;
+}
+export interface ReviewSourceProof {
+    readonly modelId: string;
+    readonly sourceSHA256: string;
+    readonly sourceByteLength: number;
+}
+export interface ReviewRunProvenance {
+    readonly runId: string;
+    readonly producer: 'ids' | 'rules';
+    readonly definitionSHA256: string;
+    readonly capturedAt: string;
+    readonly sources: readonly ReviewSourceProof[];
+    readonly origin: 'captured';
+}
+export interface ReviewSpecificationCoverage {
+    readonly specificationId: string;
+    readonly applicableCount: number;
+    readonly passedCount: number;
+    readonly failedCount: number;
+    readonly detailRows: number;
+}
+export interface NativeReviewResult extends FindingSourceResult {
+    provenance: ReviewRunProvenance[];
+    retention?: {
+        policy: 'latest-successful-native-context';
+        limit: number;
+        inventoryOmitted: boolean;
+        omittedHistoricalRuns: null;
+        captureRefusal: 'capture-bound' | null;
+    };
+    latestAttempt?: {
+        state: 'pending' | 'succeeded' | 'failed' | 'aborted' | 'refused' | 'superseded';
+        refusal?: NativeReviewResult['refusal'];
+        proof: ReviewRunProvenance | null;
+    } | null;
+    coverage: Array<{
+        runId: string;
+        specifications: ReviewSpecificationCoverage[];
+    }>;
+    availability: 'available' | 'not-run' | 'unavailable';
+    /** Closed host facts, never a raw exception or unauthorized model label. */
+    refusal?: 'source-unavailable' | 'work-bound' | 'capture-bound' | 'target-changed' | 'scope' | 'sensitive-input' | 'producer-pending' | 'producer-failed' | 'aborted';
+}
+export interface ReviewCaptureToken {
+    readonly runId: string;
+}
+//# sourceMappingURL=capture-types.d.ts.map

package/dist/review/capture-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"capture-types.d.ts","sourceRoot":"","sources":["../../src/review/capture-types.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,KAAK,EAAE,WAAW,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAEnE,iFAAiF;AACjF,MAAM,WAAW,iBAAkB,SAAQ,WAAW;IACpD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;IAChC,YAAY,IAAI;QAAE,mBAAmB,IAAI,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;CAC1D;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;CACnC;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,KAAK,GAAG,OAAO,CAAC;IACnC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAC/C,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;CAC7B;AAED,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,kBAAmB,SAAQ,mBAAmB;IAC7D,UAAU,EAAE,mBAAmB,EAAE,CAAC;IAClC,SAAS,CAAC,EAAE;QAAE,MAAM,EAAE,kCAAkC,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,gBAAgB,EAAE,OAAO,CAAC;QAAC,qBAAqB,EAAE,IAAI,CAAC;QAAC,cAAc,EAAE,eAAe,GAAG,IAAI,CAAA;KAAE,CAAC;IAC1K,aAAa,CAAC,EAAE;QAAE,KAAK,EAAE,SAAS,GAAG,WAAW,GAAG,QAAQ,GAAG,SAAS,GAAG,SAAS,GAAG,YAAY,CAAC;QACjG,OAAO,CAAC,EAAE,kBAAkB,CAAC,SAAS,CAAC,CAAC;QAAC,KAAK,EAAE,mBAAmB,GAAG,IAAI,CAAA;KAAE,GAAG,IAAI,CAAC;IACtF,QAAQ,EAAE,KAAK,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,cAAc,EAAE,2BAA2B,EAAE,CAAA;KAAE,CAAC,CAAC;IAClF,YAAY,EAAE,WAAW,GAAG,SAAS,GAAG,aAAa,CAAC;IACtD,4EAA4E;IAC5E,OAAO,CAAC,EAAE,oBAAoB,GAAG,YAAY,GAAG,eAAe,GAAG,gBAAgB,GAAG,OAAO,GAAG,iBAAiB,GAAG,kBAAkB,GAAG,iBAAiB,GAAG,SAAS,CAAC;CACvK;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB"}

package/dist/review/capture-types.js

@@ -0,0 +1,5 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+export {};
+//# sourceMappingURL=capture-types.js.map

package/dist/review/capture-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"capture-types.js","sourceRoot":"","sources":["../../src/review/capture-types.ts"],"names":[],"mappings":"AAAA;;+DAE+D"}

package/dist/review/cards.d.ts

@@ -0,0 +1,60 @@
+/**
+ * Coordination cards (P18, #6922): findings that refer to exactly the same
+ * set of validated elements form one card. Cards are not transitive clusters:
+ * a clash between A and B is its own card, and links to the card of findings
+ * on A alone as *related* instead of absorbing it, so no finding is ever in
+ * two cards and one busy element cannot swallow the whole model.
+ *
+ * A finding with any element that does not resolve to exactly one loaded
+ * model (ambiguous, missing, or unresolved by its native source) is never
+ * merged: it gets a card of its own marked unvalidated.
+ */
+import { type ElementResolution } from './identity.js';
+import type { FindingElement, FindingSourceKind, ReviewFinding, ReviewModel, ReviewMessage } from './types.js';
+export interface CardElement extends FindingElement {
+    /** Durable key when validated; null otherwise. */
+    key: string | null;
+    resolution: ElementResolution['state'];
+    /** Live express id in `resolvedModelId` when validated. */
+    expressId: number | null;
+    resolvedModelId: string | null;
+}
+/**
+ * `current`: an analysis observes it now. `not-evaluated`: only historical
+ * evidence, and no complete compatible run looked again. `resolution-candidate`:
+ * only historical evidence, every item re-examined by a complete current run
+ * and no longer observed; a human decides. `record`: only coordination records (BCF topics or saved grouping receipts).
+ */
+export type CardState = 'current' | 'not-evaluated' | 'resolution-candidate' | 'record';
+export interface CoordinationCard<Message extends ReviewMessage = ReviewMessage> {
+    /** Durable identity: the sorted validated element keys, or the single finding for an unvalidated card. */
+    key: string;
+    identity: 'validated' | 'unvalidated';
+    elements: CardElement[];
+    findings: ReviewFinding<Message>[];
+    sources: FindingSourceKind[];
+    state: CardState;
+    /** BCF topic GUIDs among the findings. */
+    topics: string[];
+    /** Cards sharing at least one validated element with this one. */
+    related: string[];
+    disciplines: string[];
+    storeys: string[];
+    models: string[];
+}
+/** Each total counts a different thing; none is derived from another. */
+export interface ReviewTotals {
+    uniqueElements: number;
+    unverifiedElements: number;
+    currentFindings: number;
+    historicalFindings: number;
+    cards: number;
+    topics: number;
+}
+export declare function buildCards<Message extends ReviewMessage>(findings: readonly ReviewFinding<Message>[], models: readonly ReviewModel[]): {
+    cards: CoordinationCard<Message>[];
+    totals: ReviewTotals;
+};
+/** Totals for the exact cards included in an action, independently of workspace filters. */
+export declare function totalsForCards<Message extends ReviewMessage>(cards: readonly CoordinationCard<Message>[]): ReviewTotals;
+//# sourceMappingURL=cards.d.ts.map

package/dist/review/cards.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cards.d.ts","sourceRoot":"","sources":["../../src/review/cards.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;GAUG;AAEH,OAAO,EAA8B,KAAK,iBAAiB,EAAE,MAAM,eAAe,CAAC;AACnF,OAAO,KAAK,EAAE,cAAc,EAAE,iBAAiB,EAAE,aAAa,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE/G,MAAM,WAAW,WAAY,SAAQ,cAAc;IACjD,kDAAkD;IAClD,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;IACnB,UAAU,EAAE,iBAAiB,CAAC,OAAO,CAAC,CAAC;IACvC,2DAA2D;IAC3D,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;CAChC;AAED;;;;;GAKG;AACH,MAAM,MAAM,SAAS,GAAG,SAAS,GAAG,eAAe,GAAG,sBAAsB,GAAG,QAAQ,CAAC;AAExF,MAAM,WAAW,gBAAgB,CAAC,OAAO,SAAS,aAAa,GAAG,aAAa;IAC7E,0GAA0G;IAC1G,GAAG,EAAE,MAAM,CAAC;IACZ,QAAQ,EAAE,WAAW,GAAG,aAAa,CAAC;IACtC,QAAQ,EAAE,WAAW,EAAE,CAAC;IACxB,QAAQ,EAAE,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC;IACnC,OAAO,EAAE,iBAAiB,EAAE,CAAC;IAC7B,KAAK,EAAE,SAAS,CAAC;IACjB,0CAA0C;IAC1C,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,kEAAkE;IAClE,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB;AAED,yEAAyE;AACzE,MAAM,WAAW,YAAY;IAC3B,cAAc,EAAE,MAAM,CAAC;IACvB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,eAAe,EAAE,MAAM,CAAC;IACxB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;CAChB;AAcD,wBAAgB,UAAU,CAAC,OAAO,SAAS,aAAa,EAAE,QAAQ,EAAE,SAAS,aAAa,CAAC,OAAO,CAAC,EAAE,EAAE,MAAM,EAAE,SAAS,WAAW,EAAE,GAAG;IAAE,KAAK,EAAE,gBAAgB,CAAC,OAAO,CAAC,EAAE,CAAC;IAAC,MAAM,EAAE,YAAY,CAAA;CAAE,CA0CnM;AAED,4FAA4F;AAC5F,wBAAgB,cAAc,CAAC,OAAO,SAAS,aAAa,EAAE,KAAK,EAAE,SAAS,gBAAgB,CAAC,OAAO,CAAC,EAAE,GAAG,YAAY,CAYvH"}