@spikedpunch/align-core 0.1.0

package/dist/build/hash.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hash.d.ts","sourceRoot":"","sources":["../../src/build/hash.ts"],"names":[],"mappings":"AAEA;;;;;;;GAOG;AACH,wBAAgB,SAAS,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAEjD"}

package/dist/build/hash.js

@@ -0,0 +1,13 @@
+import { createHash } from 'node:crypto';
+/**
+ * Generic content hash (hex, truncated to 16 chars — matches `computeFingerprint`'s length so
+ * every content-addressed id in the system reads the same length). Used for markdown section
+ * hashes (lockfile drift detection) and the generated-rules.json divergence hash — deliberately
+ * NOT the same function as `computeFingerprint` (baseline/fingerprint.ts), which is a violation
+ * fingerprint with its own semantics; this is a plain content hash with no domain meaning beyond
+ * "did these bytes change."
+ */
+export function sha256Hex(content) {
+    return createHash('sha256').update(content, 'utf8').digest('hex').slice(0, 16);
+}
+//# sourceMappingURL=hash.js.map

package/dist/build/hash.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hash.js","sourceRoot":"","sources":["../../src/build/hash.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC;;;;;;;GAOG;AACH,MAAM,UAAU,SAAS,CAAC,OAAe;IACvC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AACjF,CAAC"}

package/dist/build/impact.d.ts

@@ -0,0 +1,20 @@
+import type { BaselineEntry } from '../baseline/store.js';
+import type { Violation } from '../types/violation.js';
+export interface ImpactDelta {
+    /** Violations the proposed ruleset produces that the current effective ruleset does not, and
+     * that aren't already tolerated by the baseline — "adds N new violations" (ADR 011). */
+    readonly addedNew: readonly Violation[];
+    /** Baseline entries whose violation the current effective ruleset produces but the proposed one
+     * does not (the rule that used to catch it is gone or narrowed) — "masks M baselined" (ADR 011):
+     * the debt doesn't get *fixed*, it stops being *evaluated*, which is worth flagging separately
+     * from a genuine fix. */
+    readonly maskedBaselined: readonly BaselineEntry[];
+}
+/**
+ * Compiles the proposed ruleset's impact relative to the current one (ADR 011's build-gate
+ * default: "adds N new violations / masks M baselined"). Pure — both violation sets are supplied
+ * by the caller (one fresh scan, evaluated twice against two rule sets — see
+ * `packages/cli/src/commands/build.ts`), so this function does no scanning itself.
+ */
+export declare function computeImpactDelta(currentViolations: readonly Violation[], proposedViolations: readonly Violation[], baselineEntries: readonly BaselineEntry[]): ImpactDelta;
+//# sourceMappingURL=impact.d.ts.map

package/dist/build/impact.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"impact.d.ts","sourceRoot":"","sources":["../../src/build/impact.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAEvD,MAAM,WAAW,WAAW;IAC1B;4FACwF;IACxF,QAAQ,CAAC,QAAQ,EAAE,SAAS,SAAS,EAAE,CAAC;IACxC;;;6BAGyB;IACzB,QAAQ,CAAC,eAAe,EAAE,SAAS,aAAa,EAAE,CAAC;CACpD;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAChC,iBAAiB,EAAE,SAAS,SAAS,EAAE,EACvC,kBAAkB,EAAE,SAAS,SAAS,EAAE,EACxC,eAAe,EAAE,SAAS,aAAa,EAAE,GACxC,WAAW,CASb"}

package/dist/build/impact.js

@@ -0,0 +1,15 @@
+/**
+ * Compiles the proposed ruleset's impact relative to the current one (ADR 011's build-gate
+ * default: "adds N new violations / masks M baselined"). Pure — both violation sets are supplied
+ * by the caller (one fresh scan, evaluated twice against two rule sets — see
+ * `packages/cli/src/commands/build.ts`), so this function does no scanning itself.
+ */
+export function computeImpactDelta(currentViolations, proposedViolations, baselineEntries) {
+    const currentIds = new Set(currentViolations.map((v) => v.id));
+    const proposedIds = new Set(proposedViolations.map((v) => v.id));
+    const baselinedIds = new Set(baselineEntries.map((e) => e.fingerprint));
+    const addedNew = proposedViolations.filter((v) => !currentIds.has(v.id) && !baselinedIds.has(v.id));
+    const maskedBaselined = baselineEntries.filter((e) => currentIds.has(e.fingerprint) && !proposedIds.has(e.fingerprint));
+    return { addedNew, maskedBaselined };
+}
+//# sourceMappingURL=impact.js.map

