niceeval 0.12.1 → 0.12.2-canary.31

package/dist/record/model/read-state.d.mts

@@ -0,0 +1,45 @@
+import type { RecordAttachmentSchemaId, RunId } from "./identifiers.mjs";
+import type { NonEmptyRecordIssues } from "../errors/record-errors.mjs";
+/** Core corruption is represented as readable state, not an Effect failure. */
+export type RecordCoreRead<Value> = {
+    readonly state: "available";
+    readonly value: Value;
+} | {
+    readonly state: "missing";
+} | {
+    readonly state: "core-invalid";
+    readonly issues: NonEmptyRecordIssues;
+};
+/**
+ * Attachment state is independent from Core state. `Value` is intentionally
+ * generic so the later materialized blob snapshot can be introduced without
+ * changing this state machine.
+ */
+export type RecordAttachmentRead<Value> = {
+    readonly state: "available";
+    readonly value: Value;
+} | {
+    readonly state: "unavailable";
+} | {
+    readonly state: "migration-required";
+    readonly from: RecordAttachmentSchemaId;
+    readonly to: RecordAttachmentSchemaId;
+    readonly command: "niceeval migrate";
+} | {
+    readonly state: "migration-unavailable";
+    readonly from: RecordAttachmentSchemaId;
+    readonly to: RecordAttachmentSchemaId;
+    readonly reason: string;
+} | {
+    readonly state: "unsupported";
+    readonly schemaId: RecordAttachmentSchemaId;
+} | {
+    readonly state: "invalid";
+    readonly issues: NonEmptyRecordIssues;
+};
+export interface RecordIncompleteRunWarning {
+    readonly code: "incomplete-run";
+    readonly runId: RunId;
+    readonly cleanupCommand: "niceeval clean";
+}
+export type RecordWarning = RecordIncompleteRunWarning;

package/dist/record/model/read-state.d.ts

@@ -0,0 +1,45 @@
+import type { RecordAttachmentSchemaId, RunId } from "./identifiers.js";
+import type { NonEmptyRecordIssues } from "../errors/record-errors.js";
+/** Core corruption is represented as readable state, not an Effect failure. */
+export type RecordCoreRead<Value> = {
+    readonly state: "available";
+    readonly value: Value;
+} | {
+    readonly state: "missing";
+} | {
+    readonly state: "core-invalid";
+    readonly issues: NonEmptyRecordIssues;
+};
+/**
+ * Attachment state is independent from Core state. `Value` is intentionally
+ * generic so the later materialized blob snapshot can be introduced without
+ * changing this state machine.
+ */
+export type RecordAttachmentRead<Value> = {
+    readonly state: "available";
+    readonly value: Value;
+} | {
+    readonly state: "unavailable";
+} | {
+    readonly state: "migration-required";
+    readonly from: RecordAttachmentSchemaId;
+    readonly to: RecordAttachmentSchemaId;
+    readonly command: "niceeval migrate";
+} | {
+    readonly state: "migration-unavailable";
+    readonly from: RecordAttachmentSchemaId;
+    readonly to: RecordAttachmentSchemaId;
+    readonly reason: string;
+} | {
+    readonly state: "unsupported";
+    readonly schemaId: RecordAttachmentSchemaId;
+} | {
+    readonly state: "invalid";
+    readonly issues: NonEmptyRecordIssues;
+};
+export interface RecordIncompleteRunWarning {
+    readonly code: "incomplete-run";
+    readonly runId: RunId;
+    readonly cleanupCommand: "niceeval clean";
+}
+export type RecordWarning = RecordIncompleteRunWarning;

package/dist/record/model/read-state.js

@@ -0,0 +1,4 @@
+import { createRequire as __niceevalCreateRequire } from "node:module";
+const __niceevalRequire = __niceevalCreateRequire(import.meta.url);
+const __niceevalCanonical = __niceevalRequire("./read-state.cjs");
+//# sourceMappingURL=read-state.js.map

package/dist/record/model/read-state.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"read-state.js","sources":[],"names":[],"mappings":""}

package/dist/record/model/validation.cjs

@@ -0,0 +1,143 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.nonEmptyRecordIssues = void 0;
+exports.validateExpectedSlots = validateExpectedSlots;
+exports.validateRunDocumentV1 = validateRunDocumentV1;
+exports.validateRecordAttachmentEnvelopeV1 = validateRecordAttachmentEnvelopeV1;
+exports.validateRecordCoreV1 = validateRecordCoreV1;
+const record_errors_ts_1 = require("../errors/record-errors.cjs");
+Object.defineProperty(exports, "nonEmptyRecordIssues", { enumerable: true, get: function () { return record_errors_ts_1.nonEmptyRecordIssues; } });
+const core_ts_1 = require("./core.cjs");
+const identifiers_ts_1 = require("./identifiers.cjs");
+function appendIssues(destination, prefix, nested) {
+    for (const issue of nested) {
+        destination.push((0, record_errors_ts_1.recordIssue)(issue.code, [...prefix, ...issue.path]));
+    }
+}
+/** Rejects duplicate or non-canonically ordered slot denominators. */
+function validateExpectedSlots(expectedSlots) {
+    const issues = [];
+    const seen = new Set();
+    let previous;
+    for (const [index, slotId] of expectedSlots.entries()) {
+        const path = ["expectedSlots", String(index)];
+        if (previous !== undefined && (0, identifiers_ts_1.compareCanonicalIdentity)(previous, slotId) > 0) {
+            issues.push((0, record_errors_ts_1.recordIssue)("record-expected-slot-order-invalid", path));
+        }
+        if (seen.has(slotId)) {
+            issues.push((0, record_errors_ts_1.recordIssue)("record-expected-slot-duplicate", path));
+        }
+        seen.add(slotId);
+        previous = slotId;
+    }
+    return Object.freeze(issues);
+}
+/** Validates invariants entirely contained by `run.json`. */
+function validateRunDocumentV1(run) {
+    const issues = [];
+    if (run.completedAt < run.startedAt) {
+        issues.push((0, record_errors_ts_1.recordIssue)("record-run-time-order-invalid", ["completedAt"]));
+    }
+    appendIssues(issues, [], validateExpectedSlots(run.expectedSlots));
+    return Object.freeze(issues);
+}
+/** Validates the name/schema identity coupling in `attachment.json`. */
+function validateRecordAttachmentEnvelopeV1(envelope) {
+    const schemaName = (0, identifiers_ts_1.recordAttachmentNameTextOfSchemaId)(envelope.schemaId);
+    if (schemaName === envelope.name) {
+        return [];
+    }
+    return Object.freeze([
+        (0, record_errors_ts_1.recordIssue)("record-attachment-schema-id-mismatch", ["schemaId"]),
+    ]);
+}
+function runPrefix(runIndex) {
+    return ["runs", String(runIndex)];
+}
+function memberPrefix(runIndex, memberIndex) {
+    return [...runPrefix(runIndex), "members", String(memberIndex)];
+}
+function attemptPrefix(runIndex, attemptIndex) {
+    return [...runPrefix(runIndex), "attempts", String(attemptIndex)];
+}
+function referenceKey(ref) {
+    return (0, core_ts_1.recordAttemptReferenceKey)(ref);
+}
+/**
+ * Validates the Core facts that need all published documents in one frozen
+ * Record snapshot: denominator membership, owner identity, and exact refs.
+ */
+function validateRecordCoreV1(core) {
+    const issues = [];
+    const runs = new Map();
+    const attempts = new Map();
+    for (const [runIndex, runCore] of core.runs.entries()) {
+        const runId = runCore.run.runId;
+        const prefix = runPrefix(runIndex);
+        const priorRunIndex = runs.get(runId);
+        if (priorRunIndex !== undefined) {
+            issues.push((0, record_errors_ts_1.recordIssue)("record-run-duplicate", [...prefix, "run", "runId"]));
+        }
+        else {
+            runs.set(runId, runIndex);
+        }
+        appendIssues(issues, [...prefix, "run"], validateRunDocumentV1(runCore.run));
+        validateRunMembers(runCore, runIndex, issues);
+        for (const [attemptIndex, attempt] of runCore.attempts.entries()) {
+            const path = attemptPrefix(runIndex, attemptIndex);
+            if (attempt.originRunId !== runId) {
+                issues.push((0, record_errors_ts_1.recordIssue)("record-attempt-owner-invalid", [...path, "originRunId"]));
+                continue;
+            }
+            const key = referenceKey({ originRunId: runId, attemptId: attempt.attemptId });
+            if (attempts.has(key)) {
+                issues.push((0, record_errors_ts_1.recordIssue)("record-attempt-duplicate", [...path, "attemptId"]));
+            }
+            else {
+                attempts.set(key, { runIndex, attemptIndex });
+            }
+        }
+    }
+    const originMemberCounts = new Map();
+    for (const [runIndex, runCore] of core.runs.entries()) {
+        for (const [memberIndex, member] of runCore.members.entries()) {
+            const key = referenceKey(member.attempt);
+            if (!attempts.has(key)) {
+                issues.push((0, record_errors_ts_1.recordIssue)("record-attempt-reference-missing", [
+                    ...memberPrefix(runIndex, memberIndex),
+                    "attempt",
+                ]));
+                continue;
+            }
+            if (member.attempt.originRunId === runCore.run.runId) {
+                originMemberCounts.set(key, (originMemberCounts.get(key) ?? 0) + 1);
+            }
+        }
+    }
+    for (const [key, location] of attempts.entries()) {
+        const count = originMemberCounts.get(key) ?? 0;
+        const path = attemptPrefix(location.runIndex, location.attemptIndex);
+        if (count === 0) {
+            issues.push((0, record_errors_ts_1.recordIssue)("record-origin-member-missing", path));
+        }
+        else if (count > 1) {
+            issues.push((0, record_errors_ts_1.recordIssue)("record-origin-member-duplicate", path));
+        }
+    }
+    return Object.freeze(issues);
+}
+function validateRunMembers(runCore, runIndex, issues) {
+    const expectedSlots = new Set(runCore.run.expectedSlots);
+    const members = new Set();
+    for (const [memberIndex, member] of runCore.members.entries()) {
+        const path = memberPrefix(runIndex, memberIndex);
+        if (!expectedSlots.has(member.slotId)) {
+            issues.push((0, record_errors_ts_1.recordIssue)("record-member-slot-unexpected", [...path, "slotId"]));
+        }
+        if (members.has(member.slotId)) {
+            issues.push((0, record_errors_ts_1.recordIssue)("record-member-slot-duplicate", [...path, "slotId"]));
+        }
+        members.add(member.slotId);
+    }
+}
+//# sourceMappingURL=validation.cjs.map

