STRUCT LTL_MONITOR(9)

✨ struct ltl_monitor ✨

okay so bestie, we're in the Kernel API Manual, section 9 of the man pages, and today's main character is struct ltl_monitor — it's literally a linear temporal logic runtime verification monitor. iykyk 🧚

🦋 SYNOPSIS 🦋

struct ltl_monitor {
    unsigned long states[BITS_TO_LONGS( RV_MAX_BA_STATES)];
    unsigned long atoms[BITS_TO_LONGS( RV_MAX_LTL_ATOM)];
    unsigned long unknown_atoms[BITS_TO_LONGS( RV_MAX_LTL_ATOM)];
 };

🎀 Members 🎀

lowkey the whole personality is in these three fields, so let's go 🫶

• states — the states in the Buchi automaton, no cap. and here's the thing: because the Buchi automaton is a non-deterministic state machine, the monitor can be in multiple states at the SAME time 💅. so this is a bitmask of all the possible states. and if this is zero? that means either:
  • the monitor hasn't started yet (e.g. because not all atomic propositions are known) 🙈
  • or there's no possible state to be in — in other words, a violation of the LTL property is detected 💀
• atoms — the values of atomic propositions. that's it, that's the vibe ✨
• unknown_atoms — atomic propositions which are still unknown 🌸 (yes bestie, we're keeping track)

🌈 SEE ALSO 🌈

• Kernel file ./include/linux/rv.h ⭐

and that's the whole page, bestie, slay 🎀 this one came straight out of ./include/linux and it's dated October 2026, filed under struct ltl_monitor(9) — go be iconic with it 💜