archcheck 0.2.0

package/dist/contracts/registry.js

@@ -0,0 +1,48 @@
+/**
+ * kind → ContractType.
+ *
+ * What a caller must know: a kind in the closed set of eight that has no entry here is not a
+ * config error. It validates, it counts toward coverage, and the run records a skip saying no
+ * probe handles it. That is deliberate: rejecting a `judgement` rule on a version that has not
+ * shipped the model probe would force a consumer to delete rules in order to upgrade, and the
+ * honest report is "declared, not checked yet" — which is exactly what `skipped` is for.
+ */
+import { ok } from '../result.js';
+import { bannedSyntaxContract } from './banned-syntax.js';
+import { declaredFieldContract } from './declared-field.js';
+import { encapsulationContract } from './encapsulation.js';
+import { judgementContract } from './judgement.js';
+import { layersContract } from './layers.js';
+import { namingContract } from './naming.js';
+import { requiredFileContract } from './required-file.js';
+const IMPLEMENTED = [
+    layersContract,
+    encapsulationContract,
+    namingContract,
+    bannedSyntaxContract,
+    requiredFileContract,
+    declaredFieldContract,
+    judgementContract,
+];
+const byKind = new Map(IMPLEMENTED.map((c) => [c.kind, c]));
+export function contractFor(kind) {
+    return byKind.get(kind);
+}
+export function implementedKinds() {
+    return IMPLEMENTED.map((contract) => contract.kind);
+}
+/**
+ * The ParamsValidator the registry needs, wired to the kinds. Injected by the facade, which is the
+ * only place that knows both halves — the registry knows a rule has a kind, and only a kind knows
+ * what its params mean.
+ */
+export function validateParamsByKind(rule, rules) {
+    const ctx = { rules };
+    return contractFor(rule.kind)?.validate(rule, ctx) ?? ok(undefined);
+}
+/** Things that load fine but somebody should see. Printed by the CLI, never silently dropped. */
+export function warningsFor(rules) {
+    const ctx = { rules };
+    return rules.flatMap((rule) => contractFor(rule.kind)?.warn?.(rule, ctx) ?? []);
+}
+//# sourceMappingURL=registry.js.map

package/dist/contracts/registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.js","sourceRoot":"","sources":["../../src/contracts/registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,EAAE,EAAe,MAAM,cAAc,CAAC;AAE/C,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC1D,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAC3D,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAG1D,MAAM,WAAW,GAA4B;IAC3C,cAAc;IACd,qBAAqB;IACrB,cAAc;IACd,oBAAoB;IACpB,oBAAoB;IACpB,qBAAqB;IACrB,iBAAiB;CAClB,CAAC;AAEF,MAAM,MAAM,GAAG,IAAI,GAAG,CAA6B,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAExF,MAAM,UAAU,WAAW,CAAC,IAAkB;IAC5C,OAAO,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,gBAAgB;IAC9B,OAAO,WAAW,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AACtD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAAC,IAAU,EAAE,KAAsB;IACrE,MAAM,GAAG,GAAgB,EAAE,KAAK,EAAE,CAAC;IACnC,OAAO,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,SAAS,CAAC,CAAC;AACtE,CAAC;AAED,iGAAiG;AACjG,MAAM,UAAU,WAAW,CAAC,KAAsB;IAChD,MAAM,GAAG,GAAgB,EAAE,KAAK,EAAE,CAAC;IACnC,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;AAClF,CAAC"}

package/dist/contracts/required-file.d.ts

@@ -0,0 +1,29 @@
+import type { Rule } from '../types.js';
+import type { ContractType } from './types.js';
+export type RequiredFileParams = {
+    /** A path glob, or a registry selector like `rule[severity=error]`. */
+    forEach: string;
+    /**
+     * A path template. `{id}` for a rule; for a file, `{dir}`, `{name}`, `{base}`, `{ext}` and
+     * `{Base}` — the base with its first letter capitalised, which is what the twin convention
+     * `blobStore.ts` → `memoryBlobStore.ts` actually needs.
+     */
+    expect: string;
+};
+export declare function asRequiredFileParams(rule: Rule): RequiredFileParams;
+export declare function isRuleSelector(forEach: string): boolean;
+/** One thing that must have a companion file. */
+export type RequiredSubject = {
+    /** The file the finding is reported AGAINST — the subject that lacks the companion. */
+    subject: string;
+    /** What is missing. */
+    expected: string;
+    /** For evidence and for the message. */
+    label: string;
+};
+export declare function subjectsFor(params: RequiredFileParams, ctx: {
+    rules: readonly Rule[];
+    files: readonly string[];
+}): RequiredSubject[];
+export declare const requiredFileContract: ContractType;
+//# sourceMappingURL=required-file.d.ts.map

