Syncré Proof Verification Program Bundle

This page is the public-facing overview for the Syncré proof verification program bundle. It exists so readers can understand what the bundle is before opening the ZIP.

What this bundle is for

The bundle is the working verification package for the Syncré theorem line and certificate-engine interface.

It is intended for readers who want the documents, validators, schemas, reports, and artifact structures in one reproducible package.

Start with the current Syncré framing

• Syncré Form Theory and the Relational Form Principle
• Syncré Form Theory (Hub)

Open the bundle

• Syncré Proof Verification Program Bundle (ZIP)

If you want guided entrypoints first

• Syncré Program Dossier
• Syncré Referee Walkthrough

Direct companion downloads:

• Syncré Program Dossier (PDF)
• Syncré Referee Walkthrough (PDF)

Related pages

• Syncré Proof Program
• Syncré Certificate Engine
• Global Syncré Universality Theorem