Sign in Sign up
cargo

sylphx-keel-play

Pure play contract shared by the CLI, the runtime and the verifier (ADR-0884): the replay v1 format with size caps, PlayOutcome, the sim-time ActionBudget, the [play] keel.toml section, a Sim trait with the replay verify core, the versioned verdict, crash replays (the last intents of an episode, text entry redacted, re-run on a sim), bounded in-process and wasm sim bindings, the board submission envelope v2 (single, table, lockstep), and host-fed PlaySession consent checks and shared-board LeaderboardPort, with checked-in JSON schemas (Published or consumed v1 is immutable; changes need v2; 2026-10-07 is the readiness alarm; regenerate unpublished corrections with cargo run -p sylphx-keel-play --example gen_schemas)

cargo View on Cargo

Activity

Latest release
2h ago
Total releases
1
Cadence
—
Last 12 months
1

Details

License
unknown
First release
Oct 29, 2026
Releases
Version Released
0.1.5880 initial