Verify Verification Surface Canonical Structured prompts and review procedures for using frontier language models to audit aspects of the program.
Verification SurfaceCanonical

LLM-Assisted Protocols

Structured prompts and review procedures for using frontier language models to audit aspects of the program.

Public

Purpose

These protocols allow external users to use frontier language models to inspect structural derivations, test result support, compare stated standards against exposed artifacts, and identify gaps or unsupported transitions.

LLM-assisted assessment must cite public pages and route findings back into Verify. Model output is not peer review, proof checking, empirical validation, or final adjudication.

For lighter first-contact orientation prompts (program overview, agenda summary, lane navigation), use Discover → AI-Assisted Discovery. For deeper assessment workflows that produce typed dossiers and three-gate rubric output, stay here.

Protocol Families

  • Structural integrity audit: does the public argument expose its load-bearing moves?
  • Derivation support audit: do cited Corpus and TauLib surfaces support the stated result?
  • Consistency audit: do public pages, manifests, and generated artifacts agree?
  • Falsifiability audit: are failure conditions explicit and reviewable?
  • Research-form legitimacy audit: does the program merit serious human attention?

Detailed Prompt Library

Use the existing public templates:

Do not treat model output as peer review, proof checking, empirical validation, or final adjudication. It is a structured first-pass signal that must be cited and traced back into the Verify, Corpus, and Results surfaces.

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.

Email to expert