@wrtnlabs/evidence 0.0.0 → 0.1.0

package/lib/targets/EvidenceTargetResolver.js

@@ -5,10 +5,10 @@ const promises_1 = require("node:fs/promises");
 const EvidenceAccessor_1 = require("./EvidenceAccessor");
 const EvidenceFileTarget_1 = require("./EvidenceFileTarget");
 const EvidenceInventory_1 = require("../graph/EvidenceInventory");
-const InventoryMerge_1 = require("../internal/InventoryMerge");
-const MarkdownTarget_1 = require("../adapters/markdown/MarkdownTarget");
-const PrismaTarget_1 = require("../adapters/prisma/PrismaTarget");
-const SwaggerTarget_1 = require("../adapters/swagger/SwaggerTarget");
+const EvidenceInventoryMerge_1 = require("../internal/EvidenceInventoryMerge");
+const EvidenceMarkdownTarget_1 = require("../adapters/markdown/EvidenceMarkdownTarget");
+const EvidencePrismaTarget_1 = require("../adapters/prisma/EvidencePrismaTarget");
+const EvidenceSwaggerTarget_1 = require("../adapters/swagger/EvidenceSwaggerTarget");
 /**
  * Resolves citation targets against one merged, selected reference population.
  *
@@ -23,12 +23,14 @@ const SwaggerTarget_1 = require("../adapters/swagger/SwaggerTarget");
  * multi-origin documentation silently select an arbitrary declaration.
  *
  * @example
- * const resolver: EvidenceTargetResolver = new EvidenceTargetResolver([inventory]);
- * const result: IEvidenceTargetResolution = await resolver.resolve(
- *   statement,
- *   host,
- *   selectedIds,
- * );
+ *   const resolver: EvidenceTargetResolver = new EvidenceTargetResolver([
+ *     inventory,
+ *   ]);
+ *   const result: IEvidenceTargetResolution = await resolver.resolve(
+ *     statement,
+ *     host,
+ *     selectedIds,
+ *   );
  */
 class EvidenceTargetResolver {
     /**
@@ -55,8 +57,8 @@ class EvidenceTargetResolver {
     /**
      * Normalized public addresses admitted by the reference's selected sources.
      *
-     * Ordinary targets may resolve only in this set; physical file existence alone
-     * never makes an unselected source part of the coverage denominator.
+     * Ordinary targets may resolve only in this set; physical file existence
+     * alone never makes an unselected source part of the coverage denominator.
      */
     selectedFiles = new Set();
     /**
@@ -69,16 +71,16 @@ class EvidenceTargetResolver {
     /**
      * Authored public file spellings grouped by their normalized file identity.
      *
-     * A target must be tested through every public spelling because address lookup
-     * preserves authored paths as part of the public identity contract.
+     * A target must be tested through every public spelling because address
+     * lookup preserves authored paths as part of the public identity contract.
      */
     publicFiles = new Map();
     /**
      * Selected Markdown roots grouped by Markdown's root-relative path spelling.
      *
-     * Markdown targets are intentionally resolved from reference roots rather than
-     * relative to the documentation host, so one logical target may map to several
-     * physical selected files before ambiguity is decided.
+     * Markdown targets are intentionally resolved from reference roots rather
+     * than relative to the documentation host, so one logical target may map to
+     * several physical selected files before ambiguity is decided.
      */
     markdownFiles = new Map();
     /**
@@ -120,7 +122,7 @@ class EvidenceTargetResolver {
             for (const address of source.addresses) {
                 if (address.selected === false)
                     continue;
-                const relative = MarkdownTarget_1.MarkdownTarget.normalize(address.relative);
+                const relative = EvidenceMarkdownTarget_1.EvidenceMarkdownTarget.normalize(address.relative);
                 let files = this.markdownFiles.get(relative);
                 if (files === undefined) {
                     files = new Set();
@@ -135,13 +137,13 @@ class EvidenceTargetResolver {
      *
      * The host must match the statement because diagnostics and relative origins
      * belong to that attachment. Specialized Markdown, Prisma, and Swagger target
-     * forms are parsed only for a uniquely identified artifact type. Ordinary file
-     * targets are attempted for each declared host origin, then deduplicated before
-     * index lookup and filesystem classification.
+     * forms are parsed only for a uniquely identified artifact type. Ordinary
+     * file targets are attempted for each declared host origin, then deduplicated
+     * before index lookup and filesystem classification.
      *
      * Incomplete inventories win before an empty or missing-member result. A scan
-     * that omitted declarations cannot prove coverage merely because the remaining
-     * selected population has no match.
+     * that omitted declarations cannot prove coverage merely because the
+     * remaining selected population has no match.
      */
     async resolve(statement, host, ids) {
         if (statement.hostId !== host.id)
@@ -153,7 +155,7 @@ class EvidenceTargetResolver {
         const addresses = [];
         try {
             if (type === "markdown") {
-                const target = MarkdownTarget_1.MarkdownTarget.parse(statement.target);
+                const target = EvidenceMarkdownTarget_1.EvidenceMarkdownTarget.parse(statement.target);
                 for (const file of this.markdownFiles.get(target.file) ?? [])
                     addresses.push({ file, segments: target.segments });
                 if (addresses.length === 0) {
@@ -163,15 +165,15 @@ class EvidenceTargetResolver {
                 }
             }
             else if (type === "prisma") {
-                addresses.push(PrismaTarget_1.PrismaTarget.parse(statement.target));
+                addresses.push(EvidencePrismaTarget_1.EvidencePrismaTarget.parse(statement.target));
             }
             else if (type === "swagger") {
-                addresses.push(SwaggerTarget_1.SwaggerTarget.parse(statement.target));
+                addresses.push(EvidenceSwaggerTarget_1.EvidenceSwaggerTarget.parse(statement.target));
             }
             else {
                 // A host can represent merged documentation origins. Retain every unique
                 // lexical origin until candidate resolution exposes a genuine ambiguity.
-                const origins = InventoryMerge_1.InventoryMerge.unique(host.origins ?? [host.file], (origin) => EvidenceFileTarget_1.EvidenceFileTarget.normalize(origin));
+                const origins = EvidenceInventoryMerge_1.EvidenceInventoryMerge.unique(host.origins ?? [host.file], (origin) => EvidenceFileTarget_1.EvidenceFileTarget.normalize(origin));
                 for (const origin of origins)
                     addresses.push(EvidenceFileTarget_1.EvidenceFileTarget.parse(statement.target, origin));
             }
@@ -181,7 +183,7 @@ class EvidenceTargetResolver {
                 ? cause.message
                 : "Use a valid file-qualified public accessor."));
         }
-        const uniqueAddresses = InventoryMerge_1.InventoryMerge.unique(addresses, (address) => JSON.stringify([address.file, address.segments]));
+        const uniqueAddresses = EvidenceInventoryMerge_1.EvidenceInventoryMerge.unique(addresses, (address) => JSON.stringify([address.file, address.segments]));
         // Completeness precedes any negative conclusion: a failed scan may have
         // omitted the declaration that would otherwise satisfy this target.
         if (!this.inventory.complete)
@@ -211,7 +213,7 @@ class EvidenceTargetResolver {
         // distinguish a missing file from a known but out-of-population source.
         const existing = await Promise.all(uniqueAddresses.map((address) => this.exists(address.file)));
         if (existing.includes("incomplete"))
-            return this.failure("incomplete", uniqueAddresses, [], [], this.diagnostic(statement, "target-file-access", "The target file could not be inspected while resolving the citation.", "Restore access to the target path and retry the Evidence check."));
+            return this.failure("incomplete", uniqueAddresses, [], [], this.diagnostic(statement, "target-file-access", "The target file could not be inspected while resolving the citation.", "Restore access to the target path and retry the Evidence Graph check."));
         const known = uniqueAddresses.some((address, index) => {
             const file = EvidenceFileTarget_1.EvidenceFileTarget.normalize(address.file);
             return this.physicalFiles.has(file) || existing[index] === "file";
@@ -225,10 +227,11 @@ class EvidenceTargetResolver {
     /**
      * Converts address-index lookups into one semantic target resolution.
      *
-     * Multiple candidates may be aliases of one unit, which resolves successfully.
-     * Multiple unit IDs or an index-level ambiguity remain ambiguous. A withdrawal
-     * shadows an otherwise found unit, because a citation cannot acknowledge a
-     * declaration that has been explicitly removed from public coverage.
+     * Multiple candidates may be aliases of one unit, which resolves
+     * successfully. Multiple unit IDs or an index-level ambiguity remain
+     * ambiguous. A withdrawal shadows an otherwise found unit, because a citation
+     * cannot acknowledge a declaration that has been explicitly removed from
+     * public coverage.
      */
     resolveCandidates(statement, addresses, candidates) {
         const units = this.uniqueUnits(candidates.flatMap((candidate) => candidate.resolution.units));
@@ -265,9 +268,9 @@ class EvidenceTargetResolver {
     /**
      * Creates a failed resolution with its one explanatory diagnostic.
      *
-     * Callers receive candidate addresses, units, and withdrawals even for failure
-     * states so reports can explain the evidence considered without reconstructing
-     * this resolver's normalization and alias work.
+     * Callers receive candidate addresses, units, and withdrawals even for
+     * failure states so reports can explain the evidence considered without
+     * reconstructing this resolver's normalization and alias work.
      */
     failure(status, addresses, units, withdrawals, diagnostic) {
         return {
@@ -281,8 +284,9 @@ class EvidenceTargetResolver {
     /**
      * Creates the conservative result required when inventory acquisition failed.
      *
-     * Existing inventory diagnostics are retained with the target-specific error so
-     * authors see both the acquisition cause and why this citation was not trusted.
+     * Existing inventory diagnostics are retained with the target-specific error
+     * so authors see both the acquisition cause and why this citation was not
+     * trusted.
      */
     incomplete(statement, addresses) {
         return {
@@ -300,7 +304,8 @@ class EvidenceTargetResolver {
      * Attaches target-resolution details to the statement's original source span.
      *
      * Keeping this construction centralized ensures every failure points to the
-     * authored target and owning host, rather than an internal normalized address.
+     * authored target and owning host, rather than an internal normalized
+     * address.
      */
     diagnostic(statement, code, message, repair) {
         return {
@@ -316,9 +321,9 @@ class EvidenceTargetResolver {
     /**
      * Classifies one candidate path without treating access failure as absence.
      *
-     * Only regular files can be citation targets. Permission and I/O errors become
-     * `incomplete` so a transient inspection failure cannot be reported as a user
-     * typo or shrink the reference population.
+     * Only regular files can be citation targets. Permission and I/O errors
+     * become `incomplete` so a transient inspection failure cannot be reported as
+     * a user typo or shrink the reference population.
      */
     async exists(file) {
         try {
@@ -349,10 +354,12 @@ class EvidenceTargetResolver {
         return types.size === 1 ? types.values().next().value : undefined;
     }
     /**
-     * Extracts a Node-style error code without assuming an arbitrary thrown value.
+     * Extracts a EvidenceNode-style error code without assuming an arbitrary
+     * thrown value.
      *
      * Filesystem APIs may reject with non-Error values, which must remain an
-     * incomplete inspection rather than cause the resolver's classifier to throw.
+     * incomplete inspection rather than cause the resolver's classifier to
+     * throw.
      */
     errorCode(cause) {
         if (!(cause instanceof Error) || !("code" in cause))
@@ -367,7 +374,7 @@ class EvidenceTargetResolver {
      * designates the same unit.
      */
     uniqueUnits(units) {
-        return InventoryMerge_1.InventoryMerge.unique(units, (unit) => unit.id);
+        return EvidenceInventoryMerge_1.EvidenceInventoryMerge.unique(units, (unit) => unit.id);
     }
     /**
      * Removes repeated withdrawal records gathered through alias candidates.
@@ -376,7 +383,7 @@ class EvidenceTargetResolver {
      * serialization preserves the merger's full withdrawal identity.
      */
     uniqueWithdrawals(withdrawals) {
-        return InventoryMerge_1.InventoryMerge.unique(withdrawals, (withdrawal) => JSON.stringify(withdrawal));
+        return EvidenceInventoryMerge_1.EvidenceInventoryMerge.unique(withdrawals, (withdrawal) => JSON.stringify(withdrawal));
     }
     /**
      * Formats candidate files in stable lexical order for a diagnostic.
@@ -386,14 +393,15 @@ class EvidenceTargetResolver {
     files(addresses) {
         return addresses
             .map((address) => address.file)
-            .sort(InventoryMerge_1.InventoryMerge.compare)
+            .sort(EvidenceInventoryMerge_1.EvidenceInventoryMerge.compare)
             .join("', '");
     }
     /**
-     * Formats the representative accessor after candidate paths share its segments.
+     * Formats the representative accessor after candidate paths share its
+     * segments.
      *
-     * An empty array occurs only in defensive failure construction and deliberately
-     * produces an empty display rather than inventing an accessor.
+     * An empty array occurs only in defensive failure construction and
+     * deliberately produces an empty display rather than inventing an accessor.
      */
     accessor(addresses) {
         const first = addresses[0];

package/lib/targets/index.d.ts

@@ -0,0 +1,9 @@
+/**
+ * Target parsing and resolution utilities.
+ *
+ * Query and annotation consumers use them to preserve literal accessor
+ * spelling, normalize file addresses, and resolve selected populations.
+ */
+export * from "./EvidenceAccessor";
+export * from "./EvidenceFileTarget";
+export * from "./EvidenceTargetResolver";

package/lib/targets/index.js

@@ -0,0 +1,25 @@
+"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 });
+/**
+ * Target parsing and resolution utilities.
+ *
+ * Query and annotation consumers use them to preserve literal accessor
+ * spelling, normalize file addresses, and resolve selected populations.
+ */
+__exportStar(require("./EvidenceAccessor"), exports);
+__exportStar(require("./EvidenceFileTarget"), exports);
+__exportStar(require("./EvidenceTargetResolver"), exports);

package/lib/typings/EvidenceAcknowledgementKind.d.ts

@@ -1,7 +1,9 @@
-/** Distinguishes an ordinary citation from an acknowledged exclusion.
+/**
+ * Distinguishes an ordinary citation from an acknowledged exclusion.
  *
  * Both forms attach authored context to a graph obligation, but only `evidence`
  * supplies coverage. `evidenceExclude` records an intentional exception and
- * therefore follows the exclusion and review rules instead of crediting a unit.
+ * therefore follows the exclusion and review rules instead of crediting a
+ * unit.
  */
 export type EvidenceAcknowledgementKind = "evidence" | "evidenceExclude";

package/lib/typings/EvidenceActiveSeverity.d.ts

@@ -1,4 +1,5 @@
-/** Diagnostic severities that leave an obligation enabled in a resolved plan.
+/**
+ * Diagnostic severities that leave an obligation enabled in a resolved plan.
  *
  * Configuration planning drops `off` entries before graph evaluation. The two
  * remaining values differ in report severity, but both retain their population

package/lib/typings/EvidenceArtifactType.d.ts

@@ -1,6 +1,7 @@
 import type { EvidenceDatabaseType } from "./EvidenceDatabaseType";
 import type { EvidenceProgrammingType } from "./EvidenceProgrammingType";
-/** Artifact families that can provide graph units and annotation carriers.
+/**
+ * Artifact families that can provide graph units and annotation carriers.
  *
  * An adapter uses this discriminator to keep language-specific extraction and
  * target spelling separate while the graph can process their common inventory.

package/lib/typings/EvidenceCheckStatus.d.ts

@@ -1,4 +1,5 @@
-/** Whether a check had complete enough input to make a coverage decision.
+/**
+ * Whether a check had complete enough input to make a coverage decision.
  *
  * `incomplete` protects callers from treating an interrupted scan, failed
  * dependency, or unavailable parser result as a successful empty population.

package/lib/typings/EvidenceCommandExitCode.d.ts

@@ -1,4 +1,5 @@
-/** Process exit codes reserved by the Evidence command-line interface.
+/**
+ * Process exit codes reserved by the Evidence command-line interface.
  *
  * Command callers can distinguish a passing check, a completed check with
  * reported violations, and an operational failure without parsing formatted

package/lib/typings/EvidenceDatabaseSymbol.d.ts

@@ -3,22 +3,24 @@
  *
  * - "model": a named record structure, such as a Prisma model, table, or view.
  * - "column": a data field belonging to a model.
+ *
  *   - Includes scalar fields and foreign-key values such as `authorId`.
  *   - Excludes the relation declaration that describes the connection.
  * - "relation": a declaration connecting models, including self-references.
+ *
  *   - Includes Prisma relation fields, SQL foreign-key constraints, and DBML refs.
  *   - Includes both Prisma relation fields, even when one omits `@relation`.
  *   - Means a relationship, not the SQL use of "relation" for a table.
  *
- * Models contain their columns and relations. A model target covers its selected
- * descendants even when the model itself is not selected. Each adapter retains
- * its own declaration units; Prisma's two relation fields need not correspond to
- * two SQL foreign-key constraints.
+ * Models contain their columns and relations. A model target covers its
+ * selected descendants even when the model itself is not selected. Each adapter
+ * retains its own declaration units; Prisma's two relation fields need not
+ * correspond to two SQL foreign-key constraints.
  *
- * Prisma targets use `prisma:Model` and `prisma:Model.field`, without a file path.
- * Model names are unique across the schema; moving declarations between its
- * files preserves their targets.
- * Models and views share the "model" kind. Enums, composite types, indexes, and
- * datasource/generator settings are outside the Prisma selection contract.
+ * Prisma targets use `prisma:Model` and `prisma:Model.field`, without a file
+ * path. Model names are unique across the schema; moving declarations between
+ * its files preserves their targets. Models and views share the "model" kind.
+ * Enums, composite types, indexes, and datasource/generator settings are
+ * outside the Prisma selection contract.
  */
 export type EvidenceDatabaseSymbol = "model" | "column" | "relation";

package/lib/typings/EvidenceDatabaseType.d.ts

@@ -1,4 +1,5 @@
-/** Database schema languages and SQL dialects supported by database adapters.
+/**
+ * Database schema languages and SQL dialects supported by database adapters.
  *
  * This value selects a parser and adapter contract rather than inferring a
  * dialect from a file extension. `sql` represents the generic SQL grammar;

package/lib/typings/EvidenceGrammarWasmAvailability.d.ts

@@ -1,4 +1,6 @@
-/** How a researched grammar can provide WASM compatible with the packaged runtime.
+/**
+ * How a researched grammar can provide WASM compatible with the packaged
+ * runtime.
  *
  * A release asset can be downloaded and pinned directly. A source build needs a
  * reproducible compilation route before the candidate can become a certified

package/lib/typings/EvidenceGraphFormat.d.ts

@@ -1,4 +1,5 @@
-/** Serialization formats accepted by the graph-report command.
+/**
+ * Serialization formats accepted by the graph-report command.
  *
  * `json` preserves the report as structured data. `mermaid` and `dot` are
  * visualization languages for rendering the same graph relationships and must

package/lib/typings/EvidenceGraphNode.d.ts

@@ -1,6 +1,7 @@
 import type { IEvidenceGraphHostNode } from "../structures/IEvidenceGraphHostNode";
 import type { IEvidenceGraphNode } from "../structures/IEvidenceGraphNode";
-/** A serialized graph node representing a unit or its annotation carrier.
+/**
+ * A serialized graph node representing a unit or its annotation carrier.
  *
  * Unit nodes participate in coverage and dependency edges. Host nodes preserve
  * the physical source location where evidence, exclusions, or reviews were

package/lib/typings/EvidenceLanguageCandidateId.d.ts

@@ -1,4 +1,5 @@
-/** Identifier for a language or embedded format still being researched.
+/**
+ * Identifier for a language or embedded format still being researched.
  *
  * Candidate IDs are deliberately outside `EvidenceProgrammingType`: recording
  * parser availability, grammar provenance, or extraction gaps must not imply

package/lib/typings/EvidenceLanguageCandidateKind.d.ts

@@ -1,7 +1,9 @@
-/** Broad research category for a non-certified language candidate.
+/**
+ * Broad research category for a non-certified language candidate.
  *
- * `embedded-format` marks syntax normally nested inside another source artifact;
- * `programming-language` marks a potential top-level adapter. This classification
- * guides certification work and does not change an active configuration.
+ * `embedded-format` marks syntax normally nested inside another source
+ * artifact; `programming-language` marks a potential top-level adapter. This
+ * classification guides certification work and does not change an active
+ * configuration.
  */
 export type EvidenceLanguageCandidateKind = "programming-language" | "embedded-format";

package/lib/typings/EvidenceMarkdownSymbol.d.ts

@@ -13,10 +13,11 @@
  * - File paths are relative to the reference root. Both path separators are
  *   accepted, but paths cannot contain whitespace.
  * - Sections append "#<anchor>" to the file path.
+ *
  *   - An explicit "{#anchor}" wins. It starts with an ASCII letter/digit, followed
- *     by ASCII letters/digits, ".", "_", ":", or "-".
+ *       by ASCII letters/digits, ".", "_", ":", or "-".
  *   - Otherwise, lowercase the heading; retain letters, numbers, and "_"; collapse
- *     whitespace/hyphens to "-"; remove other punctuation.
+ *       whitespace/hyphens to "-"; remove other punctuation.
  * - Duplicate selected heading targets are ambiguous and need explicit anchors.
  */
 export type EvidenceMarkdownSymbol = "file" | "h1" | "h2" | "h3" | "h4";

package/lib/typings/EvidenceParserErrorCode.d.ts

@@ -1,4 +1,5 @@
-/** Stable categories for failures that invalidate adapter extraction.
+/**
+ * Stable categories for failures that invalidate adapter extraction.
  *
  * Parser failures never quietly become an empty inventory: callers retain the
  * category in diagnostics so an unavailable asset, malformed query, incomplete

package/lib/typings/EvidencePopulationRole.d.ts

@@ -1,7 +1,9 @@
-/** The side of an Evidence obligation to which a configured population belongs.
+/**
+ * The side of an Evidence obligation to which a configured population belongs.
  *
  * A claim population provides units requiring coverage. A reference population
  * provides targets that can satisfy those units. The same source may appear on
- * both sides, but planning keeps their roles separate for validation and scope.
+ * both sides, but planning keeps their roles separate for validation and
+ * scope.
  */
 export type EvidencePopulationRole = "claim" | "reference";

package/lib/typings/EvidenceProgrammingSymbol.d.ts

@@ -9,23 +9,25 @@
  *
  * - Type declarations must be exported; enums are excluded.
  * - Functions include:
+ *
  *   - Exported functions and consts initialized with arrow/function expressions,
- *     including parentheses and type-only wrappers.
+ *       including parentheses and type-only wrappers.
  *   - Public class methods and method signatures of interfaces and object-shaped
- *     type aliases, including the same forms inside namespaces.
- *   - Members initialized with functions or annotated with an inline function
- *     type. Overload declarations form one unit.
+ *       type aliases, including the same forms inside namespaces.
+ *   - Members initialized with functions or annotated with an inline function type.
+ *       Overload declarations form one unit.
  * - Properties include:
+ *
  *   - Exported const/let/var bindings and destructured leaves, except the const
- *     function initializers above. Function-valued let/var remain properties.
- *     A function type annotation alone also leaves a variable a property.
+ *       function initializers above. Function-valued let/var remain properties.
+ *       A function type annotation alone also leaves a variable a property.
  *   - Non-callable members of classes, interfaces, and object-shaped type aliases.
- *     A named type alias, union, or constructor type does not make a member a
- *     function; an inline function type does.
+ *       A named type alias, union, or constructor type does not make a member a
+ *       function; an inline function type does.
  *   - Public constructor parameter properties, classified like body fields
- *     regardless of the constructor's visibility.
- *     Property modifiers include public, protected, private, readonly, and
- *     override; documentation belongs on the parameter.
+ *       regardless of the constructor's visibility. Property modifiers include
+ *       public, protected, private, readonly, and override; documentation
+ *       belongs on the parameter.
  * - Constructors, accessors, computed names, and private/protected members are
  *   excluded. Computed literal names are excluded too.
  *
@@ -38,17 +40,19 @@
  *   individual export modifiers.
  * - Type-only exports expose type-space declarations and withhold value-space
  *   declarations across every export spelling and module boundary:
- *   - Classes/namespaces themselves remain visible, but class members and
- *     namespace values do not.
+ *
+ *   - Classes/namespaces themselves remain visible, but class members and namespace
+ *       values do not.
  *   - Standalone interface and object-shaped alias members remain visible,
- *     including callable members. Interfaces merged with classes follow the
- *     class's value-space member rules.
+ *       including callable members. Interfaces merged with classes follow the
+ *       class's value-space member rules.
  * - Static class members use Class.member; instance members and parameter
  *   properties use Class.prototype.member. Standalone interface/alias members
- *   use Type.member; interfaces merged with classes use Class.prototype.member.
+ *   use Type.member; interfaces merged with classes use
+ *   Class.prototype.member.
  * - File-qualified targets use a path relative to the citing file, "#", and the
- *   accessor. Literal member names use bracketed JSON strings. Symbol characters
- *   match exactly; path normalization must not rewrite them.
+ *   accessor. Literal member names use bracketed JSON strings. Symbol
+ *   characters match exactly; path normalization must not rewrite them.
  * - Re-exports do not create duplicate units in the barrel file.
  *
  * Types and namespaces contain their declared descendants. Ordinary citations

package/lib/typings/EvidenceProgrammingType.d.ts

@@ -1,7 +1,9 @@
-/** Programming-language identifiers accepted by programming artifact adapters.
+/**
+ * Programming-language identifiers accepted by programming artifact adapters.
  *
- * A configuration selects one of these explicit parser and extraction contracts;
- * filename detection is not a substitute for declaring the artifact type. New
- * language research remains in the candidate types until it meets that contract.
+ * A configuration selects one of these explicit parser and extraction
+ * contracts; filename detection is not a substitute for declaring the artifact
+ * type. New language research remains in the candidate types until it meets
+ * that contract.
  */
 export type EvidenceProgrammingType = "c" | "cpp" | "csharp" | "dart" | "go" | "java" | "javascript" | "kotlin" | "lua" | "matlab" | "objc" | "php" | "python" | "ruby" | "rust" | "scala" | "swift" | "typescript" | "zig";

package/lib/typings/EvidenceQueryReport.d.ts

@@ -1,10 +1,12 @@
 import type { IEvidenceInspectReport } from "../structures/IEvidenceInspectReport";
 import type { IEvidenceLanguagesReport } from "../structures/IEvidenceLanguagesReport";
 import type { IEvidenceListReport } from "../structures/IEvidenceListReport";
-/** Structured result returned by an inspection-oriented command.
+/**
+ * Structured result returned by an inspection-oriented command.
  *
  * Query commands share output rendering but answer different questions: listing
  * discovered units, inspecting a target, or reporting available languages. This
- * union keeps the renderer generic while each command preserves its own schema.
+ * union keeps the renderer generic while each command preserves its own
+ * schema.
  */
 export type EvidenceQueryReport = IEvidenceInspectReport | IEvidenceLanguagesReport | IEvidenceListReport;

package/lib/typings/EvidenceReportFormat.d.ts

@@ -1,4 +1,5 @@
-/** Report encodings supported by the check command.
+/**
+ * Report encodings supported by the check command.
  *
  * `text` is the diagnostic-oriented terminal presentation. `json` preserves the
  * report structure for automation, including fields a human formatter may omit

package/lib/typings/EvidenceSeverity.d.ts

@@ -1,7 +1,9 @@
-/** Configured severity for one claim or reference obligation.
+/**
+ * Configured severity for one claim or reference obligation.
  *
  * `off` removes the entry during plan construction. `warning` and `error` keep
  * it active and control the diagnostic level emitted when evaluation finds an
- * unmet obligation; they are represented separately by `EvidenceActiveSeverity`.
+ * unmet obligation; they are represented separately by
+ * `EvidenceActiveSeverity`.
  */
 export type EvidenceSeverity = "off" | "warning" | "error";

package/lib/typings/EvidenceSymbol.d.ts

@@ -1,11 +1,12 @@
 import type { EvidenceDatabaseSymbol } from "./EvidenceDatabaseSymbol";
 import type { EvidenceMarkdownSymbol } from "./EvidenceMarkdownSymbol";
 import type { EvidenceProgrammingSymbol } from "./EvidenceProgrammingSymbol";
-/** Symbol kind used to select a unit within its artifact-specific inventory.
+/**
+ * Symbol kind used to select a unit within its artifact-specific inventory.
  *
  * Programming, database, and Markdown adapters contribute their own precise
- * classifications. `operation` covers API operations, whose target semantics
- * do not correspond to a programming declaration or document heading. Consumers
+ * classifications. `operation` covers API operations, whose target semantics do
+ * not correspond to a programming declaration or document heading. Consumers
  * must retain the accompanying artifact type when interpreting this value.
  */
 export type EvidenceSymbol = EvidenceProgrammingSymbol | EvidenceDatabaseSymbol | EvidenceMarkdownSymbol | "operation";

package/lib/typings/EvidenceTargetResolutionStatus.d.ts

@@ -1,4 +1,5 @@
-/** Outcome category for resolving one authored file-qualified target.
+/**
+ * Outcome category for resolving one authored file-qualified target.
  *
  * `resolved` identifies one visible unit. Every other value explains why the
  * target cannot satisfy a reference, including semantic ambiguity, a boundary

package/lib/typings/EvidenceUnitSelection.d.ts

@@ -1,4 +1,5 @@
-/** Relationship between an inventory unit and a configured population.
+/**
+ * Relationship between an inventory unit and a configured population.
  *
  * `selected` units form the coverage denominator. `ancestor` units remain
  * addressable to cover selected descendants but do not count themselves, while

package/lib/typings/EvidenceWatchCycle.d.ts

@@ -1,6 +1,7 @@
 import type { IEvidenceWatchCheckCycle } from "../structures/IEvidenceWatchCheckCycle";
 import type { IEvidenceWatchFailureCycle } from "../structures/IEvidenceWatchFailureCycle";
-/** Published outcome of one debounced, stable watch attempt.
+/**
+ * Published outcome of one debounced, stable watch attempt.
  *
  * A successful cycle contains a completed check report. A failed cycle retains
  * the operational failure separately so subscribers do not mistake a transient