@rasensio/aidlc 1.19.0 → 1.20.0

package/dist/change/cross-check.d.ts

@@ -0,0 +1,28 @@
+/**
+ * Amendment cross-check (FR2): do the ids an amendment claims match what the
+ * requirements file actually defines?
+ *
+ * Two checks only, and both are data (AC-13) — they never fail a gate and never
+ * change an exit code. The obvious third check, "a retired criterion no
+ * amendment claims", was specified and then dropped: measured on this repo it
+ * fires 44 times across 12 instances that have never been amended, which is
+ * noise arriving before any signal (retired AC-12).
+ *
+ * Warnings from here surface in `aidlc amend` output alone (AC-74). Putting
+ * them where the traceability warnings surface — `aidlc gate --json` and the
+ * `criterionWarnings` block at `commands/transition.ts:408-419` — would have
+ * changed output for every never-amended instance on the first run.
+ *
+ * Requirements: change-management/AC-10, AC-11, AC-13
+ */
+import type { ParsedRequirements } from '../traceability/types.js';
+import type { Amendment } from './types.js';
+/**
+ * Cross-check one amendment's claimed ids against the AC definitions.
+ *
+ * @param amendment - The amendment under consideration.
+ * @param parsed - Parsed requirements for the same file.
+ * @returns Warnings, ordered `Retires:` then `Issues:`, ascending by id.
+ */
+export declare function crossCheck(amendment: Amendment, parsed: ParsedRequirements): string[];
+//# sourceMappingURL=cross-check.d.ts.map

package/dist/change/cross-check.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cross-check.d.ts","sourceRoot":"","sources":["../../src/change/cross-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAE5C;;;;;;GAMG;AACH,wBAAgB,UAAU,CAAC,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,kBAAkB,GAAG,MAAM,EAAE,CAsCrF"}

package/dist/change/cross-check.js

@@ -0,0 +1,53 @@
+/**
+ * Amendment cross-check (FR2): do the ids an amendment claims match what the
+ * requirements file actually defines?
+ *
+ * Two checks only, and both are data (AC-13) — they never fail a gate and never
+ * change an exit code. The obvious third check, "a retired criterion no
+ * amendment claims", was specified and then dropped: measured on this repo it
+ * fires 44 times across 12 instances that have never been amended, which is
+ * noise arriving before any signal (retired AC-12).
+ *
+ * Warnings from here surface in `aidlc amend` output alone (AC-74). Putting
+ * them where the traceability warnings surface — `aidlc gate --json` and the
+ * `criterionWarnings` block at `commands/transition.ts:408-419` — would have
+ * changed output for every never-amended instance on the first run.
+ *
+ * Requirements: change-management/AC-10, AC-11, AC-13
+ */
+/**
+ * Cross-check one amendment's claimed ids against the AC definitions.
+ *
+ * @param amendment - The amendment under consideration.
+ * @param parsed - Parsed requirements for the same file.
+ * @returns Warnings, ordered `Retires:` then `Issues:`, ascending by id.
+ */
+export function crossCheck(amendment, parsed) {
+    const byId = new Map(parsed.defs.map((def) => [def.id, def]));
+    const warnings = [];
+    // AC-10: an id claimed as retired that is not defined as retired.
+    for (const id of [...amendment.retires].sort((a, b) => a - b)) {
+        const def = byId.get(id);
+        if (!def) {
+            warnings.push(`Amendment ${amendment.n} retires AC-${id}, which this file does not define`);
+            continue;
+        }
+        if (def.status !== 'retired') {
+            warnings.push(`Amendment ${amendment.n} retires AC-${id}, but line ${def.line} defines it as ` +
+                `${def.status} — mark the definition bullet retired, or drop it from Retires:`);
+        }
+    }
+    // AC-11: an id claimed as issued that is undefined, or defined as retired.
+    for (const id of [...amendment.issues].sort((a, b) => a - b)) {
+        const def = byId.get(id);
+        if (!def) {
+            warnings.push(`Amendment ${amendment.n} issues AC-${id}, which this file does not define`);
+            continue;
+        }
+        if (def.status === 'retired') {
+            warnings.push(`Amendment ${amendment.n} issues AC-${id}, but line ${def.line} defines it as retired`);
+        }
+    }
+    return warnings;
+}
+//# sourceMappingURL=cross-check.js.map

