mirror of
https://github.com/hanzoai/bot-formal-models.git
synced 2026-10-30 18:46:45 +00:00
19 lines
558 B
INI
19 lines
558 B
INI
SPECIFICATION Spec
|
|
INVARIANT Inv_NoSensitiveExecInShared
|
|
|
|
CONSTANTS
|
|
Tools = {"memory_get", "memory_search", "nodes.run", "message.send"}
|
|
SensitiveTools = {"memory_get", "memory_search", "nodes.run"}
|
|
|
|
\* shared allowlist excludes sensitive tools
|
|
PolicyAllowShared = {"message.send"}
|
|
PolicyAllowMain = {"memory_get", "memory_search", "nodes.run", "message.send"}
|
|
|
|
\* nodes.run is additionally gated by node command policy
|
|
NodesRunTool = "nodes.run"
|
|
NodeCommandAllowlisted = TRUE
|
|
NodeCommandDeclared = TRUE
|
|
|
|
MaxQueueLen = 3
|
|
MaxExecLen = 3
|