@wrtnlabs/evidence 0.0.0 → 0.1.0

package/lib/structures/IEvidenceGraphHostNode.d.ts

@@ -1,10 +1,12 @@
 import type { IEvidenceSourceLocation } from "./IEvidenceSourceLocation";
 /**
- * Annotation-carrier node used when a relationship has no semantic claim endpoint.
+ * Annotation-carrier node used when a relationship has no semantic claim
+ * endpoint.
  *
- * Some eligible carriers, including file-level exclusions, have no selected claim
- * unit. Export retains their physical host as an endpoint so the relationship does
- * not disappear or invent a semantic declaration solely for visualization.
+ * Some eligible carriers, including file-level exclusions, have no selected
+ * claim unit. Export retains their physical host as an endpoint so the
+ * relationship does not disappear or invent a semantic declaration solely for
+ * visualization.
  */
 export interface IEvidenceGraphHostNode {
     /**
@@ -16,7 +18,8 @@ export interface IEvidenceGraphHostNode {
     /**
      * Independent obligation containing the carrier relationship.
      *
-     * Another reference can represent the same physical host under a different node ID.
+     * Another reference can represent the same physical host under a different
+     * node ID.
      */
     boundaryId: string;
     /**
@@ -34,13 +37,15 @@ export interface IEvidenceGraphHostNode {
     /**
      * Display label assigned to the standalone carrier.
      *
-     * The current exporter uses the host identity because no declaration name exists.
+     * The current exporter uses the host identity because no declaration name
+     * exists.
      */
     name: string;
     /**
      * Original file and range of the annotation carrier.
      *
-     * This provides a repair location despite the absence of a semantic claim unit.
+     * This provides a repair location despite the absence of a semantic claim
+     * unit.
      */
     location: IEvidenceSourceLocation;
 }

package/lib/structures/IEvidenceGraphInput.d.ts

@@ -3,22 +3,24 @@ import type { IEvidenceGraphClaim } from "./IEvidenceGraphClaim";
  * Materialized populations and resolutions ready for graph policy evaluation.
  *
  * The checker has already loaded sources, extracted inventories, and resolved
- * targets. `EvidenceGraph` consumes this record without source IO. Direct callers
- * must provide consistent identity and ownership records; a resolved status alone
- * cannot grant coverage to a unit absent from its reference inventory.
+ * targets. `EvidenceGraph` consumes this record without source IO. Direct
+ * callers must provide consistent identity and ownership records; a resolved
+ * status alone cannot grant coverage to a unit absent from its reference
+ * inventory.
  *
  * @example
- * // There are no obligations to evaluate until a materialized claim is supplied.
- * const input: IEvidenceGraphInput = { claims: [] };
- * const result: IEvidenceGraphResult = EvidenceGraph.evaluate(input);
- * // result.success is true and result.claims is empty.
+ *   // There are no obligations to evaluate until a materialized claim is supplied.
+ *   const input: IEvidenceGraphInput = { claims: [] };
+ *   const result: IEvidenceGraphResult = EvidenceGraph.evaluate(input);
+ *   // result.success is true and result.claims is empty.
  */
 export interface IEvidenceGraphInput {
     /**
      * Claim populations with independently configured reference obligations.
      *
-     * Preserve repeated claims and references rather than merging equal file sets.
-     * An empty direct graph input has no obligations and evaluates successfully.
+     * Preserve repeated claims and references rather than merging equal file
+     * sets. An empty direct graph input has no obligations and evaluates
+     * successfully.
      */
     claims: IEvidenceGraphClaim[];
 }

package/lib/structures/IEvidenceGraphNode.d.ts

@@ -6,14 +6,16 @@ import type { IEvidenceSourceLocation } from "./IEvidenceSourceLocation";
  * Semantic-unit node within one obligation and population role.
  *
  * The export ID distinguishes the same unit appearing on several boundaries or
