@spikedpunch/align-core 0.1.0

package/dist/dsl/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/dsl/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAe,MAAM,qBAAqB,CAAC;AAE7E,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,EACL,eAAe,EACf,iBAAiB,EACjB,mBAAmB,GAIpB,MAAM,gBAAgB,CAAC;AAExB,cAAc,gBAAgB,CAAC;AAC/B,cAAc,oBAAoB,CAAC;AAmCnC,SAAS,aAAa,CAAC,OAAe;IACpC,IAAI,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QACnC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,YAAY,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;IAC/E,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;AAC/C,CAAC;AAED,SAAS,0BAA0B,CAAC,IAAY,EAAE,IAA0B;IAC1E,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAChE,CAAC;IACD,2FAA2F;IAC3F,qFAAqF;IACrF,MAAM,KAAK,GAAgB,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACvF,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC;AAChE,CAAC;AAiCD;;;GAGG;AACH,MAAM,UAAU,aAAa,CAA4B,MAA8B;IACrF,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,UAA6B,CAAC,CAAC;IAC9E,MAAM,UAAU,GAA0C,EAAE,CAAC;IAC7D,MAAM,MAAM,GAAmC,EAAE,CAAC;IAClD,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,gBAAgB,EAAE,CAAC;QAC5C,UAAU,CAAC,IAAI,CAAC,GAAG,0BAA0B,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC1D,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;IACjD,CAAC;IAED,MAAM,OAAO,GAAG;QACd,GAAG,MAAM;QACT,IAAI,EAAE,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC5C,MAAM,EAAE,iBAAiB,EAAE;QAC3B,QAAQ,EAAE,mBAAmB,EAAE;KACT,CAAC;IAEzB,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;IAE/C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC;YACnC,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,EAAE,EAAE,EAAE,YAAY,CAAC,IAAI,CAAC,EAAE,EAAE,OAAO,CAAC,EAAY,CAAC,CAAC;QACxE,CAAC;IACH,CAAC;IAED,OAAO,eAAe,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;AACtE,CAAC;AAED;;4BAE4B;AAC5B,SAAS,YAAY,CAAC,IAAY,EAAE,OAAoB;IACtD,IAAI,SAAS,GAAW,IAAI,CAAC;IAC7B,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,OAAO,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QAC9B,SAAS,GAAG,GAAG,IAAI,IAAI,MAAM,EAAE,CAAC;QAChC,MAAM,IAAI,CAAC,CAAC;IACd,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IACvB,OAAO,QAAQ,CAAC,SAAS,CAAC,CAAC;AAC7B,CAAC"}

package/dist/dsl/reserved-names.typecheck.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=reserved-names.typecheck.d.ts.map

package/dist/dsl/reserved-names.typecheck.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reserved-names.typecheck.d.ts","sourceRoot":"","sources":["../../src/dsl/reserved-names.typecheck.ts"],"names":[],"mappings":""}

package/dist/dsl/reserved-names.typecheck.js

@@ -0,0 +1,16 @@
+/**
+ * Compile-time-only check (not a vitest test — vitest never imports this file; `pnpm typecheck`
+ * / `tsc --noEmit` is the verifier). If a component key collides with a reserved factory name and
+ * `NoReservedComponentKeys` stops working, the `@ts-expect-error` directive below becomes unused,
+ * which `tsc` reports as an error under default settings — so this file fails to typecheck
+ * exactly when the guard it's testing has regressed.
+ */
+import { defineProject } from './index.js';
+// @ts-expect-error — 'arch' collides with the reserved `c.arch` factory name (ADR 002).
+defineProject({ components: { arch: 'packages/oops/**' } });
+// @ts-expect-error — 'security' collides with the reserved `c.security` factory name (ADR 013:
+// `c.security.manifest.*` is now a real factory, not just a reserved name).
+defineProject({ components: { security: 'packages/oops/**' } });
+// A non-colliding key must NOT error.
+defineProject({ components: { api: 'packages/api/**' } });
+//# sourceMappingURL=reserved-names.typecheck.js.map

package/dist/dsl/reserved-names.typecheck.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reserved-names.typecheck.js","sourceRoot":"","sources":["../../src/dsl/reserved-names.typecheck.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE3C,wFAAwF;AACxF,aAAa,CAAC,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,EAAE,CAAC,CAAC;AAE5D,+FAA+F;AAC/F,4EAA4E;AAC5E,aAAa,CAAC,EAAE,UAAU,EAAE,EAAE,QAAQ,EAAE,kBAAkB,EAAE,EAAE,CAAC,CAAC;AAEhE,sCAAsC;AACtC,aAAa,CAAC,EAAE,UAAU,EAAE,EAAE,GAAG,EAAE,iBAAiB,EAAE,EAAE,CAAC,CAAC"}

package/dist/dsl/verb-manifest.d.ts

