@wrtnlabs/evidence 0.0.0 → 0.1.0

package/lib/structures/IEvidenceDeclaration.d.ts

@@ -1,16 +1,17 @@
 import type { EvidenceAcknowledgementKind } from "../typings/EvidenceAcknowledgementKind";
 import type { IEvidenceTargetStatement } from "./IEvidenceTargetStatement";
 /**
- * A parsed positive or exclusion acknowledgement awaiting reference-specific resolution.
+ * A parsed positive or exclusion acknowledgement awaiting reference-specific
+ * resolution.
  *
- * The tag parser records the target, reason, host, and source location. Resolution
- * identifies the cited scope, then each reference judges host eligibility,
- * exclusion permission, and coverage of its selected descendants. Merely parsing
- * a statement does not create a valid coverage edge.
+ * The tag parser records the target, reason, host, and source location.
+ * Resolution identifies the cited scope, then each reference judges host
+ * eligibility, exclusion permission, and coverage of its selected descendants.
+ * Merely parsing a statement does not create a valid coverage edge.
  *
  * Reviews use a separate shape because they validate acknowledgements rather
- * than substitute for them. Multiple statements may still belong to one semantic
- * host for cardinality purposes.
+ * than substitute for them. Multiple statements may still belong to one
+ * semantic host for cardinality purposes.
  */
 export interface IEvidenceDeclaration extends IEvidenceTargetStatement {
     /**
@@ -23,15 +24,17 @@ export interface IEvidenceDeclaration extends IEvidenceTargetStatement {
     /**
      * Whether the annotation supplies positive evidence or an exclusion.
      *
-     * Both can cover ordinary obligations, but exclusions have independent carrier,
-     * refusal, and overlap rules. A review cannot be represented as either kind.
+     * Both can cover ordinary obligations, but exclusions have independent
+     * carrier, refusal, and overlap rules. A review cannot be represented as
+     * either kind.
      */
     kind: EvidenceAcknowledgementKind;
     /**
      * Nonempty explanation accompanying the target.
      *
-     * The parser requires prose so the citation records its purpose. Coverage checks
-     * establish structural acknowledgement, not the truth of this explanation.
+     * The parser requires prose so the citation records its purpose. Coverage
+     * checks establish structural acknowledgement, not the truth of this
+     * explanation.
      */
     reason: string;
 }

package/lib/structures/IEvidenceDiagnostic.d.ts

@@ -18,13 +18,15 @@ export interface IEvidenceDiagnostic {
     /**
      * Effective reporting level for this finding.
      *
-     * Off policies emit no diagnostic; an emitted error contributes to check failure.
+     * Off policies emit no diagnostic; an emitted error contributes to check
+     * failure.
      */
     severity: Exclude<EvidenceSeverity, "off">;
     /**
      * Explanation of the observed failure or policy violation.
      *
-     * Renderers present this separately from source coordinates and repair guidance.
+     * Renderers present this separately from source coordinates and repair
+     * guidance.
      */
     message: string;
     /**
@@ -48,19 +50,22 @@ export interface IEvidenceDiagnostic {
     /**
      * Zero-based authored reference index within the owning claim.
      *
-     * Omission permits a claim-level or unscoped finding without inventing a pair.
+     * Omission permits a claim-level or unscoped finding without inventing a
+     * pair.
      */
     reference?: number;
     /**
      * Documentation host implicated in the finding.
      *
-     * When present, this connects a statement-level error to its extracted carrier.
+     * When present, this connects a statement-level error to its extracted
+     * carrier.
      */
     hostId?: string;
     /**
      * Authored target text implicated in the finding.
      *
-     * This can be retained even when parsing or resolution failed to identify a unit.
+     * This can be retained even when parsing or resolution failed to identify a
+     * unit.
      */
     target?: string;
 }

package/lib/structures/IEvidenceDocumentation.d.ts

