Crate supercov_engine 

Supercov’s single coverage engine. Target-language runtime adapters remain thin generated shims; instrumentation, orchestration, analysis and queries are owned here.

Modules

agent_json

assertion_inputs

Thin syntax inventories and source fingerprints for assertion maps. No type/flow/dependency verifier belongs here.

assertion_map

Agent-authored assertion maps. Edges are explanations, never inferred proofs. This module owns format validation, text relocation and input acknowledgement bookkeeping.

assertion_store

Run-owned assertion map lifecycle and execution-backed, agent-assessed score.

build_cache

Exact-fingerprint reuse of instrumented JavaScript build outputs.

child_signal_guard

Take the test processes down with the runner.

coverage_analysis

Language-neutral coverage arithmetic and masking MC/DC witness search.

coverage_export

LCOV and Cobertura exports, written from the shared run view.

coverage_html

A static HTML report: one file, no network, no service.

coverage_index

Typed coverage columns stored in the immutable query-index container.

coverage_query

Language-neutral coverage query operators.

coverage_report

Language-neutral reconstruction of coverage views from frozen obligations and per-attempt evidence.

evidence_archive

Language-neutral, streaming implementation of the frozen evidence archive.

frontend_detection

Language/frontend selection for the zero-configuration public command.

frontend_protocol

Validation boundary between language-specific producers and shared Rust analysis.

go_instrumenter

Supercov-owned Go parsing and obligation discovery.

go_project

Go project discovery: what Supercov measures, and what it deliberately does not.

go_run

Public, isolated Go coverage run lifecycle.

go_test_harness

Binding Go’s test functions to the evidence they produce.

indexed_query

One agent-query implementation over an authenticated immutable query index.

integrity

Language-neutral run integrity fingerprints.

javascript_frontend

JavaScript source frontend for Rust-owned executions.

javascript_run

Rust-owned JavaScript execution for the public Supercov engine.

js_instrumenter

First oxc-backed vertical slice of the Rust JavaScript instrumenter.

jvm_instrumenter

Supercov-owned Java and Kotlin parsing and obligation discovery.

jvm_project

JVM project discovery for Maven and Gradle layouts.

jvm_run

Public, isolated JVM coverage run lifecycle, for Java and Kotlin.

lifecycle

Crash-safe run publication, recovery and explicit retention.

orchestration

Language-neutral execution plans over the Rust process supervisor.

owned_evidence

Turning what a Supercov-owned runtime wrote into the model the report reads.

patch_view

Changed-line coverage: are the lines this change touches tested?

probe_v2

process_supervision

Privacy-preserving child-process supervision for arbitrary test commands.

progress

A single branded status line on stderr while a long, otherwise-silent step runs.

project_discovery

Runner/build/project discovery for zero-configuration JavaScript suites.

python_evidence

Validation and normalization of the Python runtime’s evidence records.

python_instrumenter

Supercov-owned Python obligation discovery.

python_project

Python project discovery and ahead-of-run obligation preparation.

python_run

Public Python coverage run lifecycle.

query_index

Immutable, versioned, fixed-layout query-index container.

ruby_evidence

Validation and normalization of the Ruby runtime’s evidence records.

ruby_instrumenter

Supercov-owned Ruby obligation discovery.

ruby_project

Ruby project discovery and ahead-of-run obligation preparation.

ruby_run

Public Ruby coverage run lifecycle.

run_merge

Atomic, integrity-checked merging of independently executed run shards.

run_query

Agent-facing queries over persisted run metadata.

run_store

Validated local run discovery and immutable run identity.

run_view

One versioned view of a run, shared by every gate, export and report.

rust_build_cache

Exact-input stable workspace metadata for the owned Rust frontend.

rust_cargo_configuration

Exact pre-execution resolution for Cargo target runners.

rust_compiler_ctfe

Strict reconstruction of compiler-owned constant-evaluation evidence.

rust_compiler_evidence

Fail-closed projection of authenticated rustc transport records into the shared evidence-v3 runtime model.

rust_compiler_manifest

Strict ingestion of the private rustc companion’s manifest candidate.

rust_compiler_orchestration

Private production-shaped Cargo orchestration for the exact rustc companion.

rust_compiler_run

Private transactional lifecycle for the compiler-owned Rust frontend.

rust_compiler_selection

rust_compiler_test_runner

Private execution and attribution for compiler-instrumented Rust artifacts.

rust_doctest

Strict deferred source joining for rustdoc’s merged doctest mode.

rust_instrumenter

Supercov-owned Rust parsing and obligation discovery.

rust_libtest_companion

Deterministic source preparation for Supercov’s exact-toolchain libtest companion.

rust_libtest_events

Authenticated, crash-detecting outcomes emitted by Supercov’s exact-version libtest companion.

rust_owned_doctests

Doctests for the owned Rust frontend, measured one doctest at a time.

rust_owned_nextest

cargo nextest run for the owned Rust frontend.

rust_phase_projection

Exact projection of compiler-owned Rust assertion contexts into evidence v3.

rust_probe_transport

Bounded, lock-free, file-backed transport for owned Rust probe events.

rust_project

Cargo workspace discovery and isolated owned-Rust frontend preparation.

rust_run

Public, isolated Rust coverage run lifecycle.

rust_runner_attempt

Exact attempt identity exposed by Rust test runners.

rust_runtime

Generated std-only runtime and strict reader for owned Rust probes.

rust_test_context

Frozen Rust test-attempt context identity and supervisor collision preflight.

rust_test_runner

Stable Cargo/libtest execution for the owned Rust frontend.

source_discovery

Deterministic first-party JavaScript/TypeScript source discovery.

workspace

Isolated project snapshots and crash-recoverable stable build cache.

Constants

CONTRACT_VERSION

Functions

version