@wrtnlabs/evidence 0.0.0 → 0.1.0

package/lib/contexts/EvidenceQueryPopulationContext.js

@@ -2,48 +2,55 @@
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.EvidenceQueryPopulationContext = void 0;
 /**
- * Indexes one configured population for repeated structural and coverage queries.
+ * Indexes one configured population for repeated structural and coverage
+ * queries.
  *
  * The containing facade owns the analysis snapshot. This context borrows its
- * records, distinguishes explicit selection from ancestor closure and visibility,
- * and caches descendant traversal without rebuilding indexes for each operation.
+ * records, distinguishes explicit selection from ancestor closure and
+ * visibility, and caches descendant traversal without rebuilding indexes for
+ * each operation.
  */
 class EvidenceQueryPopulationContext {
     /**
      * Claim or reference coordinates identifying the configured population.
      *
-     * Query rows qualify semantic identities with this scope to retain independent obligations.
+     * Query rows qualify semantic identities with this scope to retain
+     * independent obligations.
      */
     scope;
     /**
      * Inventory borrowed from the containing facade's isolated analysis snapshot.
      *
-     * It supplies full structural context, including units outside explicit selection.
+     * It supplies full structural context, including units outside explicit
+     * selection.
      */
     inventory;
     /**
      * Configured semantic selection in its original order.
      *
-     * Descendant results preserve this order rather than adopting map traversal order.
+     * Descendant results preserve this order rather than adopting map traversal
+     * order.
      */
     unitIds;
     /**
      * Effective graph input when the population represents a reference.
      *
-     * Claim populations leave this undefined because they do not own a reference policy.
+     * Claim populations leave this undefined because they do not own a reference
+     * policy.
      */
     reference;
     /**
      * Evaluated obligation ledger for a reference population.
      *
-     * Coverage inspection uses this alongside structural selection; claim entries omit it.
+     * Coverage inspection uses this alongside structural selection; claim entries
+     * omit it.
      */
     obligation;
     /**
      * Full inventory indexed by semantic unit identity.
      *
-     * Parent traversal follows these explicit links instead of inferring ownership
-     * from public accessor prefixes.
+     * Parent traversal follows these explicit links instead of inferring
+     * ownership from public accessor prefixes.
      */
     units;
     /**
@@ -61,28 +68,34 @@ class EvidenceQueryPopulationContext {
      */
     configured = new Set();
     /**
-     * Configured identities with neither an own withdrawal nor a withdrawn ancestor.
+     * Configured identities with neither an own withdrawal nor a withdrawn
+     * ancestor.
      *
-     * List queries use this set to avoid advertising hidden public targets as visible API.
+     * List queries use this set to avoid advertising hidden public targets as
+     * visible API.
      */
     visible = new Set();
     /**
      * Public addresses grouped by semantic identity in inventory order.
      *
-     * Formatting later sorts and deduplicates target spellings for each query row.
+     * Formatting later sorts and deduplicates target spellings for each query
+     * row.
      */
     addresses = new Map();
     /**
      * Cached selected-descendant lists keyed by queried ancestor identity.
      *
-     * The immutable snapshot boundary lets repeated coverage queries reuse traversal results.
+     * The immutable snapshot boundary lets repeated coverage queries reuse
+     * traversal results.
      */
     descendants = new Map();
     /**
-     * Builds selection, visibility, and address indexes over an owned analysis population.
+     * Builds selection, visibility, and address indexes over an owned analysis
+     * population.
      *
-     * This constructor does not clone records itself; the containing facade supplies
-     * isolated data. Parent walks stop at cycles or missing units so inspection cannot loop.
+     * This constructor does not clone records itself; the containing facade
+     * supplies isolated data. Parent walks stop at cycles or missing units so
+     * inspection cannot loop.
      */
     constructor(population) {
         this.scope = population.scope;
@@ -131,10 +144,12 @@ class EvidenceQueryPopulationContext {
         }
     }
     /**
-     * Returns selected descendants in configured order, including a selected ancestor itself.
+     * Returns selected descendants in configured order, including a selected
+     * ancestor itself.
      *
      * The cached result follows explicit parent relationships. Callers receive a
-     * readonly view because mutating it would corrupt subsequent coverage summaries.
+     * readonly view because mutating it would corrupt subsequent coverage
+     * summaries.
      */
     selectedDescendants(ancestorId) {
         const remembered = this.descendants.get(ancestorId);
@@ -145,7 +160,8 @@ class EvidenceQueryPopulationContext {
         return descendants;
     }
     /**
-     * Tests whether an identity belongs to an ancestor's explicit structural subtree.
+     * Tests whether an identity belongs to an ancestor's explicit structural
+     * subtree.
      *
      * A unit descends from itself. Missing parents and cycles terminate the walk,
      * and literal dots in names never invent another ownership edge.

package/lib/contexts/IEvidenceCheckContext.d.ts

@@ -12,15 +12,17 @@ export interface IEvidenceCheckContext {
     /**
      * Resolved configuration plan used throughout this checker execution.
      *
-     * It retains effective activation and original configuration coordinates, which
-     * graph diagnostics use to identify the declaration that created an obligation.
+     * It retains effective activation and original configuration coordinates,
+     * which graph diagnostics use to identify the declaration that created an
+     * obligation.
      */
     readonly plan: IEvidenceConfigPlan;
     /**
      * Claim adapter results materialized from the same configuration snapshot.
      *
-     * Each entry retains claim and reference inventories before graph evaluation so
-     * incomplete scans remain visible instead of being removed during preparation.
+     * Each entry retains claim and reference inventories before graph evaluation
+     * so incomplete scans remain visible instead of being removed during
+     * preparation.
      */
     readonly claims: IEvidenceMaterializedClaim[];
 }

package/lib/contexts/IEvidenceClaimContext.d.ts

@@ -21,14 +21,16 @@ export interface IEvidenceClaimContext {
      * Reconciled claim inventory that receives preparation diagnostics.
      *
      * Invalid hosts or participation targets make this inventory incomplete so
-     * later graph evaluation can preserve the failure instead of dropping records.
+     * later graph evaluation can preserve the failure instead of dropping
+     * records.
      */
     readonly inventory: IEvidenceInventory;
     /**
      * Claim hosts indexed by the semantic identity that owns their annotations.
      *
-     * Multiple physical sites can describe one host identity; the map provides the
-     * canonical semantic attachment point used during acknowledgement matching.
+     * Multiple physical sites can describe one host identity; the map provides
+     * the canonical semantic attachment point used during acknowledgement
+     * matching.
      */
     readonly hosts: Map<string, IEvidenceHost>;
     /**
@@ -41,8 +43,9 @@ export interface IEvidenceClaimContext {
     /**
      * Reference positions to which each review applies, independent of coverage.
      *
-     * A review can target a reference without being an acknowledgement. Keeping its
-     * index separately prevents review metadata from changing coverage counts.
+     * A review can target a reference without being an acknowledgement. Keeping
+     * its index separately prevents review metadata from changing coverage
+     * counts.
      */
     readonly reviews: Map<string, Set<number>>;
 }

package/lib/contexts/IEvidenceGraphClaimContext.d.ts

@@ -4,9 +4,10 @@ import type { IEvidencePopulation } from "../structures/IEvidencePopulation";
 /**
  * Captures the claim-side state required to evaluate its reference obligations.
  *
- * The graph creates this context after materialized claim targets are reconciled.
- * Every reference beneath the claim reuses its host population, but resolves and
- * evaluates reference-side units independently through its own context.
+ * The graph creates this context after materialized claim targets are
+ * reconciled. Every reference beneath the claim reuses its host population, but
+ * resolves and evaluates reference-side units independently through its own
+ * context.
  */
 export interface IEvidenceGraphClaimContext {
     /**
@@ -19,15 +20,17 @@ export interface IEvidenceGraphClaimContext {
     /**
      * Reconciled claim inventory used for diagnostics and host lookup.
      *
-     * Semantic validation failures are retained here so graph evaluation can report
-     * an incomplete claim instead of evaluating only the records that survived.
+     * Semantic validation failures are retained here so graph evaluation can
+     * report an incomplete claim instead of evaluating only the records that
+     * survived.
      */
     readonly inventory: IEvidenceInventory;
     /**
      * Selected claim units, structural scopes, and eligible documentation hosts.
      *
-     * Structural ancestors make aggregate addresses resolvable, whereas the selected
-     * set determines required claim membership and the available attachment hosts.
+     * Structural ancestors make aggregate addresses resolvable, whereas the
+     * selected set determines required claim membership and the available
+     * attachment hosts.
      */
     readonly population: IEvidencePopulation;
     /**

package/lib/contexts/IEvidenceGraphReferenceContext.d.ts

@@ -7,14 +7,15 @@ import type { IEvidenceGraphClaimContext } from "./IEvidenceGraphClaimContext";
 /**
  * Collects resolved state for one reference obligation beneath a graph claim.
  *
- * A claim can contain several references to overlapping semantic units, but each
- * reference owns its policy, selected population, coverage ledger, and review
- * resolution. Evaluators use this context to preserve that independence while
- * sharing only the claim-side host and declaration information.
+ * A claim can contain several references to overlapping semantic units, but
+ * each reference owns its policy, selected population, coverage ledger, and
+ * review resolution. Evaluators use this context to preserve that independence
+ * while sharing only the claim-side host and declaration information.
  */
 export interface IEvidenceGraphReferenceContext {
     /**
-     * Claim-side context shared by this claim's independent reference obligations.
+     * Claim-side context shared by this claim's independent reference
+     * obligations.
      *
      * It supplies the selected hosts and declaration participation table; it does
      * not merge this reference's policy or coverage outcome with a sibling's.
@@ -28,7 +29,8 @@ export interface IEvidenceGraphReferenceContext {
      */
     readonly reference: IEvidenceGraphReference;
     /**
-     * Reconciled reference inventory used for target coverage and review fingerprints.
+     * Reconciled reference inventory used for target coverage and review
+     * fingerprints.
      *
      * An incomplete inventory prevents the evaluator from treating an apparent
      * match or absence as conclusive because extraction may have omitted a unit.
@@ -37,22 +39,25 @@ export interface IEvidenceGraphReferenceContext {
     /**
      * Reference units and structural owners selected for this obligation.
      *
-     * The selected denominator and aggregate target scopes differ: an ancestor can
-     * be addressable for resolution without becoming a separately required unit.
+     * The selected denominator and aggregate target scopes differ: an ancestor
+     * can be addressable for resolution without becoming a separately required
+     * unit.
      */
     readonly population: IEvidencePopulation;
     /**
      * Zero-based position of this reference within its owning claim.
      *
-     * Participation indexes use this value to determine which acknowledgements and
-     * reviews apply without confusing duplicate references in the same claim.
+     * Participation indexes use this value to determine which acknowledgements
+     * and reviews apply without confusing duplicate references in the same
+     * claim.
      */
     readonly index: number;
     /**
      * Acknowledgement targets resolved against this reference population.
      *
-     * These results feed coverage, exclusions, cardinality, and checklist handling.
-     * They deliberately exclude review targets, which have a separate lifecycle.
+     * These results feed coverage, exclusions, cardinality, and checklist
+     * handling. They deliberately exclude review targets, which have a separate
+     * lifecycle.
      */
     readonly resolutions: IEvidenceGraphResolution[];
     /**

package/lib/contexts/IEvidenceQueryContext.d.ts

@@ -11,15 +11,15 @@ export interface IEvidenceQueryContext {
     /**
      * Complete analysis bundle captured by the query facade.
      *
-     * Its plan, inventories, graph input, and report remain aligned throughout the
-     * lifetime of the population indexes.
+     * Its plan, inventories, graph input, and report remain aligned throughout
+     * the lifetime of the population indexes.
      */
     readonly analysis: IEvidenceCheckAnalysis;
     /**
      * Absolute directory anchoring file-qualified query targets.
      *
-     * Capturing it once prevents later cwd changes from altering target formatting
-     * or inspection within the same facade.
+     * Capturing it once prevents later cwd changes from altering target
+     * formatting or inspection within the same facade.
      */
     readonly cwd: string;
     /**

package/lib/contexts/IEvidenceTagContext.d.ts

@@ -1,43 +1,49 @@
-import type { IPendingEvidenceTag } from "../internal/IPendingEvidenceTag";
-import type { SourceText } from "../internal/SourceText";
+import type { IEvidencePendingEvidenceTag } from "../internal/IEvidencePendingEvidenceTag";
+import type { EvidenceSourceText } from "../internal/EvidenceSourceText";
 import type { IEvidenceDocumentation } from "../structures/IEvidenceDocumentation";
 import type { IEvidenceHost } from "../structures/IEvidenceHost";
 import type { IEvidenceTagParseResult } from "../structures/IEvidenceTagParseResult";
 /**
  * Holds the mutable state used while one adapter parses an annotation block.
  *
- * The parser supplies immutable source, host, and documentation boundaries, then
- * advances the pending tag and Markdown-fence state line by line. Keeping this
- * state per invocation prevents an unterminated tag or code fence in one file
- * from changing how another file is interpreted.
+ * The parser supplies immutable source, host, and documentation boundaries,
+ * then advances the pending tag and Markdown-fence state line by line. Keeping
+ * this state per invocation prevents an unterminated tag or code fence in one
+ * file from changing how another file is interpreted.
  */
 export interface IEvidenceTagContext {
     /**
-     * Original source text used to translate documentation offsets into locations.
+     * Original source text used to translate documentation offsets into
+     * locations.
      *
-     * Diagnostics and parsed declarations use these coordinates to point back into
-     * the physical file rather than reporting offsets relative to a copied comment.
+     * Diagnostics and parsed declarations use these coordinates to point back
+     * into the physical file rather than reporting offsets relative to a copied
+     * comment.
      */
-    readonly source: SourceText;
+    readonly source: EvidenceSourceText;
     /**
      * Adapter-established declaration that owns every annotation parsed here.
      *
      * The tag parser never derives ownership from prose. Its consumer relies on
-     * this host identity when it later connects acknowledgements to graph claims.
+     * this host identity when it later connects acknowledgements to graph
+     * claims.
      */
     readonly host: IEvidenceHost;
     /**
      * Normalized documentation text and its language-specific source boundaries.
      *
-     * It determines which lines count as annotation content and maps each retained
-     * character to the original source position after comment syntax is removed.
+     * It determines which lines count as annotation content and maps each
+     * retained character to the original source position after comment syntax is
+     * removed.
      */
     readonly documentation: IEvidenceDocumentation;
     /**
-     * Parsed annotations and diagnostics accumulated for this documentation block.
+     * Parsed annotations and diagnostics accumulated for this documentation
+     * block.
      *
-     * The caller receives this shared result after end-of-input finalization, so a
-     * malformed tag can coexist with annotations that were parsed successfully.
+     * The caller receives this shared result after end-of-input finalization, so
+     * a malformed tag can coexist with annotations that were parsed
+     * successfully.
      */
     readonly result: IEvidenceTagParseResult;
     /**
@@ -46,7 +52,7 @@ export interface IEvidenceTagContext {
      * An empty boundary or a new tag finalizes this pending record. `undefined`
      * means the next content line must begin a tag rather than extend one.
      */
-    pending: IPendingEvidenceTag | undefined;
+    pending: IEvidencePendingEvidenceTag | undefined;
     /**
      * Opening marker for the active fenced code region.
      *
@@ -57,8 +63,9 @@ export interface IEvidenceTagContext {
     /**
      * Minimum run length required for the active fence's closing marker.
      *
-     * A shorter run of the same marker remains code content. This preserves nested
-     * fence text instead of terminating the outer annotation value prematurely.
+     * A shorter run of the same marker remains code content. This preserves
+     * nested fence text instead of terminating the outer annotation value
+     * prematurely.
      */
     fenceLength: number;
 }

package/lib/graph/EvidenceFingerprint.d.ts

@@ -3,25 +3,27 @@ import type { IEvidenceInventory } from "../structures/IEvidenceInventory";
 /**
  * Computes review fingerprints from reconciled semantic content.
  *
- * Review freshness must change when a declaration or its structural scope changes,
- * not when an adapter cache key, scan order, or caller-owned object changes. This
- * namespace first rebuilds the supplied inventory through the normal validation
- * boundary and delegates the versioned digest algorithm to the shared index.
+ * Review freshness must change when a declaration or its structural scope
+ * changes, not when an adapter cache key, scan order, or caller-owned object
+ * changes. This namespace first rebuilds the supplied inventory through the
+ * normal validation boundary and delegates the versioned digest algorithm to
+ * the shared index.
  */
 export declare namespace EvidenceFingerprint {
     /**
      * Returns one unit's own digest and versioned structural-scope fingerprint.
      *
-     * The result includes content accepted for review as well as the explicit parent
-     * chain required to detect moves between owners. It rejects incomplete inventory
-     * because a missing unit would make a stable-looking fingerprint untrustworthy.
+     * The result includes content accepted for review as well as the explicit
+     * parent chain required to detect moves between owners. It rejects incomplete
+     * inventory because a missing unit would make a stable-looking fingerprint
+     * untrustworthy.
      *
      * @example
-     * const fingerprint: IEvidenceFingerprint = EvidenceFingerprint.inspect(
-     *   inventory,
-     *   unitId,
-     * );
-     * // Persist fingerprint.value with a review of this semantic unit.
+     *   const fingerprint: IEvidenceFingerprint = EvidenceFingerprint.inspect(
+     *     inventory,
+     *     unitId,
+     *   );
+     *   // Persist fingerprint.value with a review of this semantic unit.
      */
     function inspect(inventory: IEvidenceInventory, unitId: string): IEvidenceFingerprint;
 }

package/lib/graph/EvidenceFingerprint.js

@@ -6,26 +6,28 @@ const EvidenceFingerprintIndex_1 = require("../internal/EvidenceFingerprintIndex
 /**
  * Computes review fingerprints from reconciled semantic content.
  *
- * Review freshness must change when a declaration or its structural scope changes,
- * not when an adapter cache key, scan order, or caller-owned object changes. This
- * namespace first rebuilds the supplied inventory through the normal validation
- * boundary and delegates the versioned digest algorithm to the shared index.
+ * Review freshness must change when a declaration or its structural scope
+ * changes, not when an adapter cache key, scan order, or caller-owned object
+ * changes. This namespace first rebuilds the supplied inventory through the
+ * normal validation boundary and delegates the versioned digest algorithm to
+ * the shared index.
  */
 var EvidenceFingerprint;
 (function (EvidenceFingerprint) {
     /**
      * Returns one unit's own digest and versioned structural-scope fingerprint.
      *
-     * The result includes content accepted for review as well as the explicit parent
-     * chain required to detect moves between owners. It rejects incomplete inventory
-     * because a missing unit would make a stable-looking fingerprint untrustworthy.
+     * The result includes content accepted for review as well as the explicit
+     * parent chain required to detect moves between owners. It rejects incomplete
+     * inventory because a missing unit would make a stable-looking fingerprint
+     * untrustworthy.
      *
      * @example
-     * const fingerprint: IEvidenceFingerprint = EvidenceFingerprint.inspect(
-     *   inventory,
-     *   unitId,
-     * );
-     * // Persist fingerprint.value with a review of this semantic unit.
+     *   const fingerprint: IEvidenceFingerprint = EvidenceFingerprint.inspect(
+     *     inventory,
+     *     unitId,
+     *   );
+     *   // Persist fingerprint.value with a review of this semantic unit.
      */
     function inspect(inventory, unitId) {
         const snapshot = new EvidenceInventory_1.EvidenceInventory([inventory]).snapshot();

package/lib/graph/EvidenceGraph.d.ts

@@ -1,11 +1,12 @@
 import type { IEvidenceGraphInput } from "../structures/IEvidenceGraphInput";
 import type { IEvidenceGraphResult } from "../structures/IEvidenceGraphResult";
 /**
- * Evaluates coverage and review policies over captured, materialized populations.
+ * Evaluates coverage and review policies over captured, materialized
+ * populations.
  *
  * The checker supplies inventories, selected unit IDs, target resolutions, and
- * reference policies. This facade validates and captures that input; it does not
- * load files or infer declarations. Each call creates a fresh evaluator and
+ * reference policies. This facade validates and captures that input; it does
+ * not load files or infer declarations. Each call creates a fresh evaluator and
  * returns an owned result, isolating prior diagnostics and caller mutations.
  *
  * Evaluation preserves the following boundaries:
@@ -18,39 +19,41 @@ import type { IEvidenceGraphResult } from "../structures/IEvidenceGraphResult";
  *    applicable references have been examined.
  *
  * @example
- * const graph: EvidenceGraph = new EvidenceGraph(materializedInput);
- * const first: IEvidenceGraphResult = graph.evaluate();
- * const second: IEvidenceGraphResult = graph.evaluate();
- * // The results have independent storage and no accumulated evaluator state.
+ *   const graph: EvidenceGraph = new EvidenceGraph(materializedInput);
+ *   const first: IEvidenceGraphResult = graph.evaluate();
+ *   const second: IEvidenceGraphResult = graph.evaluate();
+ *   // The results have independent storage and no accumulated evaluator state.
  */
 export declare class EvidenceGraph {
     /**
      * Validated input snapshot owned by this facade.
      *
-     * Evaluators read this captured policy and inventory data. Neither later caller
-     * edits nor modifications to an earlier result can change the snapshot.
+     * Evaluators read this captured policy and inventory data. Neither later
+     * caller edits nor modifications to an earlier result can change the
+     * snapshot.
      */
     private readonly input;
     /**
      * Validates the input shape and captures an independent graph snapshot.
      *
      * Semantic inventory and resolution checks occur during evaluation so their
-     * findings can be reported in graph context. Construction performs no source IO.
+     * findings can be reported in graph context. Construction performs no source
+     * IO.
      */
     constructor(input: IEvidenceGraphInput);
     /**
      * Evaluates every independent obligation in the captured input.
      *
-     * A fresh evaluator prevents coverage sets and deferred diagnostics from leaking
-     * across calls. The returned clone also prevents consumers from mutating records
-     * retained by the facade.
+     * A fresh evaluator prevents coverage sets and deferred diagnostics from
+     * leaking across calls. The returned clone also prevents consumers from
+     * mutating records retained by the facade.
      */
     evaluate(): IEvidenceGraphResult;
     /**
      * Captures and evaluates input without retaining a graph facade.
      *
-     * This convenience entry point has the same validation and result ownership as
-     * construction followed by the instance `evaluate` method.
+     * This convenience entry point has the same validation and result ownership
+     * as construction followed by the instance `evaluate` method.
      */
     static evaluate(input: IEvidenceGraphInput): IEvidenceGraphResult;
 }