@zxyycom/vibe-check 0.0.1

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

@@ -0,0 +1,216 @@
+import { canonicalizeJsonObject } from "../data-boundary/canonical-data.mjs";
+import { validateCheckDescriptor } from "../check/descriptor-validation.mjs";
+import { snapshotClosedArray, snapshotClosedRecord } from "../data-boundary/closed-values.mjs";
+export function validateCoreSnapshot(value) {
+    const snapshot = snapshotClosedRecord(value);
+    if (snapshot === undefined || !hasExactKeys(snapshot, ["checks", "records"])) {
+        return invalid("$", "Core snapshot must contain only checks and records");
+    }
+    const checksInput = snapshotClosedArray(snapshot.checks);
+    const recordsInput = snapshotClosedArray(snapshot.records);
+    if (checksInput === undefined || recordsInput === undefined) {
+        return invalid("$", "Core snapshot entities must be dense arrays");
+    }
+    const checks = validateChecks(checksInput);
+    if (!checks.ok)
+        return checks;
+    const reasonReferences = validateReasonReferences(checks.value);
+    if (!reasonReferences.ok)
+        return reasonReferences;
+    const records = validateRecords(recordsInput, checks.value);
+    if (!records.ok)
+        return records;
+    return accepted(Object.freeze({ checks: checks.value, records: records.value }));
+}
+function validateReasonReferences(checks) {
+    const knownCheckIds = new Set(checks.map((check) => check.checkId));
+    for (const [index, check] of checks.entries()) {
+        if (check.outcome.status !== "unavailable" || check.outcome.reason.checkIds === undefined)
+            continue;
+        const seen = new Set();
+        for (const checkId of check.outcome.reason.checkIds) {
+            if (!knownCheckIds.has(checkId) || seen.has(checkId))
+                return invalid(`$.checks[${index}].outcome.reason.checkIds`, "Unavailable reason references are invalid");
+            seen.add(checkId);
+        }
+    }
+    return accepted(undefined);
+}
+function validateChecks(values) {
+    const checks = [];
+    const checkIds = new Set();
+    let previousCheckId;
+    for (const [index, value] of values.entries()) {
+        const check = snapshotClosedRecord(value);
+        if (check === undefined || !hasExactKeys(check, ["checkId", "displayName", "outcome"])) {
+            return invalid(`$.checks[${index}]`, "Core Check must be closed");
+        }
+        const definition = validateCheckDescriptor({
+            checkId: check.checkId,
+            displayName: check.displayName
+        });
+        if (!definition.ok)
+            return definition;
+        if (checkIds.has(definition.value.checkId)) {
+            return invalid(`$.checks[${index}].checkId`, "Duplicate Core Check checkId", "duplicate");
+        }
+        if (previousCheckId !== undefined &&
+            compareText(previousCheckId, definition.value.checkId) >= 0) {
+            return invalid(`$.checks[${index}].checkId`, "Core Checks must be sorted by checkId");
+        }
+        const outcome = validateOutcome(check.outcome, `$.checks[${index}].outcome`);
+        if (!outcome.ok)
+            return outcome;
+        checks.push(Object.freeze({ ...definition.value, outcome: outcome.value }));
+        checkIds.add(definition.value.checkId);
+        previousCheckId = definition.value.checkId;
+    }
+    return accepted(Object.freeze(checks));
+}
+function validateRecords(values, checks) {
+    const ownerIds = new Set(checks.map((check) => check.checkId));
+    const recordIdsByCheckId = new Map();
+    const records = [];
+    let previous;
+    for (const [index, value] of values.entries()) {
+        const record = validateRecordRow(value, index, ownerIds);
+        if (!record.ok)
+            return record;
+        const current = record.value;
+        const ids = recordIdsByCheckId.get(current.checkId) ?? new Set();
+        if (ids.has(current.id)) {
+            return invalid(`$.records[${index}].id`, "Duplicate Check-local Record id", "duplicate");
+        }
+        if (previous !== undefined &&
+            (compareText(previous.checkId, current.checkId) > 0 ||
+                (previous.checkId === current.checkId && compareText(previous.id, current.id) >= 0))) {
+            return invalid(`$.records[${index}]`, "Core Records must be sorted by checkId then id");
+        }
+        ids.add(current.id);
+        recordIdsByCheckId.set(current.checkId, ids);
+        records.push(current);
+        previous = { checkId: current.checkId, id: current.id };
+    }
+    return accepted(Object.freeze(records));
+}
+function validateRecordRow(value, index, ownerIds) {
+    const record = snapshotClosedRecord(value);
+    if (record === undefined || !hasExactKeys(record, ["checkId", "id", "data"]))
+        return invalid(`$.records[${index}]`, "Core Record must be closed");
+    if (typeof record.checkId !== "string" ||
+        !ownerIds.has(record.checkId) ||
+        typeof record.id !== "string" ||
+        record.id.length === 0) {
+        return invalid(`$.records[${index}]`, "Core Record identity is invalid", "identity-mismatch");
+    }
+    const data = canonicalizeJsonObject(record.data);
+    return data === undefined
+        ? invalid(`$.records[${index}].data`, "Core Record data is invalid")
+        : accepted(Object.freeze({ checkId: record.checkId, id: record.id, data }));
+}
+function validateOutcome(value, path) {
+    const outcome = snapshotClosedRecord(value);
+    if (outcome === undefined || typeof outcome.status !== "string") {
+        return invalid(path, "Check outcome is invalid");
+    }
+    if (outcome.status === "passed" || outcome.status === "failed")
+        return validateFinalOutcome(outcome, path);
+    if (outcome.status === "not-applicable")
+        return validateNotApplicableOutcome(outcome, path);
+    if (outcome.status === "unavailable")
+        return validateUnavailableOutcome(outcome, path);
+    return invalid(`${path}.status`, "Unknown Check outcome status");
+}
+function validateFinalOutcome(outcome, path) {
+    if (outcome.status === "passed" || outcome.status === "failed") {
+        if (!hasExactKeys(outcome, ["status", "data"]))
+            return invalid(path, "Final outcome is not closed");
+        const data = canonicalizeJsonObject(outcome.data);
+        return data === undefined
+            ? invalid(`${path}.data`, "Final data is invalid")
+            : accepted(Object.freeze({ status: outcome.status, data }));
+    }
+    return invalid(`${path}.status`, "Unknown Check outcome status");
+}
+function validateNotApplicableOutcome(outcome, path) {
+    if (!hasOptionalKeys(outcome, ["status"], ["reason"]))
+        return invalid(path, "Not-applicable outcome is not closed");
+    const reason = validateReason(outcome.reason, false);
+    return reason === null
+        ? invalid(`${path}.reason`, "Not-applicable reason is invalid")
+        : accepted(Object.freeze(reason === undefined ? { status: "not-applicable" } : { status: "not-applicable", reason }));
+}
+function validateUnavailableOutcome(outcome, path) {
+    if (!hasExactKeys(outcome, ["status", "reason"]))
+        return invalid(path, "Unavailable outcome is not closed");
+    const reason = validateReason(outcome.reason, true);
+    return reason === null || reason === undefined
+        ? invalid(`${path}.reason`, "Unavailable reason is invalid")
+        : accepted(Object.freeze({ status: "unavailable", reason }));
+}
+function validateReason(value, allowCheckIds) {
+    if (value === undefined)
+        return undefined;
+    const reason = snapshotClosedRecord(value);
+    if (!isClosedReason(reason, allowCheckIds))
+        return null;
+    if (!hasOptionalKeys(reason, ["code"], allowCheckIds ? ["checkIds"] : []))
+        return null;
+    if (!Object.hasOwn(reason, "checkIds"))
+        return Object.freeze({ code: reason.code });
+    const normalizedCheckIds = normalizedReasonCheckIds(reason.checkIds, allowCheckIds);
+    if (normalizedCheckIds === undefined)
+        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 ||
+        checkIds === undefined ||
+        checkIds.length === 0 ||
+        checkIds.some((checkId) => typeof checkId !== "string" || !isSettlementCheckReference(checkId)))
+        return undefined;
+    const normalizedCheckIds = [];
+    for (const checkId of checkIds) {
+        if (typeof checkId !== "string")
+            return undefined;
+        normalizedCheckIds.push(checkId);
+    }
+    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 });
+}
+function invalid(path, message, code = "invalid-value") {
+    const issue = Object.freeze({ path, code, message });
+    const issues = [issue];
+    return Object.freeze({
+        ok: false,
+        issues: Object.freeze(issues)
+    });
+}
+function compareText(left, right) {
+    if (left < right)
+        return -1;
+    if (left > right)
+        return 1;
+    return 0;
+}
+function isSettlementCheckReference(value) {
+    return value.length > 0;
+}
+//# sourceMappingURL=fact-validation.mjs.map

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

