@zxyycom/vibe-check 0.0.1 → 0.0.3

package/dist/esm/check-settlement/fact-validation.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"fact-validation.mjs","sourceRoot":"","sources":["../../../src/check-settlement/fact-validation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAE5E,OAAO,EAAE,uBAAuB,EAAE,MAAM,mCAAmC,CAAC;AAE5E,OAAO,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AAkB9F,MAAM,UAAU,oBAAoB,CAAC,KAAc;IACjD,MAAM,QAAQ,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC7C,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC;QAC7E,OAAO,OAAO,CAAC,GAAG,EAAE,oDAAoD,CAAC,CAAC;IAC5E,CAAC;IACD,MAAM,WAAW,GAAG,mBAAmB,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACzD,MAAM,YAAY,GAAG,mBAAmB,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC3D,IAAI,WAAW,KAAK,SAAS,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QAC5D,OAAO,OAAO,CAAC,GAAG,EAAE,6CAA6C,CAAC,CAAC;IACrE,CAAC;IACD,MAAM,MAAM,GAAG,cAAc,CAAC,WAAW,CAAC,CAAC;IAC3C,IAAI,CAAC,MAAM,CAAC,EAAE;QAAE,OAAO,MAAM,CAAC;IAC9B,MAAM,gBAAgB,GAAG,wBAAwB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAChE,IAAI,CAAC,gBAAgB,CAAC,EAAE;QAAE,OAAO,gBAAgB,CAAC;IAClD,MAAM,OAAO,GAAG,eAAe,CAAC,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAC5D,IAAI,CAAC,OAAO,CAAC,EAAE;QAAE,OAAO,OAAO,CAAC;IAChC,OAAO,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;AACnF,CAAC;AAED,SAAS,wBAAwB,CAAC,MAA4B;IAC5D,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;IACpE,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;QAC9C,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,aAAa,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS;YACvF,SAAS;QACX,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;YACpD,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC;gBAClD,OAAO,OAAO,CACZ,YAAY,KAAK,2BAA2B,EAC5C,2CAA2C,CAC5C,CAAC;YACJ,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC,SAAS,CAAC,CAAC;AAC7B,CAAC;AAED,SAAS,cAAc,CAAC,MAA0B;IAChD,MAAM,MAAM,GAAgB,EAAE,CAAC;IAC/B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,IAAI,eAAmC,CAAC;IACxC,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;QAC9C,MAAM,KAAK,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;QAC1C,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC,SAAS,EAAE,aAAa,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC;YACvF,OAAO,OAAO,CAAC,YAAY,KAAK,GAAG,EAAE,2BAA2B,CAAC,CAAC;QACpE,CAAC;QACD,MAAM,UAAU,GAAG,uBAAuB,CAAC;YACzC,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,WAAW,EAAE,KAAK,CAAC,WAAW;SAC/B,CAAC,CAAC;QACH,IAAI,CAAC,UAAU,CAAC,EAAE;YAAE,OAAO,UAAU,CAAC;QACtC,IAAI,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3C,OAAO,OAAO,CAAC,YAAY,KAAK,WAAW,EAAE,8BAA8B,EAAE,WAAW,CAAC,CAAC;QAC5F,CAAC;QACD,IACE,eAAe,KAAK,SAAS;YAC7B,WAAW,CAAC,eAAe,EAAE,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAC3D,CAAC;YACD,OAAO,OAAO,CAAC,YAAY,KAAK,WAAW,EAAE,uCAAuC,CAAC,CAAC;QACxF,CAAC;QACD,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,OAAO,EAAE,YAAY,KAAK,WAAW,CAAC,CAAC;QAC7E,IAAI,CAAC,OAAO,CAAC,EAAE;YAAE,OAAO,OAAO,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAC5E,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACvC,eAAe,GAAG,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC;IAC7C,CAAC;IACD,OAAO,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;AACzC,CAAC;AAED,SAAS,eAAe,CACtB,MAA0B,EAC1B,MAA4B;IAE5B,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;IAC/D,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC1D,MAAM,OAAO,GAAiB,EAAE,CAAC;IACjC,IAAI,QAAiF,CAAC;IACtF,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;QAC9C,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;QACzD,IAAI,CAAC,MAAM,CAAC,EAAE;YAAE,OAAO,MAAM,CAAC;QAC9B,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC;QAC7B,MAAM,GAAG,GAAG,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;QACzE,IAAI,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;YACxB,OAAO,OAAO,CAAC,aAAa,KAAK,MAAM,EAAE,iCAAiC,EAAE,WAAW,CAAC,CAAC;QAC3F,CAAC;QACD,IACE,QAAQ,KAAK,SAAS;YACtB,CAAC,WAAW,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC;gBACjD,CAAC,QAAQ,CAAC,OAAO,KAAK,OAAO,CAAC,OAAO,IAAI,WAAW,CAAC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EACtF,CAAC;YACD,OAAO,OAAO,CAAC,aAAa,KAAK,GAAG,EAAE,gDAAgD,CAAC,CAAC;QAC1F,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACpB,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QAC7C,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACtB,QAAQ,GAAG,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC;IAC1D,CAAC;IACD,OAAO,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;AAC1C,CAAC;AAED,SAAS,iBAAiB,CACxB,KAAc,EACd,KAAa,EACb,QAA6B;IAE7B,MAAM,MAAM,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC3C,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,SAAS,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QAC1E,OAAO,OAAO,CAAC,aAAa,KAAK,GAAG,EAAE,4BAA4B,CAAC,CAAC;IACtE,IACE,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ;QAClC,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC;QAC7B,OAAO,MAAM,CAAC,EAAE,KAAK,QAAQ;QAC7B,MAAM,CAAC,EAAE,CAAC,MAAM,KAAK,CAAC,EACtB,CAAC;QACD,OAAO,OAAO,CAAC,aAAa,KAAK,GAAG,EAAE,iCAAiC,EAAE,mBAAmB,CAAC,CAAC;IAChG,CAAC;IACD,MAAM,IAAI,GAAG,sBAAsB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACjD,OAAO,IAAI,KAAK,SAAS;QACvB,CAAC,CAAC,OAAO,CAAC,aAAa,KAAK,QAAQ,EAAE,6BAA6B,CAAC;QACpE,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AAChF,CAAC;AAED,SAAS,eAAe,CAAC,KAAc,EAAE,IAAY;IACnD,MAAM,OAAO,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC5C,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,OAAO,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAChE,OAAO,OAAO,CAAC,IAAI,EAAE,0BAA0B,CAAC,CAAC;IACnD,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ;QAC5D,OAAO,oBAAoB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC7C,IAAI,OAAO,CAAC,MAAM,KAAK,gBAAgB;QAAE,OAAO,4BAA4B,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC5F,IAAI,OAAO,CAAC,MAAM,KAAK,aAAa;QAAE,OAAO,0BAA0B,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACvF,OAAO,OAAO,CAAC,GAAG,IAAI,SAAS,EAAE,8BAA8B,CAAC,CAAC;AACnE,CAAC;AAED,SAAS,oBAAoB,CAC3B,OAA0C,EAC1C,IAAY;IAEZ,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC/D,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YAC5C,OAAO,OAAO,CAAC,IAAI,EAAE,6BAA6B,CAAC,CAAC;QACtD,MAAM,IAAI,GAAG,sBAAsB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAClD,OAAO,IAAI,KAAK,SAAS;YACvB,CAAC,CAAC,OAAO,CAAC,GAAG,IAAI,OAAO,EAAE,uBAAuB,CAAC;YAClD,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,OAAO,CAAC,GAAG,IAAI,SAAS,EAAE,8BAA8B,CAAC,CAAC;AACnE,CAAC;AAED,SAAS,4BAA4B,CACnC,OAA0C,EAC1C,IAAY;IAEZ,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;QACnD,OAAO,OAAO,CAAC,IAAI,EAAE,sCAAsC,CAAC,CAAC;IAC/D,MAAM,MAAM,GAAG,cAAc,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACrD,OAAO,MAAM,KAAK,IAAI;QACpB,CAAC,CAAC,OAAO,CAAC,GAAG,IAAI,SAAS,EAAE,kCAAkC,CAAC;QAC/D,CAAC,CAAC,QAAQ,CACN,MAAM,CAAC,MAAM,CACX,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,EAAE,CAC3F,CACF,CAAC;AACR,CAAC;AAED,SAAS,0BAA0B,CACjC,OAA0C,EAC1C,IAAY;IAEZ,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAC9C,OAAO,OAAO,CAAC,IAAI,EAAE,mCAAmC,CAAC,CAAC;IAC5D,MAAM,MAAM,GAAG,cAAc,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACpD,OAAO,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,SAAS;QAC5C,CAAC,CAAC,OAAO,CAAC,GAAG,IAAI,SAAS,EAAE,+BAA+B,CAAC;QAC5D,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,cAAc,CACrB,KAAc,EACd,aAAsB;IAEtB,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC1C,MAAM,MAAM,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC3C,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,aAAa,CAAC;QAAE,OAAO,IAAI,CAAC;IACxD,IAAI,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC;IACvF,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IACpF,MAAM,kBAAkB,GAAG,wBAAwB,CAAC,MAAM,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;IACpF,IAAI,kBAAkB,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAClD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC;AAC3F,CAAC;AAED,SAAS,cAAc,CACrB,KAAoD,EACpD,aAAsB;IAEtB,OAAO,CACL,KAAK,KAAK,SAAS;QACnB,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ;QAC9B,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;QACrB,eAAe,CAAC,KAAK,EAAE,CAAC,MAAM,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CACpE,CAAC;AACJ,CAAC;AAED,SAAS,wBAAwB,CAC/B,KAAc,EACd,aAAsB;IAEtB,MAAM,QAAQ,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAC5C,IACE,CAAC,aAAa;QACd,QAAQ,KAAK,SAAS;QACtB,QAAQ,CAAC,MAAM,KAAK,CAAC;QACrB,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,0BAA0B,CAAC,OAAO,CAAC,CAAC;QAE/F,OAAO,SAAS,CAAC;IACnB,MAAM,kBAAkB,GAAa,EAAE,CAAC;IACxC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IAAI,OAAO,OAAO,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QAClD,kBAAkB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,YAAY,CAAC,KAAwC,EAAE,IAAuB;IACrF,OAAO,CACL,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAC5F,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CACtB,KAAwC,EACxC,QAA2B,EAC3B,QAA2B;IAE3B,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,QAAQ,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC;IACtD,OAAO,CACL,QAAQ,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAClD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CACtD,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAI,KAAQ;IAC3B,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,OAAO,CACd,IAAY,EACZ,OAAe,EACf,IAAI,GAA4B,eAAe;IAE/C,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAA2B,CAAC;IAC/E,MAAM,MAAM,GAAqD,CAAC,KAAK,CAAC,CAAC;IACzE,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,EAAE,EAAE,KAAK;QACT,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;KAC9B,CAAC,CAAC;AACL,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,KAAa;IAC9C,IAAI,IAAI,GAAG,KAAK;QAAE,OAAO,CAAC,CAAC,CAAC;IAC5B,IAAI,IAAI,GAAG,KAAK;QAAE,OAAO,CAAC,CAAC;IAC3B,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,0BAA0B,CAAC,KAAa;IAC/C,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;AAC1B,CAAC","sourcesContent":["import { canonicalizeJsonObject } from \"../data-boundary/canonical-data.ts\";\nimport type { CheckOutcome } from \"../check/check.ts\";\nimport { validateCheckDescriptor } from \"../check/descriptor-validation.ts\";\nimport type { CoreCheck, CoreRecord, CoreSnapshot } from \"./facts.ts\";\nimport { snapshotClosedArray, snapshotClosedRecord } from \"../data-boundary/closed-values.ts\";\n\nexport interface ValidationIssue {\n  readonly path: string;\n  readonly code:\n    | \"duplicate\"\n    | \"identity-mismatch\"\n    | \"invalid-value\"\n    | \"missing-field\"\n    | \"unknown-field\";\n  readonly message: string;\n}\n\nexport type ValidationResult<T> = Readonly<\n  | { readonly ok: true; readonly value: T }\n  | { readonly ok: false; readonly issues: readonly [ValidationIssue, ...ValidationIssue[]] }\n>;\n\nexport function validateCoreSnapshot(value: unknown): ValidationResult<CoreSnapshot> {\n  const snapshot = snapshotClosedRecord(value);\n  if (snapshot === undefined || !hasExactKeys(snapshot, [\"checks\", \"records\"])) {\n    return invalid(\"$\", \"Core snapshot must contain only checks and records\");\n  }\n  const checksInput = snapshotClosedArray(snapshot.checks);\n  const recordsInput = snapshotClosedArray(snapshot.records);\n  if (checksInput === undefined || recordsInput === undefined) {\n    return invalid(\"$\", \"Core snapshot entities must be dense arrays\");\n  }\n  const checks = validateChecks(checksInput);\n  if (!checks.ok) return checks;\n  const reasonReferences = validateReasonReferences(checks.value);\n  if (!reasonReferences.ok) return reasonReferences;\n  const records = validateRecords(recordsInput, checks.value);\n  if (!records.ok) return records;\n  return accepted(Object.freeze({ checks: checks.value, records: records.value }));\n}\n\nfunction validateReasonReferences(checks: readonly CoreCheck[]): ValidationResult<void> {\n  const knownCheckIds = new Set(checks.map((check) => check.checkId));\n  for (const [index, check] of checks.entries()) {\n    if (check.outcome.status !== \"unavailable\" || check.outcome.reason.checkIds === undefined)\n      continue;\n    const seen = new Set<string>();\n    for (const checkId of check.outcome.reason.checkIds) {\n      if (!knownCheckIds.has(checkId) || seen.has(checkId))\n        return invalid(\n          `$.checks[${index}].outcome.reason.checkIds`,\n          \"Unavailable reason references are invalid\"\n        );\n      seen.add(checkId);\n    }\n  }\n  return accepted(undefined);\n}\n\nfunction validateChecks(values: readonly unknown[]): ValidationResult<readonly CoreCheck[]> {\n  const checks: CoreCheck[] = [];\n  const checkIds = new Set<string>();\n  let previousCheckId: string | undefined;\n  for (const [index, value] of values.entries()) {\n    const check = snapshotClosedRecord(value);\n    if (check === undefined || !hasExactKeys(check, [\"checkId\", \"displayName\", \"outcome\"])) {\n      return invalid(`$.checks[${index}]`, \"Core Check must be closed\");\n    }\n    const definition = validateCheckDescriptor({\n      checkId: check.checkId,\n      displayName: check.displayName\n    });\n    if (!definition.ok) return definition;\n    if (checkIds.has(definition.value.checkId)) {\n      return invalid(`$.checks[${index}].checkId`, \"Duplicate Core Check checkId\", \"duplicate\");\n    }\n    if (\n      previousCheckId !== undefined &&\n      compareText(previousCheckId, definition.value.checkId) >= 0\n    ) {\n      return invalid(`$.checks[${index}].checkId`, \"Core Checks must be sorted by checkId\");\n    }\n    const outcome = validateOutcome(check.outcome, `$.checks[${index}].outcome`);\n    if (!outcome.ok) return outcome;\n    checks.push(Object.freeze({ ...definition.value, outcome: outcome.value }));\n    checkIds.add(definition.value.checkId);\n    previousCheckId = definition.value.checkId;\n  }\n  return accepted(Object.freeze(checks));\n}\n\nfunction validateRecords(\n  values: readonly unknown[],\n  checks: readonly CoreCheck[]\n): ValidationResult<readonly CoreRecord[]> {\n  const ownerIds = new Set(checks.map((check) => check.checkId));\n  const recordIdsByCheckId = new Map<string, Set<string>>();\n  const records: CoreRecord[] = [];\n  let previous: Readonly<{ readonly checkId: string; readonly id: string }> | undefined;\n  for (const [index, value] of values.entries()) {\n    const record = validateRecordRow(value, index, ownerIds);\n    if (!record.ok) return record;\n    const current = record.value;\n    const ids = recordIdsByCheckId.get(current.checkId) ?? new Set<string>();\n    if (ids.has(current.id)) {\n      return invalid(`$.records[${index}].id`, \"Duplicate Check-local Record id\", \"duplicate\");\n    }\n    if (\n      previous !== undefined &&\n      (compareText(previous.checkId, current.checkId) > 0 ||\n        (previous.checkId === current.checkId && compareText(previous.id, current.id) >= 0))\n    ) {\n      return invalid(`$.records[${index}]`, \"Core Records must be sorted by checkId then id\");\n    }\n    ids.add(current.id);\n    recordIdsByCheckId.set(current.checkId, ids);\n    records.push(current);\n    previous = { checkId: current.checkId, id: current.id };\n  }\n  return accepted(Object.freeze(records));\n}\n\nfunction validateRecordRow(\n  value: unknown,\n  index: number,\n  ownerIds: ReadonlySet<string>\n): ValidationResult<CoreRecord> {\n  const record = snapshotClosedRecord(value);\n  if (record === undefined || !hasExactKeys(record, [\"checkId\", \"id\", \"data\"]))\n    return invalid(`$.records[${index}]`, \"Core Record must be closed\");\n  if (\n    typeof record.checkId !== \"string\" ||\n    !ownerIds.has(record.checkId) ||\n    typeof record.id !== \"string\" ||\n    record.id.length === 0\n  ) {\n    return invalid(`$.records[${index}]`, \"Core Record identity is invalid\", \"identity-mismatch\");\n  }\n  const data = canonicalizeJsonObject(record.data);\n  return data === undefined\n    ? invalid(`$.records[${index}].data`, \"Core Record data is invalid\")\n    : accepted(Object.freeze({ checkId: record.checkId, id: record.id, data }));\n}\n\nfunction validateOutcome(value: unknown, path: string): ValidationResult<CheckOutcome> {\n  const outcome = snapshotClosedRecord(value);\n  if (outcome === undefined || typeof outcome.status !== \"string\") {\n    return invalid(path, \"Check outcome is invalid\");\n  }\n  if (outcome.status === \"passed\" || outcome.status === \"failed\")\n    return validateFinalOutcome(outcome, path);\n  if (outcome.status === \"not-applicable\") return validateNotApplicableOutcome(outcome, path);\n  if (outcome.status === \"unavailable\") return validateUnavailableOutcome(outcome, path);\n  return invalid(`${path}.status`, \"Unknown Check outcome status\");\n}\n\nfunction validateFinalOutcome(\n  outcome: Readonly<Record<string, unknown>>,\n  path: string\n): ValidationResult<CheckOutcome> {\n  if (outcome.status === \"passed\" || outcome.status === \"failed\") {\n    if (!hasExactKeys(outcome, [\"status\", \"data\"]))\n      return invalid(path, \"Final outcome is not closed\");\n    const data = canonicalizeJsonObject(outcome.data);\n    return data === undefined\n      ? invalid(`${path}.data`, \"Final data is invalid\")\n      : accepted(Object.freeze({ status: outcome.status, data }));\n  }\n  return invalid(`${path}.status`, \"Unknown Check outcome status\");\n}\n\nfunction validateNotApplicableOutcome(\n  outcome: Readonly<Record<string, unknown>>,\n  path: string\n): ValidationResult<CheckOutcome> {\n  if (!hasOptionalKeys(outcome, [\"status\"], [\"reason\"]))\n    return invalid(path, \"Not-applicable outcome is not closed\");\n  const reason = validateReason(outcome.reason, false);\n  return reason === null\n    ? invalid(`${path}.reason`, \"Not-applicable reason is invalid\")\n    : accepted(\n        Object.freeze(\n          reason === undefined ? { status: \"not-applicable\" } : { status: \"not-applicable\", reason }\n        )\n      );\n}\n\nfunction validateUnavailableOutcome(\n  outcome: Readonly<Record<string, unknown>>,\n  path: string\n): ValidationResult<CheckOutcome> {\n  if (!hasExactKeys(outcome, [\"status\", \"reason\"]))\n    return invalid(path, \"Unavailable outcome is not closed\");\n  const reason = validateReason(outcome.reason, true);\n  return reason === null || reason === undefined\n    ? invalid(`${path}.reason`, \"Unavailable reason is invalid\")\n    : accepted(Object.freeze({ status: \"unavailable\", reason }));\n}\n\nfunction validateReason(\n  value: unknown,\n  allowCheckIds: boolean\n): Readonly<{ readonly code: string; readonly checkIds?: readonly string[] }> | null | undefined {\n  if (value === undefined) return undefined;\n  const reason = snapshotClosedRecord(value);\n  if (!isClosedReason(reason, allowCheckIds)) return null;\n  if (!hasOptionalKeys(reason, [\"code\"], allowCheckIds ? [\"checkIds\"] : [])) return null;\n  if (!Object.hasOwn(reason, \"checkIds\")) return Object.freeze({ code: reason.code });\n  const normalizedCheckIds = normalizedReasonCheckIds(reason.checkIds, allowCheckIds);\n  if (normalizedCheckIds === undefined) return null;\n  return Object.freeze({ code: reason.code, checkIds: Object.freeze(normalizedCheckIds) });\n}\n\nfunction isClosedReason(\n  value: Readonly<Record<string, unknown>> | undefined,\n  allowCheckIds: boolean\n): value is Readonly<Record<string, unknown>> & Readonly<{ readonly code: string }> {\n  return (\n    value !== undefined &&\n    typeof value.code === \"string\" &&\n    value.code.length > 0 &&\n    hasOptionalKeys(value, [\"code\"], allowCheckIds ? [\"checkIds\"] : [])\n  );\n}\n\nfunction normalizedReasonCheckIds(\n  value: unknown,\n  allowCheckIds: boolean\n): readonly string[] | undefined {\n  const checkIds = snapshotClosedArray(value);\n  if (\n    !allowCheckIds ||\n    checkIds === undefined ||\n    checkIds.length === 0 ||\n    checkIds.some((checkId) => typeof checkId !== \"string\" || !isSettlementCheckReference(checkId))\n  )\n    return undefined;\n  const normalizedCheckIds: string[] = [];\n  for (const checkId of checkIds) {\n    if (typeof checkId !== \"string\") return undefined;\n    normalizedCheckIds.push(checkId);\n  }\n  return Object.freeze(normalizedCheckIds);\n}\n\nfunction hasExactKeys(value: Readonly<Record<string, unknown>>, keys: readonly string[]): boolean {\n  return (\n    Object.keys(value).length === keys.length && keys.every((key) => Object.hasOwn(value, key))\n  );\n}\n\nfunction hasOptionalKeys(\n  value: Readonly<Record<string, unknown>>,\n  required: readonly string[],\n  optional: readonly string[]\n): boolean {\n  const supported = new Set([...required, ...optional]);\n  return (\n    required.every((key) => Object.hasOwn(value, key)) &&\n    Object.keys(value).every((key) => supported.has(key))\n  );\n}\n\nfunction accepted<T>(value: T): ValidationResult<T> {\n  return Object.freeze({ ok: true, value });\n}\n\nfunction invalid(\n  path: string,\n  message: string,\n  code: ValidationIssue[\"code\"] = \"invalid-value\"\n): ValidationResult<never> {\n  const issue = Object.freeze({ path, code, message }) satisfies ValidationIssue;\n  const issues: readonly [ValidationIssue, ...ValidationIssue[]] = [issue];\n  return Object.freeze({\n    ok: false,\n    issues: Object.freeze(issues)\n  });\n}\n\nfunction compareText(left: string, right: string): number {\n  if (left < right) return -1;\n  if (left > right) return 1;\n  return 0;\n}\n\nfunction isSettlementCheckReference(value: string): boolean {\n  return value.length > 0;\n}\n"]}
+{"version":3,"file":"fact-validation.mjs","sourceRoot":"","sources":["../../../src/check-settlement/fact-validation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAE5E,OAAO,EAAE,uBAAuB,EAAE,MAAM,mCAAmC,CAAC;AAE5E,OAAO,EACL,uBAAuB,EACvB,gCAAgC,EAChC,mBAAmB,EACnB,oBAAoB,EACrB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAkBxD,MAAM,UAAU,oBAAoB,CAAC,KAAc;IACjD,MAAM,QAAQ,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC7C,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,uBAAuB,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC;QACxF,OAAO,OAAO,CAAC,GAAG,EAAE,oDAAoD,CAAC,CAAC;IAC5E,CAAC;IACD,MAAM,WAAW,GAAG,mBAAmB,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACzD,MAAM,YAAY,GAAG,mBAAmB,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC3D,IAAI,WAAW,KAAK,SAAS,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QAC5D,OAAO,OAAO,CAAC,GAAG,EAAE,6CAA6C,CAAC,CAAC;IACrE,CAAC;IACD,MAAM,MAAM,GAAG,cAAc,CAAC,WAAW,CAAC,CAAC;IAC3C,IAAI,CAAC,MAAM,CAAC,EAAE;QAAE,OAAO,MAAM,CAAC;IAC9B,MAAM,gBAAgB,GAAG,wBAAwB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAChE,IAAI,CAAC,gBAAgB,CAAC,EAAE;QAAE,OAAO,gBAAgB,CAAC;IAClD,MAAM,OAAO,GAAG,eAAe,CAAC,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAC5D,IAAI,CAAC,OAAO,CAAC,EAAE;QAAE,OAAO,OAAO,CAAC;IAChC,OAAO,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;AACnF,CAAC;AAED,SAAS,wBAAwB,CAAC,MAA4B;IAC5D,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;IACpE,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;QAC9C,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,KAAK,aAAa,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS;YACvF,SAAS;QACX,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;YACpD,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC;gBAClD,OAAO,OAAO,CACZ,YAAY,KAAK,2BAA2B,EAC5C,2CAA2C,CAC5C,CAAC;YACJ,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC,SAAS,CAAC,CAAC;AAC7B,CAAC;AAED,SAAS,cAAc,CAAC,MAA0B;IAChD,MAAM,MAAM,GAAgB,EAAE,CAAC;IAC/B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,IAAI,eAAmC,CAAC;IACxC,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;QAC9C,MAAM,KAAK,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;QAC1C,IACE,KAAK,KAAK,SAAS;YACnB,CAAC,uBAAuB,CAAC,KAAK,EAAE,CAAC,SAAS,EAAE,aAAa,EAAE,SAAS,CAAC,CAAC,EACtE,CAAC;YACD,OAAO,OAAO,CAAC,YAAY,KAAK,GAAG,EAAE,2BAA2B,CAAC,CAAC;QACpE,CAAC;QACD,MAAM,UAAU,GAAG,uBAAuB,CAAC;YACzC,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,WAAW,EAAE,KAAK,CAAC,WAAW;SAC/B,CAAC,CAAC;QACH,IAAI,CAAC,UAAU,CAAC,EAAE;YAAE,OAAO,UAAU,CAAC;QACtC,IAAI,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3C,OAAO,OAAO,CAAC,YAAY,KAAK,WAAW,EAAE,8BAA8B,EAAE,WAAW,CAAC,CAAC;QAC5F,CAAC;QACD,IACE,eAAe,KAAK,SAAS;YAC7B,WAAW,CAAC,eAAe,EAAE,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAC3D,CAAC;YACD,OAAO,OAAO,CAAC,YAAY,KAAK,WAAW,EAAE,uCAAuC,CAAC,CAAC;QACxF,CAAC;QACD,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,OAAO,EAAE,YAAY,KAAK,WAAW,CAAC,CAAC;QAC7E,IAAI,CAAC,OAAO,CAAC,EAAE;YAAE,OAAO,OAAO,CAAC;QAChC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAC5E,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACvC,eAAe,GAAG,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC;IAC7C,CAAC;IACD,OAAO,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;AACzC,CAAC;AAED,SAAS,eAAe,CACtB,MAA0B,EAC1B,MAA4B;IAE5B,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;IAC/D,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC1D,MAAM,OAAO,GAAiB,EAAE,CAAC;IACjC,IAAI,QAAiF,CAAC;IACtF,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;QAC9C,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;QACzD,IAAI,CAAC,MAAM,CAAC,EAAE;YAAE,OAAO,MAAM,CAAC;QAC9B,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC;QAC7B,MAAM,GAAG,GAAG,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;QACzE,IAAI,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;YACxB,OAAO,OAAO,CAAC,aAAa,KAAK,MAAM,EAAE,iCAAiC,EAAE,WAAW,CAAC,CAAC;QAC3F,CAAC;QACD,IACE,QAAQ,KAAK,SAAS;YACtB,CAAC,WAAW,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC;gBACjD,CAAC,QAAQ,CAAC,OAAO,KAAK,OAAO,CAAC,OAAO,IAAI,WAAW,CAAC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EACtF,CAAC;YACD,OAAO,OAAO,CAAC,aAAa,KAAK,GAAG,EAAE,gDAAgD,CAAC,CAAC;QAC1F,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACpB,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QAC7C,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACtB,QAAQ,GAAG,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC;IAC1D,CAAC;IACD,OAAO,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;AAC1C,CAAC;AAED,SAAS,iBAAiB,CACxB,KAAc,EACd,KAAa,EACb,QAA6B;IAE7B,MAAM,MAAM,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC3C,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,uBAAuB,CAAC,MAAM,EAAE,CAAC,SAAS,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QACrF,OAAO,OAAO,CAAC,aAAa,KAAK,GAAG,EAAE,4BAA4B,CAAC,CAAC;IACtE,IACE,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ;QAClC,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC;QAC7B,OAAO,MAAM,CAAC,EAAE,KAAK,QAAQ;QAC7B,MAAM,CAAC,EAAE,CAAC,MAAM,KAAK,CAAC,EACtB,CAAC;QACD,OAAO,OAAO,CAAC,aAAa,KAAK,GAAG,EAAE,iCAAiC,EAAE,mBAAmB,CAAC,CAAC;IAChG,CAAC;IACD,MAAM,IAAI,GAAG,sBAAsB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACjD,OAAO,IAAI,KAAK,SAAS;QACvB,CAAC,CAAC,OAAO,CAAC,aAAa,KAAK,QAAQ,EAAE,6BAA6B,CAAC;QACpE,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AAChF,CAAC;AAED,SAAS,eAAe,CAAC,KAAc,EAAE,IAAY;IACnD,MAAM,OAAO,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC5C,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,OAAO,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAChE,OAAO,OAAO,CAAC,IAAI,EAAE,0BAA0B,CAAC,CAAC;IACnD,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ;QAC5D,OAAO,oBAAoB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC7C,IAAI,OAAO,CAAC,MAAM,KAAK,gBAAgB;QAAE,OAAO,4BAA4B,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC5F,IAAI,OAAO,CAAC,MAAM,KAAK,aAAa;QAAE,OAAO,0BAA0B,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACvF,OAAO,OAAO,CAAC,GAAG,IAAI,SAAS,EAAE,8BAA8B,CAAC,CAAC;AACnE,CAAC;AAED,SAAS,oBAAoB,CAC3B,OAA0C,EAC1C,IAAY;IAEZ,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC/D,IAAI,CAAC,uBAAuB,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;YACvD,OAAO,OAAO,CAAC,IAAI,EAAE,6BAA6B,CAAC,CAAC;QACtD,MAAM,IAAI,GAAG,sBAAsB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAClD,OAAO,IAAI,KAAK,SAAS;YACvB,CAAC,CAAC,OAAO,CAAC,GAAG,IAAI,OAAO,EAAE,uBAAuB,CAAC;YAClD,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,OAAO,CAAC,GAAG,IAAI,SAAS,EAAE,8BAA8B,CAAC,CAAC;AACnE,CAAC;AAED,SAAS,4BAA4B,CACnC,OAA0C,EAC1C,IAAY;IAEZ,IACE,CAAC,gCAAgC,CAAC,OAAO,EAAE;QACzC,QAAQ,EAAE,CAAC,QAAQ,CAAC;QACpB,QAAQ,EAAE,CAAC,QAAQ,CAAC;KACrB,CAAC;QAEF,OAAO,OAAO,CAAC,IAAI,EAAE,sCAAsC,CAAC,CAAC;IAC/D,MAAM,MAAM,GAAG,cAAc,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACrD,OAAO,MAAM,KAAK,IAAI;QACpB,CAAC,CAAC,OAAO,CAAC,GAAG,IAAI,SAAS,EAAE,kCAAkC,CAAC;QAC/D,CAAC,CAAC,QAAQ,CACN,MAAM,CAAC,MAAM,CACX,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,EAAE,CAC3F,CACF,CAAC;AACR,CAAC;AAED,SAAS,0BAA0B,CACjC,OAA0C,EAC1C,IAAY;IAEZ,IAAI,CAAC,uBAAuB,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QACzD,OAAO,OAAO,CAAC,IAAI,EAAE,mCAAmC,CAAC,CAAC;IAC5D,MAAM,MAAM,GAAG,cAAc,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACpD,OAAO,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,SAAS;QAC5C,CAAC,CAAC,OAAO,CAAC,GAAG,IAAI,SAAS,EAAE,+BAA+B,CAAC;QAC5D,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,cAAc,CACrB,KAAc,EACd,aAAsB;IAEtB,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC1C,MAAM,MAAM,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC3C,IAAI,CAAC,mBAAmB,CAAC,MAAM,EAAE,aAAa,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7D,IACE,CAAC,gCAAgC,CAAC,MAAM,EAAE;QACxC,QAAQ,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE;QAC3C,QAAQ,EAAE,CAAC,MAAM,CAAC;KACnB,CAAC;QAEF,OAAO,IAAI,CAAC;IACd,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IACpF,MAAM,kBAAkB,GAAG,wBAAwB,CAAC,MAAM,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;IACpF,IAAI,kBAAkB,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAClD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC;AAC3F,CAAC;AAED,SAAS,wBAAwB,CAC/B,KAAc,EACd,aAAsB;IAEtB,MAAM,QAAQ,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAC5C,IACE,CAAC,aAAa;QACd,QAAQ,KAAK,SAAS;QACtB,QAAQ,CAAC,MAAM,KAAK,CAAC;QACrB,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,0BAA0B,CAAC,OAAO,CAAC,CAAC;QAE/F,OAAO,SAAS,CAAC;IACnB,MAAM,kBAAkB,GAAa,EAAE,CAAC;IACxC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IAAI,OAAO,OAAO,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QAClD,kBAAkB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,QAAQ,CAAI,KAAQ;IAC3B,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,OAAO,CACd,IAAY,EACZ,OAAe,EACf,IAAI,GAA4B,eAAe;IAE/C,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAA2B,CAAC;IAC/E,MAAM,MAAM,GAAqD,CAAC,KAAK,CAAC,CAAC;IACzE,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,EAAE,EAAE,KAAK;QACT,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;KAC9B,CAAC,CAAC;AACL,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,KAAa;IAC9C,IAAI,IAAI,GAAG,KAAK;QAAE,OAAO,CAAC,CAAC,CAAC;IAC5B,IAAI,IAAI,GAAG,KAAK;QAAE,OAAO,CAAC,CAAC;IAC3B,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,0BAA0B,CAAC,KAAa;IAC/C,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;AAC1B,CAAC","sourcesContent":["import { canonicalizeJsonObject } from \"../data-boundary/canonical-data.ts\";\nimport type { CheckOutcome } from \"../check/check.ts\";\nimport { validateCheckDescriptor } from \"../check/descriptor-validation.ts\";\nimport type { CoreCheck, CoreRecord, CoreSnapshot } from \"./facts.ts\";\nimport {\n  hasExactPlainRecordKeys,\n  hasRequiredAndOptionalRecordKeys,\n  snapshotClosedArray,\n  snapshotClosedRecord\n} from \"../data-boundary/closed-values.ts\";\nimport { isClosedCheckReason } from \"./reason-shape.ts\";\n\nexport interface ValidationIssue {\n  readonly path: string;\n  readonly code:\n    | \"duplicate\"\n    | \"identity-mismatch\"\n    | \"invalid-value\"\n    | \"missing-field\"\n    | \"unknown-field\";\n  readonly message: string;\n}\n\nexport type ValidationResult<T> = Readonly<\n  | { readonly ok: true; readonly value: T }\n  | { readonly ok: false; readonly issues: readonly [ValidationIssue, ...ValidationIssue[]] }\n>;\n\nexport function validateCoreSnapshot(value: unknown): ValidationResult<CoreSnapshot> {\n  const snapshot = snapshotClosedRecord(value);\n  if (snapshot === undefined || !hasExactPlainRecordKeys(snapshot, [\"checks\", \"records\"])) {\n    return invalid(\"$\", \"Core snapshot must contain only checks and records\");\n  }\n  const checksInput = snapshotClosedArray(snapshot.checks);\n  const recordsInput = snapshotClosedArray(snapshot.records);\n  if (checksInput === undefined || recordsInput === undefined) {\n    return invalid(\"$\", \"Core snapshot entities must be dense arrays\");\n  }\n  const checks = validateChecks(checksInput);\n  if (!checks.ok) return checks;\n  const reasonReferences = validateReasonReferences(checks.value);\n  if (!reasonReferences.ok) return reasonReferences;\n  const records = validateRecords(recordsInput, checks.value);\n  if (!records.ok) return records;\n  return accepted(Object.freeze({ checks: checks.value, records: records.value }));\n}\n\nfunction validateReasonReferences(checks: readonly CoreCheck[]): ValidationResult<void> {\n  const knownCheckIds = new Set(checks.map((check) => check.checkId));\n  for (const [index, check] of checks.entries()) {\n    if (check.outcome.status !== \"unavailable\" || check.outcome.reason.checkIds === undefined)\n      continue;\n    const seen = new Set<string>();\n    for (const checkId of check.outcome.reason.checkIds) {\n      if (!knownCheckIds.has(checkId) || seen.has(checkId))\n        return invalid(\n          `$.checks[${index}].outcome.reason.checkIds`,\n          \"Unavailable reason references are invalid\"\n        );\n      seen.add(checkId);\n    }\n  }\n  return accepted(undefined);\n}\n\nfunction validateChecks(values: readonly unknown[]): ValidationResult<readonly CoreCheck[]> {\n  const checks: CoreCheck[] = [];\n  const checkIds = new Set<string>();\n  let previousCheckId: string | undefined;\n  for (const [index, value] of values.entries()) {\n    const check = snapshotClosedRecord(value);\n    if (\n      check === undefined ||\n      !hasExactPlainRecordKeys(check, [\"checkId\", \"displayName\", \"outcome\"])\n    ) {\n      return invalid(`$.checks[${index}]`, \"Core Check must be closed\");\n    }\n    const definition = validateCheckDescriptor({\n      checkId: check.checkId,\n      displayName: check.displayName\n    });\n    if (!definition.ok) return definition;\n    if (checkIds.has(definition.value.checkId)) {\n      return invalid(`$.checks[${index}].checkId`, \"Duplicate Core Check checkId\", \"duplicate\");\n    }\n    if (\n      previousCheckId !== undefined &&\n      compareText(previousCheckId, definition.value.checkId) >= 0\n    ) {\n      return invalid(`$.checks[${index}].checkId`, \"Core Checks must be sorted by checkId\");\n    }\n    const outcome = validateOutcome(check.outcome, `$.checks[${index}].outcome`);\n    if (!outcome.ok) return outcome;\n    checks.push(Object.freeze({ ...definition.value, outcome: outcome.value }));\n    checkIds.add(definition.value.checkId);\n    previousCheckId = definition.value.checkId;\n  }\n  return accepted(Object.freeze(checks));\n}\n\nfunction validateRecords(\n  values: readonly unknown[],\n  checks: readonly CoreCheck[]\n): ValidationResult<readonly CoreRecord[]> {\n  const ownerIds = new Set(checks.map((check) => check.checkId));\n  const recordIdsByCheckId = new Map<string, Set<string>>();\n  const records: CoreRecord[] = [];\n  let previous: Readonly<{ readonly checkId: string; readonly id: string }> | undefined;\n  for (const [index, value] of values.entries()) {\n    const record = validateRecordRow(value, index, ownerIds);\n    if (!record.ok) return record;\n    const current = record.value;\n    const ids = recordIdsByCheckId.get(current.checkId) ?? new Set<string>();\n    if (ids.has(current.id)) {\n      return invalid(`$.records[${index}].id`, \"Duplicate Check-local Record id\", \"duplicate\");\n    }\n    if (\n      previous !== undefined &&\n      (compareText(previous.checkId, current.checkId) > 0 ||\n        (previous.checkId === current.checkId && compareText(previous.id, current.id) >= 0))\n    ) {\n      return invalid(`$.records[${index}]`, \"Core Records must be sorted by checkId then id\");\n    }\n    ids.add(current.id);\n    recordIdsByCheckId.set(current.checkId, ids);\n    records.push(current);\n    previous = { checkId: current.checkId, id: current.id };\n  }\n  return accepted(Object.freeze(records));\n}\n\nfunction validateRecordRow(\n  value: unknown,\n  index: number,\n  ownerIds: ReadonlySet<string>\n): ValidationResult<CoreRecord> {\n  const record = snapshotClosedRecord(value);\n  if (record === undefined || !hasExactPlainRecordKeys(record, [\"checkId\", \"id\", \"data\"]))\n    return invalid(`$.records[${index}]`, \"Core Record must be closed\");\n  if (\n    typeof record.checkId !== \"string\" ||\n    !ownerIds.has(record.checkId) ||\n    typeof record.id !== \"string\" ||\n    record.id.length === 0\n  ) {\n    return invalid(`$.records[${index}]`, \"Core Record identity is invalid\", \"identity-mismatch\");\n  }\n  const data = canonicalizeJsonObject(record.data);\n  return data === undefined\n    ? invalid(`$.records[${index}].data`, \"Core Record data is invalid\")\n    : accepted(Object.freeze({ checkId: record.checkId, id: record.id, data }));\n}\n\nfunction validateOutcome(value: unknown, path: string): ValidationResult<CheckOutcome> {\n  const outcome = snapshotClosedRecord(value);\n  if (outcome === undefined || typeof outcome.status !== \"string\") {\n    return invalid(path, \"Check outcome is invalid\");\n  }\n  if (outcome.status === \"passed\" || outcome.status === \"failed\")\n    return validateFinalOutcome(outcome, path);\n  if (outcome.status === \"not-applicable\") return validateNotApplicableOutcome(outcome, path);\n  if (outcome.status === \"unavailable\") return validateUnavailableOutcome(outcome, path);\n  return invalid(`${path}.status`, \"Unknown Check outcome status\");\n}\n\nfunction validateFinalOutcome(\n  outcome: Readonly<Record<string, unknown>>,\n  path: string\n): ValidationResult<CheckOutcome> {\n  if (outcome.status === \"passed\" || outcome.status === \"failed\") {\n    if (!hasExactPlainRecordKeys(outcome, [\"status\", \"data\"]))\n      return invalid(path, \"Final outcome is not closed\");\n    const data = canonicalizeJsonObject(outcome.data);\n    return data === undefined\n      ? invalid(`${path}.data`, \"Final data is invalid\")\n      : accepted(Object.freeze({ status: outcome.status, data }));\n  }\n  return invalid(`${path}.status`, \"Unknown Check outcome status\");\n}\n\nfunction validateNotApplicableOutcome(\n  outcome: Readonly<Record<string, unknown>>,\n  path: string\n): ValidationResult<CheckOutcome> {\n  if (\n    !hasRequiredAndOptionalRecordKeys(outcome, {\n      optional: [\"reason\"],\n      required: [\"status\"]\n    })\n  )\n    return invalid(path, \"Not-applicable outcome is not closed\");\n  const reason = validateReason(outcome.reason, false);\n  return reason === null\n    ? invalid(`${path}.reason`, \"Not-applicable reason is invalid\")\n    : accepted(\n        Object.freeze(\n          reason === undefined ? { status: \"not-applicable\" } : { status: \"not-applicable\", reason }\n        )\n      );\n}\n\nfunction validateUnavailableOutcome(\n  outcome: Readonly<Record<string, unknown>>,\n  path: string\n): ValidationResult<CheckOutcome> {\n  if (!hasExactPlainRecordKeys(outcome, [\"status\", \"reason\"]))\n    return invalid(path, \"Unavailable outcome is not closed\");\n  const reason = validateReason(outcome.reason, true);\n  return reason === null || reason === undefined\n    ? invalid(`${path}.reason`, \"Unavailable reason is invalid\")\n    : accepted(Object.freeze({ status: \"unavailable\", reason }));\n}\n\nfunction validateReason(\n  value: unknown,\n  allowCheckIds: boolean\n): Readonly<{ readonly code: string; readonly checkIds?: readonly string[] }> | null | undefined {\n  if (value === undefined) return undefined;\n  const reason = snapshotClosedRecord(value);\n  if (!isClosedCheckReason(reason, allowCheckIds)) return null;\n  if (\n    !hasRequiredAndOptionalRecordKeys(reason, {\n      optional: allowCheckIds ? [\"checkIds\"] : [],\n      required: [\"code\"]\n    })\n  )\n    return null;\n  if (!Object.hasOwn(reason, \"checkIds\")) return Object.freeze({ code: reason.code });\n  const normalizedCheckIds = normalizedReasonCheckIds(reason.checkIds, allowCheckIds);\n  if (normalizedCheckIds === undefined) return null;\n  return Object.freeze({ code: reason.code, checkIds: Object.freeze(normalizedCheckIds) });\n}\n\nfunction normalizedReasonCheckIds(\n  value: unknown,\n  allowCheckIds: boolean\n): readonly string[] | undefined {\n  const checkIds = snapshotClosedArray(value);\n  if (\n    !allowCheckIds ||\n    checkIds === undefined ||\n    checkIds.length === 0 ||\n    checkIds.some((checkId) => typeof checkId !== \"string\" || !isSettlementCheckReference(checkId))\n  )\n    return undefined;\n  const normalizedCheckIds: string[] = [];\n  for (const checkId of checkIds) {\n    if (typeof checkId !== \"string\") return undefined;\n    normalizedCheckIds.push(checkId);\n  }\n  return Object.freeze(normalizedCheckIds);\n}\n\nfunction accepted<T>(value: T): ValidationResult<T> {\n  return Object.freeze({ ok: true, value });\n}\n\nfunction invalid(\n  path: string,\n  message: string,\n  code: ValidationIssue[\"code\"] = \"invalid-value\"\n): ValidationResult<never> {\n  const issue = Object.freeze({ path, code, message }) satisfies ValidationIssue;\n  const issues: readonly [ValidationIssue, ...ValidationIssue[]] = [issue];\n  return Object.freeze({\n    ok: false,\n    issues: Object.freeze(issues)\n  });\n}\n\nfunction compareText(left: string, right: string): number {\n  if (left < right) return -1;\n  if (left > right) return 1;\n  return 0;\n}\n\nfunction isSettlementCheckReference(value: string): boolean {\n  return value.length > 0;\n}\n"]}

package/dist/esm/check-settlement/facts.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"facts.mjs","sourceRoot":"","sources":["../../../src/check-settlement/facts.ts"],"names":[],"mappings":"","sourcesContent":["import type { CheckDescriptor } from \"../check/descriptor.ts\";\nimport type { CheckOutcome } from \"../check/check.ts\";\n\nexport type {\n  CanonicalJsonObject,\n  CanonicalJsonPrimitive,\n  CanonicalJsonValue\n} from \"../data-boundary/canonical-data.ts\";\nexport type { CheckDescriptor, CheckOutcome };\n\n/** A Core Check has exactly one terminal outcome and no execution bookkeeping. */\nexport interface CoreCheck extends CheckDescriptor {\n  readonly outcome: CheckOutcome;\n}\n\n/** A supplemental Record is owned by its structural `{ checkId, id }` identity. */\nexport interface CoreRecord {\n  readonly checkId: string;\n  readonly id: string;\n  readonly data: import(\"../data-boundary/canonical-data.ts\").CanonicalJsonObject;\n}\n\n/** The complete Product entity projection. Invocation metadata belongs to Run, not Core. */\nexport interface CoreSnapshot {\n  readonly checks: readonly CoreCheck[];\n  readonly records: readonly CoreRecord[];\n}\n"]}
+{"version":3,"file":"facts.mjs","sourceRoot":"","sources":["../../../src/check-settlement/facts.ts"],"names":[],"mappings":"","sourcesContent":["import type { CheckDescriptor } from \"../check/descriptor.ts\";\nimport type { CheckOutcome } from \"../check/check.ts\";\n\nexport type {\n  CanonicalJsonObject,\n  CanonicalJsonPrimitive,\n  CanonicalJsonValue\n} from \"../data-boundary/canonical-data.ts\";\nexport type { CheckDescriptor, CheckOutcome };\n\n/** Core Check 恰有一个 terminal outcome，不携带 execution bookkeeping。 */\nexport interface CoreCheck extends CheckDescriptor {\n  readonly outcome: CheckOutcome;\n}\n\n/** A supplemental Record is owned by its structural `{ checkId, id }` identity. */\nexport interface CoreRecord {\n  readonly checkId: string;\n  readonly id: string;\n  readonly data: import(\"../data-boundary/canonical-data.ts\").CanonicalJsonObject;\n}\n\n/** The complete Product entity projection. Invocation metadata belongs to Run, not Core. */\nexport interface CoreSnapshot {\n  readonly checks: readonly CoreCheck[];\n  readonly records: readonly CoreRecord[];\n}\n"]}