@@ -0,0 +1,12 @@
+export interface DslVerbEntry {
+    /** Dotted call path as authored, e.g. `arch.layer(x).canOnlyDependOn(...)`. */
+    readonly path: string;
+    readonly description: string;
+    readonly producesRuleKind: readonly string[];
+}
+/** Fails fast (throws) if the live builder surface and `VERB_DESCRIPTIONS` have diverged in
+ * either direction — a verb introspected but undocumented, or a documented verb that no longer
+ * exists. Both are the same class of bug the plan's false-green invariant suite watches for
+ * elsewhere: a skill that silently stops describing reality. */
+export declare function describeDslVerbs(): readonly DslVerbEntry[];
+//# sourceMappingURL=verb-manifest.d.ts.map

package/dist/dsl/verb-manifest.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verb-manifest.d.ts","sourceRoot":"","sources":["../../src/dsl/verb-manifest.ts"],"names":[],"mappings":"AAgBA,MAAM,WAAW,YAAY;IAC3B,+EAA+E;IAC/E,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;CAC9C;AAsED;;;gEAGgE;AAChE,wBAAgB,gBAAgB,IAAI,SAAS,YAAY,EAAE,CAuB1D"}

package/dist/dsl/verb-manifest.js

@@ -0,0 +1,101 @@
+/**
+ * DSL verb manifest (Stage 5, IMPLEMENTATION_PLAN.md "Elevated first items"): the single source
+ * of truth `align skill`'s generated DSL-verb-table section reads from
+ * (`packages/cli/src/skill/dsl-verbs.ts`).
+ *
+ * The verb *names* are runtime-introspected from the actual builder objects `factories.ts`
+ * constructs — not re-typed by hand — by instantiating each factory with placeholder tokens and
+ * walking `Object.keys()`. A hand-written verb added to `factories.ts` without a matching entry
+ * here (or a stale entry left behind after a verb is removed) fails `describeDslVerbs()` fast
+ * (CODING_BEST_PRACTICES.md's fail-fast doctrine) rather than silently drifting — the same
+ * "generated from the live registry, never a hand-written prose list" discipline
+ * `rule-kinds.ts`/`bullet-grammar.ts` apply on the CLI side.
+ */
+import { toComponentName } from '../types/branded.js';
+import { makeArchFactory, makeCustomFactory, makeSecurityFactory } from './factories.js';
+// Hand-maintained prose, keyed by the same dotted path `introspectVerbPaths()` below produces at
+// runtime — this is the part `describeDslVerbs()` guarantees stays complete, not the part it
+// guarantees stays accurate English; a verb whose *name* changes fails introspection matching
+// (caught immediately), a verb whose *behavior* changes without a description update is a normal
+// code-review miss like any other stale comment.
+const VERB_DESCRIPTIONS = {
+    'arch.layer(x).canOnlyDependOn(...refs)': {
+        description: 'x may depend only on the listed components — any other outgoing dependency from x is a violation.',
+        producesRuleKind: ['arch.layers'],
+    },
+    'arch.layer(x).cannotDependOn(...refs)': {
+        description: 'x must not depend on any of the listed components — one arch.no-dependency rule per listed component.',
+        producesRuleKind: ['arch.no-dependency'],
+    },
+    'arch.component(x).isIsolated()': {
+        description: 'no other component may depend on x, and x depends on none of them — a no-dependency rule pair for every other component.',
+        producesRuleKind: ['arch.no-dependency'],
+    },
+    'arch.component(x).maxLinesPerFile(max)': {
+        description: 'every file classified into x must stay at or under max lines (metric: loc — the only promoted arch.metric metric today).',
+        producesRuleKind: ['arch.metric'],
+    },
+    'arch.noCycles(scope?, options?)': {
+        description: "no import cycles within scope (defaults to the whole repo). options.includeTypeOnly widens cycle detection to type-only edges (excluded by default).",
+        producesRuleKind: ['arch.no-cycles'],
+    },
+    'custom.host(hostRuleName)': {
+        description: 'references a HostPredicate registered under the same name in align.config.ts\'s sibling `hostRules` export ' +
+            '(`Record<string, HostPredicate>`). Registration is required: an unregistered hostRuleName hard-errors the ' +
+            'gate at check time (never silently reports green) — register the predicate, fix the typo, or remove the rule.',
+        producesRuleKind: ['custom.host'],
+    },
+    'security.manifest.sourceHygiene()': {
+        description: 'any dependency specifier resolving to a git/http(s)/file/link source (not registry, not workspace:) is a violation. Takes no arguments — the manifest scan domain has no notion of file-classified components.',
+        producesRuleKind: ['security.manifest.source-hygiene'],
+    },
+    'security.manifest.newDependencyGate()': {
+        description: 'every current runtime/dev dependency is fingerprinted at baseline time; only a genuinely new dependency added afterward shows red. Takes no arguments.',
+        producesRuleKind: ['security.manifest.new-dependency'],
+    },
+};
+const DUMMY_TOKEN = { name: toComponentName('x') };
+/** Runtime-introspects the real builder objects `factories.ts` constructs — the "live registry"
+ * `align skill` reads instead of a hand-typed verb list. */
+function introspectVerbPaths() {
+    const paths = [];
+    const arch = makeArchFactory([DUMMY_TOKEN]);
+    const layerBuilder = arch.layer(DUMMY_TOKEN);
+    for (const key of Object.keys(layerBuilder))
+        paths.push(`arch.layer(x).${key}(...refs)`);
+    const componentBuilder = arch.component(DUMMY_TOKEN);
+    for (const key of Object.keys(componentBuilder)) {
+        paths.push(key === 'maxLinesPerFile' ? `arch.component(x).${key}(max)` : `arch.component(x).${key}()`);
+    }
+    paths.push('arch.noCycles(scope?, options?)');
+    const custom = makeCustomFactory();
+    for (const key of Object.keys(custom))
+        paths.push(`custom.${key}(hostRuleName)`);
+    const security = makeSecurityFactory();
+    for (const key of Object.keys(security.manifest))
+        paths.push(`security.manifest.${key}()`);
+    return paths;
+}
+/** Fails fast (throws) if the live builder surface and `VERB_DESCRIPTIONS` have diverged in
+ * either direction — a verb introspected but undocumented, or a documented verb that no longer
+ * exists. Both are the same class of bug the plan's false-green invariant suite watches for
+ * elsewhere: a skill that silently stops describing reality. */
+export function describeDslVerbs() {
+    const introspected = introspectVerbPaths();
+    const introspectedSet = new Set(introspected);
+    const documentedSet = new Set(Object.keys(VERB_DESCRIPTIONS));
+    const undocumented = introspected.filter((p) => !documentedSet.has(p));
+    if (undocumented.length > 0) {
+        throw new Error(`dsl/verb-manifest.ts: the following DSL verb(s) are introspected from the live builder ` +
+            `surface but have no entry in VERB_DESCRIPTIONS: ${undocumented.join(', ')}. Add a ` +
+            `description so \`align skill\` cannot silently drift from the installed DSL.`);
+    }
+    const stale = [...documentedSet].filter((p) => !introspectedSet.has(p));
+    if (stale.length > 0) {
+        throw new Error(`dsl/verb-manifest.ts: VERB_DESCRIPTIONS documents verb(s) that no longer exist on the ` +
+            `live builder surface: ${stale.join(', ')}. Remove the stale entry (or the verb was ` +
+            `renamed — update the path to match).`);
+    }
+    return introspected.map((path) => ({ path, ...VERB_DESCRIPTIONS[path] }));
+}
+//# sourceMappingURL=verb-manifest.js.map

