Shape ledger steps 1-4 + direct-minting Systems bootstrap (milestone 294, #2798) #115

Merged
bvandeusen merged 7 commits from dev into main 2026-08-19 21:24:40 -04:00
Showing only changes of commit d50ebbad66 - Show all commits
+3
View File
@@ -110,6 +110,9 @@ _READ_ONLY_TOOLS = frozenset({
# Which repos map to which project. Read-only by nature; bind_repo /
# unbind_repo are the writes.
"list_repo_bindings",
# The shape ledger's todo query (#2789). Reads only — classify_shapes is
# the write, and it is deliberately NOT here.
"list_shapes",
})
# Read-SHAPED tools that must NOT be reachable with a read key — a getter that