@@ -0,0 +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"]}

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

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=facts.mjs.map

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

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

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

@@ -0,0 +1,80 @@
+import { canonicalizeJsonObject } from "../data-boundary/canonical-data.mjs";
+import { snapshotClosedArray, snapshotClosedRecord } from "../data-boundary/closed-values.mjs";
+/** Normalizes one live Check terminal value before the settlement session commits it. */
+export function normalizeCheckOutcome(input) {
+    const outcome = snapshotClosedRecord(input.value);
+    if (outcome === undefined || typeof outcome.status !== "string")
+        return undefined;
+    if (outcome.status === "passed" || outcome.status === "failed") {
+        return normalizeFinalOutcome(outcome);
+    }
+    if (outcome.status === "not-applicable") {
+        return normalizeNotApplicableOutcome(outcome, input.knownCheckIds);
+    }
+    if (outcome.status === "unavailable") {
+        return normalizeUnavailableOutcome(outcome, input.productOutcome, input.knownCheckIds);
+    }
+    return undefined;
+}
+function normalizeFinalOutcome(outcome) {
+    if (outcome.status !== "passed" && outcome.status !== "failed")
+        return undefined;
+    if (!hasExactKeys(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"]))
+        return undefined;
+    if (outcome.reason === undefined)
+        return Object.freeze({ status: "not-applicable" });
+    const reason = normalizeReason(outcome.reason, false, knownCheckIds);
+    return reason === undefined ? undefined : Object.freeze({ status: "not-applicable", reason });
+}
+function normalizeUnavailableOutcome(outcome, productOutcome, knownCheckIds) {
+    if (!hasExactKeys(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))
+        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)
+        return undefined;
+    const checkIds = [];
+    for (const checkId of rawCheckIds) {
+        if (typeof checkId !== "string" ||
+            checkId.length === 0 ||
+            !knownCheckIds.has(checkId) ||
+            checkIds.includes(checkId)) {
+            return undefined;
+        }
+        checkIds.push(checkId);
+    }
+    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

@@ -0,0 +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"]}

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

@@ -0,0 +1,59 @@
+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. */
+export class CoreRecordStore {
+    #recordsByCheckId = new Map();
+    report(slot, rawIdentity, rawData) {
+        const id = recordId(rawIdentity);
+        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 === undefined) {
+            records = new Map();
+            this.#recordsByCheckId.set(slot.checkId, records);
+        }
+        records.set(id, record);
+        slot.recordIds.add(id);
+        return "committed";
+    }
+    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);
+    }
+    #reject(slot, diagnostic) {
+        slot.diagnostics.add(diagnostic);
+        return "rejected";
+    }
+}
+function recordId(value) {
+    const identity = snapshotClosedRecord(value);
+    return identity !== undefined &&
+        Object.keys(identity).length === 1 &&
+        Object.hasOwn(identity, "id") &&
+        typeof identity.id === "string" &&
+        identity.id.length > 0
+        ? identity.id
+        : undefined;
+}
+function compareText(left, right) {
+    if (left < right)
+        return -1;
+    if (left > right)
+        return 1;
+    return 0;
+}
+//# sourceMappingURL=record-store.mjs.map

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

