niceeval 0.16.3-canary.99 → 0.17.1

package/dist/view/http-protocol.d.cts

@@ -32,21 +32,13 @@ export declare const ViewInspectionHttpRequestSchema: Schema.Struct<{
         } & {
             experimentId: Schema.Codec<import("../record/model/identifiers.cjs").ExperimentId, string, never, never>;
         }> | Schema.Struct<{
-            readonly kind: Schema.Literal<"runs.list">;
+            readonly kind: Schema.Literal<"run.list">;
         } & {
             continuation: Schema.optional<Schema.String>;
         }> | Schema.Struct<{
             readonly kind: Schema.Literal<"run.get">;
         } & {
             runId: Schema.Codec<import("../record/model/identifiers.cjs").RunId, string, never, never>;
-        }> | Schema.Struct<{
-            readonly kind: Schema.Literal<"run.summary">;
-        } & {
-            runId: Schema.Codec<import("../record/model/identifiers.cjs").RunId, string, never, never>;
-        }> | Schema.Struct<{
-            readonly kind: Schema.Literal<"run.overview">;
-        } & {
-            runId: Schema.Codec<import("../record/model/identifiers.cjs").RunId, string, never, never>;
         }> | Schema.Struct<{
             readonly kind: Schema.Literal<"attempt.get">;
         } & {

package/dist/view/http-protocol.d.mts

@@ -32,21 +32,13 @@ export declare const ViewInspectionHttpRequestSchema: Schema.Struct<{
         } & {
             experimentId: Schema.Codec<import("../record/model/identifiers.mjs").ExperimentId, string, never, never>;
         }> | Schema.Struct<{
-            readonly kind: Schema.Literal<"runs.list">;
+            readonly kind: Schema.Literal<"run.list">;
         } & {
             continuation: Schema.optional<Schema.String>;
         }> | Schema.Struct<{
             readonly kind: Schema.Literal<"run.get">;
         } & {
             runId: Schema.Codec<import("../record/model/identifiers.mjs").RunId, string, never, never>;
-        }> | Schema.Struct<{
-            readonly kind: Schema.Literal<"run.summary">;
-        } & {
-            runId: Schema.Codec<import("../record/model/identifiers.mjs").RunId, string, never, never>;
-        }> | Schema.Struct<{
-            readonly kind: Schema.Literal<"run.overview">;
-        } & {
-            runId: Schema.Codec<import("../record/model/identifiers.mjs").RunId, string, never, never>;
         }> | Schema.Struct<{
             readonly kind: Schema.Literal<"attempt.get">;
         } & {

package/dist/view/http-protocol.d.ts

@@ -32,21 +32,13 @@ export declare const ViewInspectionHttpRequestSchema: Schema.Struct<{
         } & {
             experimentId: Schema.Codec<import("../record/model/identifiers.js").ExperimentId, string, never, never>;
         }> | Schema.Struct<{
-            readonly kind: Schema.Literal<"runs.list">;
+            readonly kind: Schema.Literal<"run.list">;
         } & {
             continuation: Schema.optional<Schema.String>;
         }> | Schema.Struct<{
             readonly kind: Schema.Literal<"run.get">;
         } & {
             runId: Schema.Codec<import("../record/model/identifiers.js").RunId, string, never, never>;
-        }> | Schema.Struct<{
-            readonly kind: Schema.Literal<"run.summary">;
-        } & {
-            runId: Schema.Codec<import("../record/model/identifiers.js").RunId, string, never, never>;
-        }> | Schema.Struct<{
-            readonly kind: Schema.Literal<"run.overview">;
-        } & {
-            runId: Schema.Codec<import("../record/model/identifiers.js").RunId, string, never, never>;
         }> | Schema.Struct<{
             readonly kind: Schema.Literal<"attempt.get">;
         } & {

package/dist/view/inspection-host.cjs

@@ -9,38 +9,47 @@ const codec_ts_1 = require("../inspection/codec.cjs");
 const source_ts_1 = require("../inspection/source.cjs");
 const select_ts_1 = require("../inspection/select.cjs");
 const project_input_ts_1 = require("../inspection/project-input.cjs");
+const facts_ts_1 = require("../inspection/facts.cjs");
 // @concord-code ne-surface-inspect-view-generation
 // @concord-implements docs/feature/inspection/architecture.md
-async function inspectViewGeneration(generation, input) {
-    const decoded = (0, codec_ts_1.decodeInspectionRequest)(input);
-    if (effect_1.Result.isFailure(decoded))
-        throw decoded.failure;
-    return effect_1.Effect.runPromise(effect_1.Effect.scoped(effect_1.Effect.gen(function* () {
-        const opened = yield* (0, source_ts_1.openHostOwnedInspectionSource)(generation.recordPath);
-        const facts = decoded.success.operation.kind === "project.get" && generation.target.kind === "current"
-            ? Object.freeze({ ...opened, kind: "project-record" })
-            : opened;
-        const cutoff = facts.cutoff();
-        if (cutoff.identity !== generation.sourceCutoffIdentity) {
-            return yield* effect_1.Effect.fail(new Error("Pinned generation cutoff did not match its descriptor"));
-        }
-        if (decoded.success.operation.kind === "project.get" && generation.target.kind === "current") {
-            if (generation.target.input.cutoffIdentity !== cutoff.identity ||
-                generation.target.input.target.identity !== generation.target.identity) {
-                return yield* effect_1.Effect.fail(new Error("Pinned current target did not match its descriptor"));
+function inspectViewGeneration(generation, input) {
+    return effect_1.Effect.suspend(() => {
+        const decoded = (0, codec_ts_1.decodeInspectionRequest)(input);
+        if (effect_1.Result.isFailure(decoded))
+            return effect_1.Effect.fail(decoded.failure);
+        return effect_1.Effect.scoped(effect_1.Effect.gen(function* () {
+            const opened = yield* (0, source_ts_1.openHostOwnedInspectionSource)(generation.recordPath);
+            const facts = decoded.success.operation.kind === "project.get" && generation.target.kind === "current"
+                ? Object.freeze({ ...opened, kind: "project-record" })
+                : opened;
+            const cutoff = facts.cutoff();
+            if (cutoff.identity !== generation.sourceCutoffIdentity) {
+                return yield* effect_1.Effect.fail(new Error("Pinned generation cutoff did not match its descriptor"));
             }
-            (0, project_input_ts_1.bindProjectInput)(facts, generation.target.input);
-        }
-        return (0, select_ts_1.selectInspectionOperation)(facts, decoded.success.operation);
-    })).pipe(effect_1.Effect.catch((cause) => effect_1.Effect.succeed(Object.freeze({
-        protocol: codec_ts_1.QUERY_PROTOCOL,
-        outcome: "failure",
-        operation: decoded.success.operation.kind,
-        failure: Object.freeze({
-            code: "inspection-operation-failed",
-            reason: "Inspection could not be completed for this generation.",
-            correction: "retry",
-        }),
-    })))));
+            if (decoded.success.operation.kind === "project.get" && generation.target.kind === "current") {
+                if (generation.target.input.cutoffIdentity !== cutoff.identity ||
+                    generation.target.input.target.identity !== generation.target.identity) {
+                    return yield* effect_1.Effect.fail(new Error("Pinned current target did not match its descriptor"));
+                }
+                // Prepared Runs contain lazy attachment readers owned by preparation's
+                // closed Scope. Rebind their exact identities to this request's reader
+                // at the already verified generation cutoff; keep the frozen target.
+                (0, project_input_ts_1.bindProjectInput)(facts, {
+                    ...generation.target.input,
+                    runs: (0, facts_ts_1.loadSelectedInspectionRuns)(facts, generation.target.input.runs.map((run) => run.run.runId)),
+                });
+            }
+            return (0, select_ts_1.selectInspectionOperation)(facts, decoded.success.operation);
+        })).pipe(effect_1.Effect.catch(() => effect_1.Effect.succeed(Object.freeze({
+            protocol: codec_ts_1.QUERY_PROTOCOL,
+            outcome: "failure",
+            operation: decoded.success.operation.kind,
+            failure: Object.freeze({
+                code: "inspection-operation-failed",
+                reason: "Inspection could not be completed for this generation.",
+                correction: "retry",
+            }),
+        }))));
+    });
 }
 //# sourceMappingURL=inspection-host.cjs.map

package/dist/view/inspection-host.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"inspection-host.js","sourceRoot":"","sources":["inspection-host.ts"],"names":[],"mappings":";;AAYA,sDA+BC;AA3CD,gDAAgD;AAChD,8DAA8D;AAC9D,4DAA4D;AAC5D,mCAAwC;AACxC,qDAAiF;AACjF,uDAAwE;AACxE,uDAAoE;AACpE,qEAAkE;AAGlE,mDAAmD;AACnD,8DAA8D;AACvD,KAAK,UAAU,qBAAqB,CAAC,UAA0B,EAAE,KAAc;IAClF,MAAM,OAAO,GAAG,IAAA,kCAAuB,EAAC,KAAK,CAAC,CAAC;IAC/C,IAAI,eAAM,CAAC,SAAS,CAAC,OAAO,CAAC;QACzB,MAAM,OAAO,CAAC,OAAO,CAAC;IAC1B,OAAO,eAAM,CAAC,UAAU,CAAC,eAAM,CAAC,MAAM,CAAC,eAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACvD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,IAAA,yCAA6B,EAAC,UAAU,CAAC,UAAU,CAAC,CAAC;QAC3E,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,KAAK,aAAa,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS;YAClG,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,gBAAyB,EAAE,CAAC;YAC/D,CAAC,CAAC,MAAM,CAAC;QACb,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;QAC9B,IAAI,MAAM,CAAC,QAAQ,KAAK,UAAU,CAAC,oBAAoB,EAAE,CAAC;YACtD,OAAO,KAAK,CAAC,CAAC,eAAM,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC,CAAC;QAClG,CAAC;QACD,IAAI,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,KAAK,aAAa,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC3F,IAAI,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,cAAc,KAAK,MAAM,CAAC,QAAQ;gBAC1D,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,KAAK,UAAU,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;gBACzE,OAAO,KAAK,CAAC,CAAC,eAAM,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC,CAAC;YAC/F,CAAC;YACD,IAAA,mCAAgB,EAAC,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACrD,CAAC;QACD,OAAO,IAAA,qCAAyB,EAAC,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,eAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC;QAC1D,QAAQ,EAAE,yBAAc;QACxB,OAAO,EAAE,SAAkB;QAC3B,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI;QACzC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC;YACnB,IAAI,EAAE,6BAAsC;YAC5C,MAAM,EAAE,wDAAwD;YAChE,UAAU,EAAE,OAAgB;SAC/B,CAAC;KACL,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACX,CAAC","sourcesContent":["// @concord-file ne-surface-view-inspection-host\n// @concord-implements docs/feature/inspection/architecture.md\n// @concord-implements docs/feature/run-inspection/README.md\nimport { Effect, Result } from \"effect\";\nimport { decodeInspectionRequest, QUERY_PROTOCOL } from \"../inspection/codec.ts\";\nimport { openHostOwnedInspectionSource } from \"../inspection/source.ts\";\nimport { selectInspectionOperation } from \"../inspection/select.ts\";\nimport { bindProjectInput } from \"../inspection/project-input.ts\";\nimport type { InspectionDocument } from \"../inspection/protocol.ts\";\nimport type { ViewGeneration } from \"./revision.ts\";\n// @concord-code ne-surface-inspect-view-generation\n// @concord-implements docs/feature/inspection/architecture.md\nexport async function inspectViewGeneration(generation: ViewGeneration, input: unknown): Promise<InspectionDocument> {\n    const decoded = decodeInspectionRequest(input);\n    if (Result.isFailure(decoded))\n        throw decoded.failure;\n    return Effect.runPromise(Effect.scoped(Effect.gen(function* () {\n        const opened = yield* openHostOwnedInspectionSource(generation.recordPath);\n        const facts = decoded.success.operation.kind === \"project.get\" && generation.target.kind === \"current\"\n            ? Object.freeze({ ...opened, kind: \"project-record\" as const })\n            : opened;\n        const cutoff = facts.cutoff();\n        if (cutoff.identity !== generation.sourceCutoffIdentity) {\n            return yield* Effect.fail(new Error(\"Pinned generation cutoff did not match its descriptor\"));\n        }\n        if (decoded.success.operation.kind === \"project.get\" && generation.target.kind === \"current\") {\n            if (generation.target.input.cutoffIdentity !== cutoff.identity ||\n                generation.target.input.target.identity !== generation.target.identity) {\n                return yield* Effect.fail(new Error(\"Pinned current target did not match its descriptor\"));\n            }\n            bindProjectInput(facts, generation.target.input);\n        }\n        return selectInspectionOperation(facts, decoded.success.operation);\n    })).pipe(Effect.catch((cause) => Effect.succeed(Object.freeze({\n        protocol: QUERY_PROTOCOL,\n        outcome: \"failure\" as const,\n        operation: decoded.success.operation.kind,\n        failure: Object.freeze({\n            code: \"inspection-operation-failed\" as const,\n            reason: \"Inspection could not be completed for this generation.\",\n            correction: \"retry\" as const,\n        }),\n    })))));\n}\n"]}
+{"version":3,"file":"inspection-host.js","sourceRoot":"","sources":["inspection-host.ts"],"names":[],"mappings":";;AAaA,sDAuCC;AApDD,gDAAgD;AAChD,8DAA8D;AAC9D,4DAA4D;AAC5D,mCAAwC;AACxC,qDAAiF;AACjF,uDAAwE;AACxE,uDAAoE;AACpE,qEAAkE;AAClE,qDAAoE;AAGpE,mDAAmD;AACnD,8DAA8D;AAC9D,SAAgB,qBAAqB,CAAC,UAA0B,EAAE,KAAc;IAC5E,OAAO,eAAM,CAAC,OAAO,CAAC,GAAG,EAAE;QACvB,MAAM,OAAO,GAAG,IAAA,kCAAuB,EAAC,KAAK,CAAC,CAAC;QAC/C,IAAI,eAAM,CAAC,SAAS,CAAC,OAAO,CAAC;YACzB,OAAO,eAAM,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QACxC,OAAO,eAAM,CAAC,MAAM,CAAC,eAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YACrC,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,IAAA,yCAA6B,EAAC,UAAU,CAAC,UAAU,CAAC,CAAC;YAC3E,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,KAAK,aAAa,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS;gBAClG,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,gBAAyB,EAAE,CAAC;gBAC/D,CAAC,CAAC,MAAM,CAAC;YACb,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;YAC9B,IAAI,MAAM,CAAC,QAAQ,KAAK,UAAU,CAAC,oBAAoB,EAAE,CAAC;gBACtD,OAAO,KAAK,CAAC,CAAC,eAAM,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC,CAAC;YAClG,CAAC;YACD,IAAI,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,KAAK,aAAa,IAAI,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC3F,IAAI,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,cAAc,KAAK,MAAM,CAAC,QAAQ;oBAC1D,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,KAAK,UAAU,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;oBACzE,OAAO,KAAK,CAAC,CAAC,eAAM,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC,CAAC;gBAC/F,CAAC;gBACD,uEAAuE;gBACvE,uEAAuE;gBACvE,qEAAqE;gBACrE,IAAA,mCAAgB,EAAC,KAAK,EAAE;oBACpB,GAAG,UAAU,CAAC,MAAM,CAAC,KAAK;oBAC1B,IAAI,EAAE,IAAA,qCAA0B,EAAC,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;iBACpG,CAAC,CAAC;YACP,CAAC;YACD,OAAO,IAAA,qCAAyB,EAAC,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QACvE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,eAAM,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,eAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC;YACrD,QAAQ,EAAE,yBAAc;YACxB,OAAO,EAAE,SAAkB;YAC3B,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI;YACzC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC;gBACnB,IAAI,EAAE,6BAAsC;gBAC5C,MAAM,EAAE,wDAAwD;gBAChE,UAAU,EAAE,OAAgB;aAC/B,CAAC;SACL,CAA8B,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;AACP,CAAC","sourcesContent":["// @concord-file ne-surface-view-inspection-host\n// @concord-implements docs/feature/inspection/architecture.md\n// @concord-implements docs/feature/run-inspection/README.md\nimport { Effect, Result } from \"effect\";\nimport { decodeInspectionRequest, QUERY_PROTOCOL } from \"../inspection/codec.ts\";\nimport { openHostOwnedInspectionSource } from \"../inspection/source.ts\";\nimport { selectInspectionOperation } from \"../inspection/select.ts\";\nimport { bindProjectInput } from \"../inspection/project-input.ts\";\nimport { loadSelectedInspectionRuns } from \"../inspection/facts.ts\";\nimport type { InspectionDocument } from \"../inspection/protocol.ts\";\nimport type { ViewGeneration } from \"./revision.ts\";\n// @concord-code ne-surface-inspect-view-generation\n// @concord-implements docs/feature/inspection/architecture.md\nexport function inspectViewGeneration(generation: ViewGeneration, input: unknown) {\n    return Effect.suspend(() => {\n        const decoded = decodeInspectionRequest(input);\n        if (Result.isFailure(decoded))\n            return Effect.fail(decoded.failure);\n        return Effect.scoped(Effect.gen(function* () {\n            const opened = yield* openHostOwnedInspectionSource(generation.recordPath);\n            const facts = decoded.success.operation.kind === \"project.get\" && generation.target.kind === \"current\"\n                ? Object.freeze({ ...opened, kind: \"project-record\" as const })\n                : opened;\n            const cutoff = facts.cutoff();\n            if (cutoff.identity !== generation.sourceCutoffIdentity) {\n                return yield* Effect.fail(new Error(\"Pinned generation cutoff did not match its descriptor\"));\n            }\n            if (decoded.success.operation.kind === \"project.get\" && generation.target.kind === \"current\") {\n                if (generation.target.input.cutoffIdentity !== cutoff.identity ||\n                    generation.target.input.target.identity !== generation.target.identity) {\n                    return yield* Effect.fail(new Error(\"Pinned current target did not match its descriptor\"));\n                }\n                // Prepared Runs contain lazy attachment readers owned by preparation's\n                // closed Scope. Rebind their exact identities to this request's reader\n                // at the already verified generation cutoff; keep the frozen target.\n                bindProjectInput(facts, {\n                    ...generation.target.input,\n                    runs: loadSelectedInspectionRuns(facts, generation.target.input.runs.map((run) => run.run.runId)),\n                });\n            }\n            return selectInspectionOperation(facts, decoded.success.operation);\n        })).pipe(Effect.catch(() => Effect.succeed(Object.freeze({\n            protocol: QUERY_PROTOCOL,\n            outcome: \"failure\" as const,\n            operation: decoded.success.operation.kind,\n            failure: Object.freeze({\n                code: \"inspection-operation-failed\" as const,\n                reason: \"Inspection could not be completed for this generation.\",\n                correction: \"retry\" as const,\n            }),\n        }) satisfies InspectionDocument)));\n    });\n}\n"]}