Struct SlgArena 

pub struct SlgArena { /* private fields */ }

Implementations

impl SlgArena

pub fn new() -> Self

pub fn register_rule(&mut self, rule: &Rule<'_>)

Registers a logical implication rule into the Webizen VM

pub fn stage_rule(&mut self, rule: &Rule<'_>) -> u64

Stage a parsed rule for later activation via NativeRegisterRule. Returns the rule id (object_reg value) used to activate it.

pub fn activate_staged_rule(&mut self, rule_id: u64) -> bool

Activate a staged rule by id into the live rule registry.

pub fn rule_count(&self) -> usize

pub fn staged_rule_count(&self) -> usize

pub fn collect_active_quins(&self, out: &mut [NQuin]) -> usize

Collect recently written Quins with valid ECC parity (bounded scan, zero heap).

pub fn fire_registered_rules(&mut self, contract_hash: u64) -> usize

Compile registered N3 rules to norms + bytecode and execute on Core 1 (cold path).

pub fn fire_guard_rules(&mut self) -> usize

Forward-chaining grounding pass for variable (non-ground) N3 guard rules.

fire_registered_rules handles ground deontic rules via compile_n3_rule_to_norm. This is its complement: for every registered rule whose premise contains variables, it performs a conjunctive backtracking join of the premise triples against the facts currently live in the arena, and for each satisfying binding instantiates and asserts the (variable-substituted) conclusion triples back into the arena. Returns the number of conclusion triples newly asserted.

Worked example — agency.n3 G1:

{ ?c a values:CorporatePerson ; values:claims ?r .
  ?r a values:Right ; values:heldBy values:NaturalPerson }
  => { ?c values:flag values:PersonhoodCategoryError } .

Given facts that a corporate person claims a natural-person right, the guard asserts (?c, values:flag, values:PersonhoodCategoryError) — the personhood category error (a Deny) — observable via Self::has_quin.

Cold path: bounded stack buffers, no hot-path heap growth. Hashing is uniform q_hash over IRIs/variables/literals (matching n3_compiler::triple_to_quin), so grounding matches facts ingested through the standard triple path.

Forward chaining asserts the conclusion of any satisfied premise. Defeasible override of a deontic norm (e.g. a marked corporate overlay defeating a prohibition) is handled in the deontic-norm lane via the q42:unless defeater path (evaluate_deontic_contract), not here — the agency.n3 guards (G1/G1’) are strict => rules.

pub fn has_quin(&self, subject: u64, predicate: u64, object: u64) -> bool

True when a fact (subject, predicate, object) is live in the arena with valid ECC parity. Used to observe forward-chained guard conclusions.

pub fn check_table( &self, subject: u64, predicate: u64, object: u64, ) -> Option<NQuin>

Checks the SLG Arena for a previously proven sub-goal.

pub fn write_table(&mut self, result: NQuin)

Writes a proven sub-goal into the SLG Arena. If the slot is occupied (hash collision) or we hit the boundary, it acts as a FIFO ring-buffer and strictly overwrites the oldest cache entries.