Searching protocol for "fixed-point semantics"
Formalize language semantics.
Ensure cross-platform determinism in game logic.
Iterative prompt refinement with unified syntax.
Reason about prompts with a minimal calculus.