loxperm

A heap-free permissive / interlock evaluator — when firmware says no, it can tell you exactly why.

C99Heap-freeInterlock evaluator
Overview

Interlocks with an explanation

loxperm evaluates permissive and interlock conditions for firmware operations. Instead of a silent block, every deny is explainable — including which condition tripped first.

Explainable deny mask

Every denied permissive comes with a mask explaining why.

First-out detection

Identifies which condition tripped first.

Qualifier times

Time qualification of conditions before they count.

Latching

Conditions can latch until explicitly handled.

Maintenance bypass

Controlled bypass path for maintenance scenarios.

Heap-free

No heap, consistent with the LOX design rules.

Design rule

Like the rest of the LOX family: predictable behavior, small integration surface, clear failure modes — and no claims without evidence.

Next in the family loxbudget — deterministic admission control →