@graftland/package-manager 0.0.0-stage → 0.2.0-beta.0

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","names":[],"sources":["../src/index.ts"],"sourcesContent":["/** Non-interactive package installation. Provide platform services at the application boundary. */\nimport {\n\tArray,\n\tCause,\n\tData,\n\tRef,\n\tEffect,\n\tExit,\n\tFileSystem,\n\tHashMap,\n\tOption,\n\tPath,\n\tPlatformError,\n\tRecord,\n\tSchema,\n\tSemaphore,\n\tString,\n} from \"effect\"\nimport { ChildProcess, ChildProcessSpawner } from \"effect/process\"\nimport {\n\tPackageManagerDeclaration,\n\tPackageManagerName,\n} from \"./PackageManagerDeclaration\"\nexport { PackageManagerDeclaration } from \"./PackageManagerDeclaration\"\nimport { terminateProcess } from \"./process\"\nimport {\n\twriteSnapshot,\n\twithSnapshot,\n\ttype SnapshotCleanupFailure,\n\tinspectManagedFiles,\n\tUnsupportedFileTypeError,\n\ttype Contents,\n} from \"./snapshot\"\nexport {\n\tUnsupportedFileTypeError,\n\ttype SnapshotCleanupFailure,\n} from \"./snapshot\"\nimport {\n\tapplyChanges,\n\tChanges,\n\tdecodeManifest,\n\tencodeManifest,\n\tfields,\n\ttype Manifest,\n} from \"./manifest\"\nexport { Changes, PackageName } from \"./manifest\"\n\nexport const Agent = Schema.Literals([\n\t\"npm\",\n\t\"pnpm\",\n\t\"yarn-classic\",\n\t\"yarn-berry\",\n])\nexport type Agent = typeof Agent.Type\nexport class PackageManagerError extends Schema.TaggedError<\n\tPackageManagerError,\n\t{ readonly brand: unique symbol }\n>()(\"PackageManagerError\", {\n\toperation: Schema.Literals([\"detect\", \"install\", \"recover\", \"state\"]),\n\tmessage: Schema.String,\n\texitCode: Schema.optionalKey(Schema.Int),\n}) {}\nexport class RecoveryRequiredError extends Schema.TaggedError<\n\tRecoveryRequiredError,\n\t{ readonly brand: unique symbol }\n>()(\"RecoveryRequiredError\", {\n\tdirectory: Schema.String,\n\tsnapshotDirectory: Schema.String,\n\toperation: Schema.Literals([\"install\", \"recover\", \"rollback\"]),\n\tprocessId: Schema.optionalKey(Schema.Int),\n\tmessage: Schema.String,\n\tterminationCause: Schema.optionalKey(\n\t\tSchema.Cause(Schema.Unknown, Schema.Unknown),\n\t),\n\trecoveryCause: Schema.Cause(Schema.Unknown, Schema.Unknown),\n}) {}\n\ntype WriterState = Data.TaggedEnum<{\n\tManagedWritersIdle: {}\n\tRunning: {}\n\tFileWrite: {}\n\tUnconfirmed: {\n\t\treadonly operation: \"install\" | \"recover\"\n\t\treadonly processId: number\n\t\treadonly cause: Cause.Cause<PlatformError.PlatformError>\n\t}\n}>\n\nconst WriterState = Data.taggedEnum<WriterState>()\n\ntype ManagerState = Data.TaggedEnum<{\n\tReady: {}\n\tActive: { readonly writer: WriterState }\n\tRecoveryRequired: { readonly error: RecoveryRequiredError }\n}>\n\nconst ManagerState = Data.taggedEnum<ManagerState>()\n\nexport type Error =\n\t| PackageManagerError\n\t| UnsupportedFileTypeError\n\t| RecoveryRequiredError\n\t| PlatformError.PlatformError\n\t| Schema.SchemaError\nexport interface Options {\n\t/** Project directory, containing package.json. Use the workspace root for workspace installs. */\n\treadonly directory: string\n\t/** Explicit selection takes precedence over detection. */\n\treadonly agent?: Agent\n\t/** Optional npm_config_user_agent supplied by the caller; used only as a fallback. */\n\treadonly userAgent?: string\n}\nconst lockfiles = [\n\t\"package-lock.json\",\n\t\"npm-shrinkwrap.json\",\n\t\"pnpm-lock.yaml\",\n\t\"yarn.lock\",\n] as const\nconst backupFiles = [\n\t\"package.json\",\n\t...lockfiles,\n\t\".npmrc\",\n\t\"pnpm-workspace.yaml\",\n\t\".yarnrc\",\n\t\".yarnrc.yml\",\n\t\".yarn/install-state.gz\",\n\t\".pnp.cjs\",\n\t\".pnp.loader.mjs\",\n]\nconst executable = (agent: Agent) =>\n\tString.startsWith(\"yarn\")(agent) ? \"yarn\" : agent\n\nconst readSource = Effect.fnUntraced(function* (\n\tfs: FileSystem.FileSystem,\n\tfile: string,\n) {\n\tconst bytes = yield* fs.readFile(file)\n\treturn yield* Effect.try({\n\t\ttry: () =>\n\t\t\tnew TextDecoder(\"utf-8\", { ignoreBOM: true, fatal: true }).decode(bytes),\n\t\tcatch: (cause) =>\n\t\t\tPlatformError.badArgument({\n\t\t\t\tmodule: \"FileSystem\",\n\t\t\t\tmethod: \"readManifest\",\n\t\t\t\tdescription: \"The manifest must contain valid UTF-8\",\n\t\t\t\tcause,\n\t\t\t}),\n\t})\n})\n\nconst Executable = PackageManagerName\nconst Digits = Schema.String.check(Schema.isPattern(/^\\d+$/))\nconst decodePackageManager = Schema.decodeUnknownOption(\n\tPackageManagerDeclaration,\n)\n/** `name/version ...`, as package managers set `npm_config_user_agent`. */\nconst decodeUserAgent = Schema.decodeUnknownOption(\n\tSchema.TemplateLiteralParser([Executable, \"/\", Digits, Schema.String]),\n)\nconst agentOf = (name: typeof Executable.Type, major: string): Agent =>\n\tname === \"yarn\" ? (major === \"1\" ? \"yarn-classic\" : \"yarn-berry\") : name\n\n/** packageManager, then lockfile, then caller user-agent, then npm. Conflicting lockfiles fail. */\nexport const detectAgent = Effect.fnUntraced(function* (options: Options) {\n\tif (options.agent !== undefined)\n\t\treturn yield* Schema.decodeEffect(Agent)(options.agent)\n\tconst fs = yield* FileSystem.FileSystem\n\tconst path = yield* Path.Path\n\tconst manifest = yield* readSource(\n\t\tfs,\n\t\tpath.join(options.directory, \"package.json\"),\n\t).pipe(Effect.flatMap(decodeManifest))\n\tif (manifest.packageManager !== undefined) {\n\t\treturn yield* Option.match(decodePackageManager(manifest.packageManager), {\n\t\t\tonNone: () =>\n\t\t\t\tPackageManagerError.make({\n\t\t\t\t\toperation: \"detect\",\n\t\t\t\t\tmessage: `Unsupported packageManager: ${manifest.packageManager}`,\n\t\t\t\t}),\n\t\t\tonSome: ([name, , version]) =>\n\t\t\t\tEffect.succeed(agentOf(name, `${version.major}`)),\n\t\t})\n\t}\n\tconst found = yield* Effect.filter(lockfiles, (file) =>\n\t\tfs.exists(path.join(options.directory, file)),\n\t)\n\tconst kinds = Array.dedupe(\n\t\tArray.map(found, (file) =>\n\t\t\tfile === \"pnpm-lock.yaml\"\n\t\t\t\t? \"pnpm\"\n\t\t\t\t: file === \"yarn.lock\"\n\t\t\t\t\t? \"yarn\"\n\t\t\t\t\t: \"npm\",\n\t\t),\n\t)\n\tif (kinds.length > 1)\n\t\treturn yield* PackageManagerError.make({\n\t\t\toperation: \"detect\",\n\t\t\tmessage: \"Conflicting lockfiles; select an agent explicitly\",\n\t\t})\n\tif (kinds[0] === \"yarn\") {\n\t\tconst lock = yield* fs.readFileString(\n\t\t\tpath.join(options.directory, \"yarn.lock\"),\n\t\t)\n\t\treturn /^__metadata:/m.test(lock) ? \"yarn-berry\" : \"yarn-classic\"\n\t}\n\tif (kinds[0] !== undefined) return kinds[0]\n\treturn Option.match(decodeUserAgent(options.userAgent ?? \"\"), {\n\t\tonNone: () => \"npm\" as const,\n\t\tonSome: ([name, , major]) => agentOf(name, major),\n\t})\n})\n\nexport interface PackageState {\n\treadonly spec: string\n\t/** Missing optional or not-yet-installed dependencies have no version/path. */\n\treadonly version: string | undefined\n\treadonly path: string | undefined\n}\n/** Direct dependencies only, keyed by their manifest names (including aliases). */\nexport type State = HashMap.HashMap<string, PackageState>\nexport interface PackageChange {\n\treadonly name: string\n\treadonly before: PackageState | undefined\n\treadonly after: PackageState | undefined\n}\nexport interface StateDiff {\n\treadonly added: ReadonlyArray<PackageChange>\n\treadonly removed: ReadonlyArray<PackageChange>\n\treadonly updated: ReadonlyArray<PackageChange>\n}\nexport const diffState = (before: State, after: State): StateDiff => {\n\tconst changes = Array.map(\n\t\tArray.sort(\n\t\t\tArray.dedupe([...HashMap.keys(before), ...HashMap.keys(after)]),\n\t\t\tString.Order,\n\t\t),\n\t\t(name) => ({\n\t\t\tname,\n\t\t\tbefore: Option.getOrUndefined(HashMap.get(before, name)),\n\t\t\tafter: Option.getOrUndefined(HashMap.get(after, name)),\n\t\t}),\n\t)\n\treturn {\n\t\tadded: Array.filter(changes, (change) => change.before === undefined),\n\t\tremoved: Array.filter(changes, (change) => change.after === undefined),\n\t\tupdated: Array.filter(\n\t\t\tchanges,\n\t\t\t({ before, after }) =>\n\t\t\t\tbefore !== undefined &&\n\t\t\t\tafter !== undefined &&\n\t\t\t\t(before.spec !== after.spec ||\n\t\t\t\t\tbefore.version !== after.version ||\n\t\t\t\t\tbefore.path !== after.path),\n\t\t),\n\t}\n}\nexport interface InstallResult extends StateDiff {\n\treadonly agent: Agent\n\t/** The install committed; retry only snapshot deletion, not installation. */\n\treadonly snapshotCleanupFailure: Option.Option<SnapshotCleanupFailure>\n}\nexport interface PackageManager {\n\treadonly directory: string\n\treadonly agent: Agent\n\treadonly readState: Effect.Effect<State, Error>\n\t/** Present when manual recovery is required; the manager cannot be reused. */\n\treadonly recoveryRequired: Effect.Effect<Option.Option<RecoveryRequiredError>>\n\t/** Serialized per manager. Empty changes installs the current manifest, including first installs. */\n\treadonly install: (changes: Changes) => Effect.Effect<InstallResult, Error>\n}\n\n/**\n * Own one manager per project. The caller must give this manager and its child\n * processes exclusive write access to the project for each install, including\n * recovery. Do not edit project files or run another installer concurrently.\n * Calls are serialized only within this manager; no cross-process lock is taken.\n * Managed paths must be regular files or absent. make and install reject symbolic\n * links and other file types with UnsupportedFileTypeError before any write.\n *\n * Accepted file writes finish before cancellation can start rollback or release\n * the lock. File writes and the original process group participate in the transaction.\n * Scripts must not create escaped writers in independent groups or daemons.\n * Failed or interrupted installs before commit restore backed-up package files byte-for-byte\n * with recorded permissions and ownership, and remove tracked files that did not\n * exist before installation. Writes made\n * during installation are overwritten by rollback, never merged. When a lockfile\n * existed, recovery also attempts to repair node_modules. Recovery failures are\n * combined with the original cause. If process termination cannot be confirmed,\n * no further restoration or recovery runs. Any failed rollback step also requires\n * manual recovery, even if all writers stopped. Only successful installation or\n * complete rollback permits snapshot deletion and reuse. RecoveryRequiredError\n * and recoveryRequired expose the retained snapshot directory and complete cause;\n * this manager rejects\n * all later installs. Complete manual recovery before making a new manager.\n * Committed installs report snapshot deletion failures in snapshotCleanupFailure\n * rather than failing or rolling back. No crash recovery is promised.\n */\nexport const make = (\n\toptions: Options,\n): Effect.Effect<\n\tPackageManager,\n\tError,\n\tFileSystem.FileSystem | Path.Path | ChildProcessSpawner.ChildProcessSpawner\n> =>\n\tEffect.gen(function* () {\n\t\tconst fs = yield* FileSystem.FileSystem\n\t\tconst path = yield* Path.Path\n\t\tconst spawner = yield* ChildProcessSpawner.ChildProcessSpawner\n\t\tconst directory = path.resolve(options.directory)\n\t\tyield* inspectManagedFiles(fs, path, directory, backupFiles)\n\t\tconst agent = yield* detectAgent({ ...options, directory })\n\t\tconst lock = yield* Semaphore.make(1)\n\t\tconst transaction = yield* Ref.make<ManagerState>(ManagerState.Ready())\n\t\tconst manifestFile = path.join(directory, \"package.json\")\n\t\tconst readManifest = readSource(fs, manifestFile).pipe(\n\t\t\tEffect.flatMap(decodeManifest),\n\t\t)\n\t\tconst installed = Schema.decodeUnknownEffect(\n\t\t\tSchema.fromJsonString(\n\t\t\t\tSchema.Struct({ version: Schema.optionalKey(Schema.String) }),\n\t\t\t),\n\t\t)\n\t\tconst stateOf = Effect.fnUntraced(function* (manifest: Manifest) {\n\t\t\tif (yield* fs.exists(path.join(directory, \".pnp.cjs\")))\n\t\t\t\treturn yield* PackageManagerError.make({\n\t\t\t\t\toperation: \"state\",\n\t\t\t\t\tmessage:\n\t\t\t\t\t\t\"Plug'n'Play is not supported; configure Yarn with nodeLinker: node-modules\",\n\t\t\t\t})\n\t\t\tconst deps = Array.reduce(\n\t\t\t\tfields,\n\t\t\t\t{} as Readonly<Record<string, string>>,\n\t\t\t\t(all, field) => ({ ...all, ...manifest[field] }),\n\t\t\t)\n\t\t\tconst entries = yield* Effect.forEach(\n\t\t\t\tRecord.toEntries(deps),\n\t\t\t\t([name, spec]) =>\n\t\t\t\t\tEffect.gen(function* () {\n\t\t\t\t\t\tconst file = path.join(\n\t\t\t\t\t\t\tdirectory,\n\t\t\t\t\t\t\t\"node_modules\",\n\t\t\t\t\t\t\tname,\n\t\t\t\t\t\t\t\"package.json\",\n\t\t\t\t\t\t)\n\t\t\t\t\t\tif (!(yield* fs.exists(file)))\n\t\t\t\t\t\t\treturn [\n\t\t\t\t\t\t\t\tname,\n\t\t\t\t\t\t\t\t{ spec, version: undefined, path: undefined },\n\t\t\t\t\t\t\t] as const\n\t\t\t\t\t\tconst pkg = yield* fs\n\t\t\t\t\t\t\t.readFileString(file)\n\t\t\t\t\t\t\t.pipe(Effect.flatMap(installed))\n\t\t\t\t\t\treturn [\n\t\t\t\t\t\t\tname,\n\t\t\t\t\t\t\t{\n\t\t\t\t\t\t\t\tspec,\n\t\t\t\t\t\t\t\tversion: pkg.version,\n\t\t\t\t\t\t\t\tpath: yield* fs.realPath(path.dirname(file)),\n\t\t\t\t\t\t\t},\n\t\t\t\t\t\t] as const\n\t\t\t\t\t}),\n\t\t\t)\n\t\t\treturn HashMap.fromIterable<string, PackageState>(entries)\n\t\t})\n\t\tconst readState = Effect.flatMap(readManifest, stateOf)\n\t\tconst termination: ChildProcess.KillOptions = {\n\t\t\tforceKillAfter: \"5 seconds\",\n\t\t}\n\t\tconst run = Effect.fnUntraced(function* (operation: \"install\" | \"recover\") {\n\t\t\tconst recovery = operation === \"recover\"\n\t\t\tconst args =\n\t\t\t\tagent === \"npm\"\n\t\t\t\t\t? [\n\t\t\t\t\t\t\t\"install\",\n\t\t\t\t\t\t\t\"--no-audit\",\n\t\t\t\t\t\t\t\"--no-fund\",\n\t\t\t\t\t\t\t...(recovery ? [\"--prefer-offline\"] : []),\n\t\t\t\t\t\t]\n\t\t\t\t\t: agent === \"pnpm\"\n\t\t\t\t\t\t? [\n\t\t\t\t\t\t\t\t\"install\",\n\t\t\t\t\t\t\t\trecovery ? \"--frozen-lockfile\" : \"--no-frozen-lockfile\",\n\t\t\t\t\t\t\t\t\"--config.confirmModulesPurge=false\",\n\t\t\t\t\t\t\t]\n\t\t\t\t\t\t: agent === \"yarn-classic\"\n\t\t\t\t\t\t\t? [\n\t\t\t\t\t\t\t\t\t\"install\",\n\t\t\t\t\t\t\t\t\t\"--non-interactive\",\n\t\t\t\t\t\t\t\t\t...(recovery\n\t\t\t\t\t\t\t\t\t\t? [\"--frozen-lockfile\", \"--prefer-offline\"]\n\t\t\t\t\t\t\t\t\t\t: []),\n\t\t\t\t\t\t\t\t]\n\t\t\t\t\t\t\t: [\"install\", ...(recovery ? [\"--immutable\"] : [])]\n\t\t\t// Acquire and install the release handler atomically, then wait interruptibly.\n\t\t\treturn yield* Effect.acquireUseRelease(\n\t\t\t\tspawner\n\t\t\t\t\t.spawn(\n\t\t\t\t\t\tChildProcess.make(executable(agent), args, {\n\t\t\t\t\t\t\tcwd: directory,\n\t\t\t\t\t\t\textendEnv: true,\n\t\t\t\t\t\t\tstdin: \"ignore\",\n\t\t\t\t\t\t\tstdout: \"inherit\",\n\t\t\t\t\t\t\tstderr: \"inherit\",\n\t\t\t\t\t\t\tdetached: true,\n\t\t\t\t\t\t\t...termination,\n\t\t\t\t\t\t\tenv: {\n\t\t\t\t\t\t\t\tCI: \"true\",\n\t\t\t\t\t\t\t\t...(agent === \"yarn-berry\"\n\t\t\t\t\t\t\t\t\t? {\n\t\t\t\t\t\t\t\t\t\t\tYARN_ENABLE_IMMUTABLE_INSTALLS: recovery\n\t\t\t\t\t\t\t\t\t\t\t\t? \"true\"\n\t\t\t\t\t\t\t\t\t\t\t\t: \"false\",\n\t\t\t\t\t\t\t\t\t\t\tYARN_NODE_LINKER: \"node-modules\",\n\t\t\t\t\t\t\t\t\t\t}\n\t\t\t\t\t\t\t\t\t: {}),\n\t\t\t\t\t\t\t},\n\t\t\t\t\t\t}),\n\t\t\t\t\t)\n\t\t\t\t\t.pipe(\n\t\t\t\t\t\tEffect.tap(() =>\n\t\t\t\t\t\t\tRef.set(\n\t\t\t\t\t\t\t\ttransaction,\n\t\t\t\t\t\t\t\tManagerState.Active({ writer: WriterState.Running() }),\n\t\t\t\t\t\t\t),\n\t\t\t\t\t\t),\n\t\t\t\t\t),\n\t\t\t\t(process) =>\n\t\t\t\t\tEffect.gen(function* () {\n\t\t\t\t\t\tconst code = yield* process.exitCode.pipe(\n\t\t\t\t\t\t\tEffect.timeoutOrElse({\n\t\t\t\t\t\t\t\tduration: \"10 minutes\",\n\t\t\t\t\t\t\t\torElse: () =>\n\t\t\t\t\t\t\t\t\tPackageManagerError.make({\n\t\t\t\t\t\t\t\t\t\toperation,\n\t\t\t\t\t\t\t\t\t\tmessage: `${executable(agent)} ${operation} timed out`,\n\t\t\t\t\t\t\t\t\t}),\n\t\t\t\t\t\t\t}),\n\t\t\t\t\t\t)\n\t\t\t\t\t\tif (code !== 0)\n\t\t\t\t\t\t\treturn yield* PackageManagerError.make({\n\t\t\t\t\t\t\t\toperation,\n\t\t\t\t\t\t\t\texitCode: code,\n\t\t\t\t\t\t\t\tmessage: `${executable(agent)} ${operation} exited with code ${code}`,\n\t\t\t\t\t\t\t})\n\t\t\t\t\t}),\n\t\t\t\t// The command owns its group; a stopped leader may leave live descendants.\n\t\t\t\t// Observe kill failures here rather than relying on best-effort scope cleanup.\n\t\t\t\t(process) =>\n\t\t\t\t\tEffect.gen(function* () {\n\t\t\t\t\t\tconst result = yield* terminateProcess(process, termination)\n\t\t\t\t\t\tyield* Ref.set(\n\t\t\t\t\t\t\ttransaction,\n\t\t\t\t\t\t\tManagerState.Active({\n\t\t\t\t\t\t\t\twriter:\n\t\t\t\t\t\t\t\t\tresult._tag === \"OriginalGroupStopped\"\n\t\t\t\t\t\t\t\t\t\t? WriterState.ManagedWritersIdle()\n\t\t\t\t\t\t\t\t\t\t: WriterState.Unconfirmed({\n\t\t\t\t\t\t\t\t\t\t\t\toperation,\n\t\t\t\t\t\t\t\t\t\t\t\tprocessId: process.pid,\n\t\t\t\t\t\t\t\t\t\t\t\tcause: result.cause,\n\t\t\t\t\t\t\t\t\t\t\t}),\n\t\t\t\t\t\t\t}),\n\t\t\t\t\t\t)\n\t\t\t\t\t\tif (result._tag === \"Unconfirmed\")\n\t\t\t\t\t\t\treturn yield* Effect.failCause(result.cause)\n\t\t\t\t\t}),\n\t\t\t)\n\t\t}, Effect.scoped)\n\t\t// AbortSignal does not join accepted OS writes. Keep the writer owned until completion.\n\t\tconst withFileWriter = <A, E, R>(effect: Effect.Effect<A, E, R>) =>\n\t\t\tEffect.acquireUseRelease(\n\t\t\t\tRef.set(\n\t\t\t\t\ttransaction,\n\t\t\t\t\tManagerState.Active({ writer: WriterState.FileWrite() }),\n\t\t\t\t),\n\t\t\t\t() => effect,\n\t\t\t\t() =>\n\t\t\t\t\tRef.set(\n\t\t\t\t\t\ttransaction,\n\t\t\t\t\t\tManagerState.Active({ writer: WriterState.ManagedWritersIdle() }),\n\t\t\t\t\t),\n\t\t\t).pipe(Effect.uninterruptible)\n\n\t\tconst install = (changes: Changes) =>\n\t\t\tlock.withPermits(1)(\n\t\t\t\tEffect.gen(function* () {\n\t\t\t\t\tconst state = yield* Ref.get(transaction)\n\t\t\t\t\tif (state._tag === \"RecoveryRequired\") return yield* state.error\n\t\t\t\t\tconst validated = yield* Schema.decodeEffect(Changes)(changes)\n\t\t\t\t\tconst inspected = yield* inspectManagedFiles(\n\t\t\t\t\t\tfs,\n\t\t\t\t\t\tpath,\n\t\t\t\t\t\tdirectory,\n\t\t\t\t\t\tbackupFiles,\n\t\t\t\t\t)\n\t\t\t\t\tconst backups = yield* Effect.forEach(\n\t\t\t\t\t\tinspected,\n\t\t\t\t\t\t({ name, file, metadata }) =>\n\t\t\t\t\t\t\tEffect.gen(function* () {\n\t\t\t\t\t\t\t\tconst contents = yield* Option.match(metadata, {\n\t\t\t\t\t\t\t\t\tonNone: () => Effect.succeedNone,\n\t\t\t\t\t\t\t\t\tonSome: (info) =>\n\t\t\t\t\t\t\t\t\t\tfs\n\t\t\t\t\t\t\t\t\t\t\t.readFile(file)\n\t\t\t\t\t\t\t\t\t\t\t.pipe(\n\t\t\t\t\t\t\t\t\t\t\t\tEffect.map((bytes) =>\n\t\t\t\t\t\t\t\t\t\t\t\t\tOption.some<Contents>({ ...info, bytes }),\n\t\t\t\t\t\t\t\t\t\t\t\t),\n\t\t\t\t\t\t\t\t\t\t\t),\n\t\t\t\t\t\t\t\t})\n\t\t\t\t\t\t\t\treturn { name, file, contents }\n\t\t\t\t\t\t\t}),\n\t\t\t\t\t)\n\t\t\t\t\tconst original = yield* readSource(fs, manifestFile)\n\t\t\t\t\tconst manifest = yield* decodeManifest(original)\n\t\t\t\t\tconst before = yield* stateOf(manifest)\n\t\t\t\t\tconst text = yield* encodeManifest(\n\t\t\t\t\t\tapplyChanges(manifest, validated),\n\t\t\t\t\t\toriginal,\n\t\t\t\t\t)\n\n\t\t\t\t\tconst agentLocks =\n\t\t\t\t\t\tagent === \"npm\"\n\t\t\t\t\t\t\t? [\"package-lock.json\", \"npm-shrinkwrap.json\"]\n\t\t\t\t\t\t\t: agent === \"pnpm\"\n\t\t\t\t\t\t\t\t? [\"pnpm-lock.yaml\"]\n\t\t\t\t\t\t\t\t: [\"yarn.lock\"]\n\t\t\t\t\tconst hasLock = Array.some(\n\t\t\t\t\t\tbackups,\n\t\t\t\t\t\t({ name, contents }) =>\n\t\t\t\t\t\t\tArray.contains(agentLocks, name) && Option.isSome(contents),\n\t\t\t\t\t)\n\t\t\t\t\tconst completed = yield* withSnapshot(\n\t\t\t\t\t\tfs,\n\t\t\t\t\t\tRef.get(transaction).pipe(\n\t\t\t\t\t\t\tEffect.map((state) => state._tag === \"Ready\"),\n\t\t\t\t\t\t),\n\t\t\t\t\t\t(snapshotDirectory) =>\n\t\t\t\t\t\t\tEffect.gen(function* () {\n\t\t\t\t\t\t\t\tconst snapshot = yield* writeSnapshot(\n\t\t\t\t\t\t\t\t\tfs,\n\t\t\t\t\t\t\t\t\tpath,\n\t\t\t\t\t\t\t\t\tsnapshotDirectory,\n\t\t\t\t\t\t\t\t\tdirectory,\n\t\t\t\t\t\t\t\t\tagent,\n\t\t\t\t\t\t\t\t\tbackups,\n\t\t\t\t\t\t\t\t)\n\t\t\t\t\t\t\t\tconst restore = Effect.flatMap(Ref.get(transaction), (state) =>\n\t\t\t\t\t\t\t\t\tstate._tag === \"Active\" &&\n\t\t\t\t\t\t\t\t\tstate.writer._tag === \"ManagedWritersIdle\"\n\t\t\t\t\t\t\t\t\t\t? withFileWriter(snapshot.restore(state.writer))\n\t\t\t\t\t\t\t\t\t\t: Effect.void,\n\t\t\t\t\t\t\t\t)\n\t\t\t\t\t\t\t\treturn yield* Effect.acquireUseRelease(\n\t\t\t\t\t\t\t\t\tRef.set(\n\t\t\t\t\t\t\t\t\t\ttransaction,\n\t\t\t\t\t\t\t\t\t\tManagerState.Active({\n\t\t\t\t\t\t\t\t\t\t\twriter: WriterState.ManagedWritersIdle(),\n\t\t\t\t\t\t\t\t\t\t}),\n\t\t\t\t\t\t\t\t\t),\n\t\t\t\t\t\t\t\t\t() =>\n\t\t\t\t\t\t\t\t\t\tEffect.gen(function* () {\n\t\t\t\t\t\t\t\t\t\t\tyield* withFileWriter(\n\t\t\t\t\t\t\t\t\t\t\t\tfs.writeFileString(manifestFile, text),\n\t\t\t\t\t\t\t\t\t\t\t)\n\t\t\t\t\t\t\t\t\t\t\tyield* run(\"install\")\n\t\t\t\t\t\t\t\t\t\t\tconst after = yield* readState\n\t\t\t\t\t\t\t\t\t\t\treturn { agent, ...diffState(before, after) }\n\t\t\t\t\t\t\t\t\t\t}),\n\t\t\t\t\t\t\t\t\t(_, exit) =>\n\t\t\t\t\t\t\t\t\t\tEffect.gen(function* () {\n\t\t\t\t\t\t\t\t\t\t\tif (Exit.isFailure(exit)) {\n\t\t\t\t\t\t\t\t\t\t\t\tconst state = yield* Ref.get(transaction)\n\t\t\t\t\t\t\t\t\t\t\t\tif (\n\t\t\t\t\t\t\t\t\t\t\t\t\tstate._tag !== \"Active\" ||\n\t\t\t\t\t\t\t\t\t\t\t\t\tstate.writer._tag !== \"ManagedWritersIdle\"\n\t\t\t\t\t\t\t\t\t\t\t\t)\n\t\t\t\t\t\t\t\t\t\t\t\t\treturn\n\t\t\t\t\t\t\t\t\t\t\t\tyield* withFileWriter(snapshot.restore(state.writer))\n\t\t\t\t\t\t\t\t\t\t\t\tif (hasLock)\n\t\t\t\t\t\t\t\t\t\t\t\t\tyield* run(\"recover\").pipe(\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t// Even a failed recovery must restore files, once its writer has stopped.\n\t\t\t\t\t\t\t\t\t\t\t\t\t\tEffect.onExit(() => restore),\n\t\t\t\t\t\t\t\t\t\t\t\t\t)\n\t\t\t\t\t\t\t\t\t\t\t}\n\t\t\t\t\t\t\t\t\t\t\t// Idle managed writers alone do not prove that the transaction completed.\n\t\t\t\t\t\t\t\t\t\t\tyield* Ref.set(transaction, ManagerState.Ready())\n\t\t\t\t\t\t\t\t\t\t}),\n\t\t\t\t\t\t\t\t).pipe(\n\t\t\t\t\t\t\t\t\tEffect.onExit((exit) =>\n\t\t\t\t\t\t\t\t\t\tEffect.gen(function* () {\n\t\t\t\t\t\t\t\t\t\t\tconst state = yield* Ref.get(transaction)\n\t\t\t\t\t\t\t\t\t\t\tif (Exit.isSuccess(exit) || state._tag !== \"Active\")\n\t\t\t\t\t\t\t\t\t\t\t\treturn\n\t\t\t\t\t\t\t\t\t\t\tconst writer = state.writer\n\t\t\t\t\t\t\t\t\t\t\tconst error = RecoveryRequiredError.make({\n\t\t\t\t\t\t\t\t\t\t\t\tdirectory,\n\t\t\t\t\t\t\t\t\t\t\t\tsnapshotDirectory,\n\t\t\t\t\t\t\t\t\t\t\t\toperation:\n\t\t\t\t\t\t\t\t\t\t\t\t\twriter._tag === \"Unconfirmed\"\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t? writer.operation\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t: \"rollback\",\n\t\t\t\t\t\t\t\t\t\t\t\t...(writer._tag === \"Unconfirmed\"\n\t\t\t\t\t\t\t\t\t\t\t\t\t? {\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\tprocessId: writer.processId,\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\tterminationCause: writer.cause,\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t}\n\t\t\t\t\t\t\t\t\t\t\t\t\t: {}),\n\t\t\t\t\t\t\t\t\t\t\t\tmessage: `Manual recovery is required. Stop all writers before restoring the snapshot at ${snapshotDirectory}`,\n\t\t\t\t\t\t\t\t\t\t\t\trecoveryCause: exit.cause,\n\t\t\t\t\t\t\t\t\t\t\t})\n\t\t\t\t\t\t\t\t\t\t\tyield* Ref.set(\n\t\t\t\t\t\t\t\t\t\t\t\ttransaction,\n\t\t\t\t\t\t\t\t\t\t\t\tManagerState.RecoveryRequired({ error }),\n\t\t\t\t\t\t\t\t\t\t\t)\n\t\t\t\t\t\t\t\t\t\t\treturn yield* error\n\t\t\t\t\t\t\t\t\t\t}),\n\t\t\t\t\t\t\t\t\t),\n\t\t\t\t\t\t\t\t)\n\t\t\t\t\t\t\t}),\n\t\t\t\t\t)\n\t\t\t\t\treturn {\n\t\t\t\t\t\t...completed.value,\n\t\t\t\t\t\tsnapshotCleanupFailure: completed.snapshotCleanupFailure,\n\t\t\t\t\t}\n\t\t\t\t}),\n\t\t\t)\n\t\treturn {\n\t\t\tdirectory,\n\t\t\tagent,\n\t\t\trecoveryRequired: Ref.get(transaction).pipe(\n\t\t\t\tEffect.map((state) =>\n\t\t\t\t\tstate._tag === \"RecoveryRequired\"\n\t\t\t\t\t\t? Option.some(state.error)\n\t\t\t\t\t\t: Option.none(),\n\t\t\t\t),\n\t\t\t),\n\t\t\treadState: lock.withPermits(1)(readState),\n\t\t\tinstall,\n\t\t}\n\t})\n"],"mappings":";;;;;;;;AA+CA,MAAa,QAAQ,OAAO,SAAS;CACpC;CACA;CACA;CACA;AACD,CAAC;AAED,IAAa,sBAAb,cAAyC,OAAO,YAG9C,CAAC,CAAC,uBAAuB;CAC1B,WAAW,OAAO,SAAS;EAAC;EAAU;EAAW;EAAW;CAAO,CAAC;CACpE,SAAS,OAAO;CAChB,UAAU,OAAO,YAAY,OAAO,GAAG;AACxC,CAAC,CAAC,CAAC,CAAC;AACJ,IAAa,wBAAb,cAA2C,OAAO,YAGhD,CAAC,CAAC,yBAAyB;CAC5B,WAAW,OAAO;CAClB,mBAAmB,OAAO;CAC1B,WAAW,OAAO,SAAS;EAAC;EAAW;EAAW;CAAU,CAAC;CAC7D,WAAW,OAAO,YAAY,OAAO,GAAG;CACxC,SAAS,OAAO;CAChB,kBAAkB,OAAO,YACxB,OAAO,MAAM,OAAO,SAAS,OAAO,OAAO,CAC5C;CACA,eAAe,OAAO,MAAM,OAAO,SAAS,OAAO,OAAO;AAC3D,CAAC,CAAC,CAAC,CAAC;AAaJ,MAAM,cAAc,KAAK,WAAwB;AAQjD,MAAM,eAAe,KAAK,WAAyB;AAgBnD,MAAM,YAAY;CACjB;CACA;CACA;CACA;AACD;AACA,MAAM,cAAc;CACnB;CACA,GAAG;CACH;CACA;CACA;CACA;CACA;CACA;CACA;AACD;AACA,MAAM,cAAc,UACnB,OAAO,WAAW,MAAM,CAAC,CAAC,KAAK,IAAI,SAAS;AAE7C,MAAM,aAAa,OAAO,WAAW,WACpC,IACA,MACC;CACD,MAAM,QAAQ,OAAO,GAAG,SAAS,IAAI;CACrC,OAAO,OAAO,OAAO,IAAI;EACxB,WACC,IAAI,YAAY,SAAS;GAAE,WAAW;GAAM,OAAO;EAAK,CAAC,CAAC,CAAC,OAAO,KAAK;EACxE,QAAQ,UACP,cAAc,YAAY;GACzB,QAAQ;GACR,QAAQ;GACR,aAAa;GACb;EACD,CAAC;CACH,CAAC;AACF,CAAC;AAED,MAAM,aAAa;AACnB,MAAM,SAAS,OAAO,OAAO,MAAM,OAAO,UAAU,OAAO,CAAC;AAC5D,MAAM,uBAAuB,OAAO,oBACnC,yBACD;;AAEA,MAAM,kBAAkB,OAAO,oBAC9B,OAAO,sBAAsB;CAAC;CAAY;CAAK;CAAQ,OAAO;AAAM,CAAC,CACtE;AACA,MAAM,WAAW,MAA8B,UAC9C,SAAS,SAAU,UAAU,MAAM,iBAAiB,eAAgB;;AAGrE,MAAa,cAAc,OAAO,WAAW,WAAW,SAAkB;CACzE,IAAI,QAAQ,UAAU,KAAA,GACrB,OAAO,OAAO,OAAO,aAAa,KAAK,CAAC,CAAC,QAAQ,KAAK;CACvD,MAAM,KAAK,OAAO,WAAW;CAC7B,MAAM,OAAO,OAAO,KAAK;CACzB,MAAM,WAAW,OAAO,WACvB,IACA,KAAK,KAAK,QAAQ,WAAW,cAAc,CAC5C,CAAC,CAAC,KAAK,OAAO,QAAQ,cAAc,CAAC;CACrC,IAAI,SAAS,mBAAmB,KAAA,GAC/B,OAAO,OAAO,OAAO,MAAM,qBAAqB,SAAS,cAAc,GAAG;EACzE,cACC,oBAAoB,KAAK;GACxB,WAAW;GACX,SAAS,+BAA+B,SAAS;EAClD,CAAC;EACF,SAAS,CAAC,QAAQ,aACjB,OAAO,QAAQ,QAAQ,MAAM,GAAG,QAAQ,OAAO,CAAC;CAClD,CAAC;CAEF,MAAM,QAAQ,OAAO,OAAO,OAAO,YAAY,SAC9C,GAAG,OAAO,KAAK,KAAK,QAAQ,WAAW,IAAI,CAAC,CAC7C;CACA,MAAM,QAAQ,MAAM,OACnB,MAAM,IAAI,QAAQ,SACjB,SAAS,mBACN,SACA,SAAS,cACR,SACA,KACL,CACD;CACA,IAAI,MAAM,SAAS,GAClB,OAAO,OAAO,oBAAoB,KAAK;EACtC,WAAW;EACX,SAAS;CACV,CAAC;CACF,IAAI,MAAM,OAAO,QAAQ;EACxB,MAAM,OAAO,OAAO,GAAG,eACtB,KAAK,KAAK,QAAQ,WAAW,WAAW,CACzC;EACA,OAAO,gBAAgB,KAAK,IAAI,IAAI,eAAe;CACpD;CACA,IAAI,MAAM,OAAO,KAAA,GAAW,OAAO,MAAM;CACzC,OAAO,OAAO,MAAM,gBAAgB,QAAQ,aAAa,EAAE,GAAG;EAC7D,cAAc;EACd,SAAS,CAAC,QAAQ,WAAW,QAAQ,MAAM,KAAK;CACjD,CAAC;AACF,CAAC;AAoBD,MAAa,aAAa,QAAe,UAA4B;CACpE,MAAM,UAAU,MAAM,IACrB,MAAM,KACL,MAAM,OAAO,CAAC,GAAG,QAAQ,KAAK,MAAM,GAAG,GAAG,QAAQ,KAAK,KAAK,CAAC,CAAC,GAC9D,OAAO,KACR,IACC,UAAU;EACV;EACA,QAAQ,OAAO,eAAe,QAAQ,IAAI,QAAQ,IAAI,CAAC;EACvD,OAAO,OAAO,eAAe,QAAQ,IAAI,OAAO,IAAI,CAAC;CACtD,EACD;CACA,OAAO;EACN,OAAO,MAAM,OAAO,UAAU,WAAW,OAAO,WAAW,KAAA,CAAS;EACpE,SAAS,MAAM,OAAO,UAAU,WAAW,OAAO,UAAU,KAAA,CAAS;EACrE,SAAS,MAAM,OACd,UACC,EAAE,QAAQ,YACV,WAAW,KAAA,KACX,UAAU,KAAA,MACT,OAAO,SAAS,MAAM,QACtB,OAAO,YAAY,MAAM,WACzB,OAAO,SAAS,MAAM,KACzB;CACD;AACD;;;;;;;;;;;;;;;;;;;;;;;;;;;AA0CA,MAAa,QACZ,YAMA,OAAO,IAAI,aAAa;CACvB,MAAM,KAAK,OAAO,WAAW;CAC7B,MAAM,OAAO,OAAO,KAAK;CACzB,MAAM,UAAU,OAAO,oBAAoB;CAC3C,MAAM,YAAY,KAAK,QAAQ,QAAQ,SAAS;CAChD,OAAO,oBAAoB,IAAI,MAAM,WAAW,WAAW;CAC3D,MAAM,QAAQ,OAAO,YAAY;EAAE,GAAG;EAAS;CAAU,CAAC;CAC1D,MAAM,OAAO,OAAO,UAAU,KAAK,CAAC;CACpC,MAAM,cAAc,OAAO,IAAI,KAAmB,aAAa,MAAM,CAAC;CACtE,MAAM,eAAe,KAAK,KAAK,WAAW,cAAc;CACxD,MAAM,eAAe,WAAW,IAAI,YAAY,CAAC,CAAC,KACjD,OAAO,QAAQ,cAAc,CAC9B;CACA,MAAM,YAAY,OAAO,oBACxB,OAAO,eACN,OAAO,OAAO,EAAE,SAAS,OAAO,YAAY,OAAO,MAAM,EAAE,CAAC,CAC7D,CACD;CACA,MAAM,UAAU,OAAO,WAAW,WAAW,UAAoB;EAChE,IAAI,OAAO,GAAG,OAAO,KAAK,KAAK,WAAW,UAAU,CAAC,GACpD,OAAO,OAAO,oBAAoB,KAAK;GACtC,WAAW;GACX,SACC;EACF,CAAC;EACF,MAAM,OAAO,MAAM,OAClB,QACA,CAAC,IACA,KAAK,WAAW;GAAE,GAAG;GAAK,GAAG,SAAS;EAAO,EAC/C;EACA,MAAM,UAAU,OAAO,OAAO,QAC7B,OAAO,UAAU,IAAI,IACpB,CAAC,MAAM,UACP,OAAO,IAAI,aAAa;GACvB,MAAM,OAAO,KAAK,KACjB,WACA,gBACA,MACA,cACD;GACA,IAAI,EAAE,OAAO,GAAG,OAAO,IAAI,IAC1B,OAAO,CACN,MACA;IAAE;IAAM,SAAS,KAAA;IAAW,MAAM,KAAA;GAAU,CAC7C;GAID,OAAO,CACN,MACA;IACC;IACA,UAAS,OAPQ,GACjB,eAAe,IAAI,CAAC,CACpB,KAAK,OAAO,QAAQ,SAAS,CAAC,EAAA,CAKjB;IACb,MAAM,OAAO,GAAG,SAAS,KAAK,QAAQ,IAAI,CAAC;GAC5C,CACD;EACD,CAAC,CACH;EACA,OAAO,QAAQ,aAAmC,OAAO;CAC1D,CAAC;CACD,MAAM,YAAY,OAAO,QAAQ,cAAc,OAAO;CACtD,MAAM,cAAwC,EAC7C,gBAAgB,YACjB;CACA,MAAM,MAAM,OAAO,WAAW,WAAW,WAAkC;EAC1E,MAAM,WAAW,cAAc;EAC/B,MAAM,OACL,UAAU,QACP;GACA;GACA;GACA;GACA,GAAI,WAAW,CAAC,kBAAkB,IAAI,CAAC;EACxC,IACC,UAAU,SACT;GACA;GACA,WAAW,sBAAsB;GACjC;EACD,IACC,UAAU,iBACT;GACA;GACA;GACA,GAAI,WACD,CAAC,qBAAqB,kBAAkB,IACxC,CAAC;EACL,IACC,CAAC,WAAW,GAAI,WAAW,CAAC,aAAa,IAAI,CAAC,CAAE;EAEtD,OAAO,OAAO,OAAO,kBACpB,QACE,MACA,aAAa,KAAK,WAAW,KAAK,GAAG,MAAM;GAC1C,KAAK;GACL,WAAW;GACX,OAAO;GACP,QAAQ;GACR,QAAQ;GACR,UAAU;GACV,GAAG;GACH,KAAK;IACJ,IAAI;IACJ,GAAI,UAAU,eACX;KACA,gCAAgC,WAC7B,SACA;KACH,kBAAkB;IACnB,IACC,CAAC;GACL;EACD,CAAC,CACF,CAAC,CACA,KACA,OAAO,UACN,IAAI,IACH,aACA,aAAa,OAAO,EAAE,QAAQ,YAAY,QAAQ,EAAE,CAAC,CACtD,CACD,CACD,IACA,YACA,OAAO,IAAI,aAAa;GACvB,MAAM,OAAO,OAAO,QAAQ,SAAS,KACpC,OAAO,cAAc;IACpB,UAAU;IACV,cACC,oBAAoB,KAAK;KACxB;KACA,SAAS,GAAG,WAAW,KAAK,EAAE,GAAG,UAAU;IAC5C,CAAC;GACH,CAAC,CACF;GACA,IAAI,SAAS,GACZ,OAAO,OAAO,oBAAoB,KAAK;IACtC;IACA,UAAU;IACV,SAAS,GAAG,WAAW,KAAK,EAAE,GAAG,UAAU,oBAAoB;GAChE,CAAC;EACH,CAAC,IAGD,YACA,OAAO,IAAI,aAAa;GACvB,MAAM,SAAS,OAAO,iBAAiB,SAAS,WAAW;GAC3D,OAAO,IAAI,IACV,aACA,aAAa,OAAO,EACnB,QACC,OAAO,SAAS,yBACb,YAAY,mBAAmB,IAC/B,YAAY,YAAY;IACxB;IACA,WAAW,QAAQ;IACnB,OAAO,OAAO;GACf,CAAC,EACL,CAAC,CACF;GACA,IAAI,OAAO,SAAS,eACnB,OAAO,OAAO,OAAO,UAAU,OAAO,KAAK;EAC7C,CAAC,CACH;CACD,GAAG,OAAO,MAAM;CAEhB,MAAM,kBAA2B,WAChC,OAAO,kBACN,IAAI,IACH,aACA,aAAa,OAAO,EAAE,QAAQ,YAAY,UAAU,EAAE,CAAC,CACxD,SACM,cAEL,IAAI,IACH,aACA,aAAa,OAAO,EAAE,QAAQ,YAAY,mBAAmB,EAAE,CAAC,CACjE,CACF,CAAC,CAAC,KAAK,OAAO,eAAe;CAE9B,MAAM,WAAW,YAChB,KAAK,YAAY,CAAC,CAAC,CAClB,OAAO,IAAI,aAAa;EACvB,MAAM,QAAQ,OAAO,IAAI,IAAI,WAAW;EACxC,IAAI,MAAM,SAAS,oBAAoB,OAAO,OAAO,MAAM;EAC3D,MAAM,YAAY,OAAO,OAAO,aAAa,OAAO,CAAC,CAAC,OAAO;EAC7D,MAAM,YAAY,OAAO,oBACxB,IACA,MACA,WACA,WACD;EACA,MAAM,UAAU,OAAO,OAAO,QAC7B,YACC,EAAE,MAAM,MAAM,eACd,OAAO,IAAI,aAAa;GAYvB,OAAO;IAAE;IAAM;IAAM,UAAA,OAXG,OAAO,MAAM,UAAU;KAC9C,cAAc,OAAO;KACrB,SAAS,SACR,GACE,SAAS,IAAI,CAAC,CACd,KACA,OAAO,KAAK,UACX,OAAO,KAAe;MAAE,GAAG;MAAM;KAAM,CAAC,CACzC,CACD;IACH,CAAC;GAC6B;EAC/B,CAAC,CACH;EACA,MAAM,WAAW,OAAO,WAAW,IAAI,YAAY;EACnD,MAAM,WAAW,OAAO,eAAe,QAAQ;EAC/C,MAAM,SAAS,OAAO,QAAQ,QAAQ;EACtC,MAAM,OAAO,OAAO,eACnB,aAAa,UAAU,SAAS,GAChC,QACD;EAEA,MAAM,aACL,UAAU,QACP,CAAC,qBAAqB,qBAAqB,IAC3C,UAAU,SACT,CAAC,gBAAgB,IACjB,CAAC,WAAW;EACjB,MAAM,UAAU,MAAM,KACrB,UACC,EAAE,MAAM,eACR,MAAM,SAAS,YAAY,IAAI,KAAK,OAAO,OAAO,QAAQ,CAC5D;EACA,MAAM,YAAY,OAAO,aACxB,IACA,IAAI,IAAI,WAAW,CAAC,CAAC,KACpB,OAAO,KAAK,UAAU,MAAM,SAAS,OAAO,CAC7C,IACC,sBACA,OAAO,IAAI,aAAa;GACvB,MAAM,WAAW,OAAO,cACvB,IACA,MACA,mBACA,WACA,OACA,OACD;GACA,MAAM,UAAU,OAAO,QAAQ,IAAI,IAAI,WAAW,IAAI,UACrD,MAAM,SAAS,YACf,MAAM,OAAO,SAAS,uBACnB,eAAe,SAAS,QAAQ,MAAM,MAAM,CAAC,IAC7C,OAAO,IACX;GACA,OAAO,OAAO,OAAO,kBACpB,IAAI,IACH,aACA,aAAa,OAAO,EACnB,QAAQ,YAAY,mBAAmB,EACxC,CAAC,CACF,SAEC,OAAO,IAAI,aAAa;IACvB,OAAO,eACN,GAAG,gBAAgB,cAAc,IAAI,CACtC;IACA,OAAO,IAAI,SAAS;IACpB,MAAM,QAAQ,OAAO;IACrB,OAAO;KAAE;KAAO,GAAG,UAAU,QAAQ,KAAK;IAAE;GAC7C,CAAC,IACD,GAAG,SACH,OAAO,IAAI,aAAa;IACvB,IAAI,KAAK,UAAU,IAAI,GAAG;KACzB,MAAM,QAAQ,OAAO,IAAI,IAAI,WAAW;KACxC,IACC,MAAM,SAAS,YACf,MAAM,OAAO,SAAS,sBAEtB;KACD,OAAO,eAAe,SAAS,QAAQ,MAAM,MAAM,CAAC;KACpD,IAAI,SACH,OAAO,IAAI,SAAS,CAAC,CAAC,KAErB,OAAO,aAAa,OAAO,CAC5B;IACF;IAEA,OAAO,IAAI,IAAI,aAAa,aAAa,MAAM,CAAC;GACjD,CAAC,CACH,CAAC,CAAC,KACD,OAAO,QAAQ,SACd,OAAO,IAAI,aAAa;IACvB,MAAM,QAAQ,OAAO,IAAI,IAAI,WAAW;IACxC,IAAI,KAAK,UAAU,IAAI,KAAK,MAAM,SAAS,UAC1C;IACD,MAAM,SAAS,MAAM;IACrB,MAAM,QAAQ,sBAAsB,KAAK;KACxC;KACA;KACA,WACC,OAAO,SAAS,gBACb,OAAO,YACP;KACJ,GAAI,OAAO,SAAS,gBACjB;MACA,WAAW,OAAO;MAClB,kBAAkB,OAAO;KAC1B,IACC,CAAC;KACJ,SAAS,kFAAkF;KAC3F,eAAe,KAAK;IACrB,CAAC;IACD,OAAO,IAAI,IACV,aACA,aAAa,iBAAiB,EAAE,MAAM,CAAC,CACxC;IACA,OAAO,OAAO;GACf,CAAC,CACF,CACD;EACD,CAAC,CACH;EACA,OAAO;GACN,GAAG,UAAU;GACb,wBAAwB,UAAU;EACnC;CACD,CAAC,CACF;CACD,OAAO;EACN;EACA;EACA,kBAAkB,IAAI,IAAI,WAAW,CAAC,CAAC,KACtC,OAAO,KAAK,UACX,MAAM,SAAS,qBACZ,OAAO,KAAK,MAAM,KAAK,IACvB,OAAO,KAAK,CAChB,CACD;EACA,WAAW,KAAK,YAAY,CAAC,CAAC,CAAC,SAAS;EACxC;CACD;AACD,CAAC"}