package/dist/contracts/required-file.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"required-file.d.ts","sourceRoot":"","sources":["../../src/contracts/required-file.ts"],"names":[],"mappings":"AAiBA,OAAO,KAAK,EAAwB,IAAI,EAAE,MAAM,aAAa,CAAC;AAC9D,OAAO,KAAK,EAAE,YAAY,EAAgD,MAAM,YAAY,CAAC;AAE7F,MAAM,MAAM,kBAAkB,GAAG;IAC/B,uEAAuE;IACvE,OAAO,EAAE,MAAM,CAAC;IAChB;;;;OAIG;IACH,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,IAAI,GAAG,kBAAkB,CAEnE;AAID,wBAAgB,cAAc,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAEvD;AAED,iDAAiD;AACjD,MAAM,MAAM,eAAe,GAAG;IAC5B,uFAAuF;IACvF,OAAO,EAAE,MAAM,CAAC;IAChB,uBAAuB;IACvB,QAAQ,EAAE,MAAM,CAAC;IACjB,wCAAwC;IACxC,KAAK,EAAE,MAAM,CAAC;CACf,CAAC;AAiCF,wBAAgB,WAAW,CACzB,MAAM,EAAE,kBAAkB,EAC1B,GAAG,EAAE;IAAE,KAAK,EAAE,SAAS,IAAI,EAAE,CAAC;IAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,GACxD,eAAe,EAAE,CAqBnB;AA+DD,eAAO,MAAM,oBAAoB,EAAE,YAMlC,CAAC"}

package/dist/contracts/required-file.js

@@ -0,0 +1,131 @@
+/**
+ * The `required-file` kind — rules about what must EXIST.
+ *
+ * What this covers that a graph cannot see: every port has a memory twin, every primitive has a
+ * story, every error-severity rule has a fixture. Existence is the rule; the content of the
+ * required file is deliberately out of scope, because "a file is there" is decidable and "the file
+ * is any good" is not.
+ *
+ * The self-referential case is the important one (plan 16):
+ *
+ *   { forEach: 'rule[severity=error]', expect: 'fixtures/rules/{id}.violation.ts' }
+ *
+ * A rule that cannot catch a deliberate violation passes every build and looks exactly like
+ * compliance. This is the rule that catches that, and it is why "test the checker" stops being
+ * discipline and becomes a gate.
+ */
+import { err, ok } from '../result.js';
+export function asRequiredFileParams(rule) {
+    return rule.params;
+}
+const RULE_SELECTOR = /^rule\[([a-z]+)=([a-z-]+)\]$/;
+export function isRuleSelector(forEach) {
+    return RULE_SELECTOR.test(forEach);
+}
+function expandForFile(template, path) {
+    const slash = path.lastIndexOf('/');
+    const dir = slash === -1 ? '' : path.slice(0, slash);
+    const name = path.slice(slash + 1);
+    const dot = name.lastIndexOf('.');
+    const base = dot === -1 ? name : name.slice(0, dot);
+    const ext = dot === -1 ? '' : name.slice(dot);
+    return template
+        .replaceAll('{dir}', dir)
+        .replaceAll('{name}', name)
+        .replaceAll('{Base}', base.charAt(0).toUpperCase() + base.slice(1))
+        .replaceAll('{base}', base)
+        .replaceAll('{ext}', ext);
+}
+/**
+ * A layers rule whose allow-list is `'*'` declares SCOPE rather than constraining anything, so it
+ * cannot produce an edge violation and demanding a fixture for it would demand a file that cannot
+ * contain one. Derived from the rule's own params, never an exemption list.
+ *
+ * `catchesUnlayered` is the exception, and it matters: a rule that owns the unlayered-file report
+ * CAN fire — on a folder nobody declared — even when its allow-list is `'*'`. Missing that would
+ * have quietly excused the one rule in a manifest most worth proving.
+ */
+function canEverFire(rule) {
+    if (rule.kind !== 'layers')
+        return true;
+    const params = rule.params;
+    if (params.catchesUnlayered === true)
+        return true;
+    return params.mayImport !== '*';
+}
+export function subjectsFor(params, ctx) {
+    const selector = RULE_SELECTOR.exec(params.forEach);
+    if (selector) {
+        const [, field, value] = selector;
+        return ctx.rules
+            .filter((rule) => String(rule[field]) === value)
+            .filter(canEverFire)
+            .map((rule) => ({
+            subject: rule.id,
+            expected: params.expect.replaceAll('{id}', rule.id),
+            label: `rule '${rule.id}'`,
+        }));
+    }
+    return ctx.files.map((file) => ({
+        subject: file,
+        expected: expandForFile(params.expect, file),
+        label: file,
+    }));
+}
+function validateParams(rule, _ctx) {
+    const params = rule.params;
+    const errors = [];
+    if (typeof params.forEach !== 'string' || params.forEach.length === 0) {
+        errors.push("params.forEach is required — a path glob, or a selector like 'rule[severity=error]'");
+    }
+    if (typeof params.expect !== 'string' || params.expect.length === 0) {
+        errors.push('params.expect is required — the path template the companion file must be at');
+    }
+    if (typeof params.forEach === 'string' && typeof params.expect === 'string') {
+        if (isRuleSelector(params.forEach) && !params.expect.includes('{id}')) {
+            errors.push('params.expect must contain {id} when forEach iterates rules, or every rule expects the same one file');
+        }
+        if (!isRuleSelector(params.forEach) && !/\{(dir|base|Base|name|ext)\}/.test(params.expect)) {
+            errors.push('params.expect must contain {dir}, {base}, {name} or {ext} when forEach iterates files, ' +
+                'or every file expects the same one companion');
+        }
+    }
+    return errors.length > 0 ? err(errors) : ok(undefined);
+}
+function emitFragments(rule, _ctx) {
+    const params = asRequiredFileParams(rule);
+    return [
+        {
+            target: 'test',
+            ruleId: rule.id,
+            content: {
+                forEach: params.forEach,
+                expect: params.expect,
+                message: `${rule.statement} — ${rule.remedy.summary}`,
+            },
+        },
+    ];
+}
+function explainFinding(finding, rule, _ctx) {
+    const evidence = finding.evidence;
+    return [
+        `${String(evidence.label)} has no ${String(evidence.expected)}`,
+        `  expected at: ${String(evidence.expected)}`,
+        `  → ${rule.remedy.summary}`,
+    ].join('\n');
+}
+function refineFinding(finding, rule) {
+    const evidence = finding.evidence;
+    return {
+        statement: `${String(evidence.label)} is missing ${String(evidence.expected)}`,
+        remedy: rule.remedy,
+    };
+}
+export const requiredFileContract = {
+    kind: 'required-file',
+    validate: validateParams,
+    emit: emitFragments,
+    explain: explainFinding,
+    refine: refineFinding,
+};
+//# sourceMappingURL=required-file.js.map

