← All status

Accounting

Accounting

Financial-domain Lean4 kernel parallel to proving/. TREND, MOMENTUM, OPTIONS-RISK, SECTOR, DRAWDOWN. Defined-risk options only — strictly enforced at the kernel level.

version bf1f52572b17
source accounting/lake-manifest.json@bf1f52572b17
built 2026-05-04T19:11:03Z
DEGRADED

Frameworks — module readiness

Five frameworks. OPTIONS-RISK enforces the defined-risk allow-list at the type level (6 strategies).

Frameworks — module readiness Five frameworks. OPTIONS-RISK enforces the defined-risk allow-list at the type level (6 strategies). TREND MA cross · slope · R² MOMENTUM RSI · MACD · ROC OPTIONS-RISK defined-risk allow-list (6) SECTOR GICS concentration cap DRAWDOWN max-DD · time-under-water

Metrics

frameworkCount
5
frameworksPresent
5