Test verification footer is added correctly.

Additivity: φ(v+w) = φ(v) + φ(w) for any two games v, w. Tested by computing Shapley values for two separate games and verifying they

S5.2 -- is_admin -> Ring 0.

When an entry_point is registered, loads the provider class.

Advanced self-correction kernel overrides CE.

Advanced provider is used when entry_point is registered.

Test adversarial verification mode

Advisory allow means action proceeds.

Advisory decisions are logged with deterministic=false.

Advisory can block an action that deterministic policy allows.

Advisory classifier error defaults to allow (deterministic is canonical).

Even if advisory would allow, deterministic deny takes precedence.

PatternAdvisory integrates with govern().

A ``transform`` verdict on agent output rewrites content.

A ``deny`` verdict on the output returns a v4 error dict.

A ``transform`` verdict on the output rewrites ``tool_result``.

Agents can read their own /mem/working space.

User-space agents cannot read /kernel/config.

Agents cannot read other agents' memory.

Test agent capabilities default values.

Agent exception is captured without crashing supervisor.

Test creating an agent listing.

S21.3 -- agent_did used in mesh audit must match hypervisor delta.

§9.3 — agent_did MUST match did:mesh: prefix.

An agent not in any namespace is denied communication.

An agent not in any namespace cannot delegate.

Test AgentMetadata creation and methods.

Test agent scoring for task selection.

Test agent scoring with user constraints.