- * on both sides of one pair. Selection marks denominator participation; structural
- * ancestors can remain addressable nodes whose coverage summarizes descendants.
+ * on both sides of one pair. Selection marks denominator participation;
+ * structural ancestors can remain addressable nodes whose coverage summarizes
+ * descendants.
  */
 export interface IEvidenceGraphNode {
     /**
-     * Node identity qualified by boundary, role, and semantic unit.
+     * EvidenceNode identity qualified by boundary, role, and semantic unit.
      *
-     * Edge endpoints use this value rather than the unqualified semantic identity.
+     * Edge endpoints use this value rather than the unqualified semantic
+     * identity.
      */
     id: string;
     /**
@@ -25,13 +27,15 @@ export interface IEvidenceGraphNode {
     /**
      * Claim or reference side represented by the node.
      *
-     * A unit serving both roles receives separate nodes with different coverage meaning.
+     * A unit serving both roles receives separate nodes with different coverage
+     * meaning.
      */
     role: EvidencePopulationRole;
     /**
      * Underlying semantic declaration identity.
      *
-     * Multiple boundary-qualified nodes can share this ID without merging obligations.
+     * Multiple boundary-qualified nodes can share this ID without merging
+     * obligations.
      */
     unitId: string;
     /**
@@ -49,7 +53,8 @@ export interface IEvidenceGraphNode {
     /**
      * Deterministically chosen public target spelling for display and citation.
      *
-     * Formatting follows the artifact grammar and query base directory where applicable.
+     * Formatting follows the artifact grammar and query base directory where
+     * applicable.
      */
     target: string;
     /**
@@ -62,15 +67,17 @@ export interface IEvidenceGraphNode {
     /**
      * Coverage participation displayed for this node within its boundary.
      *
-     * Selected claim nodes indicate an accepted edge; reference nodes report direct
-     * coverage or complete coverage of an ancestor's selected descendants.
+     * Selected claim nodes indicate an accepted edge; reference nodes report
+     * direct coverage or complete coverage of an ancestor's selected
+     * descendants.
      */
     covered: boolean;
     /**
-     * Whether a reference identity or one of its selected descendants lacks evidence.
+     * Whether a reference identity or one of its selected descendants lacks
+     * evidence.
      *
-     * Claim nodes do not use this as a per-host checklist ledger; that state belongs
-     * to the boundary's hostCoverage collection.
+     * Claim nodes do not use this as a per-host checklist ledger; that state
+     * belongs to the boundary's hostCoverage collection.
      */
     missing: boolean;
     /**

package/lib/structures/IEvidenceGraphObligation.d.ts

@@ -4,9 +4,9 @@ import type { IEvidenceGraphHostCoverage } from "./IEvidenceGraphHostCoverage";
  * Coverage ledger for one independently evaluated claim/reference pair.
  *
  * The selected, covered, and missing ID lists preserve the denominator and its
- * outcome. Accepted edges explain how statements contributed coverage. Checklist
- * mode additionally records each host's answers instead of pooling them across
- * the claim.
+ * outcome. Accepted edges explain how statements contributed coverage.
+ * Checklist mode additionally records each host's answers instead of pooling
+ * them across the claim.
  *
  * Activation and completeness are separate: an inactive obligation is skipped,
  * while an incomplete active obligation cannot establish a coverage pass. A
@@ -23,8 +23,8 @@ export interface IEvidenceGraphObligation {
     /**
      * Zero-based authored reference index within the claim.
      *
-     * Repeated reference entries keep separate indices, policies, and coverage even
-     * when they require the same semantic target population.
+     * Repeated reference entries keep separate indices, policies, and coverage
+     * even when they require the same semantic target population.
      */
     reference: number;
     /**
@@ -38,42 +38,45 @@ export interface IEvidenceGraphObligation {
      * Whether analysis was sufficient to evaluate this obligation.
      *
      * Incomplete inventories or resolution data cannot establish a successful
-     * denominator. Missing evidence in a fully analyzed population is a separate state.
+     * denominator. Missing evidence in a fully analyzed population is a separate
+     * state.
      */
     complete: boolean;
     /**
      * Selected semantic identities forming this obligation's denominator.
      *
-     * Public aliases and unselected structural ancestors do not add entries. Other
-     * references select and evaluate their own ID lists independently.
+     * Public aliases and unselected structural ancestors do not add entries.
+     * Other references select and evaluate their own ID lists independently.
      */
     unitIds: string[];
     /**
      * Selected identities acknowledged under this reference's policy.
      *
-     * Coverage belongs to this boundary. The same identity may remain missing in a
-     * stricter reference or under a different claim.
+     * Coverage belongs to this boundary. The same identity may remain missing in
+     * a stricter reference or under a different claim.
      */
     coveredUnitIds: string[];
     /**
      * Selected identities still lacking required acknowledgement.
      *
-     * These are uncovered requirements, not unresolved source declarations. Inspect
-     * completeness before interpreting a partial evaluation's coverage lists.
+     * These are uncovered requirements, not unresolved source declarations.
+     * Inspect completeness before interpreting a partial evaluation's coverage
+     * lists.
      */
     missingUnitIds: string[];
     /**
      * Accepted acknowledgement relationships contributing to this obligation.
      *
-     * Each edge retains its source host, named target, and covered selected units.
-     * Review records do not appear here as substitute coverage.
+     * Each edge retains its source host, named target, and covered selected
+     * units. Review records do not appear here as substitute coverage.
      */
     edges: IEvidenceGraphEdge[];
     /**
      * Per-host answer coverage when this obligation uses checklist mode.
      *
-     * Ordinary obligations leave the list empty. Checklist entries preserve missing
-     * answers for each host even when another host covers the same target item.
+     * Ordinary obligations leave the list empty. Checklist entries preserve
+     * missing answers for each host even when another host covers the same target
+     * item.
      */
     hostCoverage: IEvidenceGraphHostCoverage[];
 }

