@smthrs/std 0.0.0-stage → 1.0.0-rc.12

package/dist/esm/internal/Match.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Match.d.ts","sourceRoot":"","sources":["../../../src/internal/Match.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAIH;;;;;GAKG;AACH,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CACtB;AAED;;;;;GAKG;AACH,eAAO,MAAM,MAAM,GAAI,SAAS,MAAM,EAAE,QAAQ,MAAM,KAAG,MAMxD,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,MAAM,GAAI,SAAS,MAAM,EAAE,QAAQ,MAAM,KAAG,aAAa,CAAC,OAAO,CAyB7E,CAAA;AA0BD;;;;;;;;;;GAUG;AACH,eAAO,MAAM,OAAO,GAAI,SAAS,MAAM,EAAE,QAAQ,MAAM,EAAE,YAAO,KAAG,OAAO,GAAG,SAkB5E,CAAA;AAED;;;;;;;;;GASG;AACH,eAAO,MAAM,IAAI,GAAI,SAAS,MAAM,EAAE,OAAO,MAAM,EAAE,KAAK,MAAM,EAAE,YAAO,KAAG,OAO3E,CAAA"}

package/dist/esm/internal/Match.js

@@ -0,0 +1,142 @@
+/**
+ * Exact block location, and the pre-image reported when it misses.
+ *
+ * The editing flows locate a caller's block byte-exactly and refuse everything
+ * else. The tolerant cascade this module used to apply — trailing-whitespace
+ * insensitive, then inner-whitespace collapsed — is gone from the *apply* path,
+ * because a match that is not the caller's bytes is an edit the caller never
+ * inspected: on django-11490 a sixteen-space anchor matched inside a
+ * twenty-space line and silently dedented a guard, and on sympy-15380 a
+ * "successful" fuzzy apply corrupted the file it reported editing. Prior art is
+ * `reference/opencode`'s replacer cascade (`tool/edit.ts`), and this is where we
+ * deviate from it deliberately.
+ *
+ * The cascade survives as *diagnosis*. A miss is only expensive when it is
+ * silent: the agent re-reads, re-guesses, and re-misses. {@link nearest} runs
+ * the same loose strategies to find where the caller's block actually sits and
+ * returns that region's real bytes and line range, so the failing cell can
+ * re-anchor from reality inside the same frame rather than buying another one.
+ *
+ * @since 1.0.0
+ */
+import { sourceLines } from "./Text.js";
+/**
+ * The 1-based line a byte offset falls on.
+ *
+ * @category matching
+ * @since 1.0.0
+ */
+export const lineAt = (content, offset) => {
+    let line = 1;
+    for (let index = 0; index < offset && index < content.length; index++) {
+        if (content[index] === "\n")
+            line++;
+    }
+    return line;
+};
+/**
+ * Every byte-exact occurrence of `needle` in `content`.
+ *
+ * @category matching
+ * @since 1.0.0
+ */
+export const locate = (content, needle) => {
+    const found = [];
+    let cursor = content.indexOf(needle);
+    let line = 1;
+    let scanned = 0;
+    while (cursor >= 0) {
+        for (let index = scanned; index < cursor; index++) {
+            if (content[index] === "\n")
+                line++;
+        }
+        scanned = cursor;
+        const startLine = line;
+        let endLine = line;
+        for (let index = 0; index < needle.length - 1; index++) {
+            if (needle[index] === "\n")
+                endLine++;
+        }
+        found.push({ start: cursor, end: cursor + needle.length, startLine, endLine });
+        // Resume past the match, not one byte into it. A caller replaces these spans
+        // in order, so overlapping occurrences are not separately replaceable: in
+        // "aaa" the anchor "aa" is reported once, because consuming the first
+        // occurrence leaves no second one. Scanning by one byte instead reported
+        // both, and the splice wrote the replacement over bytes the first span
+        // already owned.
+        cursor = content.indexOf(needle, cursor + needle.length);
+    }
+    return found;
+};
+const trimmedRight = (line) => line.replace(/[ \t]+$/, "");
+const collapsed = (line) => line.replace(/[ \t]+/g, " ").trim();
+const matchByLine = (haystack, wanted, normalize) => {
+    const target = wanted.map(normalize);
+    const normalized = haystack.map(normalize);
+    for (let index = 0; index + target.length <= haystack.length; index++) {
+        let matched = true;
+        for (let step = 0; step < target.length; step++) {
+            if (normalized[index + step] !== target[step]) {
+                matched = false;
+                break;
+            }
+        }
+        if (matched)
+            return index;
+    }
+    return -1;
+};
+/**
+ * The real region a failed needle was aiming at, with its line range.
+ *
+ * The loose strategies run in order — trailing whitespace, then collapsed inner
+ * whitespace, then the needle's first non-blank line alone — and the first that
+ * locates a region wins. `undefined` means not even one line of the needle
+ * occurs in the file, which is itself the answer: this is the wrong file.
+ *
+ * @category matching
+ * @since 1.0.0
+ */
+export const nearest = (content, needle, pad = 3) => {
+    const haystack = sourceLines(content);
+    const wanted = [...sourceLines(needle)];
+    while (wanted.length > 0 && wanted[wanted.length - 1] === "")
+        wanted.pop();
+    if (wanted.length === 0)
+        return undefined;
+    let at = matchByLine(haystack, wanted, trimmedRight);
+    let span = wanted.length;
+    if (at < 0)
+        at = matchByLine(haystack, wanted, collapsed);
+    if (at < 0) {
+        const anchor = wanted.map(collapsed).find((line) => line !== "");
+        if (anchor === undefined)
+            return undefined;
+        at = haystack.findIndex((line) => collapsed(line) === anchor);
+        span = 1;
+    }
+    if (at < 0)
+        return undefined;
+    const from = Math.max(0, at - pad);
+    const to = Math.min(haystack.length, at + span + pad);
+    return { startLine: from + 1, endLine: to, text: haystack.slice(from, to).join("\n") };
+};
+/**
+ * The applied region rendered back for inspection: raw bytes, plus its range.
+ *
+ * A bad edit is only expensive when it is invisible. sphinx-7233 lost its
+ * verdict to an in-cell string surgery that captured an `else` branch, and the
+ * model never saw the hunk it had written.
+ *
+ * @category matching
+ * @since 1.0.0
+ */
+export const hunk = (content, start, end, pad = 2) => {
+    const startLine = lineAt(content, start);
+    const endLine = startLine + Math.max(0, content.slice(start, end).split("\n").length - 1);
+    const haystack = sourceLines(content);
+    const from = Math.max(0, startLine - 1 - pad);
+    const to = Math.min(haystack.length, endLine + pad);
+    return { startLine: from + 1, endLine: to, text: haystack.slice(from, to).join("\n") };
+};
+//# sourceMappingURL=Match.js.map

