Module report 

Labeled soundness breakdown produced by the composite orchestration.

SecurityReport is the audit-facing output of crate::stark::proven_security_report.

Every soundness contribution arrives as a named SecurityTerm, one set per proximity regime.

The binding term stays inspectable instead of collapsing into a single number.

Structs

CandidateSet

How many polynomials a commitment still leaves open.

RegimeReport

Full soundness breakdown within a single proximity regime.

SecurityReport

Proven-soundness report across both proximity regimes.

SecurityTerm

A single named soundness contribution, in −log2(error) bits.

Enums

Regime

The proximity regime a RegimeReport was evaluated in.

Constants

ALI_LABEL

Label for the AIR-composition (ALI) term.

BATCH_LABEL

Label for the batched-openings random-linear-combination term.

COLLISION_LABEL

Label for the commitment-collision cap term.

DEEP_LABEL

Label for the DEEP-ALI out-of-domain term.

LDT_COMMIT_LABEL

Label for the low-degree test’s commit phase, when the phases are reported apart.

LDT_LABEL

Label for the low-degree test, reported as one already-composed bound.

LDT_QUERY_LABEL

Label for the low-degree test’s query phase, when the phases are reported apart.