package/dist/manifest.d.ts

@@ -0,0 +1,6 @@
+import { Effect, Schema } from "effect";
+export declare const PackageName: Schema.String;
+export declare const Changes: Schema.$Record<Schema.String, Schema.Union<readonly [Schema.String, Schema.Null]>>;
+/** A spec adds or updates a dependency; null removes it from all dependency fields. */
+export type Changes = typeof Changes.Type;
+//# sourceMappingURL=manifest.d.ts.map

package/dist/manifest.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"manifest.d.ts","names":[],"sources":["../src/manifest.ts"],"mappings":";qBAEa,aAAW,OAAA;qBAwCX,SAAO,OAAA,QAAA,OAAA,QAAA,OAAA,gBAAA,OAAA,QAAA,OAAA;;YAKR,iBAAiB,QAAQ"}

package/dist/manifest.js

@@ -0,0 +1,144 @@
+import { Array, Effect, HashMap, Option, Record, Schema, String } from "effect";
+// src/manifest.ts
+const PackageName = Schema.String.check(Schema.isPattern(/^(?!(?:node_modules|favicon\.ico)$)(?:@[a-z0-9-~][a-z0-9-._~]*\/)?[a-z0-9-~][a-z0-9-._~]*$/i), Schema.isMaxLength(214), Schema.isTrimmed());
+const isPackageName = Schema.is(PackageName);
+const dependencyNames = Schema.makeFilter((record) => Array.map(Array.filter(Record.keys(record), (name) => !isPackageName(name)), (name) => ({
+	path: [name],
+	issue: "Invalid dependency name"
+})));
+const Dependencies = Schema.Record(Schema.String, Schema.String).check(dependencyNames);
+const Manifest = Schema.StructWithRest(Schema.Struct({
+	packageManager: Schema.optionalKey(Schema.String),
+	dependencies: Schema.optionalKey(Dependencies),
+	devDependencies: Schema.optionalKey(Dependencies),
+	optionalDependencies: Schema.optionalKey(Dependencies)
+}), [Schema.Record(Schema.String, Schema.Unknown)]);
+const decodeJsonManifest = Schema.decodeUnknownEffect(Schema.fromJsonString(Manifest));
+const decodeManifest = (source) => decodeJsonManifest(String.replace(/^\uFEFF/, "")(source));
+const Changes = Schema.Record(Schema.String, Schema.Union([Schema.String.check(Schema.isPattern(/\S/)), Schema.Null])).check(dependencyNames);
+const fields = [
+	"dependencies",
+	"devDependencies",
+	"optionalDependencies"
+];
+const applyChanges = (manifest, changes) => {
+	let next = manifest;
+	for (const [name, spec] of Record.toEntries(changes)) {
+		const existing = Array.filter(fields, (field) => Record.has(next[field] ?? {}, name));
+		const targets = spec === null || existing.length > 0 ? existing : ["dependencies"];
+		for (const field of targets) {
+			const deps = next[field] ?? {};
+			next = {
+				...next,
+				[field]: spec === null ? Record.remove(deps, name) : Record.set(deps, name, spec)
+			};
+		}
+	}
+	return next;
+};
+const decodeKey = Schema.decodeEffect(Schema.fromJsonString(Schema.String));
+const encodeString = Schema.encodeEffect(Schema.fromJsonString(Schema.String));
+/** Read member spans from a JSON object already validated by decodeManifest. */
+const readObject = Effect.fnUntraced(function* (source) {
+	const tokens = Array.fromIterable(String.matchAll(/"(?:\\[\s\S]|[^"\\])*"|[{}\[\]:,]|[^\s{}\[\]:,]+/g)(source));
+	let members = [];
+	let cursor = 1;
+	let start = (tokens[0]?.index ?? 0) + 1;
+	while (cursor < tokens.length && tokens[cursor]?.[0] !== "}") {
+		const key = tokens[cursor];
+		const valueStart = tokens[cursor + 2].index;
+		cursor += 2;
+		let depth = 0;
+		let end = valueStart;
+		do {
+			const token = tokens[cursor++];
+			if (token[0] === "{" || token[0] === "[") depth++;
+			if (token[0] === "}" || token[0] === "]") depth--;
+			end = token.index + token[0].length;
+		} while (depth > 0);
+		members = Array.append(members, {
+			name: yield* decodeKey(key[0]),
+			leading: String.slice(start, key.index)(source),
+			key: key[0],
+			colon: String.slice(key.index + key[0].length, valueStart)(source),
+			value: String.slice(valueStart, end)(source),
+			trailing: tokens[cursor]?.[0] === "," ? String.slice(end, tokens[cursor].index)(source) : ""
+		});
+		start = end;
+		if (tokens[cursor]?.[0] !== ",") break;
+		start = tokens[cursor++].index + 1;
+	}
+	const close = tokens[cursor].index;
+	const tail = String.slice(start, close)(source);
+	return {
+		members,
+		tail,
+		open: tokens[0].index,
+		close
+	};
+});
+const editObject = Effect.fnUntraced(function* (source, changes) {
+	const { members, tail, open, close } = yield* readObject(source);
+	const edits = HashMap.fromIterable(changes);
+	const first = Array.head(members);
+	const lastOccurrences = HashMap.fromIterable(Array.map(members, (member, index) => [member.name, index]));
+	const retained = Array.flatMap(members, (member, index) => Option.match(HashMap.get(edits, member.name), {
+		onNone: () => [member],
+		onSome: (change) => Option.match(change, {
+			onNone: () => [],
+			onSome: (value) => [Option.getOrUndefined(HashMap.get(lastOccurrences, member.name)) === index ? {
+				...member,
+				value
+			} : member]
+		})
+	}));
+	const added = yield* Effect.forEach(Array.filter(changes, ([name]) => !HashMap.has(lastOccurrences, name)), Effect.fnUntraced(function* ([name, change]) {
+		if (Option.isNone(change)) return [];
+		const key = yield* encodeString(name);
+		return [{
+			name,
+			leading: Option.match(first, {
+				onNone: () => tail,
+				onSome: (member) => member.leading
+			}),
+			key,
+			colon: Option.match(first, {
+				onNone: () => ": ",
+				onSome: (member) => member.colon
+			}),
+			value: change.value,
+			trailing: ""
+		}];
+	}));
+	return String.slice(0, open + 1)(source) + Array.join(Array.map([...retained, ...Array.flatten(added)], (member) => member.leading + member.key + member.colon + member.value + member.trailing), ",") + tail + String.slice(close)(source);
+});
+const encodeManifest = Effect.fnUntraced(function* (manifest, original) {
+	const before = yield* decodeManifest(original);
+	const { members } = yield* readObject(original);
+	const changes = yield* Effect.reduce(fields, () => [], Effect.fnUntraced(function* (changes, field) {
+		const oldSpecs = HashMap.fromIterable(Record.toEntries(before[field] ?? {}));
+		const nextSpecs = HashMap.fromIterable(Record.toEntries(manifest[field] ?? {}));
+		const specs = yield* Effect.reduce(Array.dedupe([...Record.keys(before[field] ?? {}), ...Record.keys(manifest[field] ?? {})]), () => [], Effect.fnUntraced(function* (specs, name) {
+			const old = HashMap.get(oldSpecs, name);
+			const next = HashMap.get(nextSpecs, name);
+			if (Option.getOrUndefined(old) === Option.getOrUndefined(next)) return specs;
+			const value = yield* Option.match(next, {
+				onNone: () => Effect.succeedNone,
+				onSome: (value) => encodeString(value).pipe(Effect.asSome)
+			});
+			return Array.append(specs, [name, value]);
+		}));
+		if (specs.length === 0) return changes;
+		const section = Array.findLast(members, (member) => member.name === field);
+		const source = Option.match(section, {
+			onNone: () => "{}",
+			onSome: (member) => member.value
+		});
+		const edited = yield* editObject(source, specs);
+		return Array.append(changes, [field, Option.some(edited)]);
+	}));
+	return changes.length === 0 ? original : yield* editObject(original, changes);
+});
+export { Changes, Manifest, PackageName, applyChanges, decodeManifest, encodeManifest, fields };
+
+//# sourceMappingURL=manifest.js.map

