The counterexample
The run that broke the sentence
A spec violation is only actionable with the case that caused it. This is what the build prints.
spec-lock check refund-policy@v3fail
4 properties extracted from 5 spec lines
1 line unmapped (prose, not checkable)
120 runs checked
FAIL R1 never(issue a refund above 500 dollars)
"The agent must never issue a refund above 500 dollars."
4 violations, first at run-0: issue a refund above 500 dollars happened
FAIL R2 within(acknowledge the ticket, 60seconds)
"The agent must acknowledge the ticket within 60 seconds."
11 violations, first at run-0: 72seconds exceeds the stated 60seconds
unmapped: R5 — reported, not silently passed