niceeval 0.16.2 → 0.17.0

package/dist/fresh-import.d.mts

@@ -15,7 +15,7 @@ export interface FreshImportGeneration {
  * projectRoot retain canonical process identity.
  */
 export declare function acquireFreshImportGeneration(projectRoot?: string): Effect.Effect<FreshImportGeneration, never, Scope.Scope>;
-/** Promise ABI facade for callers that cannot retain an Effect Scope. */
-export declare function freshImportModule(absPath: string): Promise<{
+/** Load one fresh entry while retaining the generation gate until import settles. */
+export declare function freshImportModule(absPath: string): Effect.Effect<{
     default?: unknown;
-}>;
+}, import("effect/Cause").UnknownError, never>;

package/dist/fresh-import.d.ts

@@ -15,7 +15,7 @@ export interface FreshImportGeneration {
  * projectRoot retain canonical process identity.
  */
 export declare function acquireFreshImportGeneration(projectRoot?: string): Effect.Effect<FreshImportGeneration, never, Scope.Scope>;
-/** Promise ABI facade for callers that cannot retain an Effect Scope. */
-export declare function freshImportModule(absPath: string): Promise<{
+/** Load one fresh entry while retaining the generation gate until import settles. */
+export declare function freshImportModule(absPath: string): Effect.Effect<{
     default?: unknown;
-}>;
+}, import("effect/Cause").UnknownError, never>;

package/dist/index.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["index.ts"],"names":[],"mappings":";;;AAAA,+CAA+C;AAC/C,uEAAuE;AACvE,yCAA2G;AAAlG,uGAAA,UAAU,OAAA;AAAE,4GAAA,eAAe,OAAA;AAAE,4GAAA,eAAe,OAAA;AAAE,yGAAA,YAAY,OAAA;AAAE,6GAAA,gBAAgB,OAAA;AACrF,2CAAoE;AAA3D,2GAAA,aAAa,OAAA;AAAE,mHAAA,qBAAqB,OAAA;AAC7C,kDAAoD;AAA3C,uGAAA,WAAW,OAAA;AAEpB,kDAAyD;AAAhD,4GAAA,gBAAgB,OAAA;AAGzB,0EAAuN;AAA9M,2HAAA,mBAAmB,OAAA;AAG5B,qCAA8D;AAArD,qGAAA,UAAU,OAAA;AAAE,iGAAA,MAAM,OAAA;AAAE,wGAAA,aAAa,OAAA;AAC1C,6CAA6C;AAC7C,6EAA6E;AAC7E,8DAAiG;AAAxF,wHAAA,oBAAoB,OAAA;AAAE,kHAAA,cAAc,OAAA;AAAE,kHAAA,cAAc,OAAA;AAK7D,kEAAmH;AAA1G,8GAAA,UAAU,OAAA;AAAE,gHAAA,YAAY,OAAA;AAAE,wHAAA,oBAAoB,OAAA;AAAE,sHAAA,kBAAkB,OAAA;AAG3E,wDAAiH;AAAxG,kHAAA,sBAAsB,OAAA;AAI/B,kEAAwF;AAA/E,uHAAA,mBAAmB,OAAA;AAAE,sHAAA,kBAAkB,OAAA","sourcesContent":["// niceeval 公开导出(import { … } from \"niceeval\")。\n// Agent/Adapter 相关见 \"niceeval/adapter\";Sandbox 相关见 \"niceeval/sandbox\"。\nexport { defineEval, defineScoreEval, defineEvalGroup, defineConfig, defineExperiment } from \"./define.ts\";\nexport { defineAdapter, defineAdapterContract } from \"./adapter.ts\";\nexport { defineJudge } from \"./assertions/judge.ts\";\nexport type { JudgeAnchor, JudgeDefinition, JudgeOptions } from \"./assertions/judge.ts\";\nexport { defineScoreMatch } from \"./assertions/match.ts\";\nexport type { ManagedScoreMatchOptions, ScoreMatch, ScoreMatchAnchor, ScoreMatchContext, ScoreMatchLlmFailure, ScoreMatchResult } from \"./assertions/match.ts\";\nexport type { AssertionEntryId } from \"./assertions/identity.ts\";\nexport { readScoreMatchAudit, type ScoreMatchAudit, type ScoreMatchAuditV3, type ScoreMatchAuditImageContent, type ScoreMatchAuditEnvelope, type ScoreMatchAuditReadResult, } from \"./assertions/score-match-audit.ts\";\nexport type { AgentSendWindowIdentity, AgentWorkspaceDiffEndpoint, AgentWorkspaceDiffHunks, AgentWorkspaceDiffPolicy, AgentWorkspaceDiff, AgentWorkspaceDiffWindow, AgentWorkspaceDiffWindowChange, } from \"./assertions/workspace-diff.ts\";\nexport type { AssertionCheck, ScoreFunction, PolymorphicBooleanAssertionHandle, PolymorphicMeasurementAssertionHandle, PostRunBooleanAssertionHandle, } from \"./assertions/api.ts\";\nexport { requireEnv, getEnv, stripComments } from \"./util.ts\";\n// 执行失败分类:抛出点糖衣类(声明死因波及多远)+ 结构守卫。判据、分类链与止损语义见\n// docs/feature/error-classification/README.md;`niceeval/adapter` 复导出同一份词表类型。\nexport { ExperimentFatalError, EvalFatalError, failureClassOf } from \"./shared/failure-class.ts\";\n// 类型(eval 作者会用到;跑哪个 agent / 用哪个 sandbox 见对应子路径)\nexport type { StreamEvent, ToolName, JsonValue, FlagValue, ExperimentFlags, JsonMatch, Usage, Turn, EvidenceCoverageStatus, EvidenceCoverageEntry, EvidenceCoverage, TurnEvidenceCoverage, TurnInput, InputFile, AnswerValue, InputResponse, RespondAnswer, TurnHandle, SessionHandle, TestContext, ScoreTestContext, Verdict, EvalAuthorFields, EvalInput, ScoreEvalInput, EvalDefinition, AnyEvalDefinition, EvalGroupMember, EvalGroupInput, EvalGroupDefinition, EvaluationKind, EvalDescriptor, ExperimentAuthorFields, SharedStateConfig, ExperimentInput, ExperimentDefinition, ExperimentHook, ExperimentHookContext, Config, LocalizedText, Reporter, ReporterEvent, EvalResult, AcceptedDifference, AcceptedResult, RetryAttemptRecord, InvocationSummary, InvocationShape, DiagnosticRecord, ExperimentRunInfo, SandboxRunInfo, ScriptResult, CommandResult, InputRequest, InputRequestFilter, O11ySummary, TraceSpan, SpanKind, DerivedFacts, FailureClass, FailureScope, AttemptFailureInfo, AttemptFailureClassifier, ExternalCause, ExternalCauseFact, ExternalCauseLink, ExternalCauseScalar, } from \"./types.ts\";\nexport type { Adapter, AdapterAssertionsFactory, AdapterAssertionsFactoryContext, AdapterCleanupContext, AttemptCancellation, AttemptSignal, AdapterContract, AdapterCreateContext, AdapterDefinition, AdapterEvalDefinition, AdapterEvalInput, AdapterIdentity, AdapterImplementation, AdapterImplementationInput, AdapterRuntimeDefinition, AdapterScoreEvalInput, EvalContext, ReservedAdapterContextKey, } from \"./adapter.ts\";\nexport type { ParsedTranscript } from \"./o11y/parsers/index.ts\";\nexport { factuality, faithfulness, instructionFollowing, pairwisePreference } from \"./assertions/judge-presets.ts\";\nexport type { JudgePresetOptions, FactualityMaterial, FaithfulnessMaterial, InstructionFollowingMaterial, PairwisePreferenceMaterial } from \"./assertions/judge-presets.ts\";\nexport type { JudgeProvider, JudgeSelection } from \"./judge/index.ts\";\nexport { MigrationRequiredError, type MigrationOccurrence, type ErrorSource } from \"./error-assistance/index.ts\";\nexport type { AdapterUsageInput, AdapterUsageSeal } from \"./adapter-usage.ts\";\nexport type { AdapterAttachmentInput, AdapterAttachmentReceipt } from \"./adapter-attachments.ts\";\nexport type { ExecutionDisplayBlock, ExecutionTraceActor, ExecutionTraceEvent, ExecutionTraceEvidence, ExecutionTraceInput, ExecutionTraceLimitation, ExecutionTraceLink, ExecutionTraceReceipt, ExecutionTraceScope, ExecutionTraceScopeMembership, ExecutionTraceSource, ExecutionTraceTime, TraceJson, } from \"./adapter-execution-trace.ts\";\nexport { defineMaterialMatch, defineContextMatch } from \"./assertions/context-match.ts\";\nexport type { MaterialMatch, ContextBooleanMatch, ContextScoreMatch, MatchContext, ReadonlyMaterial, MatchFact, MaterialCollection, MaterialItem, MaterialCaptureBudget, FactCaptureBudget } from \"./assertions/context-match.ts\";\nexport type { AttemptUsageSnapshot, AdapterAttemptUsageSnapshot } from \"./o11y/adapter-usage-projection.ts\";\nexport type { EvalUsage } from \"./o11y/eval-usage.ts\";\nexport type { AgentMatchContext } from \"./context/assert-first.ts\";\nexport type { ModelSlotSelection, ResolvedModelSlot, ResolvedModelSlots } from \"./model-slots.ts\";\n"]}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["index.ts"],"names":[],"mappings":";;;AAAA,+CAA+C;AAC/C,uEAAuE;AACvE,yCAA2G;AAAlG,uGAAA,UAAU,OAAA;AAAE,4GAAA,eAAe,OAAA;AAAE,4GAAA,eAAe,OAAA;AAAE,yGAAA,YAAY,OAAA;AAAE,6GAAA,gBAAgB,OAAA;AACrF,2CAAoE;AAA3D,2GAAA,aAAa,OAAA;AAAE,mHAAA,qBAAqB,OAAA;AAC7C,kDAAoD;AAA3C,uGAAA,WAAW,OAAA;AAEpB,kDAAyD;AAAhD,4GAAA,gBAAgB,OAAA;AAGzB,0EAAuN;AAA9M,2HAAA,mBAAmB,OAAA;AAG5B,qCAA8D;AAArD,qGAAA,UAAU,OAAA;AAAE,iGAAA,MAAM,OAAA;AAAE,wGAAA,aAAa,OAAA;AAC1C,6CAA6C;AAC7C,6EAA6E;AAC7E,8DAAiG;AAAxF,wHAAA,oBAAoB,OAAA;AAAE,kHAAA,cAAc,OAAA;AAAE,kHAAA,cAAc,OAAA;AAK7D,kEAAmH;AAA1G,8GAAA,UAAU,OAAA;AAAE,gHAAA,YAAY,OAAA;AAAE,wHAAA,oBAAoB,OAAA;AAAE,sHAAA,kBAAkB,OAAA;AAG3E,wDAAiH;AAAxG,kHAAA,sBAAsB,OAAA;AAI/B,kEAAwF;AAA/E,uHAAA,mBAAmB,OAAA;AAAE,sHAAA,kBAAkB,OAAA","sourcesContent":["// niceeval 公开导出(import { … } from \"niceeval\")。\n// Agent/Adapter 相关见 \"niceeval/adapter\";Sandbox 相关见 \"niceeval/sandbox\"。\nexport { defineEval, defineScoreEval, defineEvalGroup, defineConfig, defineExperiment } from \"./define.ts\";\nexport { defineAdapter, defineAdapterContract } from \"./adapter.ts\";\nexport { defineJudge } from \"./assertions/judge.ts\";\nexport type { JudgeAnchor, JudgeDefinition, JudgeOptions } from \"./assertions/judge.ts\";\nexport { defineScoreMatch } from \"./assertions/match.ts\";\nexport type { ManagedScoreMatchOptions, ScoreMatch, ScoreMatchAnchor, ScoreMatchContext, ScoreMatchLlmFailure, ScoreMatchResult } from \"./assertions/match.ts\";\nexport type { AssertionEntryId } from \"./assertions/identity.ts\";\nexport { readScoreMatchAudit, type ScoreMatchAudit, type ScoreMatchAuditV3, type ScoreMatchAuditImageContent, type ScoreMatchAuditEnvelope, type ScoreMatchAuditReadResult, } from \"./assertions/score-match-audit.ts\";\nexport type { AgentSendWindowIdentity, AgentWorkspaceDiffEndpoint, AgentWorkspaceDiffHunks, AgentWorkspaceDiffPolicy, AgentWorkspaceDiff, AgentWorkspaceDiffWindow, AgentWorkspaceDiffWindowChange, } from \"./assertions/workspace-diff.ts\";\nexport type { AssertionCheck, ScoreFunction, PolymorphicBooleanAssertionHandle, PolymorphicMeasurementAssertionHandle, PostRunBooleanAssertionHandle, } from \"./assertions/api.ts\";\nexport { requireEnv, getEnv, stripComments } from \"./util.ts\";\n// 执行失败分类:抛出点糖衣类(声明死因波及多远)+ 结构守卫。判据、分类链与止损语义见\n// docs/feature/error-classification/README.md;`niceeval/adapter` 复导出同一份词表类型。\nexport { ExperimentFatalError, EvalFatalError, failureClassOf } from \"./shared/failure-class.ts\";\n// 类型(eval 作者会用到;跑哪个 agent / 用哪个 sandbox 见对应子路径)\nexport type { StreamEvent, ToolName, JsonValue, FlagValue, ExperimentFlags, JsonMatch, Usage, Turn, EvidenceCoverageStatus, EvidenceCoverageEntry, EvidenceCoverage, TurnEvidenceCoverage, TurnInput, InputFile, AnswerValue, InputResponse, RespondAnswer, TurnHandle, SessionHandle, TestContext, ScoreTestContext, Verdict, EvalAuthorFields, EvalInput, ScoreEvalInput, EvalDefinition, AnyEvalDefinition, EvalGroupMember, EvalGroupInput, EvalGroupDefinition, EvaluationKind, EvalDescriptor, ExperimentAuthorFields, SharedStateConfig, ExperimentInput, ExperimentDefinition, ExperimentHook, ExperimentHookContext, Config, LocalizedText, Reporter, ReporterEvent, EvalResult, AcceptedDifference, AcceptedResult, RetryAttemptRecord, InvocationSummary, InvocationShape, DiagnosticRecord, ExperimentRunInfo, SandboxRunInfo, ScriptResult, CommandResult, InputRequest, InputRequestFilter, O11ySummary, TraceSpan, SpanKind, DerivedFacts, FailureClass, FailureScope, AttemptFailureInfo, AttemptFailureClassifier, ExternalCause, ExternalCauseFact, ExternalCauseLink, ExternalCauseScalar, } from \"./types.ts\";\nexport type { Adapter, AdapterAssertionsFactory, AdapterAssertionsFactoryContext, AdapterCleanupContext, AttemptCancellation, AttemptSignal, AdapterContract, AdapterCreateContext, AdapterDefinition, AdapterEvalDefinition, AdapterEvalInput, AdapterIdentity, AdapterImplementation, AdapterImplementationInput, AdapterRuntimeDefinition, AdapterScoreEvalInput, EvalContext, ReservedAdapterContextKey, } from \"./adapter.ts\";\nexport type { ParsedTranscript } from \"./o11y/parsers/index.ts\";\nexport { factuality, faithfulness, instructionFollowing, pairwisePreference } from \"./assertions/judge-presets.ts\";\nexport type { JudgePresetOptions, FactualityMaterial, FaithfulnessMaterial, InstructionFollowingMaterial, PairwisePreferenceMaterial } from \"./assertions/judge-presets.ts\";\nexport type { JudgeProvider, JudgeSelection } from \"./judge/index.ts\";\nexport { MigrationRequiredError, type MigrationOccurrence, type ErrorSource } from \"./error-assistance/index.ts\";\nexport type { AdapterUsageInput, AdapterUsageSeal } from \"./adapter-usage.ts\";\nexport type { AdapterAttachmentInput, AdapterAttachmentReceipt } from \"./adapter-attachments.ts\";\nexport type { ExecutionDisplayBlock, ExecutionTraceActor, ExecutionTraceEvent, ExecutionTraceEvidence, ExecutionTraceInput, ExecutionTraceLimitation, ExecutionTraceLink, ExecutionTraceReceipt, ExecutionTraceScope, ExecutionTraceScopeMembership, ExecutionTraceSource, ExecutionTraceTime, TraceJson, } from \"./adapter-execution-trace.ts\";\nexport { defineMaterialMatch, defineContextMatch } from \"./assertions/context-match.ts\";\nexport type { MaterialMatch, ContextBooleanMatch, ContextScoreMatch, MatchContext, ReadonlyMaterial, MatchFact, MaterialCollection, MaterialItem, MaterialCaptureBudget, FactCaptureBudget } from \"./assertions/context-match.ts\";\nexport type { AttemptUsageSnapshot, AdapterAttemptUsageSnapshot } from \"./o11y/adapter-usage-projection.ts\";\nexport type { EvalUsage } from \"./o11y/eval-usage.ts\";\nexport type { AgentMatchContext } from \"./context/assert-first.ts\";\nexport type { ModelSlotSelection, ResolvedModelSlot, ResolvedModelSlots } from \"./model-slots.ts\";\nexport type { CacheReadReport, CacheReadSummary } from \"./o11y/cache-read.ts\";\n"]}

