[Codex] Integrate automation work into main - #6
Closed
yasufumi-nakata wants to merge 6 commits into
Closed
Conversation
# Conflicts: # docs/ja/plans/p2-top100-language-coverage.md # docs/ja/todo/dart.md # docs/ja/todo/lua.md # docs/ja/todo/php.md # docs/ja/todo/powershell.md # docs/ja/todo/ruby.md # docs/ja/todo/zig.md # src/pytra-cli.py # tools/unittest/tooling/test_pytra_cli2.py
yasufumi-nakata
changed the title
- Add Dart/Zig TupleUnpack and MultiAssign emitter handling for generated host code.\n- Fix sample parity runner argument drift against current runtime_parity_check CLI.\n- Record Top100 language coverage matrix and update Japanese TODO/progress notes.\n\nRelated IDs: P1-HOST-CPP-EMITTER-ZIG-S1, P2-TOP100-LANG-S1, P2-TOP100-LANG-S2.
Author
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
codex/pytra-deep-todo-automationintomainmain.devcontainer/verification gate, runtime east regeneration helper, and Top100 coverage plan artifactsruntime_parity_check.pyCLIVerification
docker version=> Engine 29.4.1docker run --rm hello-worldPASS.devcontainer/Dockerfiledirect build aspytra-devcontainer-codex:20260430.devcontainer/scripts/verify-toolchain.shPASSPYTHONPATH=src python3 tools/gen/regenerate_runtime_east.py=> 32 ok, 0 failedpython3 -m py_compile src/toolchain/emit/dart/emitter.py src/toolchain/emit/zig/emitter.py tools/check/check_all_target_sample_parity.py tools/unittest/toolchain2/test_tuple_unpack_emitter_hosts.pyPASSpython3 -m pytest -q tools/unittest/toolchain2/test_tuple_unpack_emitter_hosts.py=> 4 passedpython3 src/pytra-cli.py -build src/toolchain/emit/cpp/cli.py --target dart -o work/tmp/verify_pytra_20260430/host_cpp_dartPASS, 25 filespython3 src/pytra-cli.py -build src/toolchain/emit/cpp/cli.py --target zig -o work/tmp/verify_pytra_20260430/host_cpp_zigPASS, 30 filespython3 tools/gen/gen_backend_progress.pyPASS, progress-preview generatedpython3 tools/check/check_all_target_sample_parity.py --groups cpp --summary-dir work/tmp/verify_pytra_20260430/sample_parity_cppstarts after runner fix but ends sample live check 0/18 due runtime symbol driftNotes
fork/mainare atafe097b64bcda2ab4e10d0a0d1000a48df6a494d.origin/mainremains at247483f91f3d2fa73a13b2e5c8ac6dcb1d5b09ea; direct upstream push returns 403 foryasufumi-nakata.codexorcodex-automationlabels available.dart/zigCLI, so generated Dart/Zig compile/parity remains blocked.::int_,::print,::len,::min,::max, and::enumerate.