package/dist/contracts/required-file.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"required-file.js","sourceRoot":"","sources":["../../src/contracts/required-file.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AACH,OAAO,EAAE,GAAG,EAAE,EAAE,EAAe,MAAM,cAAc,CAAC;AAepD,MAAM,UAAU,oBAAoB,CAAC,IAAU;IAC7C,OAAO,IAAI,CAAC,MAAuC,CAAC;AACtD,CAAC;AAED,MAAM,aAAa,GAAG,8BAA8B,CAAC;AAErD,MAAM,UAAU,cAAc,CAAC,OAAe;IAC5C,OAAO,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;AACrC,CAAC;AAYD,SAAS,aAAa,CAAC,QAAgB,EAAE,IAAY;IACnD,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IACpC,MAAM,GAAG,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACrD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IACnC,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IAClC,MAAM,IAAI,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACpD,MAAM,GAAG,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC9C,OAAO,QAAQ;SACZ,UAAU,CAAC,OAAO,EAAE,GAAG,CAAC;SACxB,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC;SAC1B,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;SAClE,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC;SAC1B,UAAU,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;AAC9B,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,WAAW,CAAC,IAAU;IAC7B,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACxC,MAAM,MAAM,GAAG,IAAI,CAAC,MAA6D,CAAC;IAClF,IAAI,MAAM,CAAC,gBAAgB,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAClD,OAAO,MAAM,CAAC,SAAS,KAAK,GAAG,CAAC;AAClC,CAAC;AAED,MAAM,UAAU,WAAW,CACzB,MAA0B,EAC1B,GAAyD;IAEzD,MAAM,QAAQ,GAAG,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACpD,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,GAAG,QAAQ,CAAC;QAClC,OAAO,GAAG,CAAC,KAAK;aACb,MAAM,CACL,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAE,IAA2C,CAAC,KAAe,CAAC,CAAC,KAAK,KAAK,CAC1F;aACA,MAAM,CAAC,WAAW,CAAC;aACnB,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACd,OAAO,EAAE,IAAI,CAAC,EAAE;YAChB,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;YACnD,KAAK,EAAE,SAAS,IAAI,CAAC,EAAE,GAAG;SAC3B,CAAC,CAAC,CAAC;IACR,CAAC;IAED,OAAO,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC9B,OAAO,EAAE,IAAI;QACb,QAAQ,EAAE,aAAa,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC;QAC5C,KAAK,EAAE,IAAI;KACZ,CAAC,CAAC,CAAC;AACN,CAAC;AAED,SAAS,cAAc,CAAC,IAAU,EAAE,IAAiB;IACnD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAiC,CAAC;IACtD,MAAM,MAAM,GAAa,EAAE,CAAC;IAE5B,IAAI,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtE,MAAM,CAAC,IAAI,CACT,qFAAqF,CACtF,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpE,MAAM,CAAC,IAAI,CAAC,6EAA6E,CAAC,CAAC;IAC7F,CAAC;IACD,IAAI,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ,IAAI,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC5E,IAAI,cAAc,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YACtE,MAAM,CAAC,IAAI,CACT,sGAAsG,CACvG,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,8BAA8B,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3F,MAAM,CAAC,IAAI,CACT,yFAAyF;gBACvF,8CAA8C,CACjD,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,aAAa,CAAC,IAAU,EAAE,IAAa;IAC9C,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;IAC1C,OAAO;QACL;YACE,MAAM,EAAE,MAAM;YACd,MAAM,EAAE,IAAI,CAAC,EAAE;YACf,OAAO,EAAE;gBACP,OAAO,EAAE,MAAM,CAAC,OAAO;gBACvB,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,OAAO,EAAE,GAAG,IAAI,CAAC,SAAS,MAAM,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE;aACtD;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,OAAmB,EAAE,IAAU,EAAE,IAAgB;IACvE,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAmC,CAAC;IAC7D,OAAO;QACL,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,WAAW,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE;QAC/D,kBAAkB,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE;QAC7C,OAAO,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE;KAC7B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CAAC,OAAmB,EAAE,IAAU;IACpD,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAmC,CAAC;IAC7D,OAAO;QACL,SAAS,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,eAAe,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE;QAC9E,MAAM,EAAE,IAAI,CAAC,MAAM;KACpB,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,oBAAoB,GAAiB;IAChD,IAAI,EAAE,eAAe;IACrB,QAAQ,EAAE,cAAc;IACxB,IAAI,EAAE,aAAa;IACnB,OAAO,EAAE,cAAc;IACvB,MAAM,EAAE,aAAa;CACtB,CAAC"}