package/dist/index.d.cts

@@ -26,3 +26,4 @@ export type { AttemptUsageSnapshot, AdapterAttemptUsageSnapshot } from "./o11y/a
 export type { EvalUsage } from "./o11y/eval-usage.cjs";
 export type { AgentMatchContext } from "./context/assert-first.cjs";
 export type { ModelSlotSelection, ResolvedModelSlot, ResolvedModelSlots } from "./model-slots.cjs";
+export type { CacheReadReport, CacheReadSummary } from "./o11y/cache-read.cjs";

package/dist/index.d.mts

@@ -26,3 +26,4 @@ export type { AttemptUsageSnapshot, AdapterAttemptUsageSnapshot } from "./o11y/a
 export type { EvalUsage } from "./o11y/eval-usage.mjs";
 export type { AgentMatchContext } from "./context/assert-first.mjs";
 export type { ModelSlotSelection, ResolvedModelSlot, ResolvedModelSlots } from "./model-slots.mjs";
+export type { CacheReadReport, CacheReadSummary } from "./o11y/cache-read.mjs";

package/dist/index.d.ts

@@ -26,3 +26,4 @@ export type { AttemptUsageSnapshot, AdapterAttemptUsageSnapshot } from "./o11y/a
 export type { EvalUsage } from "./o11y/eval-usage.js";
 export type { AgentMatchContext } from "./context/assert-first.js";
 export type { ModelSlotSelection, ResolvedModelSlot, ResolvedModelSlots } from "./model-slots.js";
