niceeval 0.12.2-canary.31 → 0.13.0

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

@@ -1 +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"]}
+{"version":3,"file":"validation.js","sourceRoot":"","sources":["validation.ts"],"names":[],"mappings":";;;AAeA,sDAwBC;AAED,kDAaC;AAED,wDAUC;AAED,0DAEC;AAoED,gDAwGC;AAlPD,mCAAgC;AAChC,iEAAkG;AAmPzF,qGAnPA,uCAAoB,OAmPA;AAlP7B,uCAAsD;AACtD,qDAA+E;AAE/E,qDAA6D;AAC7D,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,SAAS,eAAe,CAAC,QAA4B,EAAE,OAAe;IAClE,OAAO,QAAQ,KAAK,SAAS,IAAI,IAAA,yCAAwB,EAAC,QAAQ,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;AACrF,CAAC;AACD,8EAA8E;AAC9E,SAAgB,qBAAqB,CAAC,aAA4C;IAC9E,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAC;IAC3C,IAAI,QAA4B,CAAC;IACjC,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,aAAa,CAAC,OAAO,EAAE,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,CAAC,eAAe,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,CAAC;QACxD,IAAI,CAAC,eAAe,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1C,MAAM,CAAC,IAAI,CAAC,IAAA,8BAAW,EAAC,QAAQ,KAAK,IAAI,CAAC,MAAM;gBAC5C,CAAC,CAAC,gCAAgC;gBAClC,CAAC,CAAC,oCAAoC,EAAE,IAAI,CAAC,CAAC,CAAC;QACvD,CAAC;QACD,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,QAAQ,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;YAC3D,MAAM,CAAC,IAAI,CAAC,IAAA,8BAAW,EAAC,gCAAgC,EAAE,IAAI,CAAC,CAAC,CAAC;QACrE,CAAC;QACD,MAAM,UAAU,GAAG,GAAG,IAAI,CAAC,MAAM,SAAS,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;QACxE,IAAI,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YACnC,MAAM,CAAC,IAAI,CAAC,IAAA,8BAAW,EAAC,gCAAgC,EAAE,CAAC,eAAe,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC;QACnH,CAAC;QACD,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC7B,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QACjC,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AACjC,CAAC;AACD,yEAAyE;AACzE,SAAgB,mBAAmB,CAAC,GAAgB;IAChD,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,MAAM,aAAa,GAAG,IAAA,mCAAkB,EAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACtD,YAAY,CAAC,MAAM,EAAE,CAAC,SAAS,CAAC,EAAE,aAAa,CAAC,CAAC;IACjD,MAAM,OAAO,GAAG,IAAA,uCAAsB,EAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACpD,IAAI,eAAM,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,YAAY,KAAK,GAAG,CAAC,YAAY,EAAE,CAAC;QAC7E,MAAM,CAAC,IAAI,CAAC,IAAA,8BAAW,EAAC,wCAAwC,EAAE,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC;IACpG,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,8EAA8E;AAC9E,SAAgB,sBAAsB,CAAC,MAGtC;IACG,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,KAAK,UAAU;QAChD,MAAM,CAAC,MAAM,KAAK,SAAS;QAC3B,MAAM,CAAC,MAAM,KAAK,UAAU,CAAC;IACjC,OAAO,eAAe,KAAK,CAAC,MAAM,CAAC,OAAO,KAAK,IAAI,CAAC;QAChD,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QACnB,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAA,8BAAW,EAAC,8BAA8B,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;AACpF,CAAC;AACD,iEAAiE;AACjE,SAAgB,uBAAuB,CAAC,QAAyB;IAC7D,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AAC7B,CAAC;AAMD,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,SAAS,iBAAiB,CAAC,GAAgB;IACvC,OAAO,IAAI,GAAG,CAAC,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;AACzE,CAAC;AACD,SAAS,gBAAgB,CAAC,IAAwB,EAAE,KAAyB;IACzE,OAAO,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;WAC5B,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;WAC5B,IAAI,CAAC,cAAc,KAAK,KAAK,CAAC,cAAc;WAC5C,IAAI,CAAC,uBAAuB,KAAK,KAAK,CAAC,uBAAuB,CAAC;AAC1E,CAAC;AACD,SAAS,kBAAkB,CAAC,OAAgB,EAAE,QAAgB,EAAE,MAAqB;IACjF,MAAM,aAAa,GAAG,iBAAiB,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACrD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,IAAI,QAA4B,CAAC;IACjC,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,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,sBAAsB,CAAC,MAAM,CAAC,CAAC,CAAC;QAC3D,IAAI,CAAC,eAAe,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5C,MAAM,CAAC,IAAI,CAAC,IAAA,8BAAW,EAAC,QAAQ,KAAK,MAAM,CAAC,MAAM;gBAC9C,CAAC,CAAC,8BAA8B;gBAChC,CAAC,CAAC,kCAAkC,EAAE,CAAC,GAAG,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;QACpE,CAAC;QACD,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,QAAQ,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC;YAC3D,MAAM,CAAC,IAAI,CAAC,IAAA,8BAAW,EAAC,8BAA8B,EAAE,CAAC,GAAG,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;QAClF,CAAC;QACD,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,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC3B,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC;IAC7B,CAAC;IACD,wEAAwE;IACxE,4EAA4E;IAC5E,gDAAgD;IAChD,KAAK,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,OAAO,EAAE,EAAE,CAAC;QAClE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,MAAM,CAAC,IAAI,CAAC,IAAA,8BAAW,EAAC,4BAA4B,EAAE;gBAClD,GAAG,SAAS,CAAC,QAAQ,CAAC;gBACtB,KAAK;gBACL,eAAe;gBACf,MAAM,CAAC,SAAS,CAAC;gBACjB,QAAQ;aACX,CAAC,CAAC,CAAC;QACR,CAAC;IACL,CAAC;AACL,CAAC;AACD;;;;GAIG;AACH,SAAgB,kBAAkB,CAAC,IAAgB;IAC/C,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA2B,CAAC;IACpD,IAAI,aAAiC,CAAC;IACtC,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,IAAI,CAAC,eAAe,CAAC,aAAa,EAAE,KAAK,CAAC,EAAE,CAAC;YACzC,MAAM,CAAC,IAAI,CAAC,IAAA,8BAAW,EAAC,aAAa,KAAK,KAAK,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,0BAA0B,EAAE,CAAC,GAAG,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;QACzI,CAAC;QACD,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,aAAa,KAAK,KAAK,EAAE,CAAC;YAC7C,MAAM,CAAC,IAAI,CAAC,IAAA,8BAAW,EAAC,sBAAsB,EAAE,CAAC,GAAG,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;QAClF,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QAC1B,aAAa,GAAG,KAAK,CAAC;QACtB,YAAY,CAAC,MAAM,EAAE,CAAC,GAAG,MAAM,EAAE,KAAK,CAAC,EAAE,mBAAmB,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3E,kBAAkB,CAAC,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC9C,MAAM,aAAa,GAAG,iBAAiB,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACrD,IAAI,iBAAqC,CAAC;QAC1C,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,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,uBAAuB,CAAC,OAAO,CAAC,CAAC,CAAC;YAC7D,IAAI,CAAC,eAAe,CAAC,iBAAiB,EAAE,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;gBACzD,MAAM,CAAC,IAAI,CAAC,IAAA,8BAAW,EAAC,iBAAiB,KAAK,OAAO,CAAC,SAAS;oBAC3D,CAAC,CAAC,0BAA0B;oBAC5B,CAAC,CAAC,8BAA8B,EAAE,CAAC,GAAG,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;YACnE,CAAC;YACD,iBAAiB,GAAG,OAAO,CAAC,SAAS,CAAC;YACtC,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,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC/C,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACrB,MAAM,CAAC,IAAI,CAAC,IAAA,8BAAW,EAAC,gCAAgC,EAAE,CAAC,GAAG,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;YACpF,CAAC;iBACI,CAAC;gBACF,IAAI,IAAI,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC;oBACjC,MAAM,CAAC,IAAI,CAAC,IAAA,8BAAW,EAAC,8BAA8B,EAAE,CAAC,GAAG,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;gBAClF,CAAC;gBACD,IAAI,IAAI,CAAC,uBAAuB,KAAK,OAAO,CAAC,uBAAuB,EAAE,CAAC;oBACnE,MAAM,CAAC,IAAI,CAAC,IAAA,8BAAW,EAAC,gCAAgC,EAAE;wBACtD,GAAG,IAAI;wBACP,yBAAyB;qBAC5B,CAAC,CAAC,CAAC;gBACR,CAAC;YACL,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,OAAO,EAAE,CAAC,CAAC;YAC3D,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,IAAI,MAAM,CAAC,OAAO,KAAK,IAAI;gBACvB,SAAS;YACb,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;YACjD,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;YAC1D,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACvB,MAAM,CAAC,IAAI,CAAC,IAAA,8BAAW,EAAC,kCAAkC,EAAE,CAAC,GAAG,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;gBACnF,SAAS;YACb,CAAC;YACD,uEAAuE;YACvE,uEAAuE;YACvE,qEAAqE;YACrE,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;gBAC/B,MAAM,cAAc,GAAG,iBAAiB,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;gBACzE,MAAM,cAAc,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBACrG,IAAI,cAAc,KAAK,SAAS;uBACzB,cAAc,KAAK,SAAS;uBAC5B,CAAC,gBAAgB,CAAC,cAAc,EAAE,cAAc,CAAC,EAAE,CAAC;oBACvD,MAAM,CAAC,IAAI,CAAC,IAAA,8BAAW,EAAC,8BAA8B,EAAE,CAAC,GAAG,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;gBACnF,CAAC;YACL,CAAC;YACD,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;gBAC/B,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,KAAK,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;oBACnD,MAAM,CAAC,IAAI,CAAC,IAAA,8BAAW,EAAC,8BAA8B,EAAE,CAAC,GAAG,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;oBAC9E,SAAS;gBACb,CAAC;gBACD,MAAM,GAAG,GAAG,YAAY,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;gBACzC,kBAAkB,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACxE,CAAC;iBACI,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,KAAK,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;gBACxD,MAAM,CAAC,IAAI,CAAC,IAAA,8BAAW,EAAC,8BAA8B,EAAE,CAAC,GAAG,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;YAClF,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","sourcesContent":["import { Either } from \"effect\";\nimport { nonEmptyRecordIssues, recordIssue, type RecordIssue, } from \"../errors/record-errors.ts\";\nimport { recordAttemptReferenceKey } from \"./core.ts\";\nimport { canonicalizeRunContext, validateRunContext, } from \"./run-context.ts\";\nimport type { AttemptDocument, MembershipAction, RecordAttemptRef, RecordCore, RecordSlotIdentity, RunCore, RunDocument, } from \"./core.ts\";\nimport { compareCanonicalIdentity, } 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}\nfunction isStrictlyAfter(previous: string | undefined, current: string): boolean {\n    return previous === undefined || compareCanonicalIdentity(previous, current) < 0;\n}\n/** Rejects duplicate or non-canonically ordered immutable Slot identities. */\nexport function validateExpectedSlots(expectedSlots: readonly RecordSlotIdentity[]): readonly RecordIssue[] {\n    const issues: RecordIssue[] = [];\n    const seenSlotIds = new Set<string>();\n    const seenEvalOrdinals = new Set<string>();\n    let previous: string | undefined;\n    for (const [index, slot] of expectedSlots.entries()) {\n        const path = [\"expectedSlots\", String(index), \"slotId\"];\n        if (!isStrictlyAfter(previous, slot.slotId)) {\n            issues.push(recordIssue(previous === slot.slotId\n                ? \"record-expected-slot-duplicate\"\n                : \"record-expected-slot-order-invalid\", path));\n        }\n        if (seenSlotIds.has(slot.slotId) && previous !== slot.slotId) {\n            issues.push(recordIssue(\"record-expected-slot-duplicate\", path));\n        }\n        const ordinalKey = `${slot.evalId}\\u0000${String(slot.attemptOrdinal)}`;\n        if (seenEvalOrdinals.has(ordinalKey)) {\n            issues.push(recordIssue(\"record-expected-slot-duplicate\", [\"expectedSlots\", String(index), \"attemptOrdinal\"]));\n        }\n        seenSlotIds.add(slot.slotId);\n        seenEvalOrdinals.add(ordinalKey);\n        previous = slot.slotId;\n    }\n    return Object.freeze(issues);\n}\n/** Validates invariants entirely contained by the durable `run.json`. */\nexport function validateRunDocument(run: RunDocument): readonly RecordIssue[] {\n    const issues: RecordIssue[] = [];\n    if (run.completedAt < run.startedAt) {\n        issues.push(recordIssue(\"record-run-time-order-invalid\", [\"completedAt\"]));\n    }\n    const contextIssues = validateRunContext(run.context);\n    appendIssues(issues, [\"context\"], contextIssues);\n    const context = canonicalizeRunContext(run.context);\n    if (Either.isRight(context) && context.right.experimentId !== run.experimentId) {\n        issues.push(recordIssue(\"record-run-context-experiment-mismatch\", [\"context\", \"experimentId\"]));\n    }\n    appendIssues(issues, [], validateExpectedSlots(run.expectedSlots));\n    return Object.freeze(issues);\n}\n/** Validates the action/reference coupling in one durable Member document. */\nexport function validateMemberDocument(member: {\n    readonly action: MembershipAction;\n    readonly attempt: RecordAttemptRef | null;\n}): readonly RecordIssue[] {\n    const requiresAttempt = member.action === \"executed\" ||\n        member.action === \"carried\" ||\n        member.action === \"accepted\";\n    return requiresAttempt === (member.attempt !== null)\n        ? Object.freeze([])\n        : Object.freeze([recordIssue(\"record-member-action-invalid\", [\"attempt\"])]);\n}\n/** Attempt-local shape is fully captured by its exact schema. */\nexport function validateAttemptDocument(_attempt: AttemptDocument): readonly RecordIssue[] {\n    return Object.freeze([]);\n}\ninterface AttemptLocation {\n    readonly runIndex: number;\n    readonly attemptIndex: number;\n    readonly attempt: AttemptDocument;\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}\nfunction expectedSlotsById(run: RunDocument): ReadonlyMap<string, RecordSlotIdentity> {\n    return new Map(run.expectedSlots.map((slot) => [slot.slotId, slot]));\n}\nfunction sameSlotIdentity(left: RecordSlotIdentity, right: RecordSlotIdentity): boolean {\n    return left.slotId === right.slotId\n        && left.evalId === right.evalId\n        && left.attemptOrdinal === right.attemptOrdinal\n        && left.executionIdentityDigest === right.executionIdentityDigest;\n}\nfunction validateRunMembers(runCore: RunCore, runIndex: number, issues: RecordIssue[]): void {\n    const expectedSlots = expectedSlotsById(runCore.run);\n    const members = new Set<string>();\n    let previous: string | undefined;\n    for (const [memberIndex, member] of runCore.members.entries()) {\n        const path = memberPrefix(runIndex, memberIndex);\n        appendIssues(issues, path, validateMemberDocument(member));\n        if (!isStrictlyAfter(previous, member.slotId)) {\n            issues.push(recordIssue(previous === member.slotId\n                ? \"record-member-slot-duplicate\"\n                : \"record-member-slot-order-invalid\", [...path, \"slotId\"]));\n        }\n        if (members.has(member.slotId) && previous !== member.slotId) {\n            issues.push(recordIssue(\"record-member-slot-duplicate\", [...path, \"slotId\"]));\n        }\n        if (!expectedSlots.has(member.slotId)) {\n            issues.push(recordIssue(\"record-member-slot-unexpected\", [...path, \"slotId\"]));\n        }\n        members.add(member.slotId);\n        previous = member.slotId;\n    }\n    // A completed Run owns one terminal Member for every Slot in its frozen\n    // denominator. A partial directory must never look available merely because\n    // the Run document itself decodes successfully.\n    for (const [slotIndex, slot] of runCore.run.expectedSlots.entries()) {\n        if (!members.has(slot.slotId)) {\n            issues.push(recordIssue(\"record-member-slot-missing\", [\n                ...runPrefix(runIndex),\n                \"run\",\n                \"expectedSlots\",\n                String(slotIndex),\n                \"slotId\",\n            ]));\n        }\n    }\n}\n/**\n * Validates the non-durable aggregation of exact Core documents. The aggregate\n * is only a validator input: membership remains one `members/<SlotId>.json`\n * document per item and never becomes a field in `run.json`.\n */\nexport function validateRecordCore(core: RecordCore): readonly RecordIssue[] {\n    const issues: RecordIssue[] = [];\n    const runs = new Map<string, number>();\n    const attempts = new Map<string, AttemptLocation>();\n    let previousRunId: string | undefined;\n    for (const [runIndex, runCore] of core.runs.entries()) {\n        const runId = runCore.run.runId;\n        const prefix = runPrefix(runIndex);\n        if (!isStrictlyAfter(previousRunId, runId)) {\n            issues.push(recordIssue(previousRunId === runId ? \"record-run-duplicate\" : \"record-run-order-invalid\", [...prefix, \"run\", \"runId\"]));\n        }\n        if (runs.has(runId) && previousRunId !== runId) {\n            issues.push(recordIssue(\"record-run-duplicate\", [...prefix, \"run\", \"runId\"]));\n        }\n        runs.set(runId, runIndex);\n        previousRunId = runId;\n        appendIssues(issues, [...prefix, \"run\"], validateRunDocument(runCore.run));\n        validateRunMembers(runCore, runIndex, issues);\n        const expectedSlots = expectedSlotsById(runCore.run);\n        let previousAttemptId: string | undefined;\n        for (const [attemptIndex, attempt] of runCore.attempts.entries()) {\n            const path = attemptPrefix(runIndex, attemptIndex);\n            appendIssues(issues, path, validateAttemptDocument(attempt));\n            if (!isStrictlyAfter(previousAttemptId, attempt.attemptId)) {\n                issues.push(recordIssue(previousAttemptId === attempt.attemptId\n                    ? \"record-attempt-duplicate\"\n                    : \"record-attempt-order-invalid\", [...path, \"attemptId\"]));\n            }\n            previousAttemptId = attempt.attemptId;\n            if (attempt.originRunId !== runId) {\n                issues.push(recordIssue(\"record-attempt-owner-invalid\", [...path, \"originRunId\"]));\n                continue;\n            }\n            const slot = expectedSlots.get(attempt.slotId);\n            if (slot === undefined) {\n                issues.push(recordIssue(\"record-attempt-slot-unexpected\", [...path, \"slotId\"]));\n            }\n            else {\n                if (slot.evalId !== attempt.evalId) {\n                    issues.push(recordIssue(\"record-attempt-eval-mismatch\", [...path, \"evalId\"]));\n                }\n                if (slot.executionIdentityDigest !== attempt.executionIdentityDigest) {\n                    issues.push(recordIssue(\"record-attempt-digest-mismatch\", [\n                        ...path,\n                        \"executionIdentityDigest\",\n                    ]));\n                }\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, attempt });\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            if (member.attempt === null)\n                continue;\n            const path = memberPrefix(runIndex, memberIndex);\n            const target = attempts.get(referenceKey(member.attempt));\n            if (target === undefined) {\n                issues.push(recordIssue(\"record-attempt-reference-missing\", [...path, \"attempt\"]));\n                continue;\n            }\n            // Carried / executed Members occupy the origin Slot identity. Accepted\n            // reference Members may point at an origin Attempt whose Slot identity\n            // differs from the current target Slot (explicit adoption / rename).\n            if (member.action !== \"accepted\") {\n                const targetExpected = expectedSlotsById(runCore.run).get(member.slotId);\n                const originExpected = expectedSlotsById(core.runs[target.runIndex]!.run).get(target.attempt.slotId);\n                if (targetExpected === undefined\n                    || originExpected === undefined\n                    || !sameSlotIdentity(targetExpected, originExpected)) {\n                    issues.push(recordIssue(\"record-attempt-slot-mismatch\", [...path, \"attempt\"]));\n                }\n            }\n            if (member.action === \"executed\") {\n                if (member.attempt.originRunId !== runCore.run.runId) {\n                    issues.push(recordIssue(\"record-member-action-invalid\", [...path, \"action\"]));\n                    continue;\n                }\n                const key = referenceKey(member.attempt);\n                originMemberCounts.set(key, (originMemberCounts.get(key) ?? 0) + 1);\n            }\n            else if (member.attempt.originRunId === runCore.run.runId) {\n                issues.push(recordIssue(\"record-member-action-invalid\", [...path, \"action\"]));\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}\n/** Converts validator output to the non-empty form carried by invalid read states. */\nexport { nonEmptyRecordIssues };\n"]}

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