package/dist/contracts/types.d.ts

@@ -0,0 +1,61 @@
+/**
+ * The first seam: a contract kind.
+ *
+ * What a caller must know: `validate` takes a context the LLD's signature did not, because one
+ * question genuinely needs it — "does this layer's mayImport name a layer that exists?" cannot be
+ * answered from one rule in isolation, and it is the single most common manifest typo. Everything
+ * else about the seam is unchanged.
+ *
+ * Adding a ninth kind is a design decision, not a task: every kind costs a validator, an emitter,
+ * an explainer and a fixture that must fail (LLD §4).
+ */
+import type { Result } from '../result.js';
+import type { ContractKind, Fragment, RawFinding, Remedy, Rule } from '../types.js';
+export type ValidateCtx = {
+    /** Every rule in the manifest — a kind whose meaning depends on the set can see the set. */
+    rules: readonly Rule[];
+};
+export type EmitCtx = {
+    root: string;
+    rules: readonly Rule[];
+};
+/**
+ * Explaining needs the rule set for the same reason validating does: a sentence like "domain may
+ * import: contracts, rules" is a fact about the manifest, not about the violation. Keeping it out
+ * of `evidence` is not cosmetic — evidence feeds the identity hash, so a rule's allow-list growing
+ * an unrelated entry would otherwise silently invalidate every baseline entry it touches.
+ */
+export type ExplainCtx = {
+    rules: readonly Rule[];
+};
+/**
+ * A per-finding sharpening of the rule's own words.
+ *
+ * Why this exists: one rule legitimately covers findings that need different sentences. A `layers`
+ * rule states "domain may import only contracts and rules", but an UNLAYERED file broke no
+ * allow-list — it matched no layer at all, and telling its author to "invert the call" sends them
+ * to the wrong fix. The rule's statement is what the editor squiggle shows (it is per-rule); this
+ * is what a diagnostic shows (it is per-finding).
+ */
+export type Refinement = {
+    statement?: string;
+    remedy?: Remedy;
+};
+export type ContractType = {
+    kind: ContractKind;
+    /** Params well-formed? Returns every problem, never throws (a bad manifest exits 2). */
+    validate(rule: Rule, ctx: ValidateCtx): Result<void>;
+    /**
+     * Optional: things that load fine but somebody should see. A judgement rule promoted to `error`
+     * is legal policy and a visible act — so it warns rather than failing, and warning rather than
+     * silence is the whole point.
+     */
+    warn?(rule: Rule, ctx: ValidateCtx): string[];
+    /** One rule → many sinks. The merger groups fragments by target (LLD §1.2). */
+    emit(rule: Rule, ctx: EmitCtx): Fragment[];
+    /** Finding → the sentence a person reads. Returns the remedy, not the symptom. */
+    explain(finding: RawFinding, rule: Rule, ctx: ExplainCtx): string;
+    /** Optional: sharpen the statement or remedy for one finding. See Refinement. */
+    refine?(finding: RawFinding, rule: Rule, ctx: ExplainCtx): Refinement | undefined;
+};
+//# sourceMappingURL=types.d.ts.map

package/dist/contracts/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/contracts/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAEpF,MAAM,MAAM,WAAW,GAAG;IACxB,4FAA4F;IAC5F,KAAK,EAAE,SAAS,IAAI,EAAE,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,SAAS,IAAI,EAAE,CAAC;CACxB,CAAC;AAEF;;;;;GAKG;AACH,MAAM,MAAM,UAAU,GAAG;IACvB,KAAK,EAAE,SAAS,IAAI,EAAE,CAAC;CACxB,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,MAAM,UAAU,GAAG;IAAE,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAEjE,MAAM,MAAM,YAAY,GAAG;IACzB,IAAI,EAAE,YAAY,CAAC;IACnB,wFAAwF;IACxF,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IACrD;;;;OAIG;IACH,IAAI,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,WAAW,GAAG,MAAM,EAAE,CAAC;IAC9C,+EAA+E;IAC/E,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,GAAG,QAAQ,EAAE,CAAC;IAC3C,kFAAkF;IAClF,OAAO,CAAC,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,GAAG,MAAM,CAAC;IAClE,iFAAiF;IACjF,MAAM,CAAC,CAAC,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,GAAG,UAAU,GAAG,SAAS,CAAC;CACnF,CAAC"}

package/dist/contracts/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/dist/contracts/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/contracts/types.ts"],"names":[],"mappings":""}

package/dist/coverage/index.d.ts

