Research index
Public artifacts.
Predicate specs · civil RICO /research/predicates/rico 12 axiomatic predicates ships 6/1/2026
Predicate specs · Title VI /research/predicates/title-vi 7 axiomatic predicates ships 6/1/2026
Indicator catalog /research/indicators aggregators/*.md (cleanroom) ships 6/1/2026
Open dockets femfas.net ↗ active evidence archive external Source github.com/quantapix ↗ code · issues external Lean kernel layout /research/kernel proving/ + accounting/ ships 6/1/2026