package/dist/record/model/validation.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation.js","sourceRoot":"","sources":["validation.ts"],"names":[],"mappings":";;;AAUA,sDAgBC;AAED,sDAOC;AAED,gFAQC;AAqBD,oDA0DC;AA5HD,iEAAkG;AA4IzF,qGA5IA,uCAAoB,OA4IA;AA3I7B,uCAAsD;AAEtD,qDAA8G;AAC9G,SAAS,YAAY,CAAC,WAA0B,EAAE,MAAyB,EAAE,MAA8B;IACvG,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QACzB,WAAW,CAAC,IAAI,CAAC,IAAA,8BAAW,EAAC,KAAK,CAAC,IAAI,EAAE,CAAC,GAAG,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1E,CAAC;AACL,CAAC;AACD,sEAAsE;AACtE,SAAgB,qBAAqB,CAAC,aAAgC;IAClE,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,IAAI,QAA4B,CAAC;IACjC,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,aAAa,CAAC,OAAO,EAAE,EAAE,CAAC;QACpD,MAAM,IAAI,GAAG,CAAC,eAAe,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAC9C,IAAI,QAAQ,KAAK,SAAS,IAAI,IAAA,yCAAwB,EAAC,QAAQ,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;YAC3E,MAAM,CAAC,IAAI,CAAC,IAAA,8BAAW,EAAC,oCAAoC,EAAE,IAAI,CAAC,CAAC,CAAC;QACzE,CAAC;QACD,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACnB,MAAM,CAAC,IAAI,CAAC,IAAA,8BAAW,EAAC,gCAAgC,EAAE,IAAI,CAAC,CAAC,CAAC;QACrE,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACjB,QAAQ,GAAG,MAAM,CAAC;IACtB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AACjC,CAAC;AACD,6DAA6D;AAC7D,SAAgB,qBAAqB,CAAC,GAAkB;IACpD,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,IAAI,GAAG,CAAC,WAAW,GAAG,GAAG,CAAC,SAAS,EAAE,CAAC;QAClC,MAAM,CAAC,IAAI,CAAC,IAAA,8BAAW,EAAC,+BAA+B,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;IAC/E,CAAC;IACD,YAAY,CAAC,MAAM,EAAE,EAAE,EAAE,qBAAqB,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC;IACnE,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AACjC,CAAC;AACD,wEAAwE;AACxE,SAAgB,kCAAkC,CAAC,QAAoC;IACnF,MAAM,UAAU,GAAG,IAAA,mDAAkC,EAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACzE,IAAI,UAAU,KAAK,QAAQ,CAAC,IAAI,EAAE,CAAC;QAC/B,OAAO,EAAE,CAAC;IACd,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACjB,IAAA,8BAAW,EAAC,sCAAsC,EAAE,CAAC,UAAU,CAAC,CAAC;KACpE,CAAC,CAAC;AACP,CAAC;AAKD,SAAS,SAAS,CAAC,QAAgB;IAC/B,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;AACtC,CAAC;AACD,SAAS,YAAY,CAAC,QAAgB,EAAE,WAAmB;IACvD,OAAO,CAAC,GAAG,SAAS,CAAC,QAAQ,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC;AACpE,CAAC;AACD,SAAS,aAAa,CAAC,QAAgB,EAAE,YAAoB;IACzD,OAAO,CAAC,GAAG,SAAS,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC;AACtE,CAAC;AACD,SAAS,YAAY,CAAC,GAAqB;IACvC,OAAO,IAAA,mCAAyB,EAAC,GAAG,CAAC,CAAC;AAC1C,CAAC;AACD;;;GAGG;AACH,SAAgB,oBAAoB,CAAC,IAAkB;IACnD,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA2B,CAAC;IACpD,KAAK,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;QACpD,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC;QAChC,MAAM,MAAM,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;QACnC,MAAM,aAAa,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;YAC9B,MAAM,CAAC,IAAI,CAAC,IAAA,8BAAW,EAAC,sBAAsB,EAAE,CAAC,GAAG,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;QAClF,CAAC;aACI,CAAC;YACF,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QAC9B,CAAC;QACD,YAAY,CAAC,MAAM,EAAE,CAAC,GAAG,MAAM,EAAE,KAAK,CAAC,EAAE,qBAAqB,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7E,kBAAkB,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC9C,KAAK,MAAM,CAAC,YAAY,EAAE,OAAO,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC;YAC/D,MAAM,IAAI,GAAG,aAAa,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;YACnD,IAAI,OAAO,CAAC,WAAW,KAAK,KAAK,EAAE,CAAC;gBAChC,MAAM,CAAC,IAAI,CAAC,IAAA,8BAAW,EAAC,8BAA8B,EAAE,CAAC,GAAG,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC;gBACnF,SAAS;YACb,CAAC;YACD,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC;YAC/E,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACpB,MAAM,CAAC,IAAI,CAAC,IAAA,8BAAW,EAAC,0BAA0B,EAAE,CAAC,GAAG,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;YACjF,CAAC;iBACI,CAAC;gBACF,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC,CAAC;YAClD,CAAC;QACL,CAAC;IACL,CAAC;IACD,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAkB,CAAC;IACrD,KAAK,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;QACpD,KAAK,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,IAAI,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;YAC5D,MAAM,GAAG,GAAG,YAAY,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;YACzC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACrB,MAAM,CAAC,IAAI,CAAC,IAAA,8BAAW,EAAC,kCAAkC,EAAE;oBACxD,GAAG,YAAY,CAAC,QAAQ,EAAE,WAAW,CAAC;oBACtC,SAAS;iBACZ,CAAC,CAAC,CAAC;gBACJ,SAAS;YACb,CAAC;YACD,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,KAAK,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;gBACnD,kBAAkB,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACxE,CAAC;QACL,CAAC;IACL,CAAC;IACD,KAAK,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,IAAI,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC;QAC/C,MAAM,KAAK,GAAG,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/C,MAAM,IAAI,GAAG,aAAa,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,YAAY,CAAC,CAAC;QACrE,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YACd,MAAM,CAAC,IAAI,CAAC,IAAA,8BAAW,EAAC,8BAA8B,EAAE,IAAI,CAAC,CAAC,CAAC;QACnE,CAAC;aACI,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YACjB,MAAM,CAAC,IAAI,CAAC,IAAA,8BAAW,EAAC,gCAAgC,EAAE,IAAI,CAAC,CAAC,CAAC;QACrE,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AACjC,CAAC;AACD,SAAS,kBAAkB,CAAC,OAAkB,EAAE,QAAgB,EAAE,MAAqB;IACnF,MAAM,aAAa,GAAG,IAAI,GAAG,CAAS,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IACjE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,IAAI,OAAO,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;QAC5D,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;QACjD,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YACpC,MAAM,CAAC,IAAI,CAAC,IAAA,8BAAW,EAAC,+BAA+B,EAAE,CAAC,GAAG,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;QACnF,CAAC;QACD,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YAC7B,MAAM,CAAC,IAAI,CAAC,IAAA,8BAAW,EAAC,8BAA8B,EAAE,CAAC,GAAG,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;QAClF,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC/B,CAAC;AACL,CAAC","sourcesContent":["import { nonEmptyRecordIssues, recordIssue, type RecordIssue, } from \"../errors/record-errors.ts\";\nimport { recordAttemptReferenceKey } from \"./core.ts\";\nimport type { RecordAttachmentEnvelopeV1, RecordCoreV1, RecordAttemptRef, RunCoreV1, RunDocumentV1, } from \"./core.ts\";\nimport { compareCanonicalIdentity, recordAttachmentNameTextOfSchemaId, type SlotId, } from \"./identifiers.ts\";\nfunction appendIssues(destination: RecordIssue[], prefix: readonly string[], nested: readonly RecordIssue[]): void {\n    for (const issue of nested) {\n        destination.push(recordIssue(issue.code, [...prefix, ...issue.path]));\n    }\n}\n/** Rejects duplicate or non-canonically ordered slot denominators. */\nexport function validateExpectedSlots(expectedSlots: readonly SlotId[]): readonly RecordIssue[] {\n    const issues: RecordIssue[] = [];\n    const seen = new Set<string>();\n    let previous: SlotId | undefined;\n    for (const [index, slotId] of expectedSlots.entries()) {\n        const path = [\"expectedSlots\", String(index)];\n        if (previous !== undefined && compareCanonicalIdentity(previous, slotId) > 0) {\n            issues.push(recordIssue(\"record-expected-slot-order-invalid\", path));\n        }\n        if (seen.has(slotId)) {\n            issues.push(recordIssue(\"record-expected-slot-duplicate\", path));\n        }\n        seen.add(slotId);\n        previous = slotId;\n    }\n    return Object.freeze(issues);\n}\n/** Validates invariants entirely contained by `run.json`. */\nexport function validateRunDocumentV1(run: RunDocumentV1): readonly RecordIssue[] {\n    const issues: RecordIssue[] = [];\n    if (run.completedAt < run.startedAt) {\n        issues.push(recordIssue(\"record-run-time-order-invalid\", [\"completedAt\"]));\n    }\n    appendIssues(issues, [], validateExpectedSlots(run.expectedSlots));\n    return Object.freeze(issues);\n}\n/** Validates the name/schema identity coupling in `attachment.json`. */\nexport function validateRecordAttachmentEnvelopeV1(envelope: RecordAttachmentEnvelopeV1): readonly RecordIssue[] {\n    const schemaName = recordAttachmentNameTextOfSchemaId(envelope.schemaId);\n    if (schemaName === envelope.name) {\n        return [];\n    }\n    return Object.freeze([\n        recordIssue(\"record-attachment-schema-id-mismatch\", [\"schemaId\"]),\n    ]);\n}\ninterface AttemptLocation {\n    readonly runIndex: number;\n    readonly attemptIndex: number;\n}\nfunction runPrefix(runIndex: number): readonly string[] {\n    return [\"runs\", String(runIndex)];\n}\nfunction memberPrefix(runIndex: number, memberIndex: number): readonly string[] {\n    return [...runPrefix(runIndex), \"members\", String(memberIndex)];\n}\nfunction attemptPrefix(runIndex: number, attemptIndex: number): readonly string[] {\n    return [...runPrefix(runIndex), \"attempts\", String(attemptIndex)];\n}\nfunction referenceKey(ref: RecordAttemptRef): string {\n    return recordAttemptReferenceKey(ref);\n}\n/**\n * Validates the Core facts that need all published documents in one frozen\n * Record snapshot: denominator membership, owner identity, and exact refs.\n */\nexport function validateRecordCoreV1(core: RecordCoreV1): readonly RecordIssue[] {\n    const issues: RecordIssue[] = [];\n    const runs = new Map<string, number>();\n    const attempts = new Map<string, AttemptLocation>();\n    for (const [runIndex, runCore] of core.runs.entries()) {\n        const runId = runCore.run.runId;\n        const prefix = runPrefix(runIndex);\n        const priorRunIndex = runs.get(runId);\n        if (priorRunIndex !== undefined) {\n            issues.push(recordIssue(\"record-run-duplicate\", [...prefix, \"run\", \"runId\"]));\n        }\n        else {\n            runs.set(runId, runIndex);\n        }\n        appendIssues(issues, [...prefix, \"run\"], validateRunDocumentV1(runCore.run));\n        validateRunMembers(runCore, runIndex, issues);\n        for (const [attemptIndex, attempt] of runCore.attempts.entries()) {\n            const path = attemptPrefix(runIndex, attemptIndex);\n            if (attempt.originRunId !== runId) {\n                issues.push(recordIssue(\"record-attempt-owner-invalid\", [...path, \"originRunId\"]));\n                continue;\n            }\n            const key = referenceKey({ originRunId: runId, attemptId: attempt.attemptId });\n            if (attempts.has(key)) {\n                issues.push(recordIssue(\"record-attempt-duplicate\", [...path, \"attemptId\"]));\n            }\n            else {\n                attempts.set(key, { runIndex, attemptIndex });\n            }\n        }\n    }\n    const originMemberCounts = new Map<string, number>();\n    for (const [runIndex, runCore] of core.runs.entries()) {\n        for (const [memberIndex, member] of runCore.members.entries()) {\n            const key = referenceKey(member.attempt);\n            if (!attempts.has(key)) {\n                issues.push(recordIssue(\"record-attempt-reference-missing\", [\n                    ...memberPrefix(runIndex, memberIndex),\n                    \"attempt\",\n                ]));\n                continue;\n            }\n            if (member.attempt.originRunId === runCore.run.runId) {\n                originMemberCounts.set(key, (originMemberCounts.get(key) ?? 0) + 1);\n            }\n        }\n    }\n    for (const [key, location] of attempts.entries()) {\n        const count = originMemberCounts.get(key) ?? 0;\n        const path = attemptPrefix(location.runIndex, location.attemptIndex);\n        if (count === 0) {\n            issues.push(recordIssue(\"record-origin-member-missing\", path));\n        }\n        else if (count > 1) {\n            issues.push(recordIssue(\"record-origin-member-duplicate\", path));\n        }\n    }\n    return Object.freeze(issues);\n}\nfunction validateRunMembers(runCore: RunCoreV1, runIndex: number, issues: RecordIssue[]): void {\n    const expectedSlots = new Set<string>(runCore.run.expectedSlots);\n    const members = new Set<string>();\n    for (const [memberIndex, member] of runCore.members.entries()) {\n        const path = memberPrefix(runIndex, memberIndex);\n        if (!expectedSlots.has(member.slotId)) {\n            issues.push(recordIssue(\"record-member-slot-unexpected\", [...path, \"slotId\"]));\n        }\n        if (members.has(member.slotId)) {\n            issues.push(recordIssue(\"record-member-slot-duplicate\", [...path, \"slotId\"]));\n        }\n        members.add(member.slotId);\n    }\n}\n/** Converts validator output to the non-empty form carried by invalid read states. */\nexport { nonEmptyRecordIssues };\n"]}

