@descent-vtt/spec-graph 0.2.3 → 0.3.0

package/dist/report.d.ts

@@ -31,12 +31,14 @@ export interface ReporterOptions {
      *
      * Reported as counts rather than as a list: the point of accepted debt is
      * that nobody has to read it every time. `stale` is the ratchet - debt that
-     * has been paid and can be struck from the file.
+     * has been paid and can be struck from the file - and `ratchet` says whether
+     * this run was asked to fail over it.
      */
     readonly baseline?: {
         readonly source: string;
         readonly suppressed: number;
         readonly stale: number;
+        readonly ratchet?: boolean | undefined;
     } | undefined;
 }
 export interface ColorEnvironment {
@@ -70,11 +72,26 @@ export declare function createPainter(color: boolean): Painter;
 /** Renders the full terminal report. */
 export declare function formatReport(result: AnalysisResult, options?: ReporterOptions): string;
 /**
- * The machine-readable report.
+ * The static-analysis interchange format, for the tools that already read it.
  *
- * Deliberately flat and versioned: this is the contract a CI annotator or a
- * dashboard builds against, and it must be safe to add fields to it later.
+ * The reason to emit it is not the format, it is what consumes the format:
+ * GitHub code scanning turns a SARIF upload into annotations on the diff, and
+ * an editor turns it into the problems pane, neither of which needs a line of
+ * spec-graph-specific integration.
+ *
+ * One field earns the whole exercise. `partialFingerprints` is how a consumer
+ * tracks a finding across commits without keying on a line number, and
+ * spec-graph already has exactly that identifier for exactly that reason - the
+ * `rule/document/subject` triple a baseline is keyed on (ADR-0012). The two
+ * problems turned out to be the same problem, so the answer is the same answer.
+ *
+ * Deterministic and timestamp-free, like every other output here. Nothing about
+ * a run that has the same findings should produce a different file.
  */
+export declare function formatSarif(result: AnalysisResult, graph: SpecGraph, options?: {
+    version?: string | undefined;
+    escalated?: ReadonlySet<RuleId> | undefined;
+}): string;
 export declare function formatJson(result: AnalysisResult, options?: {
     escalated?: ReadonlySet<RuleId>;
     baseline?: ReporterOptions['baseline'];

package/dist/report.js

@@ -10,7 +10,9 @@
  * Colour is opt-out and auto-detected, and the glyphs degrade to ASCII when the
  * terminal cannot render them.
  */
+import { fingerprintOf } from './baseline.js';
 import { formatRef } from './source.js';
+import { DEFAULT_SEVERITIES, RULE_DESCRIPTIONS, RULE_IDS } from './rules.js';
 /** Honours `NO_COLOR`, `FORCE_COLOR` and `TERM=dumb` before falling back to TTY. */
 export function shouldUseColor(environment = {}) {
     const env = environment.env ?? process.env;
@@ -106,14 +108,20 @@ export function formatReport(result, options = {}) {
         tally.push(paint.dim(`${baseline.suppressed} accepted by ${baseline.source}`));
     }
     lines.push(tally.join(` ${marks.separator} `));
+    // Under `--ratchet` a paid entry is a failure rather than a note, so it is
+    // painted and worded as one.
+    const ratcheted = ratchetFailed(baseline);
     if (baseline !== undefined && baseline.stale > 0) {
-        lines.push(paint.dim(`${baseline.stale} baseline ${plural(baseline.stale, 'entry', 'entries')} no longer ${baseline.stale === 1 ? 'occurs' : 'occur'} - tighten it: spec-graph check --record-baseline ${baseline.source}`));
+        const text = `${baseline.stale} baseline ${plural(baseline.stale, 'entry', 'entries')} no longer ${baseline.stale === 1 ? 'occurs' : 'occur'} - tighten it: spec-graph check --record-baseline ${baseline.source}`;
+        lines.push(ratcheted ? `${paint.error(marks.error)} ${text}` : paint.dim(text));
     }
-    lines.push(result.ok
-        ? `${paint.hint(marks.hint === '>' ? 'ok' : '\u2714')} ${summary.errors + summary.warnings === 0
-            ? 'the specification graph is consistent'
-            : 'no errors - the specification graph holds'}`
-        : `${paint.error(marks.error)} the specification graph is inconsistent`);
+    lines.push(ratcheted
+        ? `${paint.error(marks.error)} ${result.ok ? 'the baseline is looser than the repository' : 'the specification graph is inconsistent'}`
+        : result.ok
+            ? `${paint.hint(marks.hint === '>' ? 'ok' : '\u2714')} ${summary.errors + summary.warnings === 0
+                ? 'the specification graph is consistent'
+                : 'no errors - the specification graph holds'}`
+            : `${paint.error(marks.error)} the specification graph is inconsistent`);
     return lines.join('\n');
 }
 function formatDiagnostic(diagnostic, paint, marks, escalated) {
@@ -157,11 +165,119 @@ function plural(count, word, plural) {
  * Deliberately flat and versioned: this is the contract a CI annotator or a
  * dashboard builds against, and it must be safe to add fields to it later.
  */
+/**
+ * True when a baseline was asked to ratchet and has slack left in it.
+ *
+ * Both reporters ask, because both have to agree with the exit code: a report
+ * that prints "ok" above a failing build is worse than no report.
+ */
+function ratchetFailed(baseline) {
+    return baseline !== undefined && baseline.ratchet === true && baseline.stale > 0;
+}
+/* -------------------------------------------------------------------------- */
+/* SARIF                                                                      */
+/* -------------------------------------------------------------------------- */
+/**
+ * The static-analysis interchange format, for the tools that already read it.
+ *
+ * The reason to emit it is not the format, it is what consumes the format:
+ * GitHub code scanning turns a SARIF upload into annotations on the diff, and
+ * an editor turns it into the problems pane, neither of which needs a line of
+ * spec-graph-specific integration.
+ *
+ * One field earns the whole exercise. `partialFingerprints` is how a consumer
+ * tracks a finding across commits without keying on a line number, and
+ * spec-graph already has exactly that identifier for exactly that reason - the
+ * `rule/document/subject` triple a baseline is keyed on (ADR-0012). The two
+ * problems turned out to be the same problem, so the answer is the same answer.
+ *
+ * Deterministic and timestamp-free, like every other output here. Nothing about
+ * a run that has the same findings should produce a different file.
+ */
+export function formatSarif(result, graph, options = {}) {
+    const escalated = options.escalated ?? EMPTY_RULES;
+    const fired = RULE_IDS.filter((id) => result.diagnostics.some((diagnostic) => diagnostic.rule === id));
+    return `${JSON.stringify({
+        $schema: 'https://json.schemastore.org/sarif-2.1.0.json',
+        version: '2.1.0',
+        runs: [
+            {
+                tool: {
+                    driver: {
+                        name: 'spec-graph',
+                        informationUri: 'https://github.com/DescentVTT/spec-graph',
+                        ...(options.version === undefined ? {} : { version: options.version, semanticVersion: options.version }),
+                        // Only the rules that fired. A driver listing all of them
+                        // describes the tool; this file describes the run.
+                        rules: fired.map((id) => ({
+                            id,
+                            shortDescription: { text: RULE_DESCRIPTIONS[id] },
+                            defaultConfiguration: { level: sarifLevel(DEFAULT_SEVERITIES[id]) },
+                        })),
+                    },
+                },
+                results: result.diagnostics.map((diagnostic) => {
+                    const print = fingerprintOf(graph, diagnostic);
+                    return {
+                        ruleId: diagnostic.rule,
+                        level: sarifLevel(diagnostic.severity),
+                        message: { text: `${diagnostic.message}. ${diagnostic.hint}` },
+                        locations: [sarifLocation(diagnostic.at)],
+                        ...(diagnostic.related.length === 0
+                            ? {}
+                            : {
+                                relatedLocations: diagnostic.related.map((entry) => ({
+                                    ...sarifLocation(entry.at),
+                                    message: { text: entry.note },
+                                })),
+                            }),
+                        partialFingerprints: {
+                            specGraphIdentity: `${diagnostic.rule}/${print.document}/${print.subject}`,
+                        },
+                        properties: {
+                            nodes: diagnostic.nodes,
+                            target: diagnostic.target,
+                            // A finding that is only an error because of a flag says so
+                            // here too, so a reviewer reading an annotation is not misled.
+                            escalated: escalated.has(diagnostic.rule),
+                        },
+                    };
+                }),
+            },
+        ],
+    }, null, 2)}\n`;
+}
+function sarifLevel(severity) {
+    switch (severity) {
+        case 'error':
+            return 'error';
+        case 'warn':
+            return 'warning';
+        case 'info':
+            return 'note';
+        default:
+            return 'none';
+    }
+}
+function sarifLocation(at) {
+    return {
+        physicalLocation: {
+            // Already repository-relative and POSIX, which is what SARIF asks for.
+            artifactLocation: { uri: at.file },
+            region: {
+                startLine: at.span.start.line,
+                startColumn: at.span.start.column,
+                endLine: at.span.end.line,
+                endColumn: at.span.end.column,
+            },
+        },
+    };
+}
 export function formatJson(result, options = {}) {
     const escalated = options.escalated ?? EMPTY_RULES;
     return `${JSON.stringify({
         version: 1,
-        ok: result.ok,
+        ok: result.ok && !ratchetFailed(options.baseline),
         strict: escalated.size > 0,
         ...(options.baseline === undefined ? {} : { baseline: options.baseline }),
         summary: result.summary,

package/dist/report.js.map

@@ -1 +1 @@
-{"version":3,"file":"report.js","sourceRoot":"","sources":["../src/report.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAGH,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AA6CxC,oFAAoF;AACpF,MAAM,UAAU,cAAc,CAAC,WAAW,GAAqB,EAAE;IAC/D,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,CAAC;IAC3C,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,SAAS,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC;IAC1E,2EAA2E;IAC3E,sEAAsE;IACtE,IAAI,GAAG,CAAC,aAAa,CAAC,KAAK,GAAG;QAAE,OAAO,KAAK,CAAC;IAC7C,IAAI,GAAG,CAAC,aAAa,CAAC,KAAK,SAAS,IAAI,GAAG,CAAC,aAAa,CAAC,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IAC/E,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC;IACzC,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC;IAC9D,OAAO,WAAW,CAAC,KAAK,KAAK,IAAI,CAAC;AACpC,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,cAAc,CAAC,WAAW,GAAqB,EAAE;IAC/D,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,CAAC;IAC3C,IAAI,GAAG,CAAC,kBAAkB,CAAC,KAAK,SAAS,IAAI,GAAG,CAAC,kBAAkB,CAAC,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IACzF,IAAI,CAAC,WAAW,CAAC,QAAQ,IAAI,OAAO,CAAC,QAAQ,CAAC,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC;IACzE,6EAA6E;IAC7E,OAAO,GAAG,CAAC,YAAY,CAAC,KAAK,SAAS,IAAI,GAAG,CAAC,cAAc,CAAC,KAAK,SAAS,CAAC;AAC9E,CAAC;AAED,MAAM,WAAW,GAAwB,IAAI,GAAG,EAAU,CAAC;AAc3D,MAAM,UAAU,aAAa,CAAC,KAAc;IAC1C,MAAM,IAAI,GAAG,CAAC,IAAY,EAAS,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,IAAI,IAAI,IAAI,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACnG,OAAO;QACL,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC;QACjB,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;QAChB,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;QAChB,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC;QACd,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC;QACf,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;QAChB,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC;KACpB,CAAC;AACJ,CAAC;AAWD,SAAS,MAAM,CAAC,KAAc;IAC5B,OAAO,KAAK;QACV,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE;QAC/E,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;AAClH,CAAC;AAED,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAEhF,wCAAwC;AACxC,MAAM,UAAU,YAAY,CAAC,MAAsB,EAAE,OAAO,GAAoB,EAAE;IAChF,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,CAAC,KAAK,IAAI,KAAK,CAAC,CAAC;IACpD,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,IAAI,KAAK,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC;IAE3B,KAAK,CAAC,IAAI,CACR,GAAG,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,CAAC,GAAG,CACtC;QACE,GAAG,OAAO,CAAC,SAAS,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE;QAC/D,GAAG,OAAO,CAAC,KAAK,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE;QACnD,GAAG,OAAO,CAAC,KAAK,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE;QACvD,GAAG,OAAO,CAAC,eAAe,OAAO;KAClC,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,SAAS,GAAG,CAAC,CAC/B,EAAE,CACJ,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC;IACvF,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAEjD,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,WAAW,CAAC;IACnD,KAAK,MAAM,UAAU,IAAI,KAAK,EAAE,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;QACrE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;QAC7C,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,OAAO,CAAC,CAAC,CAAC;QACpF,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,IAAI,OAAO,CAAC,OAAO,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClD,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YACtC,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,KAAK,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;QACvG,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,OAAO,CAAC,MAAM,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;IACxG,IAAI,OAAO,CAAC,QAAQ,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,QAAQ,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/G,IAAI,OAAO,CAAC,KAAK,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,KAAK,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IACnG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,UAAU,IAAI,CAAC,CAAC,CAAC;IACjD,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;IAChG,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,qBAAqB,CAAC,CAAC,CAAC;IACzD,CAAC;IACD,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC;IAClC,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,UAAU,GAAG,CAAC,EAAE,CAAC;QACtD,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,UAAU,gBAAgB,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACjF,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC;IAE/C,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;QACjD,KAAK,CAAC,IAAI,CACR,KAAK,CAAC,GAAG,CACP,GAAG,QAAQ,CAAC,KAAK,aAAa,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,EAAE,SAAS,CAAC,cACtE,QAAQ,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OACpC,qDAAqD,QAAQ,CAAC,MAAM,EAAE,CACvE,CACF,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,IAAI,CACR,MAAM,CAAC,EAAE;QACP,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,IACjD,OAAO,CAAC,MAAM,GAAG,OAAO,CAAC,QAAQ,KAAK,CAAC;YACrC,CAAC,CAAC,uCAAuC;YACzC,CAAC,CAAC,2CACN,EAAE;QACJ,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,0CAA0C,CAC1E,CAAC;IAEF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,gBAAgB,CACvB,UAAsB,EACtB,KAAc,EACd,KAAa,EACb,SAA8B;IAE9B,MAAM,IAAI,GAAG,YAAY,CAAC,UAAU,CAAC,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAC7D,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC;QAC1C,CAAC,CAAC,GAAG,UAAU,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,yBAAyB,CAAC,EAAE;QAC/D,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC;IACpB,MAAM,KAAK,GAAa;QACtB,GAAG,IAAI,IAAI,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE;QAC1E,OAAO,UAAU,CAAC,OAAO,EAAE;KAC5B,CAAC;IAEF,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAC5F,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,OAAO,EAAE,CAAC;QACvC,MAAM,SAAS,GAAG,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACtC,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAChH,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3E,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,YAAY,CAAC,QAAkC,EAAE,KAAc,EAAE,KAAa;IACrF,QAAQ,QAAQ,EAAE,CAAC;QACjB,KAAK,OAAO;YACV,OAAO,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAClC,KAAK,MAAM;YACT,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAChC,KAAK,MAAM;YACT,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC;AACH,CAAC;AAED,SAAS,MAAM,CAAC,KAAa,EAAE,IAAY,EAAE,MAAe;IAC1D,IAAI,KAAK,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7B,OAAO,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC;AAC9B,CAAC;AAED,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAEhF;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CACxB,MAAsB,EACtB,OAAO,GAAgF,EAAE;IAEzF,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,WAAW,CAAC;IACnD,OAAO,GAAG,IAAI,CAAC,SAAS,CACtB;QACE,OAAO,EAAE,CAAC;QACV,EAAE,EAAE,MAAM,CAAC,EAAE;QACb,MAAM,EAAE,SAAS,CAAC,IAAI,GAAG,CAAC;QAC1B,GAAG,CAAC,OAAO,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC;QACzE,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;YACnD,IAAI,EAAE,UAAU,CAAC,IAAI;YACrB,QAAQ,EAAE,UAAU,CAAC,QAAQ;YAC7B,+DAA+D;YAC/D,SAAS,EAAE,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC;YACzC,OAAO,EAAE,UAAU,CAAC,OAAO;YAC3B,IAAI,EAAE,UAAU,CAAC,IAAI;YACrB,KAAK,EAAE,UAAU,CAAC,KAAK;YACvB,MAAM,EAAE,UAAU,CAAC,MAAM;YACzB,IAAI,EAAE,UAAU,CAAC,EAAE,CAAC,IAAI;YACxB,IAAI,EAAE,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI;YACnC,MAAM,EAAE,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM;YACvC,OAAO,EAAE,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI;YACpC,SAAS,EAAE,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM;YACxC,OAAO,EAAE,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBAC1C,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,IAAI;gBACnB,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI;gBAC9B,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM;gBAClC,IAAI,EAAE,KAAK,CAAC,IAAI;aACjB,CAAC,CAAC;SACJ,CAAC,CAAC;QACH,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YAC1C,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC,IAAI;YACrB,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI;SACjC,CAAC,CAAC;KACJ,EACD,IAAI,EACJ,CAAC,CACF,IAAI,CAAC;AACR,CAAC;AAaD,wEAAwE;AACxE,MAAM,UAAU,WAAW,CAAC,KAAgB,EAAE,MAAmB,EAAE,OAAO,GAAuB,EAAE;IACjG,MAAM,SAAS,GAAG,OAAO,CAAC,aAAa,IAAI,KAAK,CAAC;IACjD,MAAM,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;IACjG,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAEtD,4EAA4E;IAC5E,4EAA4E;IAC5E,gEAAgE;IAChE,MAAM,MAAM,GAAG,SAAS;QACtB,CAAC,CAAC,WAAW,CACT,KAAK,CAAC,KAAK;YACT,iEAAiE;YACjE,kEAAkE;YAClE,qEAAqE;aACpE,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;aAClE,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;YACZ,MAAM,IAAI,GAAG,KAAK,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC;YAC9D,MAAM,EAAE,GAAG,KAAK,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,IAAI,IAAI,CAAC,EAAE,CAAC;YACxD,OAAO,IAAI,KAAK,IAAI,CAAC,IAAI,IAAI,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,KAAK,EAAE,EAAE,CAAC;QACrG,CAAC,CAAC;aACD,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CACrC;QACH,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC;IAEhB,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAEtF,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,KAAK;YACR,OAAO,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC7B,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACjC,KAAK,MAAM;YACT,OAAO,GAAG,IAAI,CAAC,SAAS,CACtB;gBACE,OAAO,EAAE,CAAC;gBACV,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC;gBAC/B,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;oBAC1B,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,EAAE,EAAE,IAAI,CAAC,EAAE;oBACX,MAAM,EAAE,IAAI,CAAC,MAAM;oBACnB,UAAU,EAAE,IAAI,CAAC,UAAU;oBAC3B,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,IAAI;oBAC1B,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI;iBACtC,CAAC,CAAC;aACJ,EACD,IAAI,EACJ,CAAC,CACF,IAAI,CAAC;IACV,CAAC;AACH,CAAC;AAED,mFAAmF;AACnF,SAAS,WAAW,CAAC,KAAsB;IACzC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAAW,EAAE,CAAC;IACvB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;QACnD,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,aAAa,CAAC,IAAc;IACnC,MAAM,IAAI,GAAG;QACX,EAAE,EAAE,IAAI,CAAC,EAAE;QACX,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI;QAClB,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI;KAC9B,CAAC;IACF,OAAO,IAAI,CAAC,IAAI,KAAK,UAAU;QAC7B,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE;QAChG,CAAC,CAAC;YACE,GAAG,IAAI;YACP,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,QAAQ,EAAE,IAAI,CAAC,QAAQ;SACxB,CAAC;AACR,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,GAAqC;IACnD,KAAK,EAAE,SAAS;IAChB,MAAM,EAAE,SAAS;IACjB,MAAM,EAAE,SAAS;IACjB,OAAO,EAAE,SAAS;IAClB,MAAM,EAAE,SAAS;IACjB,OAAO,EAAE,SAAS;CACnB,CAAC;AAEF,SAAS,KAAK,CAAC,KAA0B,EAAE,KAAsB;IAC/D,MAAM,KAAK,GAAG,CAAC,gBAAgB,EAAE,eAAe,EAAE,8DAA8D,CAAC,CAAC;IAClH,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC1F,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,MAAM,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxG,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;QACxD,KAAK,CAAC,IAAI,CAAC,MAAM,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,aAAa,KAAK,iBAAiB,IAAI,YAAY,KAAK,IAAI,CAAC,CAAC;IACnG,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/D,KAAK,CAAC,IAAI,CAAC,MAAM,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,aAAa,IAAI,CAAC,IAAI,IAAI,KAAK,IAAI,CAAC,CAAC;IACvG,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;AACjC,CAAC;AAED,SAAS,SAAS,CAAC,KAA0B,EAAE,KAAsB;IACnE,MAAM,KAAK,GAAG,CAAC,UAAU,CAAC,CAAC;IAC3B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,QAAQ,EAAE,CAAC,CAAC,CAAC;IAEtE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAW,CAAC;QACzC,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5E,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,KAAK,GAAG,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,MAAM,KAAK,KAAK,CAAC,CAAC;QACzF,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,WAAW,GAAG,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;IACxG,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,MAAM,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC9B,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE;YAAE,SAAS;QAC3B,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,QAAQ,IAAI,CAAC,IAAI,KAAK,EAAE,EAAE,CAAC,CAAC;IAClD,CAAC;IACD,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;QACvD,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAClC,KAAK,CAAC,IAAI,CAAC,cAAc,KAAK,SAAS,IAAI,kBAAkB,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;AACjC,CAAC;AAED,SAAS,SAAS,CAAC,KAAa;IAC9B,OAAO,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AAC/D,CAAC;AAED,SAAS,aAAa,CAAC,KAAa;IAClC,OAAO,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AACjE,CAAC","sourcesContent":["/**\n * Output formatting.\n *\n * Two audiences, one set of facts. In a terminal the report leads with the file\n * and line so an editor can jump there, indents the supporting evidence, and\n * ends with a concrete next action - because a finding a reader cannot act on\n * is a finding they will learn to scroll past. In CI it emits JSON with every\n * position intact, so a bot can annotate a diff.\n *\n * Colour is opt-out and auto-detected, and the glyphs degrade to ASCII when the\n * terminal cannot render them.\n */\n\nimport type { SpecGraph } from './graph.js';\nimport { formatRef } from './source.js';\nimport type { AnalysisResult } from './runner.js';\nimport type { Diagnostic, Edge, RuleId, Severity, SpecNode } from './types.js';\n\nexport interface ReporterOptions {\n  readonly color?: boolean | undefined;\n  readonly ascii?: boolean | undefined;\n  readonly verbose?: boolean | undefined;\n  /** Stop after this many findings. `0` means no limit. */\n  readonly max?: number | undefined;\n  /**\n   * Rules whose severity `--strict` raised.\n   *\n   * A finding that only became an error because of a flag has to say so, or the\n   * reader cannot tell what would happen without it.\n   */\n  readonly escalated?: ReadonlySet<RuleId> | undefined;\n  /**\n   * What a baseline accounted for on this run.\n   *\n   * Reported as counts rather than as a list: the point of accepted debt is\n   * that nobody has to read it every time. `stale` is the ratchet - debt that\n   * has been paid and can be struck from the file.\n   */\n  readonly baseline?: { readonly source: string; readonly suppressed: number; readonly stale: number } | undefined;\n}\n\n/* -------------------------------------------------------------------------- */\n/* Environment detection                                                      */\n/* -------------------------------------------------------------------------- */\n\nexport interface ColorEnvironment {\n  readonly isTTY?: boolean | undefined;\n  readonly env?: Readonly<Record<string, string | undefined>> | undefined;\n  /**\n   * Host platform, defaulting to the real one.\n   *\n   * Injected for the same reason `env` is: without it half of\n   * {@link shouldUseAscii} is unreachable from a test, and a rule about\n   * Windows consoles that only Windows can exercise is a rule that breaks on\n   * Windows and nowhere else.\n   */\n  readonly platform?: NodeJS.Platform | undefined;\n}\n\n/** Honours `NO_COLOR`, `FORCE_COLOR` and `TERM=dumb` before falling back to TTY. */\nexport function shouldUseColor(environment: ColorEnvironment = {}): boolean {\n  const env = environment.env ?? process.env;\n  if (env['NO_COLOR'] !== undefined && env['NO_COLOR'] !== '') return false;\n  // `FORCE_COLOR=0` is the conventional way to turn colour off, so it has to\n  // win over an attached TTY rather than merely failing to force it on.\n  if (env['FORCE_COLOR'] === '0') return false;\n  if (env['FORCE_COLOR'] !== undefined && env['FORCE_COLOR'] !== '') return true;\n  if (env['TERM'] === 'dumb') return false;\n  if (env['CI'] !== undefined && env['CI'] !== '') return false;\n  return environment.isTTY === true;\n}\n\n/** True when the terminal is unlikely to render box-drawing and arrows. */\nexport function shouldUseAscii(environment: ColorEnvironment = {}): boolean {\n  const env = environment.env ?? process.env;\n  if (env['SPEC_GRAPH_ASCII'] !== undefined && env['SPEC_GRAPH_ASCII'] !== '') return true;\n  if ((environment.platform ?? process.platform) !== 'win32') return false;\n  // Windows Terminal and modern shells set these; the legacy console does not.\n  return env['WT_SESSION'] === undefined && env['TERM_PROGRAM'] === undefined;\n}\n\nconst EMPTY_RULES: ReadonlySet<RuleId> = new Set<RuleId>();\n\ntype Paint = (text: string) => string;\n\nexport interface Painter {\n  readonly error: Paint;\n  readonly warn: Paint;\n  readonly info: Paint;\n  readonly dim: Paint;\n  readonly bold: Paint;\n  readonly hint: Paint;\n  readonly location: Paint;\n}\n\nexport function createPainter(color: boolean): Painter {\n  const wrap = (open: string): Paint => (text) => (color ? `\\u001b[${open}m${text}\\u001b[0m` : text);\n  return {\n    error: wrap('31'),\n    warn: wrap('33'),\n    info: wrap('36'),\n    dim: wrap('2'),\n    bold: wrap('1'),\n    hint: wrap('32'),\n    location: wrap('4'),\n  };\n}\n\ninterface Glyphs {\n  readonly error: string;\n  readonly warn: string;\n  readonly info: string;\n  readonly related: string;\n  readonly hint: string;\n  readonly separator: string;\n}\n\nfunction glyphs(ascii: boolean): Glyphs {\n  return ascii\n    ? { error: 'x', warn: '!', info: 'i', related: '|', hint: '>', separator: '-' }\n    : { error: '\\u2716', warn: '\\u26a0', info: '\\u2139', related: '\\u21b3', hint: '\\u2192', separator: '\\u00b7' };\n}\n\n/* -------------------------------------------------------------------------- */\n/* Human report                                                               */\n/* -------------------------------------------------------------------------- */\n\n/** Renders the full terminal report. */\nexport function formatReport(result: AnalysisResult, options: ReporterOptions = {}): string {\n  const paint = createPainter(options.color ?? false);\n  const marks = glyphs(options.ascii ?? false);\n  const lines: string[] = [];\n  const { summary } = result;\n\n  lines.push(\n    `${paint.bold('spec-graph')} ${paint.dim(\n      [\n        `${summary.documents} ${plural(summary.documents, 'document')}`,\n        `${summary.items} ${plural(summary.items, 'item')}`,\n        `${summary.edges} ${plural(summary.edges, 'relation')}`,\n        `${summary.openObligations} open`,\n      ].join(` ${marks.separator} `),\n    )}`,\n  );\n  lines.push('');\n\n  const limit = options.max && options.max > 0 ? options.max : result.diagnostics.length;\n  const shown = result.diagnostics.slice(0, limit);\n\n  const escalated = options.escalated ?? EMPTY_RULES;\n  for (const diagnostic of shown) {\n    lines.push(...formatDiagnostic(diagnostic, paint, marks, escalated));\n    lines.push('');\n  }\n\n  if (result.diagnostics.length > shown.length) {\n    lines.push(paint.dim(`  ... and ${result.diagnostics.length - shown.length} more`));\n    lines.push('');\n  }\n\n  if (options.verbose && result.problems.length > 0) {\n    for (const problem of result.problems) {\n      lines.push(`${paint.warn(marks.warn)} ${paint.location(formatRef(problem.at))}  ${problem.message}`);\n    }\n    lines.push('');\n  }\n\n  const tally: string[] = [];\n  if (summary.errors > 0) tally.push(paint.error(`${summary.errors} ${plural(summary.errors, 'error')}`));\n  if (summary.warnings > 0) tally.push(paint.warn(`${summary.warnings} ${plural(summary.warnings, 'warning')}`));\n  if (summary.infos > 0) tally.push(paint.info(`${summary.infos} ${plural(summary.infos, 'note')}`));\n  tally.push(paint.dim(`${summary.durationMs}ms`));\n  const raised = result.diagnostics.filter((diagnostic) => escalated.has(diagnostic.rule)).length;\n  if (raised > 0) {\n    tally.push(paint.warn(`${raised} raised by --strict`));\n  }\n  const baseline = options.baseline;\n  if (baseline !== undefined && baseline.suppressed > 0) {\n    tally.push(paint.dim(`${baseline.suppressed} accepted by ${baseline.source}`));\n  }\n  lines.push(tally.join(` ${marks.separator} `));\n\n  if (baseline !== undefined && baseline.stale > 0) {\n    lines.push(\n      paint.dim(\n        `${baseline.stale} baseline ${plural(baseline.stale, 'entry', 'entries')} no longer ${\n          baseline.stale === 1 ? 'occurs' : 'occur'\n        } - tighten it: spec-graph check --record-baseline ${baseline.source}`,\n      ),\n    );\n  }\n\n  lines.push(\n    result.ok\n      ? `${paint.hint(marks.hint === '>' ? 'ok' : '\\u2714')} ${\n          summary.errors + summary.warnings === 0\n            ? 'the specification graph is consistent'\n            : 'no errors - the specification graph holds'\n        }`\n      : `${paint.error(marks.error)} the specification graph is inconsistent`,\n  );\n\n  return lines.join('\\n');\n}\n\nfunction formatDiagnostic(\n  diagnostic: Diagnostic,\n  paint: Painter,\n  marks: Glyphs,\n  escalated: ReadonlySet<RuleId>,\n): string[] {\n  const mark = severityMark(diagnostic.severity, paint, marks);\n  const label = escalated.has(diagnostic.rule)\n    ? `${diagnostic.rule} ${paint.warn('(strict: warn -> error)')}`\n    : diagnostic.rule;\n  const lines: string[] = [\n    `${mark} ${paint.location(formatRef(diagnostic.at))}  ${paint.dim(label)}`,\n    `    ${diagnostic.message}`,\n  ];\n\n  const width = Math.max(0, ...diagnostic.related.map((entry) => formatRef(entry.at).length));\n  for (const entry of diagnostic.related) {\n    const reference = formatRef(entry.at);\n    lines.push(`    ${paint.dim(marks.related)} ${paint.dim(reference.padEnd(width))}  ${paint.dim(entry.note)}`);\n  }\n\n  lines.push(`    ${paint.hint(marks.hint)} ${paint.hint(diagnostic.hint)}`);\n  return lines;\n}\n\nfunction severityMark(severity: Exclude<Severity, 'off'>, paint: Painter, marks: Glyphs): string {\n  switch (severity) {\n    case 'error':\n      return paint.error(marks.error);\n    case 'warn':\n      return paint.warn(marks.warn);\n    case 'info':\n      return paint.info(marks.info);\n  }\n}\n\nfunction plural(count: number, word: string, plural?: string): string {\n  if (count === 1) return word;\n  return plural ?? `${word}s`;\n}\n\n/* -------------------------------------------------------------------------- */\n/* JSON                                                                       */\n/* -------------------------------------------------------------------------- */\n\n/**\n * The machine-readable report.\n *\n * Deliberately flat and versioned: this is the contract a CI annotator or a\n * dashboard builds against, and it must be safe to add fields to it later.\n */\nexport function formatJson(\n  result: AnalysisResult,\n  options: { escalated?: ReadonlySet<RuleId>; baseline?: ReporterOptions['baseline'] } = {},\n): string {\n  const escalated = options.escalated ?? EMPTY_RULES;\n  return `${JSON.stringify(\n    {\n      version: 1,\n      ok: result.ok,\n      strict: escalated.size > 0,\n      ...(options.baseline === undefined ? {} : { baseline: options.baseline }),\n      summary: result.summary,\n      files: result.files,\n      diagnostics: result.diagnostics.map((diagnostic) => ({\n        rule: diagnostic.rule,\n        severity: diagnostic.severity,\n        // True when this finding is only an error because of --strict.\n        escalated: escalated.has(diagnostic.rule),\n        message: diagnostic.message,\n        hint: diagnostic.hint,\n        nodes: diagnostic.nodes,\n        target: diagnostic.target,\n        file: diagnostic.at.file,\n        line: diagnostic.at.span.start.line,\n        column: diagnostic.at.span.start.column,\n        endLine: diagnostic.at.span.end.line,\n        endColumn: diagnostic.at.span.end.column,\n        related: diagnostic.related.map((entry) => ({\n          file: entry.at.file,\n          line: entry.at.span.start.line,\n          column: entry.at.span.start.column,\n          note: entry.note,\n        })),\n      })),\n      problems: result.problems.map((problem) => ({\n        message: problem.message,\n        file: problem.at.file,\n        line: problem.at.span.start.line,\n      })),\n    },\n    null,\n    2,\n  )}\\n`;\n}\n\n/* -------------------------------------------------------------------------- */\n/* Graph export                                                               */\n/* -------------------------------------------------------------------------- */\n\nexport type GraphFormat = 'dot' | 'mermaid' | 'json';\n\nexport interface GraphExportOptions {\n  /** Leave out `contains` edges and item nodes. */\n  readonly documentsOnly?: boolean | undefined;\n}\n\n/** Serialises the graph for Graphviz, Mermaid, or a downstream tool. */\nexport function formatGraph(graph: SpecGraph, format: GraphFormat, options: GraphExportOptions = {}): string {\n  const skipItems = options.documentsOnly ?? false;\n  const nodes = [...graph.nodes.values()].filter((node) => !skipItems || node.kind === 'document');\n  const visible = new Set(nodes.map((node) => node.id));\n\n  // Hiding items must not hide what they say. An obligation delegated from an\n  // item to a document is lifted onto the item's owner, so the document-level\n  // view still shows the handover rather than silently losing it.\n  const lifted = skipItems\n    ? dedupeEdges(\n        graph.edges\n          // Containment of an *item* is what hiding items makes redundant.\n          // Containment of a specification by the register that holds it is\n          // structure between documents, and is what this view exists to show.\n          .filter((edge) => edge.kind !== 'contains' || visible.has(edge.to))\n          .map((edge) => {\n            const from = graph.owningDocument(edge.from)?.id ?? edge.from;\n            const to = graph.owningDocument(edge.to)?.id ?? edge.to;\n            return from === edge.from && to === edge.to ? edge : { ...edge, from, to, reflexive: from === to };\n          })\n          .filter((edge) => !edge.reflexive),\n      )\n    : graph.edges;\n\n  const edges = lifted.filter((edge) => visible.has(edge.from) && visible.has(edge.to));\n\n  switch (format) {\n    case 'dot':\n      return toDot(nodes, edges);\n    case 'mermaid':\n      return toMermaid(nodes, edges);\n    case 'json':\n      return `${JSON.stringify(\n        {\n          version: 1,\n          nodes: nodes.map(serialiseNode),\n          edges: edges.map((edge) => ({\n            kind: edge.kind,\n            from: edge.from,\n            to: edge.to,\n            origin: edge.origin,\n            declaredIn: edge.declaredIn,\n            file: edge.declaredAt.file,\n            line: edge.declaredAt.span.start.line,\n          })),\n        },\n        null,\n        2,\n      )}\\n`;\n  }\n}\n\n/** Collapses duplicate relations produced by lifting item edges onto documents. */\nfunction dedupeEdges(edges: readonly Edge[]): Edge[] {\n  const seen = new Set<string>();\n  const out: Edge[] = [];\n  for (const edge of edges) {\n    const key = `${edge.kind} ${edge.from} ${edge.to}`;\n    if (seen.has(key)) continue;\n    seen.add(key);\n    out.push(edge);\n  }\n  return out;\n}\n\nfunction serialiseNode(node: SpecNode): Record<string, unknown> {\n  const base = {\n    id: node.id,\n    kind: node.kind,\n    title: node.title,\n    file: node.at.file,\n    line: node.at.span.start.line,\n  };\n  return node.kind === 'document'\n    ? { ...base, path: node.path, phase: node.phase, status: node.rawStatus, aliases: node.aliases }\n    : {\n        ...base,\n        document: node.document,\n        section: node.section,\n        disposition: node.disposition,\n        openness: node.openness,\n      };\n}\n\n/** Phase colours, chosen to stay legible in both light and dark renderings. */\nconst PHASE_FILL: Readonly<Record<string, string>> = {\n  draft: '#e8f0fe',\n  active: '#e6f4ea',\n  frozen: '#e8eaed',\n  retired: '#fce8e6',\n  record: '#f3e8fd',\n  unknown: '#ffffff',\n};\n\nfunction toDot(nodes: readonly SpecNode[], edges: readonly Edge[]): string {\n  const lines = ['digraph spec {', '  rankdir=LR;', '  node [shape=box, style=\"rounded,filled\", fontname=\"sans\"];'];\n  for (const node of nodes) {\n    const fill = node.kind === 'document' ? (PHASE_FILL[node.phase] ?? '#ffffff') : '#fffbe6';\n    const label = node.kind === 'document' ? `${node.id}\\\\n${escapeDot(node.title)}` : escapeDot(node.text);\n    const shape = node.kind === 'document' ? 'box' : 'note';\n    lines.push(`  \"${escapeDot(node.id)}\" [label=\"${label}\", fillcolor=\"${fill}\", shape=${shape}];`);\n  }\n  for (const edge of edges) {\n    const style = edge.kind === 'contains' ? ', style=dotted' : '';\n    lines.push(`  \"${escapeDot(edge.from)}\" -> \"${escapeDot(edge.to)}\" [label=\"${edge.kind}\"${style}];`);\n  }\n  lines.push('}');\n  return `${lines.join('\\n')}\\n`;\n}\n\nfunction toMermaid(nodes: readonly SpecNode[], edges: readonly Edge[]): string {\n  const lines = ['graph LR'];\n  const alias = new Map<string, string>();\n  nodes.forEach((node, position) => alias.set(node.id, `n${position}`));\n\n  for (const node of nodes) {\n    const key = alias.get(node.id) as string;\n    const label = escapeMermaid(node.kind === 'document' ? node.id : node.text);\n    lines.push(node.kind === 'document' ? `  ${key}[\"${label}\"]` : `  ${key}([\"${label}\"])`);\n    if (node.kind === 'document' && node.phase !== 'unknown') lines.push(`  class ${key} ${node.phase};`);\n  }\n  for (const edge of edges) {\n    const from = alias.get(edge.from);\n    const to = alias.get(edge.to);\n    if (!from || !to) continue;\n    lines.push(`  ${from} -->|${edge.kind}| ${to}`);\n  }\n  for (const [phase, fill] of Object.entries(PHASE_FILL)) {\n    if (phase === 'unknown') continue;\n    lines.push(`  classDef ${phase} fill:${fill},stroke:#5f6368;`);\n  }\n  return `${lines.join('\\n')}\\n`;\n}\n\nfunction escapeDot(value: string): string {\n  return value.replace(/[\"\\\\]/g, '\\\\$&').replace(/\\n/g, '\\\\n');\n}\n\nfunction escapeMermaid(value: string): string {\n  return value.replace(/[\"#]/g, ' ').replace(/\\s+/g, ' ').trim();\n}\n"]}
+{"version":3,"file":"report.js","sourceRoot":"","sources":["../src/report.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAE9C,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AACxC,OAAO,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAqD7E,oFAAoF;AACpF,MAAM,UAAU,cAAc,CAAC,WAAW,GAAqB,EAAE;IAC/D,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,CAAC;IAC3C,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,SAAS,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC;IAC1E,2EAA2E;IAC3E,sEAAsE;IACtE,IAAI,GAAG,CAAC,aAAa,CAAC,KAAK,GAAG;QAAE,OAAO,KAAK,CAAC;IAC7C,IAAI,GAAG,CAAC,aAAa,CAAC,KAAK,SAAS,IAAI,GAAG,CAAC,aAAa,CAAC,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IAC/E,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC;IACzC,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE;QAAE,OAAO,KAAK,CAAC;IAC9D,OAAO,WAAW,CAAC,KAAK,KAAK,IAAI,CAAC;AACpC,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,cAAc,CAAC,WAAW,GAAqB,EAAE;IAC/D,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,CAAC;IAC3C,IAAI,GAAG,CAAC,kBAAkB,CAAC,KAAK,SAAS,IAAI,GAAG,CAAC,kBAAkB,CAAC,KAAK,EAAE;QAAE,OAAO,IAAI,CAAC;IACzF,IAAI,CAAC,WAAW,CAAC,QAAQ,IAAI,OAAO,CAAC,QAAQ,CAAC,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC;IACzE,6EAA6E;IAC7E,OAAO,GAAG,CAAC,YAAY,CAAC,KAAK,SAAS,IAAI,GAAG,CAAC,cAAc,CAAC,KAAK,SAAS,CAAC;AAC9E,CAAC;AAED,MAAM,WAAW,GAAwB,IAAI,GAAG,EAAU,CAAC;AAc3D,MAAM,UAAU,aAAa,CAAC,KAAc;IAC1C,MAAM,IAAI,GAAG,CAAC,IAAY,EAAS,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,IAAI,IAAI,IAAI,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACnG,OAAO;QACL,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC;QACjB,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;QAChB,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;QAChB,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC;QACd,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC;QACf,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;QAChB,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC;KACpB,CAAC;AACJ,CAAC;AAWD,SAAS,MAAM,CAAC,KAAc;IAC5B,OAAO,KAAK;QACV,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE;QAC/E,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;AAClH,CAAC;AAED,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAEhF,wCAAwC;AACxC,MAAM,UAAU,YAAY,CAAC,MAAsB,EAAE,OAAO,GAAoB,EAAE;IAChF,MAAM,KAAK,GAAG,aAAa,CAAC,OAAO,CAAC,KAAK,IAAI,KAAK,CAAC,CAAC;IACpD,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,IAAI,KAAK,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC;IAE3B,KAAK,CAAC,IAAI,CACR,GAAG,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,KAAK,CAAC,GAAG,CACtC;QACE,GAAG,OAAO,CAAC,SAAS,IAAI,MAAM,CAAC,OAAO,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE;QAC/D,GAAG,OAAO,CAAC,KAAK,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE;QACnD,GAAG,OAAO,CAAC,KAAK,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE;QACvD,GAAG,OAAO,CAAC,eAAe,OAAO;KAClC,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,SAAS,GAAG,CAAC,CAC/B,EAAE,CACJ,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC;IACvF,MAAM,KAAK,GAAG,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAEjD,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,WAAW,CAAC;IACnD,KAAK,MAAM,UAAU,IAAI,KAAK,EAAE,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;QACrE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;QAC7C,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,OAAO,CAAC,CAAC,CAAC;QACpF,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,IAAI,OAAO,CAAC,OAAO,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClD,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YACtC,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,KAAK,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;QACvG,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,OAAO,CAAC,MAAM,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;IACxG,IAAI,OAAO,CAAC,QAAQ,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,QAAQ,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/G,IAAI,OAAO,CAAC,KAAK,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,KAAK,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IACnG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,UAAU,IAAI,CAAC,CAAC,CAAC;IACjD,MAAM,MAAM,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC;IAChG,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,qBAAqB,CAAC,CAAC,CAAC;IACzD,CAAC;IACD,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC;IAClC,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,UAAU,GAAG,CAAC,EAAE,CAAC;QACtD,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,UAAU,gBAAgB,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACjF,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC;IAE/C,2EAA2E;IAC3E,6BAA6B;IAC7B,MAAM,SAAS,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IAC1C,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,GAAG,QAAQ,CAAC,KAAK,aAAa,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,EAAE,SAAS,CAAC,cACnF,QAAQ,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OACpC,qDAAqD,QAAQ,CAAC,MAAM,EAAE,CAAC;QACvE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAClF,CAAC;IAED,KAAK,CAAC,IAAI,CACR,SAAS;QACP,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IACzB,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,4CAA4C,CAAC,CAAC,CAAC,yCAC7D,EAAE;QACJ,CAAC,CAAC,MAAM,CAAC,EAAE;YACT,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,IACnD,OAAO,CAAC,MAAM,GAAG,OAAO,CAAC,QAAQ,KAAK,CAAC;gBACrC,CAAC,CAAC,uCAAuC;gBACzC,CAAC,CAAC,2CACN,EAAE;YACJ,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,0CAA0C,CAC1E,CAAC;IAEF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,gBAAgB,CACvB,UAAsB,EACtB,KAAc,EACd,KAAa,EACb,SAA8B;IAE9B,MAAM,IAAI,GAAG,YAAY,CAAC,UAAU,CAAC,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAC7D,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC;QAC1C,CAAC,CAAC,GAAG,UAAU,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,yBAAyB,CAAC,EAAE;QAC/D,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC;IACpB,MAAM,KAAK,GAAa;QACtB,GAAG,IAAI,IAAI,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE;QAC1E,OAAO,UAAU,CAAC,OAAO,EAAE;KAC5B,CAAC;IAEF,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAC5F,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,OAAO,EAAE,CAAC;QACvC,MAAM,SAAS,GAAG,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACtC,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,KAAK,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAChH,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3E,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,YAAY,CAAC,QAAkC,EAAE,KAAc,EAAE,KAAa;IACrF,QAAQ,QAAQ,EAAE,CAAC;QACjB,KAAK,OAAO;YACV,OAAO,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAClC,KAAK,MAAM;YACT,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAChC,KAAK,MAAM;YACT,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC;AACH,CAAC;AAED,SAAS,MAAM,CAAC,KAAa,EAAE,IAAY,EAAE,MAAe;IAC1D,IAAI,KAAK,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC7B,OAAO,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC;AAC9B,CAAC;AAED,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAEhF;;;;;GAKG;AACH;;;;;GAKG;AACH,SAAS,aAAa,CAAC,QAAqC;IAC1D,OAAO,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,OAAO,KAAK,IAAI,IAAI,QAAQ,CAAC,KAAK,GAAG,CAAC,CAAC;AACnF,CAAC;AAED,gFAAgF;AAChF,gFAAgF;AAChF,gFAAgF;AAEhF;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,WAAW,CACzB,MAAsB,EACtB,KAAgB,EAChB,OAAO,GAAkF,EAAE;IAE3F,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,WAAW,CAAC;IACnD,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC;IACvG,OAAO,GAAG,IAAI,CAAC,SAAS,CACtB;QACE,OAAO,EAAE,+CAA+C;QACxD,OAAO,EAAE,OAAO;QAChB,IAAI,EAAE;YACJ;gBACE,IAAI,EAAE;oBACJ,MAAM,EAAE;wBACN,IAAI,EAAE,YAAY;wBAClB,cAAc,EAAE,0CAA0C;wBAC1D,GAAG,CAAC,OAAO,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,eAAe,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC;wBACxG,0DAA0D;wBAC1D,mDAAmD;wBACnD,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;4BACxB,EAAE;4BACF,gBAAgB,EAAE,EAAE,IAAI,EAAE,iBAAiB,CAAC,EAAE,CAAC,EAAE;4BACjD,oBAAoB,EAAE,EAAE,KAAK,EAAE,UAAU,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC,EAAE;yBACpE,CAAC,CAAC;qBACJ;iBACF;gBACD,OAAO,EAAE,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE;oBAC7C,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;oBAC/C,OAAO;wBACL,MAAM,EAAE,UAAU,CAAC,IAAI;wBACvB,KAAK,EAAE,UAAU,CAAC,UAAU,CAAC,QAAQ,CAAC;wBACtC,OAAO,EAAE,EAAE,IAAI,EAAE,GAAG,UAAU,CAAC,OAAO,KAAK,UAAU,CAAC,IAAI,EAAE,EAAE;wBAC9D,SAAS,EAAE,CAAC,aAAa,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;wBACzC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;4BACjC,CAAC,CAAC,EAAE;4BACJ,CAAC,CAAC;gCACE,gBAAgB,EAAE,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;oCACnD,GAAG,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;oCAC1B,OAAO,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE;iCAC9B,CAAC,CAAC;6BACJ,CAAC;wBACN,mBAAmB,EAAE;4BACnB,iBAAiB,EAAE,GAAG,UAAU,CAAC,IAAI,IAAI,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,OAAO,EAAE;yBAC3E;wBACD,UAAU,EAAE;4BACV,KAAK,EAAE,UAAU,CAAC,KAAK;4BACvB,MAAM,EAAE,UAAU,CAAC,MAAM;4BACzB,4DAA4D;4BAC5D,+DAA+D;4BAC/D,SAAS,EAAE,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC;yBAC1C;qBACF,CAAC;gBACJ,CAAC,CAAC;aACH;SACF;KACF,EACD,IAAI,EACJ,CAAC,CACF,IAAI,CAAC;AACR,CAAC;AAED,SAAS,UAAU,CAAC,QAAkB;IACpC,QAAQ,QAAQ,EAAE,CAAC;QACjB,KAAK,OAAO;YACV,OAAO,OAAO,CAAC;QACjB,KAAK,MAAM;YACT,OAAO,SAAS,CAAC;QACnB,KAAK,MAAM;YACT,OAAO,MAAM,CAAC;QAChB;YACE,OAAO,MAAM,CAAC;IAClB,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,EAAa;IAMlC,OAAO;QACL,gBAAgB,EAAE;YAChB,uEAAuE;YACvE,gBAAgB,EAAE,EAAE,GAAG,EAAE,EAAE,CAAC,IAAI,EAAE;YAClC,MAAM,EAAE;gBACN,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI;gBAC7B,WAAW,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM;gBACjC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI;gBACzB,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM;aAC9B;SACF;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,UAAU,CACxB,MAAsB,EACtB,OAAO,GAAgF,EAAE;IAEzF,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,WAAW,CAAC;IACnD,OAAO,GAAG,IAAI,CAAC,SAAS,CACtB;QACE,OAAO,EAAE,CAAC;QACV,EAAE,EAAE,MAAM,CAAC,EAAE,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,QAAQ,CAAC;QACjD,MAAM,EAAE,SAAS,CAAC,IAAI,GAAG,CAAC;QAC1B,GAAG,CAAC,OAAO,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC;QACzE,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;YACnD,IAAI,EAAE,UAAU,CAAC,IAAI;YACrB,QAAQ,EAAE,UAAU,CAAC,QAAQ;YAC7B,+DAA+D;YAC/D,SAAS,EAAE,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC;YACzC,OAAO,EAAE,UAAU,CAAC,OAAO;YAC3B,IAAI,EAAE,UAAU,CAAC,IAAI;YACrB,KAAK,EAAE,UAAU,CAAC,KAAK;YACvB,MAAM,EAAE,UAAU,CAAC,MAAM;YACzB,IAAI,EAAE,UAAU,CAAC,EAAE,CAAC,IAAI;YACxB,IAAI,EAAE,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI;YACnC,MAAM,EAAE,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM;YACvC,OAAO,EAAE,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI;YACpC,SAAS,EAAE,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM;YACxC,OAAO,EAAE,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBAC1C,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,IAAI;gBACnB,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI;gBAC9B,MAAM,EAAE,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM;gBAClC,IAAI,EAAE,KAAK,CAAC,IAAI;aACjB,CAAC,CAAC;SACJ,CAAC,CAAC;QACH,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YAC1C,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC,IAAI;YACrB,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI;SACjC,CAAC,CAAC;KACJ,EACD,IAAI,EACJ,CAAC,CACF,IAAI,CAAC;AACR,CAAC;AAaD,wEAAwE;AACxE,MAAM,UAAU,WAAW,CAAC,KAAgB,EAAE,MAAmB,EAAE,OAAO,GAAuB,EAAE;IACjG,MAAM,SAAS,GAAG,OAAO,CAAC,aAAa,IAAI,KAAK,CAAC;IACjD,MAAM,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;IACjG,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAEtD,4EAA4E;IAC5E,4EAA4E;IAC5E,gEAAgE;IAChE,MAAM,MAAM,GAAG,SAAS;QACtB,CAAC,CAAC,WAAW,CACT,KAAK,CAAC,KAAK;YACT,iEAAiE;YACjE,kEAAkE;YAClE,qEAAqE;aACpE,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;aAClE,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;YACZ,MAAM,IAAI,GAAG,KAAK,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC;YAC9D,MAAM,EAAE,GAAG,KAAK,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,IAAI,IAAI,CAAC,EAAE,CAAC;YACxD,OAAO,IAAI,KAAK,IAAI,CAAC,IAAI,IAAI,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,SAAS,EAAE,IAAI,KAAK,EAAE,EAAE,CAAC;QACrG,CAAC,CAAC;aACD,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CACrC;QACH,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC;IAEhB,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAEtF,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,KAAK;YACR,OAAO,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC7B,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACjC,KAAK,MAAM;YACT,OAAO,GAAG,IAAI,CAAC,SAAS,CACtB;gBACE,OAAO,EAAE,CAAC;gBACV,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC;gBAC/B,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;oBAC1B,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,EAAE,EAAE,IAAI,CAAC,EAAE;oBACX,MAAM,EAAE,IAAI,CAAC,MAAM;oBACnB,UAAU,EAAE,IAAI,CAAC,UAAU;oBAC3B,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,IAAI;oBAC1B,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI;iBACtC,CAAC,CAAC;aACJ,EACD,IAAI,EACJ,CAAC,CACF,IAAI,CAAC;IACV,CAAC;AACH,CAAC;AAED,mFAAmF;AACnF,SAAS,WAAW,CAAC,KAAsB;IACzC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAAW,EAAE,CAAC;IACvB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;QACnD,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,aAAa,CAAC,IAAc;IACnC,MAAM,IAAI,GAAG;QACX,EAAE,EAAE,IAAI,CAAC,EAAE;QACX,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI;QAClB,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI;KAC9B,CAAC;IACF,OAAO,IAAI,CAAC,IAAI,KAAK,UAAU;QAC7B,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE;QAChG,CAAC,CAAC;YACE,GAAG,IAAI;YACP,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,WAAW,EAAE,IAAI,CAAC,WAAW;YAC7B,QAAQ,EAAE,IAAI,CAAC,QAAQ;SACxB,CAAC;AACR,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,GAAqC;IACnD,KAAK,EAAE,SAAS;IAChB,MAAM,EAAE,SAAS;IACjB,MAAM,EAAE,SAAS;IACjB,OAAO,EAAE,SAAS;IAClB,MAAM,EAAE,SAAS;IACjB,OAAO,EAAE,SAAS;CACnB,CAAC;AAEF,SAAS,KAAK,CAAC,KAA0B,EAAE,KAAsB;IAC/D,MAAM,KAAK,GAAG,CAAC,gBAAgB,EAAE,eAAe,EAAE,8DAA8D,CAAC,CAAC;IAClH,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC1F,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,MAAM,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxG,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;QACxD,KAAK,CAAC,IAAI,CAAC,MAAM,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,aAAa,KAAK,iBAAiB,IAAI,YAAY,KAAK,IAAI,CAAC,CAAC;IACnG,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/D,KAAK,CAAC,IAAI,CAAC,MAAM,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,aAAa,IAAI,CAAC,IAAI,IAAI,KAAK,IAAI,CAAC,CAAC;IACvG,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;AACjC,CAAC;AAED,SAAS,SAAS,CAAC,KAA0B,EAAE,KAAsB;IACnE,MAAM,KAAK,GAAG,CAAC,UAAU,CAAC,CAAC;IAC3B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,QAAQ,EAAE,CAAC,CAAC,CAAC;IAEtE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAW,CAAC;QACzC,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5E,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,KAAK,GAAG,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,MAAM,KAAK,KAAK,CAAC,CAAC;QACzF,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,WAAW,GAAG,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;IACxG,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,MAAM,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC9B,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE;YAAE,SAAS;QAC3B,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,QAAQ,IAAI,CAAC,IAAI,KAAK,EAAE,EAAE,CAAC,CAAC;IAClD,CAAC;IACD,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;QACvD,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAClC,KAAK,CAAC,IAAI,CAAC,cAAc,KAAK,SAAS,IAAI,kBAAkB,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;AACjC,CAAC;AAED,SAAS,SAAS,CAAC,KAAa;IAC9B,OAAO,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;AAC/D,CAAC;AAED,SAAS,aAAa,CAAC,KAAa;IAClC,OAAO,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AACjE,CAAC","sourcesContent":["/**\n * Output formatting.\n *\n * Two audiences, one set of facts. In a terminal the report leads with the file\n * and line so an editor can jump there, indents the supporting evidence, and\n * ends with a concrete next action - because a finding a reader cannot act on\n * is a finding they will learn to scroll past. In CI it emits JSON with every\n * position intact, so a bot can annotate a diff.\n *\n * Colour is opt-out and auto-detected, and the glyphs degrade to ASCII when the\n * terminal cannot render them.\n */\n\nimport { fingerprintOf } from './baseline.js';\nimport type { SpecGraph } from './graph.js';\nimport { formatRef } from './source.js';\nimport { DEFAULT_SEVERITIES, RULE_DESCRIPTIONS, RULE_IDS } from './rules.js';\nimport type { AnalysisResult } from './runner.js';\nimport type { Diagnostic, Edge, RuleId, Severity, SourceRef, SpecNode } from './types.js';\n\nexport interface ReporterOptions {\n  readonly color?: boolean | undefined;\n  readonly ascii?: boolean | undefined;\n  readonly verbose?: boolean | undefined;\n  /** Stop after this many findings. `0` means no limit. */\n  readonly max?: number | undefined;\n  /**\n   * Rules whose severity `--strict` raised.\n   *\n   * A finding that only became an error because of a flag has to say so, or the\n   * reader cannot tell what would happen without it.\n   */\n  readonly escalated?: ReadonlySet<RuleId> | undefined;\n  /**\n   * What a baseline accounted for on this run.\n   *\n   * Reported as counts rather than as a list: the point of accepted debt is\n   * that nobody has to read it every time. `stale` is the ratchet - debt that\n   * has been paid and can be struck from the file - and `ratchet` says whether\n   * this run was asked to fail over it.\n   */\n  readonly baseline?:\n    | {\n        readonly source: string;\n        readonly suppressed: number;\n        readonly stale: number;\n        readonly ratchet?: boolean | undefined;\n      }\n    | undefined;\n}\n\n/* -------------------------------------------------------------------------- */\n/* Environment detection                                                      */\n/* -------------------------------------------------------------------------- */\n\nexport interface ColorEnvironment {\n  readonly isTTY?: boolean | undefined;\n  readonly env?: Readonly<Record<string, string | undefined>> | undefined;\n  /**\n   * Host platform, defaulting to the real one.\n   *\n   * Injected for the same reason `env` is: without it half of\n   * {@link shouldUseAscii} is unreachable from a test, and a rule about\n   * Windows consoles that only Windows can exercise is a rule that breaks on\n   * Windows and nowhere else.\n   */\n  readonly platform?: NodeJS.Platform | undefined;\n}\n\n/** Honours `NO_COLOR`, `FORCE_COLOR` and `TERM=dumb` before falling back to TTY. */\nexport function shouldUseColor(environment: ColorEnvironment = {}): boolean {\n  const env = environment.env ?? process.env;\n  if (env['NO_COLOR'] !== undefined && env['NO_COLOR'] !== '') return false;\n  // `FORCE_COLOR=0` is the conventional way to turn colour off, so it has to\n  // win over an attached TTY rather than merely failing to force it on.\n  if (env['FORCE_COLOR'] === '0') return false;\n  if (env['FORCE_COLOR'] !== undefined && env['FORCE_COLOR'] !== '') return true;\n  if (env['TERM'] === 'dumb') return false;\n  if (env['CI'] !== undefined && env['CI'] !== '') return false;\n  return environment.isTTY === true;\n}\n\n/** True when the terminal is unlikely to render box-drawing and arrows. */\nexport function shouldUseAscii(environment: ColorEnvironment = {}): boolean {\n  const env = environment.env ?? process.env;\n  if (env['SPEC_GRAPH_ASCII'] !== undefined && env['SPEC_GRAPH_ASCII'] !== '') return true;\n  if ((environment.platform ?? process.platform) !== 'win32') return false;\n  // Windows Terminal and modern shells set these; the legacy console does not.\n  return env['WT_SESSION'] === undefined && env['TERM_PROGRAM'] === undefined;\n}\n\nconst EMPTY_RULES: ReadonlySet<RuleId> = new Set<RuleId>();\n\ntype Paint = (text: string) => string;\n\nexport interface Painter {\n  readonly error: Paint;\n  readonly warn: Paint;\n  readonly info: Paint;\n  readonly dim: Paint;\n  readonly bold: Paint;\n  readonly hint: Paint;\n  readonly location: Paint;\n}\n\nexport function createPainter(color: boolean): Painter {\n  const wrap = (open: string): Paint => (text) => (color ? `\\u001b[${open}m${text}\\u001b[0m` : text);\n  return {\n    error: wrap('31'),\n    warn: wrap('33'),\n    info: wrap('36'),\n    dim: wrap('2'),\n    bold: wrap('1'),\n    hint: wrap('32'),\n    location: wrap('4'),\n  };\n}\n\ninterface Glyphs {\n  readonly error: string;\n  readonly warn: string;\n  readonly info: string;\n  readonly related: string;\n  readonly hint: string;\n  readonly separator: string;\n}\n\nfunction glyphs(ascii: boolean): Glyphs {\n  return ascii\n    ? { error: 'x', warn: '!', info: 'i', related: '|', hint: '>', separator: '-' }\n    : { error: '\\u2716', warn: '\\u26a0', info: '\\u2139', related: '\\u21b3', hint: '\\u2192', separator: '\\u00b7' };\n}\n\n/* -------------------------------------------------------------------------- */\n/* Human report                                                               */\n/* -------------------------------------------------------------------------- */\n\n/** Renders the full terminal report. */\nexport function formatReport(result: AnalysisResult, options: ReporterOptions = {}): string {\n  const paint = createPainter(options.color ?? false);\n  const marks = glyphs(options.ascii ?? false);\n  const lines: string[] = [];\n  const { summary } = result;\n\n  lines.push(\n    `${paint.bold('spec-graph')} ${paint.dim(\n      [\n        `${summary.documents} ${plural(summary.documents, 'document')}`,\n        `${summary.items} ${plural(summary.items, 'item')}`,\n        `${summary.edges} ${plural(summary.edges, 'relation')}`,\n        `${summary.openObligations} open`,\n      ].join(` ${marks.separator} `),\n    )}`,\n  );\n  lines.push('');\n\n  const limit = options.max && options.max > 0 ? options.max : result.diagnostics.length;\n  const shown = result.diagnostics.slice(0, limit);\n\n  const escalated = options.escalated ?? EMPTY_RULES;\n  for (const diagnostic of shown) {\n    lines.push(...formatDiagnostic(diagnostic, paint, marks, escalated));\n    lines.push('');\n  }\n\n  if (result.diagnostics.length > shown.length) {\n    lines.push(paint.dim(`  ... and ${result.diagnostics.length - shown.length} more`));\n    lines.push('');\n  }\n\n  if (options.verbose && result.problems.length > 0) {\n    for (const problem of result.problems) {\n      lines.push(`${paint.warn(marks.warn)} ${paint.location(formatRef(problem.at))}  ${problem.message}`);\n    }\n    lines.push('');\n  }\n\n  const tally: string[] = [];\n  if (summary.errors > 0) tally.push(paint.error(`${summary.errors} ${plural(summary.errors, 'error')}`));\n  if (summary.warnings > 0) tally.push(paint.warn(`${summary.warnings} ${plural(summary.warnings, 'warning')}`));\n  if (summary.infos > 0) tally.push(paint.info(`${summary.infos} ${plural(summary.infos, 'note')}`));\n  tally.push(paint.dim(`${summary.durationMs}ms`));\n  const raised = result.diagnostics.filter((diagnostic) => escalated.has(diagnostic.rule)).length;\n  if (raised > 0) {\n    tally.push(paint.warn(`${raised} raised by --strict`));\n  }\n  const baseline = options.baseline;\n  if (baseline !== undefined && baseline.suppressed > 0) {\n    tally.push(paint.dim(`${baseline.suppressed} accepted by ${baseline.source}`));\n  }\n  lines.push(tally.join(` ${marks.separator} `));\n\n  // Under `--ratchet` a paid entry is a failure rather than a note, so it is\n  // painted and worded as one.\n  const ratcheted = ratchetFailed(baseline);\n  if (baseline !== undefined && baseline.stale > 0) {\n    const text = `${baseline.stale} baseline ${plural(baseline.stale, 'entry', 'entries')} no longer ${\n      baseline.stale === 1 ? 'occurs' : 'occur'\n    } - tighten it: spec-graph check --record-baseline ${baseline.source}`;\n    lines.push(ratcheted ? `${paint.error(marks.error)} ${text}` : paint.dim(text));\n  }\n\n  lines.push(\n    ratcheted\n      ? `${paint.error(marks.error)} ${\n          result.ok ? 'the baseline is looser than the repository' : 'the specification graph is inconsistent'\n        }`\n      : result.ok\n        ? `${paint.hint(marks.hint === '>' ? 'ok' : '\\u2714')} ${\n          summary.errors + summary.warnings === 0\n            ? 'the specification graph is consistent'\n            : 'no errors - the specification graph holds'\n        }`\n      : `${paint.error(marks.error)} the specification graph is inconsistent`,\n  );\n\n  return lines.join('\\n');\n}\n\nfunction formatDiagnostic(\n  diagnostic: Diagnostic,\n  paint: Painter,\n  marks: Glyphs,\n  escalated: ReadonlySet<RuleId>,\n): string[] {\n  const mark = severityMark(diagnostic.severity, paint, marks);\n  const label = escalated.has(diagnostic.rule)\n    ? `${diagnostic.rule} ${paint.warn('(strict: warn -> error)')}`\n    : diagnostic.rule;\n  const lines: string[] = [\n    `${mark} ${paint.location(formatRef(diagnostic.at))}  ${paint.dim(label)}`,\n    `    ${diagnostic.message}`,\n  ];\n\n  const width = Math.max(0, ...diagnostic.related.map((entry) => formatRef(entry.at).length));\n  for (const entry of diagnostic.related) {\n    const reference = formatRef(entry.at);\n    lines.push(`    ${paint.dim(marks.related)} ${paint.dim(reference.padEnd(width))}  ${paint.dim(entry.note)}`);\n  }\n\n  lines.push(`    ${paint.hint(marks.hint)} ${paint.hint(diagnostic.hint)}`);\n  return lines;\n}\n\nfunction severityMark(severity: Exclude<Severity, 'off'>, paint: Painter, marks: Glyphs): string {\n  switch (severity) {\n    case 'error':\n      return paint.error(marks.error);\n    case 'warn':\n      return paint.warn(marks.warn);\n    case 'info':\n      return paint.info(marks.info);\n  }\n}\n\nfunction plural(count: number, word: string, plural?: string): string {\n  if (count === 1) return word;\n  return plural ?? `${word}s`;\n}\n\n/* -------------------------------------------------------------------------- */\n/* JSON                                                                       */\n/* -------------------------------------------------------------------------- */\n\n/**\n * The machine-readable report.\n *\n * Deliberately flat and versioned: this is the contract a CI annotator or a\n * dashboard builds against, and it must be safe to add fields to it later.\n */\n/**\n * True when a baseline was asked to ratchet and has slack left in it.\n *\n * Both reporters ask, because both have to agree with the exit code: a report\n * that prints \"ok\" above a failing build is worse than no report.\n */\nfunction ratchetFailed(baseline: ReporterOptions['baseline']): boolean {\n  return baseline !== undefined && baseline.ratchet === true && baseline.stale > 0;\n}\n\n/* -------------------------------------------------------------------------- */\n/* SARIF                                                                      */\n/* -------------------------------------------------------------------------- */\n\n/**\n * The static-analysis interchange format, for the tools that already read it.\n *\n * The reason to emit it is not the format, it is what consumes the format:\n * GitHub code scanning turns a SARIF upload into annotations on the diff, and\n * an editor turns it into the problems pane, neither of which needs a line of\n * spec-graph-specific integration.\n *\n * One field earns the whole exercise. `partialFingerprints` is how a consumer\n * tracks a finding across commits without keying on a line number, and\n * spec-graph already has exactly that identifier for exactly that reason - the\n * `rule/document/subject` triple a baseline is keyed on (ADR-0012). The two\n * problems turned out to be the same problem, so the answer is the same answer.\n *\n * Deterministic and timestamp-free, like every other output here. Nothing about\n * a run that has the same findings should produce a different file.\n */\nexport function formatSarif(\n  result: AnalysisResult,\n  graph: SpecGraph,\n  options: { version?: string | undefined; escalated?: ReadonlySet<RuleId> | undefined } = {},\n): string {\n  const escalated = options.escalated ?? EMPTY_RULES;\n  const fired = RULE_IDS.filter((id) => result.diagnostics.some((diagnostic) => diagnostic.rule === id));\n  return `${JSON.stringify(\n    {\n      $schema: 'https://json.schemastore.org/sarif-2.1.0.json',\n      version: '2.1.0',\n      runs: [\n        {\n          tool: {\n            driver: {\n              name: 'spec-graph',\n              informationUri: 'https://github.com/DescentVTT/spec-graph',\n              ...(options.version === undefined ? {} : { version: options.version, semanticVersion: options.version }),\n              // Only the rules that fired. A driver listing all of them\n              // describes the tool; this file describes the run.\n              rules: fired.map((id) => ({\n                id,\n                shortDescription: { text: RULE_DESCRIPTIONS[id] },\n                defaultConfiguration: { level: sarifLevel(DEFAULT_SEVERITIES[id]) },\n              })),\n            },\n          },\n          results: result.diagnostics.map((diagnostic) => {\n            const print = fingerprintOf(graph, diagnostic);\n            return {\n              ruleId: diagnostic.rule,\n              level: sarifLevel(diagnostic.severity),\n              message: { text: `${diagnostic.message}. ${diagnostic.hint}` },\n              locations: [sarifLocation(diagnostic.at)],\n              ...(diagnostic.related.length === 0\n                ? {}\n                : {\n                    relatedLocations: diagnostic.related.map((entry) => ({\n                      ...sarifLocation(entry.at),\n                      message: { text: entry.note },\n                    })),\n                  }),\n              partialFingerprints: {\n                specGraphIdentity: `${diagnostic.rule}/${print.document}/${print.subject}`,\n              },\n              properties: {\n                nodes: diagnostic.nodes,\n                target: diagnostic.target,\n                // A finding that is only an error because of a flag says so\n                // here too, so a reviewer reading an annotation is not misled.\n                escalated: escalated.has(diagnostic.rule),\n              },\n            };\n          }),\n        },\n      ],\n    },\n    null,\n    2,\n  )}\\n`;\n}\n\nfunction sarifLevel(severity: Severity): string {\n  switch (severity) {\n    case 'error':\n      return 'error';\n    case 'warn':\n      return 'warning';\n    case 'info':\n      return 'note';\n    default:\n      return 'none';\n  }\n}\n\nfunction sarifLocation(at: SourceRef): {\n  physicalLocation: {\n    artifactLocation: { uri: string };\n    region: { startLine: number; startColumn: number; endLine: number; endColumn: number };\n  };\n} {\n  return {\n    physicalLocation: {\n      // Already repository-relative and POSIX, which is what SARIF asks for.\n      artifactLocation: { uri: at.file },\n      region: {\n        startLine: at.span.start.line,\n        startColumn: at.span.start.column,\n        endLine: at.span.end.line,\n        endColumn: at.span.end.column,\n      },\n    },\n  };\n}\n\nexport function formatJson(\n  result: AnalysisResult,\n  options: { escalated?: ReadonlySet<RuleId>; baseline?: ReporterOptions['baseline'] } = {},\n): string {\n  const escalated = options.escalated ?? EMPTY_RULES;\n  return `${JSON.stringify(\n    {\n      version: 1,\n      ok: result.ok && !ratchetFailed(options.baseline),\n      strict: escalated.size > 0,\n      ...(options.baseline === undefined ? {} : { baseline: options.baseline }),\n      summary: result.summary,\n      files: result.files,\n      diagnostics: result.diagnostics.map((diagnostic) => ({\n        rule: diagnostic.rule,\n        severity: diagnostic.severity,\n        // True when this finding is only an error because of --strict.\n        escalated: escalated.has(diagnostic.rule),\n        message: diagnostic.message,\n        hint: diagnostic.hint,\n        nodes: diagnostic.nodes,\n        target: diagnostic.target,\n        file: diagnostic.at.file,\n        line: diagnostic.at.span.start.line,\n        column: diagnostic.at.span.start.column,\n        endLine: diagnostic.at.span.end.line,\n        endColumn: diagnostic.at.span.end.column,\n        related: diagnostic.related.map((entry) => ({\n          file: entry.at.file,\n          line: entry.at.span.start.line,\n          column: entry.at.span.start.column,\n          note: entry.note,\n        })),\n      })),\n      problems: result.problems.map((problem) => ({\n        message: problem.message,\n        file: problem.at.file,\n        line: problem.at.span.start.line,\n      })),\n    },\n    null,\n    2,\n  )}\\n`;\n}\n\n/* -------------------------------------------------------------------------- */\n/* Graph export                                                               */\n/* -------------------------------------------------------------------------- */\n\nexport type GraphFormat = 'dot' | 'mermaid' | 'json';\n\nexport interface GraphExportOptions {\n  /** Leave out `contains` edges and item nodes. */\n  readonly documentsOnly?: boolean | undefined;\n}\n\n/** Serialises the graph for Graphviz, Mermaid, or a downstream tool. */\nexport function formatGraph(graph: SpecGraph, format: GraphFormat, options: GraphExportOptions = {}): string {\n  const skipItems = options.documentsOnly ?? false;\n  const nodes = [...graph.nodes.values()].filter((node) => !skipItems || node.kind === 'document');\n  const visible = new Set(nodes.map((node) => node.id));\n\n  // Hiding items must not hide what they say. An obligation delegated from an\n  // item to a document is lifted onto the item's owner, so the document-level\n  // view still shows the handover rather than silently losing it.\n  const lifted = skipItems\n    ? dedupeEdges(\n        graph.edges\n          // Containment of an *item* is what hiding items makes redundant.\n          // Containment of a specification by the register that holds it is\n          // structure between documents, and is what this view exists to show.\n          .filter((edge) => edge.kind !== 'contains' || visible.has(edge.to))\n          .map((edge) => {\n            const from = graph.owningDocument(edge.from)?.id ?? edge.from;\n            const to = graph.owningDocument(edge.to)?.id ?? edge.to;\n            return from === edge.from && to === edge.to ? edge : { ...edge, from, to, reflexive: from === to };\n          })\n          .filter((edge) => !edge.reflexive),\n      )\n    : graph.edges;\n\n  const edges = lifted.filter((edge) => visible.has(edge.from) && visible.has(edge.to));\n\n  switch (format) {\n    case 'dot':\n      return toDot(nodes, edges);\n    case 'mermaid':\n      return toMermaid(nodes, edges);\n    case 'json':\n      return `${JSON.stringify(\n        {\n          version: 1,\n          nodes: nodes.map(serialiseNode),\n          edges: edges.map((edge) => ({\n            kind: edge.kind,\n            from: edge.from,\n            to: edge.to,\n            origin: edge.origin,\n            declaredIn: edge.declaredIn,\n            file: edge.declaredAt.file,\n            line: edge.declaredAt.span.start.line,\n          })),\n        },\n        null,\n        2,\n      )}\\n`;\n  }\n}\n\n/** Collapses duplicate relations produced by lifting item edges onto documents. */\nfunction dedupeEdges(edges: readonly Edge[]): Edge[] {\n  const seen = new Set<string>();\n  const out: Edge[] = [];\n  for (const edge of edges) {\n    const key = `${edge.kind} ${edge.from} ${edge.to}`;\n    if (seen.has(key)) continue;\n    seen.add(key);\n    out.push(edge);\n  }\n  return out;\n}\n\nfunction serialiseNode(node: SpecNode): Record<string, unknown> {\n  const base = {\n    id: node.id,\n    kind: node.kind,\n    title: node.title,\n    file: node.at.file,\n    line: node.at.span.start.line,\n  };\n  return node.kind === 'document'\n    ? { ...base, path: node.path, phase: node.phase, status: node.rawStatus, aliases: node.aliases }\n    : {\n        ...base,\n        document: node.document,\n        section: node.section,\n        disposition: node.disposition,\n        openness: node.openness,\n      };\n}\n\n/** Phase colours, chosen to stay legible in both light and dark renderings. */\nconst PHASE_FILL: Readonly<Record<string, string>> = {\n  draft: '#e8f0fe',\n  active: '#e6f4ea',\n  frozen: '#e8eaed',\n  retired: '#fce8e6',\n  record: '#f3e8fd',\n  unknown: '#ffffff',\n};\n\nfunction toDot(nodes: readonly SpecNode[], edges: readonly Edge[]): string {\n  const lines = ['digraph spec {', '  rankdir=LR;', '  node [shape=box, style=\"rounded,filled\", fontname=\"sans\"];'];\n  for (const node of nodes) {\n    const fill = node.kind === 'document' ? (PHASE_FILL[node.phase] ?? '#ffffff') : '#fffbe6';\n    const label = node.kind === 'document' ? `${node.id}\\\\n${escapeDot(node.title)}` : escapeDot(node.text);\n    const shape = node.kind === 'document' ? 'box' : 'note';\n    lines.push(`  \"${escapeDot(node.id)}\" [label=\"${label}\", fillcolor=\"${fill}\", shape=${shape}];`);\n  }\n  for (const edge of edges) {\n    const style = edge.kind === 'contains' ? ', style=dotted' : '';\n    lines.push(`  \"${escapeDot(edge.from)}\" -> \"${escapeDot(edge.to)}\" [label=\"${edge.kind}\"${style}];`);\n  }\n  lines.push('}');\n  return `${lines.join('\\n')}\\n`;\n}\n\nfunction toMermaid(nodes: readonly SpecNode[], edges: readonly Edge[]): string {\n  const lines = ['graph LR'];\n  const alias = new Map<string, string>();\n  nodes.forEach((node, position) => alias.set(node.id, `n${position}`));\n\n  for (const node of nodes) {\n    const key = alias.get(node.id) as string;\n    const label = escapeMermaid(node.kind === 'document' ? node.id : node.text);\n    lines.push(node.kind === 'document' ? `  ${key}[\"${label}\"]` : `  ${key}([\"${label}\"])`);\n    if (node.kind === 'document' && node.phase !== 'unknown') lines.push(`  class ${key} ${node.phase};`);\n  }\n  for (const edge of edges) {\n    const from = alias.get(edge.from);\n    const to = alias.get(edge.to);\n    if (!from || !to) continue;\n    lines.push(`  ${from} -->|${edge.kind}| ${to}`);\n  }\n  for (const [phase, fill] of Object.entries(PHASE_FILL)) {\n    if (phase === 'unknown') continue;\n    lines.push(`  classDef ${phase} fill:${fill},stroke:#5f6368;`);\n  }\n  return `${lines.join('\\n')}\\n`;\n}\n\nfunction escapeDot(value: string): string {\n  return value.replace(/[\"\\\\]/g, '\\\\$&').replace(/\\n/g, '\\\\n');\n}\n\nfunction escapeMermaid(value: string): string {\n  return value.replace(/[\"#]/g, ' ').replace(/\\s+/g, ' ').trim();\n}\n"]}

package/dist/resolve.d.ts

@@ -18,7 +18,7 @@
  *   one happened to be indexed first.
  */
 import type { ExtractedDocument } from './extract.js';
-import type { DanglingRef, DocumentNode, Edge, ItemNode, ParseProblem, SpecNode } from './types.js';
+import type { DanglingRef, DocumentNode, Edge, ItemNode, MisreadKey, ParseProblem, SpecNode } from './types.js';
 export interface ResolveOptions {
     /**
      * Whether a repository-relative path exists on disk.
@@ -54,6 +54,7 @@ export interface ResolvedCorpus {
     readonly edges: readonly Edge[];
     readonly dangling: readonly DanglingRef[];
     readonly problems: readonly ParseProblem[];
+    readonly misreadKeys: readonly MisreadKey[];
 }
 /** Resolves every extracted reference against the whole corpus. */
 export declare function resolveCorpus(extracted: readonly ExtractedDocument[], options?: ResolveOptions): ResolvedCorpus;

package/dist/resolve.js

@@ -26,6 +26,7 @@ export function resolveCorpus(extracted, options = {}) {
     const documents = [];
     const items = [];
     const problems = [];
+    const misreadKeys = [];
     for (const entry of extracted) {
         const existing = nodes.get(entry.document.id);
         if (existing && existing.kind === 'document') {
@@ -42,6 +43,7 @@ export function resolveCorpus(extracted, options = {}) {
             items.push(item);
         }
         problems.push(...entry.problems);
+        misreadKeys.push(...entry.misreadKeys);
     }
     const edges = [];
     const dangling = [];
@@ -103,7 +105,7 @@ export function resolveCorpus(extracted, options = {}) {
             edges.push(outcome);
         }
     }
-    return { nodes, documents, items, edges, dangling, problems };
+    return { nodes, documents, items, edges, dangling, problems, misreadKeys };
 }
 /* -------------------------------------------------------------------------- */
 /* Indexing                                                                   */
@@ -226,7 +228,36 @@ function resolveOne(candidate, entry, index, nodes, options) {
         return bindAnchor(candidate, documentId, anchor, index, nodes, options);
     return makeEdge(candidate, documentId);
 }
+/**
+ * The same path with its percent-escapes read.
+ *
+ * `[Design](docs/my%20design.md)` is what a renderer, a documentation site and
+ * GitHub's own "copy link" all produce for a file with a space in its name, and
+ * it names a real file. Returns `null` when there was nothing to decode or when
+ * the escapes are malformed - `100%` in a path is not an escape sequence, and
+ * `decodeURIComponent` throws on it.
+ */
+function percentDecoded(target) {
+    if (!target.includes('%'))
+        return null;
+    try {
+        const decoded = decodeURIComponent(target);
+        return decoded === target ? null : decoded;
+    }
+    catch {
+        return null;
+    }
+}
 function lookup(target, entry, index) {
+    const found = lookupExact(target, entry, index);
+    if (found.ids.length > 0)
+        return found;
+    // Tried second and never first, so a repository holding a file whose name
+    // genuinely contains a percent escape keeps resolving by its written spelling.
+    const decoded = percentDecoded(target);
+    return decoded === null ? found : lookupExact(decoded, entry, index);
+}
+function lookupExact(target, entry, index) {
     if (looksLikePath(target)) {
         const resolved = resolveFrom(entry.document.path, target).toLowerCase();
         // Naming the file exactly is never ambiguous, whatever else is spelled the