niceeval 0.16.2-canary.98 → 0.16.3-canary.99

package/dist/inspection/facts.cjs

@@ -20,9 +20,25 @@ const protocol_ts_1 = require("../record/attachment/protocol.cjs");
 const core_ts_1 = require("../record/codec/core.cjs");
 const current_ts_1 = require("../record/family/current.cjs");
 const codec_ts_1 = require("./codec.cjs");
+const bytes_ts_1 = require("./bytes.cjs");
 const RUN_PAGE_SIZE = 100;
 const ATTEMPT_CANDIDATE_RUN_LIMIT = 64;
 const ATTEMPT_TARGET_MEMBER_LIMIT = 256;
+const decodedRuns = new WeakMap();
+function readInspectionRun(source, runId) {
+    let cache = decodedRuns.get(source);
+    if (cache === undefined)
+        decodedRuns.set(source, cache = new Map());
+    const cached = cache.get(runId);
+    if (cached !== undefined)
+        return cached;
+    const physical = source.readSealedRunCore(runId);
+    if (physical === undefined)
+        return undefined;
+    const decoded = decodeInspectionRun(source, physical);
+    cache.set(runId, decoded);
+    return decoded;
+}
 /**
  * Pins the source cutoff, exhausts the fixed Run-summary pagination, then
  * reads and strictly decodes every Run Core in that exact sealed generation.
@@ -63,11 +79,11 @@ function loadInspectionRuns(source) {
         throw factsError("Run pagination did not close the pinned sealed cutoff");
     }
     return Object.freeze(summaries.map((summary) => {
-        const physical = source.readSealedRunCore(summary.runId);
-        if (physical === undefined) {
+        const run = readInspectionRun(source, summary.runId);
+        if (run === undefined) {
             throw factsError(`Sealed Run ${summary.runId} disappeared from the pinned cutoff`);
         }
-        return decodeInspectionRun(source, physical);
+        return run;
     }));
 }
 /** Reads a bounded, explicit Run selection without changing its caller order. */
