2 projects
doloopio
doloop: deterministic checks for AI output. Local convention gate (doloop gate) + hosted checks (doloop check / check-code).
reqdonkey
The Requirements Donkey: deterministic auditing of whether code honors its implied, documented, and specified requirements. Computes the PPI (Polysemy Preservation Index). Local, zero-exfiltration -- your code never leaves; only the verdict does.