+export type { CacheReadReport, CacheReadSummary } from "./o11y/cache-read.js";

package/dist/inspection/codec.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"codec.js","sourceRoot":"","sources":["codec.ts"],"names":[],"mappings":";;;AAeA,0DAQC;AAUD,kDAyCC;AAMD,wDAEC;AAlFD,mCAAwC;AAExC,+CAA0G;AAC1G,2DAAmF;AAA1E,iIAAA,2BAA2B,OAAA;AAAE,oHAAA,cAAc,OAAA;AACpD,6CAA+G;AAAtG,uHAAA,wBAAwB,OAAA;AAAE,0HAAA,2BAA2B,OAAA;AAAE,sHAAA,uBAAuB,OAAA;AAOvF,MAAM,qBAAqB,GAAG,IAAI,OAAO,EAAU,CAAC;AACpD,MAAM,mBAAmB,GAAG,eAAM,CAAC,mBAAmB,CAAC,qCAAuB,EAAE;IAC5E,gBAAgB,EAAE,OAAO;CAC5B,CAAC,CAAC;AACH,SAAgB,uBAAuB,CAAC,KAAc;IAClD,MAAM,OAAO,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAC3C,OAAO,eAAM,CAAC,SAAS,CAAC,OAAO,CAAC;QAC5B,CAAC,CAAC,eAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;YACxB,IAAI,EAAE,4BAAqC;YAC3C,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC;SAClC,CAAC,CAAC;QACH,CAAC,CAAC,eAAM,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;AAC1C,CAAC;AAUD,SAAgB,mBAAmB,CAAC,KAAc;IAC9C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,KAAK,GAAG,CAAC,OAAgB,EAAE,IAAuB,EAAyC,EAAE;QAC/F,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,OAAO,KAAK,SAAS;YAC/E,OAAO,OAAO,CAAC;QACnB,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;YAC9B,OAAO,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,EAAE,wBAAwB,CAAC,CAAC;QAC9F,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YACzB,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC;gBACjB,OAAO,aAAa,CAAC,IAAI,EAAE,iCAAiC,CAAC,CAAC;YAClE,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAClB,MAAM,MAAM,GAAqB,EAAE,CAAC;YACpC,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;gBAC7C,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBACtD,IAAI,YAAY,CAAC,MAAM,CAAC;oBACpB,OAAO,MAAM,CAAC;gBAClB,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACxB,CAAC;YACD,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YACrB,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACjC,CAAC;QACD,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI;YAC/C,OAAO,aAAa,CAAC,IAAI,EAAE,eAAe,OAAO,OAAO,QAAQ,CAAC,CAAC;QACtE,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC;YACjB,OAAO,aAAa,CAAC,IAAI,EAAE,kCAAkC,CAAC,CAAC;QACnE,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;QACjD,IAAI,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI;YACpD,OAAO,aAAa,CAAC,IAAI,EAAE,kDAAkD,CAAC,CAAC;QACnF,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAClB,MAAM,MAAM,GAAmC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACnE,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,EAAE,CAAC;YAC5D,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;YAChE,IAAI,YAAY,CAAC,MAAM,CAAC;gBACpB,OAAO,MAAM,CAAC;YAClB,MAAM,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC;QACzB,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACrB,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACjC,CAAC,CAAC;IACF,OAAO,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;AAC5B,CAAC;AACD,SAAS,aAAa,CAAC,IAAuB,EAAE,MAAc;IAC1D,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,2BAAoC,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,MAAM,EAAE,EAAE,CAAC,CAAC;IAC9I,qBAAqB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACjC,OAAO,KAAK,CAAC;AACjB,CAAC;AACD,SAAgB,sBAAsB,CAAC,KAA4C;IAC/E,OAAO,QAAQ,CAAC,KAAK,CAAC,IAAI,qBAAqB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AAC/D,CAAC;AACD,MAAM,YAAY,GAAG,sBAAsB,CAAC;AAC5C,SAAS,QAAQ,CAAC,KAAc;IAC5B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAChF,CAAC;AACD,SAAS,gBAAgB,CAAC,IAAY,EAAE,KAAa;IACjD,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":["import { Result, Schema } from \"effect\";\nimport { QUERY_PROTOCOL } from \"./protocol-values.ts\";\nimport { InspectionRequestSchema, type InspectionOperation, type InspectionRequest } from \"./protocol.ts\";\nexport { INSPECTION_BEHAVIOR_VERSION, QUERY_PROTOCOL } from \"./protocol-values.ts\";\nexport { INSPECTION_OPERATION_IDS, InspectionOperationIdSchema, InspectionRequestSchema } from \"./protocol.ts\";\nexport type { InspectionFailureDocument, InspectionOperation, InspectionOperationId, InspectionRequest } from \"./protocol.ts\";\nexport type InspectionDocument = import(\"./protocol.ts\").InspectionOperationDocument;\nexport interface InspectionCodecError {\n    readonly code: \"inspection-request-invalid\" | \"inspection-result-invalid\";\n    readonly reason: string;\n}\nconst inspectionCodecErrors = new WeakSet<object>();\nconst strictDecodeRequest = Schema.decodeUnknownResult(InspectionRequestSchema, {\n    onExcessProperty: \"error\",\n});\nexport function decodeInspectionRequest(input: unknown): Result.Result<InspectionRequest, InspectionCodecError> {\n    const decoded = strictDecodeRequest(input);\n    return Result.isFailure(decoded)\n        ? Result.fail(Object.freeze({\n            code: \"inspection-request-invalid\" as const,\n            reason: String(decoded.failure),\n        }))\n        : Result.succeed(decoded.success);\n}\n/** JSON value accepted at the final machine-delivery boundary. */\nexport type InspectionJson = null | boolean | number | string | readonly InspectionJson[] | {\n    readonly [key: string]: InspectionJson;\n};\nexport type InspectionSourceProvenance = {\n    readonly kind: \"project-record\" | \"external-record\";\n    readonly sealedCutoffIdentity: string;\n};\nexport type InspectionFailureCode = \"inspection-request-invalid\" | \"inspection-selection-missing\" | \"inspection-source-invalid\" | \"inspection-record-integrity-failure\" | \"inspection-operation-failed\" | \"inspection-result-invalid\" | \"evidence-budget-exceeded\" | \"restart-required\";\nexport function closeInspectionJson(value: unknown): InspectionJson | InspectionCodecError {\n    const seen = new Set<object>();\n    const close = (current: unknown, path: readonly string[]): InspectionJson | InspectionCodecError => {\n        if (current === null || typeof current === \"string\" || typeof current === \"boolean\")\n            return current;\n        if (typeof current === \"number\") {\n            return Number.isFinite(current) ? current : invalidResult(path, \"numbers must be finite\");\n        }\n        if (Array.isArray(current)) {\n            if (seen.has(current))\n                return invalidResult(path, \"cyclic arrays are not encodable\");\n            seen.add(current);\n            const output: InspectionJson[] = [];\n            for (const [index, entry] of current.entries()) {\n                const closed = close(entry, [...path, String(index)]);\n                if (isCodecError(closed))\n                    return closed;\n                output.push(closed);\n            }\n            seen.delete(current);\n            return Object.freeze(output);\n        }\n        if (typeof current !== \"object\" || current === null)\n            return invalidResult(path, `unsupported ${typeof current} value`);\n        if (seen.has(current))\n            return invalidResult(path, \"cyclic objects are not encodable\");\n        const prototype = Object.getPrototypeOf(current);\n        if (prototype !== Object.prototype && prototype !== null)\n            return invalidResult(path, \"only plain objects may cross Inspection delivery\");\n        seen.add(current);\n        const output: Record<string, InspectionJson> = Object.create(null);\n        for (const key of Object.keys(current).sort(compareCodeUnits)) {\n            const closed = close(Reflect.get(current, key), [...path, key]);\n            if (isCodecError(closed))\n                return closed;\n            output[key] = closed;\n        }\n        seen.delete(current);\n        return Object.freeze(output);\n    };\n    return close(value, []);\n}\nfunction invalidResult(path: readonly string[], reason: string): InspectionCodecError {\n    const error = Object.freeze({ code: \"inspection-result-invalid\" as const, reason: `${path.length === 0 ? \"$\" : path.join(\".\")}: ${reason}` });\n    inspectionCodecErrors.add(error);\n    return error;\n}\nexport function isInspectionCodecError(value: InspectionJson | InspectionCodecError): value is InspectionCodecError {\n    return isObject(value) && inspectionCodecErrors.has(value);\n}\nconst isCodecError = isInspectionCodecError;\nfunction isObject(value: unknown): value is Record<string, unknown> {\n    return typeof value === \"object\" && value !== null && !Array.isArray(value);\n}\nfunction compareCodeUnits(left: string, right: string): number {\n    return left < right ? -1 : left > right ? 1 : 0;\n}\n"]}
+{"version":3,"file":"codec.js","sourceRoot":"","sources":["codec.ts"],"names":[],"mappings":";;;AAeA,0DAQC;AAUD,kDAyCC;AAMD,wDAEC;AAlFD,mCAAwC;AAExC,+CAA0G;AAC1G,2DAAmF;AAA1E,iIAAA,2BAA2B,OAAA;AAAE,oHAAA,cAAc,OAAA;AACpD,6CAA+G;AAAtG,uHAAA,wBAAwB,OAAA;AAAE,0HAAA,2BAA2B,OAAA;AAAE,sHAAA,uBAAuB,OAAA;AAOvF,MAAM,qBAAqB,GAAG,IAAI,OAAO,EAAU,CAAC;AACpD,MAAM,mBAAmB,GAAG,eAAM,CAAC,mBAAmB,CAAC,qCAAuB,EAAE;IAC5E,gBAAgB,EAAE,OAAO;CAC5B,CAAC,CAAC;AACH,SAAgB,uBAAuB,CAAC,KAAc;IAClD,MAAM,OAAO,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAC3C,OAAO,eAAM,CAAC,SAAS,CAAC,OAAO,CAAC;QAC5B,CAAC,CAAC,eAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;YACxB,IAAI,EAAE,4BAAqC;YAC3C,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC;SAClC,CAAC,CAAC;QACH,CAAC,CAAC,eAAM,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;AAC1C,CAAC;AAUD,SAAgB,mBAAmB,CAAC,KAAc;IAC9C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,KAAK,GAAG,CAAC,OAAgB,EAAE,IAAuB,EAAyC,EAAE;QAC/F,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,OAAO,KAAK,SAAS;YAC/E,OAAO,OAAO,CAAC;QACnB,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;YAC9B,OAAO,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,EAAE,wBAAwB,CAAC,CAAC;QAC9F,CAAC;QACD,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YACzB,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC;gBACjB,OAAO,aAAa,CAAC,IAAI,EAAE,iCAAiC,CAAC,CAAC;YAClE,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAClB,MAAM,MAAM,GAAqB,EAAE,CAAC;YACpC,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;gBAC7C,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC,GAAG,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBACtD,IAAI,YAAY,CAAC,MAAM,CAAC;oBACpB,OAAO,MAAM,CAAC;gBAClB,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACxB,CAAC;YACD,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YACrB,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACjC,CAAC;QACD,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI;YAC/C,OAAO,aAAa,CAAC,IAAI,EAAE,eAAe,OAAO,OAAO,QAAQ,CAAC,CAAC;QACtE,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC;YACjB,OAAO,aAAa,CAAC,IAAI,EAAE,kCAAkC,CAAC,CAAC;QACnE,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;QACjD,IAAI,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI;YACpD,OAAO,aAAa,CAAC,IAAI,EAAE,kDAAkD,CAAC,CAAC;QACnF,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAClB,MAAM,MAAM,GAAmC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACnE,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,EAAE,CAAC;YAC5D,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;YAChE,IAAI,YAAY,CAAC,MAAM,CAAC;gBACpB,OAAO,MAAM,CAAC;YAClB,MAAM,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC;QACzB,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACrB,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACjC,CAAC,CAAC;IACF,OAAO,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;AAC5B,CAAC;AACD,SAAS,aAAa,CAAC,IAAuB,EAAE,MAAc;IAC1D,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,2BAAoC,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,MAAM,EAAE,EAAE,CAAC,CAAC;IAC9I,qBAAqB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACjC,OAAO,KAAK,CAAC;AACjB,CAAC;AACD,SAAgB,sBAAsB,CAAC,KAA4C;IAC/E,OAAO,QAAQ,CAAC,KAAK,CAAC,IAAI,qBAAqB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AAC/D,CAAC;AACD,MAAM,YAAY,GAAG,sBAAsB,CAAC;AAC5C,SAAS,QAAQ,CAAC,KAAc;IAC5B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAChF,CAAC;AACD,SAAS,gBAAgB,CAAC,IAAY,EAAE,KAAa;IACjD,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":["import { Result, Schema } from \"effect\";\nimport { QUERY_PROTOCOL } from \"./protocol-values.ts\";\nimport { InspectionRequestSchema, type InspectionOperation, type InspectionRequest } from \"./protocol.ts\";\nexport { INSPECTION_BEHAVIOR_VERSION, QUERY_PROTOCOL } from \"./protocol-values.ts\";\nexport { INSPECTION_OPERATION_IDS, InspectionOperationIdSchema, InspectionRequestSchema } from \"./protocol.ts\";\nexport type { InspectionFailureDocument, InspectionOperation, InspectionOperationId, InspectionRequest } from \"./protocol.ts\";\nexport type InspectionDocument = import(\"./protocol.ts\").InspectionOperationDocument;\nexport interface InspectionCodecError {\n    readonly code: \"inspection-request-invalid\" | \"inspection-result-invalid\";\n    readonly reason: string;\n}\nconst inspectionCodecErrors = new WeakSet<object>();\nconst strictDecodeRequest = Schema.decodeUnknownResult(InspectionRequestSchema, {\n    onExcessProperty: \"error\",\n});\nexport function decodeInspectionRequest(input: unknown): Result.Result<InspectionRequest, InspectionCodecError> {\n    const decoded = strictDecodeRequest(input);\n    return Result.isFailure(decoded)\n        ? Result.fail(Object.freeze({\n            code: \"inspection-request-invalid\" as const,\n            reason: String(decoded.failure),\n        }))\n        : Result.succeed(decoded.success);\n}\n/** JSON value accepted at the final machine-delivery boundary. */\nexport type InspectionJson = null | boolean | number | string | readonly InspectionJson[] | {\n    readonly [key: string]: InspectionJson;\n};\nexport type InspectionSourceProvenance = {\n    readonly kind: \"project-record\" | \"external-record\";\n    readonly publicationCutoffIdentity: string;\n};\nexport type InspectionFailureCode = \"inspection-request-invalid\" | \"inspection-selection-missing\" | \"inspection-source-invalid\" | \"inspection-record-integrity-failure\" | \"inspection-operation-failed\" | \"inspection-result-invalid\" | \"evidence-budget-exceeded\" | \"restart-required\";\nexport function closeInspectionJson(value: unknown): InspectionJson | InspectionCodecError {\n    const seen = new Set<object>();\n    const close = (current: unknown, path: readonly string[]): InspectionJson | InspectionCodecError => {\n        if (current === null || typeof current === \"string\" || typeof current === \"boolean\")\n            return current;\n        if (typeof current === \"number\") {\n            return Number.isFinite(current) ? current : invalidResult(path, \"numbers must be finite\");\n        }\n        if (Array.isArray(current)) {\n            if (seen.has(current))\n                return invalidResult(path, \"cyclic arrays are not encodable\");\n            seen.add(current);\n            const output: InspectionJson[] = [];\n            for (const [index, entry] of current.entries()) {\n                const closed = close(entry, [...path, String(index)]);\n                if (isCodecError(closed))\n                    return closed;\n                output.push(closed);\n            }\n            seen.delete(current);\n            return Object.freeze(output);\n        }\n        if (typeof current !== \"object\" || current === null)\n            return invalidResult(path, `unsupported ${typeof current} value`);\n        if (seen.has(current))\n            return invalidResult(path, \"cyclic objects are not encodable\");\n        const prototype = Object.getPrototypeOf(current);\n        if (prototype !== Object.prototype && prototype !== null)\n            return invalidResult(path, \"only plain objects may cross Inspection delivery\");\n        seen.add(current);\n        const output: Record<string, InspectionJson> = Object.create(null);\n        for (const key of Object.keys(current).sort(compareCodeUnits)) {\n            const closed = close(Reflect.get(current, key), [...path, key]);\n            if (isCodecError(closed))\n                return closed;\n            output[key] = closed;\n        }\n        seen.delete(current);\n        return Object.freeze(output);\n    };\n    return close(value, []);\n}\nfunction invalidResult(path: readonly string[], reason: string): InspectionCodecError {\n    const error = Object.freeze({ code: \"inspection-result-invalid\" as const, reason: `${path.length === 0 ? \"$\" : path.join(\".\")}: ${reason}` });\n    inspectionCodecErrors.add(error);\n    return error;\n}\nexport function isInspectionCodecError(value: InspectionJson | InspectionCodecError): value is InspectionCodecError {\n    return isObject(value) && inspectionCodecErrors.has(value);\n}\nconst isCodecError = isInspectionCodecError;\nfunction isObject(value: unknown): value is Record<string, unknown> {\n    return typeof value === \"object\" && value !== null && !Array.isArray(value);\n}\nfunction compareCodeUnits(left: string, right: string): number {\n    return left < right ? -1 : left > right ? 1 : 0;\n}\n"]}