package/dist/esm/internal/Match.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Match.js","sourceRoot":"","sources":["../../../src/internal/Match.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAA;AA8BvC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,OAAe,EAAE,MAAc,EAAU,EAAE;IAChE,IAAI,IAAI,GAAG,CAAC,CAAA;IACZ,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,IAAI,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QACtE,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI;YAAE,IAAI,EAAE,CAAA;IACrC,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC,CAAA;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,OAAe,EAAE,MAAc,EAA0B,EAAE;IAChF,MAAM,KAAK,GAAmB,EAAE,CAAA;IAChC,IAAI,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;IACpC,IAAI,IAAI,GAAG,CAAC,CAAA;IACZ,IAAI,OAAO,GAAG,CAAC,CAAA;IACf,OAAO,MAAM,IAAI,CAAC,EAAE,CAAC;QACnB,KAAK,IAAI,KAAK,GAAG,OAAO,EAAE,KAAK,GAAG,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;YAClD,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,IAAI;gBAAE,IAAI,EAAE,CAAA;QACrC,CAAC;QACD,OAAO,GAAG,MAAM,CAAA;QAChB,MAAM,SAAS,GAAG,IAAI,CAAA;QACtB,IAAI,OAAO,GAAG,IAAI,CAAA;QAClB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;YACvD,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,IAAI;gBAAE,OAAO,EAAE,CAAA;QACvC,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAA;QAC9E,6EAA6E;QAC7E,0EAA0E;QAC1E,sEAAsE;QACtE,yEAAyE;QACzE,uEAAuE;QACvE,iBAAiB;QACjB,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAA;IAC1D,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAED,MAAM,YAAY,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAA;AAE1E,MAAM,SAAS,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAA;AAE/E,MAAM,WAAW,GAAG,CAClB,QAA+B,EAC/B,MAA6B,EAC7B,SAAmC,EAC3B,EAAE;IACV,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;IACpC,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;IAC1C,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,MAAM,IAAI,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QACtE,IAAI,OAAO,GAAG,IAAI,CAAA;QAClB,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;YAChD,IAAI,UAAU,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9C,OAAO,GAAG,KAAK,CAAA;gBACf,MAAK;YACP,CAAC;QACH,CAAC;QACD,IAAI,OAAO;YAAE,OAAO,KAAK,CAAA;IAC3B,CAAC;IACD,OAAO,CAAC,CAAC,CAAA;AACX,CAAC,CAAA;AAED;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,OAAe,EAAE,MAAc,EAAE,GAAG,GAAG,CAAC,EAAuB,EAAE;IACvF,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,CAAA;IACrC,MAAM,MAAM,GAAG,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAA;IACvC,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,EAAE;QAAE,MAAM,CAAC,GAAG,EAAE,CAAA;IAC1E,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAA;IACzC,IAAI,EAAE,GAAG,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,YAAY,CAAC,CAAA;IACpD,IAAI,IAAI,GAAG,MAAM,CAAC,MAAM,CAAA;IACxB,IAAI,EAAE,GAAG,CAAC;QAAE,EAAE,GAAG,WAAW,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,CAAC,CAAA;IACzD,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;QACX,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,CAAA;QAChE,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,SAAS,CAAA;QAC1C,EAAE,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,CAAA;QAC7D,IAAI,GAAG,CAAC,CAAA;IACV,CAAC;IACD,IAAI,EAAE,GAAG,CAAC;QAAE,OAAO,SAAS,CAAA;IAC5B,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,GAAG,GAAG,CAAC,CAAA;IAClC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,GAAG,IAAI,GAAG,GAAG,CAAC,CAAA;IACrD,OAAO,EAAE,SAAS,EAAE,IAAI,GAAG,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAA;AACxF,CAAC,CAAA;AAED;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,OAAe,EAAE,KAAa,EAAE,GAAW,EAAE,GAAG,GAAG,CAAC,EAAW,EAAE;IACpF,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;IACxC,MAAM,OAAO,GAAG,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IACzF,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,CAAA;IACrC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,GAAG,CAAC,GAAG,GAAG,CAAC,CAAA;IAC7C,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,GAAG,GAAG,CAAC,CAAA;IACnD,OAAO,EAAE,SAAS,EAAE,IAAI,GAAG,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAA;AACxF,CAAC,CAAA","sourcesContent":["/**\n * Exact block location, and the pre-image reported when it misses.\n *\n * The editing flows locate a caller's block byte-exactly and refuse everything\n * else. The tolerant cascade this module used to apply — trailing-whitespace\n * insensitive, then inner-whitespace collapsed — is gone from the *apply* path,\n * because a match that is not the caller's bytes is an edit the caller never\n * inspected: on django-11490 a sixteen-space anchor matched inside a\n * twenty-space line and silently dedented a guard, and on sympy-15380 a\n * \"successful\" fuzzy apply corrupted the file it reported editing. Prior art is\n * `reference/opencode`'s replacer cascade (`tool/edit.ts`), and this is where we\n * deviate from it deliberately.\n *\n * The cascade survives as *diagnosis*. A miss is only expensive when it is\n * silent: the agent re-reads, re-guesses, and re-misses. {@link nearest} runs\n * the same loose strategies to find where the caller's block actually sits and\n * returns that region's real bytes and line range, so the failing cell can\n * re-anchor from reality inside the same frame rather than buying another one.\n *\n * @since 1.0.0\n */\n\nimport { sourceLines } from \"./Text.ts\"\n\n/**\n * One located block: the exact source span the needle matched.\n *\n * @category models\n * @since 1.0.0\n */\nexport interface Located {\n  readonly start: number\n  readonly end: number\n  readonly startLine: number\n  readonly endLine: number\n}\n\n/**\n * The real file region nearest a needle that did not match.\n *\n * `text` is raw file bytes, never line-number prefixed, so a caller can quote it\n * back as an anchor without editing it first.\n *\n * @category models\n * @since 1.0.0\n */\nexport interface Nearest {\n  readonly startLine: number\n  readonly endLine: number\n  readonly text: string\n}\n\n/**\n * The 1-based line a byte offset falls on.\n *\n * @category matching\n * @since 1.0.0\n */\nexport const lineAt = (content: string, offset: number): number => {\n  let line = 1\n  for (let index = 0; index < offset && index < content.length; index++) {\n    if (content[index] === \"\\n\") line++\n  }\n  return line\n}\n\n/**\n * Every byte-exact occurrence of `needle` in `content`.\n *\n * @category matching\n * @since 1.0.0\n */\nexport const locate = (content: string, needle: string): ReadonlyArray<Located> => {\n  const found: Array<Located> = []\n  let cursor = content.indexOf(needle)\n  let line = 1\n  let scanned = 0\n  while (cursor >= 0) {\n    for (let index = scanned; index < cursor; index++) {\n      if (content[index] === \"\\n\") line++\n    }\n    scanned = cursor\n    const startLine = line\n    let endLine = line\n    for (let index = 0; index < needle.length - 1; index++) {\n      if (needle[index] === \"\\n\") endLine++\n    }\n    found.push({ start: cursor, end: cursor + needle.length, startLine, endLine })\n    // Resume past the match, not one byte into it. A caller replaces these spans\n    // in order, so overlapping occurrences are not separately replaceable: in\n    // \"aaa\" the anchor \"aa\" is reported once, because consuming the first\n    // occurrence leaves no second one. Scanning by one byte instead reported\n    // both, and the splice wrote the replacement over bytes the first span\n    // already owned.\n    cursor = content.indexOf(needle, cursor + needle.length)\n  }\n  return found\n}\n\nconst trimmedRight = (line: string): string => line.replace(/[ \\t]+$/, \"\")\n\nconst collapsed = (line: string): string => line.replace(/[ \\t]+/g, \" \").trim()\n\nconst matchByLine = (\n  haystack: ReadonlyArray<string>,\n  wanted: ReadonlyArray<string>,\n  normalize: (line: string) => string\n): number => {\n  const target = wanted.map(normalize)\n  const normalized = haystack.map(normalize)\n  for (let index = 0; index + target.length <= haystack.length; index++) {\n    let matched = true\n    for (let step = 0; step < target.length; step++) {\n      if (normalized[index + step] !== target[step]) {\n        matched = false\n        break\n      }\n    }\n    if (matched) return index\n  }\n  return -1\n}\n\n/**\n * The real region a failed needle was aiming at, with its line range.\n *\n * The loose strategies run in order — trailing whitespace, then collapsed inner\n * whitespace, then the needle's first non-blank line alone — and the first that\n * locates a region wins. `undefined` means not even one line of the needle\n * occurs in the file, which is itself the answer: this is the wrong file.\n *\n * @category matching\n * @since 1.0.0\n */\nexport const nearest = (content: string, needle: string, pad = 3): Nearest | undefined => {\n  const haystack = sourceLines(content)\n  const wanted = [...sourceLines(needle)]\n  while (wanted.length > 0 && wanted[wanted.length - 1] === \"\") wanted.pop()\n  if (wanted.length === 0) return undefined\n  let at = matchByLine(haystack, wanted, trimmedRight)\n  let span = wanted.length\n  if (at < 0) at = matchByLine(haystack, wanted, collapsed)\n  if (at < 0) {\n    const anchor = wanted.map(collapsed).find((line) => line !== \"\")\n    if (anchor === undefined) return undefined\n    at = haystack.findIndex((line) => collapsed(line) === anchor)\n    span = 1\n  }\n  if (at < 0) return undefined\n  const from = Math.max(0, at - pad)\n  const to = Math.min(haystack.length, at + span + pad)\n  return { startLine: from + 1, endLine: to, text: haystack.slice(from, to).join(\"\\n\") }\n}\n\n/**\n * The applied region rendered back for inspection: raw bytes, plus its range.\n *\n * A bad edit is only expensive when it is invisible. sphinx-7233 lost its\n * verdict to an in-cell string surgery that captured an `else` branch, and the\n * model never saw the hunk it had written.\n *\n * @category matching\n * @since 1.0.0\n */\nexport const hunk = (content: string, start: number, end: number, pad = 2): Nearest => {\n  const startLine = lineAt(content, start)\n  const endLine = startLine + Math.max(0, content.slice(start, end).split(\"\\n\").length - 1)\n  const haystack = sourceLines(content)\n  const from = Math.max(0, startLine - 1 - pad)\n  const to = Math.min(haystack.length, endLine + pad)\n  return { startLine: from + 1, endLine: to, text: haystack.slice(from, to).join(\"\\n\") }\n}\n"]}

