← REGISTRY
CASE FILE · REFUSAL-09-CLOSED-EXE
REFUSAL RECORDREFUSEDEvaluated 2026-07-06
REFUSED
NOTHING READABLE · NOTHING CHECKED
Refusal is a result, not an error. A verification system that cannot say "nothing verifiable here" cannot be trusted when it says anything else.
JUANP-KALSHI-SPREAD: STRATEGY DISTRIBUTED AS A CLOSED .EXE
KALSHI SPREADS
KALSHI SPREADS
PROOFLINE
REFUSAL RECORD
REFUSAL RECORDED
RULES HIDDEN IN A CLOSED .EXEREFUSAL RECORDED7 OF 14 REFUSED
WHAT HAPPENED?
Proofline refused to verify this strategy because the actual trading rules were hidden inside a closed executable. There was nothing to read, so there was nothing to check. In the same benchmark, 7 of 14 real public strategies could not be verified: some for fixable reasons, some because the source hides or never states its rules.
WHAT WAS TESTED?
Refused: the trading rules are hidden: Kalshi spreads · Evaluated 2026-07-06.
WHY TRUST IT?
A refusal is the system working: if the rules can't be read, nothing can be checked, and Proofline says so instead of guessing.
WHAT IS STILL UNKNOWN?
A refusal says nothing about whether the strategy makes or loses money. It means the claims cannot be checked as published.
EVIDENCE · EXPAND TO INSPECT
PLAIN STORY FIRST · PROOF UNDERNEATH
The rules live inside a closed executable. There is nothing to read, so there is nothing to check.
Only the author can publish the rules; no verification system can read a closed binary.
Context from the same 14-source benchmark this record belongs to.
- ✗Strategy rules are readable: closed .exe, nothing to read
- ✗Anything simulated or guessed: nothing; refusal instead
Refusal reasonclosed-source logic (.exe); nothing to compile
Fixabilitysource defect; no compiler can fix it
Benchmark context7 of 14 real sources refused
- A refusal says nothing about whether the strategy makes or loses money. It says the published claim cannot be checked.
TECHNICAL PROOF · FOR THOSE WHO WANT IT
NEVER SHOWN BEFORE THE STORY
FINGERPRINTS (HASHES)
No hashes on this record kind.
EVIDENCE FILES · PROOFLINE REPOSITORY
compiler-benchmark/records/09-juanp-kalshi-spread.record.jsonSEALED
compiler-benchmark/records/01-aulekator-fusion-bot.record.jsonSEALED
compiler-benchmark/scorecard.mdSEALED
Written by the Proofline engine; the site only displays them. See the method for how a record is reproduced.
ENGINE RECORD
REFUSALREFUSED
COMPILE
StateREFUSED
Questions0
Refusal reasons are taxonomy tokens from the compilation record schema, with fixability. Sibling refusal #01: direction logic never stated in the source; 3 of 3 independent model arms refused it with identical substance.
VERIFIED UNDER THE DATA AND ASSUMPTIONS SHOWN. NO GUARANTEE OF FUTURE RESULTS.