Agent objective
- Interact with the supplied stateful environment.
- Produce verifier-checkable actions or artifacts.
- Maximise scalar reward under the package contract.
Five adaptive-computation environments that continue changing while an agent deliberates. Every action consumes unavoidable latency before interpretation; observations arrive late, plans stale, and commitments cost deployment time. Across revision-sensitive proofs, causal drift, schema migration, orbital hazards, and mutating protocols, the suite measures stopping, value of computation, option preservation, stale-plan recovery, active information gathering, and compute allocation.
Five adaptive-computation environments that continue changing while an agent deliberates. Every action consumes unavoidable latency before interpretation; observations arrive late, plans stale, and commitments cost deployment time. Across revision-sensitive proofs, causal drift, schema migration, orbital hazards, and mutating protocols, the suite measures stopping, value of computation, option preservation, stale-plan recovery, active information gathering, and compute allocation.
Enough detail to understand the intellectual terrain; generated instances, hidden mechanisms, and solution paths remain inside the private package.
| Environment | Mathematical or technical frontier | Adaptive research problem |
|---|---|---|
| ProofWeaver | Revision-sensitive proof certificates | Build exact Horn proofs while goals strengthen, lemmas expire, and alternate derivations appear briefly. |
| CausalDrift | Changing causal graphs | Select delayed experiments and interventions while mechanisms, edges, and outcome utilities drift. |
| SchemaShift | Dynamic data migration | Synthesize a restricted exact migration as aliases, encodings, examples, and decoys change. |
| OrbitGuard | Delayed orbital planning | Plan sparse burns under local sensing while craft, debris, hazards, fuel, and deadlines continue evolving. |
| ProtocolMaze | Mutating automata | Find a synchronizing word while transitions mutate, aliases rotate, and the live session advances. |
No external model was evaluated. The supplied diagnostics show the central effect cleanly: on 100 standard episodes, a greedy policy scored 7.68 and adding fixed thought reduced it steadily to 2.70 after eight short-think actions. Immediate commitment scored 2.66, while a delayed full-information oracle reached 86.53 and 100% exact success. Release verification passed 60 tests and validated all 220 packaged episodes.
We publish aggregate behavior and task structure, while withholding generated instances, hidden labels, exact successful probes, private checks, and solution trajectories.
Shown with its provenance and limitations; it is not a performance guarantee.
No external agent was supplied. This public standard-suite baseline succeeded on 3% of episodes; adding fixed thought reduced its score.
As identified by the supplied artifact.
100 reported runs.
redqueen_results_bundle.zip:redqueen_results/run_summary.json
Machine-readable provenance and the exact displayed metric are available in results.json.
The paid ZIP will live in a private R2 bucket. Vercel authorizes the buyer and issues a 2–5 minute object URL; R2 serves the bytes directly.
Authenticated buyer + entitlement check
+ private R2 object + 2–5 minute signed URL
= direct, auditable download
Package SHA-256
8dbe3785eeff862f34288e8d9a64d492c8c48840ea4f155259fe041b87a8ae6bOne purchase licenses this identified item to one legal organisation for worldwide, perpetual commercial model training, evaluation, research and development. Redistribution and resale of the package are not permitted.