@@ -0,0 +1,55 @@
+/**
+ * Coverage, computed — never claimed.
+ *
+ * What rule this enforces: the percentage comes from counting the manifest at run time. Add a rule
+ * with no real check and the judgement count rises and the percentage falls, in the same commit,
+ * with no way to write a nicer number by hand (plan 19). That number is worth watching precisely
+ * because nobody can edit it.
+ *
+ * What a caller must know: `rules.json` is DATA, not HTML. The document reads it. That keeps
+ * archcheck independent of anyone's doc format and makes the same data available to a dashboard
+ * later without a second emitter.
+ */
+import type { Coverage, Rule } from '../types.js';
+export declare const RULES_JSON = "rules.json";
+/** The mark each tier gets in a document, matching the patterns document's own vocabulary. */
+export declare const MARK: {
+    readonly deterministic: "✓";
+    readonly proxy: "◑";
+    readonly model: "○";
+};
+export type RuleSummary = {
+    id: string;
+    kind: string;
+    statement: string;
+    severity: string;
+    confidence: string;
+    mark: string;
+    remedy: string;
+};
+export type RulesDocument = {
+    schemaVersion: 1;
+    coverage: Coverage & {
+        automatable: number;
+    };
+    rules: RuleSummary[];
+};
+/**
+ * `deterministic + proxy` over the TOTAL: the share a machine decides without a model.
+ *
+ * The denominator is every active rule, including the ones nothing checks. Declare a rule of a
+ * kind archcheck has not implemented and the percentage falls, which is the whole point of
+ * computing this number rather than writing it down.
+ */
+export declare function automatablePercent(coverage: Coverage): number;
+export declare function rulesDocument(rules: readonly Rule[], coverage: Coverage): RulesDocument;
+export declare const FENCE_BEGIN = "<!-- archcheck:begin rules-table -->";
+export declare const FENCE_END = "<!-- archcheck:end rules-table -->";
+/** The generated region: the rule table and the counts. Prose stays hand-written. */
+export declare function renderRulesTable(document: RulesDocument): string;
+/**
+ * Replace the fenced region, idempotently. Returns undefined when the document has no fence —
+ * a document that never asked for a generated region must not grow one by surprise.
+ */
+export declare function replaceFencedRegion(source: string, replacement: string): string | undefined;
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/coverage/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAElD,eAAO,MAAM,UAAU,eAAe,CAAC;AAEvC,8FAA8F;AAC9F,eAAO,MAAM,IAAI;;;;CAA0D,CAAC;AAE5E,MAAM,MAAM,WAAW,GAAG;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,aAAa,EAAE,CAAC,CAAC;IACjB,QAAQ,EAAE,QAAQ,GAAG;QAAE,WAAW,EAAE,MAAM,CAAA;KAAE,CAAC;IAC7C,KAAK,EAAE,WAAW,EAAE,CAAC;CACtB,CAAC;AAEF;;;;;;GAMG;AACH,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,QAAQ,GAAG,MAAM,CAG7D;AAED,wBAAgB,aAAa,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,EAAE,QAAQ,EAAE,QAAQ,GAAG,aAAa,CAiBvF;AAED,eAAO,MAAM,WAAW,yCAAyC,CAAC;AAClE,eAAO,MAAM,SAAS,uCAAuC,CAAC;AAM9D,qFAAqF;AACrF,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,aAAa,GAAG,MAAM,CAmBhE;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAK3F"}

package/dist/coverage/index.js

@@ -0,0 +1,68 @@
+export const RULES_JSON = 'rules.json';
+/** The mark each tier gets in a document, matching the patterns document's own vocabulary. */
+export const MARK = { deterministic: '✓', proxy: '◑', model: '○' };
+/**
+ * `deterministic + proxy` over the TOTAL: the share a machine decides without a model.
+ *
+ * The denominator is every active rule, including the ones nothing checks. Declare a rule of a
+ * kind archcheck has not implemented and the percentage falls, which is the whole point of
+ * computing this number rather than writing it down.
+ */
+export function automatablePercent(coverage) {
+    if (coverage.total === 0)
+        return 0;
+    return Math.round(((coverage.deterministic + coverage.proxy) / coverage.total) * 100);
+}
+export function rulesDocument(rules, coverage) {
+    return {
+        schemaVersion: 1,
+        coverage: { ...coverage, automatable: automatablePercent(coverage) },
+        rules: rules
+            .filter((rule) => rule.severity !== 'off')
+            .map((rule) => ({
+            id: rule.id,
+            kind: rule.kind,
+            statement: rule.statement,
+            severity: rule.severity,
+            confidence: rule.confidence,
+            mark: MARK[rule.confidence],
+            remedy: rule.remedy.summary,
+        }))
+            .sort((a, b) => a.id.localeCompare(b.id)),
+    };
+}
+export const FENCE_BEGIN = '<!-- archcheck:begin rules-table -->';
+export const FENCE_END = '<!-- archcheck:end rules-table -->';
+function escapeCell(text) {
+    return text.replaceAll('|', '\\|');
+}
+/** The generated region: the rule table and the counts. Prose stays hand-written. */
+export function renderRulesTable(document) {
+    const { coverage } = document;
+    const lines = [
+        FENCE_BEGIN,
+        '',
+        `**${coverage.total} rules** · ${MARK.deterministic} ${coverage.deterministic} deterministic · ` +
+            `${MARK.proxy} ${coverage.proxy} proxy · ${MARK.model} ${coverage.model} judgement · ` +
+            `**${coverage.automatable}% automatable**`,
+        '',
+        '| | Rule | Statement | Kind | Severity |',
+        '|---|---|---|---|---|',
+        ...document.rules.map((rule) => `| ${rule.mark} | \`${rule.id}\` | ${escapeCell(rule.statement)} | ${rule.kind} | ${rule.severity} |`),
+        '',
+        FENCE_END,
+    ];
+    return lines.join('\n');
+}
+/**
+ * Replace the fenced region, idempotently. Returns undefined when the document has no fence —
+ * a document that never asked for a generated region must not grow one by surprise.
+ */
+export function replaceFencedRegion(source, replacement) {
+    const start = source.indexOf(FENCE_BEGIN);
+    const end = source.indexOf(FENCE_END);
+    if (start === -1 || end === -1 || end < start)
+        return undefined;
+    return source.slice(0, start) + replacement + source.slice(end + FENCE_END.length);
+}
+//# sourceMappingURL=index.js.map