package/dist/dsl/verb-manifest.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verb-manifest.js","sourceRoot":"","sources":["../../src/dsl/verb-manifest.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACtD,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,mBAAmB,EAAuB,MAAM,gBAAgB,CAAC;AAS9G,iGAAiG;AACjG,6FAA6F;AAC7F,8FAA8F;AAC9F,iGAAiG;AACjG,iDAAiD;AACjD,MAAM,iBAAiB,GAA+C;IACpE,wCAAwC,EAAE;QACxC,WAAW,EAAE,mGAAmG;QAChH,gBAAgB,EAAE,CAAC,aAAa,CAAC;KAClC;IACD,uCAAuC,EAAE;QACvC,WAAW,EAAE,uGAAuG;QACpH,gBAAgB,EAAE,CAAC,oBAAoB,CAAC;KACzC;IACD,gCAAgC,EAAE;QAChC,WAAW,EAAE,0HAA0H;QACvI,gBAAgB,EAAE,CAAC,oBAAoB,CAAC;KACzC;IACD,wCAAwC,EAAE;QACxC,WAAW,EAAE,0HAA0H;QACvI,gBAAgB,EAAE,CAAC,aAAa,CAAC;KAClC;IACD,iCAAiC,EAAE;QACjC,WAAW,EAAE,sJAAsJ;QACnK,gBAAgB,EAAE,CAAC,gBAAgB,CAAC;KACrC;IACD,2BAA2B,EAAE;QAC3B,WAAW,EACT,6GAA6G;YAC7G,4GAA4G;YAC5G,+GAA+G;QACjH,gBAAgB,EAAE,CAAC,aAAa,CAAC;KAClC;IACD,mCAAmC,EAAE;QACnC,WAAW,EAAE,gNAAgN;QAC7N,gBAAgB,EAAE,CAAC,kCAAkC,CAAC;KACvD;IACD,uCAAuC,EAAE;QACvC,WAAW,EAAE,wJAAwJ;QACrK,gBAAgB,EAAE,CAAC,kCAAkC,CAAC;KACvD;CACF,CAAC;AAEF,MAAM,WAAW,GAAmB,EAAE,IAAI,EAAE,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC;AAEnE;4DAC4D;AAC5D,SAAS,mBAAmB;IAC1B,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,MAAM,IAAI,GAAG,eAAe,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;IAC5C,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IAC7C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,iBAAiB,GAAG,WAAW,CAAC,CAAC;IACzF,MAAM,gBAAgB,GAAG,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IACrD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,EAAE,CAAC;QAChD,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,iBAAiB,CAAC,CAAC,CAAC,qBAAqB,GAAG,OAAO,CAAC,CAAC,CAAC,qBAAqB,GAAG,IAAI,CAAC,CAAC;IACzG,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;IAE9C,MAAM,MAAM,GAAG,iBAAiB,EAAE,CAAC;IACnC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,UAAU,GAAG,gBAAgB,CAAC,CAAC;IAEjF,MAAM,QAAQ,GAAG,mBAAmB,EAAE,CAAC;IACvC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,qBAAqB,GAAG,IAAI,CAAC,CAAC;IAE3F,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;gEAGgE;AAChE,MAAM,UAAU,gBAAgB;IAC9B,MAAM,YAAY,GAAG,mBAAmB,EAAE,CAAC;IAC3C,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,CAAC;IAC9C,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC;IAE9D,MAAM,YAAY,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACvE,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CACb,yFAAyF;YACvF,mDAAmD,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU;YACpF,8EAA8E,CACjF,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,GAAG,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACxE,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,MAAM,IAAI,KAAK,CACb,wFAAwF;YACtF,yBAAyB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,4CAA4C;YACrF,sCAAsC,CACzC,CAAC;IACJ,CAAC;IAED,OAAO,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,iBAAiB,CAAC,IAAI,CAAE,EAAE,CAAC,CAAC,CAAC;AAC7E,CAAC"}