package/dist/manifest.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"manifest.js","names":[],"sources":["../src/manifest.ts"],"sourcesContent":["import { Array, Effect, HashMap, Option, Record, Schema, String } from \"effect\"\n\nexport const PackageName = Schema.String.check(\n\tSchema.isPattern(\n\t\t/^(?!(?:node_modules|favicon\\.ico)$)(?:@[a-z0-9-~][a-z0-9-._~]*\\/)?[a-z0-9-~][a-z0-9-._~]*$/i,\n\t),\n\tSchema.isMaxLength(214),\n\tSchema.isTrimmed(),\n)\nconst isPackageName = Schema.is(PackageName)\n// A refined Record key filters unmatched keys. Validate names after retaining\n// every key so invalid input cannot silently become a partial change set.\nconst dependencyNames = Schema.makeFilter(\n\t(record: Readonly<Record<string, unknown>>) =>\n\t\tArray.map(\n\t\t\tArray.filter(Record.keys(record), (name) => !isPackageName(name)),\n\t\t\t(name) => ({\n\t\t\t\tpath: [name],\n\t\t\t\tissue: \"Invalid dependency name\",\n\t\t\t}),\n\t\t),\n)\nconst Dependencies = Schema.Record(Schema.String, Schema.String).check(\n\tdependencyNames,\n)\nexport const Manifest = Schema.StructWithRest(\n\tSchema.Struct({\n\t\tpackageManager: Schema.optionalKey(Schema.String),\n\t\tdependencies: Schema.optionalKey(Dependencies),\n\t\tdevDependencies: Schema.optionalKey(Dependencies),\n\t\toptionalDependencies: Schema.optionalKey(Dependencies),\n\t}),\n\t[Schema.Record(Schema.String, Schema.Unknown)],\n)\nexport type Manifest = typeof Manifest.Type\nconst decodeJsonManifest = Schema.decodeUnknownEffect(\n\tSchema.fromJsonString(Manifest),\n)\n// A BOM is a source-format marker, not part of the JSON value.\nexport const decodeManifest = (source: string) =>\n\tdecodeJsonManifest(String.replace(/^\\uFEFF/, \"\")(source))\n\nexport const Changes = Schema.Record(\n\tSchema.String,\n\tSchema.Union([Schema.String.check(Schema.isPattern(/\\S/)), Schema.Null]),\n).check(dependencyNames)\n/** A spec adds or updates a dependency; null removes it from all dependency fields. */\nexport type Changes = typeof Changes.Type\nexport const fields = [\n\t\"dependencies\",\n\t\"devDependencies\",\n\t\"optionalDependencies\",\n] as const\n\nexport const applyChanges = (\n\tmanifest: Manifest,\n\tchanges: Changes,\n): Manifest => {\n\tlet next = manifest\n\tfor (const [name, spec] of Record.toEntries(changes)) {\n\t\tconst existing = Array.filter(fields, (field) =>\n\t\t\tRecord.has(next[field] ?? {}, name),\n\t\t)\n\t\tconst targets =\n\t\t\tspec === null || existing.length > 0\n\t\t\t\t? existing\n\t\t\t\t: ([\"dependencies\"] as const)\n\t\tfor (const field of targets) {\n\t\t\tconst deps = next[field] ?? {}\n\t\t\tnext = {\n\t\t\t\t...next,\n\t\t\t\t[field]:\n\t\t\t\t\tspec === null\n\t\t\t\t\t\t? Record.remove(deps, name)\n\t\t\t\t\t\t: Record.set(deps, name, spec),\n\t\t\t}\n\t\t}\n\t}\n\treturn next\n}\n\nconst decodeKey = Schema.decodeEffect(Schema.fromJsonString(Schema.String))\nconst encodeString = Schema.encodeEffect(Schema.fromJsonString(Schema.String))\n\ninterface Member {\n\treadonly name: string\n\treadonly leading: string\n\treadonly key: string\n\treadonly colon: string\n\treadonly value: string\n\treadonly trailing: string\n}\n\n/** Read member spans from a JSON object already validated by decodeManifest. */\nconst readObject = Effect.fnUntraced(function* (source: string) {\n\t// Strings are single tokens, so punctuation inside them cannot affect nesting.\n\tconst tokens = Array.fromIterable(\n\t\tString.matchAll(/\"(?:\\\\[\\s\\S]|[^\"\\\\])*\"|[{}\\[\\]:,]|[^\\s{}\\[\\]:,]+/g)(\n\t\t\tsource,\n\t\t),\n\t)\n\tlet members: ReadonlyArray<Member> = []\n\tlet cursor = 1\n\tlet start = (tokens[0]?.index ?? 0) + 1\n\twhile (cursor < tokens.length && tokens[cursor]?.[0] !== \"}\") {\n\t\tconst key = tokens[cursor]!\n\t\tconst valueStart = tokens[cursor + 2]!.index\n\t\tcursor += 2\n\t\tlet depth = 0\n\t\tlet end = valueStart\n\t\tdo {\n\t\t\tconst token = tokens[cursor++]!\n\t\t\tif (token[0] === \"{\" || token[0] === \"[\") depth++\n\t\t\tif (token[0] === \"}\" || token[0] === \"]\") depth--\n\t\t\tend = token.index! + token[0].length\n\t\t} while (depth > 0)\n\t\tmembers = Array.append(members, {\n\t\t\tname: yield* decodeKey(key[0]),\n\t\t\tleading: String.slice(start, key.index)(source),\n\t\t\tkey: key[0],\n\t\t\tcolon: String.slice(key.index! + key[0].length, valueStart)(source),\n\t\t\tvalue: String.slice(valueStart, end)(source),\n\t\t\ttrailing:\n\t\t\t\ttokens[cursor]?.[0] === \",\"\n\t\t\t\t\t? String.slice(end, tokens[cursor]!.index)(source)\n\t\t\t\t\t: \"\",\n\t\t})\n\t\tstart = end\n\t\tif (tokens[cursor]?.[0] !== \",\") break\n\t\tstart = tokens[cursor++]!.index! + 1\n\t}\n\tconst close = tokens[cursor]!.index\n\tconst tail = String.slice(start, close)(source)\n\treturn { members, tail, open: tokens[0]!.index!, close }\n})\n\n/** Ordered edits preserve insertion order; None removes every occurrence. */\ntype Edits = ReadonlyArray<readonly [string, Option.Option<string>]>\n\nconst editObject = Effect.fnUntraced(function* (\n\tsource: string,\n\tchanges: Edits,\n) {\n\tconst { members, tail, open, close } = yield* readObject(source)\n\tconst edits = HashMap.fromIterable(changes)\n\tconst first = Array.head(members)\n\tconst lastOccurrences = HashMap.fromIterable(\n\t\tArray.map(members, (member, index) => [member.name, index] as const),\n\t)\n\tconst retained = Array.flatMap(members, (member, index) =>\n\t\tOption.match(HashMap.get(edits, member.name), {\n\t\t\tonNone: () => [member],\n\t\t\tonSome: (change) =>\n\t\t\t\tOption.match(change, {\n\t\t\t\t\t// Removing every occurrence prevents an earlier value from becoming active.\n\t\t\t\t\tonNone: () => [],\n\t\t\t\t\tonSome: (value) => [\n\t\t\t\t\t\tOption.getOrUndefined(HashMap.get(lastOccurrences, member.name)) ===\n\t\t\t\t\t\tindex\n\t\t\t\t\t\t\t? { ...member, value }\n\t\t\t\t\t\t\t: member,\n\t\t\t\t\t],\n\t\t\t\t}),\n\t\t}),\n\t)\n\tconst added = yield* Effect.forEach(\n\t\tArray.filter(changes, ([name]) => !HashMap.has(lastOccurrences, name)),\n\t\tEffect.fnUntraced(function* ([name, change]) {\n\t\t\tif (Option.isNone(change)) return []\n\t\t\tconst key = yield* encodeString(name)\n\t\t\treturn [\n\t\t\t\t{\n\t\t\t\t\tname,\n\t\t\t\t\tleading: Option.match(first, {\n\t\t\t\t\t\tonNone: () => tail,\n\t\t\t\t\t\tonSome: (member) => member.leading,\n\t\t\t\t\t}),\n\t\t\t\t\tkey,\n\t\t\t\t\tcolon: Option.match(first, {\n\t\t\t\t\t\tonNone: () => \": \",\n\t\t\t\t\t\tonSome: (member) => member.colon,\n\t\t\t\t\t}),\n\t\t\t\t\tvalue: change.value,\n\t\t\t\t\ttrailing: \"\",\n\t\t\t\t},\n\t\t\t]\n\t\t}),\n\t)\n\treturn (\n\t\tString.slice(0, open + 1)(source) +\n\t\tArray.join(\n\t\t\tArray.map(\n\t\t\t\t[...retained, ...Array.flatten(added)],\n\t\t\t\t(member) =>\n\t\t\t\t\tmember.leading +\n\t\t\t\t\tmember.key +\n\t\t\t\t\tmember.colon +\n\t\t\t\t\tmember.value +\n\t\t\t\t\tmember.trailing,\n\t\t\t),\n\t\t\t\",\",\n\t\t) +\n\t\ttail +\n\t\tString.slice(close)(source)\n\t)\n})\n\nexport const encodeManifest = Effect.fnUntraced(function* (\n\tmanifest: Manifest,\n\toriginal: string,\n) {\n\tconst before = yield* decodeManifest(original)\n\tconst { members } = yield* readObject(original)\n\tconst changes = yield* Effect.reduce(\n\t\tfields,\n\t\t(): Edits => [],\n\t\tEffect.fnUntraced(function* (changes, field) {\n\t\t\tconst oldSpecs = HashMap.fromIterable(\n\t\t\t\tRecord.toEntries(before[field] ?? {}),\n\t\t\t)\n\t\t\tconst nextSpecs = HashMap.fromIterable(\n\t\t\t\tRecord.toEntries(manifest[field] ?? {}),\n\t\t\t)\n\t\t\tconst specs = yield* Effect.reduce(\n\t\t\t\tArray.dedupe([\n\t\t\t\t\t...Record.keys(before[field] ?? {}),\n\t\t\t\t\t...Record.keys(manifest[field] ?? {}),\n\t\t\t\t]),\n\t\t\t\t(): Edits => [],\n\t\t\t\tEffect.fnUntraced(function* (specs, name) {\n\t\t\t\t\tconst old = HashMap.get(oldSpecs, name)\n\t\t\t\t\tconst next = HashMap.get(nextSpecs, name)\n\t\t\t\t\tif (Option.getOrUndefined(old) === Option.getOrUndefined(next))\n\t\t\t\t\t\treturn specs\n\t\t\t\t\tconst value = yield* Option.match(next, {\n\t\t\t\t\t\tonNone: () => Effect.succeedNone,\n\t\t\t\t\t\tonSome: (value) => encodeString(value).pipe(Effect.asSome),\n\t\t\t\t\t})\n\t\t\t\t\treturn Array.append(specs, [name, value] as const)\n\t\t\t\t}),\n\t\t\t)\n\t\t\tif (specs.length === 0) return changes\n\t\t\tconst section = Array.findLast(members, (member) => member.name === field)\n\t\t\tconst source = Option.match(section, {\n\t\t\t\tonNone: () => \"{}\",\n\t\t\t\tonSome: (member) => member.value,\n\t\t\t})\n\t\t\tconst edited = yield* editObject(source, specs)\n\t\t\treturn Array.append(changes, [field, Option.some(edited)] as const)\n\t\t}),\n\t)\n\treturn changes.length === 0 ? original : yield* editObject(original, changes)\n})\n"],"mappings":";;AAEA,MAAa,cAAc,OAAO,OAAO,MACxC,OAAO,UACN,6FACD,GACA,OAAO,YAAY,GAAG,GACtB,OAAO,UAAU,CAClB;AACA,MAAM,gBAAgB,OAAO,GAAG,WAAW;AAG3C,MAAM,kBAAkB,OAAO,YAC7B,WACA,MAAM,IACL,MAAM,OAAO,OAAO,KAAK,MAAM,IAAI,SAAS,CAAC,cAAc,IAAI,CAAC,IAC/D,UAAU;CACV,MAAM,CAAC,IAAI;CACX,OAAO;AACR,EACD,CACF;AACA,MAAM,eAAe,OAAO,OAAO,OAAO,QAAQ,OAAO,MAAM,CAAC,CAAC,MAChE,eACD;AACA,MAAa,WAAW,OAAO,eAC9B,OAAO,OAAO;CACb,gBAAgB,OAAO,YAAY,OAAO,MAAM;CAChD,cAAc,OAAO,YAAY,YAAY;CAC7C,iBAAiB,OAAO,YAAY,YAAY;CAChD,sBAAsB,OAAO,YAAY,YAAY;AACtD,CAAC,GACD,CAAC,OAAO,OAAO,OAAO,QAAQ,OAAO,OAAO,CAAC,CAC9C;AAEA,MAAM,qBAAqB,OAAO,oBACjC,OAAO,eAAe,QAAQ,CAC/B;AAEA,MAAa,kBAAkB,WAC9B,mBAAmB,OAAO,QAAQ,WAAW,EAAE,CAAC,CAAC,MAAM,CAAC;AAEzD,MAAa,UAAU,OAAO,OAC7B,OAAO,QACP,OAAO,MAAM,CAAC,OAAO,OAAO,MAAM,OAAO,UAAU,IAAI,CAAC,GAAG,OAAO,IAAI,CAAC,CACxE,CAAC,CAAC,MAAM,eAAe;AAGvB,MAAa,SAAS;CACrB;CACA;CACA;AACD;AAEA,MAAa,gBACZ,UACA,YACc;CACd,IAAI,OAAO;CACX,KAAK,MAAM,CAAC,MAAM,SAAS,OAAO,UAAU,OAAO,GAAG;EACrD,MAAM,WAAW,MAAM,OAAO,SAAS,UACtC,OAAO,IAAI,KAAK,UAAU,CAAC,GAAG,IAAI,CACnC;EACA,MAAM,UACL,SAAS,QAAQ,SAAS,SAAS,IAChC,WACC,CAAC,cAAc;EACpB,KAAK,MAAM,SAAS,SAAS;GAC5B,MAAM,OAAO,KAAK,UAAU,CAAC;GAC7B,OAAO;IACN,GAAG;KACF,QACA,SAAS,OACN,OAAO,OAAO,MAAM,IAAI,IACxB,OAAO,IAAI,MAAM,MAAM,IAAI;GAChC;EACD;CACD;CACA,OAAO;AACR;AAEA,MAAM,YAAY,OAAO,aAAa,OAAO,eAAe,OAAO,MAAM,CAAC;AAC1E,MAAM,eAAe,OAAO,aAAa,OAAO,eAAe,OAAO,MAAM,CAAC;;AAY7E,MAAM,aAAa,OAAO,WAAW,WAAW,QAAgB;CAE/D,MAAM,SAAS,MAAM,aACpB,OAAO,SAAS,mDAAmD,CAAC,CACnE,MACD,CACD;CACA,IAAI,UAAiC,CAAC;CACtC,IAAI,SAAS;CACb,IAAI,SAAS,OAAO,EAAE,EAAE,SAAS,KAAK;CACtC,OAAO,SAAS,OAAO,UAAU,OAAO,OAAO,GAAG,OAAO,KAAK;EAC7D,MAAM,MAAM,OAAO;EACnB,MAAM,aAAa,OAAO,SAAS,EAAE,CAAE;EACvC,UAAU;EACV,IAAI,QAAQ;EACZ,IAAI,MAAM;EACV,GAAG;GACF,MAAM,QAAQ,OAAO;GACrB,IAAI,MAAM,OAAO,OAAO,MAAM,OAAO,KAAK;GAC1C,IAAI,MAAM,OAAO,OAAO,MAAM,OAAO,KAAK;GAC1C,MAAM,MAAM,QAAS,MAAM,EAAE,CAAC;EAC/B,SAAS,QAAQ;EACjB,UAAU,MAAM,OAAO,SAAS;GAC/B,MAAM,OAAO,UAAU,IAAI,EAAE;GAC7B,SAAS,OAAO,MAAM,OAAO,IAAI,KAAK,CAAC,CAAC,MAAM;GAC9C,KAAK,IAAI;GACT,OAAO,OAAO,MAAM,IAAI,QAAS,IAAI,EAAE,CAAC,QAAQ,UAAU,CAAC,CAAC,MAAM;GAClE,OAAO,OAAO,MAAM,YAAY,GAAG,CAAC,CAAC,MAAM;GAC3C,UACC,OAAO,OAAO,GAAG,OAAO,MACrB,OAAO,MAAM,KAAK,OAAO,OAAO,CAAE,KAAK,CAAC,CAAC,MAAM,IAC/C;EACL,CAAC;EACD,QAAQ;EACR,IAAI,OAAO,OAAO,GAAG,OAAO,KAAK;EACjC,QAAQ,OAAO,SAAS,CAAE,QAAS;CACpC;CACA,MAAM,QAAQ,OAAO,OAAO,CAAE;CAC9B,MAAM,OAAO,OAAO,MAAM,OAAO,KAAK,CAAC,CAAC,MAAM;CAC9C,OAAO;EAAE;EAAS;EAAM,MAAM,OAAO,EAAE,CAAE;EAAQ;CAAM;AACxD,CAAC;AAKD,MAAM,aAAa,OAAO,WAAW,WACpC,QACA,SACC;CACD,MAAM,EAAE,SAAS,MAAM,MAAM,UAAU,OAAO,WAAW,MAAM;CAC/D,MAAM,QAAQ,QAAQ,aAAa,OAAO;CAC1C,MAAM,QAAQ,MAAM,KAAK,OAAO;CAChC,MAAM,kBAAkB,QAAQ,aAC/B,MAAM,IAAI,UAAU,QAAQ,UAAU,CAAC,OAAO,MAAM,KAAK,CAAU,CACpE;CACA,MAAM,WAAW,MAAM,QAAQ,UAAU,QAAQ,UAChD,OAAO,MAAM,QAAQ,IAAI,OAAO,OAAO,IAAI,GAAG;EAC7C,cAAc,CAAC,MAAM;EACrB,SAAS,WACR,OAAO,MAAM,QAAQ;GAEpB,cAAc,CAAC;GACf,SAAS,UAAU,CAClB,OAAO,eAAe,QAAQ,IAAI,iBAAiB,OAAO,IAAI,CAAC,MAC/D,QACG;IAAE,GAAG;IAAQ;GAAM,IACnB,MACJ;EACD,CAAC;CACH,CAAC,CACF;CACA,MAAM,QAAQ,OAAO,OAAO,QAC3B,MAAM,OAAO,UAAU,CAAC,UAAU,CAAC,QAAQ,IAAI,iBAAiB,IAAI,CAAC,GACrE,OAAO,WAAW,WAAW,CAAC,MAAM,SAAS;EAC5C,IAAI,OAAO,OAAO,MAAM,GAAG,OAAO,CAAC;EACnC,MAAM,MAAM,OAAO,aAAa,IAAI;EACpC,OAAO,CACN;GACC;GACA,SAAS,OAAO,MAAM,OAAO;IAC5B,cAAc;IACd,SAAS,WAAW,OAAO;GAC5B,CAAC;GACD;GACA,OAAO,OAAO,MAAM,OAAO;IAC1B,cAAc;IACd,SAAS,WAAW,OAAO;GAC5B,CAAC;GACD,OAAO,OAAO;GACd,UAAU;EACX,CACD;CACD,CAAC,CACF;CACA,OACC,OAAO,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,MAAM,IAChC,MAAM,KACL,MAAM,IACL,CAAC,GAAG,UAAU,GAAG,MAAM,QAAQ,KAAK,CAAC,IACpC,WACA,OAAO,UACP,OAAO,MACP,OAAO,QACP,OAAO,QACP,OAAO,QACT,GACA,GACD,IACA,OACA,OAAO,MAAM,KAAK,CAAC,CAAC,MAAM;AAE5B,CAAC;AAED,MAAa,iBAAiB,OAAO,WAAW,WAC/C,UACA,UACC;CACD,MAAM,SAAS,OAAO,eAAe,QAAQ;CAC7C,MAAM,EAAE,YAAY,OAAO,WAAW,QAAQ;CAC9C,MAAM,UAAU,OAAO,OAAO,OAC7B,cACa,CAAC,GACd,OAAO,WAAW,WAAW,SAAS,OAAO;EAC5C,MAAM,WAAW,QAAQ,aACxB,OAAO,UAAU,OAAO,UAAU,CAAC,CAAC,CACrC;EACA,MAAM,YAAY,QAAQ,aACzB,OAAO,UAAU,SAAS,UAAU,CAAC,CAAC,CACvC;EACA,MAAM,QAAQ,OAAO,OAAO,OAC3B,MAAM,OAAO,CACZ,GAAG,OAAO,KAAK,OAAO,UAAU,CAAC,CAAC,GAClC,GAAG,OAAO,KAAK,SAAS,UAAU,CAAC,CAAC,CACrC,CAAC,SACY,CAAC,GACd,OAAO,WAAW,WAAW,OAAO,MAAM;GACzC,MAAM,MAAM,QAAQ,IAAI,UAAU,IAAI;GACtC,MAAM,OAAO,QAAQ,IAAI,WAAW,IAAI;GACxC,IAAI,OAAO,eAAe,GAAG,MAAM,OAAO,eAAe,IAAI,GAC5D,OAAO;GACR,MAAM,QAAQ,OAAO,OAAO,MAAM,MAAM;IACvC,cAAc,OAAO;IACrB,SAAS,UAAU,aAAa,KAAK,CAAC,CAAC,KAAK,OAAO,MAAM;GAC1D,CAAC;GACD,OAAO,MAAM,OAAO,OAAO,CAAC,MAAM,KAAK,CAAU;EAClD,CAAC,CACF;EACA,IAAI,MAAM,WAAW,GAAG,OAAO;EAC/B,MAAM,UAAU,MAAM,SAAS,UAAU,WAAW,OAAO,SAAS,KAAK;EACzE,MAAM,SAAS,OAAO,MAAM,SAAS;GACpC,cAAc;GACd,SAAS,WAAW,OAAO;EAC5B,CAAC;EACD,MAAM,SAAS,OAAO,WAAW,QAAQ,KAAK;EAC9C,OAAO,MAAM,OAAO,SAAS,CAAC,OAAO,OAAO,KAAK,MAAM,CAAC,CAAU;CACnE,CAAC,CACF;CACA,OAAO,QAAQ,WAAW,IAAI,WAAW,OAAO,WAAW,UAAU,OAAO;AAC7E,CAAC"}

