A11oy Proof Registry

A11oy Proof Registry streamlines diligence through direct, unmediated communication channels. Instead of standard CRM drip campaigns, every contact is a plain mailbox where a human involved with the work responds. This is particularly valuable for security disclosures, where a report of a verifier saying PASS on a tampered bundle is considered the most valuable input. The registry explicitly states that replies come from personnel rather than automated sequences, ensuring that complex questions about conformance or security get nuanced answers. While response time is listed as unknown, the transparency about this metric is refreshing. The availability of design partner pilots and the clear distinction between the registry and the product interface make it easy to engage. For organizations prioritizing auditability and direct accountability, this direct channel model reduces bureaucratic friction significantly.

The four SKUs listed on the pricing page provide clear options for Sovereign and Assurance needs. Do these tiers include offline auditor verification of receipts as part of the standard package?

The registry operates as a static proof surface rather than a live receipt database, which is a significant architectural distinction. Source-bounded data is provided, such as the eight locked-proven formulas identified in the Lean kernel. However, the live kernel count depends on the chip bound to the honest endpoint, not just this page. The absence of measured uptime metrics and the explicit admission that response time is unknown are notable limitations for real-time assurance. The roadmap for Packet 8 Decision Integrity suggests future developments, but current evaluators should note that the kernel is not run directly on this origin. This setup works well for historical verification but may lack immediacy for dynamic environments.

The pricing tiers are clearly defined on the dedicated pricing page, which simplifies procurement for enterprise clients seeking specific assurance levels.

A11oy Proof Registry presents a compelling approach to evidence verification through its relationship with SZL Holdings. The distinction between the proof surface at a11oy.net and the product site at a-11-oy.com is clearly articulated, allowing for precise auditing. The evidence dossier provides accessible documentation, including runtime honesty manifests and supply chain attestation levels. While the kernel is not actively run on this origin, the static nature of the registry is honest and appropriate for its purpose. The availability of public GitHub surfaces and the explicit statement that reachability does not equal quality demonstrates a mature understanding of distributed systems. For professionals requiring verifiable audit trails without relying on black-box product interfaces, this registry offers a robust foundation. The separation of product experience from evidence experience ensures that verification remains independent of commercial performance metrics.