narya-proofs

Name: narya-proofs
Availability: InStock
Author: plurigrid

Generate cryptographic proof certificates verifying invariants in distributed JSONL interaction logs.

60|13|Updated Dec 22, 2025

Search Tags:#proofs #event-sourcing #certificates #narya #gf3

Ready to run

npx skills add https://github.com/plurigrid/asi --skill narya-proofs

💬 Prompt for ChatGPT / Claude Chat▼

Please help me install this Agent Skill.
Skill: narya-proofs
Source: https://github.com/plurigrid/asi/tree/main/skills/narya-proofs
Command: npx skills add https://github.com/plurigrid/asi --skill narya-proofs

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Narya Proofs provides mechanically verified proofs from event-sourced logs, ensuring queue consistency, replay determinism, non-leakage, and GF(3) conservation with cryptographic certificates.

Core Features & Use Cases

queue_consistency: Validate queue integrity without state mutation.
replay_determinism: Ensure identical replay outputs for the same seed.
non_leakage: Detect PII or secrets in event content.
gf3_conservation: Prove GF(3) conservation across workflows.

Quick Start

python -m src.narya_proofs.runner events.jsonl

Frequently Asked Questions about narya-proofs

High-intent search queries and answers about installing and using this skill.

FAQPage Schema

How do I verify queue consistency in event-sourced systems?▼

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.

What does replay determinism mean and why does it matter?▼

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.

Can I detect secrets or PII in event logs?▼

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.

How do I validate GF(3) conservation across workflows?▼

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.

What input format does the proof system expect?▼

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.

Can I use this for cross-system integrity checks?▼

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.