Search
1 item with this tag.
Feb 18, 2026
LAG-02 Spirit Lagrangian Proof Status: formal Placement Decision This note is the canonical LAG-02 definition in the Lagrangian stack.