package/dist/build/impact.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"impact.js","sourceRoot":"","sources":["../../src/build/impact.ts"],"names":[],"mappings":"AAcA;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAChC,iBAAuC,EACvC,kBAAwC,EACxC,eAAyC;IAEzC,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/D,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACjE,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;IAExE,MAAM,QAAQ,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACpG,MAAM,eAAe,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;IAExH,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,CAAC;AACvC,CAAC"}

package/dist/build/index.d.ts

@@ -0,0 +1,14 @@
+export * from './hash.js';
+export * from './sections.js';
+export * from './schema.js';
+export * from './provenance.js';
+export * from './ground.js';
+export * from './tier1.js';
+export * from './tier2.js';
+export * from './propose.js';
+export * from './diff.js';
+export * from './impact.js';
+export * from './merge.js';
+export * from './types.js';
+export * from './export-ir.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/build/index.ts"],"names":[],"mappings":"AAAA,cAAc,WAAW,CAAC;AAC1B,cAAc,eAAe,CAAC;AAC9B,cAAc,aAAa,CAAC;AAC5B,cAAc,iBAAiB,CAAC;AAChC,cAAc,aAAa,CAAC;AAC5B,cAAc,YAAY,CAAC;AAC3B,cAAc,YAAY,CAAC;AAC3B,cAAc,cAAc,CAAC;AAC7B,cAAc,WAAW,CAAC;AAC1B,cAAc,aAAa,CAAC;AAC5B,cAAc,YAAY,CAAC;AAC3B,cAAc,YAAY,CAAC;AAC3B,cAAc,gBAAgB,CAAC"}

package/dist/build/index.js

@@ -0,0 +1,14 @@
+export * from './hash.js';
+export * from './sections.js';
+export * from './schema.js';
+export * from './provenance.js';
+export * from './ground.js';
+export * from './tier1.js';
+export * from './tier2.js';
+export * from './propose.js';
+export * from './diff.js';
+export * from './impact.js';
+export * from './merge.js';
+export * from './types.js';
+export * from './export-ir.js';
+//# sourceMappingURL=index.js.map

package/dist/build/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/build/index.ts"],"names":[],"mappings":"AAAA,cAAc,WAAW,CAAC;AAC1B,cAAc,eAAe,CAAC;AAC9B,cAAc,aAAa,CAAC;AAC5B,cAAc,iBAAiB,CAAC;AAChC,cAAc,aAAa,CAAC;AAC5B,cAAc,YAAY,CAAC;AAC3B,cAAc,YAAY,CAAC;AAC3B,cAAc,cAAc,CAAC;AAC7B,cAAc,WAAW,CAAC;AAC1B,cAAc,aAAa,CAAC;AAC5B,cAAc,YAAY,CAAC;AAC3B,cAAc,YAAY,CAAC;AAC3B,cAAc,gBAAgB,CAAC"}

package/dist/build/merge.d.ts

@@ -0,0 +1,27 @@
+import type { RuleIR } from '../types/ir.js';
+/** Thrown when a hand-authored (`align.config.ts`) rule and a doc-generated rule share an id but
+ * disagree on structural content — a fail-fast config-load error (CODING_BEST_PRACTICES.md §21),
+ * never a silent pick-one. */
+export declare class GeneratedRuleCollisionError extends Error {
+    readonly ruleId: string;
+    constructor(ruleId: string, baseRule: RuleIR, generatedRule: RuleIR);
+}
+/**
+ * The config-integration mechanism for `align build` (ADR 011): merges `.align/generated-rules.json`
+ * into the hand-authored `align.config.ts` ruleset's rule list. Called by the CLI's config loader
+ * (`packages/cli/src/config.ts`) — never by `defineProject` itself, which stays fs-free (core's
+ * pure/no-I/O discipline, CODING_BEST_PRACTICES.md §14/15). This is the "least magical" of the
+ * options ADR 011 named (an explicit `withGeneratedRules()` call in every `align.config.ts` vs. an
+ * automatic merge at the loader boundary): every existing surface (`check`, `doctor`, `mcp`,
+ * `build` itself) picks up generated rules for free, with zero required edits to a human-authored
+ * file — "nothing machine-written lives inside a human-edited file" (ADR 011) extends to not even
+ * requiring an *import statement* referencing the machine-written file.
+ *
+ * Collision policy: an id present in both lists must be structurally identical (same `kind` and
+ * selectors) or this throws `GeneratedRuleCollisionError`. When identical, the generated rule's
+ * richer provenance (`sourceFile`/`sourceLineRange`/`sourceQuote`) is merged onto the surviving
+ * rule so its violations still quote the doc; a hand-authored `.because()` is preserved by
+ * prefixing it onto the generated "Enforced by ..." phrase rather than being discarded.
+ */
+export declare function mergeGeneratedRules(baseRules: readonly RuleIR[], generatedRules: readonly RuleIR[]): readonly RuleIR[];
+//# sourceMappingURL=merge.d.ts.map