package/dist/coverage/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/coverage/index.ts"],"names":[],"mappings":"AAcA,MAAM,CAAC,MAAM,UAAU,GAAG,YAAY,CAAC;AAEvC,8FAA8F;AAC9F,MAAM,CAAC,MAAM,IAAI,GAAG,EAAE,aAAa,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAW,CAAC;AAkB5E;;;;;;GAMG;AACH,MAAM,UAAU,kBAAkB,CAAC,QAAkB;IACnD,IAAI,QAAQ,CAAC,KAAK,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IACnC,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,aAAa,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC;AACxF,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,KAAsB,EAAE,QAAkB;IACtE,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,QAAQ,EAAE,EAAE,GAAG,QAAQ,EAAE,WAAW,EAAE,kBAAkB,CAAC,QAAQ,CAAC,EAAE;QACpE,KAAK,EAAE,KAAK;aACT,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC;aACzC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACd,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC;YAC3B,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,OAAO;SAC5B,CAAC,CAAC;aACF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;KAC5C,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,MAAM,WAAW,GAAG,sCAAsC,CAAC;AAClE,MAAM,CAAC,MAAM,SAAS,GAAG,oCAAoC,CAAC;AAE9D,SAAS,UAAU,CAAC,IAAY;IAC9B,OAAO,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;AACrC,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,gBAAgB,CAAC,QAAuB;IACtD,MAAM,EAAE,QAAQ,EAAE,GAAG,QAAQ,CAAC;IAC9B,MAAM,KAAK,GAAG;QACZ,WAAW;QACX,EAAE;QACF,KAAK,QAAQ,CAAC,KAAK,cAAc,IAAI,CAAC,aAAa,IAAI,QAAQ,CAAC,aAAa,mBAAmB;YAC9F,GAAG,IAAI,CAAC,KAAK,IAAI,QAAQ,CAAC,KAAK,YAAY,IAAI,CAAC,KAAK,IAAI,QAAQ,CAAC,KAAK,eAAe;YACtF,KAAK,QAAQ,CAAC,WAAW,iBAAiB;QAC5C,EAAE;QACF,0CAA0C;QAC1C,uBAAuB;QACvB,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CACnB,CAAC,IAAI,EAAE,EAAE,CACP,KAAK,IAAI,CAAC,IAAI,QAAQ,IAAI,CAAC,EAAE,QAAQ,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,IAAI,CAAC,IAAI,MAAM,IAAI,CAAC,QAAQ,IAAI,CACxG;QACD,EAAE;QACF,SAAS;KACV,CAAC;IACF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAAC,MAAc,EAAE,WAAmB;IACrE,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAC1C,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IACtC,IAAI,KAAK,KAAK,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,IAAI,GAAG,GAAG,KAAK;QAAE,OAAO,SAAS,CAAC;IAChE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;AACrF,CAAC"}

package/dist/emit/collect.d.ts

@@ -0,0 +1,20 @@
+/**
+ * Fragment collection across every rule.
+ *
+ * What rule this enforces: one rule may need several configs (LLD §1.2) — `encapsulation` needs a
+ * package exports map AND a graph rule, `layers` needs a graph rule AND a lint rule whose message
+ * carries the statement. So `emit()` returns an array and the merger groups by sink.
+ *
+ * What a caller must know: rules are visited in id order. Determinism starts here, not in the
+ * writer — a re-emit with an unchanged manifest must be byte-identical or `emit --check` becomes a
+ * false-alarm generator and gets switched off.
+ */
+import type { ContractType, EmitCtx } from '../contracts/types.js';
+import type { ContractKind, Fragment, Rule } from '../types.js';
+export type CollectResult = {
+    fragments: Fragment[];
+    /** Kinds declared in the manifest that no contract type implements yet. */
+    unimplemented: ContractKind[];
+};
+export declare function collectFragments(rules: readonly Rule[], contractFor: (kind: ContractKind) => ContractType | undefined, ctx: EmitCtx): CollectResult;
+//# sourceMappingURL=collect.d.ts.map

