Skip to content

refactor: convert replay-script writeFunction to with self.indented():#148

Merged
devdanzin merged 1 commit into
mainfrom
replay-python-indented
Jun 29, 2026
Merged

refactor: convert replay-script writeFunction to with self.indented():#148
devdanzin merged 1 commit into
mainfrom
replay-python-indented

Conversation

@devdanzin

Copy link
Copy Markdown
Owner

The final manual addLevel/restoreLevel call site in a live code path. WriteReplayScript (fusil/process/replay_python.py, used by process.create to emit the crash-replay script) gets the same treatment as the generators (#145, #146, #147; under #106).

Provably equivalent (Pattern A), confirmed byte-identical with a direct equivalence check. After this, the only addLevel/restoreLevel references in the live tree are the indented() definition itself and the one documented callee-opens-a-level contract between _dispatch_fuzz_on_instance and the h5py dispatcher.

Suite 328 OK, ruff clean.

🤖 Generated with Claude Code

The last manual addLevel/restoreLevel call site in a live code path. WriteReplayScript
(fusil/process/replay_python.py, used by process.create to emit the crash-replay
script) gets the same treatment as the generators (#145/#146/#147, under #106).

Provably equivalent (Pattern A) and confirmed byte-identical with a direct
equivalence check. After this, the only addLevel/restoreLevel references in the
live tree are the `indented()` definition itself and the one documented
callee-opens-a-level contract between _dispatch_fuzz_on_instance and the h5py
dispatcher. Suite 328 OK, ruff clean.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
@devdanzin devdanzin merged commit 325255d into main Jun 29, 2026
2 checks passed
@devdanzin devdanzin deleted the replay-python-indented branch June 29, 2026 22:45
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