ASTIS Harness
Verified mathematical advances on a reusable Lean graph
The diagrams below are the public overview; detailed execution contracts live in the repository documentation.
Harness architecture
Why the formal graph matters
Lean gate not recorded for this source state
main · 0e31a3cda412