npm - @zxyycom/vibe-check - Versions diffs - 0.0.1 → 0.0.2 - Mend

@zxyycom/vibe-check 0.0.1 → 0.0.2

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (950) hide show

package/dist/esm/check-settlement/fact-validation.mjs CHANGED Viewed

@@ -1,9 +1,10 @@
 import { canonicalizeJsonObject } from "../data-boundary/canonical-data.mjs";
 import { validateCheckDescriptor } from "../check/descriptor-validation.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";
 export function validateCoreSnapshot(value) {
     const snapshot = snapshotClosedRecord(value);
-    if (snapshot === undefined || !hasExactKeys(snapshot, ["checks", "records"])) {
+    if (snapshot === undefined || !hasExactPlainRecordKeys(snapshot, ["checks", "records"])) {
         return invalid("$", "Core snapshot must contain only checks and records");
     }
     const checksInput = snapshotClosedArray(snapshot.checks);
@@ -42,7 +43,8 @@ function validateChecks(values) {
     let previousCheckId;
     for (const [index, value] of values.entries()) {
         const check = snapshotClosedRecord(value);
-        if (check === undefined || !hasExactKeys(check, ["checkId", "displayName", "outcome"])) {
+        if (check === undefined ||
+            !hasExactPlainRecordKeys(check, ["checkId", "displayName", "outcome"])) {
             return invalid(`$.checks[${index}]`, "Core Check must be closed");
         }
         const definition = validateCheckDescriptor({
@@ -95,7 +97,7 @@ function validateRecords(values, checks) {
 }
 function validateRecordRow(value, index, ownerIds) {
     const record = snapshotClosedRecord(value);
-    if (record === undefined || !hasExactKeys(record, ["checkId", "id", "data"]))
+    if (record === undefined || !hasExactPlainRecordKeys(record, ["checkId", "id", "data"]))
         return invalid(`$.records[${index}]`, "Core Record must be closed");
     if (typeof record.checkId !== "string" ||
         !ownerIds.has(record.checkId) ||
@@ -123,7 +125,7 @@ function validateOutcome(value, path) {
 }
 function validateFinalOutcome(outcome, path) {
     if (outcome.status === "passed" || outcome.status === "failed") {
-        if (!hasExactKeys(outcome, ["status", "data"]))
+        if (!hasExactPlainRecordKeys(outcome, ["status", "data"]))
             return invalid(path, "Final outcome is not closed");
         const data = canonicalizeJsonObject(outcome.data);
         return data === undefined
@@ -133,7 +135,10 @@ function validateFinalOutcome(outcome, path) {
     return invalid(`${path}.status`, "Unknown Check outcome status");
 }
 function validateNotApplicableOutcome(outcome, path) {
-    if (!hasOptionalKeys(outcome, ["status"], ["reason"]))
+    if (!hasRequiredAndOptionalRecordKeys(outcome, {
+        optional: ["reason"],
+        required: ["status"]
+    }))
         return invalid(path, "Not-applicable outcome is not closed");
     const reason = validateReason(outcome.reason, false);
     return reason === null
@@ -141,7 +146,7 @@ function validateNotApplicableOutcome(outcome, path) {
         : accepted(Object.freeze(reason === undefined ? { status: "not-applicable" } : { status: "not-applicable", reason }));
 }
 function validateUnavailableOutcome(outcome, path) {
-    if (!hasExactKeys(outcome, ["status", "reason"]))
+    if (!hasExactPlainRecordKeys(outcome, ["status", "reason"]))
         return invalid(path, "Unavailable outcome is not closed");
     const reason = validateReason(outcome.reason, true);
     return reason === null || reason === undefined
@@ -152,9 +157,12 @@ function validateReason(value, allowCheckIds) {
     if (value === undefined)
         return undefined;
     const reason = snapshotClosedRecord(value);
-    if (!isClosedReason(reason, allowCheckIds))
+    if (!isClosedCheckReason(reason, allowCheckIds))
         return null;
-    if (!hasOptionalKeys(reason, ["code"], allowCheckIds ? ["checkIds"] : []))
+    if (!hasRequiredAndOptionalRecordKeys(reason, {
+        optional: allowCheckIds ? ["checkIds"] : [],
+        required: ["code"]
+    }))
         return null;
     if (!Object.hasOwn(reason, "checkIds"))
         return Object.freeze({ code: reason.code });
@@ -163,12 +171,6 @@ function validateReason(value, allowCheckIds) {
         return null;
     return Object.freeze({ code: reason.code, checkIds: Object.freeze(normalizedCheckIds) });
 }
-function isClosedReason(value, allowCheckIds) {
-    return (value !== undefined &&
-        typeof value.code === "string" &&
-        value.code.length > 0 &&
-        hasOptionalKeys(value, ["code"], allowCheckIds ? ["checkIds"] : []));
-}
 function normalizedReasonCheckIds(value, allowCheckIds) {
     const checkIds = snapshotClosedArray(value);
     if (!allowCheckIds ||
@@ -184,14 +186,6 @@ function normalizedReasonCheckIds(value, allowCheckIds) {
     }
     return Object.freeze(normalizedCheckIds);
 }
-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)));
-}
 function accepted(value) {
     return Object.freeze({ ok: true, value });
 }

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

	@@ -1 +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"]}
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,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/outcome-normalization.mjs CHANGED Viewed

@@ -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 CHANGED Viewed

	@@ -1 +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"]}
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,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 ADDED Viewed

@@ -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 ADDED Viewed

@@ -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 CHANGED Viewed

@@ -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))
+            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 CHANGED Viewed

	@@ -1 +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"]}
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;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;YAAE,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,iBAAiB,CAAC,CAAC;QACnE,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)) 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 CHANGED Viewed

@@ -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 CHANGED Viewed

	@@ -1 +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"]}
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;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/closed-values.mjs CHANGED Viewed

@@ -53,6 +53,11 @@ export function snapshotClosedRecord(value) {
         return undefined;
     }
 }
+/** Snapshots a closed plain record only when it has exactly the declared own keys. */
+export function snapshotExactClosedRecord(value, keys) {
+    const record = snapshotClosedRecord(value);
+    return record !== undefined && hasExactPlainRecordKeys(record, keys) ? record : undefined;
+}
 function closedArrayLength(shape) {
     const descriptor = shape.descriptors.length;
     if (typeof descriptor?.value !== "number" || descriptor.enumerable !== false)
@@ -95,4 +100,15 @@ export function hasRequiredAndOptionalRecordKeys(value, keys) {
     return (keys.required.every((key) => Object.hasOwn(value, key)) &&
         Object.keys(value).every((key) => supportedKeys.has(key)));
 }
+/** Snapshots an authoring record whose keys are limited to one required/optional policy. */
+export function snapshotClosedPolicyRecord(value, keys) {
+    const record = snapshotClosedRecord(value);
+    return record !== undefined &&
+        hasRequiredAndOptionalRecordKeys(record, {
+            optional: keys.optional ?? [],
+            required: keys.required ?? []
+        })
+        ? record
+        : undefined;
+}
 //# sourceMappingURL=closed-values.mjs.map

package/dist/esm/data-boundary/closed-values.mjs.map CHANGED Viewed

	@@ -1 +1 @@
1	- {"version":3,"file":"closed-values.mjs","sourceRoot":"","sources":["../../../src/data-boundary/closed-values.ts"],"names":[],"mappings":"AAKA,SAAS,YAAY,CAAC,KAAa;IACjC,MAAM,WAAW,GACf,MAAM,CAAC,yBAAyB,CAAC,KAAK,CAAC,CAAC;IAC1C,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAC7C,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,IAAI,OAAO,GAAG,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QAC9C,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjB,CAAC;IACD,IACE,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE;QAChB,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QACpC,OAAO,UAAU,CAAC,GAAG,KAAK,SAAS,IAAI,UAAU,CAAC,GAAG,KAAK,SAAS,CAAC;IACtE,CAAC,CAAC;QAEF,OAAO,SAAS,CAAC;IACnB,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;AAC/B,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,KAAc;IAChD,IAAI,CAAC;QACH,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACxE,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,MAAM,SAAS,GAAY,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;QACxD,IAAI,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;YACzD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,MAAM,WAAW,GACf,MAAM,CAAC,yBAAyB,CAAC,KAAK,CAAC,CAAC;QAC1C,IACE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,CAC7B,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,KAAK,SAAS,IAAI,UAAU,CAAC,GAAG,KAAK,SAAS,CAC7E,EACD,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC;aACxB,MAAM,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,UAAU,KAAK,IAAI,CAAC;aAC1D,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,UAAU,CAAC,KAAgB,CAAC,CAAC,CAClE,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,KAAc;IAEd,IAAI,CAAC;QACH,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAC1F,MAAM,SAAS,GAAY,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;QACxD,IAAI,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI;YAAE,OAAO,SAAS,CAAC;QAC3E,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QAClC,IACE,KAAK,KAAK,SAAS;YACnB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,KAAK,IAAI,CAAC,EACpE,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,CAClB,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,KAAgB,CAAC,CAAC,CAAC,CAC5F,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAmB;IAC5C,MAAM,UAAU,GAAG,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC;IAC5C,IAAI,OAAO,UAAU,EAAE,KAAK,KAAK,QAAQ,IAAI,UAAU,CAAC,UAAU,KAAK,KAAK;QAAE,OAAO,SAAS,CAAC;IAC/F,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC;IAChC,OAAO,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,MAAM,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM,GAAG,CAAC;QACpF,CAAC,CAAC,MAAM;QACR,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAmB,EAAE,MAAc;IAC3D,MAAM,KAAK,GAAc,EAAE,CAAC;IAC5B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC/C,MAAM,UAAU,GAAG,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QACpD,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,CAAC,UAAU,KAAK,IAAI;YAAE,OAAO,SAAS,CAAC;QACjF,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,KAAgB,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,KAAc;IAChD,IAAI,CAAC;QACH,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,SAAS;YAAE,OAAO,SAAS,CAAC;QAChG,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QAClC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC1C,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;QACxC,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAC5E,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,KAAwC,EACxC,IAAuB;IAEvB,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtC,OAAO,UAAU,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;AAC5F,CAAC;AAED,MAAM,UAAU,gCAAgC,CAC9C,KAAwC,EACxC,IAGE;IAEF,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;IACpE,OAAO,CACL,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACvD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAC1D,CAAC;AACJ,CAAC","sourcesContent":["interface OwnDataShape {\n readonly descriptors: Readonly<Record<string, PropertyDescriptor>>;\n readonly keys: readonly string[];\n}\n\nfunction ownDataShape(value: object): OwnDataShape \| undefined {\n const descriptors: Readonly<Record<string, PropertyDescriptor>> =\n Object.getOwnPropertyDescriptors(value);\n const ownKeys = Reflect.ownKeys(descriptors);\n const keys: string[] = [];\n for (const key of ownKeys) {\n if (typeof key !== \"string\") return undefined;\n keys.push(key);\n }\n if (\n keys.some((key) => {\n const descriptor = descriptors[key];\n return descriptor.get !== undefined \|\| descriptor.set !== undefined;\n })\n )\n return undefined;\n return { descriptors, keys };\n}\n\nexport function snapshotPlainRecord(value: unknown): Readonly<Record<string, unknown>> \| undefined {\n try {\n if (value === null \|\| typeof value !== \"object\" \|\| Array.isArray(value)) {\n return undefined;\n }\n const prototype: unknown = Object.getPrototypeOf(value);\n if (prototype !== Object.prototype && prototype !== null) {\n return undefined;\n }\n const descriptors: Readonly<Record<string, PropertyDescriptor>> =\n Object.getOwnPropertyDescriptors(value);\n if (\n Object.values(descriptors).some(\n (descriptor) => descriptor.get !== undefined \|\| descriptor.set !== undefined\n )\n ) {\n return undefined;\n }\n return Object.fromEntries(\n Object.entries(descriptors)\n .filter(([, descriptor]) => descriptor.enumerable === true)\n .map(([key, descriptor]) => [key, descriptor.value as unknown])\n );\n } catch {\n return undefined;\n }\n}\n\nexport function snapshotClosedRecord(\n value: unknown\n): Readonly<Record<string, unknown>> \| undefined {\n try {\n if (value === null \|\| typeof value !== \"object\" \|\| Array.isArray(value)) return undefined;\n const prototype: unknown = Object.getPrototypeOf(value);\n if (prototype !== Object.prototype && prototype !== null) return undefined;\n const shape = ownDataShape(value);\n if (\n shape === undefined \|\|\n shape.keys.some((key) => shape.descriptors[key].enumerable !== true)\n ) {\n return undefined;\n }\n return Object.freeze(\n Object.fromEntries(shape.keys.map((key) => [key, shape.descriptors[key].value as unknown]))\n );\n } catch {\n return undefined;\n }\n}\n\nfunction closedArrayLength(shape: OwnDataShape): number \| undefined {\n const descriptor = shape.descriptors.length;\n if (typeof descriptor?.value !== \"number\" \|\| descriptor.enumerable !== false) return undefined;\n const length = descriptor.value;\n return Number.isSafeInteger(length) && length >= 0 && shape.keys.length === length + 1\n ? length\n : undefined;\n}\n\nfunction closedArrayItems(shape: OwnDataShape, length: number): readonly unknown[] \| undefined {\n const items: unknown[] = [];\n for (let index = 0; index < length; index += 1) {\n const descriptor = shape.descriptors[String(index)];\n if (descriptor === undefined \|\| descriptor.enumerable !== true) return undefined;\n items.push(descriptor.value as unknown);\n }\n return Object.freeze(items);\n}\n\nexport function snapshotClosedArray(value: unknown): readonly unknown[] \| undefined {\n try {\n if (!Array.isArray(value) \|\| Object.getPrototypeOf(value) !== Array.prototype) return undefined;\n const shape = ownDataShape(value);\n if (shape === undefined) return undefined;\n const length = closedArrayLength(shape);\n return length === undefined ? undefined : closedArrayItems(shape, length);\n } catch {\n return undefined;\n }\n}\n\nexport function hasExactPlainRecordKeys(\n value: Readonly<Record<string, unknown>>,\n keys: readonly string[]\n): boolean {\n const actualKeys = Object.keys(value);\n return actualKeys.length === keys.length && actualKeys.every((key) => keys.includes(key));\n}\n\nexport function hasRequiredAndOptionalRecordKeys(\n value: Readonly<Record<string, unknown>>,\n keys: Readonly<{\n readonly optional: readonly string[];\n readonly required: readonly string[];\n }>\n): boolean {\n const supportedKeys = new Set([...keys.required, ...keys.optional]);\n return (\n keys.required.every((key) => Object.hasOwn(value, key)) &&\n Object.keys(value).every((key) => supportedKeys.has(key))\n );\n}\n"]}
1	+ {"version":3,"file":"closed-values.mjs","sourceRoot":"","sources":["../../../src/data-boundary/closed-values.ts"],"names":[],"mappings":"AAKA,SAAS,YAAY,CAAC,KAAa;IACjC,MAAM,WAAW,GACf,MAAM,CAAC,yBAAyB,CAAC,KAAK,CAAC,CAAC;IAC1C,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAC7C,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,IAAI,OAAO,GAAG,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QAC9C,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjB,CAAC;IACD,IACE,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE;QAChB,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QACpC,OAAO,UAAU,CAAC,GAAG,KAAK,SAAS,IAAI,UAAU,CAAC,GAAG,KAAK,SAAS,CAAC;IACtE,CAAC,CAAC;QAEF,OAAO,SAAS,CAAC;IACnB,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;AAC/B,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,KAAc;IAChD,IAAI,CAAC;QACH,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACxE,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,MAAM,SAAS,GAAY,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;QACxD,IAAI,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;YACzD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,MAAM,WAAW,GACf,MAAM,CAAC,yBAAyB,CAAC,KAAK,CAAC,CAAC;QAC1C,IACE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,CAC7B,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,KAAK,SAAS,IAAI,UAAU,CAAC,GAAG,KAAK,SAAS,CAC7E,EACD,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC;aACxB,MAAM,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,UAAU,KAAK,IAAI,CAAC;aAC1D,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,UAAU,CAAC,KAAgB,CAAC,CAAC,CAClE,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,KAAc;IAEd,IAAI,CAAC;QACH,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAC1F,MAAM,SAAS,GAAY,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;QACxD,IAAI,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI;YAAE,OAAO,SAAS,CAAC;QAC3E,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QAClC,IACE,KAAK,KAAK,SAAS;YACnB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,KAAK,IAAI,CAAC,EACpE,CAAC;YACD,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,CAClB,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,KAAgB,CAAC,CAAC,CAAC,CAC5F,CAAC;IACJ,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,yBAAyB,CACvC,KAAc,EACd,IAAuB;IAEvB,MAAM,MAAM,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC3C,OAAO,MAAM,KAAK,SAAS,IAAI,uBAAuB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;AAC5F,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAmB;IAC5C,MAAM,UAAU,GAAG,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC;IAC5C,IAAI,OAAO,UAAU,EAAE,KAAK,KAAK,QAAQ,IAAI,UAAU,CAAC,UAAU,KAAK,KAAK;QAAE,OAAO,SAAS,CAAC;IAC/F,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,CAAC;IAChC,OAAO,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,MAAM,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,MAAM,GAAG,CAAC;QACpF,CAAC,CAAC,MAAM;QACR,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAmB,EAAE,MAAc;IAC3D,MAAM,KAAK,GAAc,EAAE,CAAC;IAC5B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC/C,MAAM,UAAU,GAAG,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QACpD,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,CAAC,UAAU,KAAK,IAAI;YAAE,OAAO,SAAS,CAAC;QACjF,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,KAAgB,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,KAAc;IAChD,IAAI,CAAC;QACH,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,SAAS;YAAE,OAAO,SAAS,CAAC;QAChG,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QAClC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,SAAS,CAAC;QAC1C,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;QACxC,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAC5E,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC;AAED,MAAM,UAAU,uBAAuB,CACrC,KAAwC,EACxC,IAAuB;IAEvB,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtC,OAAO,UAAU,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;AAC5F,CAAC;AAED,MAAM,UAAU,gCAAgC,CAC9C,KAAwC,EACxC,IAGE;IAEF,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;IACpE,OAAO,CACL,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACvD,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAC1D,CAAC;AACJ,CAAC;AAOD,4FAA4F;AAC5F,MAAM,UAAU,0BAA0B,CACxC,KAAc,EACd,IAA4B;IAE5B,MAAM,MAAM,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC3C,OAAO,MAAM,KAAK,SAAS;QACzB,gCAAgC,CAAC,MAAM,EAAE;YACvC,QAAQ,EAAE,IAAI,CAAC,QAAQ,IAAI,EAAE;YAC7B,QAAQ,EAAE,IAAI,CAAC,QAAQ,IAAI,EAAE;SAC9B,CAAC;QACF,CAAC,CAAC,MAAM;QACR,CAAC,CAAC,SAAS,CAAC;AAChB,CAAC","sourcesContent":["interface OwnDataShape {\n readonly descriptors: Readonly<Record<string, PropertyDescriptor>>;\n readonly keys: readonly string[];\n}\n\nfunction ownDataShape(value: object): OwnDataShape \| undefined {\n const descriptors: Readonly<Record<string, PropertyDescriptor>> =\n Object.getOwnPropertyDescriptors(value);\n const ownKeys = Reflect.ownKeys(descriptors);\n const keys: string[] = [];\n for (const key of ownKeys) {\n if (typeof key !== \"string\") return undefined;\n keys.push(key);\n }\n if (\n keys.some((key) => {\n const descriptor = descriptors[key];\n return descriptor.get !== undefined \|\| descriptor.set !== undefined;\n })\n )\n return undefined;\n return { descriptors, keys };\n}\n\nexport function snapshotPlainRecord(value: unknown): Readonly<Record<string, unknown>> \| undefined {\n try {\n if (value === null \|\| typeof value !== \"object\" \|\| Array.isArray(value)) {\n return undefined;\n }\n const prototype: unknown = Object.getPrototypeOf(value);\n if (prototype !== Object.prototype && prototype !== null) {\n return undefined;\n }\n const descriptors: Readonly<Record<string, PropertyDescriptor>> =\n Object.getOwnPropertyDescriptors(value);\n if (\n Object.values(descriptors).some(\n (descriptor) => descriptor.get !== undefined \|\| descriptor.set !== undefined\n )\n ) {\n return undefined;\n }\n return Object.fromEntries(\n Object.entries(descriptors)\n .filter(([, descriptor]) => descriptor.enumerable === true)\n .map(([key, descriptor]) => [key, descriptor.value as unknown])\n );\n } catch {\n return undefined;\n }\n}\n\nexport function snapshotClosedRecord(\n value: unknown\n): Readonly<Record<string, unknown>> \| undefined {\n try {\n if (value === null \|\| typeof value !== \"object\" \|\| Array.isArray(value)) return undefined;\n const prototype: unknown = Object.getPrototypeOf(value);\n if (prototype !== Object.prototype && prototype !== null) return undefined;\n const shape = ownDataShape(value);\n if (\n shape === undefined \|\|\n shape.keys.some((key) => shape.descriptors[key].enumerable !== true)\n ) {\n return undefined;\n }\n return Object.freeze(\n Object.fromEntries(shape.keys.map((key) => [key, shape.descriptors[key].value as unknown]))\n );\n } catch {\n return undefined;\n }\n}\n\n/** Snapshots a closed plain record only when it has exactly the declared own keys. /\nexport function snapshotExactClosedRecord(\n value: unknown,\n keys: readonly string[]\n): Readonly<Record<string, unknown>> \| undefined {\n const record = snapshotClosedRecord(value);\n return record !== undefined && hasExactPlainRecordKeys(record, keys) ? record : undefined;\n}\n\nfunction closedArrayLength(shape: OwnDataShape): number \| undefined {\n const descriptor = shape.descriptors.length;\n if (typeof descriptor?.value !== \"number\" \|\| descriptor.enumerable !== false) return undefined;\n const length = descriptor.value;\n return Number.isSafeInteger(length) && length >= 0 && shape.keys.length === length + 1\n ? length\n : undefined;\n}\n\nfunction closedArrayItems(shape: OwnDataShape, length: number): readonly unknown[] \| undefined {\n const items: unknown[] = [];\n for (let index = 0; index < length; index += 1) {\n const descriptor = shape.descriptors[String(index)];\n if (descriptor === undefined \|\| descriptor.enumerable !== true) return undefined;\n items.push(descriptor.value as unknown);\n }\n return Object.freeze(items);\n}\n\nexport function snapshotClosedArray(value: unknown): readonly unknown[] \| undefined {\n try {\n if (!Array.isArray(value) \|\| Object.getPrototypeOf(value) !== Array.prototype) return undefined;\n const shape = ownDataShape(value);\n if (shape === undefined) return undefined;\n const length = closedArrayLength(shape);\n return length === undefined ? undefined : closedArrayItems(shape, length);\n } catch {\n return undefined;\n }\n}\n\nexport function hasExactPlainRecordKeys(\n value: Readonly<Record<string, unknown>>,\n keys: readonly string[]\n): boolean {\n const actualKeys = Object.keys(value);\n return actualKeys.length === keys.length && actualKeys.every((key) => keys.includes(key));\n}\n\nexport function hasRequiredAndOptionalRecordKeys(\n value: Readonly<Record<string, unknown>>,\n keys: Readonly<{\n readonly optional: readonly string[];\n readonly required: readonly string[];\n }>\n): boolean {\n const supportedKeys = new Set([...keys.required, ...keys.optional]);\n return (\n keys.required.every((key) => Object.hasOwn(value, key)) &&\n Object.keys(value).every((key) => supportedKeys.has(key))\n );\n}\n\nexport interface ClosedPolicyRecordKeys {\n readonly optional?: readonly string[];\n readonly required?: readonly string[];\n}\n\n/* Snapshots an authoring record whose keys are limited to one required/optional policy. */\nexport function snapshotClosedPolicyRecord(\n value: unknown,\n keys: ClosedPolicyRecordKeys\n): Readonly<Record<string, unknown>> \| undefined {\n const record = snapshotClosedRecord(value);\n return record !== undefined &&\n hasRequiredAndOptionalRecordKeys(record, {\n optional: keys.optional ?? [],\n required: keys.required ?? []\n })\n ? record\n : undefined;\n}\n"]}