@@ -1,16 +1,21 @@
 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[];
+import type { AttemptDocument, MembershipAction, RecordAttemptRef, RecordCore, RecordSlotIdentity, RunDocument } from "./core.cjs";
+/** Rejects duplicate or non-canonically ordered immutable Slot identities. */
+export declare function validateExpectedSlots(expectedSlots: readonly RecordSlotIdentity[]): readonly RecordIssue[];
+/** Validates invariants entirely contained by the durable `run.json`. */
+export declare function validateRunDocument(run: RunDocument): readonly RecordIssue[];
+/** Validates the action/reference coupling in one durable Member document. */
+export declare function validateMemberDocument(member: {
+    readonly action: MembershipAction;
+    readonly attempt: RecordAttemptRef | null;
+}): readonly RecordIssue[];
+/** Attempt-local shape is fully captured by its exact schema. */
+export declare function validateAttemptDocument(_attempt: AttemptDocument): readonly RecordIssue[];
 /**
- * Validates the Core facts that need all published documents in one frozen
- * Record snapshot: denominator membership, owner identity, and exact refs.
+ * Validates the non-durable aggregation of exact Core documents. The aggregate
+ * is only a validator input: membership remains one `members/<SlotId>.json`
+ * document per item and never becomes a field in `run.json`.
  */
