Lean 4 formalization of the Governance Boundary.
-
Updated
Jan 23, 2026 - Lean
Lean 4 formalization of the Governance Boundary.
Authoritative specification of Governance Boundary (GB).
Machine-readable protocol specifications and governance boundaries defining the PFIP Protocol Layer for interface identity, digital sovereignty, and human–system interface architectures.
Add a description, image, and links to the governance-boundary topic page so that developers can more easily learn about it.
To associate your repository with the governance-boundary topic, visit your repo's landing page and select "manage topics."