package/dist/build/merge.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"merge.d.ts","sourceRoot":"","sources":["../../src/build/merge.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,gBAAgB,CAAC;AAE7C;;8BAE8B;AAC9B,qBAAa,2BAA4B,SAAQ,KAAK;aAElC,MAAM,EAAE,MAAM;gBAAd,MAAM,EAAE,MAAM,EAC9B,QAAQ,EAAE,MAAM,EAChB,aAAa,EAAE,MAAM;CASxB;AA2BD;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,mBAAmB,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,EAAE,cAAc,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,MAAM,EAAE,CAkCtH"}

package/dist/build/merge.js

@@ -0,0 +1,85 @@
+/** Thrown when a hand-authored (`align.config.ts`) rule and a doc-generated rule share an id but
+ * disagree on structural content — a fail-fast config-load error (CODING_BEST_PRACTICES.md §21),
+ * never a silent pick-one. */
+export class GeneratedRuleCollisionError extends Error {
+    ruleId;
+    constructor(ruleId, baseRule, generatedRule) {
+        super(`Rule id '${ruleId}' is defined both in align.config.ts and in .align/generated-rules.json ` +
+            `with different content. Rename one of them, or make the two definitions agree. ` +
+            `config: ${JSON.stringify(stripProvenance(baseRule))} vs generated: ${JSON.stringify(stripProvenance(generatedRule))}`);
+        this.ruleId = ruleId;
+        this.name = 'GeneratedRuleCollisionError';
+    }
+}
+function stripProvenance(r) {
+    const { provenance: _provenance, ...rest } = r;
+    return rest;
+}
+/** Sorted-key JSON serialization (same technique as `diff.ts`'s `canonical`) — comparison must not
+ * depend on incidental object property insertion order between a DSL-constructed rule and a
+ * ground.ts-constructed one. */
+function canonical(value) {
+    return JSON.stringify(value, (_key, val) => {
+        if (val !== null && typeof val === 'object' && !Array.isArray(val)) {
+            const sorted = {};
+            for (const key of Object.keys(val).sort()) {
+                sorted[key] = val[key];
+            }
+            return sorted;
+        }
+        return val;
+    });
+}
+function structurallyEqual(a, b) {
+    return canonical(stripProvenance(a)) === canonical(stripProvenance(b));
+}
+/**
+ * The config-integration mechanism for `align build` (ADR 011): merges `.align/generated-rules.json`
+ * into the hand-authored `align.config.ts` ruleset's rule list. Called by the CLI's config loader
+ * (`packages/cli/src/config.ts`) — never by `defineProject` itself, which stays fs-free (core's
+ * pure/no-I/O discipline, CODING_BEST_PRACTICES.md §14/15). This is the "least magical" of the
+ * options ADR 011 named (an explicit `withGeneratedRules()` call in every `align.config.ts` vs. an
+ * automatic merge at the loader boundary): every existing surface (`check`, `doctor`, `mcp`,
+ * `build` itself) picks up generated rules for free, with zero required edits to a human-authored
+ * file — "nothing machine-written lives inside a human-edited file" (ADR 011) extends to not even
+ * requiring an *import statement* referencing the machine-written file.
+ *
+ * Collision policy: an id present in both lists must be structurally identical (same `kind` and
+ * selectors) or this throws `GeneratedRuleCollisionError`. When identical, the generated rule's
+ * richer provenance (`sourceFile`/`sourceLineRange`/`sourceQuote`) is merged onto the surviving
+ * rule so its violations still quote the doc; a hand-authored `.because()` is preserved by
+ * prefixing it onto the generated "Enforced by ..." phrase rather than being discarded.
+ */
+export function mergeGeneratedRules(baseRules, generatedRules) {
+    const baseById = new Map(baseRules.map((r) => [r.id, r]));
+    const merged = [];
+    const consumedBaseIds = new Set();
+    for (const generated of generatedRules) {
+        const base = baseById.get(generated.id);
+        if (base === undefined) {
+            merged.push(generated);
+            continue;
+        }
+        if (!structurallyEqual(base, generated)) {
+            throw new GeneratedRuleCollisionError(generated.id, base, generated);
+        }
+        consumedBaseIds.add(base.id);
+        const baseBecause = base.provenance.because;
+        const generatedBecause = generated.provenance.because;
+        const because = baseBecause === undefined
+            ? generatedBecause
+            : generatedBecause === undefined
+                ? baseBecause
+                : `${baseBecause} ${generatedBecause}`;
+        merged.push({
+            ...generated,
+            provenance: { ...generated.provenance, ...(because === undefined ? {} : { because }) },
+        });
+    }
+    for (const base of baseRules) {
+        if (!consumedBaseIds.has(base.id))
+            merged.push(base);
+    }
+    return merged;
+}
+//# sourceMappingURL=merge.js.map

