archcheck 0.2.0

package/dist/registry/validate.js

@@ -0,0 +1,160 @@
+/**
+ * Manifest validation. Total, and it never throws.
+ *
+ * What rule this enforces: a malformed manifest exits 2, never 1 (LLD §6). An agent must be able
+ * to tell "the config is broken" from "the code is broken", or it will spend its turn editing the
+ * wrong file. That means every problem is returned together — one pass, every field named —
+ * rather than thrown one at a time.
+ *
+ * What a caller must know: the per-kind params check is INJECTED, not imported. The registry knows
+ * that a rule has a kind; only the contract type knows what that kind's params mean. Wiring the
+ * two together is the facade's job, which keeps this module testable without any kind at all.
+ */
+import { err, ok } from '../result.js';
+import { CONTRACT_KINDS } from '../types.js';
+import { globProblems } from '../util/glob.js';
+const SEVERITIES = new Set(['error', 'warn', 'advisory', 'off']);
+const CONFIDENCES = new Set(['deterministic', 'proxy', 'model']);
+const ID_SHAPE = /^[a-z0-9]+(?:-[a-z0-9]+)*$/;
+/**
+ * Where each kind spells a path glob. A table rather than a per-kind branch, and it is still only
+ * WHERE, never what the field means — the registry knows a rule has a kind and nothing more (see
+ * this module's header). A kind absent from the table simply names no globs.
+ */
+const GLOB_FIELDS = {
+    layers: ['match'],
+    encapsulation: ['module'],
+    naming: ['appliesTo'],
+    'banned-syntax': ['appliesTo'],
+    'declared-field': ['appliesTo'],
+    judgement: ['appliesTo'],
+    'required-file': ['forEach'],
+};
+/**
+ * A `required-file` `forEach` may be `rule[severity=error]`, which selects RULES, not paths.
+ * Recognised here by its prefix rather than by importing `isRuleSelector`
+ * (`src/contracts/required-file.ts`), because `registry-knows-only-rules` in
+ * `architecture.config.ts` forbids `src/registry` importing `src/contracts` — and duplicating a
+ * five-character prefix is far cheaper than the alternative the layer law is protecting against.
+ * Deliberately looser than the real selector regex: anything selector-SHAPED is left alone here,
+ * and the kind's own validate owns the grammar.
+ */
+const RULE_SELECTOR_PREFIX = 'rule[';
+/** A glob field is a string or a list of them; `layers.match` may instead be `{ implements }`. */
+function globsIn(value) {
+    if (typeof value === 'string')
+        return [value];
+    if (Array.isArray(value))
+        return value.filter((entry) => typeof entry === 'string');
+    // `{ implements: 'Port' }` names a type, not a path. Any other shape is the kind's to complain
+    // about; this pass only checks patterns that really are patterns.
+    return [];
+}
+function checkGlobs(field, value, push) {
+    for (const pattern of globsIn(value)) {
+        if (pattern.startsWith(RULE_SELECTOR_PREFIX))
+            continue;
+        for (const problem of globProblems(pattern)) {
+            push(field, `pattern '${pattern}' ${problem}`);
+        }
+    }
+}
+function at(index, id) {
+    return typeof id === 'string' && id.length > 0 ? `rules[${index}] '${id}'` : `rules[${index}]`;
+}
+function validateRule(rule, index, validateParams, allRules) {
+    const where = at(index, rule?.id);
+    const errors = [];
+    const push = (field, problem) => errors.push(`${where}: ${field} ${problem}`);
+    if (typeof rule?.id !== 'string' || rule.id.length === 0) {
+        push('id', 'is required and must be a non-empty string');
+    }
+    else if (!ID_SHAPE.test(rule.id)) {
+        push('id', `must be kebab-case (got '${rule.id}') — ids appear in baselines and annotations`);
+    }
+    if (!CONTRACT_KINDS.includes(rule?.kind)) {
+        push('kind', `must be one of ${CONTRACT_KINDS.join(', ')} (got ${JSON.stringify(rule?.kind)})`);
+    }
+    if (typeof rule?.statement !== 'string' || rule.statement.trim().length === 0) {
+        push('statement', 'is required — it is the sentence the editor shows');
+    }
+    if (!SEVERITIES.has(rule?.severity)) {
+        push('severity', `must be error | warn | advisory | off (got ${JSON.stringify(rule?.severity)})`);
+    }
+    if (!CONFIDENCES.has(rule?.confidence)) {
+        push('confidence', `must be deterministic | proxy | model (got ${JSON.stringify(rule?.confidence)})`);
+    }
+    if (typeof rule?.remedy?.summary !== 'string' || rule.remedy.summary.trim().length === 0) {
+        push('remedy.summary', 'is required — a finding without a remedy makes the reader guess');
+    }
+    if (typeof rule?.params !== 'object' || rule.params === null || Array.isArray(rule.params)) {
+        push('params', 'must be an object');
+    }
+    if (rule?.expires !== undefined) {
+        if (!/^\d{4}-\d{2}-\d{2}$/.test(rule.expires)) {
+            push('expires', `must be an ISO date, YYYY-MM-DD (got '${rule.expires}')`);
+        }
+        if (typeof rule.owner !== 'string' || rule.owner.length === 0) {
+            push('owner', 'is required whenever expires is set — an unowned allowance is never reviewed');
+        }
+    }
+    // Only ask the kind about params once the envelope is sound; otherwise the kind's complaint
+    // is noise on top of a rule that is already malformed.
+    if (errors.length === 0) {
+        const kindResult = validateParams(rule, allRules);
+        if (!kindResult.ok)
+            for (const problem of kindResult.error)
+                errors.push(`${where}: ${problem}`);
+    }
+    // Glob well-formedness, in the SHARED pass rather than in any kind's validate: a malformed
+    // pattern matches nothing, and outside `layers.match` a rule that matches nothing is
+    // indistinguishable from a rule that passes (AGENTS.md rule 14). Here, every present and future
+    // kind gets the check without opting in. Last, so a bad pattern never hides the kind's own
+    // complaints. `globProblems` (src/util/glob.ts) decides what counts as malformed.
+    if (typeof rule?.params === 'object' && rule.params !== null) {
+        const params = rule.params;
+        for (const field of GLOB_FIELDS[rule.kind] ?? []) {
+            checkGlobs(`params.${field}`, params[field], push);
+        }
+    }
+    return errors;
+}
+export function validateManifest(manifest, validateParams) {
+    const errors = [];
+    if (typeof manifest !== 'object' || manifest === null) {
+        return err(['the manifest must export a defineArchitecture({ ... }) object as its default']);
+    }
+    if (!Array.isArray(manifest.rules)) {
+        return err(['manifest.rules must be an array — it is the only place a rule is defined']);
+    }
+    const seen = new Map();
+    for (const [index, rule] of manifest.rules.entries()) {
+        errors.push(...validateRule(rule, index, validateParams, manifest.rules));
+        const id = rule?.id;
+        if (typeof id === 'string') {
+            const first = seen.get(id);
+            if (first !== undefined) {
+                errors.push(`rules[${index}] '${id}': duplicate id — already defined at rules[${first}]`);
+            }
+            else {
+                seen.set(id, index);
+            }
+        }
+    }
+    for (const [index, rule] of manifest.rules.entries()) {
+        if (rule?.replaces !== undefined && seen.has(rule.replaces)) {
+            errors.push(`rules[${index}] '${rule.id}': replaces '${rule.replaces}', which still exists — ` +
+                'a replaced id must be gone, or nothing was replaced');
+        }
+    }
+    // An exception's `path` is a glob like any other, and an exception that matches nothing suppresses
+    // nothing while still reading as a granted allowance. The rest of the exception's shape belongs to
+    // `validateExceptions` (src/exceptions/index.ts); only the pattern is checked here, so the glob
+    // check stays in one place for every field of the manifest.
+    const exceptions = Array.isArray(manifest.exceptions) ? manifest.exceptions : [];
+    for (const [index, exception] of exceptions.entries()) {
+        checkGlobs('path', exception?.path, (field, problem) => errors.push(`exceptions[${index}]: ${field} ${problem}`));
+    }
+    return errors.length > 0 ? err(errors) : ok(manifest);
+}
+//# sourceMappingURL=validate.js.map