package/dist/change/cross-check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cross-check.js","sourceRoot":"","sources":["../../src/change/cross-check.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAKH;;;;;;GAMG;AACH,MAAM,UAAU,UAAU,CAAC,SAAoB,EAAE,MAA0B;IACzE,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IAC9D,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,kEAAkE;IAClE,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QAC9D,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACzB,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,QAAQ,CAAC,IAAI,CACX,aAAa,SAAS,CAAC,CAAC,eAAe,EAAE,mCAAmC,CAC7E,CAAC;YACF,SAAS;QACX,CAAC;QACD,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC7B,QAAQ,CAAC,IAAI,CACX,aAAa,SAAS,CAAC,CAAC,eAAe,EAAE,cAAc,GAAG,CAAC,IAAI,iBAAiB;gBAC9E,GAAG,GAAG,CAAC,MAAM,iEAAiE,CACjF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,2EAA2E;IAC3E,KAAK,MAAM,EAAE,IAAI,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QAC7D,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACzB,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,QAAQ,CAAC,IAAI,CACX,aAAa,SAAS,CAAC,CAAC,cAAc,EAAE,mCAAmC,CAC5E,CAAC;YACF,SAAS;QACX,CAAC;QACD,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YAC7B,QAAQ,CAAC,IAAI,CACX,aAAa,SAAS,CAAC,CAAC,cAAc,EAAE,cAAc,GAAG,CAAC,IAAI,wBAAwB,CACvF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC"}

package/dist/change/impact.d.ts

@@ -0,0 +1,57 @@
+/**
+ * Impact walk (FR3): which citations of a retired criterion are still out there?
+ *
+ * Read-only and advisory. It performs no writes (AC-22) and its `suggestedReopens`
+ * is a suggestion the author may paste into `Reopens:` — `aidlc amend` never reads
+ * it (AC-58). The first draft derived the reopen set from this walk, which was
+ * degenerate: `requirements.md` is the requirements phase's declared artifact and
+ * always cites every retired id (the retirement bullet, the `superseded by AC-m`
+ * clause, and the amendment's own `Retires:` field), so every amendment would have
+ * reopened requirements. A destructive state write must not depend on a
+ * prose-scanning heuristic.
+ *
+ * Three halves, each with a stated resolution rule, because the two shipped rules
+ * genuinely differ and picking one for both would be wrong:
+ *
+ * - **Test files** use the uniqueness rule at `traceability/matrix.ts:77-87` — a
+ *   bare `AC-n` counts only when exactly one AC-bearing instance defines the id.
+ * - **Tasks** use the owning-instance rule (`tasks/types.ts:15-19`), which that file
+ *   documents as "never traceability's uniqueness rule".
+ * - **Artifacts** use the same tokens as the scanner, resolved by the test rule.
+ *
+ * `requirements.md` is the one artifact never read: it is the authority being
+ * amended, not a consumer of it (AC-81). AC-definition-shaped bullets *elsewhere*
+ * are reported rather than excluded — measured, 20 such bullets live in
+ * `tasks.md`, `code-complete.md` and `reproduction.md` files and every one is
+ * verification evidence citing a criterion, which is signal.
+ *
+ * Requirements: change-management/AC-15, AC-17, AC-21, AC-22, AC-48, AC-49,
+ * AC-58, AC-71, AC-80, AC-81, AC-88
+ */
+import type { WorkflowTemplate } from '../core/types.js';
+import type { ParsedRequirements } from '../traceability/types.js';
+import type { Amendment, ImpactReport } from './types.js';
+export interface WalkInput {
+    projectRoot: string;
+    instance: string;
+    /** The amendment whose retirements drive the walk. */
+    amendment: Amendment;
+    /** All instances' parsed requirements — the uniqueness-rule registry. */
+    registry: Map<string, ParsedRequirements>;
+    resolvedTemplate: WorkflowTemplate;
+    scope: string;
+}
+/**
+ * Walk every citation of the amendment's retired ids.
+ *
+ * @returns A report whose `outcome` distinguishes four states (AC-88): a
+ *   truncated `Retires:` and a genuinely empty one must never render alike.
+ */
+export declare function walkImpact(input: WalkInput): ImpactReport;
+/**
+ * One-line human summary. Every outcome says something — an empty result is
+ * never rendered as silence (AC-21), because a silent no-op is
+ * indistinguishable from success.
+ */
+export declare function describeOutcome(report: ImpactReport): string;
+//# sourceMappingURL=impact.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"impact.d.ts","sourceRoot":"","sources":["../../src/change/impact.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAKH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAEzD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AASnE,OAAO,KAAK,EAAE,SAAS,EAAa,YAAY,EAAiB,MAAM,YAAY,CAAC;AA2BpF,MAAM,WAAW,SAAS;IACxB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;IACjB,sDAAsD;IACtD,SAAS,EAAE,SAAS,CAAC;IACrB,yEAAyE;IACzE,QAAQ,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;IAC1C,gBAAgB,EAAE,gBAAgB,CAAC;IACnC,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,SAAS,GAAG,YAAY,CAuNzD;AAMD;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,YAAY,GAAG,MAAM,CAa5D"}

