@wrtnlabs/evidence 0.0.0

package/lib/graph/EvidenceGraph.d.ts

@@ -0,0 +1,56 @@
+import type { IEvidenceGraphInput } from "../structures/IEvidenceGraphInput";
+import type { IEvidenceGraphResult } from "../structures/IEvidenceGraphResult";
+/**
+ * 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
+ * returns an owned result, isolating prior diagnostics and caller mutations.
+ *
+ * Evaluation preserves the following boundaries:
+ *
+ * 1. Each claim selects its own semantic hosts and exclusion carriers.
+ * 2. Each reference independently judges coverage, exclusions, cardinality,
+ *    checklist answers, and review freshness, even when populations overlap.
+ * 3. Incomplete analysis remains a failure rather than a passing smaller graph.
+ * 4. Findings requiring cross-reference participation are finalized after all
+ *    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.
+ */
+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.
+     */
+    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.
+     */
+    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.
+     */
+    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.
+     */
+    static evaluate(input: IEvidenceGraphInput): IEvidenceGraphResult;
+}