package/dist/record/model/validation.d.cts

@@ -0,0 +1,16 @@
+import { nonEmptyRecordIssues, type RecordIssue } from "../errors/record-errors.cjs";
+import type { RecordAttachmentEnvelopeV1, RecordCoreV1, RunDocumentV1 } from "./core.cjs";
+import { type SlotId } from "./identifiers.cjs";
+/** Rejects duplicate or non-canonically ordered slot denominators. */
+export declare function validateExpectedSlots(expectedSlots: readonly SlotId[]): readonly RecordIssue[];
+/** Validates invariants entirely contained by `run.json`. */
+export declare function validateRunDocumentV1(run: RunDocumentV1): readonly RecordIssue[];
+/** Validates the name/schema identity coupling in `attachment.json`. */
+export declare function validateRecordAttachmentEnvelopeV1(envelope: RecordAttachmentEnvelopeV1): readonly RecordIssue[];
+/**
+ * Validates the Core facts that need all published documents in one frozen
+ * Record snapshot: denominator membership, owner identity, and exact refs.
+ */
+export declare function validateRecordCoreV1(core: RecordCoreV1): readonly RecordIssue[];
+/** Converts validator output to the non-empty form carried by invalid read states. */
+export { nonEmptyRecordIssues };

package/dist/record/model/validation.d.mts