package/dist/build/merge.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"merge.js","sourceRoot":"","sources":["../../src/build/merge.ts"],"names":[],"mappings":"AAEA;;8BAE8B;AAC9B,MAAM,OAAO,2BAA4B,SAAQ,KAAK;IAElC;IADlB,YACkB,MAAc,EAC9B,QAAgB,EAChB,aAAqB;QAErB,KAAK,CACH,YAAY,MAAM,0EAA0E;YAC1F,iFAAiF;YACjF,WAAW,IAAI,CAAC,SAAS,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,kBAAkB,IAAI,CAAC,SAAS,CAAC,eAAe,CAAC,aAAa,CAAC,CAAC,EAAE,CACzH,CAAC;QARc,WAAM,GAAN,MAAM,CAAQ;QAS9B,IAAI,CAAC,IAAI,GAAG,6BAA6B,CAAC;IAC5C,CAAC;CACF;AAED,SAAS,eAAe,CAAC,CAAS;IAChC,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC;IAC/C,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;gCAEgC;AAChC,SAAS,SAAS,CAAC,KAAc;IAC/B,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,IAAI,EAAE,GAAY,EAAE,EAAE;QAClD,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YACnE,MAAM,MAAM,GAA4B,EAAE,CAAC;YAC3C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,GAA8B,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;gBACrE,MAAM,CAAC,GAAG,CAAC,GAAI,GAA+B,CAAC,GAAG,CAAC,CAAC;YACtD,CAAC;YACD,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,iBAAiB,CAAC,CAAS,EAAE,CAAS;IAC7C,OAAO,SAAS,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC;AACzE,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,mBAAmB,CAAC,SAA4B,EAAE,cAAiC;IACjG,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1D,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAE1C,KAAK,MAAM,SAAS,IAAI,cAAc,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACxC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACvB,SAAS;QACX,CAAC;QACD,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC;YACxC,MAAM,IAAI,2BAA2B,CAAC,SAAS,CAAC,EAAE,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;QACvE,CAAC;QACD,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7B,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;QAC5C,MAAM,gBAAgB,GAAG,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC;QACtD,MAAM,OAAO,GACX,WAAW,KAAK,SAAS;YACvB,CAAC,CAAC,gBAAgB;YAClB,CAAC,CAAC,gBAAgB,KAAK,SAAS;gBAC9B,CAAC,CAAC,WAAW;gBACb,CAAC,CAAC,GAAG,WAAW,IAAI,gBAAgB,EAAE,CAAC;QAC7C,MAAM,CAAC,IAAI,CAAC;YACV,GAAG,SAAS;YACZ,UAAU,EAAE,EAAE,GAAG,SAAS,CAAC,UAAU,EAAE,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE;SAC7E,CAAC,CAAC;IACf,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;QAC7B,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvD,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/build/propose.d.ts

