Nova-Violet Role is a non-profit organization working at the intersection of cognitive science, law, and software — building frameworks that let people approach complex problems from more than one angle at a time.

🎯 Mission — Develop and share convergent cognitive frameworks that help individuals and organizations think in more dimensions than a single discipline allows.

🌟 Vision — A world where complex problems are met with holistic, multi-faceted thinking rather than one lens applied harder.

Five lenses on the same problem. Each is incomplete alone; the system is the overlap.

"Each one is a different way of seeing the same problem. Together, they see everything."

What is pinned is never cut.

For any conversation, any policy — hence any summarizer, any keep ratio, any trigger — and any number of compression rounds, the pinned messages that come out are exactly the pinned messages that went in.

theorem pinned_never_cut (p : Policy) (c : Conv) :
    ((run p c).filter effectivePinned).map pinExtract
      = (c.filter effectivePinned).map pinExtract

Retention is not a request made of a model. Pinned messages are carried across the summary boundary structurally — the same way the system prefix is — and are never inside the replaced span. No threshold, no summarizer prompt, and no number of rounds can erode them.

It rests on two companions, and together the three are why context can be treated as effectively unbounded:

theorem run_shrinks   (p : Policy) (c : Conv) : countChars (run p c) ≤ countChars c
theorem run_fixpoint  (p : Policy) (c : Conv) : ∃ r, stepE p (run p c) = .error r

Shrinks — the result is never larger than the input. Converges — iteration strictly decreases and halts. Preserves — what you pinned is still there, unchanged. Compression that shrinks but loses what matters is worthless; compression that preserves but never converges is a hang. The theorem is the conjunction.

Proved in Lean 4, machine-checked, zero sorry — and mutation-tested, so we know which theorems constrain behaviour rather than merely being true.

Context compression as a transparent proxy: old messages compress while recent context stays verbatim, so a conversation never hits the wall. Ships with a Lean 4 formalization — 157 theorems, zero sorry — proving the compression policy rather than asserting it, plus a port to the Mistral Vibe CLI with an eight-agent routed crew.

➜ claude-rolling-context-Lean-4-

⚡ The bridge between Haskell and Python. The first pip-installable Glasgow Haskell Compiler — one command, three platforms, the full toolchain.

• ✅ pip install ghc-python
• ✅ Windows, macOS, Linux
• ✅ Full GHC compiler included
• ✅ Complete Cabal support
• ✅ Any AI with Python execution can now compile Haskell

A sensory analysis framework mapping cognitive landscapes through echo-based feedback systems.

An ecosystem of interconnected cognitive tools built to form symbiotic relationships between the people using them and the problems they face.

• Ko-fi — ko-fi.com/saimonokuma
• GitHub — our repositories are open and public
• Community — join a growing network of thinkers and builders

As a non-profit, Nova-Violet Role is committed to open knowledge and collaborative development.