-export declare function validateRecordCoreV1(core: RecordCoreV1): readonly RecordIssue[];
+export declare function validateRecordCore(core: RecordCore): readonly RecordIssue[];
 /** Converts validator output to the non-empty form carried by invalid read states. */
 export { nonEmptyRecordIssues };

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

@@ -1,16 +1,21 @@
 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[];
+import type { AttemptDocument, MembershipAction, RecordAttemptRef, RecordCore, RecordSlotIdentity, RunDocument } from "./core.mjs";
+/** Rejects duplicate or non-canonically ordered immutable Slot identities. */
+export declare function validateExpectedSlots(expectedSlots: readonly RecordSlotIdentity[]): readonly RecordIssue[];
+/** Validates invariants entirely contained by the durable `run.json`. */
+export declare function validateRunDocument(run: RunDocument): readonly RecordIssue[];
+/** Validates the action/reference coupling in one durable Member document. */
+export declare function validateMemberDocument(member: {
+    readonly action: MembershipAction;
+    readonly attempt: RecordAttemptRef | null;
+}): readonly RecordIssue[];
+/** Attempt-local shape is fully captured by its exact schema. */
+export declare function validateAttemptDocument(_attempt: AttemptDocument): readonly RecordIssue[];
 /**
- * Validates the Core facts that need all published documents in one frozen
- * Record snapshot: denominator membership, owner identity, and exact refs.
+ * Validates the non-durable aggregation of exact Core documents. The aggregate
+ * is only a validator input: membership remains one `members/<SlotId>.json`
+ * document per item and never becomes a field in `run.json`.
  */
