---
name: uefn-runtime-proof
description: Verify a UEFN gameplay slice with compile, session, runtime, and log evidence while clearly separating machine-provable behavior from human playtest judgment.
---

# UEFN runtime proof

Never turn “no error appeared” into “feature works.”

## Proof sequence

Use only the steps the criterion requires:

1. compile Verse
2. inspect diagnostics
3. launch/connect play session
4. start the game
5. inspect runtime evidence
6. exercise an existing test seam/test player/sentry when appropriate
7. record result

## Result labels

- `MACHINE PASS`
- `MACHINE FAIL`
- `HUMAN NEEDED`
- `UNPROVEN`

Use the exact contract in [references/proof-contract.md](references/proof-contract.md).