package/dist/inspection/codec.d.cts

@@ -15,7 +15,7 @@ export type InspectionJson = null | boolean | number | string | readonly Inspect
 };
 export type InspectionSourceProvenance = {
     readonly kind: "project-record" | "external-record";
-    readonly sealedCutoffIdentity: string;
+    readonly publicationCutoffIdentity: string;
 };
 export type InspectionFailureCode = "inspection-request-invalid" | "inspection-selection-missing" | "inspection-source-invalid" | "inspection-record-integrity-failure" | "inspection-operation-failed" | "inspection-result-invalid" | "evidence-budget-exceeded" | "restart-required";
 export declare function closeInspectionJson(value: unknown): InspectionJson | InspectionCodecError;

package/dist/inspection/codec.d.mts

@@ -15,7 +15,7 @@ export type InspectionJson = null | boolean | number | string | readonly Inspect
 };
 export type InspectionSourceProvenance = {
     readonly kind: "project-record" | "external-record";
-    readonly sealedCutoffIdentity: string;
+    readonly publicationCutoffIdentity: string;
 };
 export type InspectionFailureCode = "inspection-request-invalid" | "inspection-selection-missing" | "inspection-source-invalid" | "inspection-record-integrity-failure" | "inspection-operation-failed" | "inspection-result-invalid" | "evidence-budget-exceeded" | "restart-required";
 export declare function closeInspectionJson(value: unknown): InspectionJson | InspectionCodecError;

