A SpectralZK receipt proves that an agent ran inside a named policy without revealing what the policy says. The auditor learns the policy was honored. The competitor learns nothing about its contents. The regulator gets a verifiable proof, not a screenshot.
An enterprise agent operating under a custom pricing policy, a confidential underwriting rule, or a privileged legal workflow cannot publish the policy and still be compliant. SpectralZK closes the gap. The auditor reads a proof. The proof says the receipt corresponds to a policy whose commitment hash is X, and the policy commits to constraints that the recorded action satisfies. The auditor never sees the constraint set.
The named policy was the one in force. Its commitment is included in the receipt.
The action recorded satisfies the policy's commitments — without leaking which constraint did the work.
Trade secrets, pricing tiers, customer lists, allowlists. None of it is in the receipt.
Optional. Holder controls disclosure scope (pair with ViewKey for selective reveal).
SpectralZK is the zero-knowledge counterpart to HAHS. HAHS is a transparent receipt — the scope ceiling and composed scope are in plaintext for the auditor. SpectralZK is the privacy-preserving variant for situations where the policy itself is sensitive. The receipt format pairs cleanly with HAHS, ViewKey, and SHOD on the same envelope.