package/dist/registry/validate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../src/registry/validate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,EAAE,GAAG,EAAE,EAAE,EAAe,MAAM,cAAc,CAAC;AACpD,OAAO,EAAE,cAAc,EAAgC,MAAM,aAAa,CAAC;AAC3E,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAW/C,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC;AACjE,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,CAAC,eAAe,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;AACjE,MAAM,QAAQ,GAAG,4BAA4B,CAAC;AAE9C;;;;GAIG;AACH,MAAM,WAAW,GAAqD;IACpE,MAAM,EAAE,CAAC,OAAO,CAAC;IACjB,aAAa,EAAE,CAAC,QAAQ,CAAC;IACzB,MAAM,EAAE,CAAC,WAAW,CAAC;IACrB,eAAe,EAAE,CAAC,WAAW,CAAC;IAC9B,gBAAgB,EAAE,CAAC,WAAW,CAAC;IAC/B,SAAS,EAAE,CAAC,WAAW,CAAC;IACxB,eAAe,EAAE,CAAC,SAAS,CAAC;CAC7B,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,oBAAoB,GAAG,OAAO,CAAC;AAErC,kGAAkG;AAClG,SAAS,OAAO,CAAC,KAAc;IAC7B,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,CAAC,KAAK,CAAC,CAAC;IAC9C,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC;IACpF,+FAA+F;IAC/F,kEAAkE;IAClE,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,UAAU,CACjB,KAAa,EACb,KAAc,EACd,IAA8C;IAE9C,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,IAAI,OAAO,CAAC,UAAU,CAAC,oBAAoB,CAAC;YAAE,SAAS;QACvD,KAAK,MAAM,OAAO,IAAI,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC;YAC5C,IAAI,CAAC,KAAK,EAAE,YAAY,OAAO,KAAK,OAAO,EAAE,CAAC,CAAC;QACjD,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,EAAE,CAAC,KAAa,EAAE,EAAW;IACpC,OAAO,OAAO,EAAE,KAAK,QAAQ,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,SAAS,KAAK,GAAG,CAAC;AACjG,CAAC;AAED,SAAS,YAAY,CACnB,IAAU,EACV,KAAa,EACb,cAA+B,EAC/B,QAAyB;IAEzB,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;IAClC,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,IAAI,GAAG,CAAC,KAAa,EAAE,OAAe,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,KAAK,KAAK,IAAI,OAAO,EAAE,CAAC,CAAC;IAE9F,IAAI,OAAO,IAAI,EAAE,EAAE,KAAK,QAAQ,IAAI,IAAI,CAAC,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzD,IAAI,CAAC,IAAI,EAAE,4CAA4C,CAAC,CAAC;IAC3D,CAAC;SAAM,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;QACnC,IAAI,CAAC,IAAI,EAAE,4BAA4B,IAAI,CAAC,EAAE,8CAA8C,CAAC,CAAC;IAChG,CAAC;IAED,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;QACzC,IAAI,CAAC,MAAM,EAAE,kBAAkB,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;IAClG,CAAC;IAED,IAAI,OAAO,IAAI,EAAE,SAAS,KAAK,QAAQ,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9E,IAAI,CAAC,WAAW,EAAE,mDAAmD,CAAC,CAAC;IACzE,CAAC;IAED,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;QACpC,IAAI,CACF,UAAU,EACV,8CAA8C,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,GAAG,CAChF,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,CAAC;QACvC,IAAI,CACF,YAAY,EACZ,8CAA8C,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,CAClF,CAAC;IACJ,CAAC;IAED,IAAI,OAAO,IAAI,EAAE,MAAM,EAAE,OAAO,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzF,IAAI,CAAC,gBAAgB,EAAE,iEAAiE,CAAC,CAAC;IAC5F,CAAC;IAED,IAAI,OAAO,IAAI,EAAE,MAAM,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3F,IAAI,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC;IACtC,CAAC;IAED,IAAI,IAAI,EAAE,OAAO,KAAK,SAAS,EAAE,CAAC;QAChC,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YAC9C,IAAI,CAAC,SAAS,EAAE,yCAAyC,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC;QAC7E,CAAC;QACD,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9D,IAAI,CAAC,OAAO,EAAE,8EAA8E,CAAC,CAAC;QAChG,CAAC;IACH,CAAC;IAED,4FAA4F;IAC5F,uDAAuD;IACvD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,MAAM,UAAU,GAAG,cAAc,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAClD,IAAI,CAAC,UAAU,CAAC,EAAE;YAAE,KAAK,MAAM,OAAO,IAAI,UAAU,CAAC,KAAK;gBAAE,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,KAAK,OAAO,EAAE,CAAC,CAAC;IAClG,CAAC;IAED,2FAA2F;IAC3F,qFAAqF;IACrF,gGAAgG;IAChG,2FAA2F;IAC3F,kFAAkF;IAClF,IAAI,OAAO,IAAI,EAAE,MAAM,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;QAC7D,MAAM,MAAM,GAAG,IAAI,CAAC,MAAiC,CAAC;QACtD,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YACjD,UAAU,CAAC,UAAU,KAAK,EAAE,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;QACrD,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,QAA8B,EAC9B,cAA+B;IAE/B,MAAM,MAAM,GAAa,EAAE,CAAC;IAE5B,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtD,OAAO,GAAG,CAAC,CAAC,8EAA8E,CAAC,CAAC,CAAC;IAC/F,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACnC,OAAO,GAAG,CAAC,CAAC,0EAA0E,CAAC,CAAC,CAAC;IAC3F,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QACrD,MAAM,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,IAAI,EAAE,KAAK,EAAE,cAAc,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1E,MAAM,EAAE,GAAG,IAAI,EAAE,EAAE,CAAC;QACpB,IAAI,OAAO,EAAE,KAAK,QAAQ,EAAE,CAAC;YAC3B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC3B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,MAAM,CAAC,IAAI,CAAC,SAAS,KAAK,MAAM,EAAE,8CAA8C,KAAK,GAAG,CAAC,CAAC;YAC5F,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YACtB,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QACrD,IAAI,IAAI,EAAE,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC5D,MAAM,CAAC,IAAI,CACT,SAAS,KAAK,MAAM,IAAI,CAAC,EAAE,gBAAgB,IAAI,CAAC,QAAQ,0BAA0B;gBAChF,qDAAqD,CACxD,CAAC;QACJ,CAAC;IACH,CAAC;IAED,mGAAmG;IACnG,mGAAmG;IACnG,gGAAgG;IAChG,4DAA4D;IAC5D,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;IACjF,KAAK,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;QACtD,UAAU,CAAC,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,CACrD,MAAM,CAAC,IAAI,CAAC,cAAc,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC,CACzD,CAAC;IACJ,CAAC;IAED,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;AACxD,CAAC"}