package/dist/esm/internal/Paths.d.ts

@@ -0,0 +1,23 @@
+/**
+ * Path containment checks against a declared effect envelope.
+ *
+ * @since 1.0.0
+ */
+/**
+ * Whether a path is covered by any entry of a declared read or write set.
+ *
+ * An entry covers itself, everything beneath it when it names a directory,
+ * and everything matched by the prefix-glob subset `/core` supports.
+ *
+ * @category predicates
+ * @since 1.0.0
+ */
+export declare const withinEnvelope: (declared: ReadonlyArray<string>, path: string) => boolean;
+/**
+ * A path without its trailing slashes, so a root compares and joins as one name.
+ *
+ * @category conversions
+ * @since 1.0.0
+ */
+export declare const withoutTrailingSlash: (path: string) => string;
+//# sourceMappingURL=Paths.d.ts.map

package/dist/esm/internal/Paths.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Paths.d.ts","sourceRoot":"","sources":["../../../src/internal/Paths.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAWH;;;;;;;;GAQG;AACH,eAAO,MAAM,cAAc,GAAI,UAAU,aAAa,CAAC,MAAM,CAAC,EAAE,MAAM,MAAM,KAAG,OAS9E,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,oBAAoB,GAAI,MAAM,MAAM,KAAG,MAAkC,CAAA"}