-export declare function validateRecordCoreV1(core: RecordCoreV1): readonly RecordIssue[];
+export declare function validateRecordCore(core: RecordCore): readonly RecordIssue[];
 /** Converts validator output to the non-empty form carried by invalid read states. */
 export { nonEmptyRecordIssues };

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

@@ -1,16 +1,21 @@
 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[];
+import type { AttemptDocument, MembershipAction, RecordAttemptRef, RecordCore, RecordSlotIdentity, RunDocument } from "./core.js";
+/** Rejects duplicate or non-canonically ordered immutable Slot identities. */
+export declare function validateExpectedSlots(expectedSlots: readonly RecordSlotIdentity[]): readonly RecordIssue[];
+/** Validates invariants entirely contained by the durable `run.json`. */
+export declare function validateRunDocument(run: RunDocument): readonly RecordIssue[];
+/** Validates the action/reference coupling in one durable Member document. */
+export declare function validateMemberDocument(member: {
+    readonly action: MembershipAction;
+    readonly attempt: RecordAttemptRef | null;
+}): readonly RecordIssue[];
+/** Attempt-local shape is fully captured by its exact schema. */
+export declare function validateAttemptDocument(_attempt: AttemptDocument): readonly RecordIssue[];
 /**
- * Validates the Core facts that need all published documents in one frozen
- * Record snapshot: denominator membership, owner identity, and exact refs.
+ * Validates the non-durable aggregation of exact Core documents. The aggregate
+ * is only a validator input: membership remains one `members/<SlotId>.json`
+ * document per item and never becomes a field in `run.json`.
  */