package/dist/report/index.d.ts

@@ -0,0 +1,10 @@
+import type { Reporter } from './types.js';
+export type ReporterName = 'terminal' | 'json' | 'json-pretty' | 'sarif' | 'verdict';
+export declare function reporterFor(name: ReporterName): Reporter;
+export declare function reporterNames(): readonly ReporterName[];
+export { createJsonReporter, type JsonReport, toJsonReport } from './json.js';
+export { createSarifReporter, SARIF_VERSION, toSarif } from './sarif.js';
+export { createTerminalReporter } from './terminal.js';
+export { CONFIDENCE_ORDER, type ReportCtx, type Reporter, visible } from './types.js';
+export { createVerdictReporter, type Verdict, verdictFor } from './verdict.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/report/index.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAG3C,MAAM,MAAM,YAAY,GAAG,UAAU,GAAG,MAAM,GAAG,aAAa,GAAG,OAAO,GAAG,SAAS,CAAC;AAErF,wBAAgB,WAAW,CAAC,IAAI,EAAE,YAAY,GAAG,QAAQ,CAaxD;AAED,wBAAgB,aAAa,IAAI,SAAS,YAAY,EAAE,CAEvD;AAED,OAAO,EAAE,kBAAkB,EAAE,KAAK,UAAU,EAAE,YAAY,EAAE,MAAM,WAAW,CAAC;AAC9E,OAAO,EAAE,mBAAmB,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AACzE,OAAO,EAAE,sBAAsB,EAAE,MAAM,eAAe,CAAC;AACvD,OAAO,EAAE,gBAAgB,EAAE,KAAK,SAAS,EAAE,KAAK,QAAQ,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AACtF,OAAO,EAAE,qBAAqB,EAAE,KAAK,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC"}

package/dist/report/index.js

@@ -0,0 +1,30 @@
+/**
+ * The reporter registry. A new audience is one entry here and nothing else.
+ */
+import { createJsonReporter } from './json.js';
+import { createSarifReporter } from './sarif.js';
+import { createTerminalReporter } from './terminal.js';
+import { createVerdictReporter } from './verdict.js';
+export function reporterFor(name) {
+    switch (name) {
+        case 'json':
+            return createJsonReporter();
+        case 'json-pretty':
+            return createJsonReporter({ pretty: true });
+        case 'sarif':
+            return createSarifReporter();
+        case 'verdict':
+            return createVerdictReporter();
+        case 'terminal':
+            return createTerminalReporter();
+    }
+}
+export function reporterNames() {
+    return ['terminal', 'json', 'json-pretty', 'sarif', 'verdict'];
+}
+export { createJsonReporter, toJsonReport } from './json.js';
+export { createSarifReporter, SARIF_VERSION, toSarif } from './sarif.js';
+export { createTerminalReporter } from './terminal.js';
+export { CONFIDENCE_ORDER, visible } from './types.js';
+export { createVerdictReporter, verdictFor } from './verdict.js';
+//# sourceMappingURL=index.js.map

package/dist/report/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/report/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,OAAO,EAAE,kBAAkB,EAAE,MAAM,WAAW,CAAC;AAC/C,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AACjD,OAAO,EAAE,sBAAsB,EAAE,MAAM,eAAe,CAAC;AAEvD,OAAO,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AAIrD,MAAM,UAAU,WAAW,CAAC,IAAkB;IAC5C,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,MAAM;YACT,OAAO,kBAAkB,EAAE,CAAC;QAC9B,KAAK,aAAa;YAChB,OAAO,kBAAkB,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9C,KAAK,OAAO;YACV,OAAO,mBAAmB,EAAE,CAAC;QAC/B,KAAK,SAAS;YACZ,OAAO,qBAAqB,EAAE,CAAC;QACjC,KAAK,UAAU;YACb,OAAO,sBAAsB,EAAE,CAAC;IACpC,CAAC;AACH,CAAC;AAED,MAAM,UAAU,aAAa;IAC3B,OAAO,CAAC,UAAU,EAAE,MAAM,EAAE,aAAa,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;AACjE,CAAC;AAED,OAAO,EAAE,kBAAkB,EAAmB,YAAY,EAAE,MAAM,WAAW,CAAC;AAC9E,OAAO,EAAE,mBAAmB,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AACzE,OAAO,EAAE,sBAAsB,EAAE,MAAM,eAAe,CAAC;AACvD,OAAO,EAAE,gBAAgB,EAAiC,OAAO,EAAE,MAAM,YAAY,CAAC;AACtF,OAAO,EAAE,qBAAqB,EAAgB,UAAU,EAAE,MAAM,cAAc,CAAC"}

