1 · Verify
The host recomputes facts under a trusted context. Candidate claims are ignored.
🧪
VES Core
AI can propose. It cannot grade itself.
Verified Executable Search separates candidate generation from trusted verification. Self-reported scores are never used to drive search.
// Press a button to start a verified run. // Real VES Core output is marked with a timestamp.
Trust boundary
AI / Generator
↓
Candidate
untrusted
untrusted
↓
Artifact
untrusted
untrusted
────── HOST TRUST BOUNDARY ──────
↓
Verifier → Evidence
↓
Judge → Verdict
↓
Search
2 · Judge
Explicit preferences decide feasibility and ranking — never a single opaque score.
3 · Search
Search only acts on verified evidence. Better proposals emerge from evidence, not from claims.