package/dist/process.js

@@ -0,0 +1,50 @@
+import { Array, Cause, Data, Effect, Exit, PlatformError, Schedule, Schema } from "effect";
+import * as NodeProcess from "node:process";
+// src/process.ts
+const missingGroup = Schema.is(Schema.Struct({ code: Schema.Literal("ESRCH") }));
+const unsignallableGroup = Schema.is(Schema.Struct({ code: Schema.Literal("EPERM") }));
+const failedSignal = Schema.is(Schema.Struct({ message: Schema.Literal("Failed to kill child process") }));
+const isSignalFailure = (error) => error.reason.module === "ChildProcess" && error.reason.method === "kill" && (missingGroup(error.cause) || error.reason._tag === "Unknown" && failedSignal(error.cause));
+/** Signal zero checks the group without signalling any member. */
+const groupExists = (pid) => Effect.try({
+	try: () => {
+		NodeProcess.kill(-pid, 0);
+		return true;
+	},
+	catch: (cause) => PlatformError.systemError({
+		_tag: "Unknown",
+		module: "ChildProcess",
+		method: "probeGroup",
+		cause
+	})
+}).pipe(Effect.catchIf((error) => missingGroup(error.cause) || unsignallableGroup(error.cause), (error) => Effect.succeed(!missingGroup(error.cause))));
+/** Close the original group, including descendants that remain in it after leader exit. */
+const closeProcess = (process, options, probe = groupExists) => Effect.gen(function* () {
+	const killed = yield* Effect.suspend(() => process.kill(options)).pipe(Effect.exit);
+	if (NodeProcess.platform === "win32") return yield* killed;
+	const checked = yield* Effect.suspend(() => probe(process.pid)).pipe(Effect.exit, Effect.repeat({
+		while: (exit) => Exit.isSuccess(exit) && exit.value,
+		times: 100,
+		schedule: Schedule.spaced("20 millis")
+	}));
+	if (Exit.isFailure(checked)) return yield* Effect.failCause(Exit.isFailure(killed) ? Cause.combine(killed.cause, checked.cause) : checked.cause);
+	if (checked.value) {
+		if (Exit.isFailure(killed)) return yield* Effect.failCause(killed.cause);
+		return yield* PlatformError.systemError({
+			_tag: "Unknown",
+			module: "ChildProcess",
+			method: "confirmGroupStopped",
+			description: `Process group ${process.pid} still exists after the two-second confirmation window`
+		});
+	}
+	if (Exit.isFailure(killed)) {
+		const remaining = Array.filter(killed.cause.reasons, (reason) => !(Cause.isFailReason(reason) && isSignalFailure(reason.error)));
+		if (remaining.length > 0) return yield* Effect.failCause(Cause.fromReasons(remaining));
+	}
+});
+const Termination = Data.taggedEnum();
+/** Only proves termination of the original group, not detached groups or daemons. */
+const terminateProcess = (process, options) => Effect.suspend(() => closeProcess(process, options)).pipe(Effect.exit, Effect.map((exit) => Exit.isSuccess(exit) ? Termination.OriginalGroupStopped() : Termination.Unconfirmed({ cause: exit.cause })));
+export { Termination, closeProcess, groupExists, terminateProcess };
+
+//# sourceMappingURL=process.js.map