package/dist/fix/apply.d.ts

@@ -0,0 +1,67 @@
+/**
+ * Edit-block apply pipeline — engine half (ADR 010).
+ *
+ * Pure functions only (CODING_BEST_PRACTICES.md §14): given immutable original text and a set of
+ * proposed edit blocks, decide whether the edits apply and what the resulting text is. No I/O —
+ * callers (in `@spikedpunch/align-agent`) are responsible for reading the original file and writing the
+ * result. This keeps the algorithm trivially unit-testable with plain strings.
+ *
+ * Algorithm (ADR 010):
+ *   1. Scan the immutable original text for the unique starting offset of every `search` block —
+ *      literal character-for-character string matching, no line numbers.
+ *   2. Multi-match: use `nearLine` to pick the closest match (line-distance) instead of rejecting.
+ *   3. Reject atomically: 0 matches, unresolved ambiguity (>1 match, no `nearLine` to
+ *      disambiguate, or a tie), or any two validated spans overlapping -> zero edits applied to
+ *      the file. The failure carries `FailureContext` with ±3-line, line-numbered context of the
+ *      nearest candidate region (LLM's eyes only — never fed back into the engine's search).
+ *   4. Sort validated edits descending by original offset and apply sequentially, so edits at the
+ *      end of the file never shift the coordinates of earlier edits.
+ *
+ * No fuzzy/whitespace-normalized fallback (Design Reserve — IMPLEMENTATION_PLAN.md).
+ */
+import type { RepoRelativePath } from '../types/branded.js';
+import type { EditBlock, FixProposalFile } from './schema.js';
+export interface ValidatedEdit {
+    readonly startOffset: number;
+    readonly endOffset: number;
+    readonly replacement: string;
+}
+export type FailureReason = 'zero-matches' | 'ambiguous-matches' | 'overlapping-spans';
+export interface FailureContext {
+    readonly file: RepoRelativePath;
+    readonly reason: FailureReason;
+    readonly nearestCandidate?: {
+        readonly linesWithContext: string;
+        readonly startLine: number;
+    };
+}
+export type FileApplyResult = {
+    readonly ok: true;
+    readonly content: string;
+    readonly editCount: number;
+} | {
+    readonly ok: false;
+    readonly failure: FailureContext;
+};
+/**
+ * Validate and apply every edit block for a single file against its immutable original text.
+ * Rejects the ENTIRE file patch atomically on any failure — matches ADR 010's pure-function
+ * memoization semantics (a proposal either fully applies or fully doesn't).
+ */
+export declare function applyEditsToFile(originalText: string, file: RepoRelativePath, edits: readonly EditBlock[]): FileApplyResult;
+export type ValidatedFile = {
+    readonly path: RepoRelativePath;
+} & ({
+    readonly ok: true;
+    readonly content: string;
+} | {
+    readonly ok: false;
+    readonly failure: FailureContext;
+});
+/**
+ * Apply every file's edits in a `FixProposal`. Each file is validated/applied independently and
+ * atomically — one file's failure does not block another file's success, but any single failure
+ * means that ONE file's patch was fully rejected (zero edits from it applied).
+ */
+export declare function applyFixProposalFiles(originalContents: ReadonlyMap<RepoRelativePath, string>, files: readonly FixProposalFile[], toPath: (raw: string) => RepoRelativePath): readonly ValidatedFile[];
+//# sourceMappingURL=apply.d.ts.map