package/dist/emit/collect.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"collect.d.ts","sourceRoot":"","sources":["../../src/emit/collect.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,KAAK,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AACnE,OAAO,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAEhE,MAAM,MAAM,aAAa,GAAG;IAC1B,SAAS,EAAE,QAAQ,EAAE,CAAC;IACtB,2EAA2E;IAC3E,aAAa,EAAE,YAAY,EAAE,CAAC;CAC/B,CAAC;AAEF,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,SAAS,IAAI,EAAE,EACtB,WAAW,EAAE,CAAC,IAAI,EAAE,YAAY,KAAK,YAAY,GAAG,SAAS,EAC7D,GAAG,EAAE,OAAO,GACX,aAAa,CAiBf"}

package/dist/emit/collect.js

@@ -0,0 +1,17 @@
+export function collectFragments(rules, contractFor, ctx) {
+    const sorted = [...rules]
+        .filter((rule) => rule.severity !== 'off')
+        .sort((a, b) => a.id.localeCompare(b.id));
+    const fragments = [];
+    const unimplemented = new Set();
+    for (const rule of sorted) {
+        const contract = contractFor(rule.kind);
+        if (!contract) {
+            unimplemented.add(rule.kind);
+            continue;
+        }
+        fragments.push(...contract.emit(rule, ctx));
+    }
+    return { fragments, unimplemented: [...unimplemented].sort() };
+}
+//# sourceMappingURL=collect.js.map

package/dist/emit/collect.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"collect.js","sourceRoot":"","sources":["../../src/emit/collect.ts"],"names":[],"mappings":"AAoBA,MAAM,UAAU,gBAAgB,CAC9B,KAAsB,EACtB,WAA6D,EAC7D,GAAY;IAEZ,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC;SACtB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAC;SACzC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5C,MAAM,SAAS,GAAe,EAAE,CAAC;IACjC,MAAM,aAAa,GAAG,IAAI,GAAG,EAAgB,CAAC;IAE9C,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;QAC1B,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7B,SAAS;QACX,CAAC;QACD,SAAS,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IAC9C,CAAC;IAED,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,CAAC,GAAG,aAAa,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;AACjE,CAAC"}

package/dist/emit/header.d.ts

@@ -0,0 +1,21 @@
+/**
+ * The generated header. Every emitted file opens the same way.
+ *
+ * What rule this enforces: never hand-edit a generated file — edit its source and re-emit. A
+ * header is the only warning a reader gets before they start typing, so it names the manifest that
+ * produced the file, the rules that contributed to it, and the exact command to regenerate it.
+ *
+ * What a caller must know: JSON cannot carry a `//` comment, so the same four facts go into a
+ * `$generated` key instead. Same information, per-format syntax — not a weaker guarantee.
+ */
+export type GeneratedMeta = {
+    by: 'archcheck';
+    source: string;
+    rules: string[];
+    regenerate: string;
+    doNotEdit: true;
+};
+export declare const REGENERATE_COMMAND = "npx archcheck emit";
+export declare function generatedMeta(source: string, ruleIds: readonly string[]): GeneratedMeta;
+export declare function commentHeader(source: string, ruleIds: readonly string[]): string;
+//# sourceMappingURL=header.d.ts.map

package/dist/emit/header.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"header.d.ts","sourceRoot":"","sources":["../../src/emit/header.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,MAAM,MAAM,aAAa,GAAG;IAC1B,EAAE,EAAE,WAAW,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,IAAI,CAAC;CACjB,CAAC;AAEF,eAAO,MAAM,kBAAkB,uBAAuB,CAAC;AAEvD,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,aAAa,CAQvF;AAED,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,CAQhF"}

package/dist/emit/header.js

@@ -0,0 +1,20 @@
+export const REGENERATE_COMMAND = 'npx archcheck emit';
+export function generatedMeta(source, ruleIds) {
+    return {
+        by: 'archcheck',
+        source,
+        rules: [...ruleIds].sort(),
+        regenerate: REGENERATE_COMMAND,
+        doNotEdit: true,
+    };
+}
+export function commentHeader(source, ruleIds) {
+    const rules = [...ruleIds].sort().join(', ');
+    return [
+        '// GENERATED BY archcheck — DO NOT EDIT',
+        `// source: ${source}`,
+        `// rules:  ${rules}`,
+        `// regenerate: ${REGENERATE_COMMAND}`,
+    ].join('\n');
+}
+//# sourceMappingURL=header.js.map

package/dist/emit/header.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"header.js","sourceRoot":"","sources":["../../src/emit/header.ts"],"names":[],"mappings":"AAkBA,MAAM,CAAC,MAAM,kBAAkB,GAAG,oBAAoB,CAAC;AAEvD,MAAM,UAAU,aAAa,CAAC,MAAc,EAAE,OAA0B;IACtE,OAAO;QACL,EAAE,EAAE,WAAW;QACf,MAAM;QACN,KAAK,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,EAAE;QAC1B,UAAU,EAAE,kBAAkB;QAC9B,SAAS,EAAE,IAAI;KAChB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,MAAc,EAAE,OAA0B;IACtE,MAAM,KAAK,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,OAAO;QACL,yCAAyC;QACzC,cAAc,MAAM,EAAE;QACtB,cAAc,KAAK,EAAE;QACrB,kBAAkB,kBAAkB,EAAE;KACvC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC"}

package/dist/emit/index.d.ts

