Crate witness_core 

witness-core

Pure-data algorithms for witness, separated from the wasmtime-using CLI binary so this crate compiles to wasm32-wasip2.

Modules:

• instrument — manifest types + walrus-based instrumentation pass
• decisions — DWARF-grounded MC/DC reconstruction
• diff — branch-set / coverage delta between two snapshots
• predicate — in-toto coverage Statement builder
• report — coverage-report aggregation
• rivet_evidence — rivet-shape evidence emission
• run_record — RunRecord types + cross-run merge
• error — Error enum and Result alias

Wasmtime-based execution (the witness run CLI path) lives in the witness binary crate.

Re-exports

pub use error::Error;

pub use error::Result;

Modules

attest

DSSE-signed attestation for witness coverage predicates.

decisions

DWARF-grounded reconstruction of source-level decisions from Wasm br_if sequences.

demangle

Function-symbol demangling for human-readable branch attribution.

diff

Branch-set / coverage delta between two manifests or run records.

error

Error types for witness.

instrument

Wasm instrumentation — inserts branch counters at every decision point.

lcov

LCOV emission from a RunRecord.

mcdc_report

MC/DC report — truth tables, independent-effect verdicts, gap analysis.

predicate

Predicate emission for sigil’s in-toto attestation bundles.

report

Coverage report generation from raw run data.

rivet_evidence

Rivet-shape coverage evidence emission.

run_record

Run-record types and pure-data aggregation.