@@ -0,0 +1,16 @@
+import { nonEmptyRecordIssues, type RecordIssue } from "../errors/record-errors.mjs";
+import type { RecordAttachmentEnvelopeV1, RecordCoreV1, RunDocumentV1 } from "./core.mjs";
+import { type SlotId } from "./identifiers.mjs";
+/** Rejects duplicate or non-canonically ordered slot denominators. */
+export declare function validateExpectedSlots(expectedSlots: readonly SlotId[]): readonly RecordIssue[];
+/** Validates invariants entirely contained by `run.json`. */
+export declare function validateRunDocumentV1(run: RunDocumentV1): readonly RecordIssue[];
+/** Validates the name/schema identity coupling in `attachment.json`. */
+export declare function validateRecordAttachmentEnvelopeV1(envelope: RecordAttachmentEnvelopeV1): readonly RecordIssue[];
+/**
+ * Validates the Core facts that need all published documents in one frozen
+ * Record snapshot: denominator membership, owner identity, and exact refs.
+ */
+export declare function validateRecordCoreV1(core: RecordCoreV1): readonly RecordIssue[];
+/** Converts validator output to the non-empty form carried by invalid read states. */
+export { nonEmptyRecordIssues };

package/dist/record/model/validation.d.ts

@@ -0,0 +1,16 @@
+import { nonEmptyRecordIssues, type RecordIssue } from "../errors/record-errors.js";
+import type { RecordAttachmentEnvelopeV1, RecordCoreV1, RunDocumentV1 } from "./core.js";
+import { type SlotId } from "./identifiers.js";
+/** Rejects duplicate or non-canonically ordered slot denominators. */
+export declare function validateExpectedSlots(expectedSlots: readonly SlotId[]): readonly RecordIssue[];
+/** Validates invariants entirely contained by `run.json`. */
+export declare function validateRunDocumentV1(run: RunDocumentV1): readonly RecordIssue[];
+/** Validates the name/schema identity coupling in `attachment.json`. */
+export declare function validateRecordAttachmentEnvelopeV1(envelope: RecordAttachmentEnvelopeV1): readonly RecordIssue[];
+/**
+ * Validates the Core facts that need all published documents in one frozen
+ * Record snapshot: denominator membership, owner identity, and exact refs.
+ */
+export declare function validateRecordCoreV1(core: RecordCoreV1): readonly RecordIssue[];
+/** Converts validator output to the non-empty form carried by invalid read states. */
+export { nonEmptyRecordIssues };

package/dist/record/model/validation.js

@@ -0,0 +1,14 @@
+import { createRequire as __niceevalCreateRequire } from "node:module";
+const __niceevalRequire = __niceevalCreateRequire(import.meta.url);
+const __niceevalCanonical = __niceevalRequire("./validation.cjs");
+const __niceevalExport0 = __niceevalCanonical["nonEmptyRecordIssues"];
+export { __niceevalExport0 as nonEmptyRecordIssues };
+const __niceevalExport1 = __niceevalCanonical["validateExpectedSlots"];
+export { __niceevalExport1 as validateExpectedSlots };
+const __niceevalExport2 = __niceevalCanonical["validateRecordAttachmentEnvelopeV1"];
+export { __niceevalExport2 as validateRecordAttachmentEnvelopeV1 };
+const __niceevalExport3 = __niceevalCanonical["validateRecordCoreV1"];
+export { __niceevalExport3 as validateRecordCoreV1 };
+const __niceevalExport4 = __niceevalCanonical["validateRunDocumentV1"];
+export { __niceevalExport4 as validateRunDocumentV1 };
+//# sourceMappingURL=validation.js.map

