About

Methodology.

Qresev wraps the accounting/ Lean4 + LLM-predicate kernel. Predicates read OHLCV bars and indicators from the same DuckDB+Parquet store the analyzing/ subproject operates against, and return Booleans with evidence (numeric threshold, time window, indicator value).

Qresev evaluates. It does not execute. It does not predict price. The vocabulary is "trending / not-trending", "respecting cap / violating", "defined-risk / refused" — never "bullish/bearish".

Indicator catalog: analyzing/aggregators/*.md (cleanroom).