narya-proofs

Queue consistency verification uses cryptographic proofs from event logs to validate queue integrity without state mutation. Narya Proofs applies the queue_consistency verifier to JSONL interaction logs, generating SHA-256 certificates that prove queue operations maintain expected invariants across replay cycles.

Replay determinism ensures that processing the same events with an identical seed produces identical outputs every time. Narya Proofs certifies this property through cryptographic proof bundles, critical for auditing distributed systems and confirming that event-sourced workflows behave predictably.

Yes. The non_leakage verifier inspects event content to detect PII or secrets within your JSONL logs. Narya Proofs generates formal certificates proving whether sensitive data has leaked, supporting compliance and security audit trails.

The gf3_conservation verifier proves that GF(3) trit operations remain balanced across all events in your log. Narya Proofs generates Merkle-based proof certificates confirming conservation holds, enabling formal verification of cryptographic workflows.

Narya Proofs operates on standardized Narya JSONL log format containing event sequences. The runner processes these interaction logs to generate proof bundles and SHA-256 certificates validating all four verifier properties.

Yes. Mechanically verified proofs from event logs enable cross-system integrity validation by generating cryptographic certificates that independently verify queue consistency, replay behavior, data leakage, and GF(3) conservation across distributed systems.