package/dist/process.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"process.js","names":[],"sources":["../src/process.ts"],"sourcesContent":["// The spawner exposes no process-group existence check after kill loses errno.\nimport * as NodeProcess from \"node:process\"\nimport {\n\tArray,\n\tCause,\n\tData,\n\tEffect,\n\tExit,\n\tPlatformError,\n\tSchedule,\n\tSchema,\n} from \"effect\"\nimport type { ChildProcess, ChildProcessSpawner } from \"effect/process\"\n\nconst missingGroup = Schema.is(Schema.Struct({ code: Schema.Literal(\"ESRCH\") }))\nconst unsignallableGroup = Schema.is(\n\tSchema.Struct({ code: Schema.Literal(\"EPERM\") }),\n)\n// Node's kill(false) fallback loses errno, but has a specific signal-failure shape.\nconst failedSignal = Schema.is(\n\tSchema.Struct({ message: Schema.Literal(\"Failed to kill child process\") }),\n)\nconst isSignalFailure = (error: PlatformError.PlatformError) =>\n\terror.reason.module === \"ChildProcess\" &&\n\terror.reason.method === \"kill\" &&\n\t(missingGroup(error.cause) ||\n\t\t(error.reason._tag === \"Unknown\" && failedSignal(error.cause)))\n\n/** Signal zero checks the group without signalling any member. */\nexport const groupExists = (pid: ChildProcessSpawner.ProcessId) =>\n\tEffect.try({\n\t\ttry: () => {\n\t\t\tNodeProcess.kill(-pid, 0)\n\t\t\treturn true\n\t\t},\n\t\tcatch: (cause) =>\n\t\t\tPlatformError.systemError({\n\t\t\t\t_tag: \"Unknown\",\n\t\t\t\tmodule: \"ChildProcess\",\n\t\t\t\tmethod: \"probeGroup\",\n\t\t\t\tcause,\n\t\t\t}),\n\t}).pipe(\n\t\tEffect.catchIf(\n\t\t\t(error) => missingGroup(error.cause) || unsignallableGroup(error.cause),\n\t\t\t// EPERM can mean zombies on macOS. It never establishes group absence.\n\t\t\t(error) => Effect.succeed(!missingGroup(error.cause)),\n\t\t),\n\t)\n\n/** Close the original group, including descendants that remain in it after leader exit. */\nexport const closeProcess = (\n\tprocess: ChildProcessSpawner.ChildProcessHandle,\n\toptions: ChildProcess.KillOptions,\n\tprobe: typeof groupExists = groupExists,\n) =>\n\tEffect.gen(function* () {\n\t\tconst killed = yield* Effect.suspend(() => process.kill(options)).pipe(\n\t\t\tEffect.exit,\n\t\t)\n\t\t// Windows retains its as-is adapter contract; POSIX requires group evidence.\n\t\tif (NodeProcess.platform === \"win32\") return yield* killed\n\t\tconst checked = yield* Effect.suspend(() => probe(process.pid)).pipe(\n\t\t\tEffect.exit,\n\t\t\tEffect.repeat({\n\t\t\t\twhile: (exit) => Exit.isSuccess(exit) && exit.value,\n\t\t\t\ttimes: 100,\n\t\t\t\tschedule: Schedule.spaced(\"20 millis\"),\n\t\t\t}),\n\t\t)\n\t\tif (Exit.isFailure(checked))\n\t\t\treturn yield* Effect.failCause(\n\t\t\t\tExit.isFailure(killed)\n\t\t\t\t\t? Cause.combine(killed.cause, checked.cause)\n\t\t\t\t\t: checked.cause,\n\t\t\t)\n\t\tif (checked.value) {\n\t\t\tif (Exit.isFailure(killed)) return yield* Effect.failCause(killed.cause)\n\t\t\treturn yield* PlatformError.systemError({\n\t\t\t\t_tag: \"Unknown\",\n\t\t\t\tmodule: \"ChildProcess\",\n\t\t\t\tmethod: \"confirmGroupStopped\",\n\t\t\t\tdescription: `Process group ${process.pid} still exists after the two-second confirmation window`,\n\t\t\t})\n\t\t}\n\t\tif (Exit.isFailure(killed)) {\n\t\t\t// Absence resolves only a failed signal to a nonexistent group, not other cleanup failures.\n\t\t\tconst remaining = Array.filter(\n\t\t\t\tkilled.cause.reasons,\n\t\t\t\t(reason) =>\n\t\t\t\t\t!(Cause.isFailReason(reason) && isSignalFailure(reason.error)),\n\t\t\t)\n\t\t\tif (remaining.length > 0)\n\t\t\t\treturn yield* Effect.failCause(Cause.fromReasons(remaining))\n\t\t}\n\t})\n\nexport type Termination = Data.TaggedEnum<{\n\tOriginalGroupStopped: {}\n\tUnconfirmed: { readonly cause: Cause.Cause<PlatformError.PlatformError> }\n}>\n\nexport const Termination = Data.taggedEnum<Termination>()\n\nexport type OriginalGroupStopped = Data.TaggedEnum.Value<\n\tTermination,\n\t\"OriginalGroupStopped\"\n>\n\n/** Only proves termination of the original group, not detached groups or daemons. */\nexport const terminateProcess = (\n\tprocess: ChildProcessSpawner.ChildProcessHandle,\n\toptions: ChildProcess.KillOptions,\n) =>\n\tEffect.suspend(() => closeProcess(process, options)).pipe(\n\t\tEffect.exit,\n\t\tEffect.map((exit): Termination =>\n\t\t\tExit.isSuccess(exit)\n\t\t\t\t? Termination.OriginalGroupStopped()\n\t\t\t\t: Termination.Unconfirmed({ cause: exit.cause }),\n\t\t),\n\t)\n"],"mappings":";;;AAcA,MAAM,eAAe,OAAO,GAAG,OAAO,OAAO,EAAE,MAAM,OAAO,QAAQ,OAAO,EAAE,CAAC,CAAC;AAC/E,MAAM,qBAAqB,OAAO,GACjC,OAAO,OAAO,EAAE,MAAM,OAAO,QAAQ,OAAO,EAAE,CAAC,CAChD;AAEA,MAAM,eAAe,OAAO,GAC3B,OAAO,OAAO,EAAE,SAAS,OAAO,QAAQ,8BAA8B,EAAE,CAAC,CAC1E;AACA,MAAM,mBAAmB,UACxB,MAAM,OAAO,WAAW,kBACxB,MAAM,OAAO,WAAW,WACvB,aAAa,MAAM,KAAK,KACvB,MAAM,OAAO,SAAS,aAAa,aAAa,MAAM,KAAK;;AAG9D,MAAa,eAAe,QAC3B,OAAO,IAAI;CACV,WAAW;EACV,YAAY,KAAK,CAAC,KAAK,CAAC;EACxB,OAAO;CACR;CACA,QAAQ,UACP,cAAc,YAAY;EACzB,MAAM;EACN,QAAQ;EACR,QAAQ;EACR;CACD,CAAC;AACH,CAAC,CAAC,CAAC,KACF,OAAO,SACL,UAAU,aAAa,MAAM,KAAK,KAAK,mBAAmB,MAAM,KAAK,IAErE,UAAU,OAAO,QAAQ,CAAC,aAAa,MAAM,KAAK,CAAC,CACrD,CACD;;AAGD,MAAa,gBACZ,SACA,SACA,QAA4B,gBAE5B,OAAO,IAAI,aAAa;CACvB,MAAM,SAAS,OAAO,OAAO,cAAc,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,KACjE,OAAO,IACR;CAEA,IAAI,YAAY,aAAa,SAAS,OAAO,OAAO;CACpD,MAAM,UAAU,OAAO,OAAO,cAAc,MAAM,QAAQ,GAAG,CAAC,CAAC,CAAC,KAC/D,OAAO,MACP,OAAO,OAAO;EACb,QAAQ,SAAS,KAAK,UAAU,IAAI,KAAK,KAAK;EAC9C,OAAO;EACP,UAAU,SAAS,OAAO,WAAW;CACtC,CAAC,CACF;CACA,IAAI,KAAK,UAAU,OAAO,GACzB,OAAO,OAAO,OAAO,UACpB,KAAK,UAAU,MAAM,IAClB,MAAM,QAAQ,OAAO,OAAO,QAAQ,KAAK,IACzC,QAAQ,KACZ;CACD,IAAI,QAAQ,OAAO;EAClB,IAAI,KAAK,UAAU,MAAM,GAAG,OAAO,OAAO,OAAO,UAAU,OAAO,KAAK;EACvE,OAAO,OAAO,cAAc,YAAY;GACvC,MAAM;GACN,QAAQ;GACR,QAAQ;GACR,aAAa,iBAAiB,QAAQ,IAAI;EAC3C,CAAC;CACF;CACA,IAAI,KAAK,UAAU,MAAM,GAAG;EAE3B,MAAM,YAAY,MAAM,OACvB,OAAO,MAAM,UACZ,WACA,EAAE,MAAM,aAAa,MAAM,KAAK,gBAAgB,OAAO,KAAK,EAC9D;EACA,IAAI,UAAU,SAAS,GACtB,OAAO,OAAO,OAAO,UAAU,MAAM,YAAY,SAAS,CAAC;CAC7D;AACD,CAAC;AAOF,MAAa,cAAc,KAAK,WAAwB;;AAQxD,MAAa,oBACZ,SACA,YAEA,OAAO,cAAc,aAAa,SAAS,OAAO,CAAC,CAAC,CAAC,KACpD,OAAO,MACP,OAAO,KAAK,SACX,KAAK,UAAU,IAAI,IAChB,YAAY,qBAAqB,IACjC,YAAY,YAAY,EAAE,OAAO,KAAK,MAAM,CAAC,CACjD,CACD"}

