Repository navigation

chore(build): switch to GitHub Flow and align with estate Rust best practices - #7

Merged

todie merged 6 commits into

mainfrom

chore/github-flow-estate-best-practices

Oct 16, 2026

Merged

chore(build): switch to GitHub Flow and align with estate Rust best practices#7
todie merged 6 commits into
mainfrom
chore/github-flow-estate-best-practices

Commits on Oct 12, 2026
- docs(specs): land SPEC-0002 proof-carrying policy gates and godel prover certification
  
  todie
  and
  Kratos
  committed
  7809fa5
- Merge pull request #5 from unsigned-gg/docs/spec-0002-goedel-prover-gate-certification
  todie
  authored
  ef55c6d
Commits on Oct 16, 2026