@@ -1,30 +1,35 @@
 /**
  * Adapter-normalized documentation with a map back to its source spelling.
  *
- * Removing comment prefixes or decoding string escapes changes text coordinates.
- * The tag parser uses the parallel offset arrays to recover precise source spans
- * for diagnostics and fingerprint exclusions. Host policy determines which tags
- * terminate reasons and whether a withdrawal directive has declaration ownership.
+ * Removing comment prefixes or decoding string escapes changes text
+ * coordinates. The tag parser uses the parallel offset arrays to recover
+ * precise source spans for diagnostics and fingerprint exclusions. Host policy
+ * determines which tags terminate reasons and whether a withdrawal directive
+ * has declaration ownership.
  */
 export interface IEvidenceDocumentation {
     /**
      * Identity of the documentation carrier represented by this text.
      *
-     * Parsed statements retain this ID so adapters can attach them to semantic units.
+     * Parsed statements retain this ID so adapters can attach them to semantic
+     * units.
      */
     hostId: string;
     /**
      * Normalized text to scan for annotations.
      *
      * Its UTF-16 indices address the mapping arrays rather than the original file
-     * directly, since delimiters and encoded characters may have been transformed.
+     * directly, since delimiters and encoded characters may have been
+     * transformed.
      */
     text: string;
     /**
-     * Original UTF-16 start for each text code unit and the final source boundary.
+     * Original UTF-16 start for each text code unit and the final source
+     * boundary.
      *
-     * The terminal entry permits mapping a position at the end of normalized text;
-     * removed prefixes can leave gaps between consecutive original offsets.
+     * The terminal entry permits mapping a position at the end of normalized
+     * text; removed prefixes can leave gaps between consecutive original
+     * offsets.
      */
     offsets: number[];
     /**
@@ -37,12 +42,13 @@ export interface IEvidenceDocumentation {
     /**
      * Whether other tools' line-start tags terminate an acknowledgement reason.
      *
-     * JSDoc-like hosts enable this boundary so unrelated tags are not absorbed into
-     * the preceding Evidence annotation's reason text.
+     * JSDoc-like hosts enable this boundary so unrelated tags are not absorbed
+     * into the preceding Evidence annotation's reason text.
      */
     tagBoundaries: boolean;
     /**
-     * Whether the host owns a declaration that a withdrawal directive can exclude.
+     * Whether the host owns a declaration that a withdrawal directive can
+     * exclude.
      *
      * Adapters enable this only at supported declaration documentation positions;
      * arbitrary prose cannot hide unrelated semantic units.

package/lib/structures/IEvidenceDocumentedConfig.d.ts

@@ -4,8 +4,8 @@ import type { EvidenceProgrammingSymbol } from "../typings/EvidenceProgrammingSy
  *
  * This policy checks whether declarations have documentation capable of hosting
  * evidence. It does not judge prose quality or replace the repository's source
- * documentation rules. A narrower selector can require documentation on functions
- * without imposing the same presence check on every public property.
+ * documentation rules. A narrower selector can require documentation on
+ * functions without imposing the same presence check on every public property.
  */
 export interface IEvidenceDocumentedConfig {
     /**

package/lib/structures/IEvidenceFingerprint.d.ts

@@ -14,15 +14,15 @@ export interface IEvidenceFingerprint {
     /**
      * Version of the fingerprint construction algorithm.
      *
-     * This identifies normalization and scope semantics for the token, independently
-     * of the inventory schema version or parser grammar revision.
+     * This identifies normalization and scope semantics for the token,
+     * independently of the inventory schema version or parser grammar revision.
      */
     version: number;
     /**
      * Semantic identity at the root of the cited scope.
      *
-     * Aliases resolve to this same unit before fingerprinting. Reference selectors
-     * do not change which identity owns the token.
+     * Aliases resolve to this same unit before fingerprinting. Reference
+     * selectors do not change which identity owns the token.
      */
     unitId: string;
     /**
@@ -36,7 +36,8 @@ export interface IEvidenceFingerprint {
      * Digest combining the root unit with its complete structural subtree.
      *
      * The scope follows explicit ownership and does not shrink to a reference's
-     * selected kinds. A descendant edit can therefore expire an aggregate review.
+     * selected kinds. A descendant edit can therefore expire an aggregate
+     * review.
      */
     scopeDigest: string;
     /**

package/lib/structures/IEvidenceGrammar.d.ts

@@ -3,26 +3,30 @@ import type { IEvidenceGrammarAsset } from "./IEvidenceGrammarAsset";
  * Pinned provenance for a lazily acquired Tree-sitter syntax variant.
  *
  * The registry uses this record to associate a selectable grammar with upstream
- * source, verified WASM bytes, and license provenance. Listing this metadata does
- * not download the grammar or certify an artifact adapter's declaration coverage.
+ * source, verified WASM bytes, and license provenance. Listing this metadata
+ * does not download the grammar or certify an artifact adapter's declaration
+ * coverage.
  */
 export interface IEvidenceGrammar {
     /**
      * Unique syntax-variant key used by registry selection and parser caches.
      *
-     * A language family may select different keys according to the source filename.
+     * A language family may select different keys according to the source
+     * filename.
      */
     id: string;
     /**
      * Canonical upstream repository containing the grammar source.
      *
-     * This establishes authorship and provenance independently of the download host.
+     * This establishes authorship and provenance independently of the download
+     * host.
      */
     repository: string;
     /**
      * Upstream release or reproducible build identifier pinned for this grammar.
      *
-     * It explains the human-readable revision associated with the immutable assets.
+     * It explains the human-readable revision associated with the immutable
+     * assets.
      */
     version: string;
     /**
@@ -34,14 +38,15 @@ export interface IEvidenceGrammar {
     /**
      * WASM asset acquired when parsing first requires this variant.
      *
-     * Its size and digest are verified before bytes enter the immutable grammar cache.
+     * Its size and digest are verified before bytes enter the immutable grammar
+     * cache.
      */
     wasm: IEvidenceGrammarAsset;
     /**
      * Pinned upstream license asset retained with the grammar provenance.
      *
-     * This identifies the exact license text associated with the selected revision,
-     * independently of whether a parse has acquired the WASM asset.
+     * This identifies the exact license text associated with the selected
+     * revision, independently of whether a parse has acquired the WASM asset.
      */
     license: IEvidenceGrammarAsset;
 }

package/lib/structures/IEvidenceGrammarAsset.d.ts

@@ -2,9 +2,10 @@ import type { tags } from "typia";
 /**
  * Immutable upstream asset identified by its size and SHA-256 digest.
  *
- * Grammar metadata uses the same shape for WASM and license provenance. Acquisition
- * can bound a download before hashing it, and cache identity depends on verified
- * bytes rather than trusting a mutable filename or the server response alone.
+ * Grammar metadata uses the same shape for WASM and license provenance.
+ * Acquisition can bound a download before hashing it, and cache identity
+ * depends on verified bytes rather than trusting a mutable filename or the
+ * server response alone.
  */
 export interface IEvidenceGrammarAsset {
     /**
@@ -23,8 +24,8 @@ export interface IEvidenceGrammarAsset {
     /**
      * Lowercase SHA-256 digest of the exact upstream bytes.
      *
-     * Verification rejects altered downloads, and immutable cache entries use this
-     * digest to distinguish content independently of its filename.
+     * Verification rejects altered downloads, and immutable cache entries use
+     * this digest to distinguish content independently of its filename.
      */
     sha256: string & tags.Pattern<"^[0-9a-f]{64}$">;
     /**

package/lib/structures/IEvidenceGraphBoundary.d.ts

@@ -5,38 +5,44 @@ import type { IEvidenceQueryScope } from "./IEvidenceQueryScope";
  * Exported policy and coverage ledger for one independent claim/reference pair.
  *
  * All related nodes, acknowledgement edges, and reviews identify this boundary.
- * Selected unit IDs establish its denominator; checklist mode additionally keeps
- * each claim host's answer ledger so answers cannot be pooled between hosts.
+ * Selected unit IDs establish its denominator; checklist mode additionally
+ * keeps each claim host's answer ledger so answers cannot be pooled between
+ * hosts.
  */
 export interface IEvidenceGraphBoundary {
     /**
      * Export identity derived from authored claim and reference indices.
      *
-     * Related nodes and relationships use this key to retain obligation ownership.
+     * Related nodes and relationships use this key to retain obligation
+     * ownership.
      */
     id: string;
     /**
      * Configured population supplying semantic claim hosts.
      *
-     * Its role, artifact type, and authored index describe the citing side of the pair.
+     * Its role, artifact type, and authored index describe the citing side of the
+     * pair.
      */
     claim: IEvidenceQueryScope;
     /**
      * Configured population supplying required evidence units.
      *
-     * Its reference index distinguishes repeated requirements under the same claim.
+     * Its reference index distinguishes repeated requirements under the same
+     * claim.
      */
     reference: IEvidenceQueryScope;
     /**
      * Effective acknowledgement, exclusion, and review rules for the pair.
      *
-     * Inherited settings have been resolved into the booleans and severity used by evaluation.
+     * Inherited settings have been resolved into the booleans and severity used
+     * by evaluation.
      */
     policy: IEvidenceGraphPolicy;
     /**
      * Whether the pair participates in graph coverage evaluation.
      *
-     * Inactive boundaries retain context without contributing active requirements.
+     * Inactive boundaries retain context without contributing active
+     * requirements.
      */
     active: boolean;
     /**
@@ -60,14 +66,15 @@ export interface IEvidenceGraphBoundary {
     /**
      * Selected reference identities still lacking required acknowledgement.
      *
-     * These retain the obligation's uncovered requirements rather than unresolved names.
+     * These retain the obligation's uncovered requirements rather than unresolved
+     * names.
      */
     missingUnitIds: string[];
     /**
      * Per-host answer ledgers when this obligation uses Markdown checklist mode.
      *
-     * Ordinary coverage leaves the array empty; checklist answers remain attributable
-     * to each semantic claim subject.
+     * Ordinary coverage leaves the array empty; checklist answers remain
+     * attributable to each semantic claim subject.
      */
     hostCoverage: IEvidenceGraphHostCoverage[];
 }

package/lib/structures/IEvidenceGraphClaim.d.ts

@@ -4,10 +4,10 @@ import type { IEvidenceInventory } from "./IEvidenceInventory";
 /**
  * A materialized claim's semantic hosts and independent evidence requirements.
  *
- * The inventory supplies physical declarations and annotations; `unitIds` selects
- * the semantic hosts that participate. Reference entries supply their own target
- * inventories, selectors, and policies. Shared source files or labels do not
- * combine the coverage owed by different claims.
+ * The inventory supplies physical declarations and annotations; `unitIds`
+ * selects the semantic hosts that participate. Reference entries supply their
+ * own target inventories, selectors, and policies. Shared source files or
+ * labels do not combine the coverage owed by different claims.
  *
  * Exclusion carrier restrictions narrow eligible positions within this claim.
  * They do not create hosts or widen the claim's selected population.
@@ -16,8 +16,9 @@ export interface IEvidenceGraphClaim {
     /**
      * Original zero-based position in the configuration's claim array.
      *
-     * Omission uses this record's array position for direct graph callers. Explicit
-     * indices preserve attribution after the checker filters inactive claims.
+     * Omission uses this record's array position for direct graph callers.
+     * Explicit indices preserve attribution after the checker filters inactive
+     * claims.
      */
     index?: number;
     /**
@@ -38,7 +39,8 @@ export interface IEvidenceGraphClaim {
      * Captured declaration and documentation inventory for the claim.
      *
      * Evaluation reconciles its records and validates ownership before selecting
-     * hosts. Incompleteness prevents its references from producing a coverage pass.
+     * hosts. Incompleteness prevents its references from producing a coverage
+     * pass.
      */
     inventory: IEvidenceInventory;
     /**
@@ -52,7 +54,8 @@ export interface IEvidenceGraphClaim {
      * Carrier IDs permitted to write exclusions for this claim.
      *
      * Omission permits every otherwise eligible attached public host. An explicit
-     * selection restricts carriers without granting attachment to an invalid host.
+     * selection restricts carriers without granting attachment to an invalid
+     * host.
      */
     exclusionHostIds?: string[];
     /**

package/lib/structures/IEvidenceGraphClaimResult.d.ts

@@ -23,8 +23,8 @@ export interface IEvidenceGraphClaimResult {
     /**
      * Whether the active claim population was materialized completely.
      *
-     * Reference extraction and target resolution have their own completeness state
-     * on each obligation, so callers must inspect both levels.
+     * Reference extraction and target resolution have their own completeness
+     * state on each obligation, so callers must inspect both levels.
      */
     complete: boolean;
     /**

package/lib/structures/IEvidenceGraphCommand.d.ts

@@ -2,15 +2,17 @@ import type { EvidenceGraphFormat } from "../typings/EvidenceGraphFormat";
 /**
  * Parsed request to export evaluated Evidence relationships.
  *
- * Execution retains independent obligation boundaries, semantic and carrier nodes,
- * acknowledgement edges, and separate review relations. The selected formatter
- * presents that analysis without changing its coverage or completeness status.
+ * Execution retains independent obligation boundaries, semantic and carrier
+ * nodes, acknowledgement edges, and separate review relations. The selected
+ * formatter presents that analysis without changing its coverage or
+ * completeness status.
  */
 export interface IEvidenceGraphCommand {
     /**
      * Discriminator selecting graph export.
      *
-     * The command analyzes configured populations before serializing their relationships.
+     * The command analyzes configured populations before serializing their
+     * relationships.
      */
     operation: "graph";
     /**
@@ -22,19 +24,22 @@ export interface IEvidenceGraphCommand {
     /**
      * Configuration path used to build the exported graph.
      *
-     * Relative paths resolve from command cwd; parsing defaults to evidence.config.ts.
+     * Relative paths resolve from command cwd; parsing defaults to
+     * evidence.config.ts.
      */
     config: string;
     /**
      * Requested graph serialization or visualization format.
      *
-     * The command parser validates the graph-specific vocabulary before analysis begins.
+     * The command parser validates the graph-specific vocabulary before analysis
+     * begins.
      */
     format: EvidenceGraphFormat;
     /**
      * Optional file destination for the formatted graph.
      *
-     * Relative paths use command cwd; omission emits the result through standard output.
+     * Relative paths use command cwd; omission emits the result through standard
+     * output.
      */
     output?: string;
 }

package/lib/structures/IEvidenceGraphEdge.d.ts

@@ -3,9 +3,10 @@ import type { EvidenceAcknowledgementKind } from "../typings/EvidenceAcknowledge
  * Accepted acknowledgement connecting a claim carrier to a reference scope.
  *
  * The named target can be an unselected structural ancestor whose selected
- * descendants receive coverage. The edge therefore retains both the exact target
- * and the selected identities it covers. Its fingerprint belongs to that exact
- * cited scope, allowing review validation without turning reviews into evidence.
+ * descendants receive coverage. The edge therefore retains both the exact
+ * target and the selected identities it covers. Its fingerprint belongs to that
+ * exact cited scope, allowing review validation without turning reviews into
+ * evidence.
  */
 export interface IEvidenceGraphEdge {
     /**
@@ -29,8 +30,8 @@ export interface IEvidenceGraphEdge {
     /**
      * Accepted scope-selection form of the acknowledgement.
      *
-     * The declaration form determines which part of the resolved target can supply
-     * selected units to this edge.
+     * The declaration form determines which part of the resolved target can
+     * supply selected units to this edge.
      */
     kind: EvidenceAcknowledgementKind;
     /**
@@ -49,8 +50,8 @@ export interface IEvidenceGraphEdge {
     /**
      * Current seven-character fingerprint of the exact cited scope.
      *
-     * Review matching compares the expected fingerprint with this scope's content,
-     * rather than hashing only the selected coverage subset.
+     * Review matching compares the expected fingerprint with this scope's
+     * content, rather than hashing only the selected coverage subset.
      */
     fingerprint: string;
 }

package/lib/structures/IEvidenceGraphExportEdge.d.ts

@@ -3,9 +3,10 @@ import type { IEvidenceDeclaration } from "./IEvidenceDeclaration";
 /**
  * Accepted acknowledgement exported with boundary-qualified graph endpoints.
  *
- * The relationship preserves the original declaration, exact target, and selected
- * identities covered by its scope. Endpoint node IDs are distinct from semantic
- * unit IDs because the same units can occur in several independent obligations.
+ * The relationship preserves the original declaration, exact target, and
+ * selected identities covered by its scope. Endpoint node IDs are distinct from
+ * semantic unit IDs because the same units can occur in several independent
+ * obligations.
  */
 export interface IEvidenceGraphExportEdge {
     /**
@@ -17,13 +18,15 @@ export interface IEvidenceGraphExportEdge {
     /**
      * Obligation whose policy accepted this acknowledgement.
      *
-     * Coverage is restricted to this boundary even if another reference shares the target.
+     * Coverage is restricted to this boundary even if another reference shares
+     * the target.
      */
     boundaryId: string;
     /**
      * Accepted acknowledgement form determining the cited scope.
      *
-     * Evidence and exclusion variants retain their authored distinction in export.
+     * Evidence and exclusion variants retain their authored distinction in
+     * export.
      */
     kind: EvidenceAcknowledgementKind;
     /**
@@ -33,7 +36,8 @@ export interface IEvidenceGraphExportEdge {
      */
     declaration: IEvidenceDeclaration;
     /**
-     * Boundary-qualified claim nodes or standalone carrier node supplying the statement.
+     * Boundary-qualified claim nodes or standalone carrier node supplying the
+     * statement.
      *
      * A shared carrier can represent several semantic claim subjects.
      */
@@ -41,7 +45,8 @@ export interface IEvidenceGraphExportEdge {
     /**
      * Selected semantic claim identities represented by the carrier.
      *
-     * This list can be empty for an eligible exclusion carrier outside selected claim units.
+     * This list can be empty for an eligible exclusion carrier outside selected
+     * claim units.
      */
     hostUnitIds: string[];
     /**
@@ -53,19 +58,23 @@ export interface IEvidenceGraphExportEdge {
     /**
      * Semantic identity underlying the exact target endpoint.
      *
-     * This remains comparable across exported boundaries without conflating their node IDs.
+     * This remains comparable across exported boundaries without conflating their
+     * node IDs.
      */
     targetUnitId: string;
     /**
-     * Selected reference identities covered by the accepted acknowledgement scope.
+     * Selected reference identities covered by the accepted acknowledgement
+     * scope.
      *
-     * Aggregate targets may cover several descendants rather than only the named unit.
+     * Aggregate targets may cover several descendants rather than only the named
+     * unit.
      */
     unitIds: string[];
     /**
      * Current fingerprint of the exact cited scope.
      *
-     * Review validation uses that scope's content rather than the exported selected subset.
+     * Review validation uses that scope's content rather than the exported
+     * selected subset.
      */
     fingerprint: string;
 }

package/lib/structures/IEvidenceGraphExportReview.d.ts

@@ -4,15 +4,16 @@ import type { IEvidenceReview } from "./IEvidenceReview";
 /**
  * Review relation exported separately from accepted acknowledgement edges.
  *
- * Target-resolution candidates become endpoints even when the result is ambiguous.
- * The status describes identity lookup, not review freshness or successful pairing;
- * no review relation creates coverage by itself.
+ * Target-resolution candidates become endpoints even when the result is
+ * ambiguous. The status describes identity lookup, not review freshness or
+ * successful pairing; no review relation creates coverage by itself.
  */
 export interface IEvidenceGraphExportReview {
     /**
      * Review identity qualified by its independent obligation boundary.
      *
-     * One source review can appear in several references with distinct resolution outcomes.
+     * One source review can appear in several references with distinct resolution
+     * outcomes.
      */
     id: string;
     /**
@@ -24,32 +25,36 @@ export interface IEvidenceGraphExportReview {
     /**
      * Acknowledgement form this review intends to validate.
      *
-     * Matching also requires the relevant host, target scope, and fingerprint conditions.
+     * Matching also requires the relevant host, target scope, and fingerprint
+     * conditions.
      */
     reviews: EvidenceAcknowledgementKind;
     /**
      * Original review statement and its authored validation metadata.
      *
-     * Source coordinates and description remain available for stale-review repair.
+     * Source coordinates and description remain available for stale-review
+     * repair.
      */
     review: IEvidenceReview;
     /**
      * Resolution outcome for the review's authored target.
      *
-     * Resolved status establishes target identity without claiming freshness or coverage.
+     * Resolved status establishes target identity without claiming freshness or
+     * coverage.
      */
     status: EvidenceTargetResolutionStatus;
     /**
      * Boundary-qualified claim or standalone-carrier endpoints owning the review.
      *
-     * Physical host ownership remains represented even without a selected semantic subject.
+     * Physical host ownership remains represented even without a selected
+     * semantic subject.
      */
     sourceNodeIds: string[];
     /**
      * Boundary-qualified reference nodes returned as target candidates.
      *
-     * Ambiguous resolution can retain several endpoints; failures without candidates
-     * leave the collection empty.
+     * Ambiguous resolution can retain several endpoints; failures without
+     * candidates leave the collection empty.
      */
     targetNodeIds: string[];
 }

package/lib/structures/IEvidenceGraphHostCoverage.d.ts

@@ -3,8 +3,9 @@
  *
  * Checklist mode requires each semantic claim host to answer the selected
  * reference items. Keeping these ledgers separate prevents one host's answer
- * from hiding another host's omissions. Explained IDs suppress redundant missing
- * messages when a more direct aggregate diagnostic already describes the failure.
+ * from hiding another host's omissions. Explained IDs suppress redundant
+ * missing messages when a more direct aggregate diagnostic already describes
+ * the failure.
  */
 export interface IEvidenceGraphHostCoverage {
     /**
@@ -17,7 +18,8 @@ export interface IEvidenceGraphHostCoverage {
     /**
      * Selected reference identities answered by this host.
      *
-     * An answer contributes here only under this obligation's acknowledgement policy.
+     * An answer contributes here only under this obligation's acknowledgement
+     * policy.
      */
     coveredUnitIds: string[];
     /**