Module store_write 

#2194/#2195: recognising a write to an agent’s own state, shared by the sequence diagram (state-write notes) and the agent state model.

Syntactic by design (agent-state-views track §3.3): the checker’s resolved Callee table is not retained for the IDE, so a store operation is recognised from the AST against the agent’s store fields and the store-op registry’s mutates flag, with local shadowing respected.

Structs

StoreWrite

A mutating store operation on one of the agent’s own fields: field.method(args).

Functions

store_kinds

The agent’s store fields as name → kind head ("Map", "Cell", …).

store_write

expr as a mutating store operation, when its receiver is a bare name that is one of the agent’s store fields (store: name → kind head), not shadowed by a name in bound, and its method is one the registry marks as mutating for that field’s kind. None for a read, a query, any other call, or a shadowed name.