@@ -0,0 +1,16 @@
+import { type ComponentName, type RepoRelativePath } from '../types/branded.js';
+import type { ComponentDefinitionIR } from '../types/ir.js';
+import type { BuildProposal } from './types.js';
+/**
+ * Extracts, grounds, and deduplicates rule proposals from an architecture/best-practices markdown
+ * doc (ADR 011's precision ladder, tiers 1+2 — this stage's CLI path is zero-LLM; tier 3 prose
+ * surfaces as a `proseSections` scaffold, never compiled here). Pure — no I/O, no LLM.
+ *
+ * Rule ids are content-addressed (derived from `kind` + the rule's own selectors, the same scheme
+ * `dsl/index.ts` uses — see `ground.ts`), which is what makes ADR 011's rule-level diff
+ * minimization trivial: an IR-identical re-proposal always produces the same id, so a caller
+ * diffing this function's output against a previous run's `rules` array sees an empty diff for
+ * anything that didn't structurally change, with zero stateful bookkeeping.
+ */
+export declare function proposeRulesFromDoc(docText: string, docPath: RepoRelativePath, components: Readonly<Record<ComponentName, ComponentDefinitionIR>>, registeredHostPredicates?: ReadonlySet<string>): BuildProposal;
+//# sourceMappingURL=propose.d.ts.map

package/dist/build/propose.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"propose.d.ts","sourceRoot":"","sources":["../../src/build/propose.ts"],"names":[],"mappings":"AAAA,OAAO,EAAsB,KAAK,aAAa,EAAE,KAAK,gBAAgB,EAAe,MAAM,qBAAqB,CAAC;AACjH,OAAO,KAAK,EAAE,qBAAqB,EAAU,MAAM,gBAAgB,CAAC;AAKpE,OAAO,KAAK,EAAE,aAAa,EAA6E,MAAM,YAAY,CAAC;AAkB3H;;;;;;;;;;GAUG;AACH,wBAAgB,mBAAmB,CACjC,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,gBAAgB,EACzB,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,aAAa,EAAE,qBAAqB,CAAC,CAAC,EAClE,wBAAwB,GAAE,WAAW,CAAC,MAAM,CAAa,GACxD,aAAa,CA+Ff"}

package/dist/build/propose.js

