Module bot
Expand description
A bot’s grants: the rules its program needs, held to the workspace it was installed in, never reaching governance.
A program’s rules are written over any workspace, so one program can be installed anywhere. Installing scopes them to one workspace. The grant ids share one prefix per installation, so uninstalling revokes them all without a list.
Enums§
- BotRule
Error - Why a program’s rules cannot become a bot’s grant.
Functions§
- bound
- The bound a bot acts within. Its grants live in the workspace’s policy, so
the bound carries none of its own:
Bound::partyfinds them there. - fits_
within - Whether
newallows nothingolddoes not: every allowing grant ofnewsits at or below an allowing grant ofoldwith at least its kinds. Such an update needs no fresh privileged review. - grant_
prefix - grants
- The grants installing
installationinworkspacegives, withinstaller(a user root, hex) as the grantor: the scoped rules, then the deny on the workspace resource that agent admissions carry too. - scoped_
rules rulesheld toworkspace: each node’s workspace segment, named or any, becomesworkspace.