Proof — the expression hub
Proof: the hub for expression (computation kind "proof"). The seven hubs are an organizing lens for navigation, not a metaphysical claim.
declared, placed, mounted, and recomputable from the component's name.
Forge sealT_max = ∞commands 108 · gates 432 · source files 110 · papers 432 · references 432 · diamonds 1024 · skill atoms 267 · referenced units 2034 · harmonic rungs 20
✓ proven3fc4dfdc-a0a7-862f-8118-d03c15820316