package/dist/record/model/validation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validation.js","sources":[],"names":[],"mappings":""}

package/dist/record/platform/errors.cjs

@@ -0,0 +1,101 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.RecordGitCommandError = exports.RecordWriterBusy = exports.RecordMaintenanceBusy = exports.RecordPermissionError = exports.RecordIoError = exports.RecordResourceLimitExceeded = exports.RecordPathAlreadyExists = exports.RecordPathTypeInvalid = exports.RecordPathInvalid = exports.RecordRootInvalid = exports.RecordResourceLimitInvalid = exports.RecordPlatformResourceSchema = exports.RecordPathKindSchema = exports.RecordPlatformOperationSchema = void 0;
+const effect_1 = require("effect");
+/** Bounded operation names are safe to surface in Record diagnostics. */
+exports.RecordPlatformOperationSchema = effect_1.Schema.Literal("create-directory", "list-directory", "read-file", "write-file", "sync-file", "sync-directory", "remove-path", "acquire-maintenance-lock", "release-maintenance-lock", "acquire-writer-lock", "release-writer-lock", "inspect-git");
+exports.RecordPathKindSchema = effect_1.Schema.Literal("missing", "file", "directory", "other");
+exports.RecordPlatformResourceSchema = effect_1.Schema.Literal("directory-entries", "file-bytes", "git-output");
+const FiniteNonNegativeIntegerSchema = effect_1.Schema.Number.pipe(effect_1.Schema.filter((value) => Number.isFinite(value) && Number.isInteger(value) && value >= 0, {
+    identifier: "FiniteNonNegativeInteger",
+    description: "a finite non-negative integer",
+}));
+/** A caller supplied an invalid bound before any filesystem work began. */
+class RecordResourceLimitInvalid extends effect_1.Schema.TaggedError("@niceeval/record/RecordResourceLimitInvalid")("RecordResourceLimitInvalid", {
+    code: effect_1.Schema.Literal("record-resource-limit-invalid"),
+    resource: exports.RecordPlatformResourceSchema,
+    maximum: effect_1.Schema.Number,
+}) {
+}
+exports.RecordResourceLimitInvalid = RecordResourceLimitInvalid;
+/** A forged or malformed host-local root never reaches Node filesystem calls. */
+class RecordRootInvalid extends effect_1.Schema.TaggedError("@niceeval/record/RecordRootInvalid")("RecordRootInvalid", {
+    code: effect_1.Schema.Literal("record-root-invalid"),
+}) {
+}
+exports.RecordRootInvalid = RecordRootInvalid;
+/** A portable relative location cannot address a host path outside its root. */
+class RecordPathInvalid extends effect_1.Schema.TaggedError("@niceeval/record/RecordPathInvalid")("RecordPathInvalid", {
+    code: effect_1.Schema.Literal("record-path-invalid"),
+    reason: effect_1.Schema.Literal("segment-invalid", "file-path-empty"),
+    segments: effect_1.Schema.Array(effect_1.Schema.String),
+}) {
+}
+exports.RecordPathInvalid = RecordPathInvalid;
+/** A caller expected a file or directory but durable storage has another shape. */
+class RecordPathTypeInvalid extends effect_1.Schema.TaggedError("@niceeval/record/RecordPathTypeInvalid")("RecordPathTypeInvalid", {
+    code: effect_1.Schema.Literal("record-path-type-invalid"),
+    path: effect_1.Schema.String,
+    expected: effect_1.Schema.Literal("file", "directory"),
+    actual: exports.RecordPathKindSchema,
+}) {
+}
+exports.RecordPathTypeInvalid = RecordPathTypeInvalid;
+/** An exclusive create found an existing file or directory. */
+class RecordPathAlreadyExists extends effect_1.Schema.TaggedError("@niceeval/record/RecordPathAlreadyExists")("RecordPathAlreadyExists", {
+    code: effect_1.Schema.Literal("record-path-already-exists"),
+    path: effect_1.Schema.String,
+}) {
+}
+exports.RecordPathAlreadyExists = RecordPathAlreadyExists;
+/** A bounded platform operation would exceed its declared resource limit. */
+class RecordResourceLimitExceeded extends effect_1.Schema.TaggedError("@niceeval/record/RecordResourceLimitExceeded")("RecordResourceLimitExceeded", {
+    code: effect_1.Schema.Literal("record-resource-limit-exceeded"),
+    resource: exports.RecordPlatformResourceSchema,
+    maximum: FiniteNonNegativeIntegerSchema,
+    /** May be the first value beyond the cap; callers need not scan to an exact total. */
+    observedAtLeast: FiniteNonNegativeIntegerSchema,
+    path: effect_1.Schema.String,
+}) {
+}
+exports.RecordResourceLimitExceeded = RecordResourceLimitExceeded;
+/** Node I/O outside permission failures, with the native cause retained only for diagnostics. */
+class RecordIoError extends effect_1.Schema.TaggedError("@niceeval/record/RecordIoError")("RecordIoError", {
+    code: effect_1.Schema.Literal("record-io-error"),
+    operation: exports.RecordPlatformOperationSchema,
+    path: effect_1.Schema.String,
+    cause: effect_1.Schema.Defect,
+}) {
+}
+exports.RecordIoError = RecordIoError;
+/** Permission failures remain distinct so readers can report an actionable error. */
+class RecordPermissionError extends effect_1.Schema.TaggedError("@niceeval/record/RecordPermissionError")("RecordPermissionError", {
+    code: effect_1.Schema.Literal("record-permission-denied"),
+    operation: exports.RecordPlatformOperationSchema,
+    path: effect_1.Schema.String,
+    cause: effect_1.Schema.Defect,
+}) {
+}
+exports.RecordPermissionError = RecordPermissionError;
+/** A migrate lease conflicts with a reader, writer, or clean operation. */
+class RecordMaintenanceBusy extends effect_1.Schema.TaggedError("@niceeval/record/RecordMaintenanceBusy")("RecordMaintenanceBusy", {
+    code: effect_1.Schema.Literal("record-maintenance-busy"),
+    requested: effect_1.Schema.Literal("shared", "exclusive"),
+}) {
+}
+exports.RecordMaintenanceBusy = RecordMaintenanceBusy;
+/** A second cooperative writer or clean operation attempted to own a root. */
+class RecordWriterBusy extends effect_1.Schema.TaggedError("@niceeval/record/RecordWriterBusy")("RecordWriterBusy", {
+    code: effect_1.Schema.Literal("record-writer-busy"),
+}) {
+}
+exports.RecordWriterBusy = RecordWriterBusy;
+/** Git inspection failed for a reason other than an ordinary no-restore-point state. */
+class RecordGitCommandError extends effect_1.Schema.TaggedError("@niceeval/record/RecordGitCommandError")("RecordGitCommandError", {
+    code: effect_1.Schema.Literal("record-git-command-failed"),
+    operation: effect_1.Schema.Literal("locate-worktree", "read-head", "inspect-status"),
+    cause: effect_1.Schema.Defect,
+}) {
+}
+exports.RecordGitCommandError = RecordGitCommandError;
+//# sourceMappingURL=errors.cjs.map