@@ -0,0 +1,126 @@
+import { toRepoRelativePath } from '../types/branded.js';
+import { parseMarkdownDoc } from './sections.js';
+import { extractFencedAlignBlocks } from './tier1.js';
+import { extractStructuredBullets } from './tier2.js';
+import { groundFragment } from './ground.js';
+/** Structural equality for conflict detection — everything except `id` (which two candidates
+ * sharing a group already share by definition) and `provenance` (which legitimately differs by
+ * source location even for the same semantic rule). */
+function structurallyEqual(a, b) {
+    const strip = (r) => {
+        const { provenance: _provenance, ...rest } = r;
+        return rest;
+    };
+    return JSON.stringify(strip(a)) === JSON.stringify(strip(b));
+}
+/**
+ * Extracts, grounds, and deduplicates rule proposals from an architecture/best-practices markdown
+ * doc (ADR 011's precision ladder, tiers 1+2 — this stage's CLI path is zero-LLM; tier 3 prose
+ * surfaces as a `proseSections` scaffold, never compiled here). Pure — no I/O, no LLM.
+ *
+ * Rule ids are content-addressed (derived from `kind` + the rule's own selectors, the same scheme
+ * `dsl/index.ts` uses — see `ground.ts`), which is what makes ADR 011's rule-level diff
+ * minimization trivial: an IR-identical re-proposal always produces the same id, so a caller
+ * diffing this function's output against a previous run's `rules` array sees an empty diff for
+ * anything that didn't structurally change, with zero stateful bookkeeping.
+ */
+export function proposeRulesFromDoc(docText, docPath, components, registeredHostPredicates = new Set()) {
+    const { lines, sections } = parseMarkdownDoc(docText);
+    const flagged = [];
+    const proseSections = [];
+    const candidates = [];
+    const sectionMeta = [];
+    for (const section of sections) {
+        const tier1 = extractFencedAlignBlocks(lines, section, docPath);
+        const tier2 = extractStructuredBullets(lines, section, docPath);
+        flagged.push(...tier1.errors, ...tier2.errors);
+        for (const f of tier1.fragments) {
+            const result = groundFragment(f.fragment, section.anchor, docPath, f.sourceLineRange, f.sourceQuote, components, registeredHostPredicates);
+            if (result.ok)
+                candidates.push({ sectionAnchor: section.anchor, rule: result.rule });
+            else
+                flagged.push(result.flagged);
+        }
+        for (const b of tier2.bullets) {
+            const result = groundFragment(b.fragment, section.anchor, docPath, b.sourceLineRange, b.sourceQuote, components, registeredHostPredicates);
+            if (result.ok)
+                candidates.push({ sectionAnchor: section.anchor, rule: result.rule });
+            else
+                flagged.push(result.flagged);
+        }
+        let tier;
+        if (tier1.fragments.length > 0 || tier1.errors.length > 0)
+            tier = 'verbatim';
+        else if (tier2.bullets.length > 0 || tier2.errors.length > 0)
+            tier = 'bullet';
+        else if (section.bodyText.trim().length > 0)
+            tier = 'prose';
+        else
+            tier = 'empty';
+        if (tier === 'prose') {
+            proseSections.push({
+                anchor: section.anchor,
+                headingText: section.headingText,
+                startLine: section.startLine,
+                endLine: section.endLine,
+                concerns: [],
+            });
+        }
+        sectionMeta.push({
+            anchor: section.anchor,
+            headingText: section.headingText,
+            startLine: section.startLine,
+            endLine: section.endLine,
+            contentHash: section.contentHash,
+            tier,
+        });
+    }
+    // Resolve id collisions: candidates sharing an id are either the same rule proposed from
+    // multiple places (fine — keep the earliest by document order) or a genuine disagreement
+    // (different `includeTypeOnly`/`canDependOn` for the same scope/layer) — flag every candidate in
+    // a disagreeing group rather than silently picking a winner (ADR 011: never silently written).
+    const byId = new Map();
+    for (const c of candidates) {
+        const list = byId.get(c.rule.id);
+        if (list === undefined)
+            byId.set(c.rule.id, [c]);
+        else
+            list.push(c);
+    }
+    const finalRules = [];
+    const finalRuleIdsBySection = new Map();
+    const recordRuleId = (anchor, id) => {
+        const list = finalRuleIdsBySection.get(anchor);
+        if (list === undefined)
+            finalRuleIdsBySection.set(anchor, [id]);
+        else
+            list.push(id);
+    };
+    for (const [id, group] of byId) {
+        const first = group[0];
+        if (first === undefined)
+            continue;
+        const allEqual = group.every((c) => structurallyEqual(c.rule, first.rule));
+        if (allEqual) {
+            finalRules.push(first.rule);
+            recordRuleId(first.sectionAnchor, first.rule.id);
+            continue;
+        }
+        for (const c of group) {
+            flagged.push({
+                section: c.sectionAnchor,
+                sourceFile: c.rule.provenance.sourceFile === undefined ? docPath : toRepoRelativePath(c.rule.provenance.sourceFile),
+                sourceLineRange: c.rule.provenance.sourceLineRange ?? { startLine: 1, endLine: 1 },
+                sourceQuote: c.rule.provenance.sourceQuote ?? '',
+                reason: 'conflicting-rule-id',
+                detail: `Rule id '${id}' was proposed with disagreeing content across sections — resolve the conflict in the doc before building.`,
+            });
+        }
+    }
+    const sectionsOut = sectionMeta.map((s) => ({
+        ...s,
+        ruleIds: [...new Set(finalRuleIdsBySection.get(s.anchor) ?? [])],
+    }));
+    return { sections: sectionsOut, rules: finalRules, flagged, proseSections };
+}
+//# sourceMappingURL=propose.js.map

