Rename SystemConfigGlobal to TEEProverRegistry#205

Merged

leopoldjoy merged 3 commits intomainfrom

rename-system-config-global-to-tee-prover-registry

Mar 12, 2026

Commits on Mar 12, 2026

refactor: rename SystemConfigGlobal to TEEProverRegistry
leopoldjoy
committed
fix: align ASCII tables in deploy script comments

leopoldjoy
and
claude
committed
fix: regenerate semver-lock and snapshots after clean build

leopoldjoy
and
claude
committed