narya-proofs
Installation
SKILL.md
Narya Proofs Skill
Unified verification for event-sourced systems using JSONL interaction logs. Generates cryptographic proof certificates with GF(3) conservation guarantees.
Four Verifiers with GF(3) Assignments
| Verifier | Trit | Role | Color Range |
|---|---|---|---|
queue_consistency |
-1 | MINUS validator | Cold (180-300°) |
non_leakage |
-1 | MINUS validator | Cold (180-300°) |
replay_determinism |
0 | ERGODIC coordinator | Neutral (60-180°) |
gf3_conservation |
+1 | PLUS generator | Warm (0-60°, 300-360°) |
GF(3) Meta-Balance: Sum = -1 + -1 + 0 + 1 = -1 ≡ 2 (mod 3). Runner adds meta-trit +1 → 0 ≡ 0 (mod 3) ✓
Denotation
This skill generates cryptographic proof certificates for event-sourced systems, verifying that all invariants hold and ensuring consistency across distributed systems via mechanically checked proofs.