package/dist/fix/apply.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"apply.d.ts","sourceRoot":"","sources":["../../src/fix/apply.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,KAAK,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAE9D,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,MAAM,aAAa,GAAG,cAAc,GAAG,mBAAmB,GAAG,mBAAmB,CAAC;AAEvF,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;IAC/B,QAAQ,CAAC,gBAAgB,CAAC,EAAE;QAC1B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;QAClC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;KAC5B,CAAC;CACH;AAED,MAAM,MAAM,eAAe,GACvB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GAC3E;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAA;CAAE,CAAC;AAsI7D;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAE,SAAS,SAAS,EAAE,GAAG,eAAe,CA6B3H;AAED,MAAM,MAAM,aAAa,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAA;CAAE,GAAG,CAC9D;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GAC/C;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAA;CAAE,CAC3D,CAAC;AAEF;;;;GAIG;AACH,wBAAgB,qBAAqB,CACnC,gBAAgB,EAAE,WAAW,CAAC,gBAAgB,EAAE,MAAM,CAAC,EACvD,KAAK,EAAE,SAAS,eAAe,EAAE,EACjC,MAAM,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,gBAAgB,GACxC,SAAS,aAAa,EAAE,CAU1B"}

package/dist/fix/apply.js

@@ -0,0 +1,163 @@
+/** All non-overlapping literal occurrences of `search` in `text`, in ascending offset order. */
+function findAllOccurrences(text, search) {
+    const offsets = [];
+    let from = 0;
+    for (;;) {
+        const idx = text.indexOf(search, from);
+        if (idx === -1)
+            break;
+        offsets.push(idx);
+        from = idx + Math.max(search.length, 1);
+    }
+    return offsets;
+}
+/** 1-based line number containing `offset`. */
+function lineNumberAt(text, offset) {
+    let line = 1;
+    for (let i = 0; i < offset && i < text.length; i++) {
+        if (text[i] === '\n')
+            line++;
+    }
+    return line;
+}
+function lineStartOffsets(text) {
+    const starts = [0];
+    for (let i = 0; i < text.length; i++) {
+        if (text[i] === '\n')
+            starts.push(i + 1);
+    }
+    return starts;
+}
+/** ±3-line, line-numbered context window around `centerOffset`, for the LLM's eyes only. */
+function contextAround(text, centerOffset) {
+    const starts = lineStartOffsets(text);
+    const lines = text.split('\n');
+    const centerLine = lineNumberAt(text, centerOffset); // 1-based
+    const startLine = Math.max(1, centerLine - 3);
+    const endLine = Math.min(lines.length, centerLine + 3);
+    const windowLines = [];
+    for (let ln = startLine; ln <= endLine; ln++) {
+        windowLines.push(`${ln}: ${lines[ln - 1] ?? ''}`);
+    }
+    void starts;
+    return { linesWithContext: windowLines.join('\n'), startLine };
+}
+/** Best-effort nearest-candidate region when a search block has zero exact matches. */
+function nearestCandidateForZeroMatches(text, search) {
+    const searchLines = search.split('\n').filter((l) => l.trim().length > 0);
+    for (const candidateLine of searchLines) {
+        const idx = text.indexOf(candidateLine);
+        if (idx !== -1)
+            return contextAround(text, idx);
+    }
+    return undefined;
+}
+function resolveEdit(text, file, edit) {
+    const matches = findAllOccurrences(text, edit.search);
+    if (matches.length === 0) {
+        const nearestCandidate = nearestCandidateForZeroMatches(text, edit.search);
+        return {
+            ok: false,
+            failure: nearestCandidate === undefined
+                ? { file, reason: 'zero-matches' }
+                : { file, reason: 'zero-matches', nearestCandidate },
+        };
+    }
+    if (matches.length === 1) {
+        const start = matches[0];
+        return { ok: true, edit: { startOffset: start, endOffset: start + edit.search.length, replacement: edit.replace } };
+    }
+    // Multiple matches — nearLine disambiguates by picking the closest, deterministically.
+    if (edit.nearLine === undefined) {
+        return {
+            ok: false,
+            failure: {
+                file,
+                reason: 'ambiguous-matches',
+                nearestCandidate: contextAround(text, matches[0]),
+            },
+        };
+    }
+    let best;
+    let tie = false;
+    for (const offset of matches) {
+        const distance = Math.abs(lineNumberAt(text, offset) - edit.nearLine);
+        if (best === undefined || distance < best.distance) {
+            best = { offset, distance };
+            tie = false;
+        }
+        else if (distance === best.distance) {
+            tie = true;
+        }
+    }
+    if (best === undefined) {
+        // unreachable (matches.length > 1 implies a best exists), satisfies strict null checks
+        return {
+            ok: false,
+            failure: { file, reason: 'ambiguous-matches', nearestCandidate: contextAround(text, matches[0]) },
+        };
+    }
+    if (tie) {
+        return {
+            ok: false,
+            failure: { file, reason: 'ambiguous-matches', nearestCandidate: contextAround(text, best.offset) },
+        };
+    }
+    return {
+        ok: true,
+        edit: { startOffset: best.offset, endOffset: best.offset + edit.search.length, replacement: edit.replace },
+    };
+}
+function spansOverlap(a, b) {
+    return a.startOffset < b.endOffset && b.startOffset < a.endOffset;
+}
+/**
+ * Validate and apply every edit block for a single file against its immutable original text.
+ * Rejects the ENTIRE file patch atomically on any failure — matches ADR 010's pure-function
+ * memoization semantics (a proposal either fully applies or fully doesn't).
+ */
+export function applyEditsToFile(originalText, file, edits) {
+    const resolved = [];
+    for (const edit of edits) {
+        const result = resolveEdit(originalText, file, edit);
+        if (!result.ok)
+            return { ok: false, failure: result.failure };
+        resolved.push(result.edit);
+    }
+    // Overlap check across ALL edits in the file (sorted first for a simple adjacent-pair scan).
+    const bySpan = [...resolved].sort((a, b) => a.startOffset - b.startOffset);
+    for (let i = 1; i < bySpan.length; i++) {
+        const prev = bySpan[i - 1];
+        const curr = bySpan[i];
+        if (spansOverlap(prev, curr)) {
+            return {
+                ok: false,
+                failure: { file, reason: 'overlapping-spans', nearestCandidate: contextAround(originalText, curr.startOffset) },
+            };
+        }
+    }
+    // Sort descending by offset and apply sequentially — later edits never shift earlier offsets.
+    const descending = [...resolved].sort((a, b) => b.startOffset - a.startOffset);
+    let content = originalText;
+    for (const edit of descending) {
+        content = content.slice(0, edit.startOffset) + edit.replacement + content.slice(edit.endOffset);
+    }
+    return { ok: true, content, editCount: resolved.length };
+}
+/**
+ * Apply every file's edits in a `FixProposal`. Each file is validated/applied independently and
+ * atomically — one file's failure does not block another file's success, but any single failure
+ * means that ONE file's patch was fully rejected (zero edits from it applied).
+ */
+export function applyFixProposalFiles(originalContents, files, toPath) {
+    return files.map((f) => {
+        const path = toPath(f.path);
+        const original = originalContents.get(path);
+        if (original === undefined) {
+            return { path, ok: false, failure: { file: path, reason: 'zero-matches' } };
+        }
+        const result = applyEditsToFile(original, path, f.edits);
+        return result.ok ? { path, ok: true, content: result.content } : { path, ok: false, failure: result.failure };
+    });
+}
+//# sourceMappingURL=apply.js.map