package/dist/inspection/codec.d.ts

@@ -15,7 +15,7 @@ export type InspectionJson = null | boolean | number | string | readonly Inspect
 };
 export type InspectionSourceProvenance = {
     readonly kind: "project-record" | "external-record";
-    readonly sealedCutoffIdentity: string;
+    readonly publicationCutoffIdentity: string;
 };
 export type InspectionFailureCode = "inspection-request-invalid" | "inspection-selection-missing" | "inspection-source-invalid" | "inspection-record-integrity-failure" | "inspection-operation-failed" | "inspection-result-invalid" | "evidence-budget-exceeded" | "restart-required";
 export declare function closeInspectionJson(value: unknown): InspectionJson | InspectionCodecError;

package/dist/inspection/facts.cjs

@@ -6,6 +6,7 @@ exports.loadInspectionRunResource = loadInspectionRunResource;
 exports.decodeInspectionRun = decodeInspectionRun;
 exports.resolveInspectionAttempt = resolveInspectionAttempt;
 exports.resolveInspectionMemberAttempt = resolveInspectionMemberAttempt;
+exports.resolveInspectionResourceMemberAttempt = resolveInspectionResourceMemberAttempt;
 exports.attemptAttachment = attemptAttachment;
 exports.runAttachment = runAttachment;
 exports.readInspectionAssertions = readInspectionAssertions;
