@wrtnlabs/evidence 0.0.0 → 0.1.0

package/lib/programmers/EvidenceTagProgrammer.js

@@ -2,8 +2,10 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.EvidenceTagProgrammer = void 0;
 const EvidenceTargetBody_1 = require("../internal/EvidenceTargetBody");
+const EvidenceDocumentationExamples_1 = require("../parsers/EvidenceDocumentationExamples");
 /**
- * Parses Evidence annotations from documentation already mapped to a source host.
+ * Parses Evidence annotations from documentation already mapped to a source
+ * host.
  *
  * Adapters own comment syntax and provide a normalized documentation map; this
  * namespace owns only Evidence tag semantics. Its mutable context carries a
@@ -17,49 +19,51 @@ const EvidenceTargetBody_1 = require("../internal/EvidenceTargetBody");
 var EvidenceTagProgrammer;
 (function (EvidenceTagProgrammer) {
     /**
-     * Parses valid Evidence tags and diagnostics from one mapped documentation block.
+     * Parses valid Evidence tags and diagnostics from one mapped documentation
+     * block.
      *
-     * The function consumes no text outside {@link IEvidenceTagContext.documentation}.
-     * It preserves multiline tag bodies, ignores apparent tags inside fenced code,
-     * and flushes a pending annotation at every boundary that makes continuation
-     * impossible. Invalid tags become diagnostics rather than aborting sibling tags.
+     * The function consumes no text outside
+     * {@link IEvidenceTagContext.documentation}. It preserves multiline tag
+     * bodies, ignores apparent tags inside fenced code or HTML comments, and
+     * flushes a pending annotation at every boundary that makes continuation
+     * impossible. Invalid tags become diagnostics rather than aborting sibling
+     * tags.
      */
     function parse(context) {
         validate(context);
+        const characters = context.documentation.text.split("");
+        EvidenceDocumentationExamples_1.EvidenceDocumentationExamples.maskHtmlComments(characters, context.documentation.text);
+        const input = characters.join("");
+        const lines = input.split("\n");
+        const documentBaseline = EvidenceDocumentationExamples_1.EvidenceDocumentationExamples.baseline(input);
         let cursor = 0;
-        for (const rawLine of context.documentation.text.split("\n")) {
+        for (const rawLine of lines) {
             const line = rawLine.trim();
             // Coordinates must point at trimmed annotation text while cursor advances
             // across the untrimmed mapped documentation, including blank-line bytes.
             const start = cursor + rawLine.indexOf(line);
             const end = start + line.length;
             cursor += rawLine.length + 1;
-            const delimiter = /^(`{3,}|~{3,})(.*)$/.exec(line);
-            if (delimiter !== null) {
-                const marker = delimiter[1] ?? "";
-                // Closing fences must use the opening marker character and at least its
-                // length; a shorter marker remains literal code inside the fenced block.
+            const delimiter = EvidenceDocumentationExamples_1.EvidenceDocumentationExamples.fence(rawLine, documentBaseline);
+            if (delimiter !== undefined) {
                 if (context.fence === "") {
-                    context.fence = marker[0] ?? "";
-                    context.fenceLength = marker.length;
+                    // An opening fence ends prose continuation before example text can
+                    // satisfy or alter an annotation's reason or review description.
+                    flush(context);
+                    context.fence = delimiter.marker;
+                    context.fenceLength = delimiter.length;
                 }
-                else if (marker[0] === context.fence &&
-                    marker.length >= context.fenceLength &&
-                    (delimiter[2] ?? "").trim() === "")
+                else if (
+                // Closing fences must use the opening marker character and at least its
+                // length; a shorter marker remains literal code inside the fenced block.
+                delimiter.marker === context.fence &&
+                    delimiter.length >= context.fenceLength &&
+                    delimiter.remainder.trim() === "")
                     context.fence = "";
-                if (context.pending !== undefined) {
-                    context.pending.body += "\n" + line;
-                    context.pending.end = end;
-                }
                 continue;
             }
-            if (context.fence !== "") {
-                if (context.pending !== undefined) {
-                    context.pending.body += "\n" + line;
-                    context.pending.end = end;
-                }
+            if (context.fence !== "")
                 continue;
-            }
             const marker = /^@(evidenceExcludeReview|evidenceReview|evidenceExclude|evidence|link)(?:[ \t]|$)/.exec(line);
             if (marker !== null) {
                 flush(context);
@@ -109,10 +113,10 @@ var EvidenceTagProgrammer;
      * Verifies that a documentation map belongs to its declared source host.
      *
      * Offset and end arrays must cover the normalized text exactly and remain
-     * monotonic inside the host range. The source lookup also validates that every
-     * retained boundary can be converted into a public line-and-column location.
-     * Violations are adapter bugs, so this function throws instead of producing a
-     * user-facing annotation diagnostic.
+     * monotonic inside the host range. The source lookup also validates that
+     * every retained boundary can be converted into a public line-and-column
+     * location. Violations are adapter bugs, so this function throws instead of
+     * producing a user-facing annotation diagnostic.
      */
     function validate(context) {
         if (context.documentation.hostId !== context.host.id ||
@@ -134,11 +138,13 @@ var EvidenceTagProgrammer;
         }
     }
     /**
-     * Converts a half-open documentation-text span to an original source location.
+     * Converts a half-open documentation-text span to an original source
+     * location.
      *
-     * The documentation map can omit or transform syntax such as comment prefixes,
-     * so source offsets cannot be derived from character counts. The final character
-     * uses its mapped end boundary; an empty span uses its mapped start boundary.
+     * The documentation map can omit or transform syntax such as comment
+     * prefixes, so source offsets cannot be derived from character counts. The
+     * final character uses its mapped end boundary; an empty span uses its mapped
+     * start boundary.
      */
     function location(context, start, end) {
         const from = context.documentation.offsets[start];
@@ -153,9 +159,9 @@ var EvidenceTagProgrammer;
     /**
      * Appends a source-located tag diagnostic for the current host.
      *
-     * Centralizing this projection guarantees parser errors carry the same severity
-     * and host identity as later graph diagnostics, while callers supply the
-     * actionable repair text appropriate to the failed tag rule.
+     * Centralizing this projection guarantees parser errors carry the same
+     * severity and host identity as later graph diagnostics, while callers supply
+     * the actionable repair text appropriate to the failed tag rule.
      */
     function problem(context, code, message, repair, where) {
         context.result.diagnostics.push({
@@ -168,12 +174,14 @@ var EvidenceTagProgrammer;
         });
     }
     /**
-     * Finalizes the pending tag, appending an annotation or an explanatory diagnostic.
+     * Finalizes the pending tag, appending an annotation or an explanatory
+     * diagnostic.
      *
-     * Pending state is cleared before validation so a failing tag cannot be emitted
-     * again at a later boundary. Attachment, inline-link, target, review-fingerprint,
-     * and reason requirements are checked in that order because each later rule
-     * assumes the preceding source and target interpretation is valid.
+     * Pending state is cleared before validation so a failing tag cannot be
+     * emitted again at a later boundary. Attachment, inline-link, target,
+     * review-fingerprint, and reason requirements are checked in that order
+     * because each later rule assumes the preceding source and target
+     * interpretation is valid.
      */
     function flush(context) {
         if (context.pending === undefined)

package/lib/reporters/EvidenceGraphReporter.d.ts

@@ -3,23 +3,24 @@ import type { EvidenceGraphFormat } from "../typings/EvidenceGraphFormat";
 /**
  * Serializes the authoritative graph report as JSON, Mermaid, or DOT.
  *
- * Visual formats escape authored labels before embedding them in their respective
- * grammars. They are projections of an already evaluated graph and never change
- * graph membership, coverage, or review resolution.
+ * Visual formats escape authored labels before embedding them in their
+ * respective grammars. They are projections of an already evaluated graph and
+ * never change graph membership, coverage, or review resolution.
  */
 export declare namespace EvidenceGraphReporter {
     /**
      * Chooses the requested graph serialization.
      *
-     * JSON preserves the report object, while Mermaid and DOT encode its boundaries,
-     * nodes, evidence edges, and review edges for visualization tools.
+     * JSON preserves the report object, while Mermaid and DOT encode its
+     * boundaries, nodes, evidence edges, and review edges for visualization
+     * tools.
      */
     function render(report: IEvidenceGraphReport, format: EvidenceGraphFormat): string;
     /**
      * Serializes the complete graph report as indented JSON.
      *
-     * This format keeps stable identifiers and every exported property available to
-     * programmatic consumers without visual-format escaping.
+     * This format keeps stable identifiers and every exported property available
+     * to programmatic consumers without visual-format escaping.
      */
     function json(report: IEvidenceGraphReport): string;
     /**
@@ -32,8 +33,8 @@ export declare namespace EvidenceGraphReporter {
     /**
      * Emits a DOT directed graph with clusters for configuration boundaries.
      *
-     * Evidence exclusion and review relations use distinct line styles so their
-     * meaning remains visible when a viewer does not expose edge metadata.
+     * Evidence Graph exclusion and review relations use distinct line styles so
+     * their meaning remains visible when a viewer does not expose edge metadata.
      */
     function dot(report: IEvidenceGraphReport): string;
 }

package/lib/reporters/EvidenceGraphReporter.js

@@ -4,17 +4,18 @@ exports.EvidenceGraphReporter = void 0;
 /**
  * Serializes the authoritative graph report as JSON, Mermaid, or DOT.
  *
- * Visual formats escape authored labels before embedding them in their respective
- * grammars. They are projections of an already evaluated graph and never change
- * graph membership, coverage, or review resolution.
+ * Visual formats escape authored labels before embedding them in their
+ * respective grammars. They are projections of an already evaluated graph and
+ * never change graph membership, coverage, or review resolution.
  */
 var EvidenceGraphReporter;
 (function (EvidenceGraphReporter) {
     /**
      * Chooses the requested graph serialization.
      *
-     * JSON preserves the report object, while Mermaid and DOT encode its boundaries,
-     * nodes, evidence edges, and review edges for visualization tools.
+     * JSON preserves the report object, while Mermaid and DOT encode its
+     * boundaries, nodes, evidence edges, and review edges for visualization
+     * tools.
      */
     function render(report, format) {
         if (format === "json")
@@ -25,8 +26,8 @@ var EvidenceGraphReporter;
     /**
      * Serializes the complete graph report as indented JSON.
      *
-     * This format keeps stable identifiers and every exported property available to
-     * programmatic consumers without visual-format escaping.
+     * This format keeps stable identifiers and every exported property available
+     * to programmatic consumers without visual-format escaping.
      */
     function json(report) {
         return JSON.stringify(report, null, 2) + "\n";
@@ -60,8 +61,8 @@ var EvidenceGraphReporter;
     /**
      * Emits a DOT directed graph with clusters for configuration boundaries.
      *
-     * Evidence exclusion and review relations use distinct line styles so their
-     * meaning remains visible when a viewer does not expose edge metadata.
+     * Evidence Graph exclusion and review relations use distinct line styles so
+     * their meaning remains visible when a viewer does not expose edge metadata.
      */
     function dot(report) {
         const names = nodeNames(report.nodes);
@@ -108,8 +109,8 @@ function requireNodeName(names, id) {
 /**
  * Summarizes a claim/reference boundary and its resolved policy state.
  *
- * The label makes inactive and incomplete boundaries visible even when they have
- * no ordinary evidence edges in the graph export.
+ * The label makes inactive and incomplete boundaries visible even when they
+ * have no ordinary evidence edges in the graph export.
  */
 function boundaryLabel(boundary) {
     const policies = [
@@ -129,8 +130,8 @@ function boundaryLabel(boundary) {
 /**
  * Produces a concise label for a graph node.
  *
- * Hosts identify their physical source location; unit nodes identify their role,
- * target, symbol, and selection or coverage state.
+ * Hosts identify their physical source location; unit nodes identify their
+ * role, target, symbol, and selection or coverage state.
  */
 function nodeLabel(node) {
     if (node.role === "host")
@@ -151,7 +152,8 @@ function edgeLabel(edge) {
     return `@${edge.kind} #${edge.fingerprint}`;
 }
 /**
- * Labels a review relation with its review-tag spelling and optional fingerprint.
+ * Labels a review relation with its review-tag spelling and optional
+ * fingerprint.
  *
  * Missing fingerprints remain explicit because their absence affects review
  * matching rather than meaning that the review edge has no source data.
@@ -181,8 +183,8 @@ function mermaidText(value) {
 /**
  * Escapes text embedded in a DOT quoted string literal.
  *
- * Backslashes are handled first so later quote and line-break substitutions cannot
- * create an escape sequence with a different meaning.
+ * Backslashes are handled first so later quote and line-break substitutions
+ * cannot create an escape sequence with a different meaning.
  */
 function dotText(value) {
     return value

package/lib/reporters/EvidenceQueryReporter.d.ts

@@ -12,15 +12,16 @@ export declare namespace EvidenceQueryReporter {
     /**
      * Selects the text or JSON representation for a query result.
      *
-     * Every representation ends with a newline so callers can write it directly to
-     * stdout or a report file. The command discriminator selects the text layout.
+     * Every representation ends with a newline so callers can write it directly
+     * to stdout or a report file. The command discriminator selects the text
+     * layout.
      */
     function render(report: EvidenceQueryReport, format: EvidenceReportFormat): string;
     /**
      * Serializes the complete query report as indented JSON.
      *
-     * JSON retains all diagnostics and inspection details for tools that should not
-     * infer structure from terminal-oriented text.
+     * JSON retains all diagnostics and inspection details for tools that should
+     * not infer structure from terminal-oriented text.
      */
     function json(report: EvidenceQueryReport): string;
     /**

package/lib/reporters/EvidenceQueryReporter.js

@@ -14,8 +14,9 @@ var EvidenceQueryReporter;
     /**
      * Selects the text or JSON representation for a query result.
      *
-     * Every representation ends with a newline so callers can write it directly to
-     * stdout or a report file. The command discriminator selects the text layout.
+     * Every representation ends with a newline so callers can write it directly
+     * to stdout or a report file. The command discriminator selects the text
+     * layout.
      */
     function render(report, format) {
         return format === "json" ? json(report) : text(report);
@@ -24,8 +25,8 @@ var EvidenceQueryReporter;
     /**
      * Serializes the complete query report as indented JSON.
      *
-     * JSON retains all diagnostics and inspection details for tools that should not
-     * infer structure from terminal-oriented text.
+     * JSON retains all diagnostics and inspection details for tools that should
+     * not infer structure from terminal-oriented text.
      */
     function json(report) {
         return JSON.stringify(report, null, 2) + "\n";
@@ -49,8 +50,8 @@ var EvidenceQueryReporter;
 /**
  * Renders a filtered inventory listing and its analysis diagnostics.
  *
- * Filters appear in the heading so a copied terminal report records the selected
- * population even when its item list is empty.
+ * Filters appear in the heading so a copied terminal report records the
+ * selected population even when its item list is empty.
  */
 function list(report) {
     const filters = [
@@ -58,7 +59,7 @@ function list(report) {
         report.kind === undefined ? undefined : `kind=${report.kind}`,
     ].filter((value) => value !== undefined);
     const lines = [
-        `Evidence list ${report.status}.`,
+        `evidence list ${report.status}.`,
         `Config: ${report.configFile}`,
         `Targets: ${report.total}${filters.length === 0 ? "" : ` (${filters.join(", ")})`}.`,
     ];
@@ -92,7 +93,7 @@ function listItem(item) {
  */
 function inspect(report) {
     const lines = [
-        `Evidence inspect ${report.status}.`,
+        `evidence inspect ${report.status}.`,
         `Config: ${report.configFile}`,
         `Target: ${JSON.stringify(report.target)}`,
         `Populations: ${report.inspections.length}.`,
@@ -105,8 +106,9 @@ function inspect(report) {
 /**
  * Expands one population's selected units, obligations, and acknowledgements.
  *
- * The report includes both declared target candidates and resolved units so users
- * can distinguish spelling ambiguity from graph coverage or review state.
+ * The report includes both declared target candidates and resolved units so
+ * users can distinguish spelling ambiguity from graph coverage or review
+ * state.
  */
 function inspectionLines(inspection) {
     const lines = [`${scope(inspection.scope)} ${inspection.status}`];
@@ -132,14 +134,15 @@ function inspectionLines(inspection) {
     return lines;
 }
 /**
- * Renders the certified adapter catalog without consulting project configuration.
+ * Renders the certified adapter catalog without consulting project
+ * configuration.
  *
  * Grammar patterns, addressing rules, and documented unsupported forms let an
  * author choose an available artifact type before writing a configuration.
  */
 function languages(report) {
     const lines = [
-        "Evidence certified languages.",
+        "Evidence Graph certified languages.",
         `Languages: ${report.total}.`,
     ];
     for (const language of report.languages) {
@@ -154,8 +157,8 @@ function languages(report) {
 /**
  * Appends analysis findings in the compact query-report diagnostic layout.
  *
- * Query reports retain diagnostics from the shared analysis even if their primary
- * listing or inspection data was successfully produced.
+ * Query reports retain diagnostics from the shared analysis even if their
+ * primary listing or inspection data was successfully produced.
  */
 function appendDiagnostics(lines, diagnostics) {
     for (const diagnostic of diagnostics) {

package/lib/reporters/EvidenceReporter.d.ts

@@ -3,9 +3,10 @@ import type { EvidenceReportFormat } from "../typings/EvidenceReportFormat";
 /**
  * Serializes an evaluated check for terminal users or machine consumers.
  *
- * Both formats read the same report and preserve its diagnostic order. Rendering
- * does not evaluate coverage or change process status, which keeps presentation
- * separate from the check programmer's completeness and severity decisions.
+ * Both formats read the same report and preserve its diagnostic order.
+ * Rendering does not evaluate coverage or change process status, which keeps
+ * presentation separate from the check programmer's completeness and severity
+ * decisions.
  */
 export declare namespace EvidenceReporter {
     /**

package/lib/reporters/EvidenceReporter.js

@@ -4,9 +4,10 @@ exports.EvidenceReporter = void 0;
 /**
  * Serializes an evaluated check for terminal users or machine consumers.
  *
- * Both formats read the same report and preserve its diagnostic order. Rendering
- * does not evaluate coverage or change process status, which keeps presentation
- * separate from the check programmer's completeness and severity decisions.
+ * Both formats read the same report and preserve its diagnostic order.
+ * Rendering does not evaluate coverage or change process status, which keeps
+ * presentation separate from the check programmer's completeness and severity
+ * decisions.
  */
 var EvidenceReporter;
 (function (EvidenceReporter) {
@@ -40,7 +41,7 @@ var EvidenceReporter;
     function text(report) {
         const counts = report.counts;
         const lines = [
-            `Evidence check ${report.status}.`,
+            `Evidence Graph check ${report.status}.`,
             `Config: ${report.configFile}`,
             `Claims: ${counts.activeClaims}/${counts.claims} active.`,
             `Obligations: ${counts.activeObligations}/${counts.obligations} active, ${counts.incompleteObligations} incomplete.`,
@@ -71,8 +72,9 @@ function diagnosticLines(report, diagnostic) {
 /**
  * Labels a diagnostic with its authored claim and reference coordinates.
  *
- * Claim names supplement numeric identities. If a reference result is unavailable,
- * the authored index still identifies the boundary without an artifact label.
+ * Claim names supplement numeric identities. If a reference result is
+ * unavailable, the authored index still identifies the boundary without an
+ * artifact label.
  */
 function context(report, diagnostic) {
     const claim = report.claims.find((candidate) => candidate.claim === diagnostic.claim);

package/lib/reporters/EvidenceWatchReporter.d.ts

@@ -3,8 +3,8 @@ import type { EvidenceWatchCycle } from "../typings/EvidenceWatchCycle";
 /**
  * Serializes published watch cycles for terminal streams and append-only files.
  *
- * Watch output is framed per cycle so a long-lived process can report failures and
- * later recovery without mixing the fields of adjacent evaluations.
+ * Watch output is framed per cycle so a long-lived process can report failures
+ * and later recovery without mixing the fields of adjacent evaluations.
  */
 export declare namespace EvidenceWatchReporter {
     /**
@@ -17,12 +17,13 @@ export declare namespace EvidenceWatchReporter {
     /**
      * Emits one complete cycle as a single NDJSON record.
      *
-     * Compact JSON prevents line-oriented consumers from mistaking indentation in a
-     * report for a record boundary while preserving the cycle envelope.
+     * Compact JSON prevents line-oriented consumers from mistaking indentation in
+     * a report for a record boundary while preserving the cycle envelope.
      */
     function json(cycle: EvidenceWatchCycle): string;
     /**
-     * Renders a readable cycle heading followed by its report or failure guidance.
+     * Renders a readable cycle heading followed by its report or failure
+     * guidance.
      *
      * Normal cycles reuse check formatting. A preparation failure has no check
      * report, so it instead preserves configuration context and repair advice.

package/lib/reporters/EvidenceWatchReporter.js

@@ -5,8 +5,8 @@ const EvidenceReporter_1 = require("./EvidenceReporter");
 /**
  * Serializes published watch cycles for terminal streams and append-only files.
  *
- * Watch output is framed per cycle so a long-lived process can report failures and
- * later recovery without mixing the fields of adjacent evaluations.
+ * Watch output is framed per cycle so a long-lived process can report failures
+ * and later recovery without mixing the fields of adjacent evaluations.
  */
 var EvidenceWatchReporter;
 (function (EvidenceWatchReporter) {
@@ -23,21 +23,22 @@ var EvidenceWatchReporter;
     /**
      * Emits one complete cycle as a single NDJSON record.
      *
-     * Compact JSON prevents line-oriented consumers from mistaking indentation in a
-     * report for a record boundary while preserving the cycle envelope.
+     * Compact JSON prevents line-oriented consumers from mistaking indentation in
+     * a report for a record boundary while preserving the cycle envelope.
      */
     function json(cycle) {
         return JSON.stringify(cycle) + "\n";
     }
     EvidenceWatchReporter.json = json;
     /**
-     * Renders a readable cycle heading followed by its report or failure guidance.
+     * Renders a readable cycle heading followed by its report or failure
+     * guidance.
      *
      * Normal cycles reuse check formatting. A preparation failure has no check
      * report, so it instead preserves configuration context and repair advice.
      */
     function text(cycle) {
-        const heading = `Evidence watch cycle ${cycle.cycle} (${cycle.status}).\n`;
+        const heading = `Evidence Graph watch cycle ${cycle.cycle} (${cycle.status}).\n`;
         if (cycle.status !== "failed")
             return heading + EvidenceReporter_1.EvidenceReporter.text(cycle.report);
         return `${heading}Config: ${cycle.configFile}\n${cycle.message}\nRepair: ${cycle.repair}\n`;

package/lib/reporters/index.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Serializers for check, query, graph, and watch reports.
+ *
+ * They project evaluated report objects into text, JSON, or graph formats
+ * without changing inventory, diagnostics, or exit semantics.
+ */
+export * from "./EvidenceGraphReporter";
+export * from "./EvidenceQueryReporter";
+export * from "./EvidenceReporter";
+export * from "./EvidenceWatchReporter";

package/lib/reporters/index.js

@@ -0,0 +1,26 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __exportStar = (this && this.__exportStar) || function(m, exports) {
+    for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+/**
+ * Serializers for check, query, graph, and watch reports.
+ *
+ * They project evaluated report objects into text, JSON, or graph formats
+ * without changing inventory, diagnostics, or exit semantics.
+ */
+__exportStar(require("./EvidenceGraphReporter"), exports);
+__exportStar(require("./EvidenceQueryReporter"), exports);
+__exportStar(require("./EvidenceReporter"), exports);
+__exportStar(require("./EvidenceWatchReporter"), exports);

package/lib/structures/IEvidenceAdapter.d.ts

@@ -2,7 +2,8 @@ import type { EvidenceArtifactType } from "../typings/EvidenceArtifactType";
 import type { IEvidenceInventory } from "./IEvidenceInventory";
 import type { IEvidenceSourceSnapshot } from "./IEvidenceSourceSnapshot";
 /**
- * Language-specific extraction boundary between source discovery and graph evaluation.
+ * Language-specific extraction boundary between source discovery and graph
+ * evaluation.
  *
  * The checker supplies a captured source snapshot. The adapter owns declaration
  * classification, visibility, semantic ownership, public addresses, and comment
@@ -10,25 +11,29 @@ import type { IEvidenceSourceSnapshot } from "./IEvidenceSourceSnapshot";
  * without interpreting that language's syntax.
  *
  * Grammar acceptance alone does not establish complete support. Constructs that
- * can alter the public population but cannot be analyzed must leave an incomplete
- * inventory with a repairable diagnostic. Source failures and watch dependencies
- * also cross this boundary; borrowed parser resources must not escape in output.
+ * can alter the public population but cannot be analyzed must leave an
+ * incomplete inventory with a repairable diagnostic. Source failures and watch
+ * dependencies also cross this boundary; borrowed parser resources must not
+ * escape in output.
  *
  * @example
- * const adapter: IEvidenceAdapter = new EvidenceTypeScriptAdapter();
- * const inventory: IEvidenceInventory = await adapter.analyze(snapshot);
- * // An incomplete inventory must not be accepted as a smaller full population.
+ *   const adapter: IEvidenceAdapter<"typescript"> =
+ *     new EvidenceTypeScriptAdapter();
+ *   const inventory: IEvidenceInventory = await adapter.analyze(snapshot);
+ *   // An incomplete inventory must not be accepted as a smaller full population.
  */
-export interface IEvidenceAdapter {
+export interface IEvidenceAdapter<Type extends EvidenceArtifactType = EvidenceArtifactType> {
     /**
      * Artifact language or format handled by this adapter.
      *
      * Configuration and the adapter factory use this discriminator to choose
-     * extraction rules. The same adapter supports claim and reference populations.
+     * extraction rules. The same adapter supports claim and reference
+     * populations.
      */
-    type: EvidenceArtifactType;
+    readonly type: Type;
     /**
-     * Extracts serializable declaration and documentation records from a snapshot.
+     * Extracts serializable declaration and documentation records from a
+     * snapshot.
      *
      * Preserve discovery failures and report unsupported surface-changing syntax
      * instead of silently omitting its declarations. Returned ranges and content

package/lib/structures/IEvidenceAddress.d.ts

@@ -7,9 +7,9 @@
  * declarations, and several addresses can expose one unit through aliases.
  *
  * @example
- * // api.ts#Client.prototype["send.request"] decomposes into:
- * // file: "api.ts"
- * // segments: ["Client", "prototype", "send.request"]
+ *   // api.ts#Client.prototype["send.request"] decomposes into:
+ *   // file: "api.ts"
+ *   // segments: ["Client", "prototype", "send.request"]
  */
 export interface IEvidenceAddress {
     /**
@@ -23,7 +23,8 @@ export interface IEvidenceAddress {
      * Literal accessor components within the public file.
      *
      * Dots inside one component belong to its name. Use the accessor parser and
-     * serializer to preserve quoting instead of splitting a rendered dotted string.
+     * serializer to preserve quoting instead of splitting a rendered dotted
+     * string.
      */
     segments: string[];
 }

package/lib/structures/IEvidenceCheckAnalysis.d.ts

@@ -5,8 +5,9 @@ import type { IEvidenceGraphResult } from "./IEvidenceGraphResult";
  * Captured inputs, graph evaluation, and report from one checker invocation.
  *
  * `EvidenceChecker.analyze` returns this when callers need queryable context in
- * addition to a check status. List, inspection, and graph queries can explain the
- * same source snapshots without reloading files that may have changed afterward.
+ * addition to a check status. List, inspection, and graph queries can explain
+ * the same source snapshots without reloading files that may have changed
+ * afterward.
  *
  * Each projection has a distinct purpose: graph input retains inventories and
  * policy, graph result retains independent obligations and findings, and report