package/dist/fix/apply.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"apply.js","sourceRoot":"","sources":["../../src/fix/apply.ts"],"names":[],"mappings":"AA6CA,gGAAgG;AAChG,SAAS,kBAAkB,CAAC,IAAY,EAAE,MAAc;IACtD,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,SAAS,CAAC;QACR,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACvC,IAAI,GAAG,KAAK,CAAC,CAAC;YAAE,MAAM;QACtB,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClB,IAAI,GAAG,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,+CAA+C;AAC/C,SAAS,YAAY,CAAC,IAAY,EAAE,MAAc;IAChD,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACnD,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI;YAAE,IAAI,EAAE,CAAC;IAC/B,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAY;IACpC,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;IACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI;YAAE,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,4FAA4F;AAC5F,SAAS,aAAa,CAAC,IAAY,EAAE,YAAoB;IACvD,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACtC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,UAAU,GAAG,YAAY,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,UAAU;IAC/D,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,UAAU,GAAG,CAAC,CAAC,CAAC;IACvD,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,KAAK,IAAI,EAAE,GAAG,SAAS,EAAE,EAAE,IAAI,OAAO,EAAE,EAAE,EAAE,EAAE,CAAC;QAC7C,WAAW,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACpD,CAAC;IACD,KAAK,MAAM,CAAC;IACZ,OAAO,EAAE,gBAAgB,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,CAAC;AACjE,CAAC;AAED,uFAAuF;AACvF,SAAS,8BAA8B,CACrC,IAAY,EACZ,MAAc;IAEd,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC1E,KAAK,MAAM,aAAa,IAAI,WAAW,EAAE,CAAC;QACxC,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;QACxC,IAAI,GAAG,KAAK,CAAC,CAAC;YAAE,OAAO,aAAa,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAUD,SAAS,WAAW,CAAC,IAAY,EAAE,IAAsB,EAAE,IAAe;IACxE,MAAM,OAAO,GAAG,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IAEtD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,gBAAgB,GAAG,8BAA8B,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QAC3E,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EACL,gBAAgB,KAAK,SAAS;gBAC5B,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,cAAc,EAAE;gBAClC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,cAAc,EAAE,gBAAgB,EAAE;SACzD,CAAC;IACJ,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAW,CAAC;QACnC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,WAAW,EAAE,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;IACtH,CAAC;IAED,uFAAuF;IACvF,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAChC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EAAE;gBACP,IAAI;gBACJ,MAAM,EAAE,mBAAmB;gBAC3B,gBAAgB,EAAE,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAW,CAAC;aAC5D;SACF,CAAC;IACJ,CAAC;IAED,IAAI,IAAsD,CAAC;IAC3D,IAAI,GAAG,GAAG,KAAK,CAAC;IAChB,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;QACtE,IAAI,IAAI,KAAK,SAAS,IAAI,QAAQ,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAC;YACnD,IAAI,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;YAC5B,GAAG,GAAG,KAAK,CAAC;QACd,CAAC;aAAM,IAAI,QAAQ,KAAK,IAAI,CAAC,QAAQ,EAAE,CAAC;YACtC,GAAG,GAAG,IAAI,CAAC;QACb,CAAC;IACH,CAAC;IACD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,uFAAuF;QACvF,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAW,CAAC,EAAE;SAC5G,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,EAAE,CAAC;QACR,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE;SACnG,CAAC;IACJ,CAAC;IAED,OAAO;QACL,EAAE,EAAE,IAAI;QACR,IAAI,EAAE,EAAE,WAAW,EAAE,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,WAAW,EAAE,IAAI,CAAC,OAAO,EAAE;KAC3G,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,CAAe,EAAE,CAAe;IACpD,OAAO,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC,SAAS,CAAC;AACpE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,YAAoB,EAAE,IAAsB,EAAE,KAA2B;IACxG,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,WAAW,CAAC,YAAY,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACrD,IAAI,CAAC,MAAM,CAAC,EAAE;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;QAC9D,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC;IAED,6FAA6F;IAC7F,MAAM,MAAM,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC;IAC3E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAiB,CAAC;QAC3C,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAiB,CAAC;QACvC,IAAI,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;YAC7B,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,aAAa,CAAC,YAAY,EAAE,IAAI,CAAC,WAAW,CAAC,EAAE;aAChH,CAAC;QACJ,CAAC;IACH,CAAC;IAED,8FAA8F;IAC9F,MAAM,UAAU,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC;IAC/E,IAAI,OAAO,GAAG,YAAY,CAAC;IAC3B,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,GAAG,IAAI,CAAC,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAClG,CAAC;IAED,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC;AAC3D,CAAC;AAOD;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CACnC,gBAAuD,EACvD,KAAiC,EACjC,MAAyC;IAEzC,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACrB,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC5B,MAAM,QAAQ,GAAG,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,cAAuB,EAAE,EAAE,CAAC;QACvF,CAAC;QACD,MAAM,MAAM,GAAG,gBAAgB,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;QACzD,OAAO,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,CAAC;IAChH,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/fix/index.d.ts

