Syncré Referee Walkthrough

This page is the public-facing guide to the Syncré Referee Walkthrough PDF. It gives a review-first reading order for the Syncré theorem line, engine discipline, and verification materials.

Purpose

Use this page when the goal is not general orientation but efficient technical review.

It is designed for the reader who wants a stable order of checks across theorem statements, dependencies, artifacts, and validations.

Start from the current framing page

• Syncré Form Theory and the Relational Form Principle

Open the referee walkthrough

• Syncré Referee Walkthrough (PDF)

Companion pages and downloads

• Syncré Program Dossier
• Syncré Proof Verification Program Bundle
• Syncré Program Dossier (PDF)
• Syncré Proof Verification Program Bundle (ZIP)

Core route links

• Syncré Form Theory (Hub)
• Syncré Proof Program
• Syncré Certificate Engine
• Global Syncré Universality Theorem