← REGISTRY
CASE FILE · COMPILE-04-TURBINE-CONDITIONAL
RULES EXTRACTIONIMPORTEDCompiled 2026-07-06
4 GUESSES
CONDITIONAL · EACH DEFAULT DISCLOSED
Compiled with 4 disclosed defaults. Each one is a decision the source didn't make.
TURBINE-BUY050-SELL070: PUBLIC STRATEGY DESCRIPTION
KALSHI BTC 15M UP/DOWN
KALSHI BTC 15M UP/DOWN
PROOFLINE
RULES EXTRACTION
COMPILE RECORD
5 QUESTIONS4 DEFAULTS DISCLOSED
WHAT HAPPENED?
The idea behind this strategy is clear, but the author left four decisions unstated, like exact thresholds and timing boundaries. Proofline filled them with disclosed defaults and counted every one. The result is one honest reading of a family of possible strategies, and the record says exactly which reading.
WHAT WAS TESTED?
A vague strategy: every guess counted: Kalshi BTC 15m up/down · Compiled 2026-07-06.
WHY TRUST IT?
Every filled-in default is disclosed and counted, so you can see exactly how much of the tested strategy came from the author and how much came from assumptions.
WHAT IS STILL UNKNOWN?
Different defaults would make it a different strategy. Any test result for this spec applies to this reading, not to every version of the idea.
EVIDENCE · EXPAND TO INSPECT
PLAIN STORY FIRST · PROOF UNDERNEATH
Questions the compiler had to resolve before the rules were exact.
Decisions the source never made that had to be filled with disclosed defaults. Zero is the honesty benchmark.
- ◐Strategy rules are clear: core idea clear; 4 details unstated
- ✓Every guess disclosed and counted
Clarification questions5
Assumed defaults (disclosed)4
- CONDITIONAL means the result depends on the disclosed defaults. Different defaults are a different strategy.
TECHNICAL PROOF · FOR THOSE WHO WANT IT
NEVER SHOWN BEFORE THE STORY
FINGERPRINTS (HASHES)
SPEC
19f0e084…
EVIDENCE FILES · PROOFLINE REPOSITORY
compiler-benchmark/records/04-turbine-buy050-sell070.record.jsonSEALED
compiler-benchmark/compiled/B-turbine-buy050-sell070/spec.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
COMPILECONDITIONAL4 DISCLOSED DEFAULTS
COMPILE
StateCONDITIONAL
Questions5
Resolutions0 user / 0 source / 4 default
"One reading of a family": the assumption histogram (0 → 4 → 7 defaults across precise → vague sources in the benchmark) is the measured determinism gradient.
VERIFIED UNDER THE DATA AND ASSUMPTIONS SHOWN. NO GUARANTEE OF FUTURE RESULTS.