package/lib/structures/IEvidenceGraphReference.d.ts

@@ -3,16 +3,17 @@ import type { IEvidenceGraphResolution } from "./IEvidenceGraphResolution";
 import type { IEvidenceGraphReviewResolution } from "./IEvidenceGraphReviewResolution";
 import type { IEvidenceInventory } from "./IEvidenceInventory";
 /**
- * One materialized target population and the policies governing its acknowledgements.
+ * One materialized target population and the policies governing its
+ * acknowledgements.
  *
  * Target resolutions join claim statements to units in this inventory. Selected
  * IDs define the denominator, while real ancestors remain usable as aggregate
  * scopes. Review resolutions remain separate because reviews validate evidence
  * without contributing coverage.
  *
- * Every record is an independent obligation, even when another reference has the
- * same inventory and selectors. An exclusion can cover a permissive reference
- * while leaving a repeated, exclusion-forbidding reference missing.
+ * Every record is an independent obligation, even when another reference has
+ * the same inventory and selectors. An exclusion can cover a permissive
+ * reference while leaving a repeated, exclusion-forbidding reference missing.
  */
 export interface IEvidenceGraphReference {
     /**
@@ -60,8 +61,9 @@ export interface IEvidenceGraphReference {
     /**
      * Whether this obligation refuses exclusion acknowledgements.
      *
-     * Omission permits eligible exclusions. A refused exclusion produces a finding
-     * and leaves its target needing positive evidence in this reference only.
+     * Omission permits eligible exclusions. A refused exclusion produces a
+     * finding and leaves its target needing positive evidence in this reference
+     * only.
      */
     noEvidenceExclude?: boolean;
     /**
@@ -74,22 +76,25 @@ export interface IEvidenceGraphReference {
     /**
      * Whether every selected claim host must cite exactly one selected unit.
      *
-     * Omission leaves cardinality unrestricted. Untagged hosts count as zero, repeated
-     * citations count once per target, and aggregates count each selected descendant.
+     * Omission leaves cardinality unrestricted. Untagged hosts count as zero,
+     * repeated citations count once per target, and aggregates count each
+     * selected descendant.
      */
     singleEvidencePerSymbol?: boolean;
     /**
      * Whether each selected host must answer every selected Markdown item.
      *
      * Omission uses ordinary population coverage. Checklist evidence answers only
-     * the named item, while permitted exclusions retain host-local descendant scope.
+     * the named item, while permitted exclusions retain host-local descendant
+     * scope.
      */
     checklist?: boolean;
     /**
      * Whether accepted acknowledgements need a current matching review.
      *
      * Omission leaves review optional. Pairing requires the same semantic host,
-     * target, and kind, followed by a fingerprint match for the cited content scope.
+     * target, and kind, followed by a fingerprint match for the cited content
+     * scope.
      */
     requireReview?: boolean;
 }