@@ -0,0 +1,3 @@
+export * from './schema.js';
+export * from './apply.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/fix/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/fix/index.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAC;AAC5B,cAAc,YAAY,CAAC"}

package/dist/fix/index.js

@@ -0,0 +1,3 @@
+export * from './schema.js';
+export * from './apply.js';
+//# sourceMappingURL=index.js.map

package/dist/fix/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/fix/index.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAC;AAC5B,cAAc,YAAY,CAAC"}

package/dist/fix/schema.d.ts

@@ -0,0 +1,180 @@
+/**
+ * Edit-block apply pipeline — schema half (ADR 010).
+ *
+ * `FixProposal` is the zod-validated shape an LLM `FixProvider` (Stage 4, `@spikedpunch/align-agent`) must
+ * emit: search/replace edit blocks, never full files, never line-number diffs. This module has
+ * zero LLM-client dependencies — it is just a zod IR, validated the same way any other IR in
+ * `@spikedpunch/align-core` is validated (parse-don't-validate, CODING_BEST_PRACTICES.md §12). The engine
+ * that applies a validated `FixProposal` lives in `./apply.js`.
+ */
+import { z } from 'zod';
+export declare const editBlockSchema: z.ZodObject<{
+    /** Exact, continuous block present in the file — literal character-for-character match. */
+    search: z.ZodString;
+    /** Replacement text. Empty string means deletion. */
+    replace: z.ZodString;
+    /** Disambiguation hint for the engine only — never injected into file content. */
+    nearLine: z.ZodOptional<z.ZodNumber>;
+    /** Violation ids this edit addresses (VERIFY attribution / REPAIR context). */
+    forViolations: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+}, "strip", z.ZodTypeAny, {
+    search: string;
+    replace: string;
+    nearLine?: number | undefined;
+    forViolations?: string[] | undefined;
+}, {
+    search: string;
+    replace: string;
+    nearLine?: number | undefined;
+    forViolations?: string[] | undefined;
+}>;
+export type EditBlock = z.infer<typeof editBlockSchema>;
+export declare const fixProposalFileSchema: z.ZodObject<{
+    path: z.ZodString;
+    edits: z.ZodArray<z.ZodObject<{
+        /** Exact, continuous block present in the file — literal character-for-character match. */
+        search: z.ZodString;
+        /** Replacement text. Empty string means deletion. */
+        replace: z.ZodString;
+        /** Disambiguation hint for the engine only — never injected into file content. */
+        nearLine: z.ZodOptional<z.ZodNumber>;
+        /** Violation ids this edit addresses (VERIFY attribution / REPAIR context). */
+        forViolations: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    }, "strip", z.ZodTypeAny, {
+        search: string;
+        replace: string;
+        nearLine?: number | undefined;
+        forViolations?: string[] | undefined;
+    }, {
+        search: string;
+        replace: string;
+        nearLine?: number | undefined;
+        forViolations?: string[] | undefined;
+    }>, "many">;
+}, "strip", z.ZodTypeAny, {
+    path: string;
+    edits: {
+        search: string;
+        replace: string;
+        nearLine?: number | undefined;
+        forViolations?: string[] | undefined;
+    }[];
+}, {
+    path: string;
+    edits: {
+        search: string;
+        replace: string;
+        nearLine?: number | undefined;
+        forViolations?: string[] | undefined;
+    }[];
+}>;
+export type FixProposalFile = z.infer<typeof fixProposalFileSchema>;
+export declare const suppressionSchema: z.ZodObject<{
+    ruleId: z.ZodString;
+    file: z.ZodString;
+    line: z.ZodNumber;
+}, "strip", z.ZodTypeAny, {
+    file: string;
+    line: number;
+    ruleId: string;
+}, {
+    file: string;
+    line: number;
+    ruleId: string;
+}>;
+export type Suppression = z.infer<typeof suppressionSchema>;
+export declare const fixProposalSchema: z.ZodObject<{
+    files: z.ZodArray<z.ZodObject<{
+        path: z.ZodString;
+        edits: z.ZodArray<z.ZodObject<{
+            /** Exact, continuous block present in the file — literal character-for-character match. */
+            search: z.ZodString;
+            /** Replacement text. Empty string means deletion. */
+            replace: z.ZodString;
+            /** Disambiguation hint for the engine only — never injected into file content. */
+            nearLine: z.ZodOptional<z.ZodNumber>;
+            /** Violation ids this edit addresses (VERIFY attribution / REPAIR context). */
+            forViolations: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        }, "strip", z.ZodTypeAny, {
+            search: string;
+            replace: string;
+            nearLine?: number | undefined;
+            forViolations?: string[] | undefined;
+        }, {
+            search: string;
+            replace: string;
+            nearLine?: number | undefined;
+            forViolations?: string[] | undefined;
+        }>, "many">;
+    }, "strip", z.ZodTypeAny, {
+        path: string;
+        edits: {
+            search: string;
+            replace: string;
+            nearLine?: number | undefined;
+            forViolations?: string[] | undefined;
+        }[];
+    }, {
+        path: string;
+        edits: {
+            search: string;
+            replace: string;
+            nearLine?: number | undefined;
+            forViolations?: string[] | undefined;
+        }[];
+    }>, "many">;
+    /**
+     * Accepted and validated per ADR 010, but dormant in arch-first v1: no lint gates exist yet,
+     * so no rule category is suppressible. Any proposal that *uses* this field is rejected by the
+     * apply pipeline with "no suppressible rule categories active" — see `apply.ts`.
+     */
+    suppressions: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        ruleId: z.ZodString;
+        file: z.ZodString;
+        line: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+        file: string;
+        line: number;
+        ruleId: string;
+    }, {
+        file: string;
+        line: number;
+        ruleId: string;
+    }>, "many">>;
+    /** Short rationale — becomes the git commit body. */
+    rationale: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    files: {
+        path: string;
+        edits: {
+            search: string;
+            replace: string;
+            nearLine?: number | undefined;
+            forViolations?: string[] | undefined;
+        }[];
+    }[];
+    rationale: string;
+    suppressions?: {
+        file: string;
+        line: number;
+        ruleId: string;
+    }[] | undefined;
+}, {
+    files: {
+        path: string;
+        edits: {
+            search: string;
+            replace: string;
+            nearLine?: number | undefined;
+            forViolations?: string[] | undefined;
+        }[];
+    }[];
+    rationale: string;
+    suppressions?: {
+        file: string;
+        line: number;
+        ruleId: string;
+    }[] | undefined;
+}>;
+export type FixProposal = z.infer<typeof fixProposalSchema>;
+//# sourceMappingURL=schema.d.ts.map

package/dist/fix/schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../src/fix/schema.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,eAAO,MAAM,eAAe;IAC1B,2FAA2F;;IAE3F,qDAAqD;;IAErD,kFAAkF;;IAElF,+EAA+E;;;;;;;;;;;;EAE/E,CAAC;AACH,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAExD,eAAO,MAAM,qBAAqB;;;QAXhC,2FAA2F;;QAE3F,qDAAqD;;QAErD,kFAAkF;;QAElF,+EAA+E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAQ/E,CAAC;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAEpE,eAAO,MAAM,iBAAiB;;;;;;;;;;;;EAI5B,CAAC;AACH,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAE5D,eAAO,MAAM,iBAAiB;;;;YAxB5B,2FAA2F;;YAE3F,qDAAqD;;YAErD,kFAAkF;;YAElF,+EAA+E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAoB/E;;;;OAIG;;;;;;;;;;;;;;IAEH,qDAAqD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAErD,CAAC;AACH,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC"}