@@ -0,0 +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"]}

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

@@ -0,0 +1,179 @@
+import { CoreRecordStore } from "./record-store.mjs";
+import { validateCheckDescriptor } from "../check/descriptor-validation.mjs";
+import { normalizeCheckOutcome } from "./outcome-normalization.mjs";
+/** A trusted integration bug is fatal to the invocation, not a Check outcome. */
+export class CoreInvariantFailure extends Error {
+    constructor(message) {
+        super(message);
+        this.name = "CoreInvariantFailure";
+    }
+}
+function compareText(left, right) {
+    if (left < right)
+        return -1;
+    if (left > right)
+        return 1;
+    return 0;
+}
+function coreInvariant(message) {
+    throw new CoreInvariantFailure(message);
+}
+function createSlots(registrations) {
+    const slots = [];
+    const checkIds = new Set();
+    for (const registration of registrations) {
+        if (registration === null || typeof registration !== "object") {
+            coreInvariant("Core Check registration is invalid");
+        }
+        const definition = validateCheckDescriptor(registration.definition);
+        if (!definition.ok)
+            coreInvariant("Core Check registration definition is invalid");
+        if (checkIds.has(definition.value.checkId)) {
+            coreInvariant("Core Check registration has a duplicate checkId");
+        }
+        checkIds.add(definition.value.checkId);
+        slots.push({
+            checkId: definition.value.checkId,
+            definition: definition.value,
+            diagnostics: new Set(),
+            lifecycle: { kind: "registered" },
+            recordIds: new Set()
+        });
+    }
+    return slots.sort((left, right) => compareText(left.definition.checkId, right.definition.checkId));
+}
+class CoreCheckSessionImpl {
+    #slots;
+    #recordStore = new CoreRecordStore();
+    #snapshot;
+    constructor(registrations) {
+        this.#slots = createSlots(registrations);
+    }
+    openCheckScope(checkId) {
+        const slot = this.#slotFor(checkId);
+        if (this.#snapshot !== undefined || slot.lifecycle.kind !== "registered") {
+            coreInvariant("Core Check scope is not available");
+        }
+        slot.lifecycle = Object.freeze({ kind: "open" });
+        return Object.freeze({
+            records: Object.freeze({
+                report: (identity, data) => {
+                    if (this.#snapshot !== undefined || slot.lifecycle.kind !== "open")
+                        return "rejected";
+                    return this.#recordStore.report(slot, identity, data);
+                }
+            }),
+            settle: (outcome) => this.#settleAuthorSlot(slot, outcome),
+            settleProduct: (outcome) => this.#settleSlot(slot, outcome, true)
+        });
+    }
+    readSettledCheckOutcome(checkId) {
+        const slot = this.#slotFor(checkId);
+        if (slot.lifecycle.kind !== "settled") {
+            coreInvariant("Core settled Check is not available");
+        }
+        return slot.lifecycle.outcome;
+    }
+    closeUnresolvedAsCancelled() {
+        if (this.#snapshot !== undefined) {
+            coreInvariant("Cancelled closure cannot mutate a frozen Core snapshot");
+        }
+        const closures = [];
+        for (const slot of this.#slots) {
+            if (slot.lifecycle.kind !== "settled") {
+                const outcome = this.#commitTerminal(slot, Object.freeze({ status: "unavailable", reason: { code: "execution-cancelled" } }), true);
+                closures.push(Object.freeze({ checkId: slot.checkId, outcome }));
+            }
+        }
+        return Object.freeze(closures);
+    }
+    freeze() {
+        if (this.#snapshot !== undefined)
+            return this.#snapshot;
+        const checks = [];
+        for (const slot of this.#slots) {
+            if (slot.lifecycle.kind !== "settled") {
+                return coreInvariant("Core snapshot cannot freeze before every Check slot closes");
+            }
+            checks.push(coreCheckFor(slot));
+        }
+        this.#snapshot = Object.freeze({
+            checks: Object.freeze(checks),
+            records: this.#recordStore.recordsInCanonicalOrder()
+        });
+        return this.#snapshot;
+    }
+    #slotFor(checkId) {
+        if (typeof checkId !== "string")
+            coreInvariant("Core Check scope requires a checkId");
+        const slot = this.#slots.find((candidate) => candidate.definition.checkId === checkId);
+        return slot ?? coreInvariant("Core Check scope does not own this checkId");
+    }
+    #checkIds() {
+        return new Set(this.#slots.map((candidate) => candidate.checkId));
+    }
+    #settleSlot(slot, outcome, productOutcome) {
+        if (this.#snapshot !== undefined || slot.lifecycle.kind !== "open") {
+            return coreInvariant("Trusted Core Check settlement is duplicate, late, or out of scope");
+        }
+        return this.#commitTerminal(slot, outcome, productOutcome);
+    }
+    #settleAuthorSlot(slot, terminal) {
+        if (this.#snapshot !== undefined || slot.lifecycle.kind !== "open") {
+            return coreInvariant("Trusted Core Check settlement is duplicate, late, or out of scope");
+        }
+        const diagnostic = terminalDiagnostic(slot);
+        const normalized = diagnostic === undefined
+            ? normalizeCheckOutcome({
+                knownCheckIds: this.#checkIds(),
+                productOutcome: false,
+                value: terminal
+            })
+            : undefined;
+        const outcome = normalized ?? unavailable(diagnostic ?? "invalid-execution-result");
+        slot.lifecycle = Object.freeze({ kind: "settled", outcome });
+        return Object.freeze({
+            authorResultAccepted: diagnostic === undefined && normalized !== undefined,
+            outcome
+        });
+    }
+    #commitTerminal(slot, terminal, productOutcome = false) {
+        if (slot.lifecycle.kind === "settled") {
+            coreInvariant("Core Check terminal closure is duplicate");
+        }
+        const diagnostic = terminalDiagnostic(slot);
+        const outcome = diagnostic === undefined
+            ? (normalizeCheckOutcome({
+                knownCheckIds: this.#checkIds(),
+                productOutcome,
+                value: terminal
+            }) ?? unavailable("invalid-execution-result"))
+            : unavailable(diagnostic);
+        slot.lifecycle = Object.freeze({ kind: "settled", outcome });
+        return outcome;
+    }
+}
+function terminalDiagnostic(slot) {
+    if (slot.diagnostics.has("record-conflict"))
+        return "record-conflict";
+    if (slot.diagnostics.has("record-invalid"))
+        return "record-invalid";
+    return undefined;
+}
+function coreCheckFor(slot) {
+    if (slot.lifecycle.kind !== "settled") {
+        coreInvariant("Core Check fact requires a settled slot");
+    }
+    return Object.freeze({
+        checkId: slot.definition.checkId,
+        displayName: slot.definition.displayName,
+        outcome: slot.lifecycle.outcome
+    });
+}
+function unavailable(code) {
+    return Object.freeze({ status: "unavailable", reason: Object.freeze({ code }) });
+}
+export function createCoreCheckSession(registrations) {
+    return new CoreCheckSessionImpl(registrations);
+}
+//# sourceMappingURL=session.mjs.map