RQ-56-CITE (#911): an artifact cannot claim a test that does not exist

[avrabe]

First v0.56 lane. Closes #911. Theme: the factory, not the instances.

What shipped broken

v0.55.0 shipped two rivet artifacts citing cargo test -- <filter> for filters matching nothing. Such a filter prints 0 passed … 56 filtered out and exits 0 — so both claimed verification by evidence that never ran. No gate noticed; a post-release hygiene sweep did.

oracle_wiring_check.py has enforced this exact shape for scripts/repro/* since #890. The artifacts surface never got the equivalent, so the class stayed expressible one layer over. This adds it.

Red-first

The check found the two dangling citations independently — 11 of 13 resolve over 4,681 test names, so it isn't over-flagging.

Status-aware, because the data forced it

E2E-VER-010 is status: proposed and describes tests to be written. A forward-looking citation there is a plan, not a lie. Only claiming statuses (implemented/verified/accepted) fail; the rest emit a note that becomes a failure if the status advances first.

A gate flagging both would be noisy, and a noisy gate gets ignored — which is exactly how codecov/patch stopped being read (#923). Scoping it keeps every failure real.

The fix corrects what was actually false

E2E-VER-009 claimed implemented for ElfBuilder unit tests (import_count, ImportEntry packing, string-table offsets, FNV hash) that do not exist. Its status moved to proposed.

It was deliberately not re-pointed at linker_script.rs, which merely asserts the generated script contains the string .meld_import_table. That is not the emission this artifact describes — citing it would restate the same lie more carefully.

Design note

Test names come from a source scan, not cargo test --list: Claim Check doesn't build the workspace, and a gate needing a 20-minute build to answer a 200 ms question wouldn't survive. The approximation errs toward false failure (loud, fixable) and cannot produce a false pass — which is the whole point.

Wired into Claim Check with a non-vacuity assert on a non-empty population.

Local: citation gate 0 · claim 43/43 · rivet ours-errors 0.

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!