package/dist/esm/internal/Paths.js

@@ -0,0 +1,40 @@
+/**
+ * Path containment checks against a declared effect envelope.
+ *
+ * @since 1.0.0
+ */
+import * as Effects from "@smthrs/core/Effects";
+const normalize = (path) => {
+    const collapsed = path.replace(/\/+/g, "/");
+    return collapsed.length > 1 ? collapsed.replace(/\/+$/, "") : collapsed;
+};
+const hasDotSegment = (path) => path.split("/").some((segment) => segment === "." || segment === "..");
+/**
+ * Whether a path is covered by any entry of a declared read or write set.
+ *
+ * An entry covers itself, everything beneath it when it names a directory,
+ * and everything matched by the prefix-glob subset `/core` supports.
+ *
+ * @category predicates
+ * @since 1.0.0
+ */
+export const withinEnvelope = (declared, path) => {
+    const candidate = normalize(path);
+    if (candidate === "" || hasDotSegment(candidate))
+        return false;
+    return declared.some((entry) => {
+        const normalized = normalize(entry);
+        if (normalized === "")
+            return false;
+        const envelope = normalized === "/" ? "/**" : normalized;
+        return Effects.covers(envelope, candidate) || candidate.startsWith(`${normalized}/`);
+    });
+};
+/**
+ * A path without its trailing slashes, so a root compares and joins as one name.
+ *
+ * @category conversions
+ * @since 1.0.0
+ */
+export const withoutTrailingSlash = (path) => path.replace(/\/+$/, "");
+//# sourceMappingURL=Paths.js.map

package/dist/esm/internal/Paths.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Paths.js","sourceRoot":"","sources":["../../../src/internal/Paths.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,OAAO,MAAM,sBAAsB,CAAA;AAE/C,MAAM,SAAS,GAAG,CAAC,IAAY,EAAU,EAAE;IACzC,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAA;IAC3C,OAAO,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;AACzE,CAAC,CAAA;AAED,MAAM,aAAa,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,KAAK,GAAG,IAAI,OAAO,KAAK,IAAI,CAAC,CAAA;AAEvH;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,QAA+B,EAAE,IAAY,EAAW,EAAE;IACvF,MAAM,SAAS,GAAG,SAAS,CAAC,IAAI,CAAC,CAAA;IACjC,IAAI,SAAS,KAAK,EAAE,IAAI,aAAa,CAAC,SAAS,CAAC;QAAE,OAAO,KAAK,CAAA;IAC9D,OAAO,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE;QAC7B,MAAM,UAAU,GAAG,SAAS,CAAC,KAAK,CAAC,CAAA;QACnC,IAAI,UAAU,KAAK,EAAE;YAAE,OAAO,KAAK,CAAA;QACnC,MAAM,QAAQ,GAAG,UAAU,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAA;QACxD,OAAO,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,SAAS,CAAC,UAAU,CAAC,GAAG,UAAU,GAAG,CAAC,CAAA;IACtF,CAAC,CAAC,CAAA;AACJ,CAAC,CAAA;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAA","sourcesContent":["/**\n * Path containment checks against a declared effect envelope.\n *\n * @since 1.0.0\n */\n\nimport * as Effects from \"@smthrs/core/Effects\"\n\nconst normalize = (path: string): string => {\n  const collapsed = path.replace(/\\/+/g, \"/\")\n  return collapsed.length > 1 ? collapsed.replace(/\\/+$/, \"\") : collapsed\n}\n\nconst hasDotSegment = (path: string): boolean => path.split(\"/\").some((segment) => segment === \".\" || segment === \"..\")\n\n/**\n * Whether a path is covered by any entry of a declared read or write set.\n *\n * An entry covers itself, everything beneath it when it names a directory,\n * and everything matched by the prefix-glob subset `/core` supports.\n *\n * @category predicates\n * @since 1.0.0\n */\nexport const withinEnvelope = (declared: ReadonlyArray<string>, path: string): boolean => {\n  const candidate = normalize(path)\n  if (candidate === \"\" || hasDotSegment(candidate)) return false\n  return declared.some((entry) => {\n    const normalized = normalize(entry)\n    if (normalized === \"\") return false\n    const envelope = normalized === \"/\" ? \"/**\" : normalized\n    return Effects.covers(envelope, candidate) || candidate.startsWith(`${normalized}/`)\n  })\n}\n\n/**\n * A path without its trailing slashes, so a root compares and joins as one name.\n *\n * @category conversions\n * @since 1.0.0\n */\nexport const withoutTrailingSlash = (path: string): string => path.replace(/\\/+$/, \"\")\n"]}

package/dist/esm/internal/Preserve.d.ts