package/dist/snapshot.d.ts

@@ -0,0 +1,15 @@
+import { Cause, Effect, FileSystem, Option, Path, PlatformError, Schema } from "effect";
+export interface SnapshotCleanupFailure {
+  readonly snapshotDirectory: string;
+  readonly cause: Cause.Cause<PlatformError.PlatformError>;
+}
+declare const UnsupportedFileTypeError_base: Schema.Class<UnsupportedFileTypeError, Schema.TaggedStruct<"UnsupportedFileTypeError", {
+  readonly path: Schema.String;
+  readonly fileType: Schema.String;
+  readonly message: Schema.String;
+}>, Cause.YieldableError & {
+  readonly brand: unique symbol;
+}>;
+export declare class UnsupportedFileTypeError extends UnsupportedFileTypeError_base {}
+export {};
+//# sourceMappingURL=snapshot.d.ts.map

package/dist/snapshot.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"snapshot.d.ts","names":[],"sources":["../src/snapshot.ts"],"mappings":";iBAiBiB;WACP;WACA,OAAO,MAAM,MAAM,cAAc;;;;;;;WAoDxB;;qBAFN,iCAAiC"}

package/dist/snapshot.js

@@ -0,0 +1,104 @@
+import { Array, Cause, Effect, Equal, Exit, Option, Random, Schema, Scope } from "effect";
+// src/snapshot.ts
+/** Separate the transaction's outcome from disposal of its snapshot. */
+const withSnapshot = (fs, canDelete, use) => Effect.uninterruptibleMask((resume) => Effect.gen(function* () {
+	const snapshotDirectory = yield* fs.makeTempDirectory({ prefix: "graft-recovery-" });
+	const outcome = yield* resume(Effect.suspend(() => use(snapshotDirectory))).pipe(Effect.exit);
+	const cleanup = (yield* canDelete) ? yield* Effect.suspend(() => fs.remove(snapshotDirectory, { recursive: true })).pipe(Effect.exit) : Exit.void;
+	if (Exit.isFailure(outcome)) return yield* Effect.failCause(Exit.isFailure(cleanup) ? Cause.combine(outcome.cause, cleanup.cause) : outcome.cause);
+	return yield* resume(Effect.succeed({
+		value: outcome.value,
+		snapshotCleanupFailure: Exit.isFailure(cleanup) ? Option.some({
+			snapshotDirectory,
+			cause: cleanup.cause
+		}) : Option.none()
+	})).pipe(Effect.onExit((exit) => Exit.isFailure(exit) && Exit.isFailure(cleanup) ? Effect.failCause(cleanup.cause) : Effect.void));
+}));
+var UnsupportedFileTypeError = class extends Schema.TaggedError()("UnsupportedFileTypeError", {
+	path: Schema.String,
+	fileType: Schema.String,
+	message: Schema.String
+}) {};
+/** lstat distinguishes missing paths from links, including dangling links. */
+const inspectManagedFiles = Effect.fnUntraced(function* (fs, path, directory, names) {
+	return yield* Effect.forEach(names, (name) => Effect.gen(function* () {
+		const file = path.join(directory, name);
+		return {
+			name,
+			file,
+			metadata: yield* fs.lstat(file).pipe(Effect.flatMap((info) => info.type === "File" ? Effect.succeed({
+				mode: info.mode & 4095,
+				uid: info.uid,
+				gid: info.gid
+			}) : Effect.fail(UnsupportedFileTypeError.make({
+				path: file,
+				fileType: info.type,
+				message: `Managed paths must be regular files or absent: ${file} is ${info.type}`
+			}))), Effect.asSome, Effect.catchCauseIf((cause) => Array.every(cause.reasons, (reason) => Cause.isFailReason(reason) && reason.error._tag === "PlatformError" && reason.error.reason.module === "FileSystem" && reason.error.reason.method === "lstat" && reason.error.reason._tag === "NotFound"), () => Effect.succeedNone))
+		};
+	}));
+});
+const encodeInventory = Schema.encodeEffect(Schema.fromJsonString(Schema.Struct({
+	directory: Schema.String,
+	agent: Schema.String,
+	files: Schema.Array(Schema.Struct({
+		name: Schema.String,
+		backup: Schema.NullOr(Schema.String),
+		mode: Schema.NullOr(Schema.Int),
+		uid: Schema.NullOr(Schema.Int),
+		gid: Schema.NullOr(Schema.Int)
+	}))
+}), { space: 2 }));
+/** Persist every byte before allowing the installer to modify the project. */
+const writeSnapshot = Effect.fnUntraced(function* (fs, path, snapshotDirectory, directory, agent, backups) {
+	const files = yield* Effect.forEach(backups, (entry, index) => Effect.gen(function* () {
+		if (Option.isNone(entry.contents)) return {
+			name: entry.name,
+			backup: null,
+			mode: null,
+			uid: null,
+			gid: null
+		};
+		const { bytes, mode, uid, gid } = entry.contents.value;
+		const backup = `${index}.bin`;
+		yield* fs.writeFile(path.join(snapshotDirectory, backup), bytes, { mode: 384 });
+		return {
+			name: entry.name,
+			backup,
+			mode,
+			uid: Option.getOrNull(uid),
+			gid: Option.getOrNull(gid)
+		};
+	}));
+	const inventory = yield* encodeInventory({
+		directory,
+		agent,
+		files
+	});
+	yield* fs.writeFileString(path.join(snapshotDirectory, "snapshot.json"), inventory, { mode: 384 });
+	return { restore: (_idle) => Array.reduce(backups, Effect.void, (previous, { file, contents }) => previous.pipe(Effect.onExit(() => Option.match(contents, {
+		onNone: () => fs.remove(file, { force: true }),
+		onSome: (contents) => restoreFile(fs, path, file, contents)
+	})))) };
+}, Effect.uninterruptible);
+/** Create privately and restore metadata before making the replacement visible. */
+const restoreFile = Effect.fnUntraced(function* (fs, path, target, contents) {
+	yield* fs.makeDirectory(path.dirname(target), { recursive: true });
+	const temporary = `${target}.${(yield* Random.nextIntBetween(0, 4294967295)).toString(16)}.tmp`;
+	yield* Effect.acquireUseRelease(Scope.make(), (scope) => Effect.acquireUseRelease(fs.open(temporary, {
+		flag: "wx",
+		mode: 384
+	}).pipe(Effect.provideService(Scope.Scope, scope)), (file) => Effect.gen(function* () {
+		yield* file.writeAll(contents.bytes);
+		const current = yield* file.stat;
+		const { uid, gid } = contents;
+		if (Option.isSome(uid) && Option.isSome(gid) && (!Equal.equals(uid, current.uid) || !Equal.equals(gid, current.gid))) yield* fs.chown(temporary, uid.value, gid.value);
+		yield* fs.chmod(temporary, contents.mode);
+		yield* file.sync;
+		yield* Scope.close(scope, Exit.void);
+		yield* fs.rename(temporary, target);
+	}), (_, exit) => Exit.isSuccess(exit) ? Effect.void : Scope.close(scope, exit).pipe(Effect.onExit(() => fs.remove(temporary, { force: true })))), (scope, exit) => Scope.close(scope, exit));
+});
+export { UnsupportedFileTypeError, inspectManagedFiles, withSnapshot, writeSnapshot };
+
+//# sourceMappingURL=snapshot.js.map

