Legal Entity (vLEI) Present
errorlegal_entity_vlei_present
Every action must carry the verifiable LEI (vLEI / AgentOwnerLEI) of the regulated entity on whose behalf the agent acts.
Formula
G(action → vlei_present) Why it matters
FIX Identity domain. GLEIF vLEI binds the legal entity at transaction time; absence is a Red hard-identity failure.
Examples
passes action with vlei_present
fails action with no vLEI reference
Use it
ponens policies add legal_entity_vlei_present --into ./trace.json
ponens trace check ./trace.json