Module floor_report 

The ignored-test accounting for pushkin floor (spec §8.2 stage 5) — pure functions over captured command output, so pushkin-core stays free of I/O and the arithmetic is testable without running cargo inside cargo.

Why this exists. scripts/floor.sh was written because a cited floor number silently omitted the two #[ignore]d latency benchmarks, so “every floor figure in this program’s commit history counted less than it claimed, and one of the omitted gates was red at the time” (F62). The repair was not “remember the bench” — it was that completeness must not depend on anyone remembering. This module is that repair expressed as a function the verb calls on every run.

The rule: a command declaring reconcile_ignored reports some number of ignored tests, and those tests must be executed by a later command declaring covers_ignored_of = <that command's name>. The coverer’s tests-RUN count must EQUAL the ignored count — not merely be nonzero, and not merely exceed it. Under-coverage means something is #[ignore]d and never run; over-coverage means the declared link no longer describes what runs. Both stop the accounting from being evidence, so both are red.

Structs

Tally

Cargo-test-shaped counts summed across every test result: line in one command’s output.

Enums

IgnoredVerdict

The verdict on one reconcile_ignored command’s ignored tests.

Functions

reconcile

Grades one command’s ignored count against what its declared coverer ran.

tally

Sums every test result: line in output.