package/dist/snapshot.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"snapshot.js","names":[],"sources":["../src/snapshot.ts"],"sourcesContent":["import {\n\tArray,\n\tCause,\n\tEffect,\n\tEqual,\n\tExit,\n\tOption,\n\tRandom,\n\tSchema,\n\tScope,\n} from \"effect\"\nimport type { FileSystem, Path, PlatformError } from \"effect\"\n/** File writes have completed and the original installer group is stopped or absent. */\nexport interface ManagedWritersIdle {\n\treadonly _tag: \"ManagedWritersIdle\"\n}\n\nexport interface SnapshotCleanupFailure {\n\treadonly snapshotDirectory: string\n\treadonly cause: Cause.Cause<PlatformError.PlatformError>\n}\n\n/** Separate the transaction's outcome from disposal of its snapshot. */\nexport const withSnapshot = <A, E, R>(\n\tfs: FileSystem.FileSystem,\n\tcanDelete: Effect.Effect<boolean>,\n\tuse: (directory: string) => Effect.Effect<A, E, R>,\n) =>\n\tEffect.uninterruptibleMask((resume) =>\n\t\tEffect.gen(function* () {\n\t\t\tconst snapshotDirectory = yield* fs.makeTempDirectory({\n\t\t\t\tprefix: \"graft-recovery-\",\n\t\t\t})\n\t\t\tconst outcome = yield* resume(\n\t\t\t\tEffect.suspend(() => use(snapshotDirectory)),\n\t\t\t).pipe(Effect.exit)\n\t\t\tconst cleanup = (yield* canDelete)\n\t\t\t\t? yield* Effect.suspend(() =>\n\t\t\t\t\t\tfs.remove(snapshotDirectory, { recursive: true }),\n\t\t\t\t\t).pipe(Effect.exit)\n\t\t\t\t: Exit.void\n\t\t\tif (Exit.isFailure(outcome)) {\n\t\t\t\treturn yield* Effect.failCause(\n\t\t\t\t\tExit.isFailure(cleanup)\n\t\t\t\t\t\t? Cause.combine(outcome.cause, cleanup.cause)\n\t\t\t\t\t\t: outcome.cause,\n\t\t\t\t)\n\t\t\t}\n\t\t\treturn yield* resume(\n\t\t\t\tEffect.succeed({\n\t\t\t\t\tvalue: outcome.value,\n\t\t\t\t\tsnapshotCleanupFailure: Exit.isFailure(cleanup)\n\t\t\t\t\t\t? Option.some<SnapshotCleanupFailure>({\n\t\t\t\t\t\t\t\tsnapshotDirectory,\n\t\t\t\t\t\t\t\tcause: cleanup.cause,\n\t\t\t\t\t\t\t})\n\t\t\t\t\t\t: Option.none<SnapshotCleanupFailure>(),\n\t\t\t\t}),\n\t\t\t).pipe(\n\t\t\t\t// Cancellation can prevent delivery, but must not hide a cleanup failure.\n\t\t\t\tEffect.onExit((exit) =>\n\t\t\t\t\tExit.isFailure(exit) && Exit.isFailure(cleanup)\n\t\t\t\t\t\t? Effect.failCause(cleanup.cause)\n\t\t\t\t\t\t: Effect.void,\n\t\t\t\t),\n\t\t\t)\n\t\t}),\n\t)\n\nexport class UnsupportedFileTypeError extends Schema.TaggedError<\n\tUnsupportedFileTypeError,\n\t{ readonly brand: unique symbol }\n>()(\"UnsupportedFileTypeError\", {\n\tpath: Schema.String,\n\tfileType: Schema.String,\n\tmessage: Schema.String,\n}) {}\n\ninterface RegularFileMetadata {\n\treadonly mode: number\n\treadonly uid: Option.Option<number>\n\treadonly gid: Option.Option<number>\n}\nexport interface Contents extends RegularFileMetadata {\n\treadonly bytes: Uint8Array\n}\nexport interface Backup {\n\treadonly name: string\n\treadonly file: string\n\treadonly contents: Option.Option<Contents>\n}\n\n/** lstat distinguishes missing paths from links, including dangling links. */\nexport const inspectManagedFiles = Effect.fnUntraced(function* (\n\tfs: FileSystem.FileSystem,\n\tpath: Path.Path,\n\tdirectory: string,\n\tnames: ReadonlyArray<string>,\n) {\n\treturn yield* Effect.forEach(names, (name) =>\n\t\tEffect.gen(function* () {\n\t\t\tconst file = path.join(directory, name)\n\t\t\tconst metadata = yield* fs.lstat(file).pipe(\n\t\t\t\tEffect.flatMap((info) =>\n\t\t\t\t\tinfo.type === \"File\"\n\t\t\t\t\t\t? Effect.succeed<RegularFileMetadata>({\n\t\t\t\t\t\t\t\tmode: info.mode & 0o7777,\n\t\t\t\t\t\t\t\tuid: info.uid,\n\t\t\t\t\t\t\t\tgid: info.gid,\n\t\t\t\t\t\t\t})\n\t\t\t\t\t\t: Effect.fail(\n\t\t\t\t\t\t\t\tUnsupportedFileTypeError.make({\n\t\t\t\t\t\t\t\t\tpath: file,\n\t\t\t\t\t\t\t\t\tfileType: info.type,\n\t\t\t\t\t\t\t\t\tmessage: `Managed paths must be regular files or absent: ${file} is ${info.type}`,\n\t\t\t\t\t\t\t\t}),\n\t\t\t\t\t\t\t),\n\t\t\t\t),\n\t\t\t\tEffect.asSome,\n\t\t\t\t// Only an entirely missing-path failure establishes absence.\n\t\t\t\tEffect.catchCauseIf(\n\t\t\t\t\t(cause) =>\n\t\t\t\t\t\tArray.every(\n\t\t\t\t\t\t\tcause.reasons,\n\t\t\t\t\t\t\t(reason) =>\n\t\t\t\t\t\t\t\tCause.isFailReason(reason) &&\n\t\t\t\t\t\t\t\treason.error._tag === \"PlatformError\" &&\n\t\t\t\t\t\t\t\treason.error.reason.module === \"FileSystem\" &&\n\t\t\t\t\t\t\t\treason.error.reason.method === \"lstat\" &&\n\t\t\t\t\t\t\t\treason.error.reason._tag === \"NotFound\",\n\t\t\t\t\t\t),\n\t\t\t\t\t() => Effect.succeedNone,\n\t\t\t\t),\n\t\t\t)\n\t\t\treturn { name, file, metadata }\n\t\t}),\n\t)\n})\n\nconst encodeInventory = Schema.encodeEffect(\n\tSchema.fromJsonString(\n\t\tSchema.Struct({\n\t\t\tdirectory: Schema.String,\n\t\t\tagent: Schema.String,\n\t\t\tfiles: Schema.Array(\n\t\t\t\tSchema.Struct({\n\t\t\t\t\tname: Schema.String,\n\t\t\t\t\tbackup: Schema.NullOr(Schema.String),\n\t\t\t\t\tmode: Schema.NullOr(Schema.Int),\n\t\t\t\t\tuid: Schema.NullOr(Schema.Int),\n\t\t\t\t\tgid: Schema.NullOr(Schema.Int),\n\t\t\t\t}),\n\t\t\t),\n\t\t}),\n\t\t{ space: 2 },\n\t),\n)\n\n/** Persist every byte before allowing the installer to modify the project. */\nexport const writeSnapshot = Effect.fnUntraced(function* (\n\tfs: FileSystem.FileSystem,\n\tpath: Path.Path,\n\tsnapshotDirectory: string,\n\tdirectory: string,\n\tagent: string,\n\tbackups: ReadonlyArray<Backup>,\n) {\n\tconst files = yield* Effect.forEach(backups, (entry, index) =>\n\t\tEffect.gen(function* () {\n\t\t\tif (Option.isNone(entry.contents))\n\t\t\t\treturn {\n\t\t\t\t\tname: entry.name,\n\t\t\t\t\tbackup: null,\n\t\t\t\t\tmode: null,\n\t\t\t\t\tuid: null,\n\t\t\t\t\tgid: null,\n\t\t\t\t}\n\t\t\tconst { bytes, mode, uid, gid } = entry.contents.value\n\t\t\tconst backup = `${index}.bin`\n\t\t\tyield* fs.writeFile(path.join(snapshotDirectory, backup), bytes, {\n\t\t\t\tmode: 0o600,\n\t\t\t})\n\t\t\treturn {\n\t\t\t\tname: entry.name,\n\t\t\t\tbackup,\n\t\t\t\tmode,\n\t\t\t\tuid: Option.getOrNull(uid),\n\t\t\t\tgid: Option.getOrNull(gid),\n\t\t\t}\n\t\t}),\n\t)\n\tconst inventory = yield* encodeInventory({ directory, agent, files })\n\tyield* fs.writeFileString(\n\t\tpath.join(snapshotDirectory, \"snapshot.json\"),\n\t\tinventory,\n\t\t{ mode: 0o600 },\n\t)\n\treturn {\n\t\t// The caller must establish that file writes and the original process group have stopped.\n\t\trestore: (_idle: ManagedWritersIdle) =>\n\t\t\tArray.reduce<Backup, Effect.Effect<void, PlatformError.PlatformError>>(\n\t\t\t\tbackups,\n\t\t\t\tEffect.void,\n\t\t\t\t(previous, { file, contents }) =>\n\t\t\t\t\tprevious.pipe(\n\t\t\t\t\t\tEffect.onExit(() =>\n\t\t\t\t\t\t\tOption.match(contents, {\n\t\t\t\t\t\t\t\tonNone: () => fs.remove(file, { force: true }),\n\t\t\t\t\t\t\t\tonSome: (contents) => restoreFile(fs, path, file, contents),\n\t\t\t\t\t\t\t}),\n\t\t\t\t\t\t),\n\t\t\t\t\t),\n\t\t\t),\n\t}\n}, Effect.uninterruptible)\n\n/** Create privately and restore metadata before making the replacement visible. */\nconst restoreFile = Effect.fnUntraced(function* (\n\tfs: FileSystem.FileSystem,\n\tpath: Path.Path,\n\ttarget: string,\n\tcontents: Contents,\n) {\n\tyield* fs.makeDirectory(path.dirname(target), { recursive: true })\n\tconst suffix = yield* Random.nextIntBetween(0, 0xffffffff)\n\tconst temporary = `${target}.${suffix.toString(16)}.tmp`\n\tyield* Effect.acquireUseRelease(\n\t\tScope.make(),\n\t\t(scope) =>\n\t\t\tEffect.acquireUseRelease(\n\t\t\t\tfs\n\t\t\t\t\t.open(temporary, { flag: \"wx\", mode: 0o600 })\n\t\t\t\t\t.pipe(Effect.provideService(Scope.Scope, scope)),\n\t\t\t\t(file) =>\n\t\t\t\t\tEffect.gen(function* () {\n\t\t\t\t\t\tyield* file.writeAll(contents.bytes)\n\t\t\t\t\t\tconst current = yield* file.stat\n\t\t\t\t\t\tconst { uid, gid } = contents\n\t\t\t\t\t\tif (\n\t\t\t\t\t\t\tOption.isSome(uid) &&\n\t\t\t\t\t\t\tOption.isSome(gid) &&\n\t\t\t\t\t\t\t(!Equal.equals(uid, current.uid) ||\n\t\t\t\t\t\t\t\t!Equal.equals(gid, current.gid))\n\t\t\t\t\t\t) {\n\t\t\t\t\t\t\tyield* fs.chown(temporary, uid.value, gid.value)\n\t\t\t\t\t\t}\n\t\t\t\t\t\tyield* fs.chmod(temporary, contents.mode)\n\t\t\t\t\t\tyield* file.sync\n\t\t\t\t\t\tyield* Scope.close(scope, Exit.void)\n\t\t\t\t\t\tyield* fs.rename(temporary, target)\n\t\t\t\t\t}),\n\t\t\t\t(_, exit) =>\n\t\t\t\t\tExit.isSuccess(exit)\n\t\t\t\t\t\t? Effect.void\n\t\t\t\t\t\t: Scope.close(scope, exit).pipe(\n\t\t\t\t\t\t\t\tEffect.onExit(() => fs.remove(temporary, { force: true })),\n\t\t\t\t\t\t\t),\n\t\t\t),\n\t\t(scope, exit) => Scope.close(scope, exit),\n\t)\n})\n"],"mappings":";;;AAuBA,MAAa,gBACZ,IACA,WACA,QAEA,OAAO,qBAAqB,WAC3B,OAAO,IAAI,aAAa;CACvB,MAAM,oBAAoB,OAAO,GAAG,kBAAkB,EACrD,QAAQ,kBACT,CAAC;CACD,MAAM,UAAU,OAAO,OACtB,OAAO,cAAc,IAAI,iBAAiB,CAAC,CAC5C,CAAC,CAAC,KAAK,OAAO,IAAI;CAClB,MAAM,WAAW,OAAO,aACrB,OAAO,OAAO,cACd,GAAG,OAAO,mBAAmB,EAAE,WAAW,KAAK,CAAC,CACjD,CAAC,CAAC,KAAK,OAAO,IAAI,IACjB,KAAK;CACR,IAAI,KAAK,UAAU,OAAO,GACzB,OAAO,OAAO,OAAO,UACpB,KAAK,UAAU,OAAO,IACnB,MAAM,QAAQ,QAAQ,OAAO,QAAQ,KAAK,IAC1C,QAAQ,KACZ;CAED,OAAO,OAAO,OACb,OAAO,QAAQ;EACd,OAAO,QAAQ;EACf,wBAAwB,KAAK,UAAU,OAAO,IAC3C,OAAO,KAA6B;GACpC;GACA,OAAO,QAAQ;EAChB,CAAC,IACA,OAAO,KAA6B;CACxC,CAAC,CACF,CAAC,CAAC,KAED,OAAO,QAAQ,SACd,KAAK,UAAU,IAAI,KAAK,KAAK,UAAU,OAAO,IAC3C,OAAO,UAAU,QAAQ,KAAK,IAC9B,OAAO,IACX,CACD;AACD,CAAC,CACF;AAED,IAAa,2BAAb,cAA8C,OAAO,YAGnD,CAAC,CAAC,4BAA4B;CAC/B,MAAM,OAAO;CACb,UAAU,OAAO;CACjB,SAAS,OAAO;AACjB,CAAC,CAAC,CAAC,CAAC;;AAiBJ,MAAa,sBAAsB,OAAO,WAAW,WACpD,IACA,MACA,WACA,OACC;CACD,OAAO,OAAO,OAAO,QAAQ,QAAQ,SACpC,OAAO,IAAI,aAAa;EACvB,MAAM,OAAO,KAAK,KAAK,WAAW,IAAI;EAiCtC,OAAO;GAAE;GAAM;GAAM,UAAA,OAhCG,GAAG,MAAM,IAAI,CAAC,CAAC,KACtC,OAAO,SAAS,SACf,KAAK,SAAS,SACX,OAAO,QAA6B;IACpC,MAAM,KAAK,OAAO;IAClB,KAAK,KAAK;IACV,KAAK,KAAK;GACX,CAAC,IACA,OAAO,KACP,yBAAyB,KAAK;IAC7B,MAAM;IACN,UAAU,KAAK;IACf,SAAS,kDAAkD,KAAK,MAAM,KAAK;GAC5E,CAAC,CACF,CACH,GACA,OAAO,QAEP,OAAO,cACL,UACA,MAAM,MACL,MAAM,UACL,WACA,MAAM,aAAa,MAAM,KACzB,OAAO,MAAM,SAAS,mBACtB,OAAO,MAAM,OAAO,WAAW,gBAC/B,OAAO,MAAM,OAAO,WAAW,WAC/B,OAAO,MAAM,OAAO,SAAS,UAC/B,SACK,OAAO,WACd,CACD;EAC8B;CAC/B,CAAC,CACF;AACD,CAAC;AAED,MAAM,kBAAkB,OAAO,aAC9B,OAAO,eACN,OAAO,OAAO;CACb,WAAW,OAAO;CAClB,OAAO,OAAO;CACd,OAAO,OAAO,MACb,OAAO,OAAO;EACb,MAAM,OAAO;EACb,QAAQ,OAAO,OAAO,OAAO,MAAM;EACnC,MAAM,OAAO,OAAO,OAAO,GAAG;EAC9B,KAAK,OAAO,OAAO,OAAO,GAAG;EAC7B,KAAK,OAAO,OAAO,OAAO,GAAG;CAC9B,CAAC,CACF;AACD,CAAC,GACD,EAAE,OAAO,EAAE,CACZ,CACD;;AAGA,MAAa,gBAAgB,OAAO,WAAW,WAC9C,IACA,MACA,mBACA,WACA,OACA,SACC;CACD,MAAM,QAAQ,OAAO,OAAO,QAAQ,UAAU,OAAO,UACpD,OAAO,IAAI,aAAa;EACvB,IAAI,OAAO,OAAO,MAAM,QAAQ,GAC/B,OAAO;GACN,MAAM,MAAM;GACZ,QAAQ;GACR,MAAM;GACN,KAAK;GACL,KAAK;EACN;EACD,MAAM,EAAE,OAAO,MAAM,KAAK,QAAQ,MAAM,SAAS;EACjD,MAAM,SAAS,GAAG,MAAM;EACxB,OAAO,GAAG,UAAU,KAAK,KAAK,mBAAmB,MAAM,GAAG,OAAO,EAChE,MAAM,IACP,CAAC;EACD,OAAO;GACN,MAAM,MAAM;GACZ;GACA;GACA,KAAK,OAAO,UAAU,GAAG;GACzB,KAAK,OAAO,UAAU,GAAG;EAC1B;CACD,CAAC,CACF;CACA,MAAM,YAAY,OAAO,gBAAgB;EAAE;EAAW;EAAO;CAAM,CAAC;CACpE,OAAO,GAAG,gBACT,KAAK,KAAK,mBAAmB,eAAe,GAC5C,WACA,EAAE,MAAM,IAAM,CACf;CACA,OAAO,EAEN,UAAU,UACT,MAAM,OACL,SACA,OAAO,OACN,UAAU,EAAE,MAAM,eAClB,SAAS,KACR,OAAO,aACN,OAAO,MAAM,UAAU;EACtB,cAAc,GAAG,OAAO,MAAM,EAAE,OAAO,KAAK,CAAC;EAC7C,SAAS,aAAa,YAAY,IAAI,MAAM,MAAM,QAAQ;CAC3D,CAAC,CACF,CACD,CACF,EACF;AACD,GAAG,OAAO,eAAe;;AAGzB,MAAM,cAAc,OAAO,WAAW,WACrC,IACA,MACA,QACA,UACC;CACD,OAAO,GAAG,cAAc,KAAK,QAAQ,MAAM,GAAG,EAAE,WAAW,KAAK,CAAC;CAEjE,MAAM,YAAY,GAAG,OAAO,IAAG,OADT,OAAO,eAAe,GAAG,UAAU,EAAA,CACnB,SAAS,EAAE,EAAE;CACnD,OAAO,OAAO,kBACb,MAAM,KAAK,IACV,UACA,OAAO,kBACN,GACE,KAAK,WAAW;EAAE,MAAM;EAAM,MAAM;CAAM,CAAC,CAAC,CAC5C,KAAK,OAAO,eAAe,MAAM,OAAO,KAAK,CAAC,IAC/C,SACA,OAAO,IAAI,aAAa;EACvB,OAAO,KAAK,SAAS,SAAS,KAAK;EACnC,MAAM,UAAU,OAAO,KAAK;EAC5B,MAAM,EAAE,KAAK,QAAQ;EACrB,IACC,OAAO,OAAO,GAAG,KACjB,OAAO,OAAO,GAAG,MAChB,CAAC,MAAM,OAAO,KAAK,QAAQ,GAAG,KAC9B,CAAC,MAAM,OAAO,KAAK,QAAQ,GAAG,IAE/B,OAAO,GAAG,MAAM,WAAW,IAAI,OAAO,IAAI,KAAK;EAEhD,OAAO,GAAG,MAAM,WAAW,SAAS,IAAI;EACxC,OAAO,KAAK;EACZ,OAAO,MAAM,MAAM,OAAO,KAAK,IAAI;EACnC,OAAO,GAAG,OAAO,WAAW,MAAM;CACnC,CAAC,IACD,GAAG,SACH,KAAK,UAAU,IAAI,IAChB,OAAO,OACP,MAAM,MAAM,OAAO,IAAI,CAAC,CAAC,KACzB,OAAO,aAAa,GAAG,OAAO,WAAW,EAAE,OAAO,KAAK,CAAC,CAAC,CAC1D,CACJ,IACA,OAAO,SAAS,MAAM,MAAM,OAAO,IAAI,CACzC;AACD,CAAC"}