package/lib/structures/IEvidenceGraphReport.d.ts

@@ -6,30 +6,34 @@ import type { IEvidenceGraphBoundary } from "./IEvidenceGraphBoundary";
 import type { IEvidenceGraphExportEdge } from "./IEvidenceGraphExportEdge";
 import type { IEvidenceGraphExportReview } from "./IEvidenceGraphExportReview";
 /**
- * Versioned graph export preserving every independent claim/reference obligation.
+ * Versioned graph export preserving every independent claim/reference
+ * obligation.
  *
- * Nodes are qualified by boundary and role, so shared semantic identities do not
- * merge requirements across references. Accepted acknowledgement edges and review
- * relations remain separate. Report status and diagnostics come from the same
- * check analysis used to construct the graph.
+ * Nodes are qualified by boundary and role, so shared semantic identities do
+ * not merge requirements across references. Accepted acknowledgement edges and
+ * review relations remain separate. Report status and diagnostics come from the
+ * same check analysis used to construct the graph.
  */
 export interface IEvidenceGraphReport {
     /**
      * Serialization version for graph consumers.
      *
-     * Readers check this before interpreting boundary-qualified node and edge IDs.
+     * Readers check this before interpreting boundary-qualified node and edge
+     * IDs.
      */
     schemaVersion: 1;
     /**
      * Discriminator identifying a configured graph export.
      *
-     * This report includes relationship records beyond the ordinary check summary.
+     * This report includes relationship records beyond the ordinary check
+     * summary.
      */
     command: "graph";
     /**
      * Configuration file whose planned populations were evaluated.
      *
-     * Boundary indices refer to authored claims and references in this configuration.
+     * Boundary indices refer to authored claims and references in this
+     * configuration.
      */
     configFile: string;
     /**
@@ -41,7 +45,8 @@ export interface IEvidenceGraphReport {
     /**
      * Check success inherited from completeness and diagnostic severity.
      *
-     * A graph can be exported for a failing check so consumers can explain its gaps.
+     * A graph can be exported for a failing check so consumers can explain its
+     * gaps.
      */
     success: boolean;
     /**
@@ -53,32 +58,36 @@ export interface IEvidenceGraphReport {
     /**
      * Independent obligations with their selection, policy, and coverage ledgers.
      *
-     * Repeated references retain distinct entries even when they select identical units.
+     * Repeated references retain distinct entries even when they select identical
+     * units.
      */
     boundaries: IEvidenceGraphBoundary[];
     /**
      * Semantic-unit and standalone-carrier nodes ordered by export identity.
      *
-     * IDs include the obligation boundary so one unit can appear in several contexts.
+     * IDs include the obligation boundary so one unit can appear in several
+     * contexts.
      */
     nodes: EvidenceGraphNode[];
     /**
      * Accepted acknowledgement relationships ordered by edge identity.
      *
-     * Each edge identifies its carrier-side nodes, exact target, and selected coverage.
+     * Each edge identifies its carrier-side nodes, exact target, and selected
+     * coverage.
      */
     edges: IEvidenceGraphExportEdge[];
     /**
      * Review relationships retained separately from coverage edges.
      *
-     * Resolution status can expose unresolved or ambiguous reviews without treating
-     * them as accepted acknowledgements.
+     * Resolution status can expose unresolved or ambiguous reviews without
+     * treating them as accepted acknowledgements.
      */
     reviews: IEvidenceGraphExportReview[];
     /**
      * Findings from the full check analysis in deterministic report order.
      *
-     * These explain completeness, policy, and coverage failures visible in the graph.
+     * These explain completeness, policy, and coverage failures visible in the
+     * graph.
      */
     diagnostics: IEvidenceDiagnostic[];
 }

package/lib/structures/IEvidenceGraphResolution.d.ts

