Skip to content

Capture coherent stopped observations without device reads - #69

Merged
janrysavy merged 6 commits into
masterfrom
codex/coherent-observation
Oct 6, 2026
Merged

janrysavy merged 6 commits into
masterfrom
codex/coherent-observation

Conversation

@janrysavy

Copy link
Copy Markdown
Owner

Coherent paused observations collect registers, bounded RAM/ROM/text memory windows and optional text video in one revision-guarded RPC. Unsafe MMIO and VGA planar reads are refused without invoking consuming device reads.

Validation: seven new positive/negative tests pass on Windows CPython and PyPy; full Windows suite: 1489 passed, 23 skipped, 320 subtests. A retained persistent-TCP PyPy test-machine benchmark requires identical responses and measures 92.26ms median for six calls versus 15.37ms for one. This measures observation overhead, not game execution. Independent review, common live-game contract and final-head public CI remain pending.

Seven new positive/negative observation tests pass on CPython/PyPy; full Windows regression 1489 passed, 23 skipped, 320 subtests. Persistent-TCP PyPy test-machine benchmark gives identical captures at 92.26ms for six requests and 15.37ms for one over 100 alternating pairs. No gameplay throughput claim. Independent review and final-head CI remain pending.
Independent review identified the BC000-BFFFF refusal. Eight observation tests pass on Windows CPython/PyPy, including backing-wrap boundaries and higher-priority ROM overlays. Tightened the captured-state assertion name to its actual scope. Follow-up review pending.
28 focused Windows CPython tests plus 35 subtests and 22 PyPy unittest cases pass. Steps distinguish accepted entry registers from completed pause/watchpoint/instruction states; segmented Words reject invalid components and wrap at 20 bits. Structured RPCError preserves RuntimeError text/compatibility and no-replay connection closure. Final-head CI and independent review pending.
29 focused CGA/VGA/observation tests pass on Windows CPython/PyPy. Nonzero text-page pixels equal page0; FFFF CRTC start wraps and coherent capture reads end/start cells in order. Corrected preceding handoff test count from 28 to actual 27.
Follow-up review's evidence gap is closed by comparing production capture_machine CPU/device/RAM/RNG/disk-transfer products and debugger control before and after coherent capture. 15 focused Windows CPython tests plus25 subtests pass. Corrected the earlier CGA test count to28.
Shared stdlib motherboard fixture replaces duplicate pytest-coupled factories. All9 observation unittest cases pass on Windows CPython and bare PyPy; 33 related pytest tests plus25 subtests pass with owned scratch and valid DEVNULL child input. Full machine/state/RNG/disk evidence remains exact.
@janrysavy
janrysavy marked this pull request as ready for review October 6, 2026 01:25
@janrysavy
janrysavy merged commit c98c4af into master Oct 6, 2026
5 checks passed
@janrysavy
janrysavy deleted the codex/coherent-observation branch October 6, 2026 01:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant