Manual Protocols
Human-readable review procedures for inspecting the program.
Protocol Types
Manual verification can begin with one of five review procedures:
- Research-form legitimacy check: confirm that scope, burden, artifacts, release state, and failure modes are visible.
- Derivation trace check: choose a result, follow its Corpus support, and inspect available formalization links.
- Bridge adequacy check: identify which transfer claim is being made and whether the bridge supports that transfer.
- Prediction / falsification review: inspect formula, timing, empirical target, and stated failure condition.
- Corpus / Result alignment check: verify that a public result is backed by the IDs, dependencies, and status labels it cites.
Detailed Manual Inspection Routes
Detailed manual routes live under How to Verify, Assessment Protocols, Verify the Construction Spine, and Engage → Review the Work.
Reader-archetype walkthroughs (formal-methods experts, mathematicians, physicists, philosophers, prior-art specialists, journalist/skeptic readers) are gathered under How to Verify by reviewer role.
Save or share this page for inspection
Download a portable dossier, copy a reviewer note, or send this page to someone who can inspect it.