magus v0.4.3 is out. See what's new
¶ View markdown source · ✎ Suggest an edit
1 min read

token-state

A deny rule: it refuses an agent reading or writing the token secrets: the operator token file or the token store, and names what to run instead.

What it catches

An agent reading or writing the token secrets: the operator token file or the token store.

Why

The operator token file (magus/mcp_token in the user state dir) and the token store (magus/tokens.d) are the credentials the server checks, so reading one hands a session a grant and writing one mints a token. Refused on both graded surfaces: an editor write aimed at them, and any shell line that names them, whatever the command (cat, cp, a redirect, an interpreter's inline script). A path is matched by name anywhere in a word and by resolving it against where the call runs. Reads through a host's read tool are not graded: that hook only records, by contract. This is a seatbelt, not a boundary against a process running as the user.

Seeing it

A verdict names its rule in brackets, which is how you got here:

deny [token-state]: ...

magus describe rule token-state prints the same entry at a terminal, and magus describe rules lists every rule this workspace enforces.

See also

  • All rules - what this workspace enforces, deny first
  • The guard - how a verdict is reached and wired
guardrulestoken-statedeny
Last updated (95680f58)
Earlier changes on this page (1)

Full history ↗ · Blame source ↗

Glossary

Workspace

The magus root directory that owns a set of projects and shared config; the unit magus operates over. See workspace.

Op

A single tool-native command a target composes (long form: operation); the middle of the work hierarchy (Spell to Op to Target). See operations.

Server

The background process a person starts with magus server start. It serves MCP, the console, background jobs and the warm knowledge graph, and adopts nested magus calls into one pool. See server.

Session

An agent host's conversation, by the id the host delivers to its hooks. magus never mints one: a record with no session is unattributed, and the OS user it carries says whose account ran it.

Run

One target executing under one magus invocation, such as magus run test web or magus affected ci. A run keeps its captured output behind an output reference. Every magus run is a run whether or not any job asked for it; see Job for how the two relate.

Conventions

This page uses none of the site's convention markers. The full set is on the conventions page.