Module rules 

Rules Module — the RuleEngine bridge between N3 text and the live Webizen VM.

This module is the public API surface for loading N3 rules, evaluating them against live Quins through the real SlgArena → execute_vm_frame pipeline, and emitting WAL audit events for every evaluation.

Pipeline

  N3 text
    -> n3_parser::parse_all           (parse rules)
    -> RuleEngine::load_n3            (register into internal SlgArena)
    -> SlgArena::fire_registered_rules (compile to norms + bytecode, execute)
    -> RuleEngine::evaluate(quin)     (match quin against fired conclusions)
    -> wal::log_rule_evaluation       (durable audit event)
    -> Vec<RuleResult>                (public result)

Structs

Rule

Individual rule definition (metadata — the actual logic lives in the VM).

RuleEngine

Rule engine for evaluating rule-based constraints against live Quins.

RuleResult

Result of evaluating a single rule against a Quin.

RuleSet

A set of rules that can be applied to Quin data.

Constants

GUARDIANSHIP_RULESET

GuardianShip ruleset identifier

RULE_EVAL_PREDICATE

WAL predicate hash for rule-evaluation audit events.