package/dist/build/propose.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"propose.js","sourceRoot":"","sources":["../../src/build/propose.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAA0D,MAAM,qBAAqB,CAAC;AAEjH,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAC;AACtD,OAAO,EAAE,wBAAwB,EAAE,MAAM,YAAY,CAAC;AACtD,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAQ7C;;uDAEuD;AACvD,SAAS,iBAAiB,CAAC,CAAS,EAAE,CAAS;IAC7C,MAAM,KAAK,GAAG,CAAC,CAAS,EAAW,EAAE;QACnC,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC;QAC/C,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AAC/D,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,mBAAmB,CACjC,OAAe,EACf,OAAyB,EACzB,UAAkE,EAClE,2BAAgD,IAAI,GAAG,EAAE;IAEzD,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;IACtD,MAAM,OAAO,GAAsB,EAAE,CAAC;IACtC,MAAM,aAAa,GAA2B,EAAE,CAAC;IACjD,MAAM,UAAU,GAAgB,EAAE,CAAC;IACnC,MAAM,WAAW,GAAgL,EAAE,CAAC;IAEpM,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,wBAAwB,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;QAChE,MAAM,KAAK,GAAG,wBAAwB,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;QAChE,OAAO,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;QAE/C,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;YAChC,MAAM,MAAM,GAAG,cAAc,CAAC,CAAC,CAAC,QAAQ,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,eAAe,EAAE,CAAC,CAAC,WAAW,EAAE,UAAU,EAAE,wBAAwB,CAAC,CAAC;YAC3I,IAAI,MAAM,CAAC,EAAE;gBAAE,UAAU,CAAC,IAAI,CAAC,EAAE,aAAa,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;;gBAChF,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACpC,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YAC9B,MAAM,MAAM,GAAG,cAAc,CAAC,CAAC,CAAC,QAAQ,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,eAAe,EAAE,CAAC,CAAC,WAAW,EAAE,UAAU,EAAE,wBAAwB,CAAC,CAAC;YAC3I,IAAI,MAAM,CAAC,EAAE;gBAAE,UAAU,CAAC,IAAI,CAAC,EAAE,aAAa,EAAE,OAAO,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;;gBAChF,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACpC,CAAC;QAED,IAAI,IAAiB,CAAC;QACtB,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,IAAI,GAAG,UAAU,CAAC;aACxE,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,IAAI,GAAG,QAAQ,CAAC;aACzE,IAAI,OAAO,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;YAAE,IAAI,GAAG,OAAO,CAAC;;YACvD,IAAI,GAAG,OAAO,CAAC;QAEpB,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;YACrB,aAAa,CAAC,IAAI,CAAC;gBACjB,MAAM,EAAE,OAAO,CAAC,MAAM;gBACtB,WAAW,EAAE,OAAO,CAAC,WAAW;gBAChC,SAAS,EAAE,OAAO,CAAC,SAAS;gBAC5B,OAAO,EAAE,OAAO,CAAC,OAAO;gBACxB,QAAQ,EAAE,EAAE;aACb,CAAC,CAAC;QACL,CAAC;QAED,WAAW,CAAC,IAAI,CAAC;YACf,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,IAAI;SACL,CAAC,CAAC;IACL,CAAC;IAED,yFAAyF;IACzF,yFAAyF;IACzF,iGAAiG;IACjG,+FAA+F;IAC/F,MAAM,IAAI,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC5C,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjC,IAAI,IAAI,KAAK,SAAS;YAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;;YAC5C,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC;IAED,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,MAAM,qBAAqB,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC1D,MAAM,YAAY,GAAG,CAAC,MAAc,EAAE,EAAU,EAAQ,EAAE;QACxD,MAAM,IAAI,GAAG,qBAAqB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAC/C,IAAI,IAAI,KAAK,SAAS;YAAE,qBAAqB,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;;YAC3D,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrB,CAAC,CAAC;IAEF,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACvB,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAClC,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3E,IAAI,QAAQ,EAAE,CAAC;YACb,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC5B,YAAY,CAAC,KAAK,CAAC,aAAa,EAAE,KAAK,CAAC,IAAI,CAAC,EAAY,CAAC,CAAC;YAC3D,SAAS;QACX,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,OAAO,CAAC,IAAI,CAAC;gBACX,OAAO,EAAE,CAAC,CAAC,aAAa;gBACxB,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC;gBACnH,eAAe,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,eAAe,IAAI,EAAE,SAAS,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE;gBAClF,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,WAAW,IAAI,EAAE;gBAChD,MAAM,EAAE,qBAAqB;gBAC7B,MAAM,EAAE,YAAY,EAAE,4GAA4G;aACnI,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,WAAW,GAA4B,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACnE,GAAG,CAAC;QACJ,OAAO,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;KACjE,CAAC,CAAC,CAAC;IAEJ,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,aAAa,EAAE,CAAC;AAC9E,CAAC"}

package/dist/build/provenance.d.ts