@@ -0,0 +1,25 @@
+/**
+ * Per-file atomic replacement that preserves permission bits and ownership.
+ * The sibling is complete before rename; no crash-durability guarantee is made.
+ * A file whose owner this process cannot assign is rewritten in place instead.
+ *
+ * @since 1.0.0
+ */
+import * as Effect from "effect/Effect";
+import type * as FileSystem from "effect/FileSystem";
+import type * as PlatformError from "effect/PlatformError";
+/**
+ * Replaces a file's text atomically, preserving its permission bits and owner.
+ *
+ * @category filesystem
+ * @since 1.0.0
+ */
+export declare const writeFileString: (fileSystem: FileSystem.FileSystem, path: string, content: string) => Effect.Effect<void, PlatformError.PlatformError>;
+/**
+ * Replaces a file's bytes with the same atomic boundary used for text writes.
+ *
+ * @category filesystem
+ * @since 1.0.0
+ */
+export declare const writeFile: (fileSystem: FileSystem.FileSystem, path: string, content: Uint8Array) => Effect.Effect<void, PlatformError.PlatformError>;
+//# sourceMappingURL=Preserve.d.ts.map

package/dist/esm/internal/Preserve.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Preserve.d.ts","sourceRoot":"","sources":["../../../src/internal/Preserve.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,KAAK,UAAU,MAAM,mBAAmB,CAAA;AAEpD,OAAO,KAAK,KAAK,aAAa,MAAM,sBAAsB,CAAA;AAI1D;;;;;GAKG;AACH,eAAO,MAAM,eAAe,GAC1B,YAAY,UAAU,CAAC,UAAU,EACjC,MAAM,MAAM,EACZ,SAAS,MAAM,KACd,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC,aAAa,CAC8D,CAAA;AAEhH;;;;;GAKG;AACH,eAAO,MAAM,SAAS,GACpB,YAAY,UAAU,CAAC,UAAU,EACjC,MAAM,MAAM,EACZ,SAAS,UAAU,KAClB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC,aAAa,CACwD,CAAA"}

package/dist/esm/internal/Preserve.js

@@ -0,0 +1,70 @@
+/**
+ * Per-file atomic replacement that preserves permission bits and ownership.
+ * The sibling is complete before rename; no crash-durability guarantee is made.
+ * A file whose owner this process cannot assign is rewritten in place instead.
+ *
+ * @since 1.0.0
+ */
+import * as Effect from "effect/Effect";
+import * as Option from "effect/Option";
+const permissions = 0o7777;
+/**
+ * Replaces a file's text atomically, preserving its permission bits and owner.
+ *
+ * @category filesystem
+ * @since 1.0.0
+ */
+export const writeFileString = (fileSystem, path, content) => replace(fileSystem, path, (target, flag, mode) => fileSystem.writeFileString(target, content, { flag, mode }));
+/**
+ * Replaces a file's bytes with the same atomic boundary used for text writes.
+ *
+ * @category filesystem
+ * @since 1.0.0
+ */
+export const writeFile = (fileSystem, path, content) => replace(fileSystem, path, (target, flag, mode) => fileSystem.writeFile(target, content, { flag, mode }));
+const replace = (fileSystem, path, write) => Effect.gen(function* () {
+    const before = yield* fileSystem.stat(path).pipe(Effect.catch((error) => error.reason._tag === "NotFound" ? Effect.succeed(undefined) : Effect.fail(error)));
+    // Keep following an existing symlink, as an in-place write did.
+    const destination = before === undefined ? path : yield* fileSystem.realPath(path);
+    const temporary = destination.replace(/[^/\\]+$/, `.smithers-${globalThis.crypto.randomUUID()}.tmp`);
+    let owned = true;
+    // Set when the sibling cannot take the file's owner; see the chown below.
+    let inPlace = false;
+    yield* Effect.uninterruptibleMask((restore) => Effect.gen(function* () {
+        // Let the host finish its write before cancellation can unlink the name.
+        yield* write(temporary, "wx", before === undefined ? undefined : before.mode & permissions).pipe(Effect.tapError((error) => Effect.sync(() => {
+            if (error.reason._tag === "AlreadyExists")
+                owned = false;
+        })));
+        yield* restore(Effect.gen(function* () {
+            if (before === undefined)
+                return;
+            const after = yield* fileSystem.stat(temporary);
+            const uid = Option.getOrUndefined(before.uid);
+            const gid = Option.getOrUndefined(before.gid);
+            const ownerChanged = (uid !== undefined && uid !== Option.getOrUndefined(after.uid)) ||
+                (gid !== undefined && gid !== Option.getOrUndefined(after.gid));
+            if (ownerChanged) {
+                // Only root may give a file away. A writable file owned by another
+                // user (a shared checkout, a bind mount) cannot be replaced by a
+                // sibling this process owns without changing its owner, so it is
+                // rewritten in place instead: same inode, owner, and mode, at the
+                // cost of atomicity.
+                const chowned = yield* fileSystem.chown(temporary, uid ?? -1, gid ?? -1).pipe(Effect.as(true), Effect.catch((error) => error.reason._tag === "PermissionDenied" ? Effect.succeed(false) : Effect.fail(error)));
+                if (!chowned) {
+                    inPlace = true;
+                    return;
+                }
+            }
+            // chown may clear set-id bits, so permissions are restored last.
+            if (ownerChanged || (after.mode & permissions) !== (before.mode & permissions)) {
+                yield* fileSystem.chmod(temporary, before.mode & permissions);
+            }
+        }));
+        if (!inPlace)
+            yield* fileSystem.rename(temporary, destination);
+    }).pipe(Effect.ensuring(Effect.suspend(() => owned ? fileSystem.remove(temporary, { force: true }).pipe(Effect.orDie) : Effect.void))));
+    if (inPlace)
+        yield* write(destination, "w", undefined);
+});
+//# sourceMappingURL=Preserve.js.map

