Module webizen 

Webizen VM — the Rights-Ontology governance gate over LLM/graph operations.

Library-ized from the former webizen.rs (pure code motion, no behaviour change):

• [arena] — the 42MB zero-allocation SLG tabling arena + N3 rule firing.
• [opcode] — the SlgOpcode WAM instruction set.
• [vm] — VmFrame, the VM helpers, and execute_vm_frame.
• [agreement] — agreement DIDs + the personhood-category-error guard.

The full public surface is re-exported here, so every external path (crate::governance::webizen::<Item>) resolves exactly as before.

Structs

AgreementConstraint

AgreementDID

AgreementDomain

SlgArena

VmFrame

The Execution Frame tracking variable bindings without touching the heap

Enums

AgreementState

SlgOpcode

The Opcodes for the Lightweight Warren Abstract Machine (WAM) variant. f64 parameters require PartialEq only — Eq is not derived.

Functions

check_personhood_category_error

Values abuse-check (the engine side of the MCP values_check tool).

execute_vm_frame

The Bytecode Evaluator for the Prolog Webizen