-export declare function validateRecordCoreV1(core: RecordCoreV1): readonly RecordIssue[];
+export declare function validateRecordCore(core: RecordCore): readonly RecordIssue[];
 /** Converts validator output to the non-empty form carried by invalid read states. */
 export { nonEmptyRecordIssues };

package/dist/record/model/validation.js

@@ -3,12 +3,14 @@ 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 };
+const __niceevalExport1 = __niceevalCanonical["validateAttemptDocument"];
+export { __niceevalExport1 as validateAttemptDocument };
+const __niceevalExport2 = __niceevalCanonical["validateExpectedSlots"];
+export { __niceevalExport2 as validateExpectedSlots };
+const __niceevalExport3 = __niceevalCanonical["validateMemberDocument"];
+export { __niceevalExport3 as validateMemberDocument };
+const __niceevalExport4 = __niceevalCanonical["validateRecordCore"];
+export { __niceevalExport4 as validateRecordCore };
+const __niceevalExport5 = __niceevalCanonical["validateRunDocument"];
+export { __niceevalExport5 as validateRunDocument };
 //# sourceMappingURL=validation.js.map

package/dist/record/platform/errors.cjs

@@ -1,9 +1,9 @@
 "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;
+exports.RecordGitCommandError = 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.RecordPlatformOperationSchema = effect_1.Schema.Literal("create-directory", "list-directory", "read-file", "write-file", "sync-file", "sync-directory", "remove-path", "release-record-lease", "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, {
@@ -84,12 +84,6 @@ class RecordMaintenanceBusy extends effect_1.Schema.TaggedError("@niceeval/recor
 }) {
 }
 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"),

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