package/dist/change/impact.js

@@ -0,0 +1,288 @@
+/**
+ * Impact walk (FR3): which citations of a retired criterion are still out there?
+ *
+ * Read-only and advisory. It performs no writes (AC-22) and its `suggestedReopens`
+ * is a suggestion the author may paste into `Reopens:` — `aidlc amend` never reads
+ * it (AC-58). The first draft derived the reopen set from this walk, which was
+ * degenerate: `requirements.md` is the requirements phase's declared artifact and
+ * always cites every retired id (the retirement bullet, the `superseded by AC-m`
+ * clause, and the amendment's own `Retires:` field), so every amendment would have
+ * reopened requirements. A destructive state write must not depend on a
+ * prose-scanning heuristic.
+ *
+ * Three halves, each with a stated resolution rule, because the two shipped rules
+ * genuinely differ and picking one for both would be wrong:
+ *
+ * - **Test files** use the uniqueness rule at `traceability/matrix.ts:77-87` — a
+ *   bare `AC-n` counts only when exactly one AC-bearing instance defines the id.
+ * - **Tasks** use the owning-instance rule (`tasks/types.ts:15-19`), which that file
+ *   documents as "never traceability's uniqueness rule".
+ * - **Artifacts** use the same tokens as the scanner, resolved by the test rule.
+ *
+ * `requirements.md` is the one artifact never read: it is the authority being
+ * amended, not a consumer of it (AC-81). AC-definition-shaped bullets *elsewhere*
+ * are reported rather than excluded — measured, 20 such bullets live in
+ * `tasks.md`, `code-complete.md` and `reproduction.md` files and every one is
+ * verification evidence citing a criterion, which is signal.
+ *
+ * Requirements: change-management/AC-15, AC-17, AC-21, AC-22, AC-48, AC-49,
+ * AC-58, AC-71, AC-80, AC-81, AC-88
+ */
+import { existsSync, readFileSync, statSync } from 'node:fs';
+import { join } from 'node:path';
+import { phasesForScope } from '../core/template-resolver.js';
+import { DEFAULT_TEST_GLOBS, discoverTestFiles, scanContent, scanFiles, } from '../traceability/scanner.js';
+import { loadTraceabilityConfig } from '../traceability/gate-criterion.js';
+import { parseTasks } from '../tasks/parser.js';
+/** The one artifact the walk never reads (AC-81). */
+const AUTHORITY_ARTIFACT = 'requirements.md';
+/** Same bounds the scanner applies (`scanner.ts:31-33`), copied onto the artifact half. */
+const MAX_FILE_BYTES = 1024 * 1024;
+const BINARY_SNIFF_BYTES = 8 * 1024;
+/**
+ * A template artifact name that could escape the instance directory is skipped
+ * (AC-17), mirroring `traceability/gate-criterion.ts:64-71`. Template files come
+ * from `.aidlc/templates/`, which is tracked and therefore untrusted.
+ */
+function isSafeArtifactName(name) {
+    return !name.includes('/') && !name.includes('\\') && !name.includes('..');
+}
+/** Instances defining a given AC id, for the uniqueness rule. */
+function definersOf(registry, acId) {
+    const definers = [];
+    for (const [name, parsed] of registry) {
+        if (parsed.defs.some((def) => def.id === acId))
+            definers.push(name);
+    }
+    return definers.sort();
+}
+/**
+ * Walk every citation of the amendment's retired ids.
+ *
+ * @returns A report whose `outcome` distinguishes four states (AC-88): a
+ *   truncated `Retires:` and a genuinely empty one must never render alike.
+ */
+export function walkImpact(input) {
+    const { projectRoot, instance, amendment, registry, resolvedTemplate, scope } = input;
+    if (!amendment.retiresPresent) {
+        return emptyReport('retires-absent', []);
+    }
+    const retiredIds = [...new Set(amendment.retires)].sort((a, b) => a - b);
+    if (retiredIds.length === 0) {
+        return emptyReport('no-retirements', []);
+    }
+    const wanted = new Set(retiredIds);
+    const refs = [];
+    const warnings = [];
+    // Ambiguity is counted per id and reported once (AC-80), never per occurrence.
+    // Measured on this instance: 289 of 289 bare occurrences were ambiguous and
+    // none resolved here, so per-occurrence reporting is 289 lines of noise before
+    // any signal — the shape that retired AC-12 at 44.
+    const ambiguous = new Map();
+    const noteAmbiguous = (acId, path) => {
+        let paths = ambiguous.get(acId);
+        if (!paths)
+            ambiguous.set(acId, (paths = new Set()));
+        paths.add(path);
+    };
+    /**
+     * Resolve one scanned reference to this instance, or explain why not.
+     * Returns true when the reference belongs to this instance.
+     */
+    const resolvesHere = (acId, refInstance, path) => {
+        if (refInstance !== null) {
+            // Qualified: counts only for the named instance, and an unknown
+            // instance/id warns and drops (`matrix.ts:66-75`).
+            const target = registry.get(refInstance);
+            if (!target || !target.defs.some((def) => def.id === acId))
+                return false;
+            return refInstance === instance;
+        }
+        const definers = definersOf(registry, acId);
+        if (definers.length === 0)
+            return false;
+        if (definers.length > 1) {
+            // Only worth mentioning when this instance is among the definers. When it
+            // is not, the reference is provably not ours and saying so is pure noise.
+            if (definers.includes(instance))
+                noteAmbiguous(acId, path);
+            return false;
+        }
+        return definers[0] === instance;
+    };
+    // ---- Test files (AC-80) -------------------------------------------------
+    const config = loadTraceabilityConfig(projectRoot);
+    const globs = config?.test_globs ?? DEFAULT_TEST_GLOBS;
+    const discovery = discoverTestFiles(projectRoot, globs);
+    warnings.push(...discovery.warnings);
+    const scan = scanFiles(projectRoot, discovery.files);
+    warnings.push(...scan.warnings);
+    for (const ref of scan.refs) {
+        if (!wanted.has(ref.acId))
+            continue;
+        if (!resolvesHere(ref.acId, ref.instance, ref.path))
+            continue;
+        refs.push({ path: ref.path, line: ref.line, acId: ref.acId, source: 'test' });
+    }
+    // ---- tasks.md (AC-15) ---------------------------------------------------
+    // The owning-instance rule, deliberately different from the rule above.
+    const instanceDir = join(projectRoot, '.aidlc', 'state', instance);
+    const tasksPath = join(instanceDir, 'tasks.md');
+    if (existsSync(tasksPath)) {
+        let tasksContent = null;
+        try {
+            tasksContent = readFileSync(tasksPath, 'utf8');
+        }
+        catch {
+            warnings.push(`skipped tasks.md: unreadable`);
+        }
+        if (tasksContent !== null) {
+            const relTasks = `.aidlc/state/${instance}/tasks.md`;
+            for (const task of parseTasks(tasksContent).tasks) {
+                for (const acRef of task.acRefs) {
+                    if (!wanted.has(acRef.id))
+                        continue;
+                    // Bare refs resolve to the owning instance; a qualified ref naming
+                    // someone else is that instance's business.
+                    if (acRef.instance !== null && acRef.instance !== instance)
+                        continue;
+                    refs.push({
+                        path: relTasks,
+                        line: task.line,
+                        acId: acRef.id,
+                        source: 'task',
+                        taskId: task.id,
+                        taskState: task.state,
+                    });
+                }
+            }
+        }
+    }
+    // ---- Phase artifacts (AC-81) -------------------------------------------
+    // Every artifact the template declares, required and optional, except the
+    // authority. Phase ownership is what turns a hit into a suggested reopen.
+    const applicable = phasesForScope(resolvedTemplate, scope);
+    const phaseByArtifact = new Map();
+    const impactedPhases = new Set();
+    for (const phase of applicable) {
+        const declared = [
+            ...(phase.required_artifacts ?? []),
+            ...(phase.optional_artifacts ?? []),
+        ];
+        for (const decl of declared) {
+            if (decl.name === AUTHORITY_ARTIFACT)
+                continue;
+            if (!isSafeArtifactName(decl.name)) {
+                warnings.push(`skipped artifact "${decl.name}" declared by phase "${phase.name}": ` +
+                    `name could escape the instance directory`);
+                continue;
+            }
+            // First declaring phase wins, so an artifact named by two phases is
+            // attributed deterministically rather than by iteration accident.
+            if (!phaseByArtifact.has(decl.name))
+                phaseByArtifact.set(decl.name, String(phase.name));
+        }
+    }
+    for (const [artifact, phaseName] of phaseByArtifact) {
+        const abs = join(instanceDir, artifact);
+        if (!existsSync(abs))
+            continue;
+        let size;
+        try {
+            size = statSync(abs).size;
+        }
+        catch {
+            warnings.push(`skipped ${artifact}: unreadable`);
+            continue;
+        }
+        if (size > MAX_FILE_BYTES) {
+            warnings.push(`skipped ${artifact}: too large`);
+            continue;
+        }
+        let buf;
+        try {
+            buf = readFileSync(abs);
+        }
+        catch {
+            warnings.push(`skipped ${artifact}: unreadable`);
+            continue;
+        }
+        if (buf.subarray(0, BINARY_SNIFF_BYTES).includes(0)) {
+            warnings.push(`skipped ${artifact}: binary`);
+            continue;
+        }
+        const rel = `.aidlc/state/${instance}/${artifact}`;
+        for (const ref of scanContent(buf.toString('utf8'), rel)) {
+            if (!wanted.has(ref.acId))
+                continue;
+            if (!resolvesHere(ref.acId, ref.instance, ref.path))
+                continue;
+            refs.push({ path: rel, line: ref.line, acId: ref.acId, source: 'artifact' });
+            impactedPhases.add(phaseName);
+        }
+    }
+    // ---- Assembly (AC-71, AC-48) -------------------------------------------
+    // Dedup on path:line:acId with `task` winning, because a task record carries
+    // strictly more information and tasks.md is walked twice by construction —
+    // once as tasks, once as the design phase's declared artifact.
+    const byKey = new Map();
+    for (const ref of refs) {
+        const key = `${ref.path}:${ref.line}:${ref.acId}`;
+        const existing = byKey.get(key);
+        if (!existing || (existing.source === 'artifact' && ref.source === 'task')) {
+            byKey.set(key, ref);
+        }
+    }
+    const deduped = [...byKey.values()].sort((a, b) => (a.path < b.path ? -1 : a.path > b.path ? 1 : 0) ||
+        a.line - b.line ||
+        a.acId - b.acId);
+    // A task citing a retired id means the design phase's tasks.md is stale;
+    // a test citing one means the testing phase is.
+    for (const ref of deduped) {
+        if (ref.source === 'task') {
+            const design = applicable.find((p) => (p.required_artifacts ?? []).some((a) => a.name === 'tasks.md'));
+            if (design)
+                impactedPhases.add(String(design.name));
+        }
+        else if (ref.source === 'test') {
+            if (applicable.some((p) => p.name === 'testing'))
+                impactedPhases.add('testing');
+        }
+    }
+    for (const [acId, paths] of [...ambiguous.entries()].sort((a, b) => a[0] - b[0])) {
+        warnings.push(`bare AC-${acId} is ambiguous in ${paths.size} file(s) and was not counted; ` +
+            `qualify as ${instance}/AC-${acId}`);
+    }
+    const order = new Map(applicable.map((p, i) => [String(p.name), i]));
+    const suggestedReopens = [...impactedPhases].sort((a, b) => (order.get(a) ?? 0) - (order.get(b) ?? 0));
+    return {
+        outcome: deduped.length > 0 ? 'impacts' : 'none',
+        retiredIds,
+        refs: deduped,
+        suggestedReopens,
+        warnings,
+    };
+}
+function emptyReport(outcome, retiredIds) {
+    return { outcome, retiredIds, refs: [], suggestedReopens: [], warnings: [] };
+}
+/**
+ * One-line human summary. Every outcome says something — an empty result is
+ * never rendered as silence (AC-21), because a silent no-op is
+ * indistinguishable from success.
+ */
+export function describeOutcome(report) {
+    switch (report.outcome) {
+        case 'retires-absent':
+            return 'this amendment declares no Retires: field, so there is nothing to walk';
+        case 'no-retirements':
+            return 'this amendment retires no criteria, so there is nothing to walk';
+        case 'none':
+            return `no citations of AC-${report.retiredIds.join(', AC-')} found outside requirements.md`;
+        case 'impacts': {
+            const files = new Set(report.refs.map((r) => r.path)).size;
+            return `${report.refs.length} citation(s) across ${files} file(s) still name a retired criterion`;
+        }
+    }
+}
+//# sourceMappingURL=impact.js.map