package/dist/report/json.d.ts

@@ -0,0 +1,20 @@
+/**
+ * The JSON reporter — the agent contract.
+ *
+ * What rule this enforces: three properties, each of which an agent depends on (plan 08).
+ *   1. `schemaVersion` is always present, so a consumer knows what it is reading.
+ *   2. `skipped` is always present, even when empty — an agent must be able to tell "clean" from
+ *      "did not run". A missing key is the difference between "no violations" and "no check".
+ *   3. Not pretty-printed by default. It is a wire format; a human who wants to read it pipes it.
+ */
+import type { RunResult } from '../types.js';
+import { SCHEMA_VERSION } from '../version.js';
+import type { ReportCtx, Reporter } from './types.js';
+export type JsonReport = RunResult & {
+    schemaVersion: typeof SCHEMA_VERSION;
+};
+export declare function toJsonReport(result: RunResult, ctx: ReportCtx): JsonReport;
+export declare function createJsonReporter(options?: {
+    pretty?: boolean;
+}): Reporter;
+//# sourceMappingURL=json.d.ts.map

package/dist/report/json.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"json.d.ts","sourceRoot":"","sources":["../../src/report/json.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC/C,OAAO,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAGtD,MAAM,MAAM,UAAU,GAAG,SAAS,GAAG;IAAE,aAAa,EAAE,OAAO,cAAc,CAAA;CAAE,CAAC;AAE9E,wBAAgB,YAAY,CAAC,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,GAAG,UAAU,CAY1E;AAED,wBAAgB,kBAAkB,CAAC,OAAO,GAAE;IAAE,MAAM,CAAC,EAAE,OAAO,CAAA;CAAO,GAAG,QAAQ,CAQ/E"}

package/dist/report/json.js

@@ -0,0 +1,34 @@
+/**
+ * The JSON reporter — the agent contract.
+ *
+ * What rule this enforces: three properties, each of which an agent depends on (plan 08).
+ *   1. `schemaVersion` is always present, so a consumer knows what it is reading.
+ *   2. `skipped` is always present, even when empty — an agent must be able to tell "clean" from
+ *      "did not run". A missing key is the difference between "no violations" and "no check".
+ *   3. Not pretty-printed by default. It is a wire format; a human who wants to read it pipes it.
+ */
+import { SCHEMA_VERSION } from '../version.js';
+import { visible } from './types.js';
+export function toJsonReport(result, ctx) {
+    return {
+        schemaVersion: SCHEMA_VERSION,
+        ok: result.ok,
+        diagnostics: visible(result, ctx),
+        skipped: result.skipped,
+        coverage: result.coverage,
+        // Both are present even when empty. An agent distinguishing "clean" from "the baseline needs
+        // pruning" from "an exception expired" needs all three states, and a missing key gives it one.
+        baselineStale: result.baselineStale,
+        exceptions: result.exceptions,
+    };
+}
+export function createJsonReporter(options = {}) {
+    return {
+        name: 'json',
+        async report(result, ctx) {
+            const report = toJsonReport(result, ctx);
+            return `${JSON.stringify(report, null, options.pretty === true ? 2 : undefined)}\n`;
+        },
+    };
+}
+//# sourceMappingURL=json.js.map