package/dist/esm/internal/Preserve.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Preserve.js","sourceRoot":"","sources":["../../../src/internal/Preserve.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAGvC,MAAM,WAAW,GAAG,MAAM,CAAA;AAE1B;;;;;GAKG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,UAAiC,EACjC,IAAY,EACZ,OAAe,EACmC,EAAE,CACpD,OAAO,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,eAAe,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAA;AAEhH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CACvB,UAAiC,EACjC,IAAY,EACZ,OAAmB,EAC+B,EAAE,CACpD,OAAO,CAAC,UAAU,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAA;AAE1G,MAAM,OAAO,GAAG,CACd,UAAiC,EACjC,IAAY,EACZ,KAIqD,EACH,EAAE,CACpD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAC9C,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAC3G,CAAA;IACD,gEAAgE;IAChE,MAAM,WAAW,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;IAClF,MAAM,SAAS,GAAG,WAAW,CAAC,OAAO,CAAC,UAAU,EAAE,aAAa,UAAU,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,CAAA;IACpG,IAAI,KAAK,GAAG,IAAI,CAAA;IAChB,0EAA0E;IAC1E,IAAI,OAAO,GAAG,KAAK,CAAA;IACnB,KAAK,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE,CAC5C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,yEAAyE;QACzE,KAAK,CAAC,CAAC,KAAK,CAAC,SAAS,EAAE,IAAI,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,GAAG,WAAW,CAAC,CAAC,IAAI,CAC9F,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CACxB,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;YACf,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,eAAe;gBAAE,KAAK,GAAG,KAAK,CAAA;QAC1D,CAAC,CAAC,CACH,CACF,CAAA;QACD,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YACjC,IAAI,MAAM,KAAK,SAAS;gBAAE,OAAM;YAChC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;YAC/C,MAAM,GAAG,GAAG,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;YAC7C,MAAM,GAAG,GAAG,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;YAC7C,MAAM,YAAY,GAAG,CAAC,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBAClF,CAAC,GAAG,KAAK,SAAS,IAAI,GAAG,KAAK,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAA;YACjE,IAAI,YAAY,EAAE,CAAC;gBACjB,mEAAmE;gBACnE,iEAAiE;gBACjE,iEAAiE;gBACjE,kEAAkE;gBAClE,qBAAqB;gBACrB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,SAAS,EAAE,GAAG,IAAI,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAC3E,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,EACf,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CACrB,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,kBAAkB,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CACtF,CACF,CAAA;gBACD,IAAI,CAAC,OAAO,EAAE,CAAC;oBACb,OAAO,GAAG,IAAI,CAAA;oBACd,OAAM;gBACR,CAAC;YACH,CAAC;YACD,iEAAiE;YACjE,IAAI,YAAY,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,GAAG,WAAW,CAAC,EAAE,CAAC;gBAC/E,KAAK,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,GAAG,WAAW,CAAC,CAAA;YAC/D,CAAC;QACH,CAAC,CAAC,CAAC,CAAA;QACH,IAAI,CAAC,OAAO;YAAE,KAAK,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,CAAA;IAChE,CAAC,CAAC,CAAC,IAAI,CACL,MAAM,CAAC,QAAQ,CACb,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,SAAS,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAC7G,CACF,CACF,CAAA;IACD,IAAI,OAAO;QAAE,KAAK,CAAC,CAAC,KAAK,CAAC,WAAW,EAAE,GAAG,EAAE,SAAS,CAAC,CAAA;AACxD,CAAC,CAAC,CAAA","sourcesContent":["/**\n * Per-file atomic replacement that preserves permission bits and ownership.\n * The sibling is complete before rename; no crash-durability guarantee is made.\n * A file whose owner this process cannot assign is rewritten in place instead.\n *\n * @since 1.0.0\n */\n\nimport * as Effect from \"effect/Effect\"\nimport type * as FileSystem from \"effect/FileSystem\"\nimport * as Option from \"effect/Option\"\nimport type * as PlatformError from \"effect/PlatformError\"\n\nconst permissions = 0o7777\n\n/**\n * Replaces a file's text atomically, preserving its permission bits and owner.\n *\n * @category filesystem\n * @since 1.0.0\n */\nexport const writeFileString = (\n  fileSystem: FileSystem.FileSystem,\n  path: string,\n  content: string\n): Effect.Effect<void, PlatformError.PlatformError> =>\n  replace(fileSystem, path, (target, flag, mode) => fileSystem.writeFileString(target, content, { flag, mode }))\n\n/**\n * Replaces a file's bytes with the same atomic boundary used for text writes.\n *\n * @category filesystem\n * @since 1.0.0\n */\nexport const writeFile = (\n  fileSystem: FileSystem.FileSystem,\n  path: string,\n  content: Uint8Array\n): Effect.Effect<void, PlatformError.PlatformError> =>\n  replace(fileSystem, path, (target, flag, mode) => fileSystem.writeFile(target, content, { flag, mode }))\n\nconst replace = (\n  fileSystem: FileSystem.FileSystem,\n  path: string,\n  write: (\n    target: string,\n    flag: \"wx\" | \"w\",\n    mode: number | undefined\n  ) => Effect.Effect<void, PlatformError.PlatformError>\n): Effect.Effect<void, PlatformError.PlatformError> =>\n  Effect.gen(function*() {\n    const before = yield* fileSystem.stat(path).pipe(\n      Effect.catch((error) => error.reason._tag === \"NotFound\" ? Effect.succeed(undefined) : Effect.fail(error))\n    )\n    // Keep following an existing symlink, as an in-place write did.\n    const destination = before === undefined ? path : yield* fileSystem.realPath(path)\n    const temporary = destination.replace(/[^/\\\\]+$/, `.smithers-${globalThis.crypto.randomUUID()}.tmp`)\n    let owned = true\n    // Set when the sibling cannot take the file's owner; see the chown below.\n    let inPlace = false\n    yield* Effect.uninterruptibleMask((restore) =>\n      Effect.gen(function*() {\n        // Let the host finish its write before cancellation can unlink the name.\n        yield* write(temporary, \"wx\", before === undefined ? undefined : before.mode & permissions).pipe(\n          Effect.tapError((error) =>\n            Effect.sync(() => {\n              if (error.reason._tag === \"AlreadyExists\") owned = false\n            })\n          )\n        )\n        yield* restore(Effect.gen(function*() {\n          if (before === undefined) return\n          const after = yield* fileSystem.stat(temporary)\n          const uid = Option.getOrUndefined(before.uid)\n          const gid = Option.getOrUndefined(before.gid)\n          const ownerChanged = (uid !== undefined && uid !== Option.getOrUndefined(after.uid)) ||\n            (gid !== undefined && gid !== Option.getOrUndefined(after.gid))\n          if (ownerChanged) {\n            // Only root may give a file away. A writable file owned by another\n            // user (a shared checkout, a bind mount) cannot be replaced by a\n            // sibling this process owns without changing its owner, so it is\n            // rewritten in place instead: same inode, owner, and mode, at the\n            // cost of atomicity.\n            const chowned = yield* fileSystem.chown(temporary, uid ?? -1, gid ?? -1).pipe(\n              Effect.as(true),\n              Effect.catch((error) =>\n                error.reason._tag === \"PermissionDenied\" ? Effect.succeed(false) : Effect.fail(error)\n              )\n            )\n            if (!chowned) {\n              inPlace = true\n              return\n            }\n          }\n          // chown may clear set-id bits, so permissions are restored last.\n          if (ownerChanged || (after.mode & permissions) !== (before.mode & permissions)) {\n            yield* fileSystem.chmod(temporary, before.mode & permissions)\n          }\n        }))\n        if (!inPlace) yield* fileSystem.rename(temporary, destination)\n      }).pipe(\n        Effect.ensuring(\n          Effect.suspend(() => owned ? fileSystem.remove(temporary, { force: true }).pipe(Effect.orDie) : Effect.void)\n        )\n      )\n    )\n    if (inPlace) yield* write(destination, \"w\", undefined)\n  })\n"]}