@@ -0,0 +1,57 @@
+import type { ContractType } from '../contracts/types.js';
+import { type IdLedger } from '../registry/ids.js';
+import type { ContractKind, Coverage, Rule } from '../types.js';
+import { type SinkFile } from './merge.js';
+import { type EmitTarget, type StaleFile, type WrittenFile } from './write.js';
+export declare const DEFAULT_GENERATED_DIR = "generated";
+export type EmitPlan = {
+    files: SinkFile[];
+    unimplemented: ContractKind[];
+    target: EmitTarget;
+    /** Documents whose fenced region this manifest would replace. Paths are repo-relative. */
+    docs: {
+        path: string;
+        content: string;
+    }[];
+    /**
+     * Documents `manifest.docs` names that could not be read. `checkEmit` reports these as
+     * `unreadable` rather than dropping them: the operator named the file, so its absence is news,
+     * the same way `checkSinks` reports a sink that was never generated. A document that IS there
+     * and carries no fence is a different case and is left alone — `src/emit/emit.test.ts` →
+     * 'a document the manifest declares' pins both halves.
+     */
+    unreadableDocs: string[];
+};
+export type PlanOptions = {
+    root: string;
+    configPath: string;
+    rules: readonly Rule[];
+    coverage: Coverage;
+    generatedDir?: string;
+    /** Repo-relative documents holding an `archcheck:begin rules-table` fence. */
+    docs?: readonly string[];
+    contractFor(kind: ContractKind): ContractType | undefined;
+};
+export declare function planEmit(options: PlanOptions): EmitPlan;
+/**
+ * What `emit` says about a rule kind it generated no configuration for.
+ *
+ * `emit` is its own command: a CI lane that runs only `archcheck emit` sees neither
+ * `RunResult.skipped` nor `Coverage.unchecked`, so without this line a `forbidden` rule emits no
+ * fragment, prints nothing, and the editor configs the rule was declared for silently lack it.
+ * Same fact `collectFragments` records as `EmitPlan.unimplemented`, read from the rules alone
+ * because the CLI holds no plan. `src/emit/emit.test.ts` → 'describeUnimplemented' pins it.
+ */
+export declare function describeUnimplemented(rules: readonly Rule[]): string[];
+export type EmitOutcome = {
+    written: WrittenFile[];
+    ledgerPath: string;
+};
+/** Writes the sinks, and the id ledger that makes rule ids immutable. */
+export declare function applyEmit(plan: EmitPlan, ledger: IdLedger): EmitOutcome;
+export declare function checkEmit(plan: EmitPlan): StaleFile[];
+export { type CollectResult, collectFragments } from './collect.js';
+export { commentHeader, type GeneratedMeta, generatedMeta, REGENERATE_COMMAND } from './header.js';
+export { mergeBySink, SINK_PATHS, type SinkFile, sortDeep } from './merge.js';
+export { checkSinks, describeStale, type EmitTarget, type StaleFile, type WrittenFile, writeSinks, } from './write.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/emit/index.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAAE,YAAY,EAAW,MAAM,uBAAuB,CAAC;AAOnE,OAAO,EAAkB,KAAK,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AACnE,OAAO,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAGhE,OAAO,EAAe,KAAK,QAAQ,EAAE,MAAM,YAAY,CAAC;AACxD,OAAO,EAEL,KAAK,UAAU,EACf,KAAK,SAAS,EACd,KAAK,WAAW,EAEjB,MAAM,YAAY,CAAC;AAEpB,eAAO,MAAM,qBAAqB,cAAc,CAAC;AAEjD,MAAM,MAAM,QAAQ,GAAG;IACrB,KAAK,EAAE,QAAQ,EAAE,CAAC;IAClB,aAAa,EAAE,YAAY,EAAE,CAAC;IAC9B,MAAM,EAAE,UAAU,CAAC;IACnB,0FAA0F;IAC1F,IAAI,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC1C;;;;;;OAMG;IACH,cAAc,EAAE,MAAM,EAAE,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,SAAS,IAAI,EAAE,CAAC;IACvB,QAAQ,EAAE,QAAQ,CAAC;IACnB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,8EAA8E;IAC9E,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzB,WAAW,CAAC,IAAI,EAAE,YAAY,GAAG,YAAY,GAAG,SAAS,CAAC;CAC3D,CAAC;AAEF,wBAAgB,QAAQ,CAAC,OAAO,EAAE,WAAW,GAAG,QAAQ,CAuCvD;AAED;;;;;;;;GAQG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,GAAG,MAAM,EAAE,CActE;AAaD,MAAM,MAAM,WAAW,GAAG;IAAE,OAAO,EAAE,WAAW,EAAE,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE,CAAC;AAEzE,yEAAyE;AACzE,wBAAgB,SAAS,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,GAAG,WAAW,CAkBvE;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,QAAQ,GAAG,SAAS,EAAE,CAWrD;AAED,OAAO,EAAE,KAAK,aAAa,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AACpE,OAAO,EAAE,aAAa,EAAE,KAAK,aAAa,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAC;AACnG,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,KAAK,QAAQ,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAC9E,OAAO,EACL,UAAU,EACV,aAAa,EACb,KAAK,UAAU,EACf,KAAK,SAAS,EACd,KAAK,WAAW,EAChB,UAAU,GACX,MAAM,YAAY,CAAC"}