demo.cast

{"version":2,"width":120,"height":36,"timestamp":1778482071,"env":{"SHELL":"zsh","TERM":"xterm-256color"}}
[0.000000,"o","$ cd /Users/gdc/deadreckon\n"]
[0.100000,"o","$ DEADRECKON_HOME=/Users/gdc/deadreckon/.deadreckon-smoke ./target/release/deadreckon init --provider cli:codex --max-spend 5 --sandbox sandbox-exec --no-confirm\n"]
[0.260000,"o","wrote /Users/gdc/deadreckon/.deadreckon-smoke/config.toml\nnext: deadreckon doctor\n✓ source /Users/gdc/deadreckon\n✓ home /Users/gdc/deadreckon/.deadreckon-smoke\n✓ sandbox sandbox-exec found at /usr/bin/sandbox-exec\n✗ sandbox bwrap missing\n    fix: install bubblewrap (bwrap) for Linux native sandboxing\n✓ sandbox docker found at /usr/local/bin/docker\n✓ sandbox none found\n✓ /Users/gdc/deadreckon/.deadreckon-smoke/config.toml present\n✓ provider defaults configured\n"]
[0.460000,"o","$ DEADRECKON_HOME=/Users/gdc/deadreckon/.deadreckon-smoke ./target/release/deadreckon config set providers.cli-codex.kind cli-codex\n"]
[0.560000,"o","set providers.cli-codex.kind\n"]
[0.660000,"o","$ DEADRECKON_HOME=/Users/gdc/deadreckon/.deadreckon-smoke ./target/release/deadreckon config set providers.cli-codex.binary codex\n"]
[0.760000,"o","set providers.cli-codex.binary\n"]
[0.860000,"o","$ DEADRECKON_HOME=/Users/gdc/deadreckon/.deadreckon-smoke ./target/release/deadreckon config set providers.cli-codex.extra_args '[\"--ephemeral\", \"--skip-git-repo-check\", \"--dangerously-bypass-approvals-and-sandbox\", \"--ignore-rules\"]'\n"]
[0.960000,"o","set providers.cli-codex.extra_args\n"]
[1.120000,"o","$ DEADRECKON_HOME=/Users/gdc/deadreckon/.deadreckon-smoke ./target/release/deadreckon run \"make a 5-line file at notes.md describing dead reckoning\" --provider cli-codex --sandbox sandbox-exec --max-spend 5\n"]
[28.300000,"o","completed run f8be423c3cb14a12869206ae25184377\nstate /Users/gdc/deadreckon/.deadreckon-smoke/runstate/deadreckon-6283b242/runs/f8be423c3cb14a12869206ae25184377/state.json\nworking /Users/gdc/deadreckon/.deadreckon-smoke/runstate/deadreckon-6283b242/runs/f8be423c3cb14a12869206ae25184377/working\n"]
[28.460000,"o","$ sed -n '1,5p' /Users/gdc/deadreckon/.deadreckon-smoke/runstate/deadreckon-6283b242/runs/f8be423c3cb14a12869206ae25184377/working/notes.md\n"]
[28.560000,"o","Dead reckoning estimates position from a known starting point.\nIt advances that position using measured speed, heading, and elapsed time.\nNavigators use it when landmarks or external fixes are unavailable.\nEach estimate accumulates error from drift, currents, wind, or instruments.\nRegular fixes are needed to correct the track and reduce uncertainty.\n"]
[28.720000,"o","$ DEADRECKON_HOME=/Users/gdc/deadreckon/.deadreckon-smoke ./target/release/deadreckon list\n"]
[28.820000,"o","f8be423c3cb14a12869206ae25184377\tcompleted\tdeadreckon-6283b242\t2026-05-11 06:46:48.906319 UTC\tmake a 5-line file at notes.md describing dead reckoning\n"]
[28.960000,"o","$ DEADRECKON_HOME=/Users/gdc/deadreckon/.deadreckon-smoke ./target/release/deadreckon attach f8be423c3cb14a12869206ae25184377\n"]
[29.060000,"o","run f8be423c3cb14a12869206ae25184377\nstatus completed\ngoal make a 5-line file at notes.md describing dead reckoning\nstate /Users/gdc/deadreckon/.deadreckon-smoke/runstate/deadreckon-6283b242/runs/f8be423c3cb14a12869206ae25184377/state.json\nworking /Users/gdc/deadreckon/.deadreckon-smoke/runstate/deadreckon-6283b242/runs/f8be423c3cb14a12869206ae25184377/working\nspend 0.000000\nphase 60 complete\n"]
[29.200000,"o","$ DEADRECKON_HOME=/Users/gdc/deadreckon/.deadreckon-smoke ./target/release/deadreckon show f8be423c3cb14a12869206ae25184377 --turn 1 | sed -n '/provenance:/,$p'\n"]
[29.300000,"o","provenance:\n{\n  \"timestamp\": \"2026-05-11T06:46:48.890579Z\",\n  \"prompt_id\": \"turn-1\",\n  \"model\": \"cli:codex\",\n  \"tool_call_id\": \"cli-subagent-turn-1\",\n  \"session_id\": \"f8be423c3cb14a12869206ae25184377\",\n  \"files\": [\n    \"/Users/gdc/deadreckon/.deadreckon-smoke/runstate/deadreckon-6283b242/runs/f8be423c3cb14a12869206ae25184377/working/notes.md\"\n  ]\n}\n"]
[29.460000,"o","$ DEADRECKON_HOME=/Users/gdc/deadreckon/.deadreckon-smoke ./target/release/deadreckon undo --run f8be423c3cb14a12869206ae25184377 --turn 1\n"]
[29.560000,"o","restored run f8be423c3cb14a12869206ae25184377 to turn 1\n"]
[29.720000,"o","$ DEADRECKON_HOME=/Users/gdc/deadreckon/.deadreckon-smoke ./target/release/deadreckon config set providers.cli-codex-demo.kind cli-codex\n"]
[29.820000,"o","set providers.cli-codex-demo.kind\n"]
[29.920000,"o","$ DEADRECKON_HOME=/Users/gdc/deadreckon/.deadreckon-smoke ./target/release/deadreckon config set providers.cli-codex-demo.binary /Users/gdc/deadreckon/.deadreckon-smoke/fake-codex-demo\n"]
[30.020000,"o","set providers.cli-codex-demo.binary\n"]
[30.180000,"o","$ DEADRECKON_HOME=/Users/gdc/deadreckon/.deadreckon-smoke ./target/release/deadreckon run \"demo kill resume two\" --provider cli-codex-demo --sandbox none --max-spend 1 &\n"]
[30.300000,"o","RUN_ID=71dcf57e578941978f0a9c8fce44bb38\n"]
[30.420000,"o","$ DEADRECKON_HOME=/Users/gdc/deadreckon/.deadreckon-smoke ./target/release/deadreckon kill 71dcf57e578941978f0a9c8fce44bb38\n"]
[30.520000,"o","killed run 71dcf57e578941978f0a9c8fce44bb38\n"]
[30.700000,"o","$ touch /Users/gdc/deadreckon/.deadreckon-smoke/resume-marker\n"]
[30.820000,"o","$ DEADRECKON_HOME=/Users/gdc/deadreckon/.deadreckon-smoke ./target/release/deadreckon resume 71dcf57e578941978f0a9c8fce44bb38\n"]
[30.920000,"o","resumed run 71dcf57e578941978f0a9c8fce44bb38 to completion\n"]
[31.080000,"o","$ cat /Users/gdc/deadreckon/.deadreckon-smoke/runstate/deadreckon-6283b242/runs/71dcf57e578941978f0a9c8fce44bb38/working/resumed.txt\n"]
[31.180000,"o","resumed by fake cli\n"]