niceeval 0.18.0 → 0.19.0

package/dist/inspection/protocol-values.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"protocol-values.js","sourceRoot":"","sources":["protocol-values.ts"],"names":[],"mappings":";;;AAAa,QAAA,cAAc,GAAG,mBAA4B,CAAC;AAC3D,6EAA6E;AAChE,QAAA,2BAA2B,GAAG,OAAgB,CAAC","sourcesContent":["export const QUERY_PROTOCOL = \"niceeval.query/v1\" as const;\n/** Selector semantics revision; independent from the wire protocol major. */\nexport const INSPECTION_BEHAVIOR_VERSION = \"2.0.0\" as const;\n"]}
+{"version":3,"file":"protocol-values.js","sourceRoot":"","sources":["protocol-values.ts"],"names":[],"mappings":";;;AAAa,QAAA,cAAc,GAAG,mBAA4B,CAAC;AAC3D,6EAA6E;AAChE,QAAA,2BAA2B,GAAG,OAAgB,CAAC","sourcesContent":["export const QUERY_PROTOCOL = \"niceeval.query/v2\" as const;\n/** Selector semantics revision; independent from the wire protocol major. */\nexport const INSPECTION_BEHAVIOR_VERSION = \"2.0.0\" as const;\n"]}

package/dist/inspection/protocol-values.d.cts

@@ -1,3 +1,3 @@
-export declare const QUERY_PROTOCOL: "niceeval.query/v1";
+export declare const QUERY_PROTOCOL: "niceeval.query/v2";
 /** Selector semantics revision; independent from the wire protocol major. */
 export declare const INSPECTION_BEHAVIOR_VERSION: "2.0.0";

package/dist/inspection/protocol-values.d.mts

@@ -1,3 +1,3 @@
-export declare const QUERY_PROTOCOL: "niceeval.query/v1";
+export declare const QUERY_PROTOCOL: "niceeval.query/v2";
 /** Selector semantics revision; independent from the wire protocol major. */
 export declare const INSPECTION_BEHAVIOR_VERSION: "2.0.0";

package/dist/inspection/protocol-values.d.ts

@@ -1,3 +1,3 @@
-export declare const QUERY_PROTOCOL: "niceeval.query/v1";
+export declare const QUERY_PROTOCOL: "niceeval.query/v2";
 /** Selector semantics revision; independent from the wire protocol major. */
 export declare const INSPECTION_BEHAVIOR_VERSION: "2.0.0";

package/dist/inspection/protocol.cjs

@@ -4,7 +4,7 @@ exports.InspectionDocumentSchema = exports.InspectionFailureDocumentSchema = exp
 exports.decodeInspectionDocument = decodeInspectionDocument;
 exports.narrowInspectionSuccess = narrowInspectionSuccess;
 exports.narrowInspectionExplanation = narrowInspectionExplanation;
-// @concord-file ne-eval-inspection-protocol
+// @concord-file
 // @concord-implements docs/feature/inspection/README.md
 // @concord-implements docs/feature/inspection/architecture.md
 // @concord-implements docs/feature/inspection/use-case/inspection-check-completeness.md
@@ -13,7 +13,7 @@ const codec_ts_1 = require("../assertions/record/codec.cjs");
 const attempt_locator_ts_1 = require("../attempt-locator.cjs");
 const identifiers_ts_1 = require("../record/codec/identifiers.cjs");
 const artifacts_ts_1 = require("./artifacts.cjs");
-const core_ts_1 = require("../record/codec/core.cjs");
+const planned_attempt_ts_1 = require("./planned-attempt.cjs");
 const artifact_list_ts_1 = require("./artifact-list.cjs");
 const model_ts_1 = require("../record/family/source-receipt/model.cjs");
 const protocol_values_ts_1 = require("./protocol-values.cjs");
@@ -68,13 +68,13 @@ const ArtifactsResultSchema = effect_1.Schema.Union([
     }),
 ]);
 const ComparisonMemberSchema = effect_1.Schema.Struct({
-    key: effect_1.Schema.String, runId: effect_1.Schema.String, slotId: effect_1.Schema.String, evalId: effect_1.Schema.String,
+    key: effect_1.Schema.String, runId: effect_1.Schema.String, plannedAttemptId: effect_1.Schema.String, evalId: effect_1.Schema.String,
     attemptOrdinal: effect_1.Schema.Number, locator: effect_1.Schema.String,
 });
 const RunsCompareResultSchema = effect_1.Schema.Struct({
     mode: effect_1.Schema.Literals(["side-by-side", "exact", "paired"]),
-    left: effect_1.Schema.Struct({ runs: effect_1.Schema.Array(core_ts_1.RunDocumentSchema), members: effect_1.Schema.Array(ComparisonMemberSchema) }),
-    right: effect_1.Schema.Struct({ runs: effect_1.Schema.Array(core_ts_1.RunDocumentSchema), members: effect_1.Schema.Array(ComparisonMemberSchema) }),
+    left: effect_1.Schema.Struct({ runs: effect_1.Schema.Array(planned_attempt_ts_1.InspectionRunCoreSchema), members: effect_1.Schema.Array(ComparisonMemberSchema) }),
+    right: effect_1.Schema.Struct({ runs: effect_1.Schema.Array(planned_attempt_ts_1.InspectionRunCoreSchema), members: effect_1.Schema.Array(ComparisonMemberSchema) }),
     exactMemberSet: effect_1.Schema.Boolean,
     pairs: effect_1.Schema.Array(effect_1.Schema.Struct({ key: effect_1.Schema.String, left: ComparisonMemberSchema, right: ComparisonMemberSchema })),
 });
