Premature return
Long trajectories drift toward uncertainty, status reporting, and early abandonment before the requested artifact exists.
Long-Horizon Prompting / v1.0
Long-horizon prompting treats the launch prompt as a specification surface: define exact success, close the likely escape hatches, require evidence, and return only when the artifact survives an adversarial check.
What it is
Formal verification starts with a machine-checkable specification. Many hard research and engineering tasks do not have one. The transferable discipline is to state the acceptance condition precisely enough that an adversarial reader cannot satisfy its letter without satisfying its intent.
This is not a prompt for making a model “try harder.” It is a method for deciding what the run is allowed to call complete, what evidence must exist, and which constraints must move out of prompt text and into the runtime harness.
Why long runs fail
Long trajectories drift toward uncertainty, status reporting, and early abandonment before the requested artifact exists.
A narrowed scope, lucky benchmark run, unproved reduction, or scanner dump can resemble the requested result without being it.
Generating more candidates helps only when the system can identify which candidate is actually correct.
Parallel workers share priors and converge quickly unless early independence and blocked-route bookkeeping are designed in.
Brief anatomy
System boundary