mirror of
https://github.com/hanzoai/bot-formal-models.git
synced 2026-10-30 18:46:45 +00:00
19 lines
585 B
INI
19 lines
585 B
INI
SPECIFICATION Spec
|
|
INVARIANT Inv_NoSensitiveExecInShared
|
|
|
|
CONSTANTS
|
|
Tools = {"memory_get", "memory_search", "nodes.run", "message.send"}
|
|
SensitiveTools = {"memory_get", "memory_search", "nodes.run"}
|
|
|
|
\* BUG: shared allowlist mistakenly includes nodes.run
|
|
PolicyAllowShared = {"message.send", "nodes.run"}
|
|
PolicyAllowMain = {"memory_get", "memory_search", "nodes.run", "message.send"}
|
|
|
|
NodesRunTool = "nodes.run"
|
|
NodeCommandAllowlisted = TRUE
|
|
\* Node did NOT declare the command; should block execution.
|
|
NodeCommandDeclared = FALSE
|
|
|
|
MaxQueueLen = 3
|
|
MaxExecLen = 3
|