package/dist/esm/internal/Prune.d.ts

@@ -0,0 +1,35 @@
+/**
+ * The one list of directory names a repository walk leaves out.
+ *
+ * `grep`, `glob` and `ls` walks, the tree fingerprint, and workspace
+ * observation all read this list, so a directory one of them skips is never
+ * counted, matched, or fingerprinted by another. Every entry is derived state:
+ * version-control internals, dependency trees, caches, and the scratch
+ * checkouts the checkpoint and test-baseline flows create inside the
+ * workspace. A scratch checkout is a full copy of the repository at an older
+ * commit, so walking it duplicates every match from a stale tree.
+ *
+ * @since 1.0.0
+ */
+/**
+ * Workspace-relative directory holding checkpoint checkouts.
+ *
+ * @private
+ * @since 1.0.0
+ */
+export declare const checkpointScratch = ".flows-checkpoints";
+/**
+ * Workspace-relative directory holding test-baseline checkouts.
+ *
+ * @private
+ * @since 1.0.0
+ */
+export declare const testBaseScratch = ".flows-test-base";
+/**
+ * Directory basenames no repository walk descends into.
+ *
+ * @private
+ * @since 1.0.0
+ */
+export declare const repositoryDirectories: ReadonlyArray<string>;
+//# sourceMappingURL=Prune.d.ts.map

package/dist/esm/internal/Prune.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Prune.d.ts","sourceRoot":"","sources":["../../../src/internal/Prune.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH;;;;;GAKG;AACH,eAAO,MAAM,iBAAiB,uBAAuB,CAAA;AAErD;;;;;GAKG;AACH,eAAO,MAAM,eAAe,qBAAqB,CAAA;AAEjD;;;;;GAKG;AACH,eAAO,MAAM,qBAAqB,EAAE,aAAa,CAAC,MAAM,CAyBvD,CAAA"}

package/dist/esm/internal/Prune.js

@@ -0,0 +1,60 @@
+/**
+ * The one list of directory names a repository walk leaves out.
+ *
+ * `grep`, `glob` and `ls` walks, the tree fingerprint, and workspace
+ * observation all read this list, so a directory one of them skips is never
+ * counted, matched, or fingerprinted by another. Every entry is derived state:
+ * version-control internals, dependency trees, caches, and the scratch
+ * checkouts the checkpoint and test-baseline flows create inside the
+ * workspace. A scratch checkout is a full copy of the repository at an older
+ * commit, so walking it duplicates every match from a stale tree.
+ *
+ * @since 1.0.0
+ */
+/**
+ * Workspace-relative directory holding checkpoint checkouts.
+ *
+ * @private
+ * @since 1.0.0
+ */
+export const checkpointScratch = ".flows-checkpoints";
+/**
+ * Workspace-relative directory holding test-baseline checkouts.
+ *
+ * @private
+ * @since 1.0.0
+ */
+export const testBaseScratch = ".flows-test-base";
+/**
+ * Directory basenames no repository walk descends into.
+ *
+ * @private
+ * @since 1.0.0
+ */
+export const repositoryDirectories = [
+    ".git",
+    ".hg",
+    ".jj",
+    ".svn",
+    ".flows",
+    ".artifacts",
+    ".backend-go-modcache",
+    ".pnpm-store",
+    ".worktrees",
+    "worktrees",
+    checkpointScratch,
+    testBaseScratch,
+    "node_modules",
+    "__pycache__",
+    ".venv",
+    ".tox",
+    ".nox",
+    ".eggs",
+    ".mypy_cache",
+    ".pytest_cache",
+    ".ruff_cache",
+    ".gradle",
+    ".turbo",
+    ".next"
+];
+//# sourceMappingURL=Prune.js.map

