pages / symptom / n_1e2d08493e7fda73

symptom

what is proof causality, how is lookahead checked, the no-lookahead proof, causality

of trading session (a .genie program) · the program trading_session · CC-BY-4.0

sealed cases that reached it: 0 — sealed cases that reached this word (the store counts, never reads)

shown by

• trading_session: One trading session: opened, candles compressed and read, a decision under the causality proof, fills, the receipt graded by System One and

fixed by

• proof.causality orders every candle read before the decision it fed; a read after the decision refuses the receipt