niceeval 0.18.0 → 0.19.0

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

@@ -18,7 +18,7 @@ export type ViewGenerationCommitRequest = Schema.Schema.Type<typeof ViewGenerati
 export declare const ViewInspectionHttpRequestSchema: Schema.Struct<{
     readonly generationId: Schema.String;
     readonly request: Schema.Struct<{
-        readonly protocol: Schema.Literal<"niceeval.query/v1">;
+        readonly protocol: Schema.Literal<"niceeval.query/v2">;
         readonly operation: Schema.Union<(Schema.Struct<{
             readonly kind: Schema.Literal<"project.get">;
         } & {

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

@@ -18,7 +18,7 @@ export type ViewGenerationCommitRequest = Schema.Schema.Type<typeof ViewGenerati
 export declare const ViewInspectionHttpRequestSchema: Schema.Struct<{
     readonly generationId: Schema.String;
     readonly request: Schema.Struct<{
-        readonly protocol: Schema.Literal<"niceeval.query/v1">;
+        readonly protocol: Schema.Literal<"niceeval.query/v2">;
         readonly operation: Schema.Union<(Schema.Struct<{
             readonly kind: Schema.Literal<"project.get">;
         } & {

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

@@ -18,7 +18,7 @@ export type ViewGenerationCommitRequest = Schema.Schema.Type<typeof ViewGenerati
 export declare const ViewInspectionHttpRequestSchema: Schema.Struct<{
     readonly generationId: Schema.String;
     readonly request: Schema.Struct<{
-        readonly protocol: Schema.Literal<"niceeval.query/v1">;
+        readonly protocol: Schema.Literal<"niceeval.query/v2">;
         readonly operation: Schema.Union<(Schema.Struct<{
             readonly kind: Schema.Literal<"project.get">;
         } & {

package/dist/view/inspection-host.cjs

@@ -1,7 +1,7 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.inspectViewGeneration = inspectViewGeneration;
-// @concord-file ne-surface-view-inspection-host
+// @concord-file
 // @concord-implements docs/feature/inspection/architecture.md
 // @concord-implements docs/feature/run-inspection/README.md
 const effect_1 = require("effect");
@@ -10,7 +10,7 @@ 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-code
 // @concord-implements docs/feature/inspection/architecture.md
 function inspectViewGeneration(generation, input) {
     return effect_1.Effect.suspend(() => {

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

@@ -1 +1 @@
-{"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"]}
+{"version":3,"file":"inspection-host.js","sourceRoot":"","sources":["inspection-host.ts"],"names":[],"mappings":";;AAaA,sDAuCC;AApDD,gBAAgB;AAChB,8DAA8D;AAC9D,4DAA4D;AAC5D,mCAAwC;AACxC,qDAAiF;AACjF,uDAAwE;AACxE,uDAAoE;AACpE,qEAAkE;AAClE,qDAAoE;AAGpE,gBAAgB;AAChB,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\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\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"]}