package/dist/esm/check-settlement/outcome-normalization.mjs

@@ -1,5 +1,6 @@
 import { canonicalizeJsonObject } from "../data-boundary/canonical-data.mjs";
-import { snapshotClosedArray, snapshotClosedRecord } from "../data-boundary/closed-values.mjs";
+import { hasExactPlainRecordKeys, hasRequiredAndOptionalRecordKeys, snapshotClosedArray, snapshotClosedRecord } from "../data-boundary/closed-values.mjs";
+import { isClosedCheckReason } from "./reason-shape.mjs";
 /** Normalizes one live Check terminal value before the settlement session commits it. */
 export function normalizeCheckOutcome(input) {
     const outcome = snapshotClosedRecord(input.value);
@@ -19,13 +20,16 @@ export function normalizeCheckOutcome(input) {
 function normalizeFinalOutcome(outcome) {
     if (outcome.status !== "passed" && outcome.status !== "failed")
         return undefined;
-    if (!hasExactKeys(outcome, ["status", "data"]))
+    if (!hasExactPlainRecordKeys(outcome, ["status", "data"]))
         return undefined;
     const data = canonicalizeJsonObject(outcome.data);
     return data === undefined ? undefined : Object.freeze({ status: outcome.status, data });
 }
 function normalizeNotApplicableOutcome(outcome, knownCheckIds) {
-    if (!hasOptionalKeys(outcome, ["status"], ["reason"]))
+    if (!hasRequiredAndOptionalRecordKeys(outcome, {
+        optional: ["reason"],
+        required: ["status"]
+    }))
         return undefined;
     if (outcome.reason === undefined)
         return Object.freeze({ status: "not-applicable" });
@@ -33,26 +37,20 @@ function normalizeNotApplicableOutcome(outcome, knownCheckIds) {
     return reason === undefined ? undefined : Object.freeze({ status: "not-applicable", reason });
 }
 function normalizeUnavailableOutcome(outcome, productOutcome, knownCheckIds) {
-    if (!hasExactKeys(outcome, ["status", "reason"]))
+    if (!hasExactPlainRecordKeys(outcome, ["status", "reason"]))
         return undefined;
     const reason = normalizeReason(outcome.reason, productOutcome, knownCheckIds);
     return reason === undefined ? undefined : Object.freeze({ status: "unavailable", reason });
 }
 function normalizeReason(value, allowCheckIds, knownCheckIds) {
     const reason = snapshotClosedRecord(value);
-    if (!isClosedSessionReason(reason, allowCheckIds))
+    if (!isClosedCheckReason(reason, allowCheckIds))
         return undefined;
     if (!Object.hasOwn(reason, "checkIds"))
         return Object.freeze({ code: reason.code });
     const checkIds = normalizedSessionReasonCheckIds(reason.checkIds, allowCheckIds, knownCheckIds);
     return checkIds === undefined ? undefined : Object.freeze({ code: reason.code, checkIds });
 }
-function isClosedSessionReason(value, allowCheckIds) {
-    return (value !== undefined &&
-        typeof value.code === "string" &&
-        value.code.length > 0 &&
-        hasOptionalKeys(value, ["code"], allowCheckIds ? ["checkIds"] : []));
-}
 function normalizedSessionReasonCheckIds(value, allowCheckIds, knownCheckIds) {
     const rawCheckIds = snapshotClosedArray(value);
     if (!allowCheckIds || rawCheckIds === undefined || rawCheckIds.length === 0)
@@ -69,12 +67,4 @@ function normalizedSessionReasonCheckIds(value, allowCheckIds, knownCheckIds) {
     }
     return Object.freeze(checkIds);
 }
-function hasExactKeys(value, keys) {
-    return (Object.keys(value).length === keys.length && keys.every((key) => Object.hasOwn(value, key)));
-}
-function hasOptionalKeys(value, required, optional) {
-    const supported = new Set([...required, ...optional]);
-    return (required.every((key) => Object.hasOwn(value, key)) &&
-        Object.keys(value).every((key) => supported.has(key)));
-}
 //# sourceMappingURL=outcome-normalization.mjs.map

package/dist/esm/check-settlement/outcome-normalization.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"outcome-normalization.mjs","sourceRoot":"","sources":["../../../src/check-settlement/outcome-normalization.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAC5E,OAAO,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AAQ9F,yFAAyF;AACzF,MAAM,UAAU,qBAAqB,CAAC,KAAgC;IACpE,MAAM,OAAO,GAAG,oBAAoB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAClD,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,OAAO,CAAC,MAAM,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAClF,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC/D,OAAO,qBAAqB,CAAC,OAAO,CAAC,CAAC;IACxC,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,gBAAgB,EAAE,CAAC;QACxC,OAAO,6BAA6B,CAAC,OAAO,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC;IACrE,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;QACrC,OAAO,2BAA2B,CAAC,OAAO,EAAE,KAAK,CAAC,cAAc,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC;IACzF,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,qBAAqB,CAC5B,OAA0C;IAE1C,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IACjF,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACjE,MAAM,IAAI,GAAG,sBAAsB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAClD,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AAC1F,CAAC;AAED,SAAS,6BAA6B,CACpC,OAA0C,EAC1C,aAAkC;IAElC,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACxE,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC,CAAC;IACrF,MAAM,MAAM,GAAG,eAAe,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,aAAa,CAAC,CAAC;IACrE,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,EAAE,CAAC,CAAC;AAChG,CAAC;AAED,SAAS,2BAA2B,CAClC,OAA0C,EAC1C,cAAuB,EACvB,aAAkC;IAElC,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACnE,MAAM,MAAM,GAAG,eAAe,CAAC,OAAO,CAAC,MAAM,EAAE,cAAc,EAAE,aAAa,CAAC,CAAC;IAC9E,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;AAC7F,CAAC;AAED,SAAS,eAAe,CACtB,KAAc,EACd,aAAsB,EACtB,aAAkC;IAElC,MAAM,MAAM,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC3C,IAAI,CAAC,qBAAqB,CAAC,MAAM,EAAE,aAAa,CAAC;QAAE,OAAO,SAAS,CAAC;IACpE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IACpF,MAAM,QAAQ,GAAG,+BAA+B,CAAC,MAAM,CAAC,QAAQ,EAAE,aAAa,EAAE,aAAa,CAAC,CAAC;IAChG,OAAO,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;AAC7F,CAAC;AAED,SAAS,qBAAqB,CAC5B,KAAoD,EACpD,aAAsB;IAEtB,OAAO,CACL,KAAK,KAAK,SAAS;QACnB,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ;QAC9B,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;QACrB,eAAe,CAAC,KAAK,EAAE,CAAC,MAAM,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CACpE,CAAC;AACJ,CAAC;AAED,SAAS,+BAA+B,CACtC,KAAc,EACd,aAAsB,EACtB,aAAkC;IAElC,MAAM,WAAW,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAC/C,IAAI,CAAC,aAAa,IAAI,WAAW,KAAK,SAAS,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9F,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,OAAO,IAAI,WAAW,EAAE,CAAC;QAClC,IACE,OAAO,OAAO,KAAK,QAAQ;YAC3B,OAAO,CAAC,MAAM,KAAK,CAAC;YACpB,CAAC,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC;YAC3B,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,EAC1B,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;AACjC,CAAC;AAED,SAAS,YAAY,CAAC,KAAwC,EAAE,IAAuB;IACrF,OAAO,CACL,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAC5F,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CACtB,KAAwC,EACxC,QAA2B,EAC3B,QAA2B;IAE3B,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,QAAQ,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC;IACtD,OAAO,CACL,QAAQ,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAClD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CACtD,CAAC;AACJ,CAAC","sourcesContent":["import type { CheckOutcome } from \"../check/check.ts\";\nimport { canonicalizeJsonObject } from \"../data-boundary/canonical-data.ts\";\nimport { snapshotClosedArray, snapshotClosedRecord } from \"../data-boundary/closed-values.ts\";\n\ninterface OutcomeNormalizationInput {\n  readonly knownCheckIds: ReadonlySet<string>;\n  readonly productOutcome: boolean;\n  readonly value: unknown;\n}\n\n/** Normalizes one live Check terminal value before the settlement session commits it. */\nexport function normalizeCheckOutcome(input: OutcomeNormalizationInput): CheckOutcome | undefined {\n  const outcome = snapshotClosedRecord(input.value);\n  if (outcome === undefined || typeof outcome.status !== \"string\") return undefined;\n  if (outcome.status === \"passed\" || outcome.status === \"failed\") {\n    return normalizeFinalOutcome(outcome);\n  }\n  if (outcome.status === \"not-applicable\") {\n    return normalizeNotApplicableOutcome(outcome, input.knownCheckIds);\n  }\n  if (outcome.status === \"unavailable\") {\n    return normalizeUnavailableOutcome(outcome, input.productOutcome, input.knownCheckIds);\n  }\n  return undefined;\n}\n\nfunction normalizeFinalOutcome(\n  outcome: Readonly<Record<string, unknown>>\n): CheckOutcome | undefined {\n  if (outcome.status !== \"passed\" && outcome.status !== \"failed\") return undefined;\n  if (!hasExactKeys(outcome, [\"status\", \"data\"])) return undefined;\n  const data = canonicalizeJsonObject(outcome.data);\n  return data === undefined ? undefined : Object.freeze({ status: outcome.status, data });\n}\n\nfunction normalizeNotApplicableOutcome(\n  outcome: Readonly<Record<string, unknown>>,\n  knownCheckIds: ReadonlySet<string>\n): CheckOutcome | undefined {\n  if (!hasOptionalKeys(outcome, [\"status\"], [\"reason\"])) return undefined;\n  if (outcome.reason === undefined) return Object.freeze({ status: \"not-applicable\" });\n  const reason = normalizeReason(outcome.reason, false, knownCheckIds);\n  return reason === undefined ? undefined : Object.freeze({ status: \"not-applicable\", reason });\n}\n\nfunction normalizeUnavailableOutcome(\n  outcome: Readonly<Record<string, unknown>>,\n  productOutcome: boolean,\n  knownCheckIds: ReadonlySet<string>\n): CheckOutcome | undefined {\n  if (!hasExactKeys(outcome, [\"status\", \"reason\"])) return undefined;\n  const reason = normalizeReason(outcome.reason, productOutcome, knownCheckIds);\n  return reason === undefined ? undefined : Object.freeze({ status: \"unavailable\", reason });\n}\n\nfunction normalizeReason(\n  value: unknown,\n  allowCheckIds: boolean,\n  knownCheckIds: ReadonlySet<string>\n): Readonly<{ readonly code: string; readonly checkIds?: readonly string[] }> | undefined {\n  const reason = snapshotClosedRecord(value);\n  if (!isClosedSessionReason(reason, allowCheckIds)) return undefined;\n  if (!Object.hasOwn(reason, \"checkIds\")) return Object.freeze({ code: reason.code });\n  const checkIds = normalizedSessionReasonCheckIds(reason.checkIds, allowCheckIds, knownCheckIds);\n  return checkIds === undefined ? undefined : Object.freeze({ code: reason.code, checkIds });\n}\n\nfunction isClosedSessionReason(\n  value: Readonly<Record<string, unknown>> | undefined,\n  allowCheckIds: boolean\n): value is Readonly<Record<string, unknown>> & Readonly<{ readonly code: string }> {\n  return (\n    value !== undefined &&\n    typeof value.code === \"string\" &&\n    value.code.length > 0 &&\n    hasOptionalKeys(value, [\"code\"], allowCheckIds ? [\"checkIds\"] : [])\n  );\n}\n\nfunction normalizedSessionReasonCheckIds(\n  value: unknown,\n  allowCheckIds: boolean,\n  knownCheckIds: ReadonlySet<string>\n): readonly string[] | undefined {\n  const rawCheckIds = snapshotClosedArray(value);\n  if (!allowCheckIds || rawCheckIds === undefined || rawCheckIds.length === 0) return undefined;\n  const checkIds: string[] = [];\n  for (const checkId of rawCheckIds) {\n    if (\n      typeof checkId !== \"string\" ||\n      checkId.length === 0 ||\n      !knownCheckIds.has(checkId) ||\n      checkIds.includes(checkId)\n    ) {\n      return undefined;\n    }\n    checkIds.push(checkId);\n  }\n  return Object.freeze(checkIds);\n}\n\nfunction hasExactKeys(value: Readonly<Record<string, unknown>>, keys: readonly string[]): boolean {\n  return (\n    Object.keys(value).length === keys.length && keys.every((key) => Object.hasOwn(value, key))\n  );\n}\n\nfunction hasOptionalKeys(\n  value: Readonly<Record<string, unknown>>,\n  required: readonly string[],\n  optional: readonly string[]\n): boolean {\n  const supported = new Set([...required, ...optional]);\n  return (\n    required.every((key) => Object.hasOwn(value, key)) &&\n    Object.keys(value).every((key) => supported.has(key))\n  );\n}\n"]}
+{"version":3,"file":"outcome-normalization.mjs","sourceRoot":"","sources":["../../../src/check-settlement/outcome-normalization.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAC5E,OAAO,EACL,uBAAuB,EACvB,gCAAgC,EAChC,mBAAmB,EACnB,oBAAoB,EACrB,MAAM,mCAAmC,CAAC;AAC3C,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAQxD,yFAAyF;AACzF,MAAM,UAAU,qBAAqB,CAAC,KAAgC;IACpE,MAAM,OAAO,GAAG,oBAAoB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAClD,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,OAAO,CAAC,MAAM,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAClF,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC/D,OAAO,qBAAqB,CAAC,OAAO,CAAC,CAAC;IACxC,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,gBAAgB,EAAE,CAAC;QACxC,OAAO,6BAA6B,CAAC,OAAO,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC;IACrE,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;QACrC,OAAO,2BAA2B,CAAC,OAAO,EAAE,KAAK,CAAC,cAAc,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC;IACzF,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,qBAAqB,CAC5B,OAA0C;IAE1C,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IACjF,IAAI,CAAC,uBAAuB,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5E,MAAM,IAAI,GAAG,sBAAsB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAClD,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AAC1F,CAAC;AAED,SAAS,6BAA6B,CACpC,OAA0C,EAC1C,aAAkC;IAElC,IACE,CAAC,gCAAgC,CAAC,OAAO,EAAE;QACzC,QAAQ,EAAE,CAAC,QAAQ,CAAC;QACpB,QAAQ,EAAE,CAAC,QAAQ,CAAC;KACrB,CAAC;QAEF,OAAO,SAAS,CAAC;IACnB,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,gBAAgB,EAAE,CAAC,CAAC;IACrF,MAAM,MAAM,GAAG,eAAe,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,aAAa,CAAC,CAAC;IACrE,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,EAAE,CAAC,CAAC;AAChG,CAAC;AAED,SAAS,2BAA2B,CAClC,OAA0C,EAC1C,cAAuB,EACvB,aAAkC;IAElC,IAAI,CAAC,uBAAuB,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9E,MAAM,MAAM,GAAG,eAAe,CAAC,OAAO,CAAC,MAAM,EAAE,cAAc,EAAE,aAAa,CAAC,CAAC;IAC9E,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;AAC7F,CAAC;AAED,SAAS,eAAe,CACtB,KAAc,EACd,aAAsB,EACtB,aAAkC;IAElC,MAAM,MAAM,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC3C,IAAI,CAAC,mBAAmB,CAAC,MAAM,EAAE,aAAa,CAAC;QAAE,OAAO,SAAS,CAAC;IAClE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IACpF,MAAM,QAAQ,GAAG,+BAA+B,CAAC,MAAM,CAAC,QAAQ,EAAE,aAAa,EAAE,aAAa,CAAC,CAAC;IAChG,OAAO,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;AAC7F,CAAC;AAED,SAAS,+BAA+B,CACtC,KAAc,EACd,aAAsB,EACtB,aAAkC;IAElC,MAAM,WAAW,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAC/C,IAAI,CAAC,aAAa,IAAI,WAAW,KAAK,SAAS,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC9F,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,OAAO,IAAI,WAAW,EAAE,CAAC;QAClC,IACE,OAAO,OAAO,KAAK,QAAQ;YAC3B,OAAO,CAAC,MAAM,KAAK,CAAC;YACpB,CAAC,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC;YAC3B,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,EAC1B,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;AACjC,CAAC","sourcesContent":["import type { CheckOutcome } from \"../check/check.ts\";\nimport { canonicalizeJsonObject } from \"../data-boundary/canonical-data.ts\";\nimport {\n  hasExactPlainRecordKeys,\n  hasRequiredAndOptionalRecordKeys,\n  snapshotClosedArray,\n  snapshotClosedRecord\n} from \"../data-boundary/closed-values.ts\";\nimport { isClosedCheckReason } from \"./reason-shape.ts\";\n\ninterface OutcomeNormalizationInput {\n  readonly knownCheckIds: ReadonlySet<string>;\n  readonly productOutcome: boolean;\n  readonly value: unknown;\n}\n\n/** Normalizes one live Check terminal value before the settlement session commits it. */\nexport function normalizeCheckOutcome(input: OutcomeNormalizationInput): CheckOutcome | undefined {\n  const outcome = snapshotClosedRecord(input.value);\n  if (outcome === undefined || typeof outcome.status !== \"string\") return undefined;\n  if (outcome.status === \"passed\" || outcome.status === \"failed\") {\n    return normalizeFinalOutcome(outcome);\n  }\n  if (outcome.status === \"not-applicable\") {\n    return normalizeNotApplicableOutcome(outcome, input.knownCheckIds);\n  }\n  if (outcome.status === \"unavailable\") {\n    return normalizeUnavailableOutcome(outcome, input.productOutcome, input.knownCheckIds);\n  }\n  return undefined;\n}\n\nfunction normalizeFinalOutcome(\n  outcome: Readonly<Record<string, unknown>>\n): CheckOutcome | undefined {\n  if (outcome.status !== \"passed\" && outcome.status !== \"failed\") return undefined;\n  if (!hasExactPlainRecordKeys(outcome, [\"status\", \"data\"])) return undefined;\n  const data = canonicalizeJsonObject(outcome.data);\n  return data === undefined ? undefined : Object.freeze({ status: outcome.status, data });\n}\n\nfunction normalizeNotApplicableOutcome(\n  outcome: Readonly<Record<string, unknown>>,\n  knownCheckIds: ReadonlySet<string>\n): CheckOutcome | undefined {\n  if (\n    !hasRequiredAndOptionalRecordKeys(outcome, {\n      optional: [\"reason\"],\n      required: [\"status\"]\n    })\n  )\n    return undefined;\n  if (outcome.reason === undefined) return Object.freeze({ status: \"not-applicable\" });\n  const reason = normalizeReason(outcome.reason, false, knownCheckIds);\n  return reason === undefined ? undefined : Object.freeze({ status: \"not-applicable\", reason });\n}\n\nfunction normalizeUnavailableOutcome(\n  outcome: Readonly<Record<string, unknown>>,\n  productOutcome: boolean,\n  knownCheckIds: ReadonlySet<string>\n): CheckOutcome | undefined {\n  if (!hasExactPlainRecordKeys(outcome, [\"status\", \"reason\"])) return undefined;\n  const reason = normalizeReason(outcome.reason, productOutcome, knownCheckIds);\n  return reason === undefined ? undefined : Object.freeze({ status: \"unavailable\", reason });\n}\n\nfunction normalizeReason(\n  value: unknown,\n  allowCheckIds: boolean,\n  knownCheckIds: ReadonlySet<string>\n): Readonly<{ readonly code: string; readonly checkIds?: readonly string[] }> | undefined {\n  const reason = snapshotClosedRecord(value);\n  if (!isClosedCheckReason(reason, allowCheckIds)) return undefined;\n  if (!Object.hasOwn(reason, \"checkIds\")) return Object.freeze({ code: reason.code });\n  const checkIds = normalizedSessionReasonCheckIds(reason.checkIds, allowCheckIds, knownCheckIds);\n  return checkIds === undefined ? undefined : Object.freeze({ code: reason.code, checkIds });\n}\n\nfunction normalizedSessionReasonCheckIds(\n  value: unknown,\n  allowCheckIds: boolean,\n  knownCheckIds: ReadonlySet<string>\n): readonly string[] | undefined {\n  const rawCheckIds = snapshotClosedArray(value);\n  if (!allowCheckIds || rawCheckIds === undefined || rawCheckIds.length === 0) return undefined;\n  const checkIds: string[] = [];\n  for (const checkId of rawCheckIds) {\n    if (\n      typeof checkId !== \"string\" ||\n      checkId.length === 0 ||\n      !knownCheckIds.has(checkId) ||\n      checkIds.includes(checkId)\n    ) {\n      return undefined;\n    }\n    checkIds.push(checkId);\n  }\n  return Object.freeze(checkIds);\n}\n"]}

package/dist/esm/check-settlement/reason-shape.mjs

@@ -0,0 +1,12 @@
+import { hasRequiredAndOptionalRecordKeys } from "../data-boundary/closed-values.mjs";
+/** Recognizes the shared closed reason shape before owner-specific ID validation. */
+export function isClosedCheckReason(value, allowCheckIds) {
+    return (value !== undefined &&
+        typeof value.code === "string" &&
+        value.code.length > 0 &&
+        hasRequiredAndOptionalRecordKeys(value, {
+            optional: allowCheckIds ? ["checkIds"] : [],
+            required: ["code"]
+        }));
+}
+//# sourceMappingURL=reason-shape.mjs.map

package/dist/esm/check-settlement/reason-shape.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"reason-shape.mjs","sourceRoot":"","sources":["../../../src/check-settlement/reason-shape.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gCAAgC,EAAE,MAAM,mCAAmC,CAAC;AAKrF,qFAAqF;AACrF,MAAM,UAAU,mBAAmB,CACjC,KAAoD,EACpD,aAAsB;IAEtB,OAAO,CACL,KAAK,KAAK,SAAS;QACnB,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ;QAC9B,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;QACrB,gCAAgC,CAAC,KAAK,EAAE;YACtC,QAAQ,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE;YAC3C,QAAQ,EAAE,CAAC,MAAM,CAAC;SACnB,CAAC,CACH,CAAC;AACJ,CAAC","sourcesContent":["import { hasRequiredAndOptionalRecordKeys } from \"../data-boundary/closed-values.ts\";\n\nexport type ClosedCheckReason = Readonly<Record<string, unknown>> &\n  Readonly<{ readonly code: string }>;\n\n/** Recognizes the shared closed reason shape before owner-specific ID validation. */\nexport function isClosedCheckReason(\n  value: Readonly<Record<string, unknown>> | undefined,\n  allowCheckIds: boolean\n): value is ClosedCheckReason {\n  return (\n    value !== undefined &&\n    typeof value.code === \"string\" &&\n    value.code.length > 0 &&\n    hasRequiredAndOptionalRecordKeys(value, {\n      optional: allowCheckIds ? [\"checkIds\"] : [],\n      required: [\"code\"]\n    })\n  );\n}\n"]}

package/dist/esm/check-settlement/record-store.mjs

@@ -1,6 +1,7 @@
 import { canonicalizeJsonObject } from "../data-boundary/canonical-data.mjs";
 import { snapshotClosedRecord } from "../data-boundary/closed-values.mjs";
-/** Holds one Check's minimal Records without inventing a composite string identity. */
+const EMPTY_RECORDS = Object.freeze([]);
+/** Holds Check-local supplemental Records without inventing a composite string identity. */
 export class CoreRecordStore {
     #recordsByCheckId = new Map();
     report(slot, rawIdentity, rawData) {
@@ -8,31 +9,27 @@ export class CoreRecordStore {
         const data = canonicalizeJsonObject(rawData);
         if (id === undefined || data === undefined)
             return this.#reject(slot, "record-invalid");
-        if (slot.recordIds.has(id))
-            return this.#reject(slot, "record-conflict");
-        const record = Object.freeze({ checkId: slot.checkId, id, data });
         let records = this.#recordsByCheckId.get(slot.checkId);
+        if (records?.has(id) === true)
+            return this.#reject(slot, "record-conflict");
         if (records === undefined) {
             records = new Map();
             this.#recordsByCheckId.set(slot.checkId, records);
         }
+        const record = Object.freeze({ checkId: slot.checkId, id, data });
         records.set(id, record);
-        slot.recordIds.add(id);
         return "committed";
     }
+    recordsForCheckInCanonicalOrder(checkId) {
+        const recordsById = this.#recordsByCheckId.get(checkId);
+        if (recordsById === undefined)
+            return EMPTY_RECORDS;
+        return Object.freeze([...recordsById.values()].sort((left, right) => compareText(left.id, right.id)));
+    }
     recordsInCanonicalOrder() {
-        const records = [];
-        for (const checkId of [...this.#recordsByCheckId.keys()].sort(compareText)) {
-            const byId = this.#recordsByCheckId.get(checkId);
-            if (byId === undefined)
-                continue;
-            for (const id of [...byId.keys()].sort(compareText)) {
-                const record = byId.get(id);
-                if (record !== undefined)
-                    records.push(record);
-            }
-        }
-        return Object.freeze(records);
+        return Object.freeze([...this.#recordsByCheckId.keys()]
+            .sort(compareText)
+            .flatMap((checkId) => this.recordsForCheckInCanonicalOrder(checkId)));
     }
     #reject(slot, diagnostic) {
         slot.diagnostics.add(diagnostic);

package/dist/esm/check-settlement/record-store.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"record-store.mjs","sourceRoot":"","sources":["../../../src/check-settlement/record-store.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAE5E,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AAWzE,uFAAuF;AACvF,MAAM,OAAO,eAAe;IACjB,iBAAiB,GAAG,IAAI,GAAG,EAAmC,CAAC;IAEjE,MAAM,CACX,IAAoB,EACpB,WAAoB,EACpB,OAAgB;QAEhB,MAAM,EAAE,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC;QACjC,MAAM,IAAI,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAC;QAC7C,IAAI,EAAE,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;QACxF,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;QAEzE,MAAM,MAAM,GAAe,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9E,IAAI,OAAO,GAAG,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACvD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,OAAO,GAAG,IAAI,GAAG,EAAsB,CAAC;YACxC,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACpD,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACxB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACvB,OAAO,WAAW,CAAC;IACrB,CAAC;IAEM,uBAAuB;QAC5B,MAAM,OAAO,GAAiB,EAAE,CAAC;QACjC,KAAK,MAAM,OAAO,IAAI,CAAC,GAAG,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;YAC3E,MAAM,IAAI,GAAG,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACjD,IAAI,IAAI,KAAK,SAAS;gBAAE,SAAS;YACjC,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;gBACpD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBAC5B,IAAI,MAAM,KAAK,SAAS;oBAAE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACjD,CAAC;QACH,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAChC,CAAC;IAED,OAAO,CAAC,IAAoB,EAAE,UAA4B;QACxD,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACjC,OAAO,UAAU,CAAC;IACpB,CAAC;CACF;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,MAAM,QAAQ,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC7C,OAAO,QAAQ,KAAK,SAAS;QAC3B,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,KAAK,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC;QAC7B,OAAO,QAAQ,CAAC,EAAE,KAAK,QAAQ;QAC/B,QAAQ,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC;QACtB,CAAC,CAAC,QAAQ,CAAC,EAAE;QACb,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,KAAa;IAC9C,IAAI,IAAI,GAAG,KAAK;QAAE,OAAO,CAAC,CAAC,CAAC;IAC5B,IAAI,IAAI,GAAG,KAAK;QAAE,OAAO,CAAC,CAAC;IAC3B,OAAO,CAAC,CAAC;AACX,CAAC","sourcesContent":["import { canonicalizeJsonObject } from \"../data-boundary/canonical-data.ts\";\nimport type { CoreRecord } from \"./facts.ts\";\nimport { snapshotClosedRecord } from \"../data-boundary/closed-values.ts\";\n\nexport type RecordSubmissionResult = \"committed\" | \"rejected\";\nexport type RecordDiagnostic = \"record-conflict\" | \"record-invalid\";\n\nexport interface CoreRecordSlot {\n  readonly checkId: string;\n  readonly diagnostics: Set<RecordDiagnostic>;\n  readonly recordIds: Set<string>;\n}\n\n/** Holds one Check's minimal Records without inventing a composite string identity. */\nexport class CoreRecordStore {\n  readonly #recordsByCheckId = new Map<string, Map<string, CoreRecord>>();\n\n  public report(\n    slot: CoreRecordSlot,\n    rawIdentity: unknown,\n    rawData: unknown\n  ): RecordSubmissionResult {\n    const id = recordId(rawIdentity);\n    const data = canonicalizeJsonObject(rawData);\n    if (id === undefined || data === undefined) return this.#reject(slot, \"record-invalid\");\n    if (slot.recordIds.has(id)) return this.#reject(slot, \"record-conflict\");\n\n    const record: CoreRecord = Object.freeze({ checkId: slot.checkId, id, data });\n    let records = this.#recordsByCheckId.get(slot.checkId);\n    if (records === undefined) {\n      records = new Map<string, CoreRecord>();\n      this.#recordsByCheckId.set(slot.checkId, records);\n    }\n    records.set(id, record);\n    slot.recordIds.add(id);\n    return \"committed\";\n  }\n\n  public recordsInCanonicalOrder(): readonly CoreRecord[] {\n    const records: CoreRecord[] = [];\n    for (const checkId of [...this.#recordsByCheckId.keys()].sort(compareText)) {\n      const byId = this.#recordsByCheckId.get(checkId);\n      if (byId === undefined) continue;\n      for (const id of [...byId.keys()].sort(compareText)) {\n        const record = byId.get(id);\n        if (record !== undefined) records.push(record);\n      }\n    }\n    return Object.freeze(records);\n  }\n\n  #reject(slot: CoreRecordSlot, diagnostic: RecordDiagnostic): \"rejected\" {\n    slot.diagnostics.add(diagnostic);\n    return \"rejected\";\n  }\n}\n\nfunction recordId(value: unknown): string | undefined {\n  const identity = snapshotClosedRecord(value);\n  return identity !== undefined &&\n    Object.keys(identity).length === 1 &&\n    Object.hasOwn(identity, \"id\") &&\n    typeof identity.id === \"string\" &&\n    identity.id.length > 0\n    ? identity.id\n    : undefined;\n}\n\nfunction compareText(left: string, right: string): number {\n  if (left < right) return -1;\n  if (left > right) return 1;\n  return 0;\n}\n"]}
+{"version":3,"file":"record-store.mjs","sourceRoot":"","sources":["../../../src/check-settlement/record-store.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAE5E,OAAO,EAAE,oBAAoB,EAAE,MAAM,mCAAmC,CAAC;AAIzE,MAAM,aAAa,GAA0B,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AAQ/D,4FAA4F;AAC5F,MAAM,OAAO,eAAe;IACjB,iBAAiB,GAAG,IAAI,GAAG,EAAmC,CAAC;IAEjE,MAAM,CACX,IAAoB,EACpB,WAAoB,EACpB,OAAgB;QAEhB,MAAM,EAAE,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC;QACjC,MAAM,IAAI,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAC;QAC7C,IAAI,EAAE,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;QAExF,IAAI,OAAO,GAAG,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACvD,IAAI,OAAO,EAAE,GAAG,CAAC,EAAE,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;QAC5E,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,OAAO,GAAG,IAAI,GAAG,EAAsB,CAAC;YACxC,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACpD,CAAC;QACD,MAAM,MAAM,GAAe,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9E,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACxB,OAAO,WAAW,CAAC;IACrB,CAAC;IAEM,+BAA+B,CAAC,OAAe;QACpD,MAAM,WAAW,GAAG,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACxD,IAAI,WAAW,KAAK,SAAS;YAAE,OAAO,aAAa,CAAC;QACpD,OAAO,MAAM,CAAC,MAAM,CAClB,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAChF,CAAC;IACJ,CAAC;IAEM,uBAAuB;QAC5B,OAAO,MAAM,CAAC,MAAM,CAClB,CAAC,GAAG,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,CAAC;aAC/B,IAAI,CAAC,WAAW,CAAC;aACjB,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,+BAA+B,CAAC,OAAO,CAAC,CAAC,CACvE,CAAC;IACJ,CAAC;IAED,OAAO,CAAC,IAAoB,EAAE,UAA4B;QACxD,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACjC,OAAO,UAAU,CAAC;IACpB,CAAC;CACF;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,MAAM,QAAQ,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC7C,OAAO,QAAQ,KAAK,SAAS;QAC3B,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,KAAK,CAAC;QAClC,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC;QAC7B,OAAO,QAAQ,CAAC,EAAE,KAAK,QAAQ;QAC/B,QAAQ,CAAC,EAAE,CAAC,MAAM,GAAG,CAAC;QACtB,CAAC,CAAC,QAAQ,CAAC,EAAE;QACb,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,KAAa;IAC9C,IAAI,IAAI,GAAG,KAAK;QAAE,OAAO,CAAC,CAAC,CAAC;IAC5B,IAAI,IAAI,GAAG,KAAK;QAAE,OAAO,CAAC,CAAC;IAC3B,OAAO,CAAC,CAAC;AACX,CAAC","sourcesContent":["import { canonicalizeJsonObject } from \"../data-boundary/canonical-data.ts\";\nimport type { CoreRecord } from \"./facts.ts\";\nimport { snapshotClosedRecord } from \"../data-boundary/closed-values.ts\";\n\nexport type RecordSubmissionResult = \"committed\" | \"rejected\";\n\nconst EMPTY_RECORDS: readonly CoreRecord[] = Object.freeze([]);\nexport type RecordDiagnostic = \"record-conflict\" | \"record-invalid\";\n\nexport interface CoreRecordSlot {\n  readonly checkId: string;\n  readonly diagnostics: Set<RecordDiagnostic>;\n}\n\n/** Holds Check-local supplemental Records without inventing a composite string identity. */\nexport class CoreRecordStore {\n  readonly #recordsByCheckId = new Map<string, Map<string, CoreRecord>>();\n\n  public report(\n    slot: CoreRecordSlot,\n    rawIdentity: unknown,\n    rawData: unknown\n  ): RecordSubmissionResult {\n    const id = recordId(rawIdentity);\n    const data = canonicalizeJsonObject(rawData);\n    if (id === undefined || data === undefined) return this.#reject(slot, \"record-invalid\");\n\n    let records = this.#recordsByCheckId.get(slot.checkId);\n    if (records?.has(id) === true) return this.#reject(slot, \"record-conflict\");\n    if (records === undefined) {\n      records = new Map<string, CoreRecord>();\n      this.#recordsByCheckId.set(slot.checkId, records);\n    }\n    const record: CoreRecord = Object.freeze({ checkId: slot.checkId, id, data });\n    records.set(id, record);\n    return \"committed\";\n  }\n\n  public recordsForCheckInCanonicalOrder(checkId: string): readonly CoreRecord[] {\n    const recordsById = this.#recordsByCheckId.get(checkId);\n    if (recordsById === undefined) return EMPTY_RECORDS;\n    return Object.freeze(\n      [...recordsById.values()].sort((left, right) => compareText(left.id, right.id))\n    );\n  }\n\n  public recordsInCanonicalOrder(): readonly CoreRecord[] {\n    return Object.freeze(\n      [...this.#recordsByCheckId.keys()]\n        .sort(compareText)\n        .flatMap((checkId) => this.recordsForCheckInCanonicalOrder(checkId))\n    );\n  }\n\n  #reject(slot: CoreRecordSlot, diagnostic: RecordDiagnostic): \"rejected\" {\n    slot.diagnostics.add(diagnostic);\n    return \"rejected\";\n  }\n}\n\nfunction recordId(value: unknown): string | undefined {\n  const identity = snapshotClosedRecord(value);\n  return identity !== undefined &&\n    Object.keys(identity).length === 1 &&\n    Object.hasOwn(identity, \"id\") &&\n    typeof identity.id === \"string\" &&\n    identity.id.length > 0\n    ? identity.id\n    : undefined;\n}\n\nfunction compareText(left: string, right: string): number {\n  if (left < right) return -1;\n  if (left > right) return 1;\n  return 0;\n}\n"]}

package/dist/esm/check-settlement/session.mjs

@@ -36,8 +36,7 @@ function createSlots(registrations) {
             checkId: definition.value.checkId,
             definition: definition.value,
             diagnostics: new Set(),
-            lifecycle: { kind: "registered" },
-            recordIds: new Set()
+            lifecycle: { kind: "registered" }
         });
     }
     return slots.sort((left, right) => compareText(left.definition.checkId, right.definition.checkId));
@@ -74,6 +73,13 @@ class CoreCheckSessionImpl {
         }
         return slot.lifecycle.outcome;
     }
+    readSettledCheckRecords(checkId) {
+        const slot = this.#slotFor(checkId);
+        if (slot.lifecycle.kind !== "settled") {
+            coreInvariant("Core settled Check Records are not available");
+        }
+        return this.#recordStore.recordsForCheckInCanonicalOrder(checkId);
+    }
     closeUnresolvedAsCancelled() {
         if (this.#snapshot !== undefined) {
             coreInvariant("Cancelled closure cannot mutate a frozen Core snapshot");

package/dist/esm/check-settlement/session.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"session.mjs","sourceRoot":"","sources":["../../../src/check-settlement/session.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,eAAe,EAIhB,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,uBAAuB,EAAE,MAAM,mCAAmC,CAAC;AAC5E,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AAyCnE,iFAAiF;AACjF,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IAC7C,YAAmB,OAAe;QAChC,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAC;IACrC,CAAC;CACF;AAaD,SAAS,WAAW,CAAC,IAAY,EAAE,KAAa;IAC9C,IAAI,IAAI,GAAG,KAAK;QAAE,OAAO,CAAC,CAAC,CAAC;IAC5B,IAAI,IAAI,GAAG,KAAK;QAAE,OAAO,CAAC,CAAC;IAC3B,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,aAAa,CAAC,OAAe;IACpC,MAAM,IAAI,oBAAoB,CAAC,OAAO,CAAC,CAAC;AAC1C,CAAC;AAED,SAAS,WAAW,CAAC,aAA+C;IAClE,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,YAAY,IAAI,aAAa,EAAE,CAAC;QACzC,IAAI,YAAY,KAAK,IAAI,IAAI,OAAO,YAAY,KAAK,QAAQ,EAAE,CAAC;YAC9D,aAAa,CAAC,oCAAoC,CAAC,CAAC;QACtD,CAAC;QACD,MAAM,UAAU,GAAG,uBAAuB,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC;QACpE,IAAI,CAAC,UAAU,CAAC,EAAE;YAAE,aAAa,CAAC,+CAA+C,CAAC,CAAC;QACnF,IAAI,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3C,aAAa,CAAC,iDAAiD,CAAC,CAAC;QACnE,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACvC,KAAK,CAAC,IAAI,CAAC;YACT,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,OAAO;YACjC,UAAU,EAAE,UAAU,CAAC,KAAK;YAC5B,WAAW,EAAE,IAAI,GAAG,EAAE;YACtB,SAAS,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;YACjC,SAAS,EAAE,IAAI,GAAG,EAAE;SACrB,CAAC,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAChC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAC/D,CAAC;AACJ,CAAC;AAED,MAAM,oBAAoB;IACf,MAAM,CAAa;IACnB,YAAY,GAAG,IAAI,eAAe,EAAE,CAAC;IAC9C,SAAS,CAA2B;IAEpC,YAAmB,aAA+C;QAChE,IAAI,CAAC,MAAM,GAAG,WAAW,CAAC,aAAa,CAAC,CAAC;IAC3C,CAAC;IAEM,cAAc,CAAC,OAAe;QACnC,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QACpC,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACzE,aAAa,CAAC,mCAAmC,CAAC,CAAC;QACrD,CAAC;QACD,IAAI,CAAC,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;QACjD,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC;gBACrB,MAAM,EAAE,CAAC,QAAiB,EAAE,IAAa,EAA0B,EAAE;oBACnE,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,MAAM;wBAAE,OAAO,UAAU,CAAC;oBACtF,OAAO,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;gBACxD,CAAC;aACF,CAAC;YACF,MAAM,EAAE,CAAC,OAAgB,EAAyB,EAAE,CAAC,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC;YAC1F,aAAa,EAAE,CAAC,OAAqB,EAAgB,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC;SAC9F,CAAC,CAAC;IACL,CAAC;IAEM,uBAAuB,CAAC,OAAe;QAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QACpC,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACtC,aAAa,CAAC,qCAAqC,CAAC,CAAC;QACvD,CAAC;QACD,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC;IAChC,CAAC;IAEM,0BAA0B;QAC/B,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YACjC,aAAa,CAAC,wDAAwD,CAAC,CAAC;QAC1E,CAAC;QACD,MAAM,QAAQ,GAA4B,EAAE,CAAC;QAC7C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAC/B,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACtC,MAAM,OAAO,GAAG,IAAI,CAAC,eAAe,CAClC,IAAI,EACJ,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,qBAAqB,EAAE,EAAE,CAAC,EACjF,IAAI,CACL,CAAC;gBACF,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;YACnE,CAAC;QACH,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACjC,CAAC;IAEM,MAAM;QACX,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC,SAAS,CAAC;QACxD,MAAM,MAAM,GAAgB,EAAE,CAAC;QAC/B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAC/B,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACtC,OAAO,aAAa,CAAC,4DAA4D,CAAC,CAAC;YACrF,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;QAClC,CAAC;QACD,IAAI,CAAC,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC;YAC7B,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;YAC7B,OAAO,EAAE,IAAI,CAAC,YAAY,CAAC,uBAAuB,EAAE;SACrD,CAAC,CAAC;QACH,OAAO,IAAI,CAAC,SAAS,CAAC;IACxB,CAAC;IAED,QAAQ,CAAC,OAAe;QACtB,IAAI,OAAO,OAAO,KAAK,QAAQ;YAAE,aAAa,CAAC,qCAAqC,CAAC,CAAC;QACtF,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC;QACvF,OAAO,IAAI,IAAI,aAAa,CAAC,4CAA4C,CAAC,CAAC;IAC7E,CAAC;IAED,SAAS;QACP,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;IACpE,CAAC;IAED,WAAW,CAAC,IAAc,EAAE,OAAgB,EAAE,cAAuB;QACnE,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACnE,OAAO,aAAa,CAAC,mEAAmE,CAAC,CAAC;QAC5F,CAAC;QACD,OAAO,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,OAAO,EAAE,cAAc,CAAC,CAAC;IAC7D,CAAC;IAED,iBAAiB,CAAC,IAAc,EAAE,QAAiB;QACjD,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACnE,OAAO,aAAa,CAAC,mEAAmE,CAAC,CAAC;QAC5F,CAAC;QACD,MAAM,UAAU,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;QAC5C,MAAM,UAAU,GACd,UAAU,KAAK,SAAS;YACtB,CAAC,CAAC,qBAAqB,CAAC;gBACpB,aAAa,EAAE,IAAI,CAAC,SAAS,EAAE;gBAC/B,cAAc,EAAE,KAAK;gBACrB,KAAK,EAAE,QAAQ;aAChB,CAAC;YACJ,CAAC,CAAC,SAAS,CAAC;QAChB,MAAM,OAAO,GAAG,UAAU,IAAI,WAAW,CAAC,UAAU,IAAI,0BAA0B,CAAC,CAAC;QACpF,IAAI,CAAC,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC;QAC7D,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,oBAAoB,EAAE,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,SAAS;YAC1E,OAAO;SACR,CAAC,CAAC;IACL,CAAC;IAED,eAAe,CAAC,IAAc,EAAE,QAAiB,EAAE,cAAc,GAAG,KAAK;QACvE,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACtC,aAAa,CAAC,0CAA0C,CAAC,CAAC;QAC5D,CAAC;QACD,MAAM,UAAU,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;QAC5C,MAAM,OAAO,GACX,UAAU,KAAK,SAAS;YACtB,CAAC,CAAC,CAAC,qBAAqB,CAAC;gBACrB,aAAa,EAAE,IAAI,CAAC,SAAS,EAAE;gBAC/B,cAAc;gBACd,KAAK,EAAE,QAAQ;aAChB,CAAC,IAAI,WAAW,CAAC,0BAA0B,CAAC,CAAC;YAChD,CAAC,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;QAC9B,IAAI,CAAC,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC;QAC7D,OAAO,OAAO,CAAC;IACjB,CAAC;CACF;AAED,SAAS,kBAAkB,CAAC,IAAc;IACxC,IAAI,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,iBAAiB,CAAC;QAAE,OAAO,iBAAiB,CAAC;IACtE,IAAI,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,gBAAgB,CAAC;QAAE,OAAO,gBAAgB,CAAC;IACpE,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,YAAY,CAAC,IAAc;IAClC,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACtC,aAAa,CAAC,yCAAyC,CAAC,CAAC;IAC3D,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,OAAO;QAChC,WAAW,EAAE,IAAI,CAAC,UAAU,CAAC,WAAW;QACxC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO;KAChC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,WAAW,CAAC,IAAY;IAC/B,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;AACnF,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,aAA+C;IAE/C,OAAO,IAAI,oBAAoB,CAAC,aAAa,CAAC,CAAC;AACjD,CAAC","sourcesContent":["import type { CheckDescriptor } from \"../check/descriptor.ts\";\nimport type { CheckOutcome } from \"../check/check.ts\";\nimport {\n  CoreRecordStore,\n  type CoreRecordSlot,\n  type RecordDiagnostic,\n  type RecordSubmissionResult\n} from \"./record-store.ts\";\nimport type { CoreCheck, CoreSnapshot } from \"./facts.ts\";\nimport { validateCheckDescriptor } from \"../check/descriptor-validation.ts\";\nimport { normalizeCheckOutcome } from \"./outcome-normalization.ts\";\n\nexport type { RecordSubmissionResult } from \"./record-store.ts\";\n\nexport interface CoreCheckRegistration {\n  readonly definition: CheckDescriptor;\n}\n\n/** Internal Record port bound to one currently executing Check. */\nexport interface RecordSink {\n  report(identity: unknown, data: unknown): RecordSubmissionResult;\n}\n\n/** Only the Product Task adapter receives this Core lifecycle capability. */\nexport interface TrustedCheckScope {\n  readonly records: RecordSink;\n  /** Core is the only author-result validation/canonicalization boundary. */\n  readonly settle: (outcome: unknown) => AuthorCheckSettlement;\n  /** Private Product lifecycle outcomes may include contained prerequisite IDs. */\n  readonly settleProduct: (outcome: CheckOutcome) => CheckOutcome;\n}\n\n/** Core's private marker for an author result that survived every settlement guard. */\nexport interface AuthorCheckSettlement {\n  readonly authorResultAccepted: boolean;\n  readonly outcome: CheckOutcome;\n}\n\nexport interface CoreCheckSession {\n  openCheckScope(checkId: string): TrustedCheckScope;\n  readSettledCheckOutcome(checkId: string): CheckOutcome;\n  closeUnresolvedAsCancelled(): readonly CancelledCheckClosure[];\n  freeze(): CoreSnapshot;\n}\n\n/** Product-private cancellation facts emitted at the exact Core closure boundary. */\nexport interface CancelledCheckClosure {\n  readonly checkId: string;\n  readonly outcome: CheckOutcome;\n}\n\n/** A trusted integration bug is fatal to the invocation, not a Check outcome. */\nexport class CoreInvariantFailure extends Error {\n  public constructor(message: string) {\n    super(message);\n    this.name = \"CoreInvariantFailure\";\n  }\n}\n\ntype CoreSlotLifecycle = Readonly<\n  | { readonly kind: \"registered\" }\n  | { readonly kind: \"open\" }\n  | { readonly kind: \"settled\"; readonly outcome: CheckOutcome }\n>;\n\ninterface CoreSlot extends CoreRecordSlot {\n  readonly definition: CheckDescriptor;\n  lifecycle: CoreSlotLifecycle;\n}\n\nfunction compareText(left: string, right: string): number {\n  if (left < right) return -1;\n  if (left > right) return 1;\n  return 0;\n}\n\nfunction coreInvariant(message: string): never {\n  throw new CoreInvariantFailure(message);\n}\n\nfunction createSlots(registrations: readonly CoreCheckRegistration[]): CoreSlot[] {\n  const slots: CoreSlot[] = [];\n  const checkIds = new Set<string>();\n  for (const registration of registrations) {\n    if (registration === null || typeof registration !== \"object\") {\n      coreInvariant(\"Core Check registration is invalid\");\n    }\n    const definition = validateCheckDescriptor(registration.definition);\n    if (!definition.ok) coreInvariant(\"Core Check registration definition is invalid\");\n    if (checkIds.has(definition.value.checkId)) {\n      coreInvariant(\"Core Check registration has a duplicate checkId\");\n    }\n    checkIds.add(definition.value.checkId);\n    slots.push({\n      checkId: definition.value.checkId,\n      definition: definition.value,\n      diagnostics: new Set(),\n      lifecycle: { kind: \"registered\" },\n      recordIds: new Set()\n    });\n  }\n  return slots.sort((left, right) =>\n    compareText(left.definition.checkId, right.definition.checkId)\n  );\n}\n\nclass CoreCheckSessionImpl implements CoreCheckSession {\n  readonly #slots: CoreSlot[];\n  readonly #recordStore = new CoreRecordStore();\n  #snapshot: CoreSnapshot | undefined;\n\n  public constructor(registrations: readonly CoreCheckRegistration[]) {\n    this.#slots = createSlots(registrations);\n  }\n\n  public openCheckScope(checkId: string): TrustedCheckScope {\n    const slot = this.#slotFor(checkId);\n    if (this.#snapshot !== undefined || slot.lifecycle.kind !== \"registered\") {\n      coreInvariant(\"Core Check scope is not available\");\n    }\n    slot.lifecycle = Object.freeze({ kind: \"open\" });\n    return Object.freeze({\n      records: Object.freeze({\n        report: (identity: unknown, data: unknown): RecordSubmissionResult => {\n          if (this.#snapshot !== undefined || slot.lifecycle.kind !== \"open\") return \"rejected\";\n          return this.#recordStore.report(slot, identity, data);\n        }\n      }),\n      settle: (outcome: unknown): AuthorCheckSettlement => this.#settleAuthorSlot(slot, outcome),\n      settleProduct: (outcome: CheckOutcome): CheckOutcome => this.#settleSlot(slot, outcome, true)\n    });\n  }\n\n  public readSettledCheckOutcome(checkId: string): CheckOutcome {\n    const slot = this.#slotFor(checkId);\n    if (slot.lifecycle.kind !== \"settled\") {\n      coreInvariant(\"Core settled Check is not available\");\n    }\n    return slot.lifecycle.outcome;\n  }\n\n  public closeUnresolvedAsCancelled(): readonly CancelledCheckClosure[] {\n    if (this.#snapshot !== undefined) {\n      coreInvariant(\"Cancelled closure cannot mutate a frozen Core snapshot\");\n    }\n    const closures: CancelledCheckClosure[] = [];\n    for (const slot of this.#slots) {\n      if (slot.lifecycle.kind !== \"settled\") {\n        const outcome = this.#commitTerminal(\n          slot,\n          Object.freeze({ status: \"unavailable\", reason: { code: \"execution-cancelled\" } }),\n          true\n        );\n        closures.push(Object.freeze({ checkId: slot.checkId, outcome }));\n      }\n    }\n    return Object.freeze(closures);\n  }\n\n  public freeze(): CoreSnapshot {\n    if (this.#snapshot !== undefined) return this.#snapshot;\n    const checks: CoreCheck[] = [];\n    for (const slot of this.#slots) {\n      if (slot.lifecycle.kind !== \"settled\") {\n        return coreInvariant(\"Core snapshot cannot freeze before every Check slot closes\");\n      }\n      checks.push(coreCheckFor(slot));\n    }\n    this.#snapshot = Object.freeze({\n      checks: Object.freeze(checks),\n      records: this.#recordStore.recordsInCanonicalOrder()\n    });\n    return this.#snapshot;\n  }\n\n  #slotFor(checkId: string): CoreSlot {\n    if (typeof checkId !== \"string\") coreInvariant(\"Core Check scope requires a checkId\");\n    const slot = this.#slots.find((candidate) => candidate.definition.checkId === checkId);\n    return slot ?? coreInvariant(\"Core Check scope does not own this checkId\");\n  }\n\n  #checkIds(): ReadonlySet<string> {\n    return new Set(this.#slots.map((candidate) => candidate.checkId));\n  }\n\n  #settleSlot(slot: CoreSlot, outcome: unknown, productOutcome: boolean): CheckOutcome {\n    if (this.#snapshot !== undefined || slot.lifecycle.kind !== \"open\") {\n      return coreInvariant(\"Trusted Core Check settlement is duplicate, late, or out of scope\");\n    }\n    return this.#commitTerminal(slot, outcome, productOutcome);\n  }\n\n  #settleAuthorSlot(slot: CoreSlot, terminal: unknown): AuthorCheckSettlement {\n    if (this.#snapshot !== undefined || slot.lifecycle.kind !== \"open\") {\n      return coreInvariant(\"Trusted Core Check settlement is duplicate, late, or out of scope\");\n    }\n    const diagnostic = terminalDiagnostic(slot);\n    const normalized =\n      diagnostic === undefined\n        ? normalizeCheckOutcome({\n            knownCheckIds: this.#checkIds(),\n            productOutcome: false,\n            value: terminal\n          })\n        : undefined;\n    const outcome = normalized ?? unavailable(diagnostic ?? \"invalid-execution-result\");\n    slot.lifecycle = Object.freeze({ kind: \"settled\", outcome });\n    return Object.freeze({\n      authorResultAccepted: diagnostic === undefined && normalized !== undefined,\n      outcome\n    });\n  }\n\n  #commitTerminal(slot: CoreSlot, terminal: unknown, productOutcome = false): CheckOutcome {\n    if (slot.lifecycle.kind === \"settled\") {\n      coreInvariant(\"Core Check terminal closure is duplicate\");\n    }\n    const diagnostic = terminalDiagnostic(slot);\n    const outcome =\n      diagnostic === undefined\n        ? (normalizeCheckOutcome({\n            knownCheckIds: this.#checkIds(),\n            productOutcome,\n            value: terminal\n          }) ?? unavailable(\"invalid-execution-result\"))\n        : unavailable(diagnostic);\n    slot.lifecycle = Object.freeze({ kind: \"settled\", outcome });\n    return outcome;\n  }\n}\n\nfunction terminalDiagnostic(slot: CoreSlot): RecordDiagnostic | undefined {\n  if (slot.diagnostics.has(\"record-conflict\")) return \"record-conflict\";\n  if (slot.diagnostics.has(\"record-invalid\")) return \"record-invalid\";\n  return undefined;\n}\n\nfunction coreCheckFor(slot: CoreSlot): CoreCheck {\n  if (slot.lifecycle.kind !== \"settled\") {\n    coreInvariant(\"Core Check fact requires a settled slot\");\n  }\n  return Object.freeze({\n    checkId: slot.definition.checkId,\n    displayName: slot.definition.displayName,\n    outcome: slot.lifecycle.outcome\n  });\n}\n\nfunction unavailable(code: string): CheckOutcome {\n  return Object.freeze({ status: \"unavailable\", reason: Object.freeze({ code }) });\n}\n\nexport function createCoreCheckSession(\n  registrations: readonly CoreCheckRegistration[]\n): CoreCheckSession {\n  return new CoreCheckSessionImpl(registrations);\n}\n"]}
+{"version":3,"file":"session.mjs","sourceRoot":"","sources":["../../../src/check-settlement/session.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,eAAe,EAIhB,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,uBAAuB,EAAE,MAAM,mCAAmC,CAAC;AAC5E,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AA2CnE,iFAAiF;AACjF,MAAM,OAAO,oBAAqB,SAAQ,KAAK;IAC7C,YAAmB,OAAe;QAChC,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,sBAAsB,CAAC;IACrC,CAAC;CACF;AAaD,SAAS,WAAW,CAAC,IAAY,EAAE,KAAa;IAC9C,IAAI,IAAI,GAAG,KAAK;QAAE,OAAO,CAAC,CAAC,CAAC;IAC5B,IAAI,IAAI,GAAG,KAAK;QAAE,OAAO,CAAC,CAAC;IAC3B,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,aAAa,CAAC,OAAe;IACpC,MAAM,IAAI,oBAAoB,CAAC,OAAO,CAAC,CAAC;AAC1C,CAAC;AAED,SAAS,WAAW,CAAC,aAA+C;IAClE,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,YAAY,IAAI,aAAa,EAAE,CAAC;QACzC,IAAI,YAAY,KAAK,IAAI,IAAI,OAAO,YAAY,KAAK,QAAQ,EAAE,CAAC;YAC9D,aAAa,CAAC,oCAAoC,CAAC,CAAC;QACtD,CAAC;QACD,MAAM,UAAU,GAAG,uBAAuB,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC;QACpE,IAAI,CAAC,UAAU,CAAC,EAAE;YAAE,aAAa,CAAC,+CAA+C,CAAC,CAAC;QACnF,IAAI,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3C,aAAa,CAAC,iDAAiD,CAAC,CAAC;QACnE,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACvC,KAAK,CAAC,IAAI,CAAC;YACT,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,OAAO;YACjC,UAAU,EAAE,UAAU,CAAC,KAAK;YAC5B,WAAW,EAAE,IAAI,GAAG,EAAE;YACtB,SAAS,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;SAClC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAChC,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,CAC/D,CAAC;AACJ,CAAC;AAED,MAAM,oBAAoB;IACf,MAAM,CAAa;IACnB,YAAY,GAAG,IAAI,eAAe,EAAE,CAAC;IAC9C,SAAS,CAA2B;IAEpC,YAAmB,aAA+C;QAChE,IAAI,CAAC,MAAM,GAAG,WAAW,CAAC,aAAa,CAAC,CAAC;IAC3C,CAAC;IAEM,cAAc,CAAC,OAAe;QACnC,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QACpC,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACzE,aAAa,CAAC,mCAAmC,CAAC,CAAC;QACrD,CAAC;QACD,IAAI,CAAC,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;QACjD,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC;gBACrB,MAAM,EAAE,CAAC,QAAiB,EAAE,IAAa,EAA0B,EAAE;oBACnE,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,MAAM;wBAAE,OAAO,UAAU,CAAC;oBACtF,OAAO,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;gBACxD,CAAC;aACF,CAAC;YACF,MAAM,EAAE,CAAC,OAAgB,EAAyB,EAAE,CAAC,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,OAAO,CAAC;YAC1F,aAAa,EAAE,CAAC,OAAqB,EAAgB,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC;SAC9F,CAAC,CAAC;IACL,CAAC;IAEM,uBAAuB,CAAC,OAAe;QAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QACpC,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACtC,aAAa,CAAC,qCAAqC,CAAC,CAAC;QACvD,CAAC;QACD,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC;IAChC,CAAC;IAEM,uBAAuB,CAAC,OAAe;QAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QACpC,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACtC,aAAa,CAAC,8CAA8C,CAAC,CAAC;QAChE,CAAC;QACD,OAAO,IAAI,CAAC,YAAY,CAAC,+BAA+B,CAAC,OAAO,CAAC,CAAC;IACpE,CAAC;IAEM,0BAA0B;QAC/B,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YACjC,aAAa,CAAC,wDAAwD,CAAC,CAAC;QAC1E,CAAC;QACD,MAAM,QAAQ,GAA4B,EAAE,CAAC;QAC7C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAC/B,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACtC,MAAM,OAAO,GAAG,IAAI,CAAC,eAAe,CAClC,IAAI,EACJ,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,qBAAqB,EAAE,EAAE,CAAC,EACjF,IAAI,CACL,CAAC;gBACF,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;YACnE,CAAC;QACH,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACjC,CAAC;IAEM,MAAM;QACX,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC,SAAS,CAAC;QACxD,MAAM,MAAM,GAAgB,EAAE,CAAC;QAC/B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAC/B,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACtC,OAAO,aAAa,CAAC,4DAA4D,CAAC,CAAC;YACrF,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;QAClC,CAAC;QACD,IAAI,CAAC,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC;YAC7B,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC;YAC7B,OAAO,EAAE,IAAI,CAAC,YAAY,CAAC,uBAAuB,EAAE;SACrD,CAAC,CAAC;QACH,OAAO,IAAI,CAAC,SAAS,CAAC;IACxB,CAAC;IAED,QAAQ,CAAC,OAAe;QACtB,IAAI,OAAO,OAAO,KAAK,QAAQ;YAAE,aAAa,CAAC,qCAAqC,CAAC,CAAC;QACtF,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC;QACvF,OAAO,IAAI,IAAI,aAAa,CAAC,4CAA4C,CAAC,CAAC;IAC7E,CAAC;IAED,SAAS;QACP,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;IACpE,CAAC;IAED,WAAW,CAAC,IAAc,EAAE,OAAgB,EAAE,cAAuB;QACnE,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACnE,OAAO,aAAa,CAAC,mEAAmE,CAAC,CAAC;QAC5F,CAAC;QACD,OAAO,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,OAAO,EAAE,cAAc,CAAC,CAAC;IAC7D,CAAC;IAED,iBAAiB,CAAC,IAAc,EAAE,QAAiB;QACjD,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACnE,OAAO,aAAa,CAAC,mEAAmE,CAAC,CAAC;QAC5F,CAAC;QACD,MAAM,UAAU,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;QAC5C,MAAM,UAAU,GACd,UAAU,KAAK,SAAS;YACtB,CAAC,CAAC,qBAAqB,CAAC;gBACpB,aAAa,EAAE,IAAI,CAAC,SAAS,EAAE;gBAC/B,cAAc,EAAE,KAAK;gBACrB,KAAK,EAAE,QAAQ;aAChB,CAAC;YACJ,CAAC,CAAC,SAAS,CAAC;QAChB,MAAM,OAAO,GAAG,UAAU,IAAI,WAAW,CAAC,UAAU,IAAI,0BAA0B,CAAC,CAAC;QACpF,IAAI,CAAC,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC;QAC7D,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,oBAAoB,EAAE,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,SAAS;YAC1E,OAAO;SACR,CAAC,CAAC;IACL,CAAC;IAED,eAAe,CAAC,IAAc,EAAE,QAAiB,EAAE,cAAc,GAAG,KAAK;QACvE,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACtC,aAAa,CAAC,0CAA0C,CAAC,CAAC;QAC5D,CAAC;QACD,MAAM,UAAU,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;QAC5C,MAAM,OAAO,GACX,UAAU,KAAK,SAAS;YACtB,CAAC,CAAC,CAAC,qBAAqB,CAAC;gBACrB,aAAa,EAAE,IAAI,CAAC,SAAS,EAAE;gBAC/B,cAAc;gBACd,KAAK,EAAE,QAAQ;aAChB,CAAC,IAAI,WAAW,CAAC,0BAA0B,CAAC,CAAC;YAChD,CAAC,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;QAC9B,IAAI,CAAC,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC;QAC7D,OAAO,OAAO,CAAC;IACjB,CAAC;CACF;AAED,SAAS,kBAAkB,CAAC,IAAc;IACxC,IAAI,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,iBAAiB,CAAC;QAAE,OAAO,iBAAiB,CAAC;IACtE,IAAI,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,gBAAgB,CAAC;QAAE,OAAO,gBAAgB,CAAC;IACpE,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,YAAY,CAAC,IAAc;IAClC,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACtC,aAAa,CAAC,yCAAyC,CAAC,CAAC;IAC3D,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,OAAO,EAAE,IAAI,CAAC,UAAU,CAAC,OAAO;QAChC,WAAW,EAAE,IAAI,CAAC,UAAU,CAAC,WAAW;QACxC,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO;KAChC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,WAAW,CAAC,IAAY;IAC/B,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;AACnF,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,aAA+C;IAE/C,OAAO,IAAI,oBAAoB,CAAC,aAAa,CAAC,CAAC;AACjD,CAAC","sourcesContent":["import type { CheckDescriptor } from \"../check/descriptor.ts\";\nimport type { CheckOutcome } from \"../check/check.ts\";\nimport {\n  CoreRecordStore,\n  type CoreRecordSlot,\n  type RecordDiagnostic,\n  type RecordSubmissionResult\n} from \"./record-store.ts\";\nimport type { CoreCheck, CoreRecord, CoreSnapshot } from \"./facts.ts\";\nimport { validateCheckDescriptor } from \"../check/descriptor-validation.ts\";\nimport { normalizeCheckOutcome } from \"./outcome-normalization.ts\";\n\nexport type { RecordSubmissionResult } from \"./record-store.ts\";\n\nexport interface CoreCheckRegistration {\n  readonly definition: CheckDescriptor;\n}\n\n/** Internal Record port bound to one currently executing Check. */\nexport interface RecordSink {\n  report(identity: unknown, data: unknown): RecordSubmissionResult;\n}\n\n/** Only the Product Task adapter receives this Core lifecycle capability. */\nexport interface TrustedCheckScope {\n  readonly records: RecordSink;\n  /** Core is the only author-result validation/canonicalization boundary. */\n  readonly settle: (outcome: unknown) => AuthorCheckSettlement;\n  /** Private Product lifecycle outcomes may include contained prerequisite IDs. */\n  readonly settleProduct: (outcome: CheckOutcome) => CheckOutcome;\n}\n\n/** Core's private marker for an author result that survived every settlement guard. */\nexport interface AuthorCheckSettlement {\n  readonly authorResultAccepted: boolean;\n  readonly outcome: CheckOutcome;\n}\n\nexport interface CoreCheckSession {\n  openCheckScope(checkId: string): TrustedCheckScope;\n  readSettledCheckOutcome(checkId: string): CheckOutcome;\n  /** Product-private readback used only after this Check's terminal settlement. */\n  readSettledCheckRecords(checkId: string): readonly CoreRecord[];\n  closeUnresolvedAsCancelled(): readonly CancelledCheckClosure[];\n  freeze(): CoreSnapshot;\n}\n\n/** Product-private cancellation facts emitted at the exact Core closure boundary. */\nexport interface CancelledCheckClosure {\n  readonly checkId: string;\n  readonly outcome: CheckOutcome;\n}\n\n/** A trusted integration bug is fatal to the invocation, not a Check outcome. */\nexport class CoreInvariantFailure extends Error {\n  public constructor(message: string) {\n    super(message);\n    this.name = \"CoreInvariantFailure\";\n  }\n}\n\ntype CoreSlotLifecycle = Readonly<\n  | { readonly kind: \"registered\" }\n  | { readonly kind: \"open\" }\n  | { readonly kind: \"settled\"; readonly outcome: CheckOutcome }\n>;\n\ninterface CoreSlot extends CoreRecordSlot {\n  readonly definition: CheckDescriptor;\n  lifecycle: CoreSlotLifecycle;\n}\n\nfunction compareText(left: string, right: string): number {\n  if (left < right) return -1;\n  if (left > right) return 1;\n  return 0;\n}\n\nfunction coreInvariant(message: string): never {\n  throw new CoreInvariantFailure(message);\n}\n\nfunction createSlots(registrations: readonly CoreCheckRegistration[]): CoreSlot[] {\n  const slots: CoreSlot[] = [];\n  const checkIds = new Set<string>();\n  for (const registration of registrations) {\n    if (registration === null || typeof registration !== \"object\") {\n      coreInvariant(\"Core Check registration is invalid\");\n    }\n    const definition = validateCheckDescriptor(registration.definition);\n    if (!definition.ok) coreInvariant(\"Core Check registration definition is invalid\");\n    if (checkIds.has(definition.value.checkId)) {\n      coreInvariant(\"Core Check registration has a duplicate checkId\");\n    }\n    checkIds.add(definition.value.checkId);\n    slots.push({\n      checkId: definition.value.checkId,\n      definition: definition.value,\n      diagnostics: new Set(),\n      lifecycle: { kind: \"registered\" }\n    });\n  }\n  return slots.sort((left, right) =>\n    compareText(left.definition.checkId, right.definition.checkId)\n  );\n}\n\nclass CoreCheckSessionImpl implements CoreCheckSession {\n  readonly #slots: CoreSlot[];\n  readonly #recordStore = new CoreRecordStore();\n  #snapshot: CoreSnapshot | undefined;\n\n  public constructor(registrations: readonly CoreCheckRegistration[]) {\n    this.#slots = createSlots(registrations);\n  }\n\n  public openCheckScope(checkId: string): TrustedCheckScope {\n    const slot = this.#slotFor(checkId);\n    if (this.#snapshot !== undefined || slot.lifecycle.kind !== \"registered\") {\n      coreInvariant(\"Core Check scope is not available\");\n    }\n    slot.lifecycle = Object.freeze({ kind: \"open\" });\n    return Object.freeze({\n      records: Object.freeze({\n        report: (identity: unknown, data: unknown): RecordSubmissionResult => {\n          if (this.#snapshot !== undefined || slot.lifecycle.kind !== \"open\") return \"rejected\";\n          return this.#recordStore.report(slot, identity, data);\n        }\n      }),\n      settle: (outcome: unknown): AuthorCheckSettlement => this.#settleAuthorSlot(slot, outcome),\n      settleProduct: (outcome: CheckOutcome): CheckOutcome => this.#settleSlot(slot, outcome, true)\n    });\n  }\n\n  public readSettledCheckOutcome(checkId: string): CheckOutcome {\n    const slot = this.#slotFor(checkId);\n    if (slot.lifecycle.kind !== \"settled\") {\n      coreInvariant(\"Core settled Check is not available\");\n    }\n    return slot.lifecycle.outcome;\n  }\n\n  public readSettledCheckRecords(checkId: string): readonly CoreRecord[] {\n    const slot = this.#slotFor(checkId);\n    if (slot.lifecycle.kind !== \"settled\") {\n      coreInvariant(\"Core settled Check Records are not available\");\n    }\n    return this.#recordStore.recordsForCheckInCanonicalOrder(checkId);\n  }\n\n  public closeUnresolvedAsCancelled(): readonly CancelledCheckClosure[] {\n    if (this.#snapshot !== undefined) {\n      coreInvariant(\"Cancelled closure cannot mutate a frozen Core snapshot\");\n    }\n    const closures: CancelledCheckClosure[] = [];\n    for (const slot of this.#slots) {\n      if (slot.lifecycle.kind !== \"settled\") {\n        const outcome = this.#commitTerminal(\n          slot,\n          Object.freeze({ status: \"unavailable\", reason: { code: \"execution-cancelled\" } }),\n          true\n        );\n        closures.push(Object.freeze({ checkId: slot.checkId, outcome }));\n      }\n    }\n    return Object.freeze(closures);\n  }\n\n  public freeze(): CoreSnapshot {\n    if (this.#snapshot !== undefined) return this.#snapshot;\n    const checks: CoreCheck[] = [];\n    for (const slot of this.#slots) {\n      if (slot.lifecycle.kind !== \"settled\") {\n        return coreInvariant(\"Core snapshot cannot freeze before every Check slot closes\");\n      }\n      checks.push(coreCheckFor(slot));\n    }\n    this.#snapshot = Object.freeze({\n      checks: Object.freeze(checks),\n      records: this.#recordStore.recordsInCanonicalOrder()\n    });\n    return this.#snapshot;\n  }\n\n  #slotFor(checkId: string): CoreSlot {\n    if (typeof checkId !== \"string\") coreInvariant(\"Core Check scope requires a checkId\");\n    const slot = this.#slots.find((candidate) => candidate.definition.checkId === checkId);\n    return slot ?? coreInvariant(\"Core Check scope does not own this checkId\");\n  }\n\n  #checkIds(): ReadonlySet<string> {\n    return new Set(this.#slots.map((candidate) => candidate.checkId));\n  }\n\n  #settleSlot(slot: CoreSlot, outcome: unknown, productOutcome: boolean): CheckOutcome {\n    if (this.#snapshot !== undefined || slot.lifecycle.kind !== \"open\") {\n      return coreInvariant(\"Trusted Core Check settlement is duplicate, late, or out of scope\");\n    }\n    return this.#commitTerminal(slot, outcome, productOutcome);\n  }\n\n  #settleAuthorSlot(slot: CoreSlot, terminal: unknown): AuthorCheckSettlement {\n    if (this.#snapshot !== undefined || slot.lifecycle.kind !== \"open\") {\n      return coreInvariant(\"Trusted Core Check settlement is duplicate, late, or out of scope\");\n    }\n    const diagnostic = terminalDiagnostic(slot);\n    const normalized =\n      diagnostic === undefined\n        ? normalizeCheckOutcome({\n            knownCheckIds: this.#checkIds(),\n            productOutcome: false,\n            value: terminal\n          })\n        : undefined;\n    const outcome = normalized ?? unavailable(diagnostic ?? \"invalid-execution-result\");\n    slot.lifecycle = Object.freeze({ kind: \"settled\", outcome });\n    return Object.freeze({\n      authorResultAccepted: diagnostic === undefined && normalized !== undefined,\n      outcome\n    });\n  }\n\n  #commitTerminal(slot: CoreSlot, terminal: unknown, productOutcome = false): CheckOutcome {\n    if (slot.lifecycle.kind === \"settled\") {\n      coreInvariant(\"Core Check terminal closure is duplicate\");\n    }\n    const diagnostic = terminalDiagnostic(slot);\n    const outcome =\n      diagnostic === undefined\n        ? (normalizeCheckOutcome({\n            knownCheckIds: this.#checkIds(),\n            productOutcome,\n            value: terminal\n          }) ?? unavailable(\"invalid-execution-result\"))\n        : unavailable(diagnostic);\n    slot.lifecycle = Object.freeze({ kind: \"settled\", outcome });\n    return outcome;\n  }\n}\n\nfunction terminalDiagnostic(slot: CoreSlot): RecordDiagnostic | undefined {\n  if (slot.diagnostics.has(\"record-conflict\")) return \"record-conflict\";\n  if (slot.diagnostics.has(\"record-invalid\")) return \"record-invalid\";\n  return undefined;\n}\n\nfunction coreCheckFor(slot: CoreSlot): CoreCheck {\n  if (slot.lifecycle.kind !== \"settled\") {\n    coreInvariant(\"Core Check fact requires a settled slot\");\n  }\n  return Object.freeze({\n    checkId: slot.definition.checkId,\n    displayName: slot.definition.displayName,\n    outcome: slot.lifecycle.outcome\n  });\n}\n\nfunction unavailable(code: string): CheckOutcome {\n  return Object.freeze({ status: \"unavailable\", reason: Object.freeze({ code }) });\n}\n\nexport function createCoreCheckSession(\n  registrations: readonly CoreCheckRegistration[]\n): CoreCheckSession {\n  return new CoreCheckSessionImpl(registrations);\n}\n"]}

package/dist/esm/data-boundary/canonical-data.mjs

@@ -1,17 +1,35 @@
 const encoder = new TextEncoder();
 /**
- * Materializes arbitrary author data without property reads or JSON hooks.
- * The returned graph is detached, prototype-safe, and deeply frozen before it
- * becomes a Core fact. Canonical text order is applied explicitly at serialization.
+ * 将输入规范化为独立且递归冻结的 canonical JSON 对象副本。
+ *
+ * 递归内容只接受普通对象或 null-prototype 对象、标准无空洞数组和有限 JSON 基本值；仅当顶层结果是
+ * 非数组对象时返回该副本。输出对象使用 null prototype，输出对象和数组均独立于输入且递归冻结。不调用
+ * getter 或 `toJSON`；无效输入、循环引用或反射失败返回 `undefined`。反射 Proxy 时仍可能执行其 trap，
+ * 不隔离 trap 的副作用。
  */
 export function canonicalizeJsonObject(value) {
     const canonical = canonicalize(value, new Set());
     return canonical !== undefined && isCanonicalJsonObject(canonical) ? canonical : undefined;
 }
+/**
+ * 将输入规范化为独立且递归冻结的 canonical JSON 值副本。
+ *
+ * 接受 `null`、boolean、string、有限 number、普通对象或 null-prototype 对象，以及标准无空洞数组；
+ * `-0` 转换为 `0`，输出对象使用 null prototype。拒绝存取器、稀疏数组、不可枚举的自有属性、非有限
+ * number 和其它 prototype。不调用 getter 或 `toJSON`；无效输入、循环引用或反射失败返回 `undefined`。
+ * 反射 Proxy 时仍可能执行其 trap，不隔离 trap 的副作用。`CanonicalJsonPrimitive` 的 `number` 在
+ * TypeScript 中仍可表示 `NaN`，有限性只能由本函数在运行时检查。
+ */
 export function canonicalizeJsonValue(value) {
     return canonicalize(value, new Set());
 }
-/** Serializes detached canonical JSON with explicit lexical object-key ordering. */
+/**
+ * 规范化输入后生成确定性的无额外空白 JSON 文本。
+ *
+ * 对象键按固定的 lexical `<` 顺序输出，不承诺遵循外部 canonical-JSON 标准。即使同一对象已经过
+ * 规范化，`JSON.stringify` 仍按 ECMAScript 的整数索引键顺序输出，不能替代本函数。输入规则与 Proxy
+ * 边界同 `canonicalizeJsonValue`；无效输入或无法反射的 Proxy 均抛出 `TypeError`。
+ */
 export function canonicalJsonText(value) {
     const canonical = canonicalizeJsonValue(value);
     if (canonical === undefined) {
@@ -19,7 +37,12 @@ export function canonicalJsonText(value) {
     }
     return canonicalText(canonical);
 }
-/** Emits canonical UTF-8 JSON without invoking author getters or `toJSON`. */
+/**
+ * 规范化输入后生成与 `canonicalJsonText` 相同的确定性 UTF-8 JSON 字节。
+ *
+ * 函数自行完成规范化与固定键排序，不要求调用方先取得 canonical JSON 值。输入规则、Proxy 边界和
+ * `TypeError` 失败方式与 `canonicalJsonText` 相同。
+ */
 export function canonicalJsonBytes(value) {
     return encoder.encode(canonicalJsonText(value));
 }
@@ -69,7 +92,7 @@ function denseCanonicalArrayLength(value) {
         return undefined;
     const keys = Reflect.ownKeys(value);
     const lengthDescriptor = Object.getOwnPropertyDescriptor(value, "length");
-    if (!isDataDescriptor(lengthDescriptor) || lengthDescriptor.enumerable)
+    if (!isDataDescriptor(lengthDescriptor) || lengthDescriptor.enumerable === true)
         return undefined;
     const length = lengthDescriptor.value;
     if (typeof length !== "number" ||
@@ -143,7 +166,13 @@ function canonicalText(value) {
     }
     return `{${Object.keys(value)
         .sort(compareText)
-        .map((key) => `${JSON.stringify(key)}:${canonicalText(value[key])}`)
+        .map((key) => {
+        const entry = value[key];
+        if (entry === undefined) {
+            throw new TypeError(`Canonical JSON object is missing declared key: ${key}`);
+        }
+        return `${JSON.stringify(key)}:${canonicalText(entry)}`;
+    })
         .join(",")}}`;
 }
 function isCanonicalJsonArray(value) {

package/dist/esm/data-boundary/canonical-data.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"canonical-data.mjs","sourceRoot":"","sources":["../../../src/data-boundary/canonical-data.ts"],"names":[],"mappings":"AAQA,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAC;AAElC;;;;GAIG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAAc;IACnD,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,EAAE,IAAI,GAAG,EAAU,CAAC,CAAC;IACzD,OAAO,SAAS,KAAK,SAAS,IAAI,qBAAqB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7F,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,KAAc;IAClD,OAAO,YAAY,CAAC,KAAK,EAAE,IAAI,GAAG,EAAU,CAAC,CAAC;AAChD,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,iBAAiB,CAAC,KAAc;IAC9C,MAAM,SAAS,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;IAC/C,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,IAAI,SAAS,CAAC,uDAAuD,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,aAAa,CAAC,SAAS,CAAC,CAAC;AAClC,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,kBAAkB,CAAC,KAAc;IAC/C,OAAO,OAAO,CAAC,MAAM,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,YAAY,CAAC,KAAc,EAAE,SAAsB;IAC1D,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChC,MAAM,SAAS,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAC5C,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC9C,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAChD,IAAI,CAAC,oBAAoB,CAAC,KAAK,EAAE,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IAE9D,IAAI,CAAC;QACH,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YACzB,CAAC,CAAC,iBAAiB,CAAC,KAAK,EAAE,SAAS,CAAC;YACrC,CAAC,CAAC,kBAAkB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IAC3C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;YAAS,CAAC;QACT,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC1B,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAc;IACxC,IAAI,OAAO,KAAK,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC1E,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3E,OAAO,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AAC1C,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAa,EAAE,SAAsB;IACjE,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACvC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACrB,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,iBAAiB,CACxB,KAAyB,EACzB,SAAsB;IAEtB,MAAM,MAAM,GAAG,yBAAyB,CAAC,KAAK,CAAC,CAAC;IAChD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC3C,OAAO,sBAAsB,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,yBAAyB,CAAC,KAAyB;IAC1D,IAAI,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,SAAS;QAAE,OAAO,SAAS,CAAC;IACvE,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACpC,MAAM,gBAAgB,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC1E,IAAI,CAAC,gBAAgB,CAAC,gBAAgB,CAAC,IAAI,gBAAgB,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IACzF,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,CAAC;IACtC,IACE,OAAO,MAAM,KAAK,QAAQ;QAC1B,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC;QAC7B,MAAM,GAAG,CAAC;QACV,IAAI,CAAC,MAAM,KAAK,MAAM,GAAG,CAAC;QAE1B,OAAO,SAAS,CAAC;IACnB,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/C,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,sBAAsB,CAC7B,KAAyB,EACzB,MAAc,EACd,SAAsB;IAEtB,MAAM,MAAM,GAAyB,EAAE,CAAC;IACxC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC/C,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QAC1B,MAAM,UAAU,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC/D,IAAI,CAAC,0BAA0B,CAAC,UAAU,CAAC;YAAE,OAAO,SAAS,CAAC;QAC9D,MAAM,IAAI,GAAG,YAAY,CAAC,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QACvD,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QACzC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,kBAAkB,CACzB,KAAa,EACb,SAAsB;IAEtB,MAAM,SAAS,GAAY,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;IACxD,IAAI,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IAC3E,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzC,IAAI,OAAO,GAAG,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QAC9C,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjB,CAAC;IAED,MAAM,QAAQ,GAAuC,EAAE,CAAC;IACxD,MAAM,CAAC,cAAc,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IACtC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;QACzC,MAAM,UAAU,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC/D,IAAI,CAAC,0BAA0B,CAAC,UAAU,CAAC;YAAE,OAAO,SAAS,CAAC;QAC9D,MAAM,IAAI,GAAG,YAAY,CAAC,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QACvD,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QACzC,MAAM,CAAC,cAAc,CAAC,QAAQ,EAAE,GAAG,EAAE;YACnC,YAAY,EAAE,KAAK;YACnB,UAAU,EAAE,IAAI;YAChB,KAAK,EAAE,IAAI;YACX,QAAQ,EAAE,KAAK;SAChB,CAAC,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;AACjC,CAAC;AASD,SAAS,gBAAgB,CACvB,UAA0C;IAE1C,OAAO,CACL,UAAU,KAAK,SAAS;QACxB,UAAU,CAAC,GAAG,KAAK,SAAS;QAC5B,UAAU,CAAC,GAAG,KAAK,SAAS;QAC5B,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,CACnC,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CACjC,UAA0C;IAE1C,OAAO,gBAAgB,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,UAAU,KAAK,IAAI,CAAC;AACxE,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAyB;IACtD,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,aAAa,CAAC,KAAyB;IAC9C,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC9E,IAAI,oBAAoB,CAAC,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IACrE,CAAC;IACD,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;SAC1B,IAAI,CAAC,WAAW,CAAC;SACjB,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,aAAa,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;SACnE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AAClB,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAyB;IACrD,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,KAAa;IAC9C,IAAI,IAAI,GAAG,KAAK;QAAE,OAAO,CAAC,CAAC,CAAC;IAC5B,IAAI,IAAI,GAAG,KAAK;QAAE,OAAO,CAAC,CAAC;IAC3B,OAAO,CAAC,CAAC;AACX,CAAC","sourcesContent":["import type { CanonicalJsonObject, CanonicalJsonValue } from \"./canonical-json.ts\";\n\nexport type {\n  CanonicalJsonObject,\n  CanonicalJsonPrimitive,\n  CanonicalJsonValue\n} from \"./canonical-json.ts\";\n\nconst encoder = new TextEncoder();\n\n/**\n * Materializes arbitrary author data without property reads or JSON hooks.\n * The returned graph is detached, prototype-safe, and deeply frozen before it\n * becomes a Core fact. Canonical text order is applied explicitly at serialization.\n */\nexport function canonicalizeJsonObject(value: unknown): CanonicalJsonObject | undefined {\n  const canonical = canonicalize(value, new Set<object>());\n  return canonical !== undefined && isCanonicalJsonObject(canonical) ? canonical : undefined;\n}\n\nexport function canonicalizeJsonValue(value: unknown): CanonicalJsonValue | undefined {\n  return canonicalize(value, new Set<object>());\n}\n\n/** Serializes detached canonical JSON with explicit lexical object-key ordering. */\nexport function canonicalJsonText(value: unknown): string {\n  const canonical = canonicalizeJsonValue(value);\n  if (canonical === undefined) {\n    throw new TypeError(\"Canonical JSON could not safely materialize the input\");\n  }\n  return canonicalText(canonical);\n}\n\n/** Emits canonical UTF-8 JSON without invoking author getters or `toJSON`. */\nexport function canonicalJsonBytes(value: unknown): Uint8Array {\n  return encoder.encode(canonicalJsonText(value));\n}\n\nfunction canonicalize(value: unknown, ancestors: Set<object>): CanonicalJsonValue | undefined {\n  if (value === null) return null;\n  const primitive = canonicalPrimitive(value);\n  if (primitive !== undefined) return primitive;\n  if (typeof value !== \"object\") return undefined;\n  if (!admitCanonicalObject(value, ancestors)) return undefined;\n\n  try {\n    return Array.isArray(value)\n      ? canonicalizeArray(value, ancestors)\n      : canonicalizeObject(value, ancestors);\n  } catch {\n    return undefined;\n  } finally {\n    ancestors.delete(value);\n  }\n}\n\nfunction canonicalPrimitive(value: unknown): CanonicalJsonValue | undefined {\n  if (typeof value === \"boolean\" || typeof value === \"string\") return value;\n  if (typeof value !== \"number\" || !Number.isFinite(value)) return undefined;\n  return Object.is(value, -0) ? 0 : value;\n}\n\nfunction admitCanonicalObject(value: object, ancestors: Set<object>): boolean {\n  if (ancestors.has(value)) return false;\n  ancestors.add(value);\n  return true;\n}\n\nfunction canonicalizeArray(\n  value: readonly unknown[],\n  ancestors: Set<object>\n): readonly CanonicalJsonValue[] | undefined {\n  const length = denseCanonicalArrayLength(value);\n  if (length === undefined) return undefined;\n  return canonicalArrayElements(value, length, ancestors);\n}\n\nfunction denseCanonicalArrayLength(value: readonly unknown[]): number | undefined {\n  if (Object.getPrototypeOf(value) !== Array.prototype) return undefined;\n  const keys = Reflect.ownKeys(value);\n  const lengthDescriptor = Object.getOwnPropertyDescriptor(value, \"length\");\n  if (!isDataDescriptor(lengthDescriptor) || lengthDescriptor.enumerable) return undefined;\n  const length = lengthDescriptor.value;\n  if (\n    typeof length !== \"number\" ||\n    !Number.isSafeInteger(length) ||\n    length < 0 ||\n    keys.length !== length + 1\n  )\n    return undefined;\n  if (!keys.includes(\"length\")) return undefined;\n  return length;\n}\n\nfunction canonicalArrayElements(\n  value: readonly unknown[],\n  length: number,\n  ancestors: Set<object>\n): readonly CanonicalJsonValue[] | undefined {\n  const values: CanonicalJsonValue[] = [];\n  for (let index = 0; index < length; index += 1) {\n    const key = String(index);\n    const descriptor = Object.getOwnPropertyDescriptor(value, key);\n    if (!isEnumerableDataDescriptor(descriptor)) return undefined;\n    const item = canonicalize(descriptor.value, ancestors);\n    if (item === undefined) return undefined;\n    values.push(item);\n  }\n  return Object.freeze(values);\n}\n\nfunction canonicalizeObject(\n  value: object,\n  ancestors: Set<object>\n): CanonicalJsonObject | undefined {\n  const prototype: unknown = Object.getPrototypeOf(value);\n  if (prototype !== Object.prototype && prototype !== null) return undefined;\n  const keys: string[] = [];\n  for (const key of Reflect.ownKeys(value)) {\n    if (typeof key !== \"string\") return undefined;\n    keys.push(key);\n  }\n\n  const snapshot: Record<string, CanonicalJsonValue> = {};\n  Object.setPrototypeOf(snapshot, null);\n  for (const key of keys.sort(compareText)) {\n    const descriptor = Object.getOwnPropertyDescriptor(value, key);\n    if (!isEnumerableDataDescriptor(descriptor)) return undefined;\n    const item = canonicalize(descriptor.value, ancestors);\n    if (item === undefined) return undefined;\n    Object.defineProperty(snapshot, key, {\n      configurable: false,\n      enumerable: true,\n      value: item,\n      writable: false\n    });\n  }\n  return Object.freeze(snapshot);\n}\n\ntype DataDescriptor = Omit<PropertyDescriptor, \"get\" | \"set\" | \"value\"> &\n  Readonly<{\n    get?: undefined;\n    set?: undefined;\n    value: unknown;\n  }>;\n\nfunction isDataDescriptor(\n  descriptor: PropertyDescriptor | undefined\n): descriptor is DataDescriptor {\n  return (\n    descriptor !== undefined &&\n    descriptor.get === undefined &&\n    descriptor.set === undefined &&\n    Object.hasOwn(descriptor, \"value\")\n  );\n}\n\nfunction isEnumerableDataDescriptor(\n  descriptor: PropertyDescriptor | undefined\n): descriptor is DataDescriptor {\n  return isDataDescriptor(descriptor) && descriptor.enumerable === true;\n}\n\nfunction isCanonicalJsonObject(value: CanonicalJsonValue): value is CanonicalJsonObject {\n  return typeof value === \"object\" && value !== null && !Array.isArray(value);\n}\n\nfunction canonicalText(value: CanonicalJsonValue): string {\n  if (value === null || typeof value !== \"object\") return JSON.stringify(value);\n  if (isCanonicalJsonArray(value)) {\n    return `[${value.map((entry) => canonicalText(entry)).join(\",\")}]`;\n  }\n  return `{${Object.keys(value)\n    .sort(compareText)\n    .map((key) => `${JSON.stringify(key)}:${canonicalText(value[key])}`)\n    .join(\",\")}}`;\n}\n\nfunction isCanonicalJsonArray(value: CanonicalJsonValue): value is readonly CanonicalJsonValue[] {\n  return Array.isArray(value);\n}\n\nfunction compareText(left: string, right: string): number {\n  if (left < right) return -1;\n  if (left > right) return 1;\n  return 0;\n}\n"]}
+{"version":3,"file":"canonical-data.mjs","sourceRoot":"","sources":["../../../src/data-boundary/canonical-data.ts"],"names":[],"mappings":"AAQA,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAC;AAElC;;;;;;;GAOG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAAc;IACnD,MAAM,SAAS,GAAG,YAAY,CAAC,KAAK,EAAE,IAAI,GAAG,EAAU,CAAC,CAAC;IACzD,OAAO,SAAS,KAAK,SAAS,IAAI,qBAAqB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7F,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,qBAAqB,CAAC,KAAc;IAClD,OAAO,YAAY,CAAC,KAAK,EAAE,IAAI,GAAG,EAAU,CAAC,CAAC;AAChD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAc;IAC9C,MAAM,SAAS,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;IAC/C,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,IAAI,SAAS,CAAC,uDAAuD,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,aAAa,CAAC,SAAS,CAAC,CAAC;AAClC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAc;IAC/C,OAAO,OAAO,CAAC,MAAM,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,YAAY,CAAC,KAAc,EAAE,SAAsB;IAC1D,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChC,MAAM,SAAS,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAC5C,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC9C,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAChD,IAAI,CAAC,oBAAoB,CAAC,KAAK,EAAE,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IAE9D,IAAI,CAAC;QACH,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YACzB,CAAC,CAAC,iBAAiB,CAAC,KAAK,EAAE,SAAS,CAAC;YACrC,CAAC,CAAC,kBAAkB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IAC3C,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;YAAS,CAAC;QACT,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC1B,CAAC;AACH,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAc;IACxC,IAAI,OAAO,KAAK,KAAK,SAAS,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC1E,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3E,OAAO,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AAC1C,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAa,EAAE,SAAsB;IACjE,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACvC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACrB,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,iBAAiB,CACxB,KAAyB,EACzB,SAAsB;IAEtB,MAAM,MAAM,GAAG,yBAAyB,CAAC,KAAK,CAAC,CAAC;IAChD,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC3C,OAAO,sBAAsB,CAAC,KAAK,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,yBAAyB,CAAC,KAAyB;IAC1D,IAAI,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,SAAS;QAAE,OAAO,SAAS,CAAC;IACvE,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACpC,MAAM,gBAAgB,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC1E,IAAI,CAAC,gBAAgB,CAAC,gBAAgB,CAAC,IAAI,gBAAgB,CAAC,UAAU,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IAClG,MAAM,MAAM,GAAG,gBAAgB,CAAC,KAAK,CAAC;IACtC,IACE,OAAO,MAAM,KAAK,QAAQ;QAC1B,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC;QAC7B,MAAM,GAAG,CAAC;QACV,IAAI,CAAC,MAAM,KAAK,MAAM,GAAG,CAAC;QAE1B,OAAO,SAAS,CAAC;IACnB,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/C,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,sBAAsB,CAC7B,KAAyB,EACzB,MAAc,EACd,SAAsB;IAEtB,MAAM,MAAM,GAAyB,EAAE,CAAC;IACxC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC/C,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QAC1B,MAAM,UAAU,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC/D,IAAI,CAAC,0BAA0B,CAAC,UAAU,CAAC;YAAE,OAAO,SAAS,CAAC;QAC9D,MAAM,IAAI,GAAG,YAAY,CAAC,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QACvD,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QACzC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,kBAAkB,CACzB,KAAa,EACb,SAAsB;IAEtB,MAAM,SAAS,GAAY,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;IACxD,IAAI,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IAC3E,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzC,IAAI,OAAO,GAAG,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QAC9C,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjB,CAAC;IAED,MAAM,QAAQ,GAAuC,EAAE,CAAC;IACxD,MAAM,CAAC,cAAc,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IACtC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;QACzC,MAAM,UAAU,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC/D,IAAI,CAAC,0BAA0B,CAAC,UAAU,CAAC;YAAE,OAAO,SAAS,CAAC;QAC9D,MAAM,IAAI,GAAG,YAAY,CAAC,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QACvD,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QACzC,MAAM,CAAC,cAAc,CAAC,QAAQ,EAAE,GAAG,EAAE;YACnC,YAAY,EAAE,KAAK;YACnB,UAAU,EAAE,IAAI;YAChB,KAAK,EAAE,IAAI;YACX,QAAQ,EAAE,KAAK;SAChB,CAAC,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;AACjC,CAAC;AAOD,SAAS,gBAAgB,CACvB,UAA0C;IAE1C,OAAO,CACL,UAAU,KAAK,SAAS;QACxB,UAAU,CAAC,GAAG,KAAK,SAAS;QAC5B,UAAU,CAAC,GAAG,KAAK,SAAS;QAC5B,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,CACnC,CAAC;AACJ,CAAC;AAED,SAAS,0BAA0B,CACjC,UAA0C;IAE1C,OAAO,gBAAgB,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,UAAU,KAAK,IAAI,CAAC;AACxE,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAyB;IACtD,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,SAAS,aAAa,CAAC,KAAyB;IAC9C,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC9E,IAAI,oBAAoB,CAAC,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;IACrE,CAAC;IACD,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;SAC1B,IAAI,CAAC,WAAW,CAAC;SACjB,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QACX,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;QACzB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,IAAI,SAAS,CAAC,kDAAkD,GAAG,EAAE,CAAC,CAAC;QAC/E,CAAC;QACD,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;IAC1D,CAAC,CAAC;SACD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AAClB,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAyB;IACrD,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,KAAa;IAC9C,IAAI,IAAI,GAAG,KAAK;QAAE,OAAO,CAAC,CAAC,CAAC;IAC5B,IAAI,IAAI,GAAG,KAAK;QAAE,OAAO,CAAC,CAAC;IAC3B,OAAO,CAAC,CAAC;AACX,CAAC","sourcesContent":["import type { CanonicalJsonObject, CanonicalJsonValue } from \"./canonical-json.ts\";\n\nexport type {\n  CanonicalJsonObject,\n  CanonicalJsonPrimitive,\n  CanonicalJsonValue\n} from \"./canonical-json.ts\";\n\nconst encoder = new TextEncoder();\n\n/**\n * 将输入规范化为独立且递归冻结的 canonical JSON 对象副本。\n *\n * 递归内容只接受普通对象或 null-prototype 对象、标准无空洞数组和有限 JSON 基本值；仅当顶层结果是\n * 非数组对象时返回该副本。输出对象使用 null prototype，输出对象和数组均独立于输入且递归冻结。不调用\n * getter 或 `toJSON`；无效输入、循环引用或反射失败返回 `undefined`。反射 Proxy 时仍可能执行其 trap，\n * 不隔离 trap 的副作用。\n */\nexport function canonicalizeJsonObject(value: unknown): CanonicalJsonObject | undefined {\n  const canonical = canonicalize(value, new Set<object>());\n  return canonical !== undefined && isCanonicalJsonObject(canonical) ? canonical : undefined;\n}\n\n/**\n * 将输入规范化为独立且递归冻结的 canonical JSON 值副本。\n *\n * 接受 `null`、boolean、string、有限 number、普通对象或 null-prototype 对象，以及标准无空洞数组；\n * `-0` 转换为 `0`，输出对象使用 null prototype。拒绝存取器、稀疏数组、不可枚举的自有属性、非有限\n * number 和其它 prototype。不调用 getter 或 `toJSON`；无效输入、循环引用或反射失败返回 `undefined`。\n * 反射 Proxy 时仍可能执行其 trap，不隔离 trap 的副作用。`CanonicalJsonPrimitive` 的 `number` 在\n * TypeScript 中仍可表示 `NaN`，有限性只能由本函数在运行时检查。\n */\nexport function canonicalizeJsonValue(value: unknown): CanonicalJsonValue | undefined {\n  return canonicalize(value, new Set<object>());\n}\n\n/**\n * 规范化输入后生成确定性的无额外空白 JSON 文本。\n *\n * 对象键按固定的 lexical `<` 顺序输出，不承诺遵循外部 canonical-JSON 标准。即使同一对象已经过\n * 规范化，`JSON.stringify` 仍按 ECMAScript 的整数索引键顺序输出，不能替代本函数。输入规则与 Proxy\n * 边界同 `canonicalizeJsonValue`；无效输入或无法反射的 Proxy 均抛出 `TypeError`。\n */\nexport function canonicalJsonText(value: unknown): string {\n  const canonical = canonicalizeJsonValue(value);\n  if (canonical === undefined) {\n    throw new TypeError(\"Canonical JSON could not safely materialize the input\");\n  }\n  return canonicalText(canonical);\n}\n\n/**\n * 规范化输入后生成与 `canonicalJsonText` 相同的确定性 UTF-8 JSON 字节。\n *\n * 函数自行完成规范化与固定键排序，不要求调用方先取得 canonical JSON 值。输入规则、Proxy 边界和\n * `TypeError` 失败方式与 `canonicalJsonText` 相同。\n */\nexport function canonicalJsonBytes(value: unknown): Uint8Array {\n  return encoder.encode(canonicalJsonText(value));\n}\n\nfunction canonicalize(value: unknown, ancestors: Set<object>): CanonicalJsonValue | undefined {\n  if (value === null) return null;\n  const primitive = canonicalPrimitive(value);\n  if (primitive !== undefined) return primitive;\n  if (typeof value !== \"object\") return undefined;\n  if (!admitCanonicalObject(value, ancestors)) return undefined;\n\n  try {\n    return Array.isArray(value)\n      ? canonicalizeArray(value, ancestors)\n      : canonicalizeObject(value, ancestors);\n  } catch {\n    return undefined;\n  } finally {\n    ancestors.delete(value);\n  }\n}\n\nfunction canonicalPrimitive(value: unknown): CanonicalJsonValue | undefined {\n  if (typeof value === \"boolean\" || typeof value === \"string\") return value;\n  if (typeof value !== \"number\" || !Number.isFinite(value)) return undefined;\n  return Object.is(value, -0) ? 0 : value;\n}\n\nfunction admitCanonicalObject(value: object, ancestors: Set<object>): boolean {\n  if (ancestors.has(value)) return false;\n  ancestors.add(value);\n  return true;\n}\n\nfunction canonicalizeArray(\n  value: readonly unknown[],\n  ancestors: Set<object>\n): readonly CanonicalJsonValue[] | undefined {\n  const length = denseCanonicalArrayLength(value);\n  if (length === undefined) return undefined;\n  return canonicalArrayElements(value, length, ancestors);\n}\n\nfunction denseCanonicalArrayLength(value: readonly unknown[]): number | undefined {\n  if (Object.getPrototypeOf(value) !== Array.prototype) return undefined;\n  const keys = Reflect.ownKeys(value);\n  const lengthDescriptor = Object.getOwnPropertyDescriptor(value, \"length\");\n  if (!isDataDescriptor(lengthDescriptor) || lengthDescriptor.enumerable === true) return undefined;\n  const length = lengthDescriptor.value;\n  if (\n    typeof length !== \"number\" ||\n    !Number.isSafeInteger(length) ||\n    length < 0 ||\n    keys.length !== length + 1\n  )\n    return undefined;\n  if (!keys.includes(\"length\")) return undefined;\n  return length;\n}\n\nfunction canonicalArrayElements(\n  value: readonly unknown[],\n  length: number,\n  ancestors: Set<object>\n): readonly CanonicalJsonValue[] | undefined {\n  const values: CanonicalJsonValue[] = [];\n  for (let index = 0; index < length; index += 1) {\n    const key = String(index);\n    const descriptor = Object.getOwnPropertyDescriptor(value, key);\n    if (!isEnumerableDataDescriptor(descriptor)) return undefined;\n    const item = canonicalize(descriptor.value, ancestors);\n    if (item === undefined) return undefined;\n    values.push(item);\n  }\n  return Object.freeze(values);\n}\n\nfunction canonicalizeObject(\n  value: object,\n  ancestors: Set<object>\n): CanonicalJsonObject | undefined {\n  const prototype: unknown = Object.getPrototypeOf(value);\n  if (prototype !== Object.prototype && prototype !== null) return undefined;\n  const keys: string[] = [];\n  for (const key of Reflect.ownKeys(value)) {\n    if (typeof key !== \"string\") return undefined;\n    keys.push(key);\n  }\n\n  const snapshot: Record<string, CanonicalJsonValue> = {};\n  Object.setPrototypeOf(snapshot, null);\n  for (const key of keys.sort(compareText)) {\n    const descriptor = Object.getOwnPropertyDescriptor(value, key);\n    if (!isEnumerableDataDescriptor(descriptor)) return undefined;\n    const item = canonicalize(descriptor.value, ancestors);\n    if (item === undefined) return undefined;\n    Object.defineProperty(snapshot, key, {\n      configurable: false,\n      enumerable: true,\n      value: item,\n      writable: false\n    });\n  }\n  return Object.freeze(snapshot);\n}\n\ntype DataDescriptor = Omit<PropertyDescriptor, \"get\" | \"set\" | \"value\"> &\n  Readonly<{\n    value: unknown;\n  }>;\n\nfunction isDataDescriptor(\n  descriptor: PropertyDescriptor | undefined\n): descriptor is DataDescriptor {\n  return (\n    descriptor !== undefined &&\n    descriptor.get === undefined &&\n    descriptor.set === undefined &&\n    Object.hasOwn(descriptor, \"value\")\n  );\n}\n\nfunction isEnumerableDataDescriptor(\n  descriptor: PropertyDescriptor | undefined\n): descriptor is DataDescriptor {\n  return isDataDescriptor(descriptor) && descriptor.enumerable === true;\n}\n\nfunction isCanonicalJsonObject(value: CanonicalJsonValue): value is CanonicalJsonObject {\n  return typeof value === \"object\" && value !== null && !Array.isArray(value);\n}\n\nfunction canonicalText(value: CanonicalJsonValue): string {\n  if (value === null || typeof value !== \"object\") return JSON.stringify(value);\n  if (isCanonicalJsonArray(value)) {\n    return `[${value.map((entry) => canonicalText(entry)).join(\",\")}]`;\n  }\n  return `{${Object.keys(value)\n    .sort(compareText)\n    .map((key) => {\n      const entry = value[key];\n      if (entry === undefined) {\n        throw new TypeError(`Canonical JSON object is missing declared key: ${key}`);\n      }\n      return `${JSON.stringify(key)}:${canonicalText(entry)}`;\n    })\n    .join(\",\")}}`;\n}\n\nfunction isCanonicalJsonArray(value: CanonicalJsonValue): value is readonly CanonicalJsonValue[] {\n  return Array.isArray(value);\n}\n\nfunction compareText(left: string, right: string): number {\n  if (left < right) return -1;\n  if (left > right) return 1;\n  return 0;\n}\n"]}

package/dist/esm/data-boundary/canonical-json.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"canonical-json.mjs","sourceRoot":"","sources":["../../../src/data-boundary/canonical-json.ts"],"names":[],"mappings":"","sourcesContent":["/** Package-private static shape for Product's detached canonical JSON facts. */\nexport type CanonicalJsonPrimitive = boolean | null | number | string;\n\nexport type CanonicalJsonValue =\n  | CanonicalJsonPrimitive\n  | readonly CanonicalJsonValue[]\n  | CanonicalJsonObject;\n\nexport interface CanonicalJsonObject {\n  readonly [key: string]: CanonicalJsonValue;\n}\n"]}
+{"version":3,"file":"canonical-json.mjs","sourceRoot":"","sources":["../../../src/data-boundary/canonical-json.ts"],"names":[],"mappings":"","sourcesContent":["/**\n * Canonical JSON 基本值的静态结构类型。\n *\n * TypeScript 的 `number` 无法在静态层区分有限值与 `NaN` / `Infinity`；因此此类型不能证明值已经由\n * canonical API 规范化。运行时只接受有限 number，并将 `-0` 转换为 `0`。\n */\nexport type CanonicalJsonPrimitive = boolean | null | number | string;\n\n/**\n * Canonical JSON 值的递归只读静态结构类型。\n *\n * 它描述基本值、数组和对象能够如何组合，便于声明参数和结果；不证明值已经通过 canonical API 的\n * 运行时规范化、递归冻结或循环检查。\n */\nexport type CanonicalJsonValue =\n  | CanonicalJsonPrimitive\n  | readonly CanonicalJsonValue[]\n  | CanonicalJsonObject;\n\n/**\n * Canonical JSON 对象的只读静态结构类型。\n *\n * 该类型不证明值来自 canonical API。API 实际返回的对象使用 null prototype，没有继承的对象方法；\n * 检查属性时使用 `Object.hasOwn`，不要调用 `value.hasOwnProperty`。\n */\nexport interface CanonicalJsonObject {\n  readonly [key: string]: CanonicalJsonValue;\n}\n"]}