@@ -10,7 +10,8 @@ export interface IEvidenceGraphResolution {
     /**
      * Identity of the acknowledgement whose target was resolved.
      *
-     * The evaluator uses it to find the prepared result for that source statement.
+     * The evaluator uses it to find the prepared result for that source
+     * statement.
      */
     declarationId: string;
     /**

package/lib/structures/IEvidenceGraphResult.d.ts

@@ -9,29 +9,31 @@ import type { IEvidenceGraphClaimResult } from "./IEvidenceGraphClaimResult";
  * are supplied by later reporting layers.
  *
  * A result succeeds only when every active boundary is complete and no findings
- * remain. Merely obtaining an empty missing-unit list from partial input does not
- * establish success.
+ * remain. Merely obtaining an empty missing-unit list from partial input does
+ * not establish success.
  */
 export interface IEvidenceGraphResult {
     /**
      * Whether all active evaluation boundaries are complete and finding-free.
      *
-     * Inactive claims do not make the graph incomplete. Any retained diagnostic or
-     * active incomplete obligation prevents this flag from becoming true.
+     * Inactive claims do not make the graph incomplete. Any retained diagnostic
+     * or active incomplete obligation prevents this flag from becoming true.
      */
     success: boolean;
     /**
      * Per-claim outcomes with their independent reference obligations.
      *
      * The original claim indices remain in each record for attribution. Repeated
-     * references are preserved rather than merged into one aggregate coverage set.
+     * references are preserved rather than merged into one aggregate coverage
+     * set.
      */
     claims: IEvidenceGraphClaimResult[];
     /**
      * Deduplicated findings from extraction integrity and policy evaluation.
      *
-     * Finalization includes findings that depend on cross-reference participation.
-     * Consumers can render them without rerunning the graph traversal.
+     * Finalization includes findings that depend on cross-reference
+     * participation. Consumers can render them without rerunning the graph
+     * traversal.
      */
     diagnostics: IEvidenceDiagnostic[];
 }

package/lib/structures/IEvidenceGraphReviewResolution.d.ts

@@ -2,9 +2,10 @@ import type { IEvidenceTargetResolution } from "./IEvidenceTargetResolution";
 /**
  * Prepared reference-target resolution for a review statement.
  *
- * Reviews resolve through the same target grammar as acknowledgements but remain
- * separate records: matching a review validates a paired citation and never
- * creates coverage by itself. Failed resolution is retained for diagnostics.
+ * Reviews resolve through the same target grammar as acknowledgements but
+ * remain separate records: matching a review validates a paired citation and
+ * never creates coverage by itself. Failed resolution is retained for
+ * diagnostics.
  */
 export interface IEvidenceGraphReviewResolution {
     /**

package/lib/structures/IEvidenceHelpCommand.d.ts

@@ -2,7 +2,8 @@
  * Parsed request to display command syntax and options.
  *
  * Help is resolved before configuration or project analysis. The parser refuses
- * combining the help flag with other options instead of silently ignoring them.
+ * combining the help flag with other options instead of silently ignoring
+ * them.
  */
 export interface IEvidenceHelpCommand {
     /**

package/lib/structures/IEvidenceHost.d.ts

@@ -1,6 +1,7 @@
 import type { IEvidenceSourceRange } from "./IEvidenceSourceRange";
 /**
- * A physical documentation carrier and the declarations that own its statements.
+ * A physical documentation carrier and the declarations that own its
+ * statements.
  *
  * Adapters establish attachment from language syntax before evidence tags are
  * parsed. This record supplies the source location and semantic owners used to
@@ -14,7 +15,8 @@ import type { IEvidenceSourceRange } from "./IEvidenceSourceRange";
  * - An artifact's exclusion-only carrier can be attached without owning a unit.
  *
  * Unattached and unsupported carriers remain available for diagnostics. Graph
- * cardinality counts the owning semantic identities, not the number of comments.
+ * cardinality counts the owning semantic identities, not the number of
+ * comments.
  */
 export interface IEvidenceHost {
     /**
@@ -35,44 +37,49 @@ export interface IEvidenceHost {
      * Span of the documentation position in the captured source.
      *
      * Coordinates use the original UTF-16 text and an exclusive end. The carrier
-     * span is separate from its owner's declaration and fingerprint content ranges.
+     * span is separate from its owner's declaration and fingerprint content
+     * ranges.
      */
     range: IEvidenceSourceRange;
     /**
      * Source paths from which relative citations may resolve.
      *
      * Omission uses `file`. Reconciliation preserves every origin when equivalent
-     * carriers merge, so choosing one alias does not discard another valid base path.
+     * carriers merge, so choosing one alias does not discard another valid base
+     * path.
      */
     origins?: string[];
     /**
      * Physical declaration site establishing the carrier's semantic ownership.
      *
-     * An exclusion-only carrier can omit this link. For a semantic host, inventory
-     * validation requires the site to belong to its claimed unit owners.
+     * An exclusion-only carrier can omit this link. For a semantic host,
+     * inventory validation requires the site to belong to its claimed unit
+     * owners.
      */
     siteId?: string;
     /**
      * Semantic declarations owning this documentation position.
      *
-     * Retain all owners of shared declaration positions. Empty ownership is allowed
-     * only where the artifact's carrier rules permit evidence without a declaration,
-     * such as an eligible exclusion-only position.
+     * Retain all owners of shared declaration positions. Empty ownership is
+     * allowed only where the artifact's carrier rules permit evidence without a
+     * declaration, such as an eligible exclusion-only position.
      */
     unitIds: string[];
     /**
      * Result of the adapter's syntactic attachment analysis.
      *
      * Attached carriers participate under the artifact's rules, including allowed
-     * exclusion-only carriers with no unit IDs. Unattached or unsupported positions
-     * retain their status so their annotations can produce actionable findings.
+     * exclusion-only carriers with no unit IDs. Unattached or unsupported
+     * positions retain their status so their annotations can produce actionable
+     * findings.
      */
     attachment: "attached" | "unattached" | "unsupported";
     /**
      * Adapter explanation for an unsupported documentation position.
      *
      * Supply the source construct or ownership limitation that prevents this
-     * carrier from participating. Ordinary supported positions omit the explanation.
+     * carrier from participating. Ordinary supported positions omit the
+     * explanation.
      */
     problem?: string;
 }

package/lib/structures/IEvidenceInitCommand.d.ts

@@ -1,26 +1,30 @@
 /**
  * Parsed request to create a starter Evidence configuration.
  *
- * Execution resolves the destination from command cwd and creates it exclusively.
- * Existing files are refused so initialization cannot overwrite an authored policy.
+ * Execution resolves the destination from command cwd and creates it
+ * exclusively. Existing files are refused so initialization cannot overwrite an
+ * authored policy.
  */
 export interface IEvidenceInitCommand {
     /**
      * Discriminator selecting configuration creation.
      *
-     * Initialization writes a starter contract without running an Evidence check.
+     * Initialization writes a starter contract without running an Evidence Graph
+     * check.
      */
     operation: "init";
     /**
      * Working directory anchoring the configuration destination.
      *
-     * The command resolves this against its invocation base without changing process cwd.
+     * The command resolves this against its invocation base without changing
+     * process cwd.
      */
     cwd: string;
     /**
      * New configuration path, defaulting to evidence.config.ts during parsing.
      *
-     * Execution validates the supported file format and rejects an existing destination.
+     * Execution validates the supported file format and rejects an existing
+     * destination.
      */
     config: string;
 }

package/lib/structures/IEvidenceInspectCommand.d.ts

@@ -3,8 +3,9 @@ import type { EvidenceReportFormat } from "../typings/EvidenceReportFormat";
  * Parsed request to resolve one target and explain its graph context.
  *
  * Inspection analyzes the configured populations before collecting candidates,
- * related obligations, acknowledgements, and reviews. Target spelling follows the
- * applicable artifact grammar, with file-qualified paths based on the command cwd.
+ * related obligations, acknowledgements, and reviews. Target spelling follows
+ * the applicable artifact grammar, with file-qualified paths based on the
+ * command cwd.
  */
 export interface IEvidenceInspectCommand {
     /**
@@ -16,13 +17,15 @@ export interface IEvidenceInspectCommand {
     /**
      * Authored target token to resolve in applicable populations.
      *
-     * Resolution preserves this spelling in the report alongside normalized addresses.
+     * Resolution preserves this spelling in the report alongside normalized
+     * addresses.
      */
     target: string;
     /**
      * Working directory resolved from the invocation base.
      *
-     * File-qualified query targets use this anchor rather than a source comment's origin.
+     * File-qualified query targets use this anchor rather than a source comment's
+     * origin.
      */
     cwd: string;
     /**