mirror of
https://github.com/hanzoai/bot-formal-models.git
synced 2026-10-30 18:46:45 +00:00
18 lines
523 B
INI
18 lines
523 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 memory_get
|
|
PolicyAllowShared = {"message.send", "memory_get"}
|
|
PolicyAllowMain = {"memory_get", "memory_search", "nodes.run", "message.send"}
|
|
|
|
NodesRunTool = "nodes.run"
|
|
NodeCommandAllowlisted = TRUE
|
|
NodeCommandDeclared = TRUE
|
|
|
|
MaxQueueLen = 3
|
|
MaxExecLen = 3
|