@@ -0,0 +1,19 @@
+import type { RepoRelativePath } from '../types/branded.js';
+import type { RuleProvenance } from '../types/ir.js';
+import type { SourceRange } from '../types/violation.js';
+/**
+ * Renders the "Enforced by <file>:<lines>: '<quote>'" phrase every doc-built violation message
+ * carries (ADR 011's acceptance criterion, `IMPLEMENTATION_PLAN.md` Stage 4 goal text). Single
+ * line ranges render as `N`, not `N-N`.
+ */
+export declare function renderEnforcedBy(sourceFile: RepoRelativePath, range: SourceRange, quote: string): string;
+/**
+ * Builds a doc-built rule's `RuleProvenance` block (ADR 011, `docs/ir-schema.md`). `.because()`
+ * and `sourceQuote` converge on the same terminal-output field (ADR 011 Consequences) — `because`
+ * is auto-populated from the "Enforced by..." phrase; an author-supplied override (a tier-1
+ * fragment's `because` field, or a hand-written `.because()` on a rule align build later merges
+ * with — see `merge.ts`) is prepended rather than replacing it, so provenance is never silently
+ * lost.
+ */
+export declare function buildProvenance(sourceFile: RepoRelativePath, sourceLineRange: SourceRange, sourceQuote: string, authorBecause?: string): RuleProvenance;
+//# sourceMappingURL=provenance.d.ts.map

package/dist/build/provenance.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"provenance.d.ts","sourceRoot":"","sources":["../../src/build/provenance.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AACrD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAEzD;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,gBAAgB,EAAE,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAGxG;AAED;;;;;;;GAOG;AACH,wBAAgB,eAAe,CAC7B,UAAU,EAAE,gBAAgB,EAC5B,eAAe,EAAE,WAAW,EAC5B,WAAW,EAAE,MAAM,EACnB,aAAa,CAAC,EAAE,MAAM,GACrB,cAAc,CAIhB"}

package/dist/build/provenance.js

@@ -0,0 +1,23 @@
+/**
+ * Renders the "Enforced by <file>:<lines>: '<quote>'" phrase every doc-built violation message
+ * carries (ADR 011's acceptance criterion, `IMPLEMENTATION_PLAN.md` Stage 4 goal text). Single
+ * line ranges render as `N`, not `N-N`.
+ */
+export function renderEnforcedBy(sourceFile, range, quote) {
+    const lines = range.startLine === range.endLine ? `${range.startLine}` : `${range.startLine}-${range.endLine}`;
+    return `Enforced by ${sourceFile}:${lines}: '${quote}'`;
+}
+/**
+ * Builds a doc-built rule's `RuleProvenance` block (ADR 011, `docs/ir-schema.md`). `.because()`
+ * and `sourceQuote` converge on the same terminal-output field (ADR 011 Consequences) — `because`
+ * is auto-populated from the "Enforced by..." phrase; an author-supplied override (a tier-1
+ * fragment's `because` field, or a hand-written `.because()` on a rule align build later merges
+ * with — see `merge.ts`) is prepended rather than replacing it, so provenance is never silently
+ * lost.
+ */
+export function buildProvenance(sourceFile, sourceLineRange, sourceQuote, authorBecause) {
+    const enforcedBy = renderEnforcedBy(sourceFile, sourceLineRange, sourceQuote);
+    const because = authorBecause === undefined ? enforcedBy : `${authorBecause} ${enforcedBy}`;
+    return { because, sourceFile, sourceLineRange, sourceQuote };
+}
+//# sourceMappingURL=provenance.js.map

package/dist/build/provenance.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"provenance.js","sourceRoot":"","sources":["../../src/build/provenance.ts"],"names":[],"mappings":"AAIA;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,UAA4B,EAAE,KAAkB,EAAE,KAAa;IAC9F,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,KAAK,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;IAC/G,OAAO,eAAe,UAAU,IAAI,KAAK,MAAM,KAAK,GAAG,CAAC;AAC1D,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,eAAe,CAC7B,UAA4B,EAC5B,eAA4B,EAC5B,WAAmB,EACnB,aAAsB;IAEtB,MAAM,UAAU,GAAG,gBAAgB,CAAC,UAAU,EAAE,eAAe,EAAE,WAAW,CAAC,CAAC;IAC9E,MAAM,OAAO,GAAG,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,aAAa,IAAI,UAAU,EAAE,CAAC;IAC5F,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,WAAW,EAAE,CAAC;AAC/D,CAAC"}