@@ -50,10 +51,15 @@ function loadInspectionRuns(source) {
     const cutoff = source.cutoff();
     const summaries = [];
     const seen = new Set();
+    let expectedRunCount;
     let afterRunId = "";
     for (;;) {
         const page = source.readSealedRunSummaryPage(afterRunId, RUN_PAGE_SIZE, cutoff.identity);
-        requireCutoff(page.cutoff, cutoff);
+        if (page.cutoff.identity !== cutoff.identity ||
+            expectedRunCount !== undefined && page.cutoff.runCount !== expectedRunCount) {
+            throw factsError("Run inventory changed its pinned cutoff or count");
+        }
+        expectedRunCount ??= page.cutoff.runCount;
         if (page.afterRunId !== afterRunId) {
             throw factsError("Run pagination returned a different cursor");
         }
@@ -75,7 +81,7 @@ function loadInspectionRuns(source) {
         }
         afterRunId = page.nextAfterRunId;
     }
-    if (summaries.length !== cutoff.runCount) {
+    if (summaries.length !== expectedRunCount) {
         throw factsError("Run pagination did not close the pinned sealed cutoff");
     }
     return Object.freeze(summaries.map((summary) => {
@@ -105,13 +111,52 @@ function loadInspectionRunResource(source, runId) {
     if (resource === undefined)
         return undefined;
     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`);
-    }
     if (published !== undefined)
         validateRunResourceCore(resource, published);
-    return Object.freeze({ source, resource, ...(published === undefined ? {} : { published }) });
+    const originIds = resource.slots.flatMap(({ publication }) => publication.state === "published" ? [publication.originRunId] : []);
+    const supporting = loadSelectedInspectionRuns(source, [
+        ...(published === undefined ? [] : [runId]), ...originIds,
+    ]);
+    const index = memberIndex(supporting);
+    const publications = new Map(supporting.flatMap((origin) => origin.physical.attempts.map((attempt) => [
+        `${origin.run.runId}\u0000${attempt.attemptId}`, attempt,
+    ])));
+    const members = resource.slots.flatMap(({ slotId, publication }) => {
+        if (publication.state === "pending")
+            return [];
+        if (publication.state === "absent") {
+            return [decodedRight((0, core_ts_1.decodeMemberDocument)({
+                    slotId,
+                    action: publication.reason === "interrupted-before-publication" || publication.reason === "dispatch-failed"
+                        ? "interrupted" : "not-dispatched",
+                    attempt: null,
+                    absenceReason: publication.reason,
+                }), "Run resource absence is invalid")];
+        }
+        const origin = index.origins.get(publication.originRunId);
+        const attempt = origin?.attempts.get(publication.attemptId);
+        const stored = publications.get(`${publication.originRunId}\u0000${publication.attemptId}`);
+        if (attempt === undefined || stored === undefined ||
+            attempt.slotId !== publication.originSlotId ||
+            stored.attemptLocator !== publication.attemptLocator ||
+            stored.publicationIdentity?.originRunId !== publication.publicationIdentity.originRunId ||
+            stored.publicationIdentity?.attemptId !== publication.publicationIdentity.attemptId ||
+            stored.publicationIdentity?.revision !== publication.publicationIdentity.revision ||
+            publication.publicationIdentity.originRunId !== publication.originRunId ||
+            publication.publicationIdentity.attemptId !== publication.attemptId ||
+            publication.action === "executed" && publication.originRunId !== runId) {
+            throw factsError(`Run ${runId} Slot ${slotId} does not bind a matching published origin Attempt`);
+        }
+        return [decodedRight((0, core_ts_1.decodeMemberDocument)({
+                slotId, action: publication.action,
+                attempt: { originRunId: publication.originRunId, attemptId: publication.attemptId },
+            }), "Run resource binding is invalid")];
+    }).sort((left, right) => compareText(left.slotId, right.slotId));
+    requireCutoff(source.cutoff(), cutoff);
+    return Object.freeze({
+        source, resource, members: Object.freeze(members), supporting,
+        ...(published === undefined ? {} : { published }),
+    });
 }
 function validateRunResourceCore(resource, published) {
     const run = published.run;
@@ -306,6 +351,18 @@ function resolveInspectionMemberAttempt(runs, target, member) {
         return undefined;
     return Object.freeze({ attempt, origin: origin.run, locator: (0, attempt_locator_ts_1.encodeAttemptLocator)(attempt.attemptId), targets });
 }
+/** A target binding does not require the target to have published its own Run Core. */
+function resolveInspectionResourceMemberAttempt(target, member) {
+    if (member.attempt === null)
+        return undefined;
+    const index = memberIndex(target.supporting);
+    const origin = index.origins.get(member.attempt.originRunId);
+    const attempt = origin?.attempts.get(member.attempt.attemptId);
+    if (origin === undefined || attempt === undefined)
+        return undefined;
+    const targets = index.targets.get(attempt.originRunId)?.get(attempt.attemptId) ?? [];
+    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" &&
         physical.ownerAttemptId === resolved.attempt.attemptId &&
@@ -466,8 +523,8 @@ function targetMembers(run, attempt) {
         member.attempt.attemptId === attempt.attemptId);
 }
 function requireCutoff(actual, expected) {
-    if (actual.identity !== expected.identity ||
-        actual.runCount !== expected.runCount) {
+    if (actual.storeGeneration !== expected.storeGeneration ||
+        actual.revision !== expected.revision) {
         throw factsError("Inspection source changed its pinned sealed cutoff");
     }
 }

package/dist/inspection/facts.cjs.map

@@ -1 +1 @@
-{"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"]}
+{"version":3,"file":"facts.js","sourceRoot":"","sources":["facts.ts"],"names":[],"mappings":";;AAqFA,gDA4CC;AAED,gEAUC;AAED,8DAoDC;AAqBD,kDA0EC;AAID,4DAiDC;AAwCD,wEAaC;AAED,wFAUC;AACD,8CAIC;AACD,sCAEC;AAKD,4DA+BC;AApcD,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;AA6C9C,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,gBAAoC,CAAC;IACzC,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,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,MAAM,CAAC,QAAQ;YACxC,gBAAgB,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,KAAK,gBAAgB,EAAE,CAAC;YAC9E,MAAM,UAAU,CAAC,kDAAkD,CAAC,CAAC;QACzE,CAAC;QACD,gBAAgB,KAAK,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC;QAC1C,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,gBAAgB,EAAE,CAAC;QACxC,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,IAAI,SAAS,KAAK,SAAS;QACvB,uBAAuB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IACjD,MAAM,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,WAAW,CAAC,KAAK,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAClI,MAAM,UAAU,GAAG,0BAA0B,CAAC,MAAM,EAAE;QAClD,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,SAAS;KAC5D,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC;IACtC,MAAM,YAAY,GAAG,IAAI,GAAG,CAA4C,UAAU,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;QAC7I,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,SAAS,OAAO,CAAC,SAAS,EAAE,EAAE,OAAO;KAClD,CAAC,CAAC,CAAC,CAAC;IACd,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,EAA6B,EAAE;QAC1F,IAAI,WAAW,CAAC,KAAK,KAAK,SAAS;YAC/B,OAAO,EAAE,CAAC;QACd,IAAI,WAAW,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YACjC,OAAO,CAAC,YAAY,CAAC,IAAA,8BAAoB,EAAC;oBAClC,MAAM;oBACN,MAAM,EAAE,WAAW,CAAC,MAAM,KAAK,gCAAgC,IAAI,WAAW,CAAC,MAAM,KAAK,iBAAiB;wBACvG,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,gBAAgB;oBACtC,OAAO,EAAE,IAAI;oBACb,aAAa,EAAE,WAAW,CAAC,MAAM;iBACpC,CAAC,EAAE,iCAAiC,CAAC,CAAC,CAAC;QAChD,CAAC;QACD,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;QAC1D,MAAM,OAAO,GAAG,MAAM,EAAE,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;QAC5D,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,GAAG,WAAW,CAAC,WAAW,SAAS,WAAW,CAAC,SAAS,EAAE,CAAC,CAAC;QAC5F,IAAI,OAAO,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;YAC7C,OAAO,CAAC,MAAM,KAAK,WAAW,CAAC,YAAY;YAC3C,MAAM,CAAC,cAAc,KAAK,WAAW,CAAC,cAAc;YACpD,MAAM,CAAC,mBAAmB,EAAE,WAAW,KAAK,WAAW,CAAC,mBAAmB,CAAC,WAAW;YACvF,MAAM,CAAC,mBAAmB,EAAE,SAAS,KAAK,WAAW,CAAC,mBAAmB,CAAC,SAAS;YACnF,MAAM,CAAC,mBAAmB,EAAE,QAAQ,KAAK,WAAW,CAAC,mBAAmB,CAAC,QAAQ;YACjF,WAAW,CAAC,mBAAmB,CAAC,WAAW,KAAK,WAAW,CAAC,WAAW;YACvE,WAAW,CAAC,mBAAmB,CAAC,SAAS,KAAK,WAAW,CAAC,SAAS;YACnE,WAAW,CAAC,MAAM,KAAK,UAAU,IAAI,WAAW,CAAC,WAAW,KAAK,KAAK,EAAE,CAAC;YACzE,MAAM,UAAU,CAAC,OAAO,KAAK,SAAS,MAAM,oDAAoD,CAAC,CAAC;QACtG,CAAC;QACD,OAAO,CAAC,YAAY,CAAC,IAAA,8BAAoB,EAAC;gBAClC,MAAM,EAAE,MAAM,EAAE,WAAW,CAAC,MAAM;gBAClC,OAAO,EAAE,EAAE,WAAW,EAAE,WAAW,CAAC,WAAW,EAAE,SAAS,EAAE,WAAW,CAAC,SAAS,EAAE;aACtF,CAAC,EAAE,iCAAiC,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IACjE,aAAa,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,MAAM,CAAC,CAAC;IACvC,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,UAAU;QAC7D,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC;KACpD,CAAC,CAAC;AACP,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,uFAAuF;AACvF,SAAgB,sCAAsC,CAAC,MAAmC,EAAE,MAAsB;IAC9G,IAAI,MAAM,CAAC,OAAO,KAAK,IAAI;QACvB,OAAO,SAAS,CAAC;IACrB,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAC7C,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;QAC7C,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,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,MAAkD,EAAE,QAAoD;IAC3H,IAAI,MAAM,CAAC,eAAe,KAAK,QAAQ,CAAC,eAAe;QACnD,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, 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 members: readonly MemberDocument[];\n    readonly supporting: readonly LoadedInspectionRun[];\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 expectedRunCount: number | undefined;\n    let afterRunId = \"\";\n    for (;;) {\n        const page = source.readSealedRunSummaryPage(afterRunId, RUN_PAGE_SIZE, cutoff.identity);\n        if (page.cutoff.identity !== cutoff.identity ||\n            expectedRunCount !== undefined && page.cutoff.runCount !== expectedRunCount) {\n            throw factsError(\"Run inventory changed its pinned cutoff or count\");\n        }\n        expectedRunCount ??= page.cutoff.runCount;\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 !== expectedRunCount) {\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    if (published !== undefined)\n        validateRunResourceCore(resource, published);\n    const originIds = resource.slots.flatMap(({ publication }) => publication.state === \"published\" ? [publication.originRunId] : []);\n    const supporting = loadSelectedInspectionRuns(source, [\n        ...(published === undefined ? [] : [runId]), ...originIds,\n    ]);\n    const index = memberIndex(supporting);\n    const publications = new Map<string, SealedRunCore[\"attempts\"][number]>(supporting.flatMap((origin) => origin.physical.attempts.map((attempt) => [\n        `${origin.run.runId}\\u0000${attempt.attemptId}`, attempt,\n    ] as const)));\n    const members = resource.slots.flatMap(({ slotId, publication }): readonly MemberDocument[] => {\n        if (publication.state === \"pending\")\n            return [];\n        if (publication.state === \"absent\") {\n            return [decodedRight(decodeMemberDocument({\n                    slotId,\n                    action: publication.reason === \"interrupted-before-publication\" || publication.reason === \"dispatch-failed\"\n                        ? \"interrupted\" : \"not-dispatched\",\n                    attempt: null,\n                    absenceReason: publication.reason,\n                }), \"Run resource absence is invalid\")];\n        }\n        const origin = index.origins.get(publication.originRunId);\n        const attempt = origin?.attempts.get(publication.attemptId);\n        const stored = publications.get(`${publication.originRunId}\\u0000${publication.attemptId}`);\n        if (attempt === undefined || stored === undefined ||\n            attempt.slotId !== publication.originSlotId ||\n            stored.attemptLocator !== publication.attemptLocator ||\n            stored.publicationIdentity?.originRunId !== publication.publicationIdentity.originRunId ||\n            stored.publicationIdentity?.attemptId !== publication.publicationIdentity.attemptId ||\n            stored.publicationIdentity?.revision !== publication.publicationIdentity.revision ||\n            publication.publicationIdentity.originRunId !== publication.originRunId ||\n            publication.publicationIdentity.attemptId !== publication.attemptId ||\n            publication.action === \"executed\" && publication.originRunId !== runId) {\n            throw factsError(`Run ${runId} Slot ${slotId} does not bind a matching published origin Attempt`);\n        }\n        return [decodedRight(decodeMemberDocument({\n                slotId, action: publication.action,\n                attempt: { originRunId: publication.originRunId, attemptId: publication.attemptId },\n            }), \"Run resource binding is invalid\")];\n    }).sort((left, right) => compareText(left.slotId, right.slotId));\n    requireCutoff(source.cutoff(), cutoff);\n    return Object.freeze({\n        source, resource, members: Object.freeze(members), supporting,\n        ...(published === undefined ? {} : { published }),\n    });\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}\n/** A target binding does not require the target to have published its own Run Core. */\nexport function resolveInspectionResourceMemberAttempt(target: LoadedInspectionRunResource, member: MemberDocument): ResolvedInspectionAttempt | undefined {\n    if (member.attempt === null)\n        return undefined;\n    const index = memberIndex(target.supporting);\n    const origin = index.origins.get(member.attempt.originRunId);\n    const attempt = origin?.attempts.get(member.attempt.attemptId);\n    if (origin === undefined || attempt === undefined)\n        return undefined;\n    const targets = index.targets.get(attempt.originRunId)?.get(attempt.attemptId) ?? [];\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: ReturnType<InspectionFactSource[\"cutoff\"]>, expected: ReturnType<InspectionFactSource[\"cutoff\"]>): void {\n    if (actual.storeGeneration !== expected.storeGeneration ||\n        actual.revision !== expected.revision) {\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

@@ -21,6 +21,8 @@ export interface LoadedInspectionRun {
 export interface LoadedInspectionRunResource {
     readonly source: InspectionFactSource;
     readonly resource: ReadableRunResource;
+    readonly members: readonly MemberDocument[];
+    readonly supporting: readonly LoadedInspectionRun[];
     readonly published?: LoadedInspectionRun;
 }
 export interface InspectionAttemptTarget {
@@ -60,6 +62,8 @@ export declare function decodeInspectionRun(source: InspectionFactSource, physic
 export declare function resolveInspectionAttempt(source: InspectionFactSource, locator: string): ResolvedInspectionAttempt | undefined;
 /** Resolves already loaded facts through one shared identity index. */
 export declare function resolveInspectionMemberAttempt(runs: readonly LoadedInspectionRun[], target: LoadedInspectionRun, member: MemberDocument): ResolvedInspectionAttempt | undefined;
+/** A target binding does not require the target to have published its own Run Core. */
+export declare function resolveInspectionResourceMemberAttempt(target: LoadedInspectionRunResource, member: MemberDocument): ResolvedInspectionAttempt | undefined;
 export declare function attemptAttachment(resolved: ResolvedInspectionAttempt, family: string): DecodedInspectionAttachment | undefined;
 export declare function runAttachment(run: LoadedInspectionRun, family: string): DecodedInspectionAttachment | undefined;
 /** Reads only the current logical Assertions family, preserving failure state. */

package/dist/inspection/facts.d.mts

@@ -21,6 +21,8 @@ export interface LoadedInspectionRun {
 export interface LoadedInspectionRunResource {
     readonly source: InspectionFactSource;
     readonly resource: ReadableRunResource;
+    readonly members: readonly MemberDocument[];
+    readonly supporting: readonly LoadedInspectionRun[];
     readonly published?: LoadedInspectionRun;
 }
 export interface InspectionAttemptTarget {
@@ -60,6 +62,8 @@ export declare function decodeInspectionRun(source: InspectionFactSource, physic
 export declare function resolveInspectionAttempt(source: InspectionFactSource, locator: string): ResolvedInspectionAttempt | undefined;
 /** Resolves already loaded facts through one shared identity index. */
 export declare function resolveInspectionMemberAttempt(runs: readonly LoadedInspectionRun[], target: LoadedInspectionRun, member: MemberDocument): ResolvedInspectionAttempt | undefined;
+/** A target binding does not require the target to have published its own Run Core. */
+export declare function resolveInspectionResourceMemberAttempt(target: LoadedInspectionRunResource, member: MemberDocument): ResolvedInspectionAttempt | undefined;
 export declare function attemptAttachment(resolved: ResolvedInspectionAttempt, family: string): DecodedInspectionAttachment | undefined;
 export declare function runAttachment(run: LoadedInspectionRun, family: string): DecodedInspectionAttachment | undefined;
 /** Reads only the current logical Assertions family, preserving failure state. */

package/dist/inspection/facts.d.ts

@@ -21,6 +21,8 @@ export interface LoadedInspectionRun {
 export interface LoadedInspectionRunResource {
     readonly source: InspectionFactSource;
     readonly resource: ReadableRunResource;
+    readonly members: readonly MemberDocument[];
+    readonly supporting: readonly LoadedInspectionRun[];
     readonly published?: LoadedInspectionRun;
 }
 export interface InspectionAttemptTarget {
@@ -60,6 +62,8 @@ export declare function decodeInspectionRun(source: InspectionFactSource, physic
 export declare function resolveInspectionAttempt(source: InspectionFactSource, locator: string): ResolvedInspectionAttempt | undefined;
 /** Resolves already loaded facts through one shared identity index. */
 export declare function resolveInspectionMemberAttempt(runs: readonly LoadedInspectionRun[], target: LoadedInspectionRun, member: MemberDocument): ResolvedInspectionAttempt | undefined;
+/** A target binding does not require the target to have published its own Run Core. */
+export declare function resolveInspectionResourceMemberAttempt(target: LoadedInspectionRunResource, member: MemberDocument): ResolvedInspectionAttempt | undefined;
 export declare function attemptAttachment(resolved: ResolvedInspectionAttempt, family: string): DecodedInspectionAttachment | undefined;
 export declare function runAttachment(run: LoadedInspectionRun, family: string): DecodedInspectionAttachment | undefined;
 /** Reads only the current logical Assertions family, preserving failure state. */

package/dist/inspection/facts.js

@@ -17,6 +17,8 @@ const __niceevalExport6 = __niceevalCanonical["resolveInspectionAttempt"];
 export { __niceevalExport6 as resolveInspectionAttempt };
 const __niceevalExport7 = __niceevalCanonical["resolveInspectionMemberAttempt"];
 export { __niceevalExport7 as resolveInspectionMemberAttempt };
-const __niceevalExport8 = __niceevalCanonical["runAttachment"];
-export { __niceevalExport8 as runAttachment };
+const __niceevalExport8 = __niceevalCanonical["resolveInspectionResourceMemberAttempt"];
+export { __niceevalExport8 as resolveInspectionResourceMemberAttempt };
+const __niceevalExport9 = __niceevalCanonical["runAttachment"];
+export { __niceevalExport9 as runAttachment };
 //# sourceMappingURL=facts.js.map