@@ -83,10 +83,10 @@ const spec = (fields) => Object.freeze(fields);
 exports.inspectionProtocolRegistry = Object.freeze({
     "project.get": spec({ request: operation("project.get", { experimentIds: effect_1.Schema.optional(ProjectExperimentIdsSchema) }), result: { project: project_result_ts_1.InspectionProjectResultSchema }, factKinds: ["current-project", "core", "assertions", "attempt-cost"] }),
     "overview.get": spec({ request: operation("overview.get", { runIds: effect_1.Schema.optional(RunIdsSchema) }), result: { overview: results_ts_1.InspectionOverviewResultSchema }, factKinds: ["core", "assertions", "attempt-cost"] }),
-    "experiment.get": spec({ request: operation("experiment.get", { experimentId: identifiers_ts_1.ExperimentIdSchema }), result: { experiment: results_ts_1.InspectionExperimentResultSchema }, factKinds: ["core", "assertions", "attempt-cost", "agent-turns", "adapter-usage", "judge-usage"] }),
+    "experiment.get": spec({ request: operation("experiment.get", { experimentId: identifiers_ts_1.ExperimentIdSchema }), result: { experiment: results_ts_1.InspectionExperimentResultSchema }, factKinds: ["core", "attempt-note", "assertions", "attempt-cost", "agent-turns", "adapter-usage", "judge-usage"] }),
     "run.list": spec({ request: operation("run.list", { continuation: effect_1.Schema.optional(effect_1.Schema.String) }), result: { runs: results_ts_1.InspectionRunListResultSchema, continuation: effect_1.Schema.optional(effect_1.Schema.String) }, factKinds: ["core"] }),
     "run.get": spec({ request: operation("run.get", { runId: identifiers_ts_1.RunIdSchema }), result: { run: results_ts_1.InspectionRunResultSchema }, factKinds: ["core", "assertions", "agent-turns", "adapter-usage", "judge-usage"] }),
-    "attempt.get": spec({ request: operation("attempt.get", { locator: AttemptLocatorSchema }), result: { attempt: results_ts_1.InspectionAttemptResultSchema }, factKinds: ["core", "assertions"] }),
+    "attempt.get": spec({ request: operation("attempt.get", { locator: AttemptLocatorSchema }), result: { attempt: results_ts_1.InspectionAttemptResultSchema }, factKinds: ["core", "assertions", "attempt-note"] }),
     "attempt.assertion.detail": spec({ request: operation("attempt.assertion.detail", { locator: AttemptLocatorSchema, entryId: codec_ts_1.AssertionEntryIdSchema }), result: { assertion: assertion_projection_ts_1.AssertionDetailResultSchema }, factKinds: ["assertions", "agent-turns", "sources"] }),
     "attempt.assertion.image": spec({ request: operation("attempt.assertion.image", { locator: AttemptLocatorSchema,
             entryId: codec_ts_1.AssertionEntryIdSchema, imageId: effect_1.Schema.String,
@@ -167,7 +167,7 @@ exports.InspectionDocumentSchema = effect_1.Schema.Union([
     exports.InspectionDiscoveryDocumentSchema, exports.InspectionSuccessDocumentSchema,
     exports.InspectionExplanationDocumentSchema, exports.InspectionFailureDocumentSchema,
 ]);
-// @concord-code ne-eval-inspection-decode-document
+// @concord-code
 // @concord-implements docs/feature/inspection/architecture.md
 function decodeInspectionDocument(input) {
     const decoded = effect_1.Schema.decodeUnknownResult(exports.InspectionDocumentSchema, { errors: "all", onExcessProperty: "error" })(input);

package/dist/inspection/protocol.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"protocol.js","sourceRoot":"","sources":["protocol.ts"],"names":[],"mappings":";;;AAoNA,4DAKC;AACD,0DAIC;AACD,kEAIC;AAnOD,4CAA4C;AAC5C,wDAAwD;AACxD,8DAA8D;AAC9D,wFAAwF;AACxF,mCAAwC;AACxC,4DAAuE;AACvE,8DAAgE;AAChE,mEAAmG;AACnG,iDAA+H;AAC/H,qDAA4D;AAC5D,yDAA0I;AAC1I,uEAAqG;AACrG,6DAAmF;AACnF,uEAAwE;AACxE,2DAAoE;AACpE,6CAAqY;AACrY,MAAM,oBAAoB,GAAG,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,4CAAuB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,UAAU,EAAE,gBAAgB,EAAE,WAAW,EAAE,wCAAwC,EAAE,CAAC,CAAC,CAAC;AACzN,MAAM,YAAY,GAAG,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,KAAK,CAAC,eAAM,CAAC,UAAU,CAAC,mBAAQ,CAAC,CAAC,CAAC,CAAC;AACnF,MAAM,sBAAsB,GAAG,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,KAAK,CAAC,eAAM,CAAC,UAAU,CAAC,6BAAkB,CAAC,CAAC,CAAC,CAAC;AACvG,MAAM,eAAe,GAAG,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,KAAK,CAAC,eAAM,CAAC,UAAU,CAAC,sBAAW,CAAC,CAAC,CAAC,CAAC;AACzF,MAAM,YAAY,GAAG,eAAM,CAAC,KAAK,CAAC,4BAAW,CAAC,CAAC;AAC/C,MAAM,0BAA0B,GAAG,eAAM,CAAC,KAAK,CAAC,mCAAkB,CAAC,CAAC,KAAK,CAAC,eAAM,CAAC,UAAU,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;AAC1J,MAAM,SAAS,GAAG,CAA2D,IAAU,EAAE,MAAc,EAAE,EAAE,CAAC,eAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,eAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;AACrK,MAAM,YAAY,GAAG,eAAM,CAAC,MAAM,CAAC;IAC/B,IAAI,EAAE,eAAM,CAAC,QAAQ,CAAC,CAAC,gBAAgB,EAAE,iBAAiB,CAAC,CAAC,EAAE,yBAAyB,EAAE,eAAM,CAAC,MAAM;CACzG,CAAC,CAAC;AACH,MAAM,uBAAuB,GAAG,eAAM,CAAC,MAAM,CAAC;IAC1C,eAAe,EAAE,eAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,eAAM,CAAC,MAAM,CAAC,KAAK,CAAC,eAAM,CAAC,KAAK,EAAE,EAAE,eAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;CAClH,CAAC,CAAC;AACH,MAAM,eAAe,GAAG,eAAM,CAAC,MAAM,CAAC;IAClC,eAAe,EAAE,eAAM,CAAC,KAAK,CAAC,eAAM,CAAC,MAAM,CAAC,EAAE,cAAc,EAAE,eAAM,CAAC,KAAK,CAAC,eAAM,CAAC,MAAM,CAAC,EAAE,aAAa,EAAE,eAAM,CAAC,KAAK,CAAC,eAAM,CAAC,MAAM,CAAC;CACxI,CAAC,CAAC;AACH,MAAM,qBAAqB,GAAG,eAAM,CAAC,MAAM,CAAC;IACxC,QAAQ,EAAE,eAAM,CAAC,OAAO,CAAC,mCAAc,CAAC,EAAE,OAAO,EAAE,eAAM,CAAC,OAAO,CAAC,SAAS,CAAC;IAC5E,eAAe,EAAE,eAAM,CAAC,OAAO,CAAC,gDAA2B,CAAC;IAC5D,MAAM,EAAE,YAAY,EAAE,iBAAiB,EAAE,uBAAuB,EAAE,SAAS,EAAE,eAAe;IAC5F,MAAM,EAAE,eAAM,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,eAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,eAAM,CAAC,KAAK,CAAC,eAAM,CAAC,MAAM,CAAC,EAAE,CAAC;CAC3F,CAAC,CAAC;AACH,MAAM,6BAA6B,GAAG,eAAM,CAAC,MAAM,CAAC;IAChD,QAAQ,EAAE,eAAM,CAAC,OAAO,CAAC,mCAAc,CAAC,EAAE,OAAO,EAAE,eAAM,CAAC,OAAO,CAAC,SAAS,CAAC;IAC5E,eAAe,EAAE,eAAM,CAAC,OAAO,CAAC,gDAA2B,CAAC;IAC5D,MAAM,EAAE,YAAY;IACpB,iBAAiB,EAAE,uBAAuB;IAC1C,SAAS,EAAE,eAAM,CAAC,MAAM,CAAC;QACrB,eAAe,EAAE,eAAM,CAAC,KAAK,CAAC,eAAM,CAAC,MAAM,CAAC,EAAE,cAAc,EAAE,eAAM,CAAC,KAAK,CAAC,eAAM,CAAC,MAAM,CAAC,EAAE,aAAa,EAAE,eAAM,CAAC,KAAK,CAAC,eAAM,CAAC,MAAM,CAAC;QACrI,gBAAgB,EAAE,eAAM,CAAC,MAAM,EAAE,SAAS,EAAE,eAAM,CAAC,OAAO;KAC7D,CAAC;IACF,MAAM,EAAE,eAAM,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,eAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,eAAM,CAAC,KAAK,CAAC,eAAM,CAAC,MAAM,CAAC,EAAE,CAAC;CAC3F,CAAC,CAAC;AACH,MAAM,kBAAkB,GAAG,eAAM,CAAC,KAAK,CAAC;IACpC,eAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,eAAM,CAAC,OAAO,CAAC,uBAAuB,CAAC,EAAE,IAAI,EAAE,eAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,eAAM,CAAC,MAAM,EAAE,CAAC;IAChI,eAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,eAAM,CAAC,OAAO,CAAC,gCAAgC,CAAC,EAAE,CAAC;CAC5E,CAAC,CAAC;AACH,MAAM,4BAA4B,GAAG,qBAAqB,CAAC,IAAI,CAAC,eAAM,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,eAAM,CAAC,KAAK,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC,CAAC;AACnI,MAAM,qBAAqB,GAAG,eAAM,CAAC,KAAK,CAAC;IACvC,eAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,eAAM,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC;IACxD,eAAM,CAAC,MAAM,CAAC;QACV,KAAK,EAAE,eAAM,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,KAAK,EAAE,iDAA8B;QACzE,UAAU,EAAE,eAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,eAAM,CAAC,QAAQ,CAAC,CAAC,eAAe,EAAE,cAAc,CAAC,CAAC,EAAE,KAAK,EAAE,eAAM,CAAC,KAAK,CAAC,mDAAgC,CAAC,EAAE,OAAO,EAAE,eAAM,CAAC,OAAO,EAAE,UAAU,EAAE,eAAM,CAAC,MAAM,CAAC,6CAA8B,CAAC,EAAE,KAAK,EAAE,6CAA8B,EAAE,CAAC;QAC1Q,QAAQ,EAAE,eAAM,CAAC,KAAK,CAAC,eAAM,CAAC,MAAM,CAAC,EAAE,aAAa,EAAE,eAAM,CAAC,MAAM,EAAE,UAAU,EAAE,eAAM,CAAC,MAAM,EAAE,MAAM,EAAE,eAAM,CAAC,MAAM,EAAE,CAAC,CAAC;QACzH,iBAAiB,EAAE,eAAM,CAAC,OAAO;KACpC,CAAC;CACL,CAAC,CAAC;AACH,MAAM,sBAAsB,GAAG,eAAM,CAAC,MAAM,CAAC;IACzC,GAAG,EAAE,eAAM,CAAC,MAAM,EAAE,KAAK,EAAE,eAAM,CAAC,MAAM,EAAE,MAAM,EAAE,eAAM,CAAC,MAAM,EAAE,MAAM,EAAE,eAAM,CAAC,MAAM;IACtF,cAAc,EAAE,eAAM,CAAC,MAAM,EAAE,OAAO,EAAE,eAAM,CAAC,MAAM;CACxD,CAAC,CAAC;AACH,MAAM,uBAAuB,GAAG,eAAM,CAAC,MAAM,CAAC;IAC1C,IAAI,EAAE,eAAM,CAAC,QAAQ,CAAC,CAAC,cAAc,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC1D,IAAI,EAAE,eAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,eAAM,CAAC,KAAK,CAAC,2BAAiB,CAAC,EAAE,OAAO,EAAE,eAAM,CAAC,KAAK,CAAC,sBAAsB,CAAC,EAAE,CAAC;IAC7G,KAAK,EAAE,eAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,eAAM,CAAC,KAAK,CAAC,2BAAiB,CAAC,EAAE,OAAO,EAAE,eAAM,CAAC,KAAK,CAAC,sBAAsB,CAAC,EAAE,CAAC;IAC9G,cAAc,EAAE,eAAM,CAAC,OAAO;IAC9B,KAAK,EAAE,eAAM,CAAC,KAAK,CAAC,eAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,eAAM,CAAC,MAAM,EAAE,IAAI,EAAE,sBAAsB,EAAE,KAAK,EAAE,sBAAsB,EAAE,CAAC,CAAC;CAC1H,CAAC,CAAC;AACH,MAAM,IAAI,GAAG,CAA0H,MAItI,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAC5B,sHAAsH;AACzG,QAAA,0BAA0B,GAAG,MAAM,CAAC,MAAM,CAAC;IACpD,aAAa,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,aAAa,EAAE,EAAE,aAAa,EAAE,eAAM,CAAC,QAAQ,CAAC,0BAA0B,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,iDAA6B,EAAE,EAAE,SAAS,EAAE,CAAC,iBAAiB,EAAE,MAAM,EAAE,YAAY,EAAE,cAAc,CAAC,EAAE,CAAC;IACpP,cAAc,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,cAAc,EAAE,EAAE,MAAM,EAAE,eAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,2CAA8B,EAAE,EAAE,SAAS,EAAE,CAAC,MAAM,EAAE,YAAY,EAAE,cAAc,CAAC,EAAE,CAAC;IAChN,gBAAgB,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,gBAAgB,EAAE,EAAE,YAAY,EAAE,mCAAkB,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,UAAU,EAAE,6CAAgC,EAAE,EAAE,SAAS,EAAE,CAAC,MAAM,EAAE,YAAY,EAAE,cAAc,EAAE,aAAa,EAAE,eAAe,EAAE,aAAa,CAAC,EAAE,CAAC;IAClQ,UAAU,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,UAAU,EAAE,EAAE,YAAY,EAAE,eAAM,CAAC,QAAQ,CAAC,eAAM,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,0CAA6B,EAAE,YAAY,EAAE,eAAM,CAAC,QAAQ,CAAC,eAAM,CAAC,MAAM,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;IAC1N,SAAS,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,SAAS,EAAE,EAAE,KAAK,EAAE,4BAAW,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,sCAAyB,EAAE,EAAE,SAAS,EAAE,CAAC,MAAM,EAAE,YAAY,EAAE,aAAa,EAAE,eAAe,EAAE,aAAa,CAAC,EAAE,CAAC;IACxM,aAAa,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,aAAa,EAAE,EAAE,OAAO,EAAE,oBAAoB,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,0CAA6B,EAAE,EAAE,SAAS,EAAE,CAAC,MAAM,EAAE,YAAY,CAAC,EAAE,CAAC;IACpL,0BAA0B,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,0BAA0B,EAAE,EAAE,OAAO,EAAE,oBAAoB,EAAE,OAAO,EAAE,iCAAsB,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,SAAS,EAAE,qDAA2B,EAAE,EAAE,SAAS,EAAE,CAAC,YAAY,EAAE,aAAa,EAAE,SAAS,CAAC,EAAE,CAAC;IACjQ,yBAAyB,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,yBAAyB,EAAE,EAAE,OAAO,EAAE,oBAAoB;YACvG,OAAO,EAAE,iCAAsB,EAAE,OAAO,EAAE,eAAM,CAAC,MAAM;YACvD,MAAM,EAAE,eAAM,CAAC,QAAQ,CAAC,6CAA8B,CAAC,EAAE,KAAK,EAAE,eAAM,CAAC,QAAQ,CAAC,4CAA6B,CAAC,EAAE,CAAC;QACrH,MAAM,EAAE,EAAE,KAAK,EAAE,eAAM,CAAC,KAAK,CAAC;gBACtB,eAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,eAAM,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,OAAO,EAAE,eAAM,CAAC,MAAM,EAAE,SAAS,EAAE,eAAM,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC;oBAC/H,UAAU,EAAE,eAAM,CAAC,MAAM,EAAE,MAAM,EAAE,eAAM,CAAC,MAAM,EAAE,MAAM,EAAE,eAAM,CAAC,MAAM,EAAE,MAAM,EAAE,eAAM,CAAC,MAAM,EAAE,UAAU,EAAE,eAAM,CAAC,MAAM,CAAC,eAAM,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC/I,eAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,eAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,eAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,eAAM,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC;aAChH,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC;IAC1C,eAAe,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,eAAe,EAAE;YACpD,OAAO,EAAE,oBAAoB;YAC7B,OAAO,EAAE,eAAM,CAAC,QAAQ,CAAC,eAAM,CAAC,MAAM,CAAC;YACvC,QAAQ,EAAE,eAAM,CAAC,QAAQ,CAAC,eAAM,CAAC,MAAM,CAAC;YACxC,OAAO,EAAE,eAAM,CAAC,QAAQ,CAAC,eAAM,CAAC,MAAM,CAAC;YACvC,SAAS,EAAE,eAAM,CAAC,QAAQ,CAAC,eAAM,CAAC,MAAM,CAAC;YACzC,YAAY,EAAE,eAAM,CAAC,QAAQ,CAAC,eAAM,CAAC,MAAM,CAAC;SAC/C,CAAC,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,wCAA2B,EAAE,EAAE,SAAS,EAAE,CAAC,kBAAkB,EAAE,aAAa,EAAE,eAAe,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,oBAAoB,CAAC,EAAE,CAAC;IACzL,sBAAsB,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,sBAAsB,EAAE,EAAE,OAAO,EAAE,oBAAoB,EAAE,QAAQ,EAAE,eAAM,CAAC,KAAK,CAAC;gBACtH,SAAS,CAAC,iBAAiB,EAAE,EAAE,OAAO,EAAE,eAAM,CAAC,MAAM,EAAE,CAAC;gBACxD,SAAS,CAAC,oBAAoB,EAAE;oBAC5B,UAAU,EAAE,eAAM,CAAC,MAAM;oBACzB,MAAM,EAAE,eAAM,CAAC,QAAQ,CAAC,6CAA8B,CAAC;oBACvD,KAAK,EAAE,eAAM,CAAC,QAAQ,CAAC,4CAA6B,CAAC;iBACxD,CAAC;gBACF,SAAS,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;gBAC3C,SAAS,CAAC,iBAAiB,EAAE,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,CAAC;gBAC1E,SAAS,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,eAAe,EAAE,CAAC;aACvD,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,8CAAiC,EAAE,EAAE,SAAS,EAAE,CAAC,kBAAkB,EAAE,aAAa,EAAE,kBAAkB,EAAE,WAAW,CAAC,EAAE,CAAC;IACxJ,gBAAgB,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,gBAAgB,EAAE,EAAE,OAAO,EAAE,oBAAoB,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,gDAAmC,EAAE,EAAE,SAAS,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC;IAC9L,eAAe,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,eAAe,EAAE,EAAE,OAAO,EAAE,oBAAoB,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,+CAAkC,EAAE,EAAE,SAAS,EAAE,CAAC,aAAa,EAAE,eAAe,EAAE,aAAa,CAAC,EAAE,CAAC;IACpN,cAAc,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,cAAc,EAAE,EAAE,OAAO,EAAE,oBAAoB,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,8CAAiC,EAAE,EAAE,SAAS,EAAE,CAAC,cAAc,CAAC,EAAE,CAAC;IACjL,iBAAiB,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,iBAAiB,EAAE,EAAE,OAAO,EAAE,oBAAoB,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,0CAA6B,EAAE,EAAE,SAAS,EAAE,CAAC,YAAY,EAAE,SAAS,CAAC,EAAE,CAAC;IAC/L,mBAAmB,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,mBAAmB,EAAE,EAAE,OAAO,EAAE,oBAAoB,EAAE,MAAM,EAAE,eAAM,CAAC,QAAQ,CAAC,6CAA8B,CAAC,EAAE,KAAK,EAAE,eAAM,CAAC,QAAQ,CAAC,qDAAkC,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,SAAS,EAAE,qBAAqB,EAAE,EAAE,SAAS,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC;IACtS,kBAAkB,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,kBAAkB,EAAE,EAAE,OAAO,EAAE,oBAAoB,EAAE,UAAU,EAAE,iCAAgB,EAAE,MAAM,EAAE,eAAM,CAAC,QAAQ,CAAC,6CAA8B,CAAC,EAAE,KAAK,EAAE,eAAM,CAAC,QAAQ,CAAC,4CAA6B,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,6CAA8B,EAAE,EAAE,SAAS,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC;IACrU,cAAc,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,cAAc,EAAE,EAAE,IAAI,EAAE,eAAM,CAAC,QAAQ,CAAC,CAAC,cAAc,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,UAAU,EAAE,uBAAuB,EAAE,EAAE,SAAS,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;CAC1P,CAAC,CAAC;AAEU,QAAA,wBAAwB,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,kCAA0B,CAA4B,CAAC,CAAC;AAC7G,QAAA,2BAA2B,GAAG,eAAM,CAAC,QAAQ,CAAC,gCAAwB,CAAC,CAAC;AACrF,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,kCAA0B,CAAC,CAAC;AAC5C,QAAA,uBAAuB,GAAG,eAAM,CAAC,MAAM,CAAC;IACjD,QAAQ,EAAE,eAAM,CAAC,OAAO,CAAC,mCAAc,CAAC;IACxC,SAAS,EAAE,eAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;CACnE,CAAC,CAAC;AAMH,MAAM,aAAa,GAAG,CAAC,EAAyB,EAAE,KAAiE,EAAqE,EAAE;IACtL,MAAM,MAAM,GAAG,eAAM,CAAC,YAAY,CAAC,EAAE,SAAS,EAAE,eAAM,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IACvF,MAAM,MAAM,GAAG,EAAE,KAAK,UAAU,CAAC,CAAC,CAAC,6BAA6B,CAAC,IAAI,CAAC,MAAM,CAAC;QACzE,CAAC,CAAC,EAAE,KAAK,cAAc,CAAC,CAAC,CAAC,4BAA4B,CAAC,IAAI,CAAC,MAAM,CAAC;YAC/D,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC7C,+EAA+E;IAC/E,OAAO,MAAsF,CAAC;AAClG,CAAC,CAAC;AACW,QAAA,+BAA+B,GAA+F,eAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,EAA2B,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;AACvO,MAAM,iBAAiB,GAAG,CAAC,EAAyB,EAAE,KAAiE,EAAE,EAAE;IACvH,MAAM,MAAM,GAAG,eAAM,CAAC,YAAY,CAAC;QAC/B,OAAO,EAAE,eAAM,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,SAAS,EAAE,eAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACrE,SAAS,EAAE,eAAM,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,eAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;KACjF,CAAC,CAAC;IACH,IAAI,EAAE,KAAK,UAAU;QACjB,OAAO,6BAA6B,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACtD,OAAO,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC9C,CAAC,CAAC;AACW,QAAA,mCAAmC,GAAG,eAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,EAA2B,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;AACnJ,MAAM,gBAAgB,GAAG,eAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,eAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,eAAM,CAAC,OAAO,CAAC,EAA2B,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAClH,QAAA,iCAAiC,GAAG,eAAM,CAAC,MAAM,CAAC;IAC3D,QAAQ,EAAE,eAAM,CAAC,OAAO,CAAC,mCAAc,CAAC,EAAE,OAAO,EAAE,eAAM,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,UAAU,EAAE,eAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC;CAC7H,CAAC,CAAC;AACU,QAAA,+BAA+B,GAAG,eAAM,CAAC,MAAM,CAAC;IACzD,QAAQ,EAAE,eAAM,CAAC,OAAO,CAAC,mCAAc,CAAC,EAAE,OAAO,EAAE,eAAM,CAAC,OAAO,CAAC,SAAS,CAAC;IAC5E,SAAS,EAAE,eAAM,CAAC,MAAM,CAAC,mCAA2B,CAAC;IACrD,OAAO,EAAE,eAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,eAAM,CAAC,QAAQ,CAAC,CAAC,4BAA4B,EAAE,8BAA8B,EAAE,2BAA2B,EAAE,qCAAqC,EAAE,6BAA6B,EAAE,2BAA2B,EAAE,0BAA0B,EAAE,kBAAkB,EAAE,4BAA4B,CAAC,CAAC;QACnS,MAAM,EAAE,eAAM,CAAC,MAAM;QACrB,QAAQ,EAAE,eAAM,CAAC,QAAQ,CAAC,eAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,eAAM,CAAC,MAAM,EAAE,CAAC,CAAC;QAClE,UAAU,EAAE,eAAM,CAAC,QAAQ,CAAC,CAAC,aAAa,EAAE,2BAA2B,EAAE,mBAAmB,EAAE,OAAO,EAAE,mBAAmB,EAAE,SAAS,CAAC,CAAC;KAC1I,CAAC;CACL,CAAC,CAAC;AACU,QAAA,wBAAwB,GAKhC,eAAM,CAAC,KAAK,CAAC;IACd,yCAAiC,EAAE,uCAA+B;IAClE,2CAAmC,EAAE,uCAA+B;CACvE,CAAC,CAAC;AAiCH,mDAAmD;AACnD,8DAA8D;AAC9D,SAAgB,wBAAwB,CAAC,KAAc;IACnD,MAAM,OAAO,GAAG,eAAM,CAAC,mBAAmB,CAAC,gCAAwB,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,gBAAgB,EAAE,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;IAC1H,OAAO,eAAM,CAAC,SAAS,CAAC,OAAO,CAAC;QAC5B,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAA2B,EAAE;QACvD,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;AAC9D,CAAC;AACD,SAAgB,uBAAuB,CAAqC,QAA4B,EAAE,WAAiB;IACvH,OAAO,QAAQ,CAAC,OAAO,KAAK,SAAS,IAAI,QAAQ,CAAC,SAAS,KAAK,WAAW;QACvE,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAA8C,EAAE;QAC1E,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,oBAAoB,WAAW,cAAc,QAAQ,CAAC,OAAO,GAAG,WAAW,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC;AAChK,CAAC;AACD,SAAgB,2BAA2B,CAAqC,QAA4B,EAAE,WAAiB;IAC3H,OAAO,QAAQ,CAAC,OAAO,KAAK,aAAa,IAAI,QAAQ,CAAC,SAAS,KAAK,WAAW;QAC3E,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAkD,EAAE;QAC9E,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,wBAAwB,WAAW,cAAc,QAAQ,CAAC,OAAO,GAAG,WAAW,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC;AACpK,CAAC","sourcesContent":["// @concord-file ne-eval-inspection-protocol\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 { AssertionEntryIdSchema } from \"../assertions/record/codec.ts\";\nimport { ATTEMPT_LOCATOR_PATTERN } from \"../attempt-locator.ts\";\nimport { ArtifactIdSchema, ExperimentIdSchema, RunIdSchema } from \"../record/codec/identifiers.ts\";\nimport { InspectionArtifactLimitSchema, InspectionArtifactOffsetSchema, InspectionArtifactResultSchema } from \"./artifacts.ts\";\nimport { RunDocumentSchema } from \"../record/codec/core.ts\";\nimport { InspectionArtifactMetadataSchema, InspectionArtifactsPageLimitSchema, InspectionArtifactsValueSchema } from \"./artifact-list.ts\";\nimport { isCommandId, isItemId, isToolOccurrenceId } from \"../record/family/source-receipt/model.ts\";\nimport { INSPECTION_BEHAVIOR_VERSION, QUERY_PROTOCOL } from \"./protocol-values.ts\";\nimport { AssertionDetailResultSchema } from \"./assertion-projection.ts\";\nimport { InspectionProjectResultSchema } from \"./project-result.ts\";\nimport { InspectionAttemptDiffResultSchema, InspectionAttemptResultSchema, InspectionAttemptTimingResultSchema, InspectionAttemptUsageResultSchema, InspectionExperimentResultSchema, InspectionOverviewResultSchema, InspectionRunResultSchema, InspectionRunListResultSchema, InspectionSourcesResultSchema, InspectionTraceDetailResultSchema, InspectionTraceResultSchema, } from \"./results.ts\";\nconst AttemptLocatorSchema = Schema.String.pipe(Schema.refine((value): value is string => ATTEMPT_LOCATOR_PATTERN.test(value), { identifier: \"AttemptLocator\", description: \"a canonical @-prefixed Attempt locator\" }));\nconst ItemIdSchema = Schema.String.pipe(Schema.check(Schema.makeFilter(isItemId)));\nconst ToolOccurrenceIdSchema = Schema.String.pipe(Schema.check(Schema.makeFilter(isToolOccurrenceId)));\nconst CommandIdSchema = Schema.String.pipe(Schema.check(Schema.makeFilter(isCommandId)));\nconst RunIdsSchema = Schema.Array(RunIdSchema);\nconst ProjectExperimentIdsSchema = Schema.Array(ExperimentIdSchema).check(Schema.makeFilter((ids) => ids.length > 0 && new Set(ids).size === ids.length));\nconst operation = <Kind extends string, Fields extends Schema.Struct.Fields>(kind: Kind, fields: Fields) => Schema.Struct({ kind: Schema.Literal(kind), ...fields });\nconst SourceSchema = Schema.Struct({\n    kind: Schema.Literals([\"project-record\", \"external-record\"]), publicationCutoffIdentity: Schema.String,\n});\nconst PublicationCutoffSchema = Schema.Struct({\n    storeGeneration: Schema.String, revision: Schema.Number.check(Schema.isInt(), Schema.isGreaterThanOrEqualTo(0)),\n});\nconst SelectionSchema = Schema.Struct({\n    requestedRunIds: Schema.Array(Schema.String), selectedRunIds: Schema.Array(Schema.String), missingRunIds: Schema.Array(Schema.String),\n});\nconst SuccessMetadataSchema = Schema.Struct({\n    protocol: Schema.Literal(QUERY_PROTOCOL), outcome: Schema.Literal(\"success\"),\n    behaviorVersion: Schema.Literal(INSPECTION_BEHAVIOR_VERSION),\n    source: SourceSchema, publicationCutoff: PublicationCutoffSchema, selection: SelectionSchema,\n    issues: Schema.Tuple([]), evidence: Schema.Struct({ refs: Schema.Array(Schema.String) }),\n});\nconst RunsListSuccessMetadataSchema = Schema.Struct({\n    protocol: Schema.Literal(QUERY_PROTOCOL), outcome: Schema.Literal(\"success\"),\n    behaviorVersion: Schema.Literal(INSPECTION_BEHAVIOR_VERSION),\n    source: SourceSchema,\n    publicationCutoff: PublicationCutoffSchema,\n    selection: Schema.Struct({\n        requestedRunIds: Schema.Array(Schema.String), selectedRunIds: Schema.Array(Schema.String), missingRunIds: Schema.Array(Schema.String),\n        returnedRunCount: Schema.Number, truncated: Schema.Boolean,\n    }),\n    issues: Schema.Tuple([]), evidence: Schema.Struct({ refs: Schema.Array(Schema.String) }),\n});\nconst CompareIssueSchema = Schema.Union([\n    Schema.Struct({ code: Schema.Literal(\"selection-run-missing\"), side: Schema.Literals([\"left\", \"right\"]), runId: Schema.String }),\n    Schema.Struct({ code: Schema.Literal(\"comparison-member-set-mismatch\") }),\n]);\nconst CompareSuccessMetadataSchema = SuccessMetadataSchema.pipe(Schema.fieldsAssign({ issues: Schema.Array(CompareIssueSchema) }));\nconst ArtifactsResultSchema = Schema.Union([\n    Schema.Struct({ state: Schema.Literal(\"not-recorded\") }),\n    Schema.Struct({\n        state: Schema.Literal(\"available\"), value: InspectionArtifactsValueSchema,\n        collection: Schema.Struct({ state: Schema.Literals([\"complete-page\", \"bounded-page\"]), items: Schema.Array(InspectionArtifactMetadataSchema), hasMore: Schema.Boolean, nextOffset: Schema.NullOr(InspectionArtifactOffsetSchema), total: InspectionArtifactOffsetSchema }),\n        contents: Schema.Array(Schema.Struct({ logicalHandle: Schema.String, byteLength: Schema.Number, digest: Schema.String })),\n        contentsTruncated: Schema.Boolean,\n    }),\n]);\nconst ComparisonMemberSchema = Schema.Struct({\n    key: Schema.String, runId: Schema.String, slotId: Schema.String, evalId: Schema.String,\n    attemptOrdinal: Schema.Number, locator: Schema.String,\n});\nconst RunsCompareResultSchema = Schema.Struct({\n    mode: Schema.Literals([\"side-by-side\", \"exact\", \"paired\"]),\n    left: Schema.Struct({ runs: Schema.Array(RunDocumentSchema), members: Schema.Array(ComparisonMemberSchema) }),\n    right: Schema.Struct({ runs: Schema.Array(RunDocumentSchema), members: Schema.Array(ComparisonMemberSchema) }),\n    exactMemberSet: Schema.Boolean,\n    pairs: Schema.Array(Schema.Struct({ key: Schema.String, left: ComparisonMemberSchema, right: ComparisonMemberSchema })),\n});\nconst spec = <Request extends Schema.Constraint, ResultFields extends Schema.Struct.Fields, const FactKinds extends readonly string[]>(fields: {\n    readonly request: Request;\n    readonly result: ResultFields;\n    readonly factKinds: FactKinds;\n}) => Object.freeze(fields);\n/** The sole protocol catalog owner. Every request, result and descriptor projection is derived from this registry. */\nexport const inspectionProtocolRegistry = Object.freeze({\n    \"project.get\": spec({ request: operation(\"project.get\", { experimentIds: Schema.optional(ProjectExperimentIdsSchema) }), result: { project: InspectionProjectResultSchema }, factKinds: [\"current-project\", \"core\", \"assertions\", \"attempt-cost\"] }),\n    \"overview.get\": spec({ request: operation(\"overview.get\", { runIds: Schema.optional(RunIdsSchema) }), result: { overview: InspectionOverviewResultSchema }, factKinds: [\"core\", \"assertions\", \"attempt-cost\"] }),\n    \"experiment.get\": spec({ request: operation(\"experiment.get\", { experimentId: ExperimentIdSchema }), result: { experiment: InspectionExperimentResultSchema }, factKinds: [\"core\", \"assertions\", \"attempt-cost\", \"agent-turns\", \"adapter-usage\", \"judge-usage\"] }),\n    \"run.list\": spec({ request: operation(\"run.list\", { continuation: Schema.optional(Schema.String) }), result: { runs: InspectionRunListResultSchema, continuation: Schema.optional(Schema.String) }, factKinds: [\"core\"] }),\n    \"run.get\": spec({ request: operation(\"run.get\", { runId: RunIdSchema }), result: { run: InspectionRunResultSchema }, factKinds: [\"core\", \"assertions\", \"agent-turns\", \"adapter-usage\", \"judge-usage\"] }),\n    \"attempt.get\": spec({ request: operation(\"attempt.get\", { locator: AttemptLocatorSchema }), result: { attempt: InspectionAttemptResultSchema }, factKinds: [\"core\", \"assertions\"] }),\n    \"attempt.assertion.detail\": spec({ request: operation(\"attempt.assertion.detail\", { locator: AttemptLocatorSchema, entryId: AssertionEntryIdSchema }), result: { assertion: AssertionDetailResultSchema }, factKinds: [\"assertions\", \"agent-turns\", \"sources\"] }),\n    \"attempt.assertion.image\": spec({ request: operation(\"attempt.assertion.image\", { locator: AttemptLocatorSchema,\n            entryId: AssertionEntryIdSchema, imageId: Schema.String,\n            offset: Schema.optional(InspectionArtifactOffsetSchema), limit: Schema.optional(InspectionArtifactLimitSchema) }),\n        result: { image: Schema.Union([\n                Schema.Struct({ state: Schema.Literal(\"available\"), imageId: Schema.String, mediaType: Schema.Literals([\"image/png\", \"image/jpeg\"]),\n                    byteLength: Schema.Number, sha256: Schema.String, offset: Schema.Number, base64: Schema.String, nextOffset: Schema.NullOr(Schema.Number) }),\n                Schema.Struct({ state: Schema.Literal(\"invalid\") }), Schema.Struct({ state: Schema.Literal(\"not-recorded\") }),\n            ]) }, factKinds: [\"assertions\"] }),\n    \"attempt.trace\": spec({ request: operation(\"attempt.trace\", {\n            locator: AttemptLocatorSchema,\n            traceId: Schema.optional(Schema.String),\n            sourceId: Schema.optional(Schema.String),\n            actorId: Schema.optional(Schema.String),\n            eventType: Schema.optional(Schema.String),\n            continuation: Schema.optional(Schema.String),\n        }), result: { trace: InspectionTraceResultSchema }, factKinds: [\"execution-traces\", \"agent-turns\", \"turn-contexts\", \"sandbox-commands\", \"runner-activities\", \"runner-diagnostics\"] }),\n    \"attempt.trace.detail\": spec({ request: operation(\"attempt.trace.detail\", { locator: AttemptLocatorSchema, selector: Schema.Union([\n                operation(\"execution-event\", { eventId: Schema.String }),\n                operation(\"execution-evidence\", {\n                    evidenceId: Schema.String,\n                    offset: Schema.optional(InspectionArtifactOffsetSchema),\n                    limit: Schema.optional(InspectionArtifactLimitSchema),\n                }),\n                operation(\"item\", { itemId: ItemIdSchema }),\n                operation(\"tool-occurrence\", { toolOccurrenceId: ToolOccurrenceIdSchema }),\n                operation(\"command\", { commandId: CommandIdSchema }),\n            ]) }), result: { detail: InspectionTraceDetailResultSchema }, factKinds: [\"execution-traces\", \"agent-turns\", \"sandbox-commands\", \"artifacts\"] }),\n    \"attempt.timing\": spec({ request: operation(\"attempt.timing\", { locator: AttemptLocatorSchema }), result: { timing: InspectionAttemptTimingResultSchema }, factKinds: [\"runner-activities\"] }),\n    \"attempt.usage\": spec({ request: operation(\"attempt.usage\", { locator: AttemptLocatorSchema }), result: { usage: InspectionAttemptUsageResultSchema }, factKinds: [\"agent-turns\", \"adapter-usage\", \"judge-usage\"] }),\n    \"attempt.diff\": spec({ request: operation(\"attempt.diff\", { locator: AttemptLocatorSchema }), result: { diff: InspectionAttemptDiffResultSchema }, factKinds: [\"file-changes\"] }),\n    \"attempt.sources\": spec({ request: operation(\"attempt.sources\", { locator: AttemptLocatorSchema }), result: { sources: InspectionSourcesResultSchema }, factKinds: [\"assertions\", \"sources\"] }),\n    \"attempt.artifacts\": spec({ request: operation(\"attempt.artifacts\", { locator: AttemptLocatorSchema, offset: Schema.optional(InspectionArtifactOffsetSchema), limit: Schema.optional(InspectionArtifactsPageLimitSchema) }), result: { artifacts: ArtifactsResultSchema }, factKinds: [\"artifacts\"] }),\n    \"attempt.artifact\": spec({ request: operation(\"attempt.artifact\", { locator: AttemptLocatorSchema, artifactId: ArtifactIdSchema, offset: Schema.optional(InspectionArtifactOffsetSchema), limit: Schema.optional(InspectionArtifactLimitSchema) }), result: { artifact: InspectionArtifactResultSchema }, factKinds: [\"artifacts\"] }),\n    \"runs.compare\": spec({ request: operation(\"runs.compare\", { mode: Schema.Literals([\"side-by-side\", \"exact\", \"paired\"]), leftRunIds: RunIdsSchema, rightRunIds: RunIdsSchema }), result: { comparison: RunsCompareResultSchema }, factKinds: [\"core\"] }),\n});\nexport type InspectionOperationId = keyof typeof inspectionProtocolRegistry;\nexport const INSPECTION_OPERATION_IDS = Object.freeze(Object.keys(inspectionProtocolRegistry) as InspectionOperationId[]);\nexport const InspectionOperationIdSchema = Schema.Literals(INSPECTION_OPERATION_IDS);\nconst specs = Object.entries(inspectionProtocolRegistry);\nexport const InspectionRequestSchema = Schema.Struct({\n    protocol: Schema.Literal(QUERY_PROTOCOL),\n    operation: Schema.Union(specs.map(([, entry]) => entry.request)),\n});\nexport type InspectionRequest = Schema.Schema.Type<typeof InspectionRequestSchema>;\nexport type InspectionOperation = InspectionRequest[\"operation\"];\nexport type InspectionOperationFor<Kind extends InspectionOperationId> = Extract<InspectionOperation, {\n    readonly kind: Kind;\n}>;\nconst successSchema = (id: InspectionOperationId, entry: (typeof inspectionProtocolRegistry)[InspectionOperationId]): Schema.Codec<InspectionSuccessDocument, InspectionSuccessEncoded> => {\n    const fields = Schema.fieldsAssign({ operation: Schema.Literal(id), ...entry.result });\n    const schema = id === \"run.list\" ? RunsListSuccessMetadataSchema.pipe(fields)\n        : id === \"runs.compare\" ? CompareSuccessMetadataSchema.pipe(fields)\n            : SuccessMetadataSchema.pipe(fields);\n    // Object.entries erases the ID/result correlation established by the registry.\n    return schema as unknown as Schema.Codec<InspectionSuccessDocument, InspectionSuccessEncoded>;\n};\nexport const InspectionSuccessDocumentSchema: Schema.Union<readonly Schema.Codec<InspectionSuccessDocument, InspectionSuccessEncoded>[]> = Schema.Union(specs.map(([id, entry]) => successSchema(id as InspectionOperationId, entry)));\nconst explanationSchema = (id: InspectionOperationId, entry: (typeof inspectionProtocolRegistry)[InspectionOperationId]) => {\n    const fields = Schema.fieldsAssign({\n        outcome: Schema.Literal(\"explanation\"), operation: Schema.Literal(id),\n        factKinds: Schema.Tuple(entry.factKinds.map((value) => Schema.Literal(value))),\n    });\n    if (id === \"run.list\")\n        return RunsListSuccessMetadataSchema.pipe(fields);\n    return SuccessMetadataSchema.pipe(fields);\n};\nexport const InspectionExplanationDocumentSchema = Schema.Union(specs.map(([id, entry]) => explanationSchema(id as InspectionOperationId, entry)));\nconst DescriptorSchema = Schema.Union(specs.map(([id]) => Schema.Struct({ id: Schema.Literal(id as InspectionOperationId) })));\nexport const InspectionDiscoveryDocumentSchema = Schema.Struct({\n    protocol: Schema.Literal(QUERY_PROTOCOL), outcome: Schema.Literal(\"discovery\"), operations: Schema.Array(DescriptorSchema),\n});\nexport const InspectionFailureDocumentSchema = Schema.Struct({\n    protocol: Schema.Literal(QUERY_PROTOCOL), outcome: Schema.Literal(\"failure\"),\n    operation: Schema.NullOr(InspectionOperationIdSchema),\n    failure: Schema.Struct({\n        code: Schema.Literals([\"inspection-request-invalid\", \"inspection-selection-missing\", \"inspection-source-invalid\", \"inspection-record-integrity-failure\", \"inspection-operation-failed\", \"inspection-result-invalid\", \"evidence-budget-exceeded\", \"restart-required\", \"current-target-unavailable\"]),\n        reason: Schema.String,\n        identity: Schema.optional(Schema.Struct({ runId: Schema.String })),\n        correction: Schema.Literals([\"fix-request\", \"choose-existing-selection\", \"fix-record-source\", \"retry\", \"upgrade-or-report\", \"restart\"]),\n    }),\n});\nexport const InspectionDocumentSchema: Schema.Union<readonly [\n    typeof InspectionDiscoveryDocumentSchema,\n    typeof InspectionSuccessDocumentSchema,\n    typeof InspectionExplanationDocumentSchema,\n    typeof InspectionFailureDocumentSchema\n]> = Schema.Union([\n    InspectionDiscoveryDocumentSchema, InspectionSuccessDocumentSchema,\n    InspectionExplanationDocumentSchema, InspectionFailureDocumentSchema,\n]);\ntype Registry = typeof inspectionProtocolRegistry;\ntype MetadataFor<Kind extends InspectionOperationId> = Kind extends \"run.list\" ? Schema.Schema.Type<typeof RunsListSuccessMetadataSchema> : Kind extends \"runs.compare\" ? Schema.Schema.Type<typeof CompareSuccessMetadataSchema> : Schema.Schema.Type<typeof SuccessMetadataSchema>;\ntype ResultFields<Kind extends InspectionOperationId> = {\n    readonly [Field in keyof Registry[Kind][\"result\"]]: Registry[Kind][\"result\"][Field] extends Schema.Constraint ? Schema.Schema.Type<Registry[Kind][\"result\"][Field]> : never;\n};\nexport type InspectionSuccessDocumentFor<Kind extends InspectionOperationId> = Kind extends InspectionOperationId ? MetadataFor<Kind> & {\n    readonly operation: Kind;\n} & ResultFields<Kind> : never;\nexport type InspectionSuccessDocument = InspectionSuccessDocumentFor<InspectionOperationId>;\ntype SuccessEncodedFor<Kind extends InspectionOperationId> = Kind extends InspectionOperationId ? (Kind extends \"run.list\" ? Schema.Codec.Encoded<typeof RunsListSuccessMetadataSchema> : Kind extends \"runs.compare\" ? Schema.Codec.Encoded<typeof CompareSuccessMetadataSchema> : Schema.Codec.Encoded<typeof SuccessMetadataSchema>) & {\n    readonly operation: Kind;\n} & {\n    readonly [Field in keyof Registry[Kind][\"result\"]]: Registry[Kind][\"result\"][Field] extends Schema.Constraint ? Schema.Codec.Encoded<Registry[Kind][\"result\"][Field]> : never;\n} : never;\ntype InspectionSuccessEncoded = SuccessEncodedFor<InspectionOperationId>;\nexport type InspectionExplanationDocumentFor<Kind extends InspectionOperationId> = Kind extends InspectionOperationId ? Omit<MetadataFor<Kind>, \"outcome\"> & {\n    readonly outcome: \"explanation\";\n    readonly operation: Kind;\n    readonly factKinds: Registry[Kind][\"factKinds\"];\n} : never;\nexport type InspectionExplanationDocument = InspectionExplanationDocumentFor<InspectionOperationId>;\nexport type InspectionOperationDocument = InspectionSuccessDocument | InspectionExplanationDocument;\nexport type InspectionDiscoveryDocument = Schema.Schema.Type<typeof InspectionDiscoveryDocumentSchema>;\nexport type InspectionFailureDocument = Schema.Schema.Type<typeof InspectionFailureDocumentSchema>;\nexport type InspectionDocument = InspectionDiscoveryDocument | InspectionOperationDocument | InspectionFailureDocument;\nexport type InspectionProtocolDecodeResult<A> = {\n    readonly success: true;\n    readonly value: A;\n} | {\n    readonly success: false;\n    readonly reason: string;\n};\n// @concord-code ne-eval-inspection-decode-document\n// @concord-implements docs/feature/inspection/architecture.md\nexport function decodeInspectionDocument(input: unknown): InspectionProtocolDecodeResult<InspectionDocument> {\n    const decoded = Schema.decodeUnknownResult(InspectionDocumentSchema, { errors: \"all\", onExcessProperty: \"error\" })(input);\n    return Result.isSuccess(decoded)\n        ? { success: true, value: input as InspectionDocument }\n        : { success: false, reason: String(decoded.failure) };\n}\nexport function narrowInspectionSuccess<Kind extends InspectionOperationId>(document: InspectionDocument, operationId: Kind): InspectionProtocolDecodeResult<InspectionSuccessDocumentFor<Kind>> {\n    return document.outcome === \"success\" && document.operation === operationId\n        ? { success: true, value: document as InspectionSuccessDocumentFor<Kind> }\n        : { success: false, reason: `expected success ${operationId}, received ${document.outcome}${\"operation\" in document ? ` ${document.operation}` : \"\"}` };\n}\nexport function narrowInspectionExplanation<Kind extends InspectionOperationId>(document: InspectionDocument, operationId: Kind): InspectionProtocolDecodeResult<InspectionExplanationDocumentFor<Kind>> {\n    return document.outcome === \"explanation\" && document.operation === operationId\n        ? { success: true, value: document as InspectionExplanationDocumentFor<Kind> }\n        : { success: false, reason: `expected explanation ${operationId}, received ${document.outcome}${\"operation\" in document ? ` ${document.operation}` : \"\"}` };\n}\n"]}
+{"version":3,"file":"protocol.js","sourceRoot":"","sources":["protocol.ts"],"names":[],"mappings":";;;AAoNA,4DAKC;AACD,0DAIC;AACD,kEAIC;AAnOD,gBAAgB;AAChB,wDAAwD;AACxD,8DAA8D;AAC9D,wFAAwF;AACxF,mCAAwC;AACxC,4DAAuE;AACvE,8DAAgE;AAChE,mEAAmG;AACnG,iDAA+H;AAC/H,6DAA+D;AAC/D,yDAA0I;AAC1I,uEAAqG;AACrG,6DAAmF;AACnF,uEAAwE;AACxE,2DAAoE;AACpE,6CAAqY;AACrY,MAAM,oBAAoB,GAAG,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,4CAAuB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,UAAU,EAAE,gBAAgB,EAAE,WAAW,EAAE,wCAAwC,EAAE,CAAC,CAAC,CAAC;AACzN,MAAM,YAAY,GAAG,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,KAAK,CAAC,eAAM,CAAC,UAAU,CAAC,mBAAQ,CAAC,CAAC,CAAC,CAAC;AACnF,MAAM,sBAAsB,GAAG,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,KAAK,CAAC,eAAM,CAAC,UAAU,CAAC,6BAAkB,CAAC,CAAC,CAAC,CAAC;AACvG,MAAM,eAAe,GAAG,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,KAAK,CAAC,eAAM,CAAC,UAAU,CAAC,sBAAW,CAAC,CAAC,CAAC,CAAC;AACzF,MAAM,YAAY,GAAG,eAAM,CAAC,KAAK,CAAC,4BAAW,CAAC,CAAC;AAC/C,MAAM,0BAA0B,GAAG,eAAM,CAAC,KAAK,CAAC,mCAAkB,CAAC,CAAC,KAAK,CAAC,eAAM,CAAC,UAAU,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;AAC1J,MAAM,SAAS,GAAG,CAA2D,IAAU,EAAE,MAAc,EAAE,EAAE,CAAC,eAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,eAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;AACrK,MAAM,YAAY,GAAG,eAAM,CAAC,MAAM,CAAC;IAC/B,IAAI,EAAE,eAAM,CAAC,QAAQ,CAAC,CAAC,gBAAgB,EAAE,iBAAiB,CAAC,CAAC,EAAE,yBAAyB,EAAE,eAAM,CAAC,MAAM;CACzG,CAAC,CAAC;AACH,MAAM,uBAAuB,GAAG,eAAM,CAAC,MAAM,CAAC;IAC1C,eAAe,EAAE,eAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,eAAM,CAAC,MAAM,CAAC,KAAK,CAAC,eAAM,CAAC,KAAK,EAAE,EAAE,eAAM,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;CAClH,CAAC,CAAC;AACH,MAAM,eAAe,GAAG,eAAM,CAAC,MAAM,CAAC;IAClC,eAAe,EAAE,eAAM,CAAC,KAAK,CAAC,eAAM,CAAC,MAAM,CAAC,EAAE,cAAc,EAAE,eAAM,CAAC,KAAK,CAAC,eAAM,CAAC,MAAM,CAAC,EAAE,aAAa,EAAE,eAAM,CAAC,KAAK,CAAC,eAAM,CAAC,MAAM,CAAC;CACxI,CAAC,CAAC;AACH,MAAM,qBAAqB,GAAG,eAAM,CAAC,MAAM,CAAC;IACxC,QAAQ,EAAE,eAAM,CAAC,OAAO,CAAC,mCAAc,CAAC,EAAE,OAAO,EAAE,eAAM,CAAC,OAAO,CAAC,SAAS,CAAC;IAC5E,eAAe,EAAE,eAAM,CAAC,OAAO,CAAC,gDAA2B,CAAC;IAC5D,MAAM,EAAE,YAAY,EAAE,iBAAiB,EAAE,uBAAuB,EAAE,SAAS,EAAE,eAAe;IAC5F,MAAM,EAAE,eAAM,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,eAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,eAAM,CAAC,KAAK,CAAC,eAAM,CAAC,MAAM,CAAC,EAAE,CAAC;CAC3F,CAAC,CAAC;AACH,MAAM,6BAA6B,GAAG,eAAM,CAAC,MAAM,CAAC;IAChD,QAAQ,EAAE,eAAM,CAAC,OAAO,CAAC,mCAAc,CAAC,EAAE,OAAO,EAAE,eAAM,CAAC,OAAO,CAAC,SAAS,CAAC;IAC5E,eAAe,EAAE,eAAM,CAAC,OAAO,CAAC,gDAA2B,CAAC;IAC5D,MAAM,EAAE,YAAY;IACpB,iBAAiB,EAAE,uBAAuB;IAC1C,SAAS,EAAE,eAAM,CAAC,MAAM,CAAC;QACrB,eAAe,EAAE,eAAM,CAAC,KAAK,CAAC,eAAM,CAAC,MAAM,CAAC,EAAE,cAAc,EAAE,eAAM,CAAC,KAAK,CAAC,eAAM,CAAC,MAAM,CAAC,EAAE,aAAa,EAAE,eAAM,CAAC,KAAK,CAAC,eAAM,CAAC,MAAM,CAAC;QACrI,gBAAgB,EAAE,eAAM,CAAC,MAAM,EAAE,SAAS,EAAE,eAAM,CAAC,OAAO;KAC7D,CAAC;IACF,MAAM,EAAE,eAAM,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,eAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,eAAM,CAAC,KAAK,CAAC,eAAM,CAAC,MAAM,CAAC,EAAE,CAAC;CAC3F,CAAC,CAAC;AACH,MAAM,kBAAkB,GAAG,eAAM,CAAC,KAAK,CAAC;IACpC,eAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,eAAM,CAAC,OAAO,CAAC,uBAAuB,CAAC,EAAE,IAAI,EAAE,eAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,eAAM,CAAC,MAAM,EAAE,CAAC;IAChI,eAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,eAAM,CAAC,OAAO,CAAC,gCAAgC,CAAC,EAAE,CAAC;CAC5E,CAAC,CAAC;AACH,MAAM,4BAA4B,GAAG,qBAAqB,CAAC,IAAI,CAAC,eAAM,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,eAAM,CAAC,KAAK,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC,CAAC;AACnI,MAAM,qBAAqB,GAAG,eAAM,CAAC,KAAK,CAAC;IACvC,eAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,eAAM,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC;IACxD,eAAM,CAAC,MAAM,CAAC;QACV,KAAK,EAAE,eAAM,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,KAAK,EAAE,iDAA8B;QACzE,UAAU,EAAE,eAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,eAAM,CAAC,QAAQ,CAAC,CAAC,eAAe,EAAE,cAAc,CAAC,CAAC,EAAE,KAAK,EAAE,eAAM,CAAC,KAAK,CAAC,mDAAgC,CAAC,EAAE,OAAO,EAAE,eAAM,CAAC,OAAO,EAAE,UAAU,EAAE,eAAM,CAAC,MAAM,CAAC,6CAA8B,CAAC,EAAE,KAAK,EAAE,6CAA8B,EAAE,CAAC;QAC1Q,QAAQ,EAAE,eAAM,CAAC,KAAK,CAAC,eAAM,CAAC,MAAM,CAAC,EAAE,aAAa,EAAE,eAAM,CAAC,MAAM,EAAE,UAAU,EAAE,eAAM,CAAC,MAAM,EAAE,MAAM,EAAE,eAAM,CAAC,MAAM,EAAE,CAAC,CAAC;QACzH,iBAAiB,EAAE,eAAM,CAAC,OAAO;KACpC,CAAC;CACL,CAAC,CAAC;AACH,MAAM,sBAAsB,GAAG,eAAM,CAAC,MAAM,CAAC;IACzC,GAAG,EAAE,eAAM,CAAC,MAAM,EAAE,KAAK,EAAE,eAAM,CAAC,MAAM,EAAE,gBAAgB,EAAE,eAAM,CAAC,MAAM,EAAE,MAAM,EAAE,eAAM,CAAC,MAAM;IAChG,cAAc,EAAE,eAAM,CAAC,MAAM,EAAE,OAAO,EAAE,eAAM,CAAC,MAAM;CACxD,CAAC,CAAC;AACH,MAAM,uBAAuB,GAAG,eAAM,CAAC,MAAM,CAAC;IAC1C,IAAI,EAAE,eAAM,CAAC,QAAQ,CAAC,CAAC,cAAc,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC1D,IAAI,EAAE,eAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,eAAM,CAAC,KAAK,CAAC,4CAAuB,CAAC,EAAE,OAAO,EAAE,eAAM,CAAC,KAAK,CAAC,sBAAsB,CAAC,EAAE,CAAC;IACnH,KAAK,EAAE,eAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,eAAM,CAAC,KAAK,CAAC,4CAAuB,CAAC,EAAE,OAAO,EAAE,eAAM,CAAC,KAAK,CAAC,sBAAsB,CAAC,EAAE,CAAC;IACpH,cAAc,EAAE,eAAM,CAAC,OAAO;IAC9B,KAAK,EAAE,eAAM,CAAC,KAAK,CAAC,eAAM,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,eAAM,CAAC,MAAM,EAAE,IAAI,EAAE,sBAAsB,EAAE,KAAK,EAAE,sBAAsB,EAAE,CAAC,CAAC;CAC1H,CAAC,CAAC;AACH,MAAM,IAAI,GAAG,CAA0H,MAItI,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAC5B,sHAAsH;AACzG,QAAA,0BAA0B,GAAG,MAAM,CAAC,MAAM,CAAC;IACpD,aAAa,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,aAAa,EAAE,EAAE,aAAa,EAAE,eAAM,CAAC,QAAQ,CAAC,0BAA0B,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,iDAA6B,EAAE,EAAE,SAAS,EAAE,CAAC,iBAAiB,EAAE,MAAM,EAAE,YAAY,EAAE,cAAc,CAAC,EAAE,CAAC;IACpP,cAAc,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,cAAc,EAAE,EAAE,MAAM,EAAE,eAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,2CAA8B,EAAE,EAAE,SAAS,EAAE,CAAC,MAAM,EAAE,YAAY,EAAE,cAAc,CAAC,EAAE,CAAC;IAChN,gBAAgB,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,gBAAgB,EAAE,EAAE,YAAY,EAAE,mCAAkB,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,UAAU,EAAE,6CAAgC,EAAE,EAAE,SAAS,EAAE,CAAC,MAAM,EAAE,cAAc,EAAE,YAAY,EAAE,cAAc,EAAE,aAAa,EAAE,eAAe,EAAE,aAAa,CAAC,EAAE,CAAC;IAClR,UAAU,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,UAAU,EAAE,EAAE,YAAY,EAAE,eAAM,CAAC,QAAQ,CAAC,eAAM,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,0CAA6B,EAAE,YAAY,EAAE,eAAM,CAAC,QAAQ,CAAC,eAAM,CAAC,MAAM,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;IAC1N,SAAS,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,SAAS,EAAE,EAAE,KAAK,EAAE,4BAAW,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,sCAAyB,EAAE,EAAE,SAAS,EAAE,CAAC,MAAM,EAAE,YAAY,EAAE,aAAa,EAAE,eAAe,EAAE,aAAa,CAAC,EAAE,CAAC;IACxM,aAAa,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,aAAa,EAAE,EAAE,OAAO,EAAE,oBAAoB,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,0CAA6B,EAAE,EAAE,SAAS,EAAE,CAAC,MAAM,EAAE,YAAY,EAAE,cAAc,CAAC,EAAE,CAAC;IACpM,0BAA0B,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,0BAA0B,EAAE,EAAE,OAAO,EAAE,oBAAoB,EAAE,OAAO,EAAE,iCAAsB,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,SAAS,EAAE,qDAA2B,EAAE,EAAE,SAAS,EAAE,CAAC,YAAY,EAAE,aAAa,EAAE,SAAS,CAAC,EAAE,CAAC;IACjQ,yBAAyB,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,yBAAyB,EAAE,EAAE,OAAO,EAAE,oBAAoB;YACvG,OAAO,EAAE,iCAAsB,EAAE,OAAO,EAAE,eAAM,CAAC,MAAM;YACvD,MAAM,EAAE,eAAM,CAAC,QAAQ,CAAC,6CAA8B,CAAC,EAAE,KAAK,EAAE,eAAM,CAAC,QAAQ,CAAC,4CAA6B,CAAC,EAAE,CAAC;QACrH,MAAM,EAAE,EAAE,KAAK,EAAE,eAAM,CAAC,KAAK,CAAC;gBACtB,eAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,eAAM,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,OAAO,EAAE,eAAM,CAAC,MAAM,EAAE,SAAS,EAAE,eAAM,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,YAAY,CAAC,CAAC;oBAC/H,UAAU,EAAE,eAAM,CAAC,MAAM,EAAE,MAAM,EAAE,eAAM,CAAC,MAAM,EAAE,MAAM,EAAE,eAAM,CAAC,MAAM,EAAE,MAAM,EAAE,eAAM,CAAC,MAAM,EAAE,UAAU,EAAE,eAAM,CAAC,MAAM,CAAC,eAAM,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC/I,eAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,eAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,eAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,eAAM,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC;aAChH,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC;IAC1C,eAAe,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,eAAe,EAAE;YACpD,OAAO,EAAE,oBAAoB;YAC7B,OAAO,EAAE,eAAM,CAAC,QAAQ,CAAC,eAAM,CAAC,MAAM,CAAC;YACvC,QAAQ,EAAE,eAAM,CAAC,QAAQ,CAAC,eAAM,CAAC,MAAM,CAAC;YACxC,OAAO,EAAE,eAAM,CAAC,QAAQ,CAAC,eAAM,CAAC,MAAM,CAAC;YACvC,SAAS,EAAE,eAAM,CAAC,QAAQ,CAAC,eAAM,CAAC,MAAM,CAAC;YACzC,YAAY,EAAE,eAAM,CAAC,QAAQ,CAAC,eAAM,CAAC,MAAM,CAAC;SAC/C,CAAC,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,wCAA2B,EAAE,EAAE,SAAS,EAAE,CAAC,kBAAkB,EAAE,aAAa,EAAE,eAAe,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,oBAAoB,CAAC,EAAE,CAAC;IACzL,sBAAsB,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,sBAAsB,EAAE,EAAE,OAAO,EAAE,oBAAoB,EAAE,QAAQ,EAAE,eAAM,CAAC,KAAK,CAAC;gBACtH,SAAS,CAAC,iBAAiB,EAAE,EAAE,OAAO,EAAE,eAAM,CAAC,MAAM,EAAE,CAAC;gBACxD,SAAS,CAAC,oBAAoB,EAAE;oBAC5B,UAAU,EAAE,eAAM,CAAC,MAAM;oBACzB,MAAM,EAAE,eAAM,CAAC,QAAQ,CAAC,6CAA8B,CAAC;oBACvD,KAAK,EAAE,eAAM,CAAC,QAAQ,CAAC,4CAA6B,CAAC;iBACxD,CAAC;gBACF,SAAS,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;gBAC3C,SAAS,CAAC,iBAAiB,EAAE,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,CAAC;gBAC1E,SAAS,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,eAAe,EAAE,CAAC;aACvD,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,8CAAiC,EAAE,EAAE,SAAS,EAAE,CAAC,kBAAkB,EAAE,aAAa,EAAE,kBAAkB,EAAE,WAAW,CAAC,EAAE,CAAC;IACxJ,gBAAgB,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,gBAAgB,EAAE,EAAE,OAAO,EAAE,oBAAoB,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,gDAAmC,EAAE,EAAE,SAAS,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC;IAC9L,eAAe,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,eAAe,EAAE,EAAE,OAAO,EAAE,oBAAoB,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,+CAAkC,EAAE,EAAE,SAAS,EAAE,CAAC,aAAa,EAAE,eAAe,EAAE,aAAa,CAAC,EAAE,CAAC;IACpN,cAAc,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,cAAc,EAAE,EAAE,OAAO,EAAE,oBAAoB,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,8CAAiC,EAAE,EAAE,SAAS,EAAE,CAAC,cAAc,CAAC,EAAE,CAAC;IACjL,iBAAiB,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,iBAAiB,EAAE,EAAE,OAAO,EAAE,oBAAoB,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,0CAA6B,EAAE,EAAE,SAAS,EAAE,CAAC,YAAY,EAAE,SAAS,CAAC,EAAE,CAAC;IAC/L,mBAAmB,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,mBAAmB,EAAE,EAAE,OAAO,EAAE,oBAAoB,EAAE,MAAM,EAAE,eAAM,CAAC,QAAQ,CAAC,6CAA8B,CAAC,EAAE,KAAK,EAAE,eAAM,CAAC,QAAQ,CAAC,qDAAkC,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,SAAS,EAAE,qBAAqB,EAAE,EAAE,SAAS,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC;IACtS,kBAAkB,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,kBAAkB,EAAE,EAAE,OAAO,EAAE,oBAAoB,EAAE,UAAU,EAAE,iCAAgB,EAAE,MAAM,EAAE,eAAM,CAAC,QAAQ,CAAC,6CAA8B,CAAC,EAAE,KAAK,EAAE,eAAM,CAAC,QAAQ,CAAC,4CAA6B,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,6CAA8B,EAAE,EAAE,SAAS,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC;IACrU,cAAc,EAAE,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,cAAc,EAAE,EAAE,IAAI,EAAE,eAAM,CAAC,QAAQ,CAAC,CAAC,cAAc,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,UAAU,EAAE,uBAAuB,EAAE,EAAE,SAAS,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;CAC1P,CAAC,CAAC;AAEU,QAAA,wBAAwB,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,kCAA0B,CAA4B,CAAC,CAAC;AAC7G,QAAA,2BAA2B,GAAG,eAAM,CAAC,QAAQ,CAAC,gCAAwB,CAAC,CAAC;AACrF,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,kCAA0B,CAAC,CAAC;AAC5C,QAAA,uBAAuB,GAAG,eAAM,CAAC,MAAM,CAAC;IACjD,QAAQ,EAAE,eAAM,CAAC,OAAO,CAAC,mCAAc,CAAC;IACxC,SAAS,EAAE,eAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;CACnE,CAAC,CAAC;AAMH,MAAM,aAAa,GAAG,CAAC,EAAyB,EAAE,KAAiE,EAAqE,EAAE;IACtL,MAAM,MAAM,GAAG,eAAM,CAAC,YAAY,CAAC,EAAE,SAAS,EAAE,eAAM,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IACvF,MAAM,MAAM,GAAG,EAAE,KAAK,UAAU,CAAC,CAAC,CAAC,6BAA6B,CAAC,IAAI,CAAC,MAAM,CAAC;QACzE,CAAC,CAAC,EAAE,KAAK,cAAc,CAAC,CAAC,CAAC,4BAA4B,CAAC,IAAI,CAAC,MAAM,CAAC;YAC/D,CAAC,CAAC,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC7C,+EAA+E;IAC/E,OAAO,MAAsF,CAAC;AAClG,CAAC,CAAC;AACW,QAAA,+BAA+B,GAA+F,eAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,EAA2B,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;AACvO,MAAM,iBAAiB,GAAG,CAAC,EAAyB,EAAE,KAAiE,EAAE,EAAE;IACvH,MAAM,MAAM,GAAG,eAAM,CAAC,YAAY,CAAC;QAC/B,OAAO,EAAE,eAAM,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,SAAS,EAAE,eAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACrE,SAAS,EAAE,eAAM,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,eAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;KACjF,CAAC,CAAC;IACH,IAAI,EAAE,KAAK,UAAU;QACjB,OAAO,6BAA6B,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACtD,OAAO,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC9C,CAAC,CAAC;AACW,QAAA,mCAAmC,GAAG,eAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,EAA2B,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;AACnJ,MAAM,gBAAgB,GAAG,eAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,eAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,eAAM,CAAC,OAAO,CAAC,EAA2B,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAClH,QAAA,iCAAiC,GAAG,eAAM,CAAC,MAAM,CAAC;IAC3D,QAAQ,EAAE,eAAM,CAAC,OAAO,CAAC,mCAAc,CAAC,EAAE,OAAO,EAAE,eAAM,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,UAAU,EAAE,eAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC;CAC7H,CAAC,CAAC;AACU,QAAA,+BAA+B,GAAG,eAAM,CAAC,MAAM,CAAC;IACzD,QAAQ,EAAE,eAAM,CAAC,OAAO,CAAC,mCAAc,CAAC,EAAE,OAAO,EAAE,eAAM,CAAC,OAAO,CAAC,SAAS,CAAC;IAC5E,SAAS,EAAE,eAAM,CAAC,MAAM,CAAC,mCAA2B,CAAC;IACrD,OAAO,EAAE,eAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,eAAM,CAAC,QAAQ,CAAC,CAAC,4BAA4B,EAAE,8BAA8B,EAAE,2BAA2B,EAAE,qCAAqC,EAAE,6BAA6B,EAAE,2BAA2B,EAAE,0BAA0B,EAAE,kBAAkB,EAAE,4BAA4B,CAAC,CAAC;QACnS,MAAM,EAAE,eAAM,CAAC,MAAM;QACrB,QAAQ,EAAE,eAAM,CAAC,QAAQ,CAAC,eAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,eAAM,CAAC,MAAM,EAAE,CAAC,CAAC;QAClE,UAAU,EAAE,eAAM,CAAC,QAAQ,CAAC,CAAC,aAAa,EAAE,2BAA2B,EAAE,mBAAmB,EAAE,OAAO,EAAE,mBAAmB,EAAE,SAAS,CAAC,CAAC;KAC1I,CAAC;CACL,CAAC,CAAC;AACU,QAAA,wBAAwB,GAKhC,eAAM,CAAC,KAAK,CAAC;IACd,yCAAiC,EAAE,uCAA+B;IAClE,2CAAmC,EAAE,uCAA+B;CACvE,CAAC,CAAC;AAiCH,gBAAgB;AAChB,8DAA8D;AAC9D,SAAgB,wBAAwB,CAAC,KAAc;IACnD,MAAM,OAAO,GAAG,eAAM,CAAC,mBAAmB,CAAC,gCAAwB,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,gBAAgB,EAAE,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;IAC1H,OAAO,eAAM,CAAC,SAAS,CAAC,OAAO,CAAC;QAC5B,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAA2B,EAAE;QACvD,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;AAC9D,CAAC;AACD,SAAgB,uBAAuB,CAAqC,QAA4B,EAAE,WAAiB;IACvH,OAAO,QAAQ,CAAC,OAAO,KAAK,SAAS,IAAI,QAAQ,CAAC,SAAS,KAAK,WAAW;QACvE,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAA8C,EAAE;QAC1E,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,oBAAoB,WAAW,cAAc,QAAQ,CAAC,OAAO,GAAG,WAAW,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC;AAChK,CAAC;AACD,SAAgB,2BAA2B,CAAqC,QAA4B,EAAE,WAAiB;IAC3H,OAAO,QAAQ,CAAC,OAAO,KAAK,aAAa,IAAI,QAAQ,CAAC,SAAS,KAAK,WAAW;QAC3E,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAkD,EAAE;QAC9E,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,wBAAwB,WAAW,cAAc,QAAQ,CAAC,OAAO,GAAG,WAAW,IAAI,QAAQ,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC;AACpK,CAAC","sourcesContent":["// @concord-file\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 { AssertionEntryIdSchema } from \"../assertions/record/codec.ts\";\nimport { ATTEMPT_LOCATOR_PATTERN } from \"../attempt-locator.ts\";\nimport { ArtifactIdSchema, ExperimentIdSchema, RunIdSchema } from \"../record/codec/identifiers.ts\";\nimport { InspectionArtifactLimitSchema, InspectionArtifactOffsetSchema, InspectionArtifactResultSchema } from \"./artifacts.ts\";\nimport { InspectionRunCoreSchema } from \"./planned-attempt.ts\";\nimport { InspectionArtifactMetadataSchema, InspectionArtifactsPageLimitSchema, InspectionArtifactsValueSchema } from \"./artifact-list.ts\";\nimport { isCommandId, isItemId, isToolOccurrenceId } from \"../record/family/source-receipt/model.ts\";\nimport { INSPECTION_BEHAVIOR_VERSION, QUERY_PROTOCOL } from \"./protocol-values.ts\";\nimport { AssertionDetailResultSchema } from \"./assertion-projection.ts\";\nimport { InspectionProjectResultSchema } from \"./project-result.ts\";\nimport { InspectionAttemptDiffResultSchema, InspectionAttemptResultSchema, InspectionAttemptTimingResultSchema, InspectionAttemptUsageResultSchema, InspectionExperimentResultSchema, InspectionOverviewResultSchema, InspectionRunResultSchema, InspectionRunListResultSchema, InspectionSourcesResultSchema, InspectionTraceDetailResultSchema, InspectionTraceResultSchema, } from \"./results.ts\";\nconst AttemptLocatorSchema = Schema.String.pipe(Schema.refine((value): value is string => ATTEMPT_LOCATOR_PATTERN.test(value), { identifier: \"AttemptLocator\", description: \"a canonical @-prefixed Attempt locator\" }));\nconst ItemIdSchema = Schema.String.pipe(Schema.check(Schema.makeFilter(isItemId)));\nconst ToolOccurrenceIdSchema = Schema.String.pipe(Schema.check(Schema.makeFilter(isToolOccurrenceId)));\nconst CommandIdSchema = Schema.String.pipe(Schema.check(Schema.makeFilter(isCommandId)));\nconst RunIdsSchema = Schema.Array(RunIdSchema);\nconst ProjectExperimentIdsSchema = Schema.Array(ExperimentIdSchema).check(Schema.makeFilter((ids) => ids.length > 0 && new Set(ids).size === ids.length));\nconst operation = <Kind extends string, Fields extends Schema.Struct.Fields>(kind: Kind, fields: Fields) => Schema.Struct({ kind: Schema.Literal(kind), ...fields });\nconst SourceSchema = Schema.Struct({\n    kind: Schema.Literals([\"project-record\", \"external-record\"]), publicationCutoffIdentity: Schema.String,\n});\nconst PublicationCutoffSchema = Schema.Struct({\n    storeGeneration: Schema.String, revision: Schema.Number.check(Schema.isInt(), Schema.isGreaterThanOrEqualTo(0)),\n});\nconst SelectionSchema = Schema.Struct({\n    requestedRunIds: Schema.Array(Schema.String), selectedRunIds: Schema.Array(Schema.String), missingRunIds: Schema.Array(Schema.String),\n});\nconst SuccessMetadataSchema = Schema.Struct({\n    protocol: Schema.Literal(QUERY_PROTOCOL), outcome: Schema.Literal(\"success\"),\n    behaviorVersion: Schema.Literal(INSPECTION_BEHAVIOR_VERSION),\n    source: SourceSchema, publicationCutoff: PublicationCutoffSchema, selection: SelectionSchema,\n    issues: Schema.Tuple([]), evidence: Schema.Struct({ refs: Schema.Array(Schema.String) }),\n});\nconst RunsListSuccessMetadataSchema = Schema.Struct({\n    protocol: Schema.Literal(QUERY_PROTOCOL), outcome: Schema.Literal(\"success\"),\n    behaviorVersion: Schema.Literal(INSPECTION_BEHAVIOR_VERSION),\n    source: SourceSchema,\n    publicationCutoff: PublicationCutoffSchema,\n    selection: Schema.Struct({\n        requestedRunIds: Schema.Array(Schema.String), selectedRunIds: Schema.Array(Schema.String), missingRunIds: Schema.Array(Schema.String),\n        returnedRunCount: Schema.Number, truncated: Schema.Boolean,\n    }),\n    issues: Schema.Tuple([]), evidence: Schema.Struct({ refs: Schema.Array(Schema.String) }),\n});\nconst CompareIssueSchema = Schema.Union([\n    Schema.Struct({ code: Schema.Literal(\"selection-run-missing\"), side: Schema.Literals([\"left\", \"right\"]), runId: Schema.String }),\n    Schema.Struct({ code: Schema.Literal(\"comparison-member-set-mismatch\") }),\n]);\nconst CompareSuccessMetadataSchema = SuccessMetadataSchema.pipe(Schema.fieldsAssign({ issues: Schema.Array(CompareIssueSchema) }));\nconst ArtifactsResultSchema = Schema.Union([\n    Schema.Struct({ state: Schema.Literal(\"not-recorded\") }),\n    Schema.Struct({\n        state: Schema.Literal(\"available\"), value: InspectionArtifactsValueSchema,\n        collection: Schema.Struct({ state: Schema.Literals([\"complete-page\", \"bounded-page\"]), items: Schema.Array(InspectionArtifactMetadataSchema), hasMore: Schema.Boolean, nextOffset: Schema.NullOr(InspectionArtifactOffsetSchema), total: InspectionArtifactOffsetSchema }),\n        contents: Schema.Array(Schema.Struct({ logicalHandle: Schema.String, byteLength: Schema.Number, digest: Schema.String })),\n        contentsTruncated: Schema.Boolean,\n    }),\n]);\nconst ComparisonMemberSchema = Schema.Struct({\n    key: Schema.String, runId: Schema.String, plannedAttemptId: Schema.String, evalId: Schema.String,\n    attemptOrdinal: Schema.Number, locator: Schema.String,\n});\nconst RunsCompareResultSchema = Schema.Struct({\n    mode: Schema.Literals([\"side-by-side\", \"exact\", \"paired\"]),\n    left: Schema.Struct({ runs: Schema.Array(InspectionRunCoreSchema), members: Schema.Array(ComparisonMemberSchema) }),\n    right: Schema.Struct({ runs: Schema.Array(InspectionRunCoreSchema), members: Schema.Array(ComparisonMemberSchema) }),\n    exactMemberSet: Schema.Boolean,\n    pairs: Schema.Array(Schema.Struct({ key: Schema.String, left: ComparisonMemberSchema, right: ComparisonMemberSchema })),\n});\nconst spec = <Request extends Schema.Constraint, ResultFields extends Schema.Struct.Fields, const FactKinds extends readonly string[]>(fields: {\n    readonly request: Request;\n    readonly result: ResultFields;\n    readonly factKinds: FactKinds;\n}) => Object.freeze(fields);\n/** The sole protocol catalog owner. Every request, result and descriptor projection is derived from this registry. */\nexport const inspectionProtocolRegistry = Object.freeze({\n    \"project.get\": spec({ request: operation(\"project.get\", { experimentIds: Schema.optional(ProjectExperimentIdsSchema) }), result: { project: InspectionProjectResultSchema }, factKinds: [\"current-project\", \"core\", \"assertions\", \"attempt-cost\"] }),\n    \"overview.get\": spec({ request: operation(\"overview.get\", { runIds: Schema.optional(RunIdsSchema) }), result: { overview: InspectionOverviewResultSchema }, factKinds: [\"core\", \"assertions\", \"attempt-cost\"] }),\n    \"experiment.get\": spec({ request: operation(\"experiment.get\", { experimentId: ExperimentIdSchema }), result: { experiment: InspectionExperimentResultSchema }, factKinds: [\"core\", \"attempt-note\", \"assertions\", \"attempt-cost\", \"agent-turns\", \"adapter-usage\", \"judge-usage\"] }),\n    \"run.list\": spec({ request: operation(\"run.list\", { continuation: Schema.optional(Schema.String) }), result: { runs: InspectionRunListResultSchema, continuation: Schema.optional(Schema.String) }, factKinds: [\"core\"] }),\n    \"run.get\": spec({ request: operation(\"run.get\", { runId: RunIdSchema }), result: { run: InspectionRunResultSchema }, factKinds: [\"core\", \"assertions\", \"agent-turns\", \"adapter-usage\", \"judge-usage\"] }),\n    \"attempt.get\": spec({ request: operation(\"attempt.get\", { locator: AttemptLocatorSchema }), result: { attempt: InspectionAttemptResultSchema }, factKinds: [\"core\", \"assertions\", \"attempt-note\"] }),\n    \"attempt.assertion.detail\": spec({ request: operation(\"attempt.assertion.detail\", { locator: AttemptLocatorSchema, entryId: AssertionEntryIdSchema }), result: { assertion: AssertionDetailResultSchema }, factKinds: [\"assertions\", \"agent-turns\", \"sources\"] }),\n    \"attempt.assertion.image\": spec({ request: operation(\"attempt.assertion.image\", { locator: AttemptLocatorSchema,\n            entryId: AssertionEntryIdSchema, imageId: Schema.String,\n            offset: Schema.optional(InspectionArtifactOffsetSchema), limit: Schema.optional(InspectionArtifactLimitSchema) }),\n        result: { image: Schema.Union([\n                Schema.Struct({ state: Schema.Literal(\"available\"), imageId: Schema.String, mediaType: Schema.Literals([\"image/png\", \"image/jpeg\"]),\n                    byteLength: Schema.Number, sha256: Schema.String, offset: Schema.Number, base64: Schema.String, nextOffset: Schema.NullOr(Schema.Number) }),\n                Schema.Struct({ state: Schema.Literal(\"invalid\") }), Schema.Struct({ state: Schema.Literal(\"not-recorded\") }),\n            ]) }, factKinds: [\"assertions\"] }),\n    \"attempt.trace\": spec({ request: operation(\"attempt.trace\", {\n            locator: AttemptLocatorSchema,\n            traceId: Schema.optional(Schema.String),\n            sourceId: Schema.optional(Schema.String),\n            actorId: Schema.optional(Schema.String),\n            eventType: Schema.optional(Schema.String),\n            continuation: Schema.optional(Schema.String),\n        }), result: { trace: InspectionTraceResultSchema }, factKinds: [\"execution-traces\", \"agent-turns\", \"turn-contexts\", \"sandbox-commands\", \"runner-activities\", \"runner-diagnostics\"] }),\n    \"attempt.trace.detail\": spec({ request: operation(\"attempt.trace.detail\", { locator: AttemptLocatorSchema, selector: Schema.Union([\n                operation(\"execution-event\", { eventId: Schema.String }),\n                operation(\"execution-evidence\", {\n                    evidenceId: Schema.String,\n                    offset: Schema.optional(InspectionArtifactOffsetSchema),\n                    limit: Schema.optional(InspectionArtifactLimitSchema),\n                }),\n                operation(\"item\", { itemId: ItemIdSchema }),\n                operation(\"tool-occurrence\", { toolOccurrenceId: ToolOccurrenceIdSchema }),\n                operation(\"command\", { commandId: CommandIdSchema }),\n            ]) }), result: { detail: InspectionTraceDetailResultSchema }, factKinds: [\"execution-traces\", \"agent-turns\", \"sandbox-commands\", \"artifacts\"] }),\n    \"attempt.timing\": spec({ request: operation(\"attempt.timing\", { locator: AttemptLocatorSchema }), result: { timing: InspectionAttemptTimingResultSchema }, factKinds: [\"runner-activities\"] }),\n    \"attempt.usage\": spec({ request: operation(\"attempt.usage\", { locator: AttemptLocatorSchema }), result: { usage: InspectionAttemptUsageResultSchema }, factKinds: [\"agent-turns\", \"adapter-usage\", \"judge-usage\"] }),\n    \"attempt.diff\": spec({ request: operation(\"attempt.diff\", { locator: AttemptLocatorSchema }), result: { diff: InspectionAttemptDiffResultSchema }, factKinds: [\"file-changes\"] }),\n    \"attempt.sources\": spec({ request: operation(\"attempt.sources\", { locator: AttemptLocatorSchema }), result: { sources: InspectionSourcesResultSchema }, factKinds: [\"assertions\", \"sources\"] }),\n    \"attempt.artifacts\": spec({ request: operation(\"attempt.artifacts\", { locator: AttemptLocatorSchema, offset: Schema.optional(InspectionArtifactOffsetSchema), limit: Schema.optional(InspectionArtifactsPageLimitSchema) }), result: { artifacts: ArtifactsResultSchema }, factKinds: [\"artifacts\"] }),\n    \"attempt.artifact\": spec({ request: operation(\"attempt.artifact\", { locator: AttemptLocatorSchema, artifactId: ArtifactIdSchema, offset: Schema.optional(InspectionArtifactOffsetSchema), limit: Schema.optional(InspectionArtifactLimitSchema) }), result: { artifact: InspectionArtifactResultSchema }, factKinds: [\"artifacts\"] }),\n    \"runs.compare\": spec({ request: operation(\"runs.compare\", { mode: Schema.Literals([\"side-by-side\", \"exact\", \"paired\"]), leftRunIds: RunIdsSchema, rightRunIds: RunIdsSchema }), result: { comparison: RunsCompareResultSchema }, factKinds: [\"core\"] }),\n});\nexport type InspectionOperationId = keyof typeof inspectionProtocolRegistry;\nexport const INSPECTION_OPERATION_IDS = Object.freeze(Object.keys(inspectionProtocolRegistry) as InspectionOperationId[]);\nexport const InspectionOperationIdSchema = Schema.Literals(INSPECTION_OPERATION_IDS);\nconst specs = Object.entries(inspectionProtocolRegistry);\nexport const InspectionRequestSchema = Schema.Struct({\n    protocol: Schema.Literal(QUERY_PROTOCOL),\n    operation: Schema.Union(specs.map(([, entry]) => entry.request)),\n});\nexport type InspectionRequest = Schema.Schema.Type<typeof InspectionRequestSchema>;\nexport type InspectionOperation = InspectionRequest[\"operation\"];\nexport type InspectionOperationFor<Kind extends InspectionOperationId> = Extract<InspectionOperation, {\n    readonly kind: Kind;\n}>;\nconst successSchema = (id: InspectionOperationId, entry: (typeof inspectionProtocolRegistry)[InspectionOperationId]): Schema.Codec<InspectionSuccessDocument, InspectionSuccessEncoded> => {\n    const fields = Schema.fieldsAssign({ operation: Schema.Literal(id), ...entry.result });\n    const schema = id === \"run.list\" ? RunsListSuccessMetadataSchema.pipe(fields)\n        : id === \"runs.compare\" ? CompareSuccessMetadataSchema.pipe(fields)\n            : SuccessMetadataSchema.pipe(fields);\n    // Object.entries erases the ID/result correlation established by the registry.\n    return schema as unknown as Schema.Codec<InspectionSuccessDocument, InspectionSuccessEncoded>;\n};\nexport const InspectionSuccessDocumentSchema: Schema.Union<readonly Schema.Codec<InspectionSuccessDocument, InspectionSuccessEncoded>[]> = Schema.Union(specs.map(([id, entry]) => successSchema(id as InspectionOperationId, entry)));\nconst explanationSchema = (id: InspectionOperationId, entry: (typeof inspectionProtocolRegistry)[InspectionOperationId]) => {\n    const fields = Schema.fieldsAssign({\n        outcome: Schema.Literal(\"explanation\"), operation: Schema.Literal(id),\n        factKinds: Schema.Tuple(entry.factKinds.map((value) => Schema.Literal(value))),\n    });\n    if (id === \"run.list\")\n        return RunsListSuccessMetadataSchema.pipe(fields);\n    return SuccessMetadataSchema.pipe(fields);\n};\nexport const InspectionExplanationDocumentSchema = Schema.Union(specs.map(([id, entry]) => explanationSchema(id as InspectionOperationId, entry)));\nconst DescriptorSchema = Schema.Union(specs.map(([id]) => Schema.Struct({ id: Schema.Literal(id as InspectionOperationId) })));\nexport const InspectionDiscoveryDocumentSchema = Schema.Struct({\n    protocol: Schema.Literal(QUERY_PROTOCOL), outcome: Schema.Literal(\"discovery\"), operations: Schema.Array(DescriptorSchema),\n});\nexport const InspectionFailureDocumentSchema = Schema.Struct({\n    protocol: Schema.Literal(QUERY_PROTOCOL), outcome: Schema.Literal(\"failure\"),\n    operation: Schema.NullOr(InspectionOperationIdSchema),\n    failure: Schema.Struct({\n        code: Schema.Literals([\"inspection-request-invalid\", \"inspection-selection-missing\", \"inspection-source-invalid\", \"inspection-record-integrity-failure\", \"inspection-operation-failed\", \"inspection-result-invalid\", \"evidence-budget-exceeded\", \"restart-required\", \"current-target-unavailable\"]),\n        reason: Schema.String,\n        identity: Schema.optional(Schema.Struct({ runId: Schema.String })),\n        correction: Schema.Literals([\"fix-request\", \"choose-existing-selection\", \"fix-record-source\", \"retry\", \"upgrade-or-report\", \"restart\"]),\n    }),\n});\nexport const InspectionDocumentSchema: Schema.Union<readonly [\n    typeof InspectionDiscoveryDocumentSchema,\n    typeof InspectionSuccessDocumentSchema,\n    typeof InspectionExplanationDocumentSchema,\n    typeof InspectionFailureDocumentSchema\n]> = Schema.Union([\n    InspectionDiscoveryDocumentSchema, InspectionSuccessDocumentSchema,\n    InspectionExplanationDocumentSchema, InspectionFailureDocumentSchema,\n]);\ntype Registry = typeof inspectionProtocolRegistry;\ntype MetadataFor<Kind extends InspectionOperationId> = Kind extends \"run.list\" ? Schema.Schema.Type<typeof RunsListSuccessMetadataSchema> : Kind extends \"runs.compare\" ? Schema.Schema.Type<typeof CompareSuccessMetadataSchema> : Schema.Schema.Type<typeof SuccessMetadataSchema>;\ntype ResultFields<Kind extends InspectionOperationId> = {\n    readonly [Field in keyof Registry[Kind][\"result\"]]: Registry[Kind][\"result\"][Field] extends Schema.Constraint ? Schema.Schema.Type<Registry[Kind][\"result\"][Field]> : never;\n};\nexport type InspectionSuccessDocumentFor<Kind extends InspectionOperationId> = Kind extends InspectionOperationId ? MetadataFor<Kind> & {\n    readonly operation: Kind;\n} & ResultFields<Kind> : never;\nexport type InspectionSuccessDocument = InspectionSuccessDocumentFor<InspectionOperationId>;\ntype SuccessEncodedFor<Kind extends InspectionOperationId> = Kind extends InspectionOperationId ? (Kind extends \"run.list\" ? Schema.Codec.Encoded<typeof RunsListSuccessMetadataSchema> : Kind extends \"runs.compare\" ? Schema.Codec.Encoded<typeof CompareSuccessMetadataSchema> : Schema.Codec.Encoded<typeof SuccessMetadataSchema>) & {\n    readonly operation: Kind;\n} & {\n    readonly [Field in keyof Registry[Kind][\"result\"]]: Registry[Kind][\"result\"][Field] extends Schema.Constraint ? Schema.Codec.Encoded<Registry[Kind][\"result\"][Field]> : never;\n} : never;\ntype InspectionSuccessEncoded = SuccessEncodedFor<InspectionOperationId>;\nexport type InspectionExplanationDocumentFor<Kind extends InspectionOperationId> = Kind extends InspectionOperationId ? Omit<MetadataFor<Kind>, \"outcome\"> & {\n    readonly outcome: \"explanation\";\n    readonly operation: Kind;\n    readonly factKinds: Registry[Kind][\"factKinds\"];\n} : never;\nexport type InspectionExplanationDocument = InspectionExplanationDocumentFor<InspectionOperationId>;\nexport type InspectionOperationDocument = InspectionSuccessDocument | InspectionExplanationDocument;\nexport type InspectionDiscoveryDocument = Schema.Schema.Type<typeof InspectionDiscoveryDocumentSchema>;\nexport type InspectionFailureDocument = Schema.Schema.Type<typeof InspectionFailureDocumentSchema>;\nexport type InspectionDocument = InspectionDiscoveryDocument | InspectionOperationDocument | InspectionFailureDocument;\nexport type InspectionProtocolDecodeResult<A> = {\n    readonly success: true;\n    readonly value: A;\n} | {\n    readonly success: false;\n    readonly reason: string;\n};\n// @concord-code\n// @concord-implements docs/feature/inspection/architecture.md\nexport function decodeInspectionDocument(input: unknown): InspectionProtocolDecodeResult<InspectionDocument> {\n    const decoded = Schema.decodeUnknownResult(InspectionDocumentSchema, { errors: \"all\", onExcessProperty: \"error\" })(input);\n    return Result.isSuccess(decoded)\n        ? { success: true, value: input as InspectionDocument }\n        : { success: false, reason: String(decoded.failure) };\n}\nexport function narrowInspectionSuccess<Kind extends InspectionOperationId>(document: InspectionDocument, operationId: Kind): InspectionProtocolDecodeResult<InspectionSuccessDocumentFor<Kind>> {\n    return document.outcome === \"success\" && document.operation === operationId\n        ? { success: true, value: document as InspectionSuccessDocumentFor<Kind> }\n        : { success: false, reason: `expected success ${operationId}, received ${document.outcome}${\"operation\" in document ? ` ${document.operation}` : \"\"}` };\n}\nexport function narrowInspectionExplanation<Kind extends InspectionOperationId>(document: InspectionDocument, operationId: Kind): InspectionProtocolDecodeResult<InspectionExplanationDocumentFor<Kind>> {\n    return document.outcome === \"explanation\" && document.operation === operationId\n        ? { success: true, value: document as InspectionExplanationDocumentFor<Kind> }\n        : { success: false, reason: `expected explanation ${operationId}, received ${document.outcome}${\"operation\" in document ? ` ${document.operation}` : \"\"}` };\n}\n"]}