package/dist/record/platform/errors.cjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["errors.ts"],"names":[],"mappings":";;;AAAA,mCAAgC;AAChC,yEAAyE;AAC5D,QAAA,6BAA6B,GAAG,eAAM,CAAC,OAAO,CAAC,kBAAkB,EAAE,gBAAgB,EAAE,WAAW,EAAE,YAAY,EAAE,WAAW,EAAE,gBAAgB,EAAE,aAAa,EAAE,0BAA0B,EAAE,0BAA0B,EAAE,qBAAqB,EAAE,qBAAqB,EAAE,aAAa,CAAC,CAAC;AAEnR,QAAA,oBAAoB,GAAG,eAAM,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;AAE/E,QAAA,4BAA4B,GAAG,eAAM,CAAC,OAAO,CAAC,mBAAmB,EAAE,YAAY,EAAE,YAAY,CAAC,CAAC;AAE5G,MAAM,8BAA8B,GAAG,eAAM,CAAC,MAAM,CAAC,IAAI,CAAC,eAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE;IAChJ,UAAU,EAAE,0BAA0B;IACtC,WAAW,EAAE,+BAA+B;CAC/C,CAAC,CAAC,CAAC;AACJ,2EAA2E;AAC3E,MAAa,0BAA2B,SAAQ,eAAM,CAAC,WAAW,CAA6B,6CAA6C,CAAC,CAAC,4BAA4B,EAAE;IACxK,IAAI,EAAE,eAAM,CAAC,OAAO,CAAC,+BAA+B,CAAC;IACrD,QAAQ,EAAE,oCAA4B;IACtC,OAAO,EAAE,eAAM,CAAC,MAAM;CACzB,CAAC;CACD;AALD,gEAKC;AACD,iFAAiF;AACjF,MAAa,iBAAkB,SAAQ,eAAM,CAAC,WAAW,CAAoB,oCAAoC,CAAC,CAAC,mBAAmB,EAAE;IACpI,IAAI,EAAE,eAAM,CAAC,OAAO,CAAC,qBAAqB,CAAC;CAC9C,CAAC;CACD;AAHD,8CAGC;AACD,gFAAgF;AAChF,MAAa,iBAAkB,SAAQ,eAAM,CAAC,WAAW,CAAoB,oCAAoC,CAAC,CAAC,mBAAmB,EAAE;IACpI,IAAI,EAAE,eAAM,CAAC,OAAO,CAAC,qBAAqB,CAAC;IAC3C,MAAM,EAAE,eAAM,CAAC,OAAO,CAAC,iBAAiB,EAAE,iBAAiB,CAAC;IAC5D,QAAQ,EAAE,eAAM,CAAC,KAAK,CAAC,eAAM,CAAC,MAAM,CAAC;CACxC,CAAC;CACD;AALD,8CAKC;AACD,mFAAmF;AACnF,MAAa,qBAAsB,SAAQ,eAAM,CAAC,WAAW,CAAwB,wCAAwC,CAAC,CAAC,uBAAuB,EAAE;IACpJ,IAAI,EAAE,eAAM,CAAC,OAAO,CAAC,0BAA0B,CAAC;IAChD,IAAI,EAAE,eAAM,CAAC,MAAM;IACnB,QAAQ,EAAE,eAAM,CAAC,OAAO,CAAC,MAAM,EAAE,WAAW,CAAC;IAC7C,MAAM,EAAE,4BAAoB;CAC/B,CAAC;CACD;AAND,sDAMC;AACD,+DAA+D;AAC/D,MAAa,uBAAwB,SAAQ,eAAM,CAAC,WAAW,CAA0B,0CAA0C,CAAC,CAAC,yBAAyB,EAAE;IAC5J,IAAI,EAAE,eAAM,CAAC,OAAO,CAAC,4BAA4B,CAAC;IAClD,IAAI,EAAE,eAAM,CAAC,MAAM;CACtB,CAAC;CACD;AAJD,0DAIC;AACD,6EAA6E;AAC7E,MAAa,2BAA4B,SAAQ,eAAM,CAAC,WAAW,CAA8B,8CAA8C,CAAC,CAAC,6BAA6B,EAAE;IAC5K,IAAI,EAAE,eAAM,CAAC,OAAO,CAAC,gCAAgC,CAAC;IACtD,QAAQ,EAAE,oCAA4B;IACtC,OAAO,EAAE,8BAA8B;IACvC,sFAAsF;IACtF,eAAe,EAAE,8BAA8B;IAC/C,IAAI,EAAE,eAAM,CAAC,MAAM;CACtB,CAAC;CACD;AARD,kEAQC;AACD,iGAAiG;AACjG,MAAa,aAAc,SAAQ,eAAM,CAAC,WAAW,CAAgB,gCAAgC,CAAC,CAAC,eAAe,EAAE;IACpH,IAAI,EAAE,eAAM,CAAC,OAAO,CAAC,iBAAiB,CAAC;IACvC,SAAS,EAAE,qCAA6B;IACxC,IAAI,EAAE,eAAM,CAAC,MAAM;IACnB,KAAK,EAAE,eAAM,CAAC,MAAM;CACvB,CAAC;CACD;AAND,sCAMC;AACD,qFAAqF;AACrF,MAAa,qBAAsB,SAAQ,eAAM,CAAC,WAAW,CAAwB,wCAAwC,CAAC,CAAC,uBAAuB,EAAE;IACpJ,IAAI,EAAE,eAAM,CAAC,OAAO,CAAC,0BAA0B,CAAC;IAChD,SAAS,EAAE,qCAA6B;IACxC,IAAI,EAAE,eAAM,CAAC,MAAM;IACnB,KAAK,EAAE,eAAM,CAAC,MAAM;CACvB,CAAC;CACD;AAND,sDAMC;AACD,2EAA2E;AAC3E,MAAa,qBAAsB,SAAQ,eAAM,CAAC,WAAW,CAAwB,wCAAwC,CAAC,CAAC,uBAAuB,EAAE;IACpJ,IAAI,EAAE,eAAM,CAAC,OAAO,CAAC,yBAAyB,CAAC;IAC/C,SAAS,EAAE,eAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,WAAW,CAAC;CACnD,CAAC;CACD;AAJD,sDAIC;AACD,8EAA8E;AAC9E,MAAa,gBAAiB,SAAQ,eAAM,CAAC,WAAW,CAAmB,mCAAmC,CAAC,CAAC,kBAAkB,EAAE;IAChI,IAAI,EAAE,eAAM,CAAC,OAAO,CAAC,oBAAoB,CAAC;CAC7C,CAAC;CACD;AAHD,4CAGC;AACD,wFAAwF;AACxF,MAAa,qBAAsB,SAAQ,eAAM,CAAC,WAAW,CAAwB,wCAAwC,CAAC,CAAC,uBAAuB,EAAE;IACpJ,IAAI,EAAE,eAAM,CAAC,OAAO,CAAC,2BAA2B,CAAC;IACjD,SAAS,EAAE,eAAM,CAAC,OAAO,CAAC,iBAAiB,EAAE,WAAW,EAAE,gBAAgB,CAAC;IAC3E,KAAK,EAAE,eAAM,CAAC,MAAM;CACvB,CAAC;CACD;AALD,sDAKC","sourcesContent":["import { Schema } from \"effect\";\n/** Bounded operation names are safe to surface in Record diagnostics. */\nexport const RecordPlatformOperationSchema = Schema.Literal(\"create-directory\", \"list-directory\", \"read-file\", \"write-file\", \"sync-file\", \"sync-directory\", \"remove-path\", \"acquire-maintenance-lock\", \"release-maintenance-lock\", \"acquire-writer-lock\", \"release-writer-lock\", \"inspect-git\");\nexport type RecordPlatformOperation = Schema.Schema.Type<typeof RecordPlatformOperationSchema>;\nexport const RecordPathKindSchema = Schema.Literal(\"missing\", \"file\", \"directory\", \"other\");\nexport type RecordPathKind = Schema.Schema.Type<typeof RecordPathKindSchema>;\nexport const RecordPlatformResourceSchema = Schema.Literal(\"directory-entries\", \"file-bytes\", \"git-output\");\nexport type RecordPlatformResource = Schema.Schema.Type<typeof RecordPlatformResourceSchema>;\nconst FiniteNonNegativeIntegerSchema = Schema.Number.pipe(Schema.filter((value) => Number.isFinite(value) && Number.isInteger(value) && value >= 0, {\n    identifier: \"FiniteNonNegativeInteger\",\n    description: \"a finite non-negative integer\",\n}));\n/** A caller supplied an invalid bound before any filesystem work began. */\nexport class RecordResourceLimitInvalid extends Schema.TaggedError<RecordResourceLimitInvalid>(\"@niceeval/record/RecordResourceLimitInvalid\")(\"RecordResourceLimitInvalid\", {\n    code: Schema.Literal(\"record-resource-limit-invalid\"),\n    resource: RecordPlatformResourceSchema,\n    maximum: Schema.Number,\n}) {\n}\n/** A forged or malformed host-local root never reaches Node filesystem calls. */\nexport class RecordRootInvalid extends Schema.TaggedError<RecordRootInvalid>(\"@niceeval/record/RecordRootInvalid\")(\"RecordRootInvalid\", {\n    code: Schema.Literal(\"record-root-invalid\"),\n}) {\n}\n/** A portable relative location cannot address a host path outside its root. */\nexport class RecordPathInvalid extends Schema.TaggedError<RecordPathInvalid>(\"@niceeval/record/RecordPathInvalid\")(\"RecordPathInvalid\", {\n    code: Schema.Literal(\"record-path-invalid\"),\n    reason: Schema.Literal(\"segment-invalid\", \"file-path-empty\"),\n    segments: Schema.Array(Schema.String),\n}) {\n}\n/** A caller expected a file or directory but durable storage has another shape. */\nexport class RecordPathTypeInvalid extends Schema.TaggedError<RecordPathTypeInvalid>(\"@niceeval/record/RecordPathTypeInvalid\")(\"RecordPathTypeInvalid\", {\n    code: Schema.Literal(\"record-path-type-invalid\"),\n    path: Schema.String,\n    expected: Schema.Literal(\"file\", \"directory\"),\n    actual: RecordPathKindSchema,\n}) {\n}\n/** An exclusive create found an existing file or directory. */\nexport class RecordPathAlreadyExists extends Schema.TaggedError<RecordPathAlreadyExists>(\"@niceeval/record/RecordPathAlreadyExists\")(\"RecordPathAlreadyExists\", {\n    code: Schema.Literal(\"record-path-already-exists\"),\n    path: Schema.String,\n}) {\n}\n/** A bounded platform operation would exceed its declared resource limit. */\nexport class RecordResourceLimitExceeded extends Schema.TaggedError<RecordResourceLimitExceeded>(\"@niceeval/record/RecordResourceLimitExceeded\")(\"RecordResourceLimitExceeded\", {\n    code: Schema.Literal(\"record-resource-limit-exceeded\"),\n    resource: RecordPlatformResourceSchema,\n    maximum: FiniteNonNegativeIntegerSchema,\n    /** May be the first value beyond the cap; callers need not scan to an exact total. */\n    observedAtLeast: FiniteNonNegativeIntegerSchema,\n    path: Schema.String,\n}) {\n}\n/** Node I/O outside permission failures, with the native cause retained only for diagnostics. */\nexport class RecordIoError extends Schema.TaggedError<RecordIoError>(\"@niceeval/record/RecordIoError\")(\"RecordIoError\", {\n    code: Schema.Literal(\"record-io-error\"),\n    operation: RecordPlatformOperationSchema,\n    path: Schema.String,\n    cause: Schema.Defect,\n}) {\n}\n/** Permission failures remain distinct so readers can report an actionable error. */\nexport class RecordPermissionError extends Schema.TaggedError<RecordPermissionError>(\"@niceeval/record/RecordPermissionError\")(\"RecordPermissionError\", {\n    code: Schema.Literal(\"record-permission-denied\"),\n    operation: RecordPlatformOperationSchema,\n    path: Schema.String,\n    cause: Schema.Defect,\n}) {\n}\n/** A migrate lease conflicts with a reader, writer, or clean operation. */\nexport class RecordMaintenanceBusy extends Schema.TaggedError<RecordMaintenanceBusy>(\"@niceeval/record/RecordMaintenanceBusy\")(\"RecordMaintenanceBusy\", {\n    code: Schema.Literal(\"record-maintenance-busy\"),\n    requested: Schema.Literal(\"shared\", \"exclusive\"),\n}) {\n}\n/** A second cooperative writer or clean operation attempted to own a root. */\nexport class RecordWriterBusy extends Schema.TaggedError<RecordWriterBusy>(\"@niceeval/record/RecordWriterBusy\")(\"RecordWriterBusy\", {\n    code: Schema.Literal(\"record-writer-busy\"),\n}) {\n}\n/** Git inspection failed for a reason other than an ordinary no-restore-point state. */\nexport class RecordGitCommandError extends Schema.TaggedError<RecordGitCommandError>(\"@niceeval/record/RecordGitCommandError\")(\"RecordGitCommandError\", {\n    code: Schema.Literal(\"record-git-command-failed\"),\n    operation: Schema.Literal(\"locate-worktree\", \"read-head\", \"inspect-status\"),\n    cause: Schema.Defect,\n}) {\n}\nexport type RecordFileSystemError = RecordRootInvalid | RecordPathInvalid | RecordPathTypeInvalid | RecordPathAlreadyExists | RecordResourceLimitInvalid | RecordResourceLimitExceeded | RecordIoError | RecordPermissionError;\nexport type RecordMaintenanceLockError = RecordFileSystemError | RecordMaintenanceBusy;\nexport type RecordWriterLockError = RecordFileSystemError | RecordWriterBusy;\nexport type RecordGitError = RecordRootInvalid | RecordResourceLimitInvalid | RecordResourceLimitExceeded | RecordGitCommandError;\n"]}