@@ -75,9 +91,9 @@ function loadSelectedInspectionRuns(source, runIds) {
     const cutoff = source.cutoff();
     const loaded = [];
     for (const runId of new Set(runIds)) {
-        const physical = source.readSealedRunCore(runId);
-        if (physical !== undefined)
-            loaded.push(decodeInspectionRun(source, physical));
+        const run = readInspectionRun(source, runId);
+        if (run !== undefined)
+            loaded.push(run);
     }
     requireCutoff(source.cutoff(), cutoff);
     return Object.freeze(loaded);
@@ -88,10 +104,7 @@ function loadInspectionRunResource(source, runId) {
     const resource = source.readRunResource(runId);
     if (resource === undefined)
         return undefined;
-    const physical = source.readSealedRunCore(runId);
-    const published = physical === undefined
-        ? undefined
-        : decodeInspectionRun(source, physical);
+    const published = readInspectionRun(source, runId);
     requireCutoff(source.cutoff(), cutoff);
     if (resource.published > 0 && published === undefined) {
         throw factsError(`Run ${runId} has published bindings without a readable Core`);
@@ -119,9 +132,9 @@ function validateRunResourceCore(resource, published) {
         }
     }
 }
-/** Strictly decodes all Core documents and Attachment JSON for one sealed Run. */
+/** Strictly decodes Core, then decodes each Attachment only on first use. */
 function decodeInspectionRun(source, physical) {
-    const run = decodedRight((0, core_ts_1.decodeRunDocument)(parseJson(physical.runCoreBytes, "Run Core")), "Run Core is invalid");
+    const run = decodedRight((0, core_ts_1.decodeRunDocument)(parseVerifiedJson(physical.runCoreBytes, physical.runCoreDigest, "Run Core")), "Run Core is invalid");
     if (run.runId !== physical.runId) {
         throw factsError("Run Core identity does not match its sealed row");
     }
@@ -129,7 +142,7 @@ function decodeInspectionRun(source, physical) {
         throw factsError("Run Core Slot rows do not match its expected denominator");
     }
     for (const [index, stored] of physical.slots.entries()) {
-        const decoded = effect_1.Schema.decodeUnknownResult(core_ts_1.RecordSlotIdentitySchema, core_ts_1.RecordExactParseOptions)(parseJson(stored.coreBytes, "Slot Core"));
+        const decoded = effect_1.Schema.decodeUnknownResult(core_ts_1.RecordSlotIdentitySchema, core_ts_1.RecordExactParseOptions)(parseVerifiedJson(stored.coreBytes, stored.coreDigest, "Slot Core"));
         const slot = decodedRight(decoded, "Slot Core is invalid");
         const expected = run.expectedSlots[index];
         if (expected === undefined ||
@@ -143,7 +156,7 @@ function decodeInspectionRun(source, physical) {
         }
     }
     const members = physical.members.map((stored) => {
-        const member = decodedRight((0, core_ts_1.decodeMemberDocument)(parseJson(stored.coreBytes, "Member Core")), "Member Core is invalid");
+        const member = decodedRight((0, core_ts_1.decodeMemberDocument)(parseVerifiedJson(stored.coreBytes, stored.coreDigest, "Member Core")), "Member Core is invalid");
         if (member.slotId !== stored.slotId ||
             member.action !== stored.action ||
             (member.attempt?.originRunId ?? undefined) !== stored.originRunId ||
@@ -153,7 +166,7 @@ function decodeInspectionRun(source, physical) {
         return member;
     });
     const attempts = physical.attempts.map((stored) => {
-        const attempt = decodedRight((0, core_ts_1.decodeAttemptDocument)(parseJson(stored.coreBytes, "Attempt Core")), "Attempt Core is invalid");
+        const attempt = decodedRight((0, core_ts_1.decodeAttemptDocument)(parseVerifiedJson(stored.coreBytes, stored.coreDigest, "Attempt Core")), "Attempt Core is invalid");
         if (attempt.attemptId !== stored.attemptId ||
             attempt.originRunId !== run.runId ||
             (0, attempt_locator_ts_1.encodeAttemptLocator)(attempt.attemptId) !== stored.attemptLocator) {
@@ -171,9 +184,19 @@ function decodeInspectionRun(source, physical) {
                     !localAttemptIds.has(attachment.ownerAttemptId))) {
             throw factsError("Attachment ownership does not match its sealed Run");
         }
+        let value;
+        let decoded = false;
         return Object.freeze({
             physical: attachment,
-            value: parseInspectionJson(attachment.canonicalBytes, "Attachment"),
+            get value() {
+                if (!decoded) {
+                    verifyDigest(attachment.canonicalBytes, attachment.canonicalDigest, "Attachment");
+                    verifyDigest(attachment.logicalInventoryBytes, attachment.inventoryDigest, "Attachment inventory");
+                    value = parseInspectionJson(attachment.canonicalBytes, "Attachment");
+                    decoded = true;
+                }
+                return value;
+            },
         });
     });
     return Object.freeze({
@@ -238,26 +261,50 @@ function resolveInspectionAttempt(source, locator) {
         targets: Object.freeze(targets),
     });
 }
-/** Resolves one already loaded target Member without consulting a platform index. */
+const memberIndexes = new WeakMap();
+function memberIndex(runs) {
+    const cached = memberIndexes.get(runs);
+    if (cached !== undefined)
+        return cached;
+    const origins = new Map(runs.map((run) => [run.run.runId, {
+            run, attempts: new Map(run.attempts.map((attempt) => [attempt.attemptId, attempt])),
+            members: new Map(run.members.map((member) => [member.slotId, member])),
+        }]));
+    const targets = new Map();
+    for (const run of runs)
+        for (const member of run.members) {
+            if (member.attempt === null)
+                continue;
+            const { originRunId, attemptId } = member.attempt;
+            let byAttempt = targets.get(originRunId);
+            if (byAttempt === undefined)
+                targets.set(originRunId, byAttempt = new Map());
+            let members = byAttempt.get(attemptId);
+            if (members === undefined)
+                byAttempt.set(attemptId, members = []);
+            members.push(Object.freeze({ run, member }));
+        }
+    for (const byAttempt of targets.values())
+        for (const members of byAttempt.values())
+            Object.freeze(members);
+    const index = { origins, targets };
+    memberIndexes.set(runs, index);
+    return index;
+}
+/** Resolves already loaded facts through one shared identity index. */
 function resolveInspectionMemberAttempt(runs, target, member) {
     if (member.attempt === null)
         return undefined;
-    const origin = runs.find(({ run }) => run.runId === member.attempt.originRunId);
-    const attempt = origin?.attempts.find((candidate) => candidate.attemptId === member.attempt.attemptId &&
-        candidate.originRunId === member.attempt.originRunId);
-    if (origin === undefined || attempt === undefined)
+    const index = memberIndex(runs);
+    const origin = index.origins.get(member.attempt.originRunId);
+    const attempt = origin?.attempts.get(member.attempt.attemptId);
+    if (origin === undefined || attempt === undefined || attempt.originRunId !== member.attempt.originRunId)
         return undefined;
-    const locator = (0, attempt_locator_ts_1.encodeAttemptLocator)(attempt.attemptId);
-    const targets = runs.flatMap((run) => targetMembers(run, attempt).map((candidate) => Object.freeze({ run, member: candidate })));
-    if (!targets.some(({ run, member: candidate }) => run.run.runId === target.run.runId && candidate.slotId === member.slotId)) {
+    const targets = index.targets.get(attempt.originRunId)?.get(attempt.attemptId) ?? [];
+    const targetMember = index.origins.get(target.run.runId)?.members.get(member.slotId);
+    if (targetMember?.attempt?.originRunId !== attempt.originRunId || targetMember.attempt.attemptId !== attempt.attemptId)
         return undefined;
-    }
-    return Object.freeze({
-        attempt,
-        origin,
-        locator,
-        targets: Object.freeze(targets),
-    });
+    return Object.freeze({ attempt, origin: origin.run, locator: (0, attempt_locator_ts_1.encodeAttemptLocator)(attempt.attemptId), targets });
 }
 function attemptAttachment(resolved, family) {
     return resolved.origin.attachments.find(({ physical }) => physical.ownerKind === "attempt" &&
@@ -469,4 +516,12 @@ function factsError(reason, cause) {
 function compareText(left, right) {
     return left < right ? -1 : left > right ? 1 : 0;
 }
+function verifyDigest(bytes, digest, label) {
+    if (new bytes_ts_1.InspectionSha256().update(bytes).digestHex() !== digest)
+        throw factsError(`${label} digest is invalid`);
+}
+function parseVerifiedJson(bytes, digest, label) {
+    verifyDigest(bytes, digest, label);
+    return parseJson(bytes, label);
+}
 //# sourceMappingURL=facts.cjs.map

package/dist/inspection/facts.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"facts.js","sourceRoot":"","sources":["facts.ts"],"names":[],"mappings":";;AAmEA,gDAuCC;AAED,gEAUC;AAED,8DAgBC;AAqBD,kDAgEC;AAID,4DAiDC;AAED,wEAmBC;AACD,8CAIC;AACD,sCAEC;AAKD,4DA+BC;AAnVD,gDAAgD;AAChD,wDAAwD;AACxD,8DAA8D;AAC9D,wFAAwF;AACxF,mCAAwC;AACxC,8DAA6D;AAC7D,gEAAqG;AACrG,kEAA8M;AAC9M,qDAA6J;AAC7J,4DAA2G;AAI3G,yCAA+F;AA4C/F,MAAM,aAAa,GAAG,GAAG,CAAC;AAC1B,MAAM,2BAA2B,GAAG,EAAE,CAAC;AACvC,MAAM,2BAA2B,GAAG,GAAG,CAAC;AACxC;;;GAGG;AACH,6CAA6C;AAC7C,8DAA8D;AAC9D,wFAAwF;AACxF,SAAgB,kBAAkB,CAAC,MAA4B;IAC3D,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;IAC/B,MAAM,SAAS,GAAuB,EAAE,CAAC;IACzC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,IAAI,UAAU,GAAG,EAAE,CAAC;IACpB,SAAS,CAAC;QACN,MAAM,IAAI,GAAG,MAAM,CAAC,wBAAwB,CAAC,UAAU,EAAE,aAAa,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;QACzF,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACnC,IAAI,IAAI,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;YACjC,MAAM,UAAU,CAAC,4CAA4C,CAAC,CAAC;QACnE,CAAC;QACD,IAAI,QAAQ,GAAG,UAAU,CAAC;QAC1B,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACnC,IAAI,OAAO,CAAC,KAAK,IAAI,QAAQ,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACvD,MAAM,UAAU,CAAC,wCAAwC,CAAC,CAAC;YAC/D,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YACxB,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACxB,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC;QAC7B,CAAC;QACD,IAAI,IAAI,CAAC,cAAc,KAAK,IAAI;YAC5B,MAAM;QACV,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;YAC3B,IAAI,CAAC,cAAc,KAAK,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,KAAK;YACpD,IAAI,CAAC,cAAc,KAAK,UAAU,EAAE,CAAC;YACrC,MAAM,UAAU,CAAC,wDAAwD,CAAC,CAAC;QAC/E,CAAC;QACD,UAAU,GAAG,IAAI,CAAC,cAAc,CAAC;IACrC,CAAC;IACD,IAAI,SAAS,CAAC,MAAM,KAAK,MAAM,CAAC,QAAQ,EAAE,CAAC;QACvC,MAAM,UAAU,CAAC,uDAAuD,CAAC,CAAC;IAC9E,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;QAC3C,MAAM,QAAQ,GAAG,MAAM,CAAC,iBAAiB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACzD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,UAAU,CAAC,cAAc,OAAO,CAAC,KAAK,qCAAqC,CAAC,CAAC;QACvF,CAAC;QACD,OAAO,mBAAmB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC,CAAC;AACR,CAAC;AACD,iFAAiF;AACjF,SAAgB,0BAA0B,CAAC,MAA4B,EAAE,MAAyB;IAC9F,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;IAC/B,MAAM,MAAM,GAA0B,EAAE,CAAC;IACzC,KAAK,MAAM,KAAK,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAClC,MAAM,QAAQ,GAAG,MAAM,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;QACjD,IAAI,QAAQ,KAAK,SAAS;YACtB,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC3D,CAAC;IACD,aAAa,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,MAAM,CAAC,CAAC;IACvC,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AACjC,CAAC;AACD,iFAAiF;AACjF,SAAgB,yBAAyB,CAAC,MAA4B,EAAE,KAAa;IACjF,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;IAC/B,MAAM,QAAQ,GAAG,MAAM,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;IAC/C,IAAI,QAAQ,KAAK,SAAS;QACtB,OAAO,SAAS,CAAC;IACrB,MAAM,QAAQ,GAAG,MAAM,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;IACjD,MAAM,SAAS,GAAG,QAAQ,KAAK,SAAS;QACpC,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,mBAAmB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC5C,aAAa,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,MAAM,CAAC,CAAC;IACvC,IAAI,QAAQ,CAAC,SAAS,GAAG,CAAC,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QACpD,MAAM,UAAU,CAAC,OAAO,KAAK,iDAAiD,CAAC,CAAC;IACpF,CAAC;IACD,IAAI,SAAS,KAAK,SAAS;QACvB,uBAAuB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IACjD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;AAClG,CAAC;AACD,SAAS,uBAAuB,CAAC,QAA6B,EAAE,SAA8B;IAC1F,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC;IAC1B,IAAI,GAAG,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK;QAC5B,GAAG,CAAC,YAAY,KAAK,QAAQ,CAAC,YAAY;QAC1C,GAAG,CAAC,SAAS,KAAK,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC;QAChD,GAAG,CAAC,aAAa,CAAC,MAAM,KAAK,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QACrD,MAAM,UAAU,CAAC,OAAO,QAAQ,CAAC,KAAK,uDAAuD,CAAC,CAAC;IACnG,CAAC;IACD,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,GAAG,CAAC,aAAa,CAAC,OAAO,EAAE,EAAE,CAAC;QACtD,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACvC,IAAI,QAAQ,KAAK,SAAS;YACtB,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;YAC/B,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;YAC/B,IAAI,CAAC,cAAc,KAAK,QAAQ,CAAC,cAAc;YAC/C,IAAI,CAAC,uBAAuB,KAAK,QAAQ,CAAC,uBAAuB,EAAE,CAAC;YACpE,MAAM,UAAU,CAAC,OAAO,QAAQ,CAAC,KAAK,kDAAkD,CAAC,CAAC;QAC9F,CAAC;IACL,CAAC;AACL,CAAC;AACD,kFAAkF;AAClF,SAAgB,mBAAmB,CAAC,MAA4B,EAAE,QAAuB;IACrF,MAAM,GAAG,GAAG,YAAY,CAAC,IAAA,2BAAiB,EAAC,SAAS,CAAC,QAAQ,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC,EAAE,qBAAqB,CAAC,CAAC;IACjH,IAAI,GAAG,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK,EAAE,CAAC;QAC/B,MAAM,UAAU,CAAC,iDAAiD,CAAC,CAAC;IACxE,CAAC;IACD,IAAI,QAAQ,CAAC,KAAK,CAAC,MAAM,KAAK,GAAG,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC;QACrD,MAAM,UAAU,CAAC,0DAA0D,CAAC,CAAC;IACjF,CAAC;IACD,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QACrD,MAAM,OAAO,GAAG,eAAM,CAAC,mBAAmB,CAAC,kCAAwB,EAAE,iCAAuB,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC,CAAC;QACxI,MAAM,IAAI,GAAG,YAAY,CAAC,OAAO,EAAE,sBAAsB,CAAC,CAAC;QAC3D,MAAM,QAAQ,GAAG,GAAG,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;QAC1C,IAAI,QAAQ,KAAK,SAAS;YACtB,MAAM,CAAC,OAAO,KAAK,KAAK;YACxB,MAAM,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM;YAC7B,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;YAC/B,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;YAC/B,IAAI,CAAC,cAAc,KAAK,QAAQ,CAAC,cAAc;YAC/C,IAAI,CAAC,uBAAuB,KAAK,QAAQ,CAAC,uBAAuB,EAAE,CAAC;YACpE,MAAM,UAAU,CAAC,qDAAqD,CAAC,CAAC;QAC5E,CAAC;IACL,CAAC;IACD,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;QAC5C,MAAM,MAAM,GAAG,YAAY,CAAC,IAAA,8BAAoB,EAAC,SAAS,CAAC,MAAM,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC,EAAE,wBAAwB,CAAC,CAAC;QACxH,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM;YAC/B,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM;YAC/B,CAAC,MAAM,CAAC,OAAO,EAAE,WAAW,IAAI,SAAS,CAAC,KAAK,MAAM,CAAC,WAAW;YACjE,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,IAAI,SAAS,CAAC,KAAK,MAAM,CAAC,SAAS,EAAE,CAAC;YAChE,MAAM,UAAU,CAAC,2CAA2C,CAAC,CAAC;QAClE,CAAC;QACD,OAAO,MAAM,CAAC;IAClB,CAAC,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;QAC9C,MAAM,OAAO,GAAG,YAAY,CAAC,IAAA,+BAAqB,EAAC,SAAS,CAAC,MAAM,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC,EAAE,yBAAyB,CAAC,CAAC;QAC5H,IAAI,OAAO,CAAC,SAAS,KAAK,MAAM,CAAC,SAAS;YACtC,OAAO,CAAC,WAAW,KAAK,GAAG,CAAC,KAAK;YACjC,IAAA,yCAAoB,EAAC,OAAO,CAAC,SAAS,CAAC,KAAK,MAAM,CAAC,cAAc,EAAE,CAAC;YACpE,MAAM,UAAU,CAAC,4CAA4C,CAAC,CAAC;QACnE,CAAC;QACD,OAAO,OAAO,CAAC;IACnB,CAAC,CAAC,CAAC;IACH,qBAAqB,CAAC,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,kBAAkB,KAAK,IAAI,CAAC,CAAC;IACpF,MAAM,eAAe,GAAG,IAAI,GAAG,CAAS,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;IACpF,MAAM,WAAW,GAAG,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAA+B,EAAE;QACrF,IAAI,UAAU,CAAC,UAAU,KAAK,GAAG,CAAC,KAAK;YACnC,UAAU,CAAC,SAAS,KAAK,KAAK,IAAI,UAAU,CAAC,cAAc,KAAK,SAAS;YACzE,UAAU,CAAC,SAAS,KAAK,SAAS;gBAC9B,CAAC,UAAU,CAAC,cAAc,KAAK,SAAS;oBACpC,CAAC,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC;YAC3D,MAAM,UAAU,CAAC,oDAAoD,CAAC,CAAC;QAC3E,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,CAAC;YACjB,QAAQ,EAAE,UAAU;YACpB,KAAK,EAAE,mBAAmB,CAAC,UAAU,CAAC,cAAc,EAAE,YAAY,CAAC;SACtE,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,MAAM;QACN,QAAQ;QACR,GAAG;QACH,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;QAC/B,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;QACjC,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC;KAC1C,CAAC,CAAC;AACP,CAAC;AACD,0EAA0E;AAC1E,mDAAmD;AACnD,8DAA8D;AAC9D,SAAgB,wBAAwB,CAAC,MAA4B,EAAE,OAAe;IAClF,MAAM,UAAU,GAAG,MAAM,CAAC,4BAA4B,CAAC,OAAO,EAAE,2BAA2B,CAAC,CAAC;IAC7F,IAAI,UAAU,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAClC,OAAO,SAAS,CAAC;IACrB,IAAI,UAAU,CAAC,SAAS;QACpB,OAAO,SAAS,CAAC;IACrB,MAAM,OAAO,GAAG,UAAU,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC;IACtF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,MAAM,UAAU,CAAC,WAAW,OAAO,gCAAgC,CAAC,CAAC;IACzE,CAAC;IACD,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC;IAC7B,MAAM,IAAI,GAAG,0BAA0B,CAAC,MAAM,EAAE,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;IACjG,MAAM,OAAO,GAAG,IAAI,GAAG,CAA8B,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAU,CAAC,CAAC,CAAC;IACvG,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IACjD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACvB,MAAM,UAAU,CAAC,WAAW,OAAO,6BAA6B,CAAC,CAAC;IACtE,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,SAAS,KAAK,QAAQ,CAAC,SAAS;QAC1F,SAAS,CAAC,WAAW,KAAK,QAAQ,CAAC,WAAW;QAC9C,IAAA,yCAAoB,EAAC,SAAS,CAAC,SAAS,CAAC,KAAK,OAAO,CAAC,CAAC;IAC3D,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,UAAU,CAAC,WAAW,OAAO,yBAAyB,CAAC,CAAC;IAClE,CAAC;IACD,MAAM,OAAO,GAA8B,EAAE,CAAC;IAC9C,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,KAAK,QAAQ;QACrG,SAAS,CAAC,WAAW,KAAK,QAAQ,CAAC,WAAW;QAC9C,SAAS,CAAC,SAAS,KAAK,QAAQ,CAAC,SAAS;QAC1C,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC;QACnB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACX,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC/B,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACpB,MAAM,UAAU,CAAC,WAAW,OAAO,6BAA6B,CAAC,CAAC;QACtE,CAAC;QACD,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QAC5C,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,MAAM,UAAU,CAAC,WAAW,OAAO,yBAAyB,CAAC,CAAC;QAClE,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,GAAG,2BAA2B,EAAE,CAAC;YAChE,MAAM,UAAU,CAAC,WAAW,OAAO,wCAAwC,CAAC,CAAC;QACjF,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,OAAO;QACP,MAAM;QACN,OAAO;QACP,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;KAClC,CAAC,CAAC;AACP,CAAC;AACD,qFAAqF;AACrF,SAAgB,8BAA8B,CAAC,IAAoC,EAAE,MAA2B,EAAE,MAAsB;IACpI,IAAI,MAAM,CAAC,OAAO,KAAK,IAAI;QACvB,OAAO,SAAS,CAAC;IACrB,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,KAAK,MAAM,CAAC,OAAQ,CAAC,WAAW,CAAC,CAAC;IACjF,MAAM,OAAO,GAAG,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,SAAS,KAAK,MAAM,CAAC,OAAQ,CAAC,SAAS;QAClG,SAAS,CAAC,WAAW,KAAK,MAAM,CAAC,OAAQ,CAAC,WAAW,CAAC,CAAC;IAC3D,IAAI,MAAM,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS;QAC7C,OAAO,SAAS,CAAC;IACrB,MAAM,OAAO,GAAG,IAAA,yCAAoB,EAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,aAAa,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC;IACjI,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,KAAK,MAAM,CAAC,GAAG,CAAC,KAAK,IAAI,SAAS,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1H,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,OAAO;QACP,MAAM;QACN,OAAO;QACP,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;KAClC,CAAC,CAAC;AACP,CAAC;AACD,SAAgB,iBAAiB,CAAC,QAAmC,EAAE,MAAc;IACjF,OAAO,QAAQ,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,SAAS,KAAK,SAAS;QACtF,QAAQ,CAAC,cAAc,KAAK,QAAQ,CAAC,OAAO,CAAC,SAAS;QACtD,QAAQ,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;AACpC,CAAC;AACD,SAAgB,aAAa,CAAC,GAAwB,EAAE,MAAc;IAClE,OAAO,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,SAAS,KAAK,KAAK,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;AAC9G,CAAC;AACD,kFAAkF;AAClF,mDAAmD;AACnD,wDAAwD;AACxD,wDAAwD;AACxD,SAAgB,wBAAwB,CAAC,QAAmC;IACxE,MAAM,UAAU,GAAG,iBAAiB,CAAC,QAAQ,EAAE,sCAAyB,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IAC5F,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,MAAM,CAAC,MAAM,CAAC;YACjB,KAAK,EAAE,cAAuB;YAC9B,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,yBAAyB,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;SAC9E,CAAC,CAAC;IACP,CAAC;IACD,IAAI,UAAU,CAAC,QAAQ,CAAC,cAAc;QAClC,6CAAgC,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC;QACvD,OAAO,MAAM,CAAC,MAAM,CAAC;YACjB,KAAK,EAAE,aAAsB;YAC7B,UAAU;YACV,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,iCAAiC,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;SACtF,CAAC,CAAC;IACP,CAAC;IACD,MAAM,OAAO,GAAG,uBAAuB,CAAC,UAAU,CAAC,CAAC;IACpD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,MAAM,CAAC,MAAM,CAAC;YACjB,KAAK,EAAE,QAAiB;YACxB,UAAU;YACV,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,4BAA4B,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;SACjF,CAAC,CAAC;IACP,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,KAAK,EAAE,WAAoB;QAC3B,UAAU;QACV,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;KAC5B,CAAC,CAAC;AACP,CAAC;AACD,SAAS,uBAAuB,CAAC,UAAuC;IAIpE,MAAM,UAAU,GAAG,sCAAyB,CAAC,UAAU,CAAC;IACxD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;IAC1G,MAAM,OAAO,GAAG,IAAI,GAAG,EAA+B,CAAC;IACvD,MAAM,QAAQ,GAAG,IAAI,OAAO,EAAoC,CAAC;IACjE,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,MAAM,QAAQ,GAAG,IAAA,4CAA8B,EAAC,UAAU,EAAE,UAAU,CAAC,KAAK,EAAE;QAC1E,OAAO,EAAE,CAAC,KAAK,EAAE,WAAW,EAAE,EAAE;YAC5B,MAAM,aAAa,GAAG,WAAW,CAAC,KAAK,EAAE,0BAA0B,CAAC,CAAC;YACrE,IAAI,aAAa,KAAK,SAAS;gBAC3B,CAAC,YAAY,CAAC,KAAK,EAAE,0BAA0B,CAAC,EAAE,CAAC;gBACnD,OAAO,eAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YACrC,CAAC;YACD,IAAI,OAAO,aAAa,KAAK,QAAQ,EAAE,CAAC;gBACpC,OAAO,eAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,6BAAsC,EAAE,CAAC,CAAC;YACzE,CAAC;YACD,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;YAC7C,IAAI,QAAQ,KAAK,SAAS;gBACtB,WAAW,CAAC,YAAY,KAAK,SAAS;oBAClC,QAAQ,CAAC,UAAU,GAAG,WAAW,CAAC,YAAY,EAAE,CAAC;gBACrD,OAAO,eAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,6BAAsC,EAAE,CAAC,CAAC;YACzE,CAAC;YACD,IAAI,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;YACxC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACvB,MAAM,GAAG,IAAA,oCAAuB,EAAC,WAAW,CAAC,IAAI,CAAC,CAAC;gBACnD,OAAO,CAAC,GAAG,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;gBACnC,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;YACnC,CAAC;YACD,WAAW,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;YAC/B,OAAO,eAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAClC,CAAC;QACD,SAAS,EAAE,CAAC,KAAK,EAAE,WAAW,EAAE,EAAE;YAC9B,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,EAAE,4BAA4B,CAAC,CAAC;YAChE,IAAI,MAAM,KAAK,SAAS;gBACpB,CAAC,YAAY,CAAC,KAAK,EAAE,4BAA4B,CAAC,EAAE,CAAC;gBACrD,OAAO,eAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YACrC,CAAC;YACD,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;gBACzE,OAAO,eAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,+BAAwC,EAAE,CAAC,CAAC;YAC3E,CAAC;YACD,MAAM,KAAK,GAAG,MAAiC,CAAC;YAChD,IAAI,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC;gBACnC,KAAK,CAAC,KAAK,KAAK,WAAW,CAAC,UAAU,CAAC,KAAK;gBAC5C,KAAK,CAAC,MAAM,KAAK,WAAW,CAAC,UAAU,CAAC,MAAM;gBAC9C,CAAC,CAAC,OAAO,IAAI,KAAK,CAAC,EAAE,CAAC;gBACtB,OAAO,eAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,+BAAwC,EAAE,CAAC,CAAC;YAC3E,CAAC;YACD,OAAO,eAAM,CAAC,OAAO,CAAC,IAAA,2CAA6B,EAAC,uCAAyB,CAAC,EAAE,CAAC,WAAW,CAAC,UAAU,EAAE,WAAW,CAAC,WAAW,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QACrJ,CAAC;KACJ,CAAC,CAAC;IACH,IAAI,eAAM,CAAC,SAAS,CAAC,QAAQ,CAAC;QAC1B,WAAW,CAAC,IAAI,KAAK,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC3D,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,MAAM,OAAO,GAAG,IAAA,8CAAgC,EAAC,UAAU,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC/E,IAAI,eAAM,CAAC,SAAS,CAAC,OAAO,CAAC;QACzB,OAAO,SAAS,CAAC;IACrB,MAAM,UAAU,GAAG,IAAI,GAAG,EAGtB,CAAC;IACL,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,IAAA,2CAA6B,EAAC,SAAS,CAAC,CAAC;QACtD,IAAI,IAAI,KAAK,SAAS;YAClB,OAAO,SAAS,CAAC;QACrB,UAAU,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,MAAM,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACnH,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/I,IAAI,OAAO,CAAC,MAAM,KAAK,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM;QACxD,OAAO,SAAS,CAAC;IACrB,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,EAAE,OAAO,IAAI,CAAC,EAAE,CAAC;QAC3D,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAE,CAAC;QAClC,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAE,CAAC;QAC1D,IAAI,QAAQ,CAAC,OAAO,KAAK,OAAO;YAC5B,QAAQ,CAAC,KAAK,KAAK,OAAO,CAAC,KAAK;YAChC,QAAQ,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC;YACrC,OAAO,SAAS,CAAC;QACrB,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;AAChE,CAAC;AACD,SAAS,qBAAqB,CAAC,GAAgB,EAAE,OAAkC,EAAE,QAAoC,EAAE,iBAAiB,GAAG,KAAK;IAChJ,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAU,CAAC,CAAC,CAAC;IACrF,IAAI,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,aAAa,CAAC,MAAM,IAAI,CAAC,CAAC,iBAAiB,IAAI,OAAO,CAAC,MAAM,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;QAClI,MAAM,UAAU,CAAC,sDAAsD,CAAC,CAAC;IAC7E,CAAC;IACD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC3B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YAC9D,MAAM,UAAU,CAAC,0CAA0C,CAAC,CAAC;QACjE,CAAC;QACD,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC;IACD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACvC,IAAI,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC;YACjC,IAAI,KAAK,SAAS;YAClB,OAAO,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM;YAC9B,OAAO,CAAC,uBAAuB,KAAK,IAAI,CAAC,uBAAuB,EAAE,CAAC;YACnE,MAAM,UAAU,CAAC,6CAA6C,CAAC,CAAC;QACpE,CAAC;QACD,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IACtC,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC3B,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU;YAC5B,CAAC,MAAM,CAAC,OAAO,KAAK,IAAI;gBACpB,MAAM,CAAC,OAAO,CAAC,WAAW,KAAK,GAAG,CAAC,KAAK;gBACxC,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC;YACjD,MAAM,UAAU,CAAC,sDAAsD,CAAC,CAAC;QAC7E,CAAC;IACL,CAAC;AACL,CAAC;AACD,SAAS,aAAa,CAAC,GAAwB,EAAE,OAAwB;IACrE,OAAO,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,KAAK,IAAI;QACzD,MAAM,CAAC,OAAO,CAAC,WAAW,KAAK,OAAO,CAAC,WAAW;QAClD,MAAM,CAAC,OAAO,CAAC,SAAS,KAAK,OAAO,CAAC,SAAS,CAAC,CAAC;AACxD,CAAC;AACD,SAAS,aAAa,CAAC,MAAuB,EAAE,QAAyB;IACrE,IAAI,MAAM,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ;QACrC,MAAM,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACxC,MAAM,UAAU,CAAC,oDAAoD,CAAC,CAAC;IAC3E,CAAC;AACL,CAAC;AACD,SAAS,SAAS,CAAC,KAAiB,EAAE,KAAa;IAC/C,IAAI,CAAC;QACD,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAY,CAAC;IAC1F,CAAC;IACD,OAAO,KAAK,EAAE,CAAC;QACX,MAAM,UAAU,CAAC,GAAG,KAAK,8BAA8B,EAAE,KAAK,CAAC,CAAC;IACpE,CAAC;AACL,CAAC;AACD,SAAS,mBAAmB,CAAC,KAAiB,EAAE,KAAa;IACzD,MAAM,MAAM,GAAG,IAAA,8BAAmB,EAAC,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IAC5D,IAAI,IAAA,iCAAsB,EAAC,MAAM,CAAC,EAAE,CAAC;QACjC,MAAM,UAAU,CAAC,GAAG,KAAK,gBAAgB,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IAC9D,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AACD,SAAS,YAAY,CAAI,OAAkC,EAAE,MAAc;IACvE,IAAI,eAAM,CAAC,SAAS,CAAC,OAAO,CAAC;QACzB,MAAM,UAAU,CAAC,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IAC9C,OAAO,OAAO,CAAC,OAAO,CAAC;AAC3B,CAAC;AACD,SAAS,WAAW,CAAC,KAAc,EAAE,GAAW;IAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACtE,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACpC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG;QACpC,OAAO,SAAS,CAAC;IACrB,MAAM,UAAU,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC/D,OAAO,UAAU,EAAE,UAAU,KAAK,IAAI,IAAI,OAAO,IAAI,UAAU;QAC3D,CAAC,CAAC,UAAU,CAAC,KAAK;QAClB,CAAC,CAAC,SAAS,CAAC;AACpB,CAAC;AACD,SAAS,YAAY,CAAC,KAAc,EAAE,GAAW;IAC7C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACvE,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;AACzD,CAAC;AACD,SAAS,KAAK,CAAC,IAAY,EAAE,OAAe;IACxC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;AAC5C,CAAC;AACD,SAAS,UAAU,CAAC,MAAc,EAAE,KAAe;IAC/C,OAAO,IAAI,KAAK,CAAC,MAAM,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;AAC1E,CAAC;AACD,SAAS,WAAW,CAAC,IAAY,EAAE,KAAa;IAC5C,OAAO,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACpD,CAAC","sourcesContent":["// @concord-file ne-eval-inspection-facts-reader\n// @concord-implements docs/feature/inspection/README.md\n// @concord-implements docs/feature/inspection/architecture.md\n// @concord-implements docs/feature/inspection/use-case/inspection-check-completeness.md\nimport { Result, Schema } from \"effect\";\nimport { encodeAttemptLocator } from \"../attempt-locator.ts\";\nimport { mintRecordContentHandle, type RecordContentHandle, } from \"../record/attachment/content.ts\";\nimport { enumerateRecordAttachmentClosure, hydrateRecordAttachmentCurrent, mintRecordAttachmentReference, RecordAttachmentReference, recordAttachmentReferenceWire, } from \"../record/attachment/protocol.ts\";\nimport { decodeAttemptDocument, decodeMemberDocument, decodeRunDocument, RecordExactParseOptions, RecordSlotIdentitySchema, } from \"../record/codec/core.ts\";\nimport { NiceEvalCurrentRecordAttachments, NiceEvalRecordAttachments, } from \"../record/family/current.ts\";\nimport type { AssertionsAttachment } from \"../record/family/assertions/definition.ts\";\nimport type { AttemptDocument, MemberDocument, RunDocument, } from \"../record/model/core.ts\";\nimport type { PersistedContentMetadata, SealedAttachmentMetadata, SealedRunCore, SealedRunCutoff, SealedRunSummary, } from \"../record/sqlite/types.ts\";\nimport { closeInspectionJson, isInspectionCodecError, type InspectionJson, } from \"./codec.ts\";\nimport type { InspectionFactSource } from \"./source.ts\";\nimport type { ReadableRunResource } from \"../run/storage/types.ts\";\nexport interface DecodedInspectionAttachment {\n    readonly physical: SealedAttachmentMetadata;\n    readonly value: InspectionJson;\n}\n/** A strictly decoded sealed Run with its browser-neutral reader capability. */\nexport interface LoadedInspectionRun {\n    readonly source: InspectionFactSource;\n    readonly physical: SealedRunCore;\n    readonly run: RunDocument;\n    readonly members: readonly MemberDocument[];\n    readonly attempts: readonly AttemptDocument[];\n    readonly attachments: readonly DecodedInspectionAttachment[];\n}\n/** Exact lifecycle resource plus its optional published Core at one cutoff. */\nexport interface LoadedInspectionRunResource {\n    readonly source: InspectionFactSource;\n    readonly resource: ReadableRunResource;\n    readonly published?: LoadedInspectionRun;\n}\nexport interface InspectionAttemptTarget {\n    readonly run: LoadedInspectionRun;\n    readonly member: MemberDocument;\n}\n/** Exact origin Attempt plus every target membership visible to the resolver. */\nexport interface ResolvedInspectionAttempt {\n    readonly attempt: AttemptDocument;\n    readonly origin: LoadedInspectionRun;\n    readonly locator: string;\n    readonly targets: readonly InspectionAttemptTarget[];\n}\nexport type InspectionAssertionsRead = {\n    readonly state: \"available\";\n    readonly attachment: DecodedInspectionAttachment;\n    readonly value: AssertionsAttachment;\n    readonly contents: WeakMap<object, PersistedContentMetadata>;\n    readonly issues: readonly InspectionJson[];\n} | {\n    readonly state: \"not-recorded\" | \"unsupported\" | \"failed\";\n    readonly attachment?: DecodedInspectionAttachment;\n    readonly issues: readonly InspectionJson[];\n};\nconst RUN_PAGE_SIZE = 100;\nconst ATTEMPT_CANDIDATE_RUN_LIMIT = 64;\nconst ATTEMPT_TARGET_MEMBER_LIMIT = 256;\n/**\n * Pins the source cutoff, exhausts the fixed Run-summary pagination, then\n * reads and strictly decodes every Run Core in that exact sealed generation.\n */\n// @concord-code ne-eval-inspection-load-runs\n// @concord-implements docs/feature/inspection/architecture.md\n// @concord-implements docs/feature/inspection/use-case/inspection-check-completeness.md\nexport function loadInspectionRuns(source: InspectionFactSource): readonly LoadedInspectionRun[] {\n    const cutoff = source.cutoff();\n    const summaries: SealedRunSummary[] = [];\n    const seen = new Set<string>();\n    let afterRunId = \"\";\n    for (;;) {\n        const page = source.readSealedRunSummaryPage(afterRunId, RUN_PAGE_SIZE, cutoff.identity);\n        requireCutoff(page.cutoff, cutoff);\n        if (page.afterRunId !== afterRunId) {\n            throw factsError(\"Run pagination returned a different cursor\");\n        }\n        let previous = afterRunId;\n        for (const summary of page.summaries) {\n            if (summary.runId <= previous || seen.has(summary.runId)) {\n                throw factsError(\"Run pagination is not strictly ordered\");\n            }\n            seen.add(summary.runId);\n            summaries.push(summary);\n            previous = summary.runId;\n        }\n        if (page.nextAfterRunId === null)\n            break;\n        if (page.summaries.length === 0 ||\n            page.nextAfterRunId !== page.summaries.at(-1)!.runId ||\n            page.nextAfterRunId === afterRunId) {\n            throw factsError(\"Run pagination returned an invalid continuation cursor\");\n        }\n        afterRunId = page.nextAfterRunId;\n    }\n    if (summaries.length !== cutoff.runCount) {\n        throw factsError(\"Run pagination did not close the pinned sealed cutoff\");\n    }\n    return Object.freeze(summaries.map((summary) => {\n        const physical = source.readSealedRunCore(summary.runId);\n        if (physical === undefined) {\n            throw factsError(`Sealed Run ${summary.runId} disappeared from the pinned cutoff`);\n        }\n        return decodeInspectionRun(source, physical);\n    }));\n}\n/** Reads a bounded, explicit Run selection without changing its caller order. */\nexport function loadSelectedInspectionRuns(source: InspectionFactSource, runIds: readonly string[]): readonly LoadedInspectionRun[] {\n    const cutoff = source.cutoff();\n    const loaded: LoadedInspectionRun[] = [];\n    for (const runId of new Set(runIds)) {\n        const physical = source.readSealedRunCore(runId);\n        if (physical !== undefined)\n            loaded.push(decodeInspectionRun(source, physical));\n    }\n    requireCutoff(source.cutoff(), cutoff);\n    return Object.freeze(loaded);\n}\n/** Reads Run create/close facts even when no Attempt Core has been published. */\nexport function loadInspectionRunResource(source: InspectionFactSource, runId: string): LoadedInspectionRunResource | undefined {\n    const cutoff = source.cutoff();\n    const resource = source.readRunResource(runId);\n    if (resource === undefined)\n        return undefined;\n    const physical = source.readSealedRunCore(runId);\n    const published = physical === undefined\n        ? undefined\n        : decodeInspectionRun(source, physical);\n    requireCutoff(source.cutoff(), cutoff);\n    if (resource.published > 0 && published === undefined) {\n        throw factsError(`Run ${runId} has published bindings without a readable Core`);\n    }\n    if (published !== undefined)\n        validateRunResourceCore(resource, published);\n    return Object.freeze({ source, resource, ...(published === undefined ? {} : { published }) });\n}\nfunction validateRunResourceCore(resource: ReadableRunResource, published: LoadedInspectionRun): void {\n    const run = published.run;\n    if (run.runId !== resource.runId ||\n        run.experimentId !== resource.experimentId ||\n        run.startedAt !== Date.parse(resource.startedAt) ||\n        run.expectedSlots.length !== resource.slots.length) {\n        throw factsError(`Run ${resource.runId} lifecycle resource does not match its published Core`);\n    }\n    for (const [index, slot] of run.expectedSlots.entries()) {\n        const expected = resource.slots[index];\n        if (expected === undefined ||\n            slot.slotId !== expected.slotId ||\n            slot.evalId !== expected.evalId ||\n            slot.attemptOrdinal !== expected.attemptOrdinal ||\n            slot.executionIdentityDigest !== expected.executionIdentityDigest) {\n            throw factsError(`Run ${resource.runId} expected Slot does not match its published Core`);\n        }\n    }\n}\n/** Strictly decodes all Core documents and Attachment JSON for one sealed Run. */\nexport function decodeInspectionRun(source: InspectionFactSource, physical: SealedRunCore): LoadedInspectionRun {\n    const run = decodedRight(decodeRunDocument(parseJson(physical.runCoreBytes, \"Run Core\")), \"Run Core is invalid\");\n    if (run.runId !== physical.runId) {\n        throw factsError(\"Run Core identity does not match its sealed row\");\n    }\n    if (physical.slots.length !== run.expectedSlots.length) {\n        throw factsError(\"Run Core Slot rows do not match its expected denominator\");\n    }\n    for (const [index, stored] of physical.slots.entries()) {\n        const decoded = Schema.decodeUnknownResult(RecordSlotIdentitySchema, RecordExactParseOptions)(parseJson(stored.coreBytes, \"Slot Core\"));\n        const slot = decodedRight(decoded, \"Slot Core is invalid\");\n        const expected = run.expectedSlots[index];\n        if (expected === undefined ||\n            stored.ordinal !== index ||\n            stored.slotId !== slot.slotId ||\n            slot.slotId !== expected.slotId ||\n            slot.evalId !== expected.evalId ||\n            slot.attemptOrdinal !== expected.attemptOrdinal ||\n            slot.executionIdentityDigest !== expected.executionIdentityDigest) {\n            throw factsError(\"Slot Core does not match its sealed Run denominator\");\n        }\n    }\n    const members = physical.members.map((stored) => {\n        const member = decodedRight(decodeMemberDocument(parseJson(stored.coreBytes, \"Member Core\")), \"Member Core is invalid\");\n        if (member.slotId !== stored.slotId ||\n            member.action !== stored.action ||\n            (member.attempt?.originRunId ?? undefined) !== stored.originRunId ||\n            (member.attempt?.attemptId ?? undefined) !== stored.attemptId) {\n            throw factsError(\"Member Core does not match its sealed row\");\n        }\n        return member;\n    });\n    const attempts = physical.attempts.map((stored) => {\n        const attempt = decodedRight(decodeAttemptDocument(parseJson(stored.coreBytes, \"Attempt Core\")), \"Attempt Core is invalid\");\n        if (attempt.attemptId !== stored.attemptId ||\n            attempt.originRunId !== run.runId ||\n            encodeAttemptLocator(attempt.attemptId) !== stored.attemptLocator) {\n            throw factsError(\"Attempt Core does not match its sealed row\");\n        }\n        return attempt;\n    });\n    validateCoreRelations(run, members, attempts, physical.publicationManaged === true);\n    const localAttemptIds = new Set<string>(attempts.map(({ attemptId }) => attemptId));\n    const attachments = physical.attachments.map((attachment): DecodedInspectionAttachment => {\n        if (attachment.ownerRunId !== run.runId ||\n            attachment.ownerKind === \"run\" && attachment.ownerAttemptId !== undefined ||\n            attachment.ownerKind === \"attempt\" &&\n                (attachment.ownerAttemptId === undefined ||\n                    !localAttemptIds.has(attachment.ownerAttemptId))) {\n            throw factsError(\"Attachment ownership does not match its sealed Run\");\n        }\n        return Object.freeze({\n            physical: attachment,\n            value: parseInspectionJson(attachment.canonicalBytes, \"Attachment\"),\n        });\n    });\n    return Object.freeze({\n        source,\n        physical,\n        run,\n        members: Object.freeze(members),\n        attempts: Object.freeze(attempts),\n        attachments: Object.freeze(attachments),\n    });\n}\n/** Resolves a public locator through the source's bounded exact index. */\n// @concord-code ne-eval-inspection-resolve-attempt\n// @concord-implements docs/feature/inspection/architecture.md\nexport function resolveInspectionAttempt(source: InspectionFactSource, locator: string): ResolvedInspectionAttempt | undefined {\n    const projection = source.findAttemptLocatorCandidates(locator, ATTEMPT_CANDIDATE_RUN_LIMIT);\n    if (projection.candidates.length === 0)\n        return undefined;\n    if (projection.ambiguous)\n        return undefined;\n    const origins = projection.candidates.filter(({ relation }) => relation === \"origin\");\n    if (origins.length !== 1) {\n        throw factsError(`Attempt ${locator} indexed projection is invalid`);\n    }\n    const identity = origins[0]!;\n    const runs = loadSelectedInspectionRuns(source, projection.candidates.map(({ runId }) => runId));\n    const byRunId = new Map<string, LoadedInspectionRun>(runs.map((run) => [run.run.runId, run] as const));\n    const origin = byRunId.get(identity.originRunId);\n    if (origin === undefined) {\n        throw factsError(`Attempt ${locator} origin is not a sealed Run`);\n    }\n    const attempt = origin.attempts.find((candidate) => candidate.attemptId === identity.attemptId &&\n        candidate.originRunId === identity.originRunId &&\n        encodeAttemptLocator(candidate.attemptId) === locator);\n    if (attempt === undefined) {\n        throw factsError(`Attempt ${locator} origin Core is invalid`);\n    }\n    const targets: InspectionAttemptTarget[] = [];\n    const targetRunIds = new Set(projection.candidates.flatMap((candidate) => candidate.relation === \"target\" &&\n        candidate.originRunId === identity.originRunId &&\n        candidate.attemptId === identity.attemptId\n        ? [candidate.runId]\n        : []));\n    for (const runId of targetRunIds) {\n        const run = byRunId.get(runId);\n        if (run === undefined) {\n            throw factsError(`Attempt ${locator} target is not a sealed Run`);\n        }\n        const members = targetMembers(run, attempt);\n        if (members.length === 0) {\n            throw factsError(`Attempt ${locator} target Core is invalid`);\n        }\n        if (targets.length + members.length > ATTEMPT_TARGET_MEMBER_LIMIT) {\n            throw factsError(`Attempt ${locator} exceeds its fixed target member limit`);\n        }\n        targets.push(...members.map((member) => Object.freeze({ run, member })));\n    }\n    return Object.freeze({\n        attempt,\n        origin,\n        locator,\n        targets: Object.freeze(targets),\n    });\n}\n/** Resolves one already loaded target Member without consulting a platform index. */\nexport function resolveInspectionMemberAttempt(runs: readonly LoadedInspectionRun[], target: LoadedInspectionRun, member: MemberDocument): ResolvedInspectionAttempt | undefined {\n    if (member.attempt === null)\n        return undefined;\n    const origin = runs.find(({ run }) => run.runId === member.attempt!.originRunId);\n    const attempt = origin?.attempts.find((candidate) => candidate.attemptId === member.attempt!.attemptId &&\n        candidate.originRunId === member.attempt!.originRunId);\n    if (origin === undefined || attempt === undefined)\n        return undefined;\n    const locator = encodeAttemptLocator(attempt.attemptId);\n    const targets = runs.flatMap((run) => targetMembers(run, attempt).map((candidate) => Object.freeze({ run, member: candidate })));\n    if (!targets.some(({ run, member: candidate }) => run.run.runId === target.run.runId && candidate.slotId === member.slotId)) {\n        return undefined;\n    }\n    return Object.freeze({\n        attempt,\n        origin,\n        locator,\n        targets: Object.freeze(targets),\n    });\n}\nexport function attemptAttachment(resolved: ResolvedInspectionAttempt, family: string): DecodedInspectionAttachment | undefined {\n    return resolved.origin.attachments.find(({ physical }) => physical.ownerKind === \"attempt\" &&\n        physical.ownerAttemptId === resolved.attempt.attemptId &&\n        physical.family === family);\n}\nexport function runAttachment(run: LoadedInspectionRun, family: string): DecodedInspectionAttachment | undefined {\n    return run.attachments.find(({ physical }) => physical.ownerKind === \"run\" && physical.family === family);\n}\n/** Reads only the current logical Assertions family, preserving failure state. */\n// @concord-code ne-eval-inspection-read-assertions\n// @concord-implements docs/feature/assertions/README.md\n// @concord-implements docs/feature/inspection/README.md\nexport function readInspectionAssertions(resolved: ResolvedInspectionAttempt): InspectionAssertionsRead {\n    const attachment = attemptAttachment(resolved, NiceEvalRecordAttachments.assertions.family);\n    if (attachment === undefined) {\n        return Object.freeze({\n            state: \"not-recorded\" as const,\n            issues: Object.freeze([issue(\"assertions-not-recorded\", resolved.locator)]),\n        });\n    }\n    if (attachment.physical.familyRevision !==\n        NiceEvalCurrentRecordAttachments.assertions.revision) {\n        return Object.freeze({\n            state: \"unsupported\" as const,\n            attachment,\n            issues: Object.freeze([issue(\"assertions-revision-unsupported\", resolved.locator)]),\n        });\n    }\n    const decoded = decodeCurrentAssertions(attachment);\n    if (decoded === undefined) {\n        return Object.freeze({\n            state: \"failed\" as const,\n            attachment,\n            issues: Object.freeze([issue(\"assertions-current-invalid\", resolved.locator)]),\n        });\n    }\n    return Object.freeze({\n        state: \"available\" as const,\n        attachment,\n        value: decoded.value,\n        contents: decoded.contents,\n        issues: Object.freeze([]),\n    });\n}\nfunction decodeCurrentAssertions(attachment: DecodedInspectionAttachment): {\n    readonly value: AssertionsAttachment;\n    readonly contents: WeakMap<object, PersistedContentMetadata>;\n} | undefined {\n    const definition = NiceEvalRecordAttachments.assertions;\n    const byHandle = new Map(attachment.physical.contents.map((content) => [content.logicalHandle, content]));\n    const handles = new Map<string, RecordContentHandle>();\n    const contents = new WeakMap<object, PersistedContentMetadata>();\n    const usedContent = new Set<string>();\n    const hydrated = hydrateRecordAttachmentCurrent(definition, attachment.value, {\n        content: (token, declaration) => {\n            const logicalHandle = exactMarker(token, \"$niceeval.record.content\");\n            if (logicalHandle === undefined &&\n                !hasOwnMarker(token, \"$niceeval.record.content\")) {\n                return Result.succeed(undefined);\n            }\n            if (typeof logicalHandle !== \"string\") {\n                return Result.fail({ code: \"current-content-bind-failed\" as const });\n            }\n            const metadata = byHandle.get(logicalHandle);\n            if (metadata === undefined ||\n                declaration.maximumBytes !== undefined &&\n                    metadata.byteLength > declaration.maximumBytes) {\n                return Result.fail({ code: \"current-content-bind-failed\" as const });\n            }\n            let handle = handles.get(logicalHandle);\n            if (handle === undefined) {\n                handle = mintRecordContentHandle(declaration.kind);\n                handles.set(logicalHandle, handle);\n                contents.set(handle, metadata);\n            }\n            usedContent.add(logicalHandle);\n            return Result.succeed(handle);\n        },\n        reference: (token, declaration) => {\n            const marker = exactMarker(token, \"$niceeval.record.reference\");\n            if (marker === undefined &&\n                !hasOwnMarker(token, \"$niceeval.record.reference\")) {\n                return Result.succeed(undefined);\n            }\n            if (typeof marker !== \"object\" || marker === null || Array.isArray(marker)) {\n                return Result.fail({ code: \"current-reference-bind-failed\" as const });\n            }\n            const value = marker as Record<string, unknown>;\n            if (Reflect.ownKeys(value).length !== 3 ||\n                value.owner !== declaration.definition.owner ||\n                value.family !== declaration.definition.family ||\n                !(\"value\" in value)) {\n                return Result.fail({ code: \"current-reference-bind-failed\" as const });\n            }\n            return Result.succeed(mintRecordAttachmentReference(RecordAttachmentReference.to(declaration.definition, declaration.valueSchema), value.value));\n        },\n    });\n    if (Result.isFailure(hydrated) ||\n        usedContent.size !== attachment.physical.contents.length) {\n        return undefined;\n    }\n    const closure = enumerateRecordAttachmentClosure(definition, hydrated.success);\n    if (Result.isFailure(closure))\n        return undefined;\n    const references = new Map<string, {\n        readonly owner: string;\n        readonly family: string;\n    }>();\n    for (const reference of closure.success.references) {\n        const wire = recordAttachmentReferenceWire(reference);\n        if (wire === undefined)\n            return undefined;\n        references.set(`${wire.owner}\\u0000${wire.family}`, Object.freeze({ owner: wire.owner, family: wire.family }));\n    }\n    const ordered = [...references.values()].sort((left, right) => compareText(left.owner, right.owner) || compareText(left.family, right.family));\n    if (ordered.length !== attachment.physical.references.length)\n        return undefined;\n    for (let ordinal = 0; ordinal < ordered.length; ordinal += 1) {\n        const logical = ordered[ordinal]!;\n        const physical = attachment.physical.references[ordinal]!;\n        if (physical.ordinal !== ordinal ||\n            physical.owner !== logical.owner ||\n            physical.family !== logical.family) {\n            return undefined;\n        }\n    }\n    return Object.freeze({ value: hydrated.success, contents });\n}\nfunction validateCoreRelations(run: RunDocument, members: readonly MemberDocument[], attempts: readonly AttemptDocument[], allowPendingSlots = false): void {\n    const slots = new Map(run.expectedSlots.map((slot) => [slot.slotId, slot] as const));\n    if (slots.size !== run.expectedSlots.length || (!allowPendingSlots && members.length !== slots.size) || members.length > slots.size) {\n        throw factsError(\"Run Core does not close its expected Slot membership\");\n    }\n    const memberSlots = new Set<string>();\n    for (const member of members) {\n        if (!slots.has(member.slotId) || memberSlots.has(member.slotId)) {\n            throw factsError(\"Run Core contains an invalid Member Slot\");\n        }\n        memberSlots.add(member.slotId);\n    }\n    const attemptIds = new Set<string>();\n    for (const attempt of attempts) {\n        const slot = slots.get(attempt.slotId);\n        if (attemptIds.has(attempt.attemptId) ||\n            slot === undefined ||\n            attempt.evalId !== slot.evalId ||\n            attempt.executionIdentityDigest !== slot.executionIdentityDigest) {\n            throw factsError(\"Run Core contains an invalid origin Attempt\");\n        }\n        attemptIds.add(attempt.attemptId);\n    }\n    for (const member of members) {\n        if (member.action === \"executed\" &&\n            (member.attempt === null ||\n                member.attempt.originRunId !== run.runId ||\n                !attemptIds.has(member.attempt.attemptId))) {\n            throw factsError(\"Executed Member does not name a local origin Attempt\");\n        }\n    }\n}\nfunction targetMembers(run: LoadedInspectionRun, attempt: AttemptDocument): readonly MemberDocument[] {\n    return run.members.filter((member) => member.attempt !== null &&\n        member.attempt.originRunId === attempt.originRunId &&\n        member.attempt.attemptId === attempt.attemptId);\n}\nfunction requireCutoff(actual: SealedRunCutoff, expected: SealedRunCutoff): void {\n    if (actual.identity !== expected.identity ||\n        actual.runCount !== expected.runCount) {\n        throw factsError(\"Inspection source changed its pinned sealed cutoff\");\n    }\n}\nfunction parseJson(bytes: Uint8Array, owner: string): unknown {\n    try {\n        return JSON.parse(new TextDecoder(\"utf-8\", { fatal: true }).decode(bytes)) as unknown;\n    }\n    catch (cause) {\n        throw factsError(`${owner} is not canonical UTF-8 JSON`, cause);\n    }\n}\nfunction parseInspectionJson(bytes: Uint8Array, owner: string): InspectionJson {\n    const closed = closeInspectionJson(parseJson(bytes, owner));\n    if (isInspectionCodecError(closed)) {\n        throw factsError(`${owner} is invalid: ${closed.reason}`);\n    }\n    return closed;\n}\nfunction decodedRight<A>(decoded: Result.Result<A, unknown>, reason: string): A {\n    if (Result.isFailure(decoded))\n        throw factsError(reason, decoded.failure);\n    return decoded.success;\n}\nfunction exactMarker(value: unknown, key: string): unknown | undefined {\n    if (typeof value !== \"object\" || value === null || Array.isArray(value)) {\n        return undefined;\n    }\n    const keys = Reflect.ownKeys(value);\n    if (keys.length !== 1 || keys[0] !== key)\n        return undefined;\n    const descriptor = Object.getOwnPropertyDescriptor(value, key);\n    return descriptor?.enumerable === true && \"value\" in descriptor\n        ? descriptor.value\n        : undefined;\n}\nfunction hasOwnMarker(value: unknown, key: string): boolean {\n    return typeof value === \"object\" && value !== null && !Array.isArray(value) &&\n        Object.prototype.hasOwnProperty.call(value, key);\n}\nfunction issue(code: string, locator: string): InspectionJson {\n    return Object.freeze({ code, locator });\n}\nfunction factsError(reason: string, cause?: unknown): Error {\n    return new Error(reason, cause === undefined ? undefined : { cause });\n}\nfunction compareText(left: string, right: string): number {\n    return left < right ? -1 : left > right ? 1 : 0;\n}\n"]}
+{"version":3,"file":"facts.js","sourceRoot":"","sources":["facts.ts"],"names":[],"mappings":";;AAmFA,gDAuCC;AAED,gEAUC;AAED,8DAaC;AAqBD,kDA0EC;AAID,4DAiDC;AAwCD,wEAaC;AACD,8CAIC;AACD,sCAEC;AAKD,4DA+BC;AA1YD,gDAAgD;AAChD,wDAAwD;AACxD,8DAA8D;AAC9D,wFAAwF;AACxF,mCAAwC;AACxC,8DAA6D;AAC7D,gEAAqG;AACrG,kEAA8M;AAC9M,qDAA6J;AAC7J,4DAA2G;AAI3G,yCAA+F;AAE/F,yCAA8C;AA2C9C,MAAM,aAAa,GAAG,GAAG,CAAC;AAC1B,MAAM,2BAA2B,GAAG,EAAE,CAAC;AACvC,MAAM,2BAA2B,GAAG,GAAG,CAAC;AACxC,MAAM,WAAW,GAAG,IAAI,OAAO,EAA0D,CAAC;AAC1F,SAAS,iBAAiB,CAAC,MAA4B,EAAE,KAAa;IAClE,IAAI,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACpC,IAAI,KAAK,KAAK,SAAS;QACnB,WAAW,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC;IAC/C,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAChC,IAAI,MAAM,KAAK,SAAS;QACpB,OAAO,MAAM,CAAC;IAClB,MAAM,QAAQ,GAAG,MAAM,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;IACjD,IAAI,QAAQ,KAAK,SAAS;QACtB,OAAO,SAAS,CAAC;IACrB,MAAM,OAAO,GAAG,mBAAmB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACtD,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC1B,OAAO,OAAO,CAAC;AACnB,CAAC;AACD;;;GAGG;AACH,6CAA6C;AAC7C,8DAA8D;AAC9D,wFAAwF;AACxF,SAAgB,kBAAkB,CAAC,MAA4B;IAC3D,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;IAC/B,MAAM,SAAS,GAAuB,EAAE,CAAC;IACzC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,IAAI,UAAU,GAAG,EAAE,CAAC;IACpB,SAAS,CAAC;QACN,MAAM,IAAI,GAAG,MAAM,CAAC,wBAAwB,CAAC,UAAU,EAAE,aAAa,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;QACzF,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACnC,IAAI,IAAI,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;YACjC,MAAM,UAAU,CAAC,4CAA4C,CAAC,CAAC;QACnE,CAAC;QACD,IAAI,QAAQ,GAAG,UAAU,CAAC;QAC1B,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YACnC,IAAI,OAAO,CAAC,KAAK,IAAI,QAAQ,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACvD,MAAM,UAAU,CAAC,wCAAwC,CAAC,CAAC;YAC/D,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YACxB,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACxB,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC;QAC7B,CAAC;QACD,IAAI,IAAI,CAAC,cAAc,KAAK,IAAI;YAC5B,MAAM;QACV,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;YAC3B,IAAI,CAAC,cAAc,KAAK,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,KAAK;YACpD,IAAI,CAAC,cAAc,KAAK,UAAU,EAAE,CAAC;YACrC,MAAM,UAAU,CAAC,wDAAwD,CAAC,CAAC;QAC/E,CAAC;QACD,UAAU,GAAG,IAAI,CAAC,cAAc,CAAC;IACrC,CAAC;IACD,IAAI,SAAS,CAAC,MAAM,KAAK,MAAM,CAAC,QAAQ,EAAE,CAAC;QACvC,MAAM,UAAU,CAAC,uDAAuD,CAAC,CAAC;IAC9E,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;QAC3C,MAAM,GAAG,GAAG,iBAAiB,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC;QACrD,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACpB,MAAM,UAAU,CAAC,cAAc,OAAO,CAAC,KAAK,qCAAqC,CAAC,CAAC;QACvF,CAAC;QACD,OAAO,GAAG,CAAC;IACf,CAAC,CAAC,CAAC,CAAC;AACR,CAAC;AACD,iFAAiF;AACjF,SAAgB,0BAA0B,CAAC,MAA4B,EAAE,MAAyB;IAC9F,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;IAC/B,MAAM,MAAM,GAA0B,EAAE,CAAC;IACzC,KAAK,MAAM,KAAK,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAClC,MAAM,GAAG,GAAG,iBAAiB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAC7C,IAAI,GAAG,KAAK,SAAS;YACjB,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzB,CAAC;IACD,aAAa,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,MAAM,CAAC,CAAC;IACvC,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AACjC,CAAC;AACD,iFAAiF;AACjF,SAAgB,yBAAyB,CAAC,MAA4B,EAAE,KAAa;IACjF,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;IAC/B,MAAM,QAAQ,GAAG,MAAM,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;IAC/C,IAAI,QAAQ,KAAK,SAAS;QACtB,OAAO,SAAS,CAAC;IACrB,MAAM,SAAS,GAAG,iBAAiB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACnD,aAAa,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,MAAM,CAAC,CAAC;IACvC,IAAI,QAAQ,CAAC,SAAS,GAAG,CAAC,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QACpD,MAAM,UAAU,CAAC,OAAO,KAAK,iDAAiD,CAAC,CAAC;IACpF,CAAC;IACD,IAAI,SAAS,KAAK,SAAS;QACvB,uBAAuB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IACjD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;AAClG,CAAC;AACD,SAAS,uBAAuB,CAAC,QAA6B,EAAE,SAA8B;IAC1F,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC;IAC1B,IAAI,GAAG,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK;QAC5B,GAAG,CAAC,YAAY,KAAK,QAAQ,CAAC,YAAY;QAC1C,GAAG,CAAC,SAAS,KAAK,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC;QAChD,GAAG,CAAC,aAAa,CAAC,MAAM,KAAK,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QACrD,MAAM,UAAU,CAAC,OAAO,QAAQ,CAAC,KAAK,uDAAuD,CAAC,CAAC;IACnG,CAAC;IACD,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,GAAG,CAAC,aAAa,CAAC,OAAO,EAAE,EAAE,CAAC;QACtD,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACvC,IAAI,QAAQ,KAAK,SAAS;YACtB,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;YAC/B,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;YAC/B,IAAI,CAAC,cAAc,KAAK,QAAQ,CAAC,cAAc;YAC/C,IAAI,CAAC,uBAAuB,KAAK,QAAQ,CAAC,uBAAuB,EAAE,CAAC;YACpE,MAAM,UAAU,CAAC,OAAO,QAAQ,CAAC,KAAK,kDAAkD,CAAC,CAAC;QAC9F,CAAC;IACL,CAAC;AACL,CAAC;AACD,6EAA6E;AAC7E,SAAgB,mBAAmB,CAAC,MAA4B,EAAE,QAAuB;IACrF,MAAM,GAAG,GAAG,YAAY,CAAC,IAAA,2BAAiB,EAAC,iBAAiB,CAAC,QAAQ,CAAC,YAAY,EAAE,QAAQ,CAAC,aAAa,EAAE,UAAU,CAAC,CAAC,EAAE,qBAAqB,CAAC,CAAC;IACjJ,IAAI,GAAG,CAAC,KAAK,KAAK,QAAQ,CAAC,KAAK,EAAE,CAAC;QAC/B,MAAM,UAAU,CAAC,iDAAiD,CAAC,CAAC;IACxE,CAAC;IACD,IAAI,QAAQ,CAAC,KAAK,CAAC,MAAM,KAAK,GAAG,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC;QACrD,MAAM,UAAU,CAAC,0DAA0D,CAAC,CAAC;IACjF,CAAC;IACD,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QACrD,MAAM,OAAO,GAAG,eAAM,CAAC,mBAAmB,CAAC,kCAAwB,EAAE,iCAAuB,CAAC,CAAC,iBAAiB,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC,CAAC;QACnK,MAAM,IAAI,GAAG,YAAY,CAAC,OAAO,EAAE,sBAAsB,CAAC,CAAC;QAC3D,MAAM,QAAQ,GAAG,GAAG,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;QAC1C,IAAI,QAAQ,KAAK,SAAS;YACtB,MAAM,CAAC,OAAO,KAAK,KAAK;YACxB,MAAM,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM;YAC7B,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;YAC/B,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM;YAC/B,IAAI,CAAC,cAAc,KAAK,QAAQ,CAAC,cAAc;YAC/C,IAAI,CAAC,uBAAuB,KAAK,QAAQ,CAAC,uBAAuB,EAAE,CAAC;YACpE,MAAM,UAAU,CAAC,qDAAqD,CAAC,CAAC;QAC5E,CAAC;IACL,CAAC;IACD,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;QAC5C,MAAM,MAAM,GAAG,YAAY,CAAC,IAAA,8BAAoB,EAAC,iBAAiB,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC,EAAE,wBAAwB,CAAC,CAAC;QACnJ,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM;YAC/B,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM;YAC/B,CAAC,MAAM,CAAC,OAAO,EAAE,WAAW,IAAI,SAAS,CAAC,KAAK,MAAM,CAAC,WAAW;YACjE,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,IAAI,SAAS,CAAC,KAAK,MAAM,CAAC,SAAS,EAAE,CAAC;YAChE,MAAM,UAAU,CAAC,2CAA2C,CAAC,CAAC;QAClE,CAAC;QACD,OAAO,MAAM,CAAC;IAClB,CAAC,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;QAC9C,MAAM,OAAO,GAAG,YAAY,CAAC,IAAA,+BAAqB,EAAC,iBAAiB,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,UAAU,EAAE,cAAc,CAAC,CAAC,EAAE,yBAAyB,CAAC,CAAC;QACvJ,IAAI,OAAO,CAAC,SAAS,KAAK,MAAM,CAAC,SAAS;YACtC,OAAO,CAAC,WAAW,KAAK,GAAG,CAAC,KAAK;YACjC,IAAA,yCAAoB,EAAC,OAAO,CAAC,SAAS,CAAC,KAAK,MAAM,CAAC,cAAc,EAAE,CAAC;YACpE,MAAM,UAAU,CAAC,4CAA4C,CAAC,CAAC;QACnE,CAAC;QACD,OAAO,OAAO,CAAC;IACnB,CAAC,CAAC,CAAC;IACH,qBAAqB,CAAC,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,kBAAkB,KAAK,IAAI,CAAC,CAAC;IACpF,MAAM,eAAe,GAAG,IAAI,GAAG,CAAS,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;IACpF,MAAM,WAAW,GAAG,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAA+B,EAAE;QACrF,IAAI,UAAU,CAAC,UAAU,KAAK,GAAG,CAAC,KAAK;YACnC,UAAU,CAAC,SAAS,KAAK,KAAK,IAAI,UAAU,CAAC,cAAc,KAAK,SAAS;YACzE,UAAU,CAAC,SAAS,KAAK,SAAS;gBAC9B,CAAC,UAAU,CAAC,cAAc,KAAK,SAAS;oBACpC,CAAC,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,EAAE,CAAC;YAC3D,MAAM,UAAU,CAAC,oDAAoD,CAAC,CAAC;QAC3E,CAAC;QACD,IAAI,KAAiC,CAAC;QACtC,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,OAAO,MAAM,CAAC,MAAM,CAAC;YACjB,QAAQ,EAAE,UAAU;YACpB,IAAI,KAAK;gBACL,IAAI,CAAC,OAAO,EAAE,CAAC;oBACX,YAAY,CAAC,UAAU,CAAC,cAAc,EAAE,UAAU,CAAC,eAAe,EAAE,YAAY,CAAC,CAAC;oBAClF,YAAY,CAAC,UAAU,CAAC,qBAAqB,EAAE,UAAU,CAAC,eAAe,EAAE,sBAAsB,CAAC,CAAC;oBACnG,KAAK,GAAG,mBAAmB,CAAC,UAAU,CAAC,cAAc,EAAE,YAAY,CAAC,CAAC;oBACrE,OAAO,GAAG,IAAI,CAAC;gBACnB,CAAC;gBACD,OAAO,KAAM,CAAC;YAClB,CAAC;SACJ,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,MAAM;QACN,QAAQ;QACR,GAAG;QACH,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;QAC/B,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;QACjC,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC;KAC1C,CAAC,CAAC;AACP,CAAC;AACD,0EAA0E;AAC1E,mDAAmD;AACnD,8DAA8D;AAC9D,SAAgB,wBAAwB,CAAC,MAA4B,EAAE,OAAe;IAClF,MAAM,UAAU,GAAG,MAAM,CAAC,4BAA4B,CAAC,OAAO,EAAE,2BAA2B,CAAC,CAAC;IAC7F,IAAI,UAAU,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAClC,OAAO,SAAS,CAAC;IACrB,IAAI,UAAU,CAAC,SAAS;QACpB,OAAO,SAAS,CAAC;IACrB,MAAM,OAAO,GAAG,UAAU,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC;IACtF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,MAAM,UAAU,CAAC,WAAW,OAAO,gCAAgC,CAAC,CAAC;IACzE,CAAC;IACD,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC;IAC7B,MAAM,IAAI,GAAG,0BAA0B,CAAC,MAAM,EAAE,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;IACjG,MAAM,OAAO,GAAG,IAAI,GAAG,CAA8B,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAU,CAAC,CAAC,CAAC;IACvG,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IACjD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACvB,MAAM,UAAU,CAAC,WAAW,OAAO,6BAA6B,CAAC,CAAC;IACtE,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,SAAS,KAAK,QAAQ,CAAC,SAAS;QAC1F,SAAS,CAAC,WAAW,KAAK,QAAQ,CAAC,WAAW;QAC9C,IAAA,yCAAoB,EAAC,SAAS,CAAC,SAAS,CAAC,KAAK,OAAO,CAAC,CAAC;IAC3D,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,UAAU,CAAC,WAAW,OAAO,yBAAyB,CAAC,CAAC;IAClE,CAAC;IACD,MAAM,OAAO,GAA8B,EAAE,CAAC;IAC9C,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,KAAK,QAAQ;QACrG,SAAS,CAAC,WAAW,KAAK,QAAQ,CAAC,WAAW;QAC9C,SAAS,CAAC,SAAS,KAAK,QAAQ,CAAC,SAAS;QAC1C,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC;QACnB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACX,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC/B,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACpB,MAAM,UAAU,CAAC,WAAW,OAAO,6BAA6B,CAAC,CAAC;QACtE,CAAC;QACD,MAAM,OAAO,GAAG,aAAa,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QAC5C,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,MAAM,UAAU,CAAC,WAAW,OAAO,yBAAyB,CAAC,CAAC;QAClE,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,GAAG,2BAA2B,EAAE,CAAC;YAChE,MAAM,UAAU,CAAC,WAAW,OAAO,wCAAwC,CAAC,CAAC;QACjF,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,OAAO;QACP,MAAM;QACN,OAAO;QACP,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;KAClC,CAAC,CAAC;AACP,CAAC;AASD,MAAM,aAAa,GAAG,IAAI,OAAO,EAAyD,CAAC;AAC3F,SAAS,WAAW,CAAC,IAAoC;IACrD,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,MAAM,KAAK,SAAS;QACpB,OAAO,MAAM,CAAC;IAClB,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE;YAClD,GAAG,EAAE,QAAQ,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC;YACnF,OAAO,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;SACzE,CAAC,CAAC,CAAC,CAAC;IACT,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkD,CAAC;IAC1E,KAAK,MAAM,GAAG,IAAI,IAAI;QAClB,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;YAC/B,IAAI,MAAM,CAAC,OAAO,KAAK,IAAI;gBACvB,SAAS;YACb,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC;YAClD,IAAI,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;YACzC,IAAI,SAAS,KAAK,SAAS;gBACvB,OAAO,CAAC,GAAG,CAAC,WAAW,EAAE,SAAS,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC;YACpD,IAAI,OAAO,GAAG,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACvC,IAAI,OAAO,KAAK,SAAS;gBACrB,SAAS,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,GAAG,EAAE,CAAC,CAAC;YAC3C,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;QACjD,CAAC;IACL,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,MAAM,EAAE;QACpC,KAAK,MAAM,OAAO,IAAI,SAAS,CAAC,MAAM,EAAE;YACpC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC/B,MAAM,KAAK,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;IACnC,aAAa,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,OAAO,KAAK,CAAC;AACjB,CAAC;AACD,uEAAuE;AACvE,SAAgB,8BAA8B,CAAC,IAAoC,EAAE,MAA2B,EAAE,MAAsB;IACpI,IAAI,MAAM,CAAC,OAAO,KAAK,IAAI;QACvB,OAAO,SAAS,CAAC;IACrB,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAChC,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAC7D,MAAM,OAAO,GAAG,MAAM,EAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IAC/D,IAAI,MAAM,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,WAAW,KAAK,MAAM,CAAC,OAAO,CAAC,WAAW;QACnG,OAAO,SAAS,CAAC;IACrB,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;IACrF,MAAM,YAAY,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACrF,IAAI,YAAY,EAAE,OAAO,EAAE,WAAW,KAAK,OAAO,CAAC,WAAW,IAAI,YAAY,CAAC,OAAO,CAAC,SAAS,KAAK,OAAO,CAAC,SAAS;QAClH,OAAO,SAAS,CAAC;IACrB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,EAAE,OAAO,EAAE,IAAA,yCAAoB,EAAC,OAAO,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC;AACrH,CAAC;AACD,SAAgB,iBAAiB,CAAC,QAAmC,EAAE,MAAc;IACjF,OAAO,QAAQ,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,SAAS,KAAK,SAAS;QACtF,QAAQ,CAAC,cAAc,KAAK,QAAQ,CAAC,OAAO,CAAC,SAAS;QACtD,QAAQ,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;AACpC,CAAC;AACD,SAAgB,aAAa,CAAC,GAAwB,EAAE,MAAc;IAClE,OAAO,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,SAAS,KAAK,KAAK,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;AAC9G,CAAC;AACD,kFAAkF;AAClF,mDAAmD;AACnD,wDAAwD;AACxD,wDAAwD;AACxD,SAAgB,wBAAwB,CAAC,QAAmC;IACxE,MAAM,UAAU,GAAG,iBAAiB,CAAC,QAAQ,EAAE,sCAAyB,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IAC5F,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC3B,OAAO,MAAM,CAAC,MAAM,CAAC;YACjB,KAAK,EAAE,cAAuB;YAC9B,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,yBAAyB,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;SAC9E,CAAC,CAAC;IACP,CAAC;IACD,IAAI,UAAU,CAAC,QAAQ,CAAC,cAAc;QAClC,6CAAgC,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC;QACvD,OAAO,MAAM,CAAC,MAAM,CAAC;YACjB,KAAK,EAAE,aAAsB;YAC7B,UAAU;YACV,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,iCAAiC,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;SACtF,CAAC,CAAC;IACP,CAAC;IACD,MAAM,OAAO,GAAG,uBAAuB,CAAC,UAAU,CAAC,CAAC;IACpD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,MAAM,CAAC,MAAM,CAAC;YACjB,KAAK,EAAE,QAAiB;YACxB,UAAU;YACV,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,4BAA4B,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;SACjF,CAAC,CAAC;IACP,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,KAAK,EAAE,WAAoB;QAC3B,UAAU;QACV,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;KAC5B,CAAC,CAAC;AACP,CAAC;AACD,SAAS,uBAAuB,CAAC,UAAuC;IAIpE,MAAM,UAAU,GAAG,sCAAyB,CAAC,UAAU,CAAC;IACxD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;IAC1G,MAAM,OAAO,GAAG,IAAI,GAAG,EAA+B,CAAC;IACvD,MAAM,QAAQ,GAAG,IAAI,OAAO,EAAoC,CAAC;IACjE,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,MAAM,QAAQ,GAAG,IAAA,4CAA8B,EAAC,UAAU,EAAE,UAAU,CAAC,KAAK,EAAE;QAC1E,OAAO,EAAE,CAAC,KAAK,EAAE,WAAW,EAAE,EAAE;YAC5B,MAAM,aAAa,GAAG,WAAW,CAAC,KAAK,EAAE,0BAA0B,CAAC,CAAC;YACrE,IAAI,aAAa,KAAK,SAAS;gBAC3B,CAAC,YAAY,CAAC,KAAK,EAAE,0BAA0B,CAAC,EAAE,CAAC;gBACnD,OAAO,eAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YACrC,CAAC;YACD,IAAI,OAAO,aAAa,KAAK,QAAQ,EAAE,CAAC;gBACpC,OAAO,eAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,6BAAsC,EAAE,CAAC,CAAC;YACzE,CAAC;YACD,MAAM,QAAQ,GAAG,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;YAC7C,IAAI,QAAQ,KAAK,SAAS;gBACtB,WAAW,CAAC,YAAY,KAAK,SAAS;oBAClC,QAAQ,CAAC,UAAU,GAAG,WAAW,CAAC,YAAY,EAAE,CAAC;gBACrD,OAAO,eAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,6BAAsC,EAAE,CAAC,CAAC;YACzE,CAAC;YACD,IAAI,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;YACxC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACvB,MAAM,GAAG,IAAA,oCAAuB,EAAC,WAAW,CAAC,IAAI,CAAC,CAAC;gBACnD,OAAO,CAAC,GAAG,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;gBACnC,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;YACnC,CAAC;YACD,WAAW,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;YAC/B,OAAO,eAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAClC,CAAC;QACD,SAAS,EAAE,CAAC,KAAK,EAAE,WAAW,EAAE,EAAE;YAC9B,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,EAAE,4BAA4B,CAAC,CAAC;YAChE,IAAI,MAAM,KAAK,SAAS;gBACpB,CAAC,YAAY,CAAC,KAAK,EAAE,4BAA4B,CAAC,EAAE,CAAC;gBACrD,OAAO,eAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YACrC,CAAC;YACD,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;gBACzE,OAAO,eAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,+BAAwC,EAAE,CAAC,CAAC;YAC3E,CAAC;YACD,MAAM,KAAK,GAAG,MAAiC,CAAC;YAChD,IAAI,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC;gBACnC,KAAK,CAAC,KAAK,KAAK,WAAW,CAAC,UAAU,CAAC,KAAK;gBAC5C,KAAK,CAAC,MAAM,KAAK,WAAW,CAAC,UAAU,CAAC,MAAM;gBAC9C,CAAC,CAAC,OAAO,IAAI,KAAK,CAAC,EAAE,CAAC;gBACtB,OAAO,eAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,+BAAwC,EAAE,CAAC,CAAC;YAC3E,CAAC;YACD,OAAO,eAAM,CAAC,OAAO,CAAC,IAAA,2CAA6B,EAAC,uCAAyB,CAAC,EAAE,CAAC,WAAW,CAAC,UAAU,EAAE,WAAW,CAAC,WAAW,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QACrJ,CAAC;KACJ,CAAC,CAAC;IACH,IAAI,eAAM,CAAC,SAAS,CAAC,QAAQ,CAAC;QAC1B,WAAW,CAAC,IAAI,KAAK,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC3D,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,MAAM,OAAO,GAAG,IAAA,8CAAgC,EAAC,UAAU,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC/E,IAAI,eAAM,CAAC,SAAS,CAAC,OAAO,CAAC;QACzB,OAAO,SAAS,CAAC;IACrB,MAAM,UAAU,GAAG,IAAI,GAAG,EAGtB,CAAC;IACL,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,IAAA,2CAA6B,EAAC,SAAS,CAAC,CAAC;QACtD,IAAI,IAAI,KAAK,SAAS;YAClB,OAAO,SAAS,CAAC;QACrB,UAAU,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,MAAM,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACnH,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/I,IAAI,OAAO,CAAC,MAAM,KAAK,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,MAAM;QACxD,OAAO,SAAS,CAAC;IACrB,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,EAAE,OAAO,IAAI,CAAC,EAAE,CAAC;QAC3D,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAE,CAAC;QAClC,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAE,CAAC;QAC1D,IAAI,QAAQ,CAAC,OAAO,KAAK,OAAO;YAC5B,QAAQ,CAAC,KAAK,KAAK,OAAO,CAAC,KAAK;YAChC,QAAQ,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC;YACrC,OAAO,SAAS,CAAC;QACrB,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;AAChE,CAAC;AACD,SAAS,qBAAqB,CAAC,GAAgB,EAAE,OAAkC,EAAE,QAAoC,EAAE,iBAAiB,GAAG,KAAK;IAChJ,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAU,CAAC,CAAC,CAAC;IACrF,IAAI,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,aAAa,CAAC,MAAM,IAAI,CAAC,CAAC,iBAAiB,IAAI,OAAO,CAAC,MAAM,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,MAAM,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;QAClI,MAAM,UAAU,CAAC,sDAAsD,CAAC,CAAC;IAC7E,CAAC;IACD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC3B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YAC9D,MAAM,UAAU,CAAC,0CAA0C,CAAC,CAAC;QACjE,CAAC;QACD,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC;IACD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACvC,IAAI,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC;YACjC,IAAI,KAAK,SAAS;YAClB,OAAO,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM;YAC9B,OAAO,CAAC,uBAAuB,KAAK,IAAI,CAAC,uBAAuB,EAAE,CAAC;YACnE,MAAM,UAAU,CAAC,6CAA6C,CAAC,CAAC;QACpE,CAAC;QACD,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IACtC,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC3B,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU;YAC5B,CAAC,MAAM,CAAC,OAAO,KAAK,IAAI;gBACpB,MAAM,CAAC,OAAO,CAAC,WAAW,KAAK,GAAG,CAAC,KAAK;gBACxC,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC;YACjD,MAAM,UAAU,CAAC,sDAAsD,CAAC,CAAC;QAC7E,CAAC;IACL,CAAC;AACL,CAAC;AACD,SAAS,aAAa,CAAC,GAAwB,EAAE,OAAwB;IACrE,OAAO,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,KAAK,IAAI;QACzD,MAAM,CAAC,OAAO,CAAC,WAAW,KAAK,OAAO,CAAC,WAAW;QAClD,MAAM,CAAC,OAAO,CAAC,SAAS,KAAK,OAAO,CAAC,SAAS,CAAC,CAAC;AACxD,CAAC;AACD,SAAS,aAAa,CAAC,MAAuB,EAAE,QAAyB;IACrE,IAAI,MAAM,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ;QACrC,MAAM,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACxC,MAAM,UAAU,CAAC,oDAAoD,CAAC,CAAC;IAC3E,CAAC;AACL,CAAC;AACD,SAAS,SAAS,CAAC,KAAiB,EAAE,KAAa;IAC/C,IAAI,CAAC;QACD,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAY,CAAC;IAC1F,CAAC;IACD,OAAO,KAAK,EAAE,CAAC;QACX,MAAM,UAAU,CAAC,GAAG,KAAK,8BAA8B,EAAE,KAAK,CAAC,CAAC;IACpE,CAAC;AACL,CAAC;AACD,SAAS,mBAAmB,CAAC,KAAiB,EAAE,KAAa;IACzD,MAAM,MAAM,GAAG,IAAA,8BAAmB,EAAC,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IAC5D,IAAI,IAAA,iCAAsB,EAAC,MAAM,CAAC,EAAE,CAAC;QACjC,MAAM,UAAU,CAAC,GAAG,KAAK,gBAAgB,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IAC9D,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AACD,SAAS,YAAY,CAAI,OAAkC,EAAE,MAAc;IACvE,IAAI,eAAM,CAAC,SAAS,CAAC,OAAO,CAAC;QACzB,MAAM,UAAU,CAAC,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IAC9C,OAAO,OAAO,CAAC,OAAO,CAAC;AAC3B,CAAC;AACD,SAAS,WAAW,CAAC,KAAc,EAAE,GAAW;IAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACtE,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACpC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG;QACpC,OAAO,SAAS,CAAC;IACrB,MAAM,UAAU,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC/D,OAAO,UAAU,EAAE,UAAU,KAAK,IAAI,IAAI,OAAO,IAAI,UAAU;QAC3D,CAAC,CAAC,UAAU,CAAC,KAAK;QAClB,CAAC,CAAC,SAAS,CAAC;AACpB,CAAC;AACD,SAAS,YAAY,CAAC,KAAc,EAAE,GAAW;IAC7C,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACvE,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;AACzD,CAAC;AACD,SAAS,KAAK,CAAC,IAAY,EAAE,OAAe;IACxC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;AAC5C,CAAC;AACD,SAAS,UAAU,CAAC,MAAc,EAAE,KAAe;IAC/C,OAAO,IAAI,KAAK,CAAC,MAAM,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;AAC1E,CAAC;AACD,SAAS,WAAW,CAAC,IAAY,EAAE,KAAa;IAC5C,OAAO,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACpD,CAAC;AACD,SAAS,YAAY,CAAC,KAAiB,EAAE,MAAc,EAAE,KAAa;IAClE,IAAI,IAAI,2BAAgB,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,EAAE,KAAK,MAAM;QAC3D,MAAM,UAAU,CAAC,GAAG,KAAK,oBAAoB,CAAC,CAAC;AACvD,CAAC;AACD,SAAS,iBAAiB,CAAC,KAAiB,EAAE,MAAc,EAAE,KAAa;IACvE,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;IACnC,OAAO,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AACnC,CAAC","sourcesContent":["// @concord-file ne-eval-inspection-facts-reader\n// @concord-implements docs/feature/inspection/README.md\n// @concord-implements docs/feature/inspection/architecture.md\n// @concord-implements docs/feature/inspection/use-case/inspection-check-completeness.md\nimport { Result, Schema } from \"effect\";\nimport { encodeAttemptLocator } from \"../attempt-locator.ts\";\nimport { mintRecordContentHandle, type RecordContentHandle, } from \"../record/attachment/content.ts\";\nimport { enumerateRecordAttachmentClosure, hydrateRecordAttachmentCurrent, mintRecordAttachmentReference, RecordAttachmentReference, recordAttachmentReferenceWire, } from \"../record/attachment/protocol.ts\";\nimport { decodeAttemptDocument, decodeMemberDocument, decodeRunDocument, RecordExactParseOptions, RecordSlotIdentitySchema, } from \"../record/codec/core.ts\";\nimport { NiceEvalCurrentRecordAttachments, NiceEvalRecordAttachments, } from \"../record/family/current.ts\";\nimport type { AssertionsAttachment } from \"../record/family/assertions/definition.ts\";\nimport type { AttemptDocument, MemberDocument, RunDocument, } from \"../record/model/core.ts\";\nimport type { PersistedContentMetadata, SealedAttachmentMetadata, SealedRunCore, SealedRunCutoff, SealedRunSummary, } from \"../record/sqlite/types.ts\";\nimport { closeInspectionJson, isInspectionCodecError, type InspectionJson, } from \"./codec.ts\";\nimport type { InspectionFactSource } from \"./source.ts\";\nimport { InspectionSha256 } from \"./bytes.ts\";\nimport type { ReadableRunResource } from \"../run/storage/types.ts\";\nexport interface DecodedInspectionAttachment {\n    readonly physical: SealedAttachmentMetadata;\n    readonly value: InspectionJson;\n}\n/** A strictly decoded sealed Run with its browser-neutral reader capability. */\nexport interface LoadedInspectionRun {\n    readonly source: InspectionFactSource;\n    readonly physical: SealedRunCore;\n    readonly run: RunDocument;\n    readonly members: readonly MemberDocument[];\n    readonly attempts: readonly AttemptDocument[];\n    readonly attachments: readonly DecodedInspectionAttachment[];\n}\n/** Exact lifecycle resource plus its optional published Core at one cutoff. */\nexport interface LoadedInspectionRunResource {\n    readonly source: InspectionFactSource;\n    readonly resource: ReadableRunResource;\n    readonly published?: LoadedInspectionRun;\n}\nexport interface InspectionAttemptTarget {\n    readonly run: LoadedInspectionRun;\n    readonly member: MemberDocument;\n}\n/** Exact origin Attempt plus every target membership visible to the resolver. */\nexport interface ResolvedInspectionAttempt {\n    readonly attempt: AttemptDocument;\n    readonly origin: LoadedInspectionRun;\n    readonly locator: string;\n    readonly targets: readonly InspectionAttemptTarget[];\n}\nexport type InspectionAssertionsRead = {\n    readonly state: \"available\";\n    readonly attachment: DecodedInspectionAttachment;\n    readonly value: AssertionsAttachment;\n    readonly contents: WeakMap<object, PersistedContentMetadata>;\n    readonly issues: readonly InspectionJson[];\n} | {\n    readonly state: \"not-recorded\" | \"unsupported\" | \"failed\";\n    readonly attachment?: DecodedInspectionAttachment;\n    readonly issues: readonly InspectionJson[];\n};\nconst RUN_PAGE_SIZE = 100;\nconst ATTEMPT_CANDIDATE_RUN_LIMIT = 64;\nconst ATTEMPT_TARGET_MEMBER_LIMIT = 256;\nconst decodedRuns = new WeakMap<InspectionFactSource, Map<string, LoadedInspectionRun>>();\nfunction readInspectionRun(source: InspectionFactSource, runId: string): LoadedInspectionRun | undefined {\n    let cache = decodedRuns.get(source);\n    if (cache === undefined)\n        decodedRuns.set(source, cache = new Map());\n    const cached = cache.get(runId);\n    if (cached !== undefined)\n        return cached;\n    const physical = source.readSealedRunCore(runId);\n    if (physical === undefined)\n        return undefined;\n    const decoded = decodeInspectionRun(source, physical);\n    cache.set(runId, decoded);\n    return decoded;\n}\n/**\n * Pins the source cutoff, exhausts the fixed Run-summary pagination, then\n * reads and strictly decodes every Run Core in that exact sealed generation.\n */\n// @concord-code ne-eval-inspection-load-runs\n// @concord-implements docs/feature/inspection/architecture.md\n// @concord-implements docs/feature/inspection/use-case/inspection-check-completeness.md\nexport function loadInspectionRuns(source: InspectionFactSource): readonly LoadedInspectionRun[] {\n    const cutoff = source.cutoff();\n    const summaries: SealedRunSummary[] = [];\n    const seen = new Set<string>();\n    let afterRunId = \"\";\n    for (;;) {\n        const page = source.readSealedRunSummaryPage(afterRunId, RUN_PAGE_SIZE, cutoff.identity);\n        requireCutoff(page.cutoff, cutoff);\n        if (page.afterRunId !== afterRunId) {\n            throw factsError(\"Run pagination returned a different cursor\");\n        }\n        let previous = afterRunId;\n        for (const summary of page.summaries) {\n            if (summary.runId <= previous || seen.has(summary.runId)) {\n                throw factsError(\"Run pagination is not strictly ordered\");\n            }\n            seen.add(summary.runId);\n            summaries.push(summary);\n            previous = summary.runId;\n        }\n        if (page.nextAfterRunId === null)\n            break;\n        if (page.summaries.length === 0 ||\n            page.nextAfterRunId !== page.summaries.at(-1)!.runId ||\n            page.nextAfterRunId === afterRunId) {\n            throw factsError(\"Run pagination returned an invalid continuation cursor\");\n        }\n        afterRunId = page.nextAfterRunId;\n    }\n    if (summaries.length !== cutoff.runCount) {\n        throw factsError(\"Run pagination did not close the pinned sealed cutoff\");\n    }\n    return Object.freeze(summaries.map((summary) => {\n        const run = readInspectionRun(source, summary.runId);\n        if (run === undefined) {\n            throw factsError(`Sealed Run ${summary.runId} disappeared from the pinned cutoff`);\n        }\n        return run;\n    }));\n}\n/** Reads a bounded, explicit Run selection without changing its caller order. */\nexport function loadSelectedInspectionRuns(source: InspectionFactSource, runIds: readonly string[]): readonly LoadedInspectionRun[] {\n    const cutoff = source.cutoff();\n    const loaded: LoadedInspectionRun[] = [];\n    for (const runId of new Set(runIds)) {\n        const run = readInspectionRun(source, runId);\n        if (run !== undefined)\n            loaded.push(run);\n    }\n    requireCutoff(source.cutoff(), cutoff);\n    return Object.freeze(loaded);\n}\n/** Reads Run create/close facts even when no Attempt Core has been published. */\nexport function loadInspectionRunResource(source: InspectionFactSource, runId: string): LoadedInspectionRunResource | undefined {\n    const cutoff = source.cutoff();\n    const resource = source.readRunResource(runId);\n    if (resource === undefined)\n        return undefined;\n    const published = readInspectionRun(source, runId);\n    requireCutoff(source.cutoff(), cutoff);\n    if (resource.published > 0 && published === undefined) {\n        throw factsError(`Run ${runId} has published bindings without a readable Core`);\n    }\n    if (published !== undefined)\n        validateRunResourceCore(resource, published);\n    return Object.freeze({ source, resource, ...(published === undefined ? {} : { published }) });\n}\nfunction validateRunResourceCore(resource: ReadableRunResource, published: LoadedInspectionRun): void {\n    const run = published.run;\n    if (run.runId !== resource.runId ||\n        run.experimentId !== resource.experimentId ||\n        run.startedAt !== Date.parse(resource.startedAt) ||\n        run.expectedSlots.length !== resource.slots.length) {\n        throw factsError(`Run ${resource.runId} lifecycle resource does not match its published Core`);\n    }\n    for (const [index, slot] of run.expectedSlots.entries()) {\n        const expected = resource.slots[index];\n        if (expected === undefined ||\n            slot.slotId !== expected.slotId ||\n            slot.evalId !== expected.evalId ||\n            slot.attemptOrdinal !== expected.attemptOrdinal ||\n            slot.executionIdentityDigest !== expected.executionIdentityDigest) {\n            throw factsError(`Run ${resource.runId} expected Slot does not match its published Core`);\n        }\n    }\n}\n/** Strictly decodes Core, then decodes each Attachment only on first use. */\nexport function decodeInspectionRun(source: InspectionFactSource, physical: SealedRunCore): LoadedInspectionRun {\n    const run = decodedRight(decodeRunDocument(parseVerifiedJson(physical.runCoreBytes, physical.runCoreDigest, \"Run Core\")), \"Run Core is invalid\");\n    if (run.runId !== physical.runId) {\n        throw factsError(\"Run Core identity does not match its sealed row\");\n    }\n    if (physical.slots.length !== run.expectedSlots.length) {\n        throw factsError(\"Run Core Slot rows do not match its expected denominator\");\n    }\n    for (const [index, stored] of physical.slots.entries()) {\n        const decoded = Schema.decodeUnknownResult(RecordSlotIdentitySchema, RecordExactParseOptions)(parseVerifiedJson(stored.coreBytes, stored.coreDigest, \"Slot Core\"));\n        const slot = decodedRight(decoded, \"Slot Core is invalid\");\n        const expected = run.expectedSlots[index];\n        if (expected === undefined ||\n            stored.ordinal !== index ||\n            stored.slotId !== slot.slotId ||\n            slot.slotId !== expected.slotId ||\n            slot.evalId !== expected.evalId ||\n            slot.attemptOrdinal !== expected.attemptOrdinal ||\n            slot.executionIdentityDigest !== expected.executionIdentityDigest) {\n            throw factsError(\"Slot Core does not match its sealed Run denominator\");\n        }\n    }\n    const members = physical.members.map((stored) => {\n        const member = decodedRight(decodeMemberDocument(parseVerifiedJson(stored.coreBytes, stored.coreDigest, \"Member Core\")), \"Member Core is invalid\");\n        if (member.slotId !== stored.slotId ||\n            member.action !== stored.action ||\n            (member.attempt?.originRunId ?? undefined) !== stored.originRunId ||\n            (member.attempt?.attemptId ?? undefined) !== stored.attemptId) {\n            throw factsError(\"Member Core does not match its sealed row\");\n        }\n        return member;\n    });\n    const attempts = physical.attempts.map((stored) => {\n        const attempt = decodedRight(decodeAttemptDocument(parseVerifiedJson(stored.coreBytes, stored.coreDigest, \"Attempt Core\")), \"Attempt Core is invalid\");\n        if (attempt.attemptId !== stored.attemptId ||\n            attempt.originRunId !== run.runId ||\n            encodeAttemptLocator(attempt.attemptId) !== stored.attemptLocator) {\n            throw factsError(\"Attempt Core does not match its sealed row\");\n        }\n        return attempt;\n    });\n    validateCoreRelations(run, members, attempts, physical.publicationManaged === true);\n    const localAttemptIds = new Set<string>(attempts.map(({ attemptId }) => attemptId));\n    const attachments = physical.attachments.map((attachment): DecodedInspectionAttachment => {\n        if (attachment.ownerRunId !== run.runId ||\n            attachment.ownerKind === \"run\" && attachment.ownerAttemptId !== undefined ||\n            attachment.ownerKind === \"attempt\" &&\n                (attachment.ownerAttemptId === undefined ||\n                    !localAttemptIds.has(attachment.ownerAttemptId))) {\n            throw factsError(\"Attachment ownership does not match its sealed Run\");\n        }\n        let value: InspectionJson | undefined;\n        let decoded = false;\n        return Object.freeze({\n            physical: attachment,\n            get value(): InspectionJson {\n                if (!decoded) {\n                    verifyDigest(attachment.canonicalBytes, attachment.canonicalDigest, \"Attachment\");\n                    verifyDigest(attachment.logicalInventoryBytes, attachment.inventoryDigest, \"Attachment inventory\");\n                    value = parseInspectionJson(attachment.canonicalBytes, \"Attachment\");\n                    decoded = true;\n                }\n                return value!;\n            },\n        });\n    });\n    return Object.freeze({\n        source,\n        physical,\n        run,\n        members: Object.freeze(members),\n        attempts: Object.freeze(attempts),\n        attachments: Object.freeze(attachments),\n    });\n}\n/** Resolves a public locator through the source's bounded exact index. */\n// @concord-code ne-eval-inspection-resolve-attempt\n// @concord-implements docs/feature/inspection/architecture.md\nexport function resolveInspectionAttempt(source: InspectionFactSource, locator: string): ResolvedInspectionAttempt | undefined {\n    const projection = source.findAttemptLocatorCandidates(locator, ATTEMPT_CANDIDATE_RUN_LIMIT);\n    if (projection.candidates.length === 0)\n        return undefined;\n    if (projection.ambiguous)\n        return undefined;\n    const origins = projection.candidates.filter(({ relation }) => relation === \"origin\");\n    if (origins.length !== 1) {\n        throw factsError(`Attempt ${locator} indexed projection is invalid`);\n    }\n    const identity = origins[0]!;\n    const runs = loadSelectedInspectionRuns(source, projection.candidates.map(({ runId }) => runId));\n    const byRunId = new Map<string, LoadedInspectionRun>(runs.map((run) => [run.run.runId, run] as const));\n    const origin = byRunId.get(identity.originRunId);\n    if (origin === undefined) {\n        throw factsError(`Attempt ${locator} origin is not a sealed Run`);\n    }\n    const attempt = origin.attempts.find((candidate) => candidate.attemptId === identity.attemptId &&\n        candidate.originRunId === identity.originRunId &&\n        encodeAttemptLocator(candidate.attemptId) === locator);\n    if (attempt === undefined) {\n        throw factsError(`Attempt ${locator} origin Core is invalid`);\n    }\n    const targets: InspectionAttemptTarget[] = [];\n    const targetRunIds = new Set(projection.candidates.flatMap((candidate) => candidate.relation === \"target\" &&\n        candidate.originRunId === identity.originRunId &&\n        candidate.attemptId === identity.attemptId\n        ? [candidate.runId]\n        : []));\n    for (const runId of targetRunIds) {\n        const run = byRunId.get(runId);\n        if (run === undefined) {\n            throw factsError(`Attempt ${locator} target is not a sealed Run`);\n        }\n        const members = targetMembers(run, attempt);\n        if (members.length === 0) {\n            throw factsError(`Attempt ${locator} target Core is invalid`);\n        }\n        if (targets.length + members.length > ATTEMPT_TARGET_MEMBER_LIMIT) {\n            throw factsError(`Attempt ${locator} exceeds its fixed target member limit`);\n        }\n        targets.push(...members.map((member) => Object.freeze({ run, member })));\n    }\n    return Object.freeze({\n        attempt,\n        origin,\n        locator,\n        targets: Object.freeze(targets),\n    });\n}\ninterface InspectionMemberIndex {\n    readonly origins: ReadonlyMap<string, {\n        readonly run: LoadedInspectionRun;\n        readonly attempts: ReadonlyMap<string, AttemptDocument>;\n        readonly members: ReadonlyMap<string, MemberDocument>;\n    }>;\n    readonly targets: ReadonlyMap<string, ReadonlyMap<string, readonly InspectionAttemptTarget[]>>;\n}\nconst memberIndexes = new WeakMap<readonly LoadedInspectionRun[], InspectionMemberIndex>();\nfunction memberIndex(runs: readonly LoadedInspectionRun[]): InspectionMemberIndex {\n    const cached = memberIndexes.get(runs);\n    if (cached !== undefined)\n        return cached;\n    const origins = new Map(runs.map((run) => [run.run.runId, {\n            run, attempts: new Map(run.attempts.map((attempt) => [attempt.attemptId, attempt])),\n            members: new Map(run.members.map((member) => [member.slotId, member])),\n        }]));\n    const targets = new Map<string, Map<string, InspectionAttemptTarget[]>>();\n    for (const run of runs)\n        for (const member of run.members) {\n            if (member.attempt === null)\n                continue;\n            const { originRunId, attemptId } = member.attempt;\n            let byAttempt = targets.get(originRunId);\n            if (byAttempt === undefined)\n                targets.set(originRunId, byAttempt = new Map());\n            let members = byAttempt.get(attemptId);\n            if (members === undefined)\n                byAttempt.set(attemptId, members = []);\n            members.push(Object.freeze({ run, member }));\n        }\n    for (const byAttempt of targets.values())\n        for (const members of byAttempt.values())\n            Object.freeze(members);\n    const index = { origins, targets };\n    memberIndexes.set(runs, index);\n    return index;\n}\n/** Resolves already loaded facts through one shared identity index. */\nexport function resolveInspectionMemberAttempt(runs: readonly LoadedInspectionRun[], target: LoadedInspectionRun, member: MemberDocument): ResolvedInspectionAttempt | undefined {\n    if (member.attempt === null)\n        return undefined;\n    const index = memberIndex(runs);\n    const origin = index.origins.get(member.attempt.originRunId);\n    const attempt = origin?.attempts.get(member.attempt.attemptId);\n    if (origin === undefined || attempt === undefined || attempt.originRunId !== member.attempt.originRunId)\n        return undefined;\n    const targets = index.targets.get(attempt.originRunId)?.get(attempt.attemptId) ?? [];\n    const targetMember = index.origins.get(target.run.runId)?.members.get(member.slotId);\n    if (targetMember?.attempt?.originRunId !== attempt.originRunId || targetMember.attempt.attemptId !== attempt.attemptId)\n        return undefined;\n    return Object.freeze({ attempt, origin: origin.run, locator: encodeAttemptLocator(attempt.attemptId), targets });\n}\nexport function attemptAttachment(resolved: ResolvedInspectionAttempt, family: string): DecodedInspectionAttachment | undefined {\n    return resolved.origin.attachments.find(({ physical }) => physical.ownerKind === \"attempt\" &&\n        physical.ownerAttemptId === resolved.attempt.attemptId &&\n        physical.family === family);\n}\nexport function runAttachment(run: LoadedInspectionRun, family: string): DecodedInspectionAttachment | undefined {\n    return run.attachments.find(({ physical }) => physical.ownerKind === \"run\" && physical.family === family);\n}\n/** Reads only the current logical Assertions family, preserving failure state. */\n// @concord-code ne-eval-inspection-read-assertions\n// @concord-implements docs/feature/assertions/README.md\n// @concord-implements docs/feature/inspection/README.md\nexport function readInspectionAssertions(resolved: ResolvedInspectionAttempt): InspectionAssertionsRead {\n    const attachment = attemptAttachment(resolved, NiceEvalRecordAttachments.assertions.family);\n    if (attachment === undefined) {\n        return Object.freeze({\n            state: \"not-recorded\" as const,\n            issues: Object.freeze([issue(\"assertions-not-recorded\", resolved.locator)]),\n        });\n    }\n    if (attachment.physical.familyRevision !==\n        NiceEvalCurrentRecordAttachments.assertions.revision) {\n        return Object.freeze({\n            state: \"unsupported\" as const,\n            attachment,\n            issues: Object.freeze([issue(\"assertions-revision-unsupported\", resolved.locator)]),\n        });\n    }\n    const decoded = decodeCurrentAssertions(attachment);\n    if (decoded === undefined) {\n        return Object.freeze({\n            state: \"failed\" as const,\n            attachment,\n            issues: Object.freeze([issue(\"assertions-current-invalid\", resolved.locator)]),\n        });\n    }\n    return Object.freeze({\n        state: \"available\" as const,\n        attachment,\n        value: decoded.value,\n        contents: decoded.contents,\n        issues: Object.freeze([]),\n    });\n}\nfunction decodeCurrentAssertions(attachment: DecodedInspectionAttachment): {\n    readonly value: AssertionsAttachment;\n    readonly contents: WeakMap<object, PersistedContentMetadata>;\n} | undefined {\n    const definition = NiceEvalRecordAttachments.assertions;\n    const byHandle = new Map(attachment.physical.contents.map((content) => [content.logicalHandle, content]));\n    const handles = new Map<string, RecordContentHandle>();\n    const contents = new WeakMap<object, PersistedContentMetadata>();\n    const usedContent = new Set<string>();\n    const hydrated = hydrateRecordAttachmentCurrent(definition, attachment.value, {\n        content: (token, declaration) => {\n            const logicalHandle = exactMarker(token, \"$niceeval.record.content\");\n            if (logicalHandle === undefined &&\n                !hasOwnMarker(token, \"$niceeval.record.content\")) {\n                return Result.succeed(undefined);\n            }\n            if (typeof logicalHandle !== \"string\") {\n                return Result.fail({ code: \"current-content-bind-failed\" as const });\n            }\n            const metadata = byHandle.get(logicalHandle);\n            if (metadata === undefined ||\n                declaration.maximumBytes !== undefined &&\n                    metadata.byteLength > declaration.maximumBytes) {\n                return Result.fail({ code: \"current-content-bind-failed\" as const });\n            }\n            let handle = handles.get(logicalHandle);\n            if (handle === undefined) {\n                handle = mintRecordContentHandle(declaration.kind);\n                handles.set(logicalHandle, handle);\n                contents.set(handle, metadata);\n            }\n            usedContent.add(logicalHandle);\n            return Result.succeed(handle);\n        },\n        reference: (token, declaration) => {\n            const marker = exactMarker(token, \"$niceeval.record.reference\");\n            if (marker === undefined &&\n                !hasOwnMarker(token, \"$niceeval.record.reference\")) {\n                return Result.succeed(undefined);\n            }\n            if (typeof marker !== \"object\" || marker === null || Array.isArray(marker)) {\n                return Result.fail({ code: \"current-reference-bind-failed\" as const });\n            }\n            const value = marker as Record<string, unknown>;\n            if (Reflect.ownKeys(value).length !== 3 ||\n                value.owner !== declaration.definition.owner ||\n                value.family !== declaration.definition.family ||\n                !(\"value\" in value)) {\n                return Result.fail({ code: \"current-reference-bind-failed\" as const });\n            }\n            return Result.succeed(mintRecordAttachmentReference(RecordAttachmentReference.to(declaration.definition, declaration.valueSchema), value.value));\n        },\n    });\n    if (Result.isFailure(hydrated) ||\n        usedContent.size !== attachment.physical.contents.length) {\n        return undefined;\n    }\n    const closure = enumerateRecordAttachmentClosure(definition, hydrated.success);\n    if (Result.isFailure(closure))\n        return undefined;\n    const references = new Map<string, {\n        readonly owner: string;\n        readonly family: string;\n    }>();\n    for (const reference of closure.success.references) {\n        const wire = recordAttachmentReferenceWire(reference);\n        if (wire === undefined)\n            return undefined;\n        references.set(`${wire.owner}\\u0000${wire.family}`, Object.freeze({ owner: wire.owner, family: wire.family }));\n    }\n    const ordered = [...references.values()].sort((left, right) => compareText(left.owner, right.owner) || compareText(left.family, right.family));\n    if (ordered.length !== attachment.physical.references.length)\n        return undefined;\n    for (let ordinal = 0; ordinal < ordered.length; ordinal += 1) {\n        const logical = ordered[ordinal]!;\n        const physical = attachment.physical.references[ordinal]!;\n        if (physical.ordinal !== ordinal ||\n            physical.owner !== logical.owner ||\n            physical.family !== logical.family) {\n            return undefined;\n        }\n    }\n    return Object.freeze({ value: hydrated.success, contents });\n}\nfunction validateCoreRelations(run: RunDocument, members: readonly MemberDocument[], attempts: readonly AttemptDocument[], allowPendingSlots = false): void {\n    const slots = new Map(run.expectedSlots.map((slot) => [slot.slotId, slot] as const));\n    if (slots.size !== run.expectedSlots.length || (!allowPendingSlots && members.length !== slots.size) || members.length > slots.size) {\n        throw factsError(\"Run Core does not close its expected Slot membership\");\n    }\n    const memberSlots = new Set<string>();\n    for (const member of members) {\n        if (!slots.has(member.slotId) || memberSlots.has(member.slotId)) {\n            throw factsError(\"Run Core contains an invalid Member Slot\");\n        }\n        memberSlots.add(member.slotId);\n    }\n    const attemptIds = new Set<string>();\n    for (const attempt of attempts) {\n        const slot = slots.get(attempt.slotId);\n        if (attemptIds.has(attempt.attemptId) ||\n            slot === undefined ||\n            attempt.evalId !== slot.evalId ||\n            attempt.executionIdentityDigest !== slot.executionIdentityDigest) {\n            throw factsError(\"Run Core contains an invalid origin Attempt\");\n        }\n        attemptIds.add(attempt.attemptId);\n    }\n    for (const member of members) {\n        if (member.action === \"executed\" &&\n            (member.attempt === null ||\n                member.attempt.originRunId !== run.runId ||\n                !attemptIds.has(member.attempt.attemptId))) {\n            throw factsError(\"Executed Member does not name a local origin Attempt\");\n        }\n    }\n}\nfunction targetMembers(run: LoadedInspectionRun, attempt: AttemptDocument): readonly MemberDocument[] {\n    return run.members.filter((member) => member.attempt !== null &&\n        member.attempt.originRunId === attempt.originRunId &&\n        member.attempt.attemptId === attempt.attemptId);\n}\nfunction requireCutoff(actual: SealedRunCutoff, expected: SealedRunCutoff): void {\n    if (actual.identity !== expected.identity ||\n        actual.runCount !== expected.runCount) {\n        throw factsError(\"Inspection source changed its pinned sealed cutoff\");\n    }\n}\nfunction parseJson(bytes: Uint8Array, owner: string): unknown {\n    try {\n        return JSON.parse(new TextDecoder(\"utf-8\", { fatal: true }).decode(bytes)) as unknown;\n    }\n    catch (cause) {\n        throw factsError(`${owner} is not canonical UTF-8 JSON`, cause);\n    }\n}\nfunction parseInspectionJson(bytes: Uint8Array, owner: string): InspectionJson {\n    const closed = closeInspectionJson(parseJson(bytes, owner));\n    if (isInspectionCodecError(closed)) {\n        throw factsError(`${owner} is invalid: ${closed.reason}`);\n    }\n    return closed;\n}\nfunction decodedRight<A>(decoded: Result.Result<A, unknown>, reason: string): A {\n    if (Result.isFailure(decoded))\n        throw factsError(reason, decoded.failure);\n    return decoded.success;\n}\nfunction exactMarker(value: unknown, key: string): unknown | undefined {\n    if (typeof value !== \"object\" || value === null || Array.isArray(value)) {\n        return undefined;\n    }\n    const keys = Reflect.ownKeys(value);\n    if (keys.length !== 1 || keys[0] !== key)\n        return undefined;\n    const descriptor = Object.getOwnPropertyDescriptor(value, key);\n    return descriptor?.enumerable === true && \"value\" in descriptor\n        ? descriptor.value\n        : undefined;\n}\nfunction hasOwnMarker(value: unknown, key: string): boolean {\n    return typeof value === \"object\" && value !== null && !Array.isArray(value) &&\n        Object.prototype.hasOwnProperty.call(value, key);\n}\nfunction issue(code: string, locator: string): InspectionJson {\n    return Object.freeze({ code, locator });\n}\nfunction factsError(reason: string, cause?: unknown): Error {\n    return new Error(reason, cause === undefined ? undefined : { cause });\n}\nfunction compareText(left: string, right: string): number {\n    return left < right ? -1 : left > right ? 1 : 0;\n}\nfunction verifyDigest(bytes: Uint8Array, digest: string, label: string): void {\n    if (new InspectionSha256().update(bytes).digestHex() !== digest)\n        throw factsError(`${label} digest is invalid`);\n}\nfunction parseVerifiedJson(bytes: Uint8Array, digest: string, label: string): unknown {\n    verifyDigest(bytes, digest, label);\n    return parseJson(bytes, label);\n}\n"]}

package/dist/inspection/facts.d.cts

@@ -54,11 +54,11 @@ export declare function loadInspectionRuns(source: InspectionFactSource): readon
 export declare function loadSelectedInspectionRuns(source: InspectionFactSource, runIds: readonly string[]): readonly LoadedInspectionRun[];
 /** Reads Run create/close facts even when no Attempt Core has been published. */
 export declare function loadInspectionRunResource(source: InspectionFactSource, runId: string): LoadedInspectionRunResource | undefined;
-/** Strictly decodes all Core documents and Attachment JSON for one sealed Run. */
+/** Strictly decodes Core, then decodes each Attachment only on first use. */
 export declare function decodeInspectionRun(source: InspectionFactSource, physical: SealedRunCore): LoadedInspectionRun;
 /** Resolves a public locator through the source's bounded exact index. */
 export declare function resolveInspectionAttempt(source: InspectionFactSource, locator: string): ResolvedInspectionAttempt | undefined;
-/** Resolves one already loaded target Member without consulting a platform index. */
+/** Resolves already loaded facts through one shared identity index. */
 export declare function resolveInspectionMemberAttempt(runs: readonly LoadedInspectionRun[], target: LoadedInspectionRun, member: MemberDocument): ResolvedInspectionAttempt | undefined;
 export declare function attemptAttachment(resolved: ResolvedInspectionAttempt, family: string): DecodedInspectionAttachment | undefined;
 export declare function runAttachment(run: LoadedInspectionRun, family: string): DecodedInspectionAttachment | undefined;

package/dist/inspection/facts.d.mts

@@ -54,11 +54,11 @@ export declare function loadInspectionRuns(source: InspectionFactSource): readon
 export declare function loadSelectedInspectionRuns(source: InspectionFactSource, runIds: readonly string[]): readonly LoadedInspectionRun[];
 /** Reads Run create/close facts even when no Attempt Core has been published. */
 export declare function loadInspectionRunResource(source: InspectionFactSource, runId: string): LoadedInspectionRunResource | undefined;
-/** Strictly decodes all Core documents and Attachment JSON for one sealed Run. */
+/** Strictly decodes Core, then decodes each Attachment only on first use. */
 export declare function decodeInspectionRun(source: InspectionFactSource, physical: SealedRunCore): LoadedInspectionRun;
 /** Resolves a public locator through the source's bounded exact index. */
 export declare function resolveInspectionAttempt(source: InspectionFactSource, locator: string): ResolvedInspectionAttempt | undefined;
-/** Resolves one already loaded target Member without consulting a platform index. */
+/** Resolves already loaded facts through one shared identity index. */
 export declare function resolveInspectionMemberAttempt(runs: readonly LoadedInspectionRun[], target: LoadedInspectionRun, member: MemberDocument): ResolvedInspectionAttempt | undefined;
 export declare function attemptAttachment(resolved: ResolvedInspectionAttempt, family: string): DecodedInspectionAttachment | undefined;
 export declare function runAttachment(run: LoadedInspectionRun, family: string): DecodedInspectionAttachment | undefined;

package/dist/inspection/facts.d.ts

@@ -54,11 +54,11 @@ export declare function loadInspectionRuns(source: InspectionFactSource): readon
 export declare function loadSelectedInspectionRuns(source: InspectionFactSource, runIds: readonly string[]): readonly LoadedInspectionRun[];
 /** Reads Run create/close facts even when no Attempt Core has been published. */
 export declare function loadInspectionRunResource(source: InspectionFactSource, runId: string): LoadedInspectionRunResource | undefined;
-/** Strictly decodes all Core documents and Attachment JSON for one sealed Run. */
+/** Strictly decodes Core, then decodes each Attachment only on first use. */
 export declare function decodeInspectionRun(source: InspectionFactSource, physical: SealedRunCore): LoadedInspectionRun;
 /** Resolves a public locator through the source's bounded exact index. */
 export declare function resolveInspectionAttempt(source: InspectionFactSource, locator: string): ResolvedInspectionAttempt | undefined;
-/** Resolves one already loaded target Member without consulting a platform index. */
+/** Resolves already loaded facts through one shared identity index. */
 export declare function resolveInspectionMemberAttempt(runs: readonly LoadedInspectionRun[], target: LoadedInspectionRun, member: MemberDocument): ResolvedInspectionAttempt | undefined;
 export declare function attemptAttachment(resolved: ResolvedInspectionAttempt, family: string): DecodedInspectionAttachment | undefined;
 export declare function runAttachment(run: LoadedInspectionRun, family: string): DecodedInspectionAttachment | undefined;

package/dist/inspection/overview.cjs

@@ -63,6 +63,7 @@ function isLoadedInspectionRuns(facts) {
     return Array.isArray(facts);
 }
 function selectLatestSlots(runs, resolutionRuns = runs) {
+    const membersByRun = new Map(runs.map((run) => [run, new Map(run.members.map((member) => [member.slotId, member]))]));
     const latest = new Map();
     for (const target of runs) {
         for (const slot of target.run.expectedSlots) {
@@ -79,7 +80,7 @@ function selectLatestSlots(runs, resolutionRuns = runs) {
         left.slot.attemptOrdinal - right.slot.attemptOrdinal ||
         compareText(left.target.run.runId, right.target.run.runId))
         .map(({ target, slot }) => {
-        const member = target.members.find((candidate) => candidate.slotId === slot.slotId);
+        const member = membersByRun.get(target)?.get(slot.slotId);
         const resolved = member === undefined
             ? undefined
             : (0, facts_ts_1.resolveInspectionMemberAttempt)(resolutionRuns, target, member);