package/dist/change/impact.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"impact.js","sourceRoot":"","sources":["../../src/change/impact.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAEH,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAC7D,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAGjC,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAE9D,OAAO,EACL,kBAAkB,EAClB,iBAAiB,EACjB,WAAW,EACX,SAAS,GACV,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,sBAAsB,EAAE,MAAM,mCAAmC,CAAC;AAC3E,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAGhD,qDAAqD;AACrD,MAAM,kBAAkB,GAAG,iBAAiB,CAAC;AAE7C,2FAA2F;AAC3F,MAAM,cAAc,GAAG,IAAI,GAAG,IAAI,CAAC;AACnC,MAAM,kBAAkB,GAAG,CAAC,GAAG,IAAI,CAAC;AAEpC;;;;GAIG;AACH,SAAS,kBAAkB,CAAC,IAAY;IACtC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAC7E,CAAC;AAED,iEAAiE;AACjE,SAAS,UAAU,CAAC,QAAyC,EAAE,IAAY;IACzE,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACtC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtE,CAAC;IACD,OAAO,QAAQ,CAAC,IAAI,EAAE,CAAC;AACzB,CAAC;AAaD;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,KAAgB;IACzC,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,gBAAgB,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC;IAEtF,IAAI,CAAC,SAAS,CAAC,cAAc,EAAE,CAAC;QAC9B,OAAO,WAAW,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC;IAC3C,CAAC;IACD,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACzE,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,WAAW,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC;IAC3C,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC;IACnC,MAAM,IAAI,GAAgB,EAAE,CAAC;IAC7B,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,+EAA+E;IAC/E,4EAA4E;IAC5E,+EAA+E;IAC/E,mDAAmD;IACnD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAuB,CAAC;IACjD,MAAM,aAAa,GAAG,CAAC,IAAY,EAAE,IAAY,EAAE,EAAE;QACnD,IAAI,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,CAAC,KAAK;YAAE,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,KAAK,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;QACrD,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAClB,CAAC,CAAC;IAEF;;;OAGG;IACH,MAAM,YAAY,GAAG,CACnB,IAAY,EACZ,WAA0B,EAC1B,IAAY,EACH,EAAE;QACX,IAAI,WAAW,KAAK,IAAI,EAAE,CAAC;YACzB,gEAAgE;YAChE,mDAAmD;YACnD,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;YACzC,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,IAAI,CAAC;gBAAE,OAAO,KAAK,CAAC;YACzE,OAAO,WAAW,KAAK,QAAQ,CAAC;QAClC,CAAC;QACD,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC5C,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QACxC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,0EAA0E;YAC1E,0EAA0E;YAC1E,IAAI,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC;gBAAE,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC3D,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO,QAAQ,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC;IAClC,CAAC,CAAC;IAEF,4EAA4E;IAC5E,MAAM,MAAM,GAAG,sBAAsB,CAAC,WAAW,CAAC,CAAC;IACnD,MAAM,KAAK,GAAG,MAAM,EAAE,UAAU,IAAI,kBAAkB,CAAC;IACvD,MAAM,SAAS,GAAG,iBAAiB,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IACxD,QAAQ,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;IAErC,MAAM,IAAI,GAAG,SAAS,CAAC,WAAW,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC;IACrD,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;IAEhC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAC5B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QACpC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QAC9D,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAChF,CAAC;IAED,4EAA4E;IAC5E,wEAAwE;IACxE,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IACnE,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IAChD,IAAI,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QAC1B,IAAI,YAAY,GAAkB,IAAI,CAAC;QACvC,IAAI,CAAC;YACH,YAAY,GAAG,YAAY,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QACjD,CAAC;QAAC,MAAM,CAAC;YACP,QAAQ,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;QAChD,CAAC;QACD,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;YAC1B,MAAM,QAAQ,GAAG,gBAAgB,QAAQ,WAAW,CAAC;YACrD,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,YAAY,CAAC,CAAC,KAAK,EAAE,CAAC;gBAClD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;oBAChC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;wBAAE,SAAS;oBACpC,mEAAmE;oBACnE,4CAA4C;oBAC5C,IAAI,KAAK,CAAC,QAAQ,KAAK,IAAI,IAAI,KAAK,CAAC,QAAQ,KAAK,QAAQ;wBAAE,SAAS;oBACrE,IAAI,CAAC,IAAI,CAAC;wBACR,IAAI,EAAE,QAAQ;wBACd,IAAI,EAAE,IAAI,CAAC,IAAI;wBACf,IAAI,EAAE,KAAK,CAAC,EAAE;wBACd,MAAM,EAAE,MAAM;wBACd,MAAM,EAAE,IAAI,CAAC,EAAE;wBACf,SAAS,EAAE,IAAI,CAAC,KAAK;qBACtB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,2EAA2E;IAC3E,0EAA0E;IAC1E,0EAA0E;IAC1E,MAAM,UAAU,GAAG,cAAc,CAAC,gBAAgB,EAAE,KAAc,CAAC,CAAC;IACpE,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAC;IAClD,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IAEzC,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAAG;YACf,GAAG,CAAC,KAAK,CAAC,kBAAkB,IAAI,EAAE,CAAC;YACnC,GAAG,CAAC,KAAK,CAAC,kBAAkB,IAAI,EAAE,CAAC;SACpC,CAAC;QACF,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB;gBAAE,SAAS;YAC/C,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACnC,QAAQ,CAAC,IAAI,CACX,qBAAqB,IAAI,CAAC,IAAI,wBAAwB,KAAK,CAAC,IAAI,KAAK;oBACnE,0CAA0C,CAC7C,CAAC;gBACF,SAAS;YACX,CAAC;YACD,oEAAoE;YACpE,kEAAkE;YAClE,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QAC1F,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,eAAe,EAAE,CAAC;QACpD,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;QACxC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,SAAS;QAE/B,IAAI,IAAY,CAAC;QACjB,IAAI,CAAC;YACH,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC;QAC5B,CAAC;QAAC,MAAM,CAAC;YACP,QAAQ,CAAC,IAAI,CAAC,WAAW,QAAQ,cAAc,CAAC,CAAC;YACjD,SAAS;QACX,CAAC;QACD,IAAI,IAAI,GAAG,cAAc,EAAE,CAAC;YAC1B,QAAQ,CAAC,IAAI,CAAC,WAAW,QAAQ,aAAa,CAAC,CAAC;YAChD,SAAS;QACX,CAAC;QACD,IAAI,GAAW,CAAC;QAChB,IAAI,CAAC;YACH,GAAG,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;QAC1B,CAAC;QAAC,MAAM,CAAC;YACP,QAAQ,CAAC,IAAI,CAAC,WAAW,QAAQ,cAAc,CAAC,CAAC;YACjD,SAAS;QACX,CAAC;QACD,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;YACpD,QAAQ,CAAC,IAAI,CAAC,WAAW,QAAQ,UAAU,CAAC,CAAC;YAC7C,SAAS;QACX,CAAC;QAED,MAAM,GAAG,GAAG,gBAAgB,QAAQ,IAAI,QAAQ,EAAE,CAAC;QACnD,KAAK,MAAM,GAAG,IAAI,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;YACzD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YACpC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC9D,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;YAC7E,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;IAED,2EAA2E;IAC3E,6EAA6E;IAC7E,2EAA2E;IAC3E,+DAA+D;IAC/D,MAAM,KAAK,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC3C,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,GAAG,GAAG,GAAG,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC;QAClD,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAChC,IAAI,CAAC,QAAQ,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,UAAU,IAAI,GAAG,CAAC,MAAM,KAAK,MAAM,CAAC,EAAE,CAAC;YAC3E,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CACtC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACP,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChD,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI;QACf,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAClB,CAAC;IAEF,yEAAyE;IACzE,gDAAgD;IAChD,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,IAAI,GAAG,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;YAC1B,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CACnC,CAAC,CAAC,CAAC,kBAAkB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAChE,CAAC;YACF,IAAI,MAAM;gBAAE,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QACtD,CAAC;aAAM,IAAI,GAAG,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;YACjC,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC;gBAAE,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAClF,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACjF,QAAQ,CAAC,IAAI,CACX,WAAW,IAAI,oBAAoB,KAAK,CAAC,IAAI,gCAAgC;YAC3E,cAAc,QAAQ,OAAO,IAAI,EAAE,CACtC,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACrE,MAAM,gBAAgB,GAAG,CAAC,GAAG,cAAc,CAAC,CAAC,IAAI,CAC/C,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CACpD,CAAC;IAEF,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM;QAChD,UAAU;QACV,IAAI,EAAE,OAAO;QACb,gBAAgB;QAChB,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,OAAsB,EAAE,UAAoB;IAC/D,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,EAAE,gBAAgB,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;AAC/E,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,MAAoB;IAClD,QAAQ,MAAM,CAAC,OAAO,EAAE,CAAC;QACvB,KAAK,gBAAgB;YACnB,OAAO,wEAAwE,CAAC;QAClF,KAAK,gBAAgB;YACnB,OAAO,iEAAiE,CAAC;QAC3E,KAAK,MAAM;YACT,OAAO,sBAAsB,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,gCAAgC,CAAC;QAC/F,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;YAC3D,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,uBAAuB,KAAK,yCAAyC,CAAC;QACpG,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/change/index.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Mid-instance change management: amendments, the read-only impact walk, and
+ * the `reopen` transition.
+ *
+ * @module
+ */
+export type { Amendment, AmendEnvelope, AmendErrorCode, BlockedCode, ImpactOutcome, ImpactRef, ImpactReport, ParsedAmendments, ReopenPlan, } from './types.js';
+export { parseAmendments, scanOutsideFences } from './parser.js';
+export { crossCheck } from './cross-check.js';
+export { describeOutcome, walkImpact } from './impact.js';
+export { applyReopen, mergeApplied, planReopen, recordApplied } from './reopen.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/change/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,YAAY,EACV,SAAS,EACT,aAAa,EACb,cAAc,EACd,WAAW,EACX,aAAa,EACb,SAAS,EACT,YAAY,EACZ,gBAAgB,EAChB,UAAU,GACX,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AACjE,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAC1D,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC"}

package/dist/change/index.js

@@ -0,0 +1,11 @@
+/**
+ * Mid-instance change management: amendments, the read-only impact walk, and
+ * the `reopen` transition.
+ *
+ * @module
+ */
+export { parseAmendments, scanOutsideFences } from './parser.js';
+export { crossCheck } from './cross-check.js';
+export { describeOutcome, walkImpact } from './impact.js';
+export { applyReopen, mergeApplied, planReopen, recordApplied } from './reopen.js';
+//# sourceMappingURL=index.js.map

package/dist/change/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/change/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAaH,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AACjE,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAC1D,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC"}

package/dist/change/parser.d.ts

@@ -0,0 +1,52 @@
+/**
+ * Amendment parser: closed grammar over the `## Amendment <n>` sections of
+ * requirements.md (FR1).
+ *
+ * The grammar was derived from the corpus, not invented. Measured over 39
+ * `requirements.md` and 29 `tasks.md` on 2026-09-07, two conventions exist:
+ *
+ *   ## Amendment 1 — 2026-09-05, after the design review     (5 real, accepted)
+ *   ### Amendments from the design review (2026-09-05)       (4 real, warned)
+ *
+ * The second is unnumbered and undated and cannot be applied, so it warns
+ * rather than vanishing — a near-miss that reads as absence is this project's
+ * single most repeated defect class (AC-53).
+ *
+ * Two rules exist because a prototype got them wrong on real input:
+ *
+ * - **Three emphasis variants, copied from `ACTIVE_RE`** (`traceability/parser.ts:23-24`).
+ *   The first draft accepted `Retires:` and `**Retires**:` but not
+ *   `**Retires:**` — which is the form this instance's own Amendment 1 was
+ *   written with, so its 23 retirements parsed as zero (AC-78).
+ * - **A wrapped bullet is one bullet.** Ending the field block at "the first
+ *   non-bullet non-blank line" truncates any field that wraps: measured, a
+ *   wrapped `Retires:` yielded 12 of 23 ids and dropped `Issues`, `Reason`
+ *   and `Reopens` outright, and the impact report would then have said "no
+ *   retired ids" for an amendment that retired 23 criteria (AC-78, AC-94).
+ *
+ * Requirements: change-management/AC-3, AC-5, AC-7, AC-8, AC-51, AC-53,
+ * AC-54, AC-78, AC-79
+ */
+import type { ParsedAmendments } from './types.js';
+/**
+ * Walk lines outside fenced code blocks (AC-79).
+ *
+ * CommonMark rules: a fence opens with 3+ backticks or tildes and closes only
+ * on the same character at the same length or longer. Written correctly rather
+ * than as a naive toggle because it is cheap to do so — the corpus currently
+ * cannot tell the two apart (1047 AC-shaped lines, zero inside fences), which
+ * is a reason to write the correct one, not evidence that it does not matter.
+ *
+ * Indentation is deliberately permissive (`\s*`, not ` {0,3}`): AIDLC markdown
+ * nests fenced examples inside list items routinely — see the `ac-coverage`
+ * example at `packages/content/skills/50-testing.md:43-45`, indented five
+ * spaces — and an absolute three-space rule is blind to every one of them.
+ */
+export declare function scanOutsideFences(lines: string[], visit: (line: string, index: number) => void): void;
+/**
+ * Parse every amendment section in one requirements.md.
+ *
+ * @param content - File content (UTF-8). Never throws.
+ */
+export declare function parseAmendments(content: string): ParsedAmendments;
+//# sourceMappingURL=parser.d.ts.map

package/dist/change/parser.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.d.ts","sourceRoot":"","sources":["../../src/change/parser.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH,OAAO,KAAK,EAAa,gBAAgB,EAAE,MAAM,YAAY,CAAC;AA+D9D;;;;;;;;;;;;;GAaG;AACH,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,MAAM,EAAE,EACf,KAAK,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,IAAI,GAC3C,IAAI,CAgBN;AA4FD;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,MAAM,GAAG,gBAAgB,CAwJjE"}