hyperloops
← Library
codepropose only6-18 min

Reach Coverage Target

"Cover the branch that bites, not the line that counts."

Add tests toward a coverage target where it matters — uncovered branches first, no assertion-free padding.

Fork loopCopy install command
CollectRunVerifyRecord
Reach
loop

anatomy

Collect context01Run loop steps02Verify checks03Record trace04
01
Collect context

Gather the source events and inputs for Reach Coverage Target.

02
Run loop steps

Execute the template with its declared tools, model posture, and budget guard.

03
Verify checks

Hold output against: meaningful assertions, target gate, no coverage gaming.

04
Record trace

Write the run trace, audit event, and any proposal for operator review.

output contract

summaryRequired human-readable result with source references where applicable.
checksEvery declared check must report pass, fail, or held.
proposalOptional change proposal; never applied without the configured governance gate.
audit_refRequired trace pointer for replay and rollback.