β‘ Evo
Capability
Stack Map
Experiments
Audit
Pipeline
Ledger
+ μΆκ°
π¦ Repo Map β
β λͺ©λ‘
Proof-Oriented Execution Model
UNPROVEN
Language
μλ μ¦κ±°
μμ§ μ¦κ±° μμ
repo
file
test
blog
commit
μ¦κ±° μΆκ°
PROVEN
PARTIAL
UNPROVEN
μν λ³κ²½