package/dist/record/platform/errors.d.cts

@@ -0,0 +1,123 @@
+import { Schema } from "effect";
+/** Bounded operation names are safe to surface in Record diagnostics. */
+export declare const RecordPlatformOperationSchema: Schema.Literal<["create-directory", "list-directory", "read-file", "write-file", "sync-file", "sync-directory", "remove-path", "acquire-maintenance-lock", "release-maintenance-lock", "acquire-writer-lock", "release-writer-lock", "inspect-git"]>;
+export type RecordPlatformOperation = Schema.Schema.Type<typeof RecordPlatformOperationSchema>;
+export declare const RecordPathKindSchema: Schema.Literal<["missing", "file", "directory", "other"]>;
+export type RecordPathKind = Schema.Schema.Type<typeof RecordPathKindSchema>;
+export declare const RecordPlatformResourceSchema: Schema.Literal<["directory-entries", "file-bytes", "git-output"]>;
+export type RecordPlatformResource = Schema.Schema.Type<typeof RecordPlatformResourceSchema>;
+declare const RecordResourceLimitInvalid_base: Schema.TaggedErrorClass<RecordResourceLimitInvalid, "RecordResourceLimitInvalid", {
+    readonly _tag: Schema.tag<"RecordResourceLimitInvalid">;
+} & {
+    code: Schema.Literal<["record-resource-limit-invalid"]>;
+    resource: Schema.Literal<["directory-entries", "file-bytes", "git-output"]>;
+    maximum: typeof Schema.Number;
+}>;
+/** A caller supplied an invalid bound before any filesystem work began. */
+export declare class RecordResourceLimitInvalid extends RecordResourceLimitInvalid_base {
+}
+declare const RecordRootInvalid_base: Schema.TaggedErrorClass<RecordRootInvalid, "RecordRootInvalid", {
+    readonly _tag: Schema.tag<"RecordRootInvalid">;
+} & {
+    code: Schema.Literal<["record-root-invalid"]>;
+}>;
+/** A forged or malformed host-local root never reaches Node filesystem calls. */
+export declare class RecordRootInvalid extends RecordRootInvalid_base {
+}
+declare const RecordPathInvalid_base: Schema.TaggedErrorClass<RecordPathInvalid, "RecordPathInvalid", {
+    readonly _tag: Schema.tag<"RecordPathInvalid">;
+} & {
+    code: Schema.Literal<["record-path-invalid"]>;
+    reason: Schema.Literal<["segment-invalid", "file-path-empty"]>;
+    segments: Schema.Array$<typeof Schema.String>;
+}>;
+/** A portable relative location cannot address a host path outside its root. */
+export declare class RecordPathInvalid extends RecordPathInvalid_base {
+}
+declare const RecordPathTypeInvalid_base: Schema.TaggedErrorClass<RecordPathTypeInvalid, "RecordPathTypeInvalid", {
+    readonly _tag: Schema.tag<"RecordPathTypeInvalid">;
+} & {
+    code: Schema.Literal<["record-path-type-invalid"]>;
+    path: typeof Schema.String;
+    expected: Schema.Literal<["file", "directory"]>;
+    actual: Schema.Literal<["missing", "file", "directory", "other"]>;
+}>;
+/** A caller expected a file or directory but durable storage has another shape. */
+export declare class RecordPathTypeInvalid extends RecordPathTypeInvalid_base {
+}
+declare const RecordPathAlreadyExists_base: Schema.TaggedErrorClass<RecordPathAlreadyExists, "RecordPathAlreadyExists", {
+    readonly _tag: Schema.tag<"RecordPathAlreadyExists">;
+} & {
+    code: Schema.Literal<["record-path-already-exists"]>;
+    path: typeof Schema.String;
+}>;
+/** An exclusive create found an existing file or directory. */
+export declare class RecordPathAlreadyExists extends RecordPathAlreadyExists_base {
+}
+declare const RecordResourceLimitExceeded_base: Schema.TaggedErrorClass<RecordResourceLimitExceeded, "RecordResourceLimitExceeded", {
+    readonly _tag: Schema.tag<"RecordResourceLimitExceeded">;
+} & {
+    code: Schema.Literal<["record-resource-limit-exceeded"]>;
+    resource: Schema.Literal<["directory-entries", "file-bytes", "git-output"]>;
+    maximum: Schema.filter<typeof Schema.Number>;
+    /** May be the first value beyond the cap; callers need not scan to an exact total. */
+    observedAtLeast: Schema.filter<typeof Schema.Number>;
+    path: typeof Schema.String;
+}>;
+/** A bounded platform operation would exceed its declared resource limit. */
+export declare class RecordResourceLimitExceeded extends RecordResourceLimitExceeded_base {
+}
+declare const RecordIoError_base: Schema.TaggedErrorClass<RecordIoError, "RecordIoError", {
+    readonly _tag: Schema.tag<"RecordIoError">;
+} & {
+    code: Schema.Literal<["record-io-error"]>;
+    operation: Schema.Literal<["create-directory", "list-directory", "read-file", "write-file", "sync-file", "sync-directory", "remove-path", "acquire-maintenance-lock", "release-maintenance-lock", "acquire-writer-lock", "release-writer-lock", "inspect-git"]>;
+    path: typeof Schema.String;
+    cause: typeof Schema.Defect;
+}>;
+/** Node I/O outside permission failures, with the native cause retained only for diagnostics. */
+export declare class RecordIoError extends RecordIoError_base {
+}
+declare const RecordPermissionError_base: Schema.TaggedErrorClass<RecordPermissionError, "RecordPermissionError", {
+    readonly _tag: Schema.tag<"RecordPermissionError">;
+} & {
+    code: Schema.Literal<["record-permission-denied"]>;
+    operation: Schema.Literal<["create-directory", "list-directory", "read-file", "write-file", "sync-file", "sync-directory", "remove-path", "acquire-maintenance-lock", "release-maintenance-lock", "acquire-writer-lock", "release-writer-lock", "inspect-git"]>;
+    path: typeof Schema.String;
+    cause: typeof Schema.Defect;
+}>;
+/** Permission failures remain distinct so readers can report an actionable error. */
+export declare class RecordPermissionError extends RecordPermissionError_base {
+}
+declare const RecordMaintenanceBusy_base: Schema.TaggedErrorClass<RecordMaintenanceBusy, "RecordMaintenanceBusy", {
+    readonly _tag: Schema.tag<"RecordMaintenanceBusy">;
+} & {
+    code: Schema.Literal<["record-maintenance-busy"]>;
+    requested: Schema.Literal<["shared", "exclusive"]>;
+}>;
+/** A migrate lease conflicts with a reader, writer, or clean operation. */
+export declare class RecordMaintenanceBusy extends RecordMaintenanceBusy_base {
+}
+declare const RecordWriterBusy_base: Schema.TaggedErrorClass<RecordWriterBusy, "RecordWriterBusy", {
+    readonly _tag: Schema.tag<"RecordWriterBusy">;
+} & {
+    code: Schema.Literal<["record-writer-busy"]>;
+}>;
+/** A second cooperative writer or clean operation attempted to own a root. */
+export declare class RecordWriterBusy extends RecordWriterBusy_base {
+}
+declare const RecordGitCommandError_base: Schema.TaggedErrorClass<RecordGitCommandError, "RecordGitCommandError", {
+    readonly _tag: Schema.tag<"RecordGitCommandError">;
+} & {
+    code: Schema.Literal<["record-git-command-failed"]>;
+    operation: Schema.Literal<["locate-worktree", "read-head", "inspect-status"]>;
+    cause: typeof Schema.Defect;
+}>;
+/** Git inspection failed for a reason other than an ordinary no-restore-point state. */
+export declare class RecordGitCommandError extends RecordGitCommandError_base {
+}
+export type RecordFileSystemError = RecordRootInvalid | RecordPathInvalid | RecordPathTypeInvalid | RecordPathAlreadyExists | RecordResourceLimitInvalid | RecordResourceLimitExceeded | RecordIoError | RecordPermissionError;
+export type RecordMaintenanceLockError = RecordFileSystemError | RecordMaintenanceBusy;
+export type RecordWriterLockError = RecordFileSystemError | RecordWriterBusy;
+export type RecordGitError = RecordRootInvalid | RecordResourceLimitInvalid | RecordResourceLimitExceeded | RecordGitCommandError;
+export {};