@@ -1 +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"]}
+{"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,sBAAsB,EAAE,aAAa,CAAC,CAAC;AAErM,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,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\", \"release-record-lease\", \"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/** 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 RecordGitError = RecordRootInvalid | RecordResourceLimitInvalid | RecordResourceLimitExceeded | RecordGitCommandError;\n"]}

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

@@ -1,6 +1,6 @@
 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 declare const RecordPlatformOperationSchema: Schema.Literal<["create-directory", "list-directory", "read-file", "write-file", "sync-file", "sync-directory", "remove-path", "release-record-lease", "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>;
@@ -71,7 +71,7 @@ declare const RecordIoError_base: Schema.TaggedErrorClass<RecordIoError, "Record
     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"]>;
+    operation: Schema.Literal<["create-directory", "list-directory", "read-file", "write-file", "sync-file", "sync-directory", "remove-path", "release-record-lease", "inspect-git"]>;
     path: typeof Schema.String;
     cause: typeof Schema.Defect;
 }>;
@@ -82,7 +82,7 @@ declare const RecordPermissionError_base: Schema.TaggedErrorClass<RecordPermissi
     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"]>;
+    operation: Schema.Literal<["create-directory", "list-directory", "read-file", "write-file", "sync-file", "sync-directory", "remove-path", "release-record-lease", "inspect-git"]>;
     path: typeof Schema.String;
     cause: typeof Schema.Defect;
 }>;