package/dist/esm/internal/Prune.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Prune.js","sourceRoot":"","sources":["../../../src/internal/Prune.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,oBAAoB,CAAA;AAErD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,kBAAkB,CAAA;AAEjD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAA0B;IAC1D,MAAM;IACN,KAAK;IACL,KAAK;IACL,MAAM;IACN,QAAQ;IACR,YAAY;IACZ,sBAAsB;IACtB,aAAa;IACb,YAAY;IACZ,WAAW;IACX,iBAAiB;IACjB,eAAe;IACf,cAAc;IACd,aAAa;IACb,OAAO;IACP,MAAM;IACN,MAAM;IACN,OAAO;IACP,aAAa;IACb,eAAe;IACf,aAAa;IACb,SAAS;IACT,QAAQ;IACR,OAAO;CACR,CAAA","sourcesContent":["/**\n * The one list of directory names a repository walk leaves out.\n *\n * `grep`, `glob` and `ls` walks, the tree fingerprint, and workspace\n * observation all read this list, so a directory one of them skips is never\n * counted, matched, or fingerprinted by another. Every entry is derived state:\n * version-control internals, dependency trees, caches, and the scratch\n * checkouts the checkpoint and test-baseline flows create inside the\n * workspace. A scratch checkout is a full copy of the repository at an older\n * commit, so walking it duplicates every match from a stale tree.\n *\n * @since 1.0.0\n */\n\n/**\n * Workspace-relative directory holding checkpoint checkouts.\n *\n * @private\n * @since 1.0.0\n */\nexport const checkpointScratch = \".flows-checkpoints\"\n\n/**\n * Workspace-relative directory holding test-baseline checkouts.\n *\n * @private\n * @since 1.0.0\n */\nexport const testBaseScratch = \".flows-test-base\"\n\n/**\n * Directory basenames no repository walk descends into.\n *\n * @private\n * @since 1.0.0\n */\nexport const repositoryDirectories: ReadonlyArray<string> = [\n  \".git\",\n  \".hg\",\n  \".jj\",\n  \".svn\",\n  \".flows\",\n  \".artifacts\",\n  \".backend-go-modcache\",\n  \".pnpm-store\",\n  \".worktrees\",\n  \"worktrees\",\n  checkpointScratch,\n  testBaseScratch,\n  \"node_modules\",\n  \"__pycache__\",\n  \".venv\",\n  \".tox\",\n  \".nox\",\n  \".eggs\",\n  \".mypy_cache\",\n  \".pytest_cache\",\n  \".ruff_cache\",\n  \".gradle\",\n  \".turbo\",\n  \".next\"\n]\n"]}

package/dist/esm/internal/RemoteTree.d.ts

@@ -0,0 +1,60 @@
+/**
+ * A tree another machine listed, served as a read-only `FileSystem`.
+ *
+ * `RemoteSearch` lists a root on the machine with `find` and brings back the
+ * bytes the search reads with `tar`; this module holds what came back and
+ * answers what the walk, the globs, and the matcher ask of a filesystem, so
+ * `PortableSearch` can search the copy as it searches a host.
+ *
+ * @since 1.0.0-rc.8
+ */
+import type * as Path from "@smthrs/kernel/Path";
+import * as FileSystem from "effect/FileSystem";
+/**
+ * What one listed path is: `d` a directory, `u` a directory the machine's
+ * user may not list, `f` a file, `o` anything else, and a symbolic link to a
+ * directory (`D`), to a file (`F`), or to neither (`L`).
+ *
+ * @private
+ * @since 1.0.0-rc.8
+ */
+export type Kind = "d" | "u" | "f" | "o" | "D" | "F" | "L";
+/**
+ * One machine's listing of a root, and the bytes it brought back, by
+ * absolute path.
+ *
+ * @private
+ * @since 1.0.0-rc.8
+ */
+export interface Tree {
+    readonly kinds: ReadonlyMap<string, Kind>;
+    readonly children: ReadonlyMap<string, ReadonlyArray<string>>;
+    readonly contents: ReadonlyMap<string, Uint8Array>;
+}
+/**
+ * The member names `tar` wrote for absolute paths, which it strips of their
+ * leading `/`, as those paths again.
+ *
+ * @private
+ * @since 1.0.0-rc.8
+ */
+export declare const absolute: (members: ReadonlyMap<string, Uint8Array>) => ReadonlyMap<string, Uint8Array>;
+/**
+ * Reads NUL-terminated `<kind><path>` records up to an `E` record, then the
+ * tar stream of `.gitignore` files after it. `root` is the listed root, which
+ * is nobody's child. `undefined` when the bytes are not that shape.
+ *
+ * @private
+ * @since 1.0.0-rc.8
+ */
+export declare const parse: (bytes: Uint8Array, root: string, path: Path.Path) => Tree | undefined;
+/**
+ * The tree as a read-only `FileSystem`, resolving paths with `path`. A file
+ * whose bytes did not come back is one the machine's user could not read,
+ * which the in-process peer skips exactly as it skips such a file on a host.
+ *
+ * @private
+ * @since 1.0.0-rc.8
+ */
+export declare const fileSystem: (tree: Tree, path: Path.Path) => FileSystem.FileSystem;
+//# sourceMappingURL=RemoteTree.d.ts.map

package/dist/esm/internal/RemoteTree.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"RemoteTree.d.ts","sourceRoot":"","sources":["../../../src/internal/RemoteTree.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,KAAK,IAAI,MAAM,qBAAqB,CAAA;AAGhD,OAAO,KAAK,UAAU,MAAM,mBAAmB,CAAA;AAI/C;;;;;;;GAOG;AACH,MAAM,MAAM,IAAI,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,CAAA;AAE1D;;;;;;GAMG;AACH,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;IACzC,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC,CAAA;IAC7D,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;CACnD;AAID;;;;;;GAMG;AACH,eAAO,MAAM,QAAQ,GAAI,SAAS,WAAW,CAAC,MAAM,EAAE,UAAU,CAAC,KAAG,WAAW,CAAC,MAAM,EAAE,UAAU,CAC/B,CAAA;AAEnE;;;;;;;GAOG;AACH,eAAO,MAAM,KAAK,GAAI,OAAO,UAAU,EAAE,MAAM,MAAM,EAAE,MAAM,IAAI,CAAC,IAAI,KAAG,IAAI,GAAG,SAuB/E,CAAA;AAiCD;;;;;;;GAOG;AACH,eAAO,MAAM,UAAU,GAAI,MAAM,IAAI,EAAE,MAAM,IAAI,CAAC,IAAI,KAAG,UAAU,CAAC,UAiCnE,CAAA"}