package/package.json

@@ -1,6 +1,41 @@
 {
   "name": "@graftland/package-manager",
-  "version": "0.0.0-stage",
-  "stub": true,
-  "description": "Temporary package placeholder for staged publishing"
+  "engines": {
+    "node": ">=22.19.0"
+  },
+  "version": "0.2.0-beta.0",
+  "type": "module",
+  "description": "Installs dependencies with npm, pnpm or Yarn, and rolls back on failure",
+  "license": "Apache-2.0",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/graftland/graft.git",
+    "directory": "packages/package-manager"
+  },
+  "sideEffects": false,
+  "files": [
+    "dist",
+    "src",
+    "README.zh-CN.md",
+    "README.zh-TW.md"
+  ],
+  "exports": {
+    ".": "./dist/index.js",
+    "./PackageManagerDeclaration": "./dist/PackageManagerDeclaration.js",
+    "./package.json": "./package.json"
+  },
+  "peerDependencies": {
+    "effect": "4.1.*"
+  },
+  "devDependencies": {
+    "@effect/vitest": "4.1.2",
+    "effect": "4.1.2",
+    "vitest": "5.1.0",
+    "@effect/platform-node": "4.1.2"
+  },
+  "dependencies": {},
+  "scripts": {
+    "build": "tsdown",
+    "test": "vitest run"
+  }
 }

package/src/PackageManagerDeclaration.ts

@@ -0,0 +1,42 @@
+import { Schema } from "effect"
+
+export const PackageManagerName = Schema.Literals(["npm", "pnpm", "yarn"])
+
+const CorepackHash = Schema.Union([
+	Schema.Tuple([
+		Schema.Literal("sha224"),
+		Schema.String.check(Schema.isPattern(/^[0-9a-f]{56}$/)),
+	]),
+	Schema.Tuple([
+		Schema.Literal("sha256"),
+		Schema.String.check(Schema.isPattern(/^[0-9a-f]{64}$/)),
+	]),
+	Schema.Tuple([
+		Schema.Literal("sha384"),
+		Schema.String.check(Schema.isPattern(/^[0-9a-f]{96}$/)),
+	]),
+	Schema.Tuple([
+		Schema.Literal("sha512"),
+		Schema.String.check(Schema.isPattern(/^[0-9a-f]{128}$/)),
+	]),
+])
+const isCorepackHash = Schema.is(CorepackHash)
+const Version = Schema.String.check(Schema.isMaxLength(256))
+	.pipe(Schema.decodeTo(Schema.SemVerFromString))
+	.check(
+		Schema.makeFilter(
+			(version) => version.build.length === 0 || isCorepackHash(version.build),
+			{
+				expected:
+					"no build metadata, or a Corepack sha224/sha256/sha384/sha512 lowercase hexadecimal hash",
+			},
+		),
+	)
+
+/** Exact SemVer with optional prerelease and Corepack hash; ranges, URLs and arbitrary build metadata are unsupported. */
+export const PackageManagerDeclaration = Schema.TemplateLiteralParser([
+	PackageManagerName,
+	"@",
+	Version,
+])
+export type PackageManagerDeclaration = typeof PackageManagerDeclaration.Type