@@ -98,14 +98,6 @@ declare const RecordMaintenanceBusy_base: Schema.TaggedErrorClass<RecordMaintena
 /** 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">;
 } & {
@@ -117,7 +109,5 @@ declare const RecordGitCommandError_base: Schema.TaggedErrorClass<RecordGitComma
 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 {};

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

@@ -1,6 +1,6 @@
 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 declare const RecordPlatformOperationSchema: Schema.Literal<["create-directory", "list-directory", "read-file", "write-file", "sync-file", "sync-directory", "remove-path", "release-record-lease", "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>;
@@ -71,7 +71,7 @@ declare const RecordIoError_base: Schema.TaggedErrorClass<RecordIoError, "Record
     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"]>;
+    operation: Schema.Literal<["create-directory", "list-directory", "read-file", "write-file", "sync-file", "sync-directory", "remove-path", "release-record-lease", "inspect-git"]>;
     path: typeof Schema.String;
     cause: typeof Schema.Defect;
 }>;
@@ -82,7 +82,7 @@ declare const RecordPermissionError_base: Schema.TaggedErrorClass<RecordPermissi
     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"]>;
+    operation: Schema.Literal<["create-directory", "list-directory", "read-file", "write-file", "sync-file", "sync-directory", "remove-path", "release-record-lease", "inspect-git"]>;
     path: typeof Schema.String;
     cause: typeof Schema.Defect;
 }>;
@@ -98,14 +98,6 @@ declare const RecordMaintenanceBusy_base: Schema.TaggedErrorClass<RecordMaintena
 /** 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">;
 } & {
@@ -117,7 +109,5 @@ declare const RecordGitCommandError_base: Schema.TaggedErrorClass<RecordGitComma
 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 {};

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

@@ -1,6 +1,6 @@
 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 declare const RecordPlatformOperationSchema: Schema.Literal<["create-directory", "list-directory", "read-file", "write-file", "sync-file", "sync-directory", "remove-path", "release-record-lease", "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>;
@@ -71,7 +71,7 @@ declare const RecordIoError_base: Schema.TaggedErrorClass<RecordIoError, "Record
     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"]>;
+    operation: Schema.Literal<["create-directory", "list-directory", "read-file", "write-file", "sync-file", "sync-directory", "remove-path", "release-record-lease", "inspect-git"]>;
     path: typeof Schema.String;
     cause: typeof Schema.Defect;
 }>;
@@ -82,7 +82,7 @@ declare const RecordPermissionError_base: Schema.TaggedErrorClass<RecordPermissi
     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"]>;
+    operation: Schema.Literal<["create-directory", "list-directory", "read-file", "write-file", "sync-file", "sync-directory", "remove-path", "release-record-lease", "inspect-git"]>;
     path: typeof Schema.String;
     cause: typeof Schema.Defect;
 }>;
@@ -98,14 +98,6 @@ declare const RecordMaintenanceBusy_base: Schema.TaggedErrorClass<RecordMaintena
 /** 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">;
 } & {
@@ -117,7 +109,5 @@ declare const RecordGitCommandError_base: Schema.TaggedErrorClass<RecordGitComma
 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 {};

package/dist/record/platform/errors.js

@@ -27,6 +27,4 @@ const __niceevalExport11 = __niceevalCanonical["RecordResourceLimitInvalid"];
 export { __niceevalExport11 as RecordResourceLimitInvalid };
 const __niceevalExport12 = __niceevalCanonical["RecordRootInvalid"];
 export { __niceevalExport12 as RecordRootInvalid };
-const __niceevalExport13 = __niceevalCanonical["RecordWriterBusy"];
-export { __niceevalExport13 as RecordWriterBusy };
 //# sourceMappingURL=errors.js.map

package/dist/record/platform/index.js

@@ -9,52 +9,42 @@ const __niceevalExport2 = __niceevalCanonical["NodeRecordGitLive"];
 export { __niceevalExport2 as NodeRecordGitLive };
 const __niceevalExport3 = __niceevalCanonical["NodeRecordLive"];
 export { __niceevalExport3 as NodeRecordLive };
-const __niceevalExport4 = __niceevalCanonical["NodeRecordMaintenanceLockLive"];
-export { __niceevalExport4 as NodeRecordMaintenanceLockLive };
-const __niceevalExport5 = __niceevalCanonical["NodeRecordWriterLockLive"];
-export { __niceevalExport5 as NodeRecordWriterLockLive };
-const __niceevalExport6 = __niceevalCanonical["RecordEntropy"];
-export { __niceevalExport6 as RecordEntropy };
-const __niceevalExport7 = __niceevalCanonical["RecordFileSystem"];
-export { __niceevalExport7 as RecordFileSystem };
-const __niceevalExport8 = __niceevalCanonical["RecordGit"];
-export { __niceevalExport8 as RecordGit };
-const __niceevalExport9 = __niceevalCanonical["RecordGitCommandError"];
-export { __niceevalExport9 as RecordGitCommandError };
-const __niceevalExport10 = __niceevalCanonical["RecordIoError"];
-export { __niceevalExport10 as RecordIoError };
-const __niceevalExport11 = __niceevalCanonical["RecordMaintenanceBusy"];
-export { __niceevalExport11 as RecordMaintenanceBusy };
-const __niceevalExport12 = __niceevalCanonical["RecordMaintenanceLock"];
-export { __niceevalExport12 as RecordMaintenanceLock };
-const __niceevalExport13 = __niceevalCanonical["RecordPathAlreadyExists"];
-export { __niceevalExport13 as RecordPathAlreadyExists };
-const __niceevalExport14 = __niceevalCanonical["RecordPathInvalid"];
-export { __niceevalExport14 as RecordPathInvalid };
-const __niceevalExport15 = __niceevalCanonical["RecordPathKindSchema"];
-export { __niceevalExport15 as RecordPathKindSchema };
-const __niceevalExport16 = __niceevalCanonical["RecordPathTypeInvalid"];
-export { __niceevalExport16 as RecordPathTypeInvalid };
-const __niceevalExport17 = __niceevalCanonical["RecordPermissionError"];
-export { __niceevalExport17 as RecordPermissionError };
-const __niceevalExport18 = __niceevalCanonical["RecordPlatformOperationSchema"];
-export { __niceevalExport18 as RecordPlatformOperationSchema };
-const __niceevalExport19 = __niceevalCanonical["RecordPlatformResourceSchema"];
-export { __niceevalExport19 as RecordPlatformResourceSchema };
-const __niceevalExport20 = __niceevalCanonical["RecordResourceLimitExceeded"];
-export { __niceevalExport20 as RecordResourceLimitExceeded };
-const __niceevalExport21 = __niceevalCanonical["RecordResourceLimitInvalid"];
-export { __niceevalExport21 as RecordResourceLimitInvalid };
-const __niceevalExport22 = __niceevalCanonical["RecordRootInvalid"];
-export { __niceevalExport22 as RecordRootInvalid };
-const __niceevalExport23 = __niceevalCanonical["RecordWriterBusy"];
-export { __niceevalExport23 as RecordWriterBusy };
-const __niceevalExport24 = __niceevalCanonical["RecordWriterLock"];
-export { __niceevalExport24 as RecordWriterLock };
-const __niceevalExport25 = __niceevalCanonical["makeRecordRoot"];
-export { __niceevalExport25 as makeRecordRoot };
-const __niceevalExport26 = __niceevalCanonical["recordPortablePath"];
-export { __niceevalExport26 as recordPortablePath };
-const __niceevalExport27 = __niceevalCanonical["recordRootPaths"];
-export { __niceevalExport27 as recordRootPaths };
+const __niceevalExport4 = __niceevalCanonical["RecordEntropy"];
+export { __niceevalExport4 as RecordEntropy };
+const __niceevalExport5 = __niceevalCanonical["RecordFileSystem"];
+export { __niceevalExport5 as RecordFileSystem };
+const __niceevalExport6 = __niceevalCanonical["RecordGit"];
+export { __niceevalExport6 as RecordGit };
+const __niceevalExport7 = __niceevalCanonical["RecordGitCommandError"];
+export { __niceevalExport7 as RecordGitCommandError };
+const __niceevalExport8 = __niceevalCanonical["RecordIoError"];
+export { __niceevalExport8 as RecordIoError };
+const __niceevalExport9 = __niceevalCanonical["RecordMaintenanceBusy"];
+export { __niceevalExport9 as RecordMaintenanceBusy };
+const __niceevalExport10 = __niceevalCanonical["RecordPathAlreadyExists"];
+export { __niceevalExport10 as RecordPathAlreadyExists };
+const __niceevalExport11 = __niceevalCanonical["RecordPathInvalid"];
+export { __niceevalExport11 as RecordPathInvalid };
+const __niceevalExport12 = __niceevalCanonical["RecordPathKindSchema"];
+export { __niceevalExport12 as RecordPathKindSchema };
+const __niceevalExport13 = __niceevalCanonical["RecordPathTypeInvalid"];
+export { __niceevalExport13 as RecordPathTypeInvalid };
+const __niceevalExport14 = __niceevalCanonical["RecordPermissionError"];
+export { __niceevalExport14 as RecordPermissionError };
+const __niceevalExport15 = __niceevalCanonical["RecordPlatformOperationSchema"];
+export { __niceevalExport15 as RecordPlatformOperationSchema };
+const __niceevalExport16 = __niceevalCanonical["RecordPlatformResourceSchema"];
+export { __niceevalExport16 as RecordPlatformResourceSchema };
+const __niceevalExport17 = __niceevalCanonical["RecordResourceLimitExceeded"];
+export { __niceevalExport17 as RecordResourceLimitExceeded };
+const __niceevalExport18 = __niceevalCanonical["RecordResourceLimitInvalid"];
+export { __niceevalExport18 as RecordResourceLimitInvalid };
+const __niceevalExport19 = __niceevalCanonical["RecordRootInvalid"];
+export { __niceevalExport19 as RecordRootInvalid };
+const __niceevalExport20 = __niceevalCanonical["makeRecordRoot"];
+export { __niceevalExport20 as makeRecordRoot };
+const __niceevalExport21 = __niceevalCanonical["recordPortablePath"];
+export { __niceevalExport21 as recordPortablePath };
+const __niceevalExport22 = __niceevalCanonical["recordRootPaths"];
+export { __niceevalExport22 as recordRootPaths };
 //# sourceMappingURL=index.js.map