package/dist/report/json.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"json.js","sourceRoot":"","sources":["../../src/report/json.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAE/C,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAIrC,MAAM,UAAU,YAAY,CAAC,MAAiB,EAAE,GAAc;IAC5D,OAAO;QACL,aAAa,EAAE,cAAc;QAC7B,EAAE,EAAE,MAAM,CAAC,EAAE;QACb,WAAW,EAAE,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC;QACjC,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,6FAA6F;QAC7F,+FAA+F;QAC/F,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,UAAU,EAAE,MAAM,CAAC,UAAU;KAC9B,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,UAAgC,EAAE;IACnE,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,KAAK,CAAC,MAAM,CAAC,MAAiB,EAAE,GAAc;YAC5C,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YACzC,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC;QACtF,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/report/sarif.d.ts

@@ -0,0 +1,21 @@
+/**
+ * The SARIF reporter — the CI and editor format.
+ *
+ * Why this and not our own shape: code scanning, editor viewers and run-to-run diffing all consume
+ * SARIF natively. Writing it once is cheaper than any one of those integrations (LLD §1.10).
+ *
+ * What rule this enforces: the PROPERTIES BAG carries what SARIF has no field for — confidence,
+ * the identity hash, the remedy, and whether a finding is baselined or exempted. Anything reading
+ * plain SARIF still gets file, line, rule and message, so nothing is lost either way.
+ *
+ * Severity mapping is opinionated and deliberate:
+ *   error → error · warn → warning · advisory → note
+ * A model verdict therefore lands as a `note` in CI whatever its rule severity says, which is the
+ * advisory-by-default policy expressed where CI can actually see it.
+ */
+import type { RunResult } from '../types.js';
+import type { ReportCtx, Reporter } from './types.js';
+export declare const SARIF_VERSION = "2.1.0";
+export declare function toSarif(result: RunResult, ctx: ReportCtx): Record<string, unknown>;
+export declare function createSarifReporter(): Reporter;
+//# sourceMappingURL=sarif.d.ts.map

package/dist/report/sarif.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sarif.d.ts","sourceRoot":"","sources":["../../src/report/sarif.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,OAAO,KAAK,EAA0B,SAAS,EAAY,MAAM,aAAa,CAAC;AAC/E,OAAO,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAGtD,eAAO,MAAM,aAAa,UAAU,CAAC;AAiDrC,wBAAgB,OAAO,CAAC,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAmFlF;AAED,wBAAgB,mBAAmB,IAAI,QAAQ,CAO9C"}

package/dist/report/sarif.js

@@ -0,0 +1,138 @@
+import { visible } from './types.js';
+export const SARIF_VERSION = '2.1.0';
+const SARIF_SCHEMA = 'https://json.schemastore.org/sarif-2.1.0.json';
+const BY_SEVERITY = {
+    error: 'error',
+    warn: 'warning',
+    advisory: 'note',
+    off: 'none',
+};
+/**
+ * A MODEL verdict is never worse than a note, whatever its rule severity says. Promoting a
+ * judgement rule to `error` is allowed — it is policy — but a non-deterministic gate that blocks
+ * CI is how a check suite loses trust, so the ceiling is applied here, where CI can see it.
+ */
+function levelFor(severity, confidence) {
+    const level = BY_SEVERITY[severity];
+    if (confidence !== 'model')
+        return level;
+    return level === 'error' || level === 'warning' ? 'note' : level;
+}
+function ruleDescriptorsFor(diagnostics) {
+    const byRule = new Map();
+    for (const diagnostic of diagnostics) {
+        if (!byRule.has(diagnostic.ruleId))
+            byRule.set(diagnostic.ruleId, diagnostic);
+    }
+    return [...byRule.entries()]
+        .sort(([a], [b]) => a.localeCompare(b))
+        .map(([ruleId, diagnostic]) => ({
+        id: ruleId,
+        name: ruleId,
+        shortDescription: { text: diagnostic.statement },
+        fullDescription: { text: `${diagnostic.statement} — ${diagnostic.remedy.summary}` },
+        help: {
+            text: diagnostic.remedy.summary,
+            ...(diagnostic.remedy.docs === undefined
+                ? {}
+                : { markdown: `[docs](${diagnostic.remedy.docs})` }),
+        },
+        defaultConfiguration: { level: levelFor(diagnostic.severity, diagnostic.confidence) },
+        properties: {
+            confidence: diagnostic.confidence,
+            ...(diagnostic.remedy.allowed === undefined ? {} : { allowed: diagnostic.remedy.allowed }),
+        },
+    }));
+}
+export function toSarif(result, ctx) {
+    // Baselined and exempted findings are INCLUDED here, marked rather than dropped. CI is where a
+    // reviewer looks at suppressed debt, and a format that hides it makes the suppression invisible.
+    const diagnostics = visible(result, { ...ctx, showBaselined: true });
+    return {
+        $schema: SARIF_SCHEMA,
+        version: SARIF_VERSION,
+        runs: [
+            {
+                tool: {
+                    driver: {
+                        name: 'archcheck',
+                        informationUri: 'https://github.com/miteshsharma/archcheck',
+                        rules: ruleDescriptorsFor(diagnostics),
+                    },
+                },
+                results: diagnostics.map((diagnostic) => ({
+                    ruleId: diagnostic.ruleId,
+                    level: levelFor(diagnostic.severity, diagnostic.confidence),
+                    message: { text: `${diagnostic.statement} — ${diagnostic.remedy.summary}` },
+                    locations: [
+                        {
+                            physicalLocation: {
+                                artifactLocation: { uri: diagnostic.file },
+                                ...(diagnostic.line === undefined
+                                    ? {}
+                                    : {
+                                        region: {
+                                            startLine: diagnostic.line,
+                                            ...(diagnostic.col === undefined ? {} : { startColumn: diagnostic.col }),
+                                            ...(diagnostic.endLine === undefined
+                                                ? {}
+                                                : { endLine: diagnostic.endLine }),
+                                        },
+                                    }),
+                            },
+                        },
+                    ],
+                    // A suppressed finding is reported to SARIF as suppressed, which is the field consumers
+                    // already understand — rather than being silently absent.
+                    ...(diagnostic.baselined || diagnostic.exempted
+                        ? {
+                            suppressions: [
+                                {
+                                    kind: 'external',
+                                    justification: diagnostic.exempted
+                                        ? 'covered by a declared exception in architecture.config.ts'
+                                        : 'recorded in .archcheck/baseline.json as pre-existing',
+                                },
+                            ],
+                        }
+                        : {}),
+                    partialFingerprints: { archcheckIdentity: diagnostic.identity },
+                    properties: {
+                        confidence: diagnostic.confidence,
+                        severity: diagnostic.severity,
+                        identity: diagnostic.identity,
+                        detectedBy: diagnostic.detectedBy,
+                        baselined: diagnostic.baselined,
+                        exempted: diagnostic.exempted,
+                        // SARIF has no field for "this result stands for N of the same thing", so the count
+                        // and its lines ride in the properties bag like our other extras.
+                        occurrences: diagnostic.occurrences ?? 1,
+                        occurrenceLines: diagnostic.occurrenceLines ?? [],
+                        remedy: diagnostic.remedy,
+                        evidence: diagnostic.evidence,
+                    },
+                })),
+                invocations: [
+                    {
+                        executionSuccessful: result.ok,
+                        properties: {
+                            coverage: result.coverage,
+                            skipped: result.skipped,
+                            baselineStale: result.baselineStale,
+                            exceptions: result.exceptions,
+                        },
+                    },
+                ],
+            },
+        ],
+    };
+}
+export function createSarifReporter() {
+    return {
+        name: 'sarif',
+        async report(result, ctx) {
+            return `${JSON.stringify(toSarif(result, ctx), null, 2)}\n`;
+        },
+    };
+}
+//# sourceMappingURL=sarif.js.map

package/dist/report/sarif.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sarif.js","sourceRoot":"","sources":["../../src/report/sarif.ts"],"names":[],"mappings":"AAiBA,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAErC,MAAM,CAAC,MAAM,aAAa,GAAG,OAAO,CAAC;AACrC,MAAM,YAAY,GAAG,+CAA+C,CAAC;AAIrE,MAAM,WAAW,GAAiC;IAChD,KAAK,EAAE,OAAO;IACd,IAAI,EAAE,SAAS;IACf,QAAQ,EAAE,MAAM;IAChB,GAAG,EAAE,MAAM;CACZ,CAAC;AAEF;;;;GAIG;AACH,SAAS,QAAQ,CAAC,QAAkB,EAAE,UAAsB;IAC1D,MAAM,KAAK,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;IACpC,IAAI,UAAU,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC;IACzC,OAAO,KAAK,KAAK,OAAO,IAAI,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;AACnE,CAAC;AAED,SAAS,kBAAkB,CAAC,WAAkC;IAC5D,MAAM,MAAM,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC7C,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAChF,CAAC;IACD,OAAO,CAAC,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC;SACzB,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;SACtC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9B,EAAE,EAAE,MAAM;QACV,IAAI,EAAE,MAAM;QACZ,gBAAgB,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,SAAS,EAAE;QAChD,eAAe,EAAE,EAAE,IAAI,EAAE,GAAG,UAAU,CAAC,SAAS,MAAM,UAAU,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE;QACnF,IAAI,EAAE;YACJ,IAAI,EAAE,UAAU,CAAC,MAAM,CAAC,OAAO;YAC/B,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS;gBACtC,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,EAAE,QAAQ,EAAE,UAAU,UAAU,CAAC,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;SACvD;QACD,oBAAoB,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,UAAU,CAAC,QAAQ,EAAE,UAAU,CAAC,UAAU,CAAC,EAAE;QACrF,UAAU,EAAE;YACV,UAAU,EAAE,UAAU,CAAC,UAAU;YACjC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,UAAU,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;SAC3F;KACF,CAAC,CAAC,CAAC;AACR,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,MAAiB,EAAE,GAAc;IACvD,+FAA+F;IAC/F,iGAAiG;IACjG,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,EAAE,EAAE,GAAG,GAAG,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;IAErE,OAAO;QACL,OAAO,EAAE,YAAY;QACrB,OAAO,EAAE,aAAa;QACtB,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE;oBACJ,MAAM,EAAE;wBACN,IAAI,EAAE,WAAW;wBACjB,cAAc,EAAE,2CAA2C;wBAC3D,KAAK,EAAE,kBAAkB,CAAC,WAAW,CAAC;qBACvC;iBACF;gBACD,OAAO,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;oBACxC,MAAM,EAAE,UAAU,CAAC,MAAM;oBACzB,KAAK,EAAE,QAAQ,CAAC,UAAU,CAAC,QAAQ,EAAE,UAAU,CAAC,UAAU,CAAC;oBAC3D,OAAO,EAAE,EAAE,IAAI,EAAE,GAAG,UAAU,CAAC,SAAS,MAAM,UAAU,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE;oBAC3E,SAAS,EAAE;wBACT;4BACE,gBAAgB,EAAE;gCAChB,gBAAgB,EAAE,EAAE,GAAG,EAAE,UAAU,CAAC,IAAI,EAAE;gCAC1C,GAAG,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS;oCAC/B,CAAC,CAAC,EAAE;oCACJ,CAAC,CAAC;wCACE,MAAM,EAAE;4CACN,SAAS,EAAE,UAAU,CAAC,IAAI;4CAC1B,GAAG,CAAC,UAAU,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,UAAU,CAAC,GAAG,EAAE,CAAC;4CACxE,GAAG,CAAC,UAAU,CAAC,OAAO,KAAK,SAAS;gDAClC,CAAC,CAAC,EAAE;gDACJ,CAAC,CAAC,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,CAAC;yCACrC;qCACF,CAAC;6BACP;yBACF;qBACF;oBACD,wFAAwF;oBACxF,0DAA0D;oBAC1D,GAAG,CAAC,UAAU,CAAC,SAAS,IAAI,UAAU,CAAC,QAAQ;wBAC7C,CAAC,CAAC;4BACE,YAAY,EAAE;gCACZ;oCACE,IAAI,EAAE,UAAU;oCAChB,aAAa,EAAE,UAAU,CAAC,QAAQ;wCAChC,CAAC,CAAC,2DAA2D;wCAC7D,CAAC,CAAC,sDAAsD;iCAC3D;6BACF;yBACF;wBACH,CAAC,CAAC,EAAE,CAAC;oBACP,mBAAmB,EAAE,EAAE,iBAAiB,EAAE,UAAU,CAAC,QAAQ,EAAE;oBAC/D,UAAU,EAAE;wBACV,UAAU,EAAE,UAAU,CAAC,UAAU;wBACjC,QAAQ,EAAE,UAAU,CAAC,QAAQ;wBAC7B,QAAQ,EAAE,UAAU,CAAC,QAAQ;wBAC7B,UAAU,EAAE,UAAU,CAAC,UAAU;wBACjC,SAAS,EAAE,UAAU,CAAC,SAAS;wBAC/B,QAAQ,EAAE,UAAU,CAAC,QAAQ;wBAC7B,oFAAoF;wBACpF,kEAAkE;wBAClE,WAAW,EAAE,UAAU,CAAC,WAAW,IAAI,CAAC;wBACxC,eAAe,EAAE,UAAU,CAAC,eAAe,IAAI,EAAE;wBACjD,MAAM,EAAE,UAAU,CAAC,MAAM;wBACzB,QAAQ,EAAE,UAAU,CAAC,QAAQ;qBAC9B;iBACF,CAAC,CAAC;gBACH,WAAW,EAAE;oBACX;wBACE,mBAAmB,EAAE,MAAM,CAAC,EAAE;wBAC9B,UAAU,EAAE;4BACV,QAAQ,EAAE,MAAM,CAAC,QAAQ;4BACzB,OAAO,EAAE,MAAM,CAAC,OAAO;4BACvB,aAAa,EAAE,MAAM,CAAC,aAAa;4BACnC,UAAU,EAAE,MAAM,CAAC,UAAU;yBAC9B;qBACF;iBACF;aACF;SACF;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,mBAAmB;IACjC,OAAO;QACL,IAAI,EAAE,OAAO;QACb,KAAK,CAAC,MAAM,CAAC,MAAiB,EAAE,GAAc;YAC5C,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;QAC9D,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/report/terminal.d.ts

@@ -0,0 +1,3 @@
+import { type Reporter } from './types.js';
+export declare function createTerminalReporter(): Reporter;
+//# sourceMappingURL=terminal.d.ts.map

package/dist/report/terminal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"terminal.d.ts","sourceRoot":"","sources":["../../src/report/terminal.ts"],"names":[],"mappings":"AAWA,OAAO,EAAoC,KAAK,QAAQ,EAAW,MAAM,YAAY,CAAC;AAuDtF,wBAAgB,sBAAsB,IAAI,QAAQ,CAgGjD"}

package/dist/report/terminal.js

@@ -0,0 +1,117 @@
+import { CONFIDENCE_ORDER, visible } from './types.js';
+const MARK = { deterministic: '✗', proxy: '◑', model: '○' };
+const LABEL = {
+    deterministic: 'deterministic',
+    proxy: 'proxy · the check is narrower than the rule',
+    model: 'advisory',
+};
+function palette(noColor) {
+    const wrap = (code) => (text) => noColor ? text : `\u001B[${code}m${text}\u001B[0m`;
+    return { dim: wrap('2'), bold: wrap('1'), red: wrap('31'), yellow: wrap('33') };
+}
+function groupOf(diagnostics, confidence) {
+    return diagnostics.filter((d) => d.confidence === confidence);
+}
+function renderOne(diagnostic, dim) {
+    const position = diagnostic.line === undefined ? '' : `:${diagnostic.line}`;
+    // padEnd alone collides when the statement is longer than the column, so the gap is explicit.
+    const statement = diagnostic.statement.padEnd(50);
+    // Severity is stated per finding, not only per group. Groups are ordered by CONFIDENCE, so a
+    // `warn` rule appears under the deterministic heading beside a blocking one — and a reader who
+    // sees only the ✗ concludes the build is broken when the exit code says it is not. That
+    // misreading lands squarely on the adoption path, where most rules start at `warn`.
+    const blocks = diagnostic.severity === 'error';
+    const tag = blocks ? '' : ` ${dim(`(${diagnostic.severity})`)}`;
+    const lines = [
+        `  ${statement}${statement.endsWith(' ') ? '' : '  '}${dim(diagnostic.ruleId)}${tag}`,
+        `    ${diagnostic.file}${position}`,
+        `    → ${diagnostic.remedy.summary}`,
+    ];
+    if (diagnostic.remedy.allowed && diagnostic.remedy.allowed.length > 0) {
+        lines.splice(2, 0, `    ${dim(`allowed: ${diagnostic.remedy.allowed.join(', ')}`)}`);
+    }
+    // One identity can stand for several violations — three empty catches in one file are one hash
+    // (see `Diagnostic.occurrences`). The count and the lines are stated, or a reader fixes the one
+    // position printed above and wonders why the run still fails.
+    const occurrences = diagnostic.occurrences ?? 1;
+    if (occurrences > 1) {
+        const where = diagnostic.occurrenceLines === undefined || diagnostic.occurrenceLines.length === 0
+            ? ''
+            : `: lines ${diagnostic.occurrenceLines.join(', ')}`;
+        lines.splice(2, 0, `    ${dim(`${occurrences} occurrences${where}`)}`);
+    }
+    return lines;
+}
+export function createTerminalReporter() {
+    return {
+        name: 'terminal',
+        async report(result, ctx) {
+            const { dim, bold, red, yellow } = palette(ctx.noColor === true);
+            const shown = visible(result, ctx);
+            const out = [];
+            for (const confidence of CONFIDENCE_ORDER) {
+                const group = groupOf(shown, confidence);
+                const mark = MARK[confidence];
+                const blockingCount = group.filter((diagnostic) => diagnostic.severity === 'error').length;
+                const suffix = group.length === 0 || blockingCount === group.length
+                    ? ''
+                    : ` (${blockingCount} blocking)`;
+                const heading = `${mark} ${group.length} ${LABEL[confidence]}${suffix}`;
+                if (group.length === 0) {
+                    out.push(dim(heading));
+                    continue;
+                }
+                // Red only when something in the group actually blocks.
+                const blocking = group.some((diagnostic) => diagnostic.severity === 'error');
+                out.push(bold(blocking ? red(heading) : heading));
+                out.push('');
+                for (const diagnostic of group) {
+                    out.push(...renderOne(diagnostic, dim));
+                    out.push('');
+                }
+            }
+            const baselined = result.diagnostics.filter((d) => d.baselined && !d.exempted).length;
+            const exempted = result.diagnostics.filter((d) => d.exempted).length;
+            if ((baselined > 0 || exempted > 0) && ctx.showBaselined !== true) {
+                const parts = [
+                    baselined > 0 ? `${baselined} baselined` : '',
+                    exempted > 0 ? `${exempted} exempted` : '',
+                ].filter(Boolean);
+                out.push(dim(`  ${parts.join(', ')}, not shown          --show-baselined to include`));
+            }
+            // Always, including the exceptions suppressing nothing: a silent exception decays into a
+            // permanent one (plan 15).
+            if (result.exceptions.length > 0) {
+                const expiringSoon = result.exceptions.filter((e) => !e.expired && e.daysLeft <= 30).length;
+                const active = result.exceptions.filter((e) => !e.expired).length;
+                out.push(dim(`  ${active} exception(s) active${expiringSoon > 0 ? `, ${expiringSoon} expiring within 30 days` : ''}`));
+                for (const expired of result.exceptions.filter((e) => e.expired)) {
+                    out.push(red(`  ✗ exception expired ${expired.expires} for ${expired.ruleId} — owner ${expired.owner}`));
+                }
+            }
+            // Exit 4's explanation, in the place a person is already reading.
+            if (result.baselineStale.length > 0) {
+                out.push(red(`  ✗ ${result.baselineStale.length} baselined finding(s) no longer reproduce`));
+                for (const entry of result.baselineStale.slice(0, 5)) {
+                    out.push(dim(`      ${entry.ruleId}  ${entry.identity}  recorded ${entry.addedAt}`));
+                }
+                out.push(dim('    → run: npx archcheck baseline --prune'));
+            }
+            for (const skip of result.skipped) {
+                out.push(yellow(`  - ${skip.probe} did not run: ${skip.reason}`));
+            }
+            const { total, deterministic, proxy, model, unchecked } = result.coverage;
+            out.push(dim(`  ${total} rules · ${deterministic} deterministic · ${proxy} proxy · ${model} advisory` +
+                (unchecked > 0 ? ` · ${unchecked} unchecked` : '')));
+            if (shown.length === 0 &&
+                result.skipped.length === 0 &&
+                result.baselineStale.length === 0 &&
+                !result.exceptions.some((e) => e.expired)) {
+                out.push('');
+                out.push('  nothing to fix');
+            }
+            return `${out.join('\n')}\n`;
+        },
+    };
+}
+//# sourceMappingURL=terminal.js.map

package/dist/report/terminal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"terminal.js","sourceRoot":"","sources":["../../src/report/terminal.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,gBAAgB,EAAiC,OAAO,EAAE,MAAM,YAAY,CAAC;AAEtF,MAAM,IAAI,GAA+B,EAAE,aAAa,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;AACxF,MAAM,KAAK,GAA+B;IACxC,aAAa,EAAE,eAAe;IAC9B,KAAK,EAAE,6CAA6C;IACpD,KAAK,EAAE,UAAU;CAClB,CAAC;AAIF,SAAS,OAAO,CAAC,OAAgB;IAC/B,MAAM,IAAI,GACR,CAAC,IAAY,EAAS,EAAE,CACxB,CAAC,IAAI,EAAE,EAAE,CACP,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,IAAI,IAAI,IAAI,WAAW,CAAC;IACvD,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;AAClF,CAAC;AAED,SAAS,OAAO,CAAC,WAAyB,EAAE,UAAsB;IAChE,OAAO,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,UAAU,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,SAAS,CAAC,UAAsB,EAAE,GAAU;IACnD,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC;IAC5E,8FAA8F;IAC9F,MAAM,SAAS,GAAG,UAAU,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAClD,6FAA6F;IAC7F,+FAA+F;IAC/F,wFAAwF;IACxF,oFAAoF;IACpF,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,KAAK,OAAO,CAAC;IAC/C,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,UAAU,CAAC,QAAQ,GAAG,CAAC,EAAE,CAAC;IAChE,MAAM,KAAK,GAAG;QACZ,KAAK,SAAS,GAAG,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,GAAG,GAAG,EAAE;QACrF,OAAO,UAAU,CAAC,IAAI,GAAG,QAAQ,EAAE;QACnC,SAAS,UAAU,CAAC,MAAM,CAAC,OAAO,EAAE;KACrC,CAAC;IACF,IAAI,UAAU,CAAC,MAAM,CAAC,OAAO,IAAI,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtE,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,GAAG,CAAC,YAAY,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACvF,CAAC;IACD,+FAA+F;IAC/F,gGAAgG;IAChG,8DAA8D;IAC9D,MAAM,WAAW,GAAG,UAAU,CAAC,WAAW,IAAI,CAAC,CAAC;IAChD,IAAI,WAAW,GAAG,CAAC,EAAE,CAAC;QACpB,MAAM,KAAK,GACT,UAAU,CAAC,eAAe,KAAK,SAAS,IAAI,UAAU,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC;YACjF,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,WAAW,UAAU,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACzD,KAAK,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,GAAG,CAAC,GAAG,WAAW,eAAe,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IACzE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,sBAAsB;IACpC,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,KAAK,CAAC,MAAM,CAAC,MAAiB,EAAE,GAAc;YAC5C,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC;YACjE,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;YACnC,MAAM,GAAG,GAAa,EAAE,CAAC;YAEzB,KAAK,MAAM,UAAU,IAAI,gBAAgB,EAAE,CAAC;gBAC1C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;gBACzC,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC;gBAC9B,MAAM,aAAa,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,MAAM,CAAC;gBAC3F,MAAM,MAAM,GACV,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,aAAa,KAAK,KAAK,CAAC,MAAM;oBAClD,CAAC,CAAC,EAAE;oBACJ,CAAC,CAAC,KAAK,aAAa,YAAY,CAAC;gBACrC,MAAM,OAAO,GAAG,GAAG,IAAI,IAAI,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,MAAM,EAAE,CAAC;gBACxE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACvB,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;oBACvB,SAAS;gBACX,CAAC;gBACD,wDAAwD;gBACxD,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;gBAC7E,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;gBAClD,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACb,KAAK,MAAM,UAAU,IAAI,KAAK,EAAE,CAAC;oBAC/B,GAAG,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC;oBACxC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACf,CAAC;YACH,CAAC;YAED,MAAM,SAAS,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC;YACtF,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC;YACrE,IAAI,CAAC,SAAS,GAAG,CAAC,IAAI,QAAQ,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,aAAa,KAAK,IAAI,EAAE,CAAC;gBAClE,MAAM,KAAK,GAAG;oBACZ,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,YAAY,CAAC,CAAC,CAAC,EAAE;oBAC7C,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,WAAW,CAAC,CAAC,CAAC,EAAE;iBAC3C,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;gBAClB,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,kDAAkD,CAAC,CAAC,CAAC;YACzF,CAAC;YAED,yFAAyF;YACzF,2BAA2B;YAC3B,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACjC,MAAM,YAAY,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;gBAC5F,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC;gBAClE,GAAG,CAAC,IAAI,CACN,GAAG,CACD,KAAK,MAAM,uBAAuB,YAAY,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,YAAY,0BAA0B,CAAC,CAAC,CAAC,EAAE,EAAE,CACxG,CACF,CAAC;gBACF,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;oBACjE,GAAG,CAAC,IAAI,CACN,GAAG,CACD,yBAAyB,OAAO,CAAC,OAAO,QAAQ,OAAO,CAAC,MAAM,YAAY,OAAO,CAAC,KAAK,EAAE,CAC1F,CACF,CAAC;gBACJ,CAAC;YACH,CAAC;YAED,kEAAkE;YAClE,IAAI,MAAM,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpC,GAAG,CAAC,IAAI,CACN,GAAG,CAAC,OAAO,MAAM,CAAC,aAAa,CAAC,MAAM,2CAA2C,CAAC,CACnF,CAAC;gBACF,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;oBACrD,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,QAAQ,cAAc,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;gBACvF,CAAC;gBACD,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,2CAA2C,CAAC,CAAC,CAAC;YAC7D,CAAC;YAED,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;gBAClC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,CAAC,KAAK,iBAAiB,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YACpE,CAAC;YAED,MAAM,EAAE,KAAK,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC;YAC1E,GAAG,CAAC,IAAI,CACN,GAAG,CACD,KAAK,KAAK,YAAY,aAAa,oBAAoB,KAAK,YAAY,KAAK,WAAW;gBACtF,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,SAAS,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,CACrD,CACF,CAAC;YAEF,IACE,KAAK,CAAC,MAAM,KAAK,CAAC;gBAClB,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;gBAC3B,MAAM,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC;gBACjC,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EACzC,CAAC;gBACD,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACb,GAAG,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YAC/B,CAAC;YAED,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;QAC/B,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/report/types.d.ts

@@ -0,0 +1,28 @@
+/**
+ * The third seam: a reporter. A new audience changes nothing upstream.
+ *
+ * What a caller must know: a reporter RETURNS its text rather than printing it. That is what makes
+ * the facade usable from an agent hook without capturing stdout, and it is why `report()` may
+ * return void only for a reporter whose whole job is a side effect (writing a SARIF file).
+ */
+import type { Diagnostic, RunResult } from '../types.js';
+export type ReportCtx = {
+    /** Include findings the baseline already knows about. */
+    showBaselined?: boolean;
+    /** Suppress colour. Set from `NO_COLOR` or a non-TTY stdout by the CLI, never guessed here. */
+    noColor?: boolean;
+    root?: string;
+};
+export type Reporter = {
+    name: string;
+    report(result: RunResult, ctx: ReportCtx): Promise<string | undefined>;
+};
+/** Deterministic failures first, then proxies, then advisories — ordered by authority. */
+export declare const CONFIDENCE_ORDER: readonly ["deterministic", "proxy", "model"];
+/**
+ * What a reader should see. Baselined and exempted findings are suppressed by their own mechanisms
+ * and counted rather than printed — but they are counted, and the count is always shown, because a
+ * suppression nobody can see is one nobody reviews.
+ */
+export declare function visible(result: RunResult, ctx: ReportCtx): Diagnostic[];
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/report/types.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAEzD,MAAM,MAAM,SAAS,GAAG;IACtB,yDAAyD;IACzD,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,+FAA+F;IAC/F,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,GAAG,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC;CACxE,CAAC;AAEF,0FAA0F;AAC1F,eAAO,MAAM,gBAAgB,8CAA+C,CAAC;AAE7E;;;;GAIG;AACH,wBAAgB,OAAO,CAAC,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,GAAG,UAAU,EAAE,CAIvE"}