Repository navigation
[Tracking] Verify and integrate ScaleAI and mvanhorn PR queues #6262
Description
Current outcome — complete (2026-10-22 UTC)
The original 12-PR inventory and the two later mvanhorn additions are all merged. The final requested five:
| PR | Contributor | Actual merge | Merged at |
|---|---|---|---|
| #6169 | earakely-scale | 5375ff0f9 |
2026-10-22T15:46:53Z |
| #6136 | earakely-scale | 7ec9b6e56 |
2026-10-22T15:57:36Z |
| #6138 | earakely-scale | 957bcfa14 |
2026-10-22T16:12:27Z |
| #6268 | mvanhorn | 5d7d6ad9a |
2026-10-22T14:22:23Z |
| #6273 | mvanhorn | 3d472bde2 |
2026-10-22T15:00:52Z |
Late #6136 UUID findings were tracked in #6343 and fixed by #6345, merged as 54f51f0d7dc9c48355928a3d9ec84e6fc13e8e54. Its four new integration guards fail before/pass after; exact-head verification passed 763 related source tests, 20 compiled CLI/MCP serving/schema boundaries, full static/docs/discovery checks and five immutable public capture workflows. Independent Codex source review and final-head Greptile review reported no new actionable findings. Actual merge rebuilt: all 12 selected source/CLI/MCP tests and all five public capture workflows passed again, with unchanged Evidence IDs versus the reviewed candidate.
Performance, failure attempts, exact scope and limitations are in the individual PRs. Public recordings are not live-app write qualification; real-provider/platform gaps remain explicit. Authorized bypass was used where CI/metadata gates were incomplete; unfinished CI is not reported as passed, and no human-review attestation was fabricated. The five final feature merges preserve the original contributor as primary author and contain no Co-authored-by trailers.
The historical inventory/progress below records contemporaneous observations; old draft/queue descriptions are not current status.
Requested outcome
Review, verify and integrate the outstanding contributions from earakely-scale and mvanhorn, one PR at a time, preserving contributor history. This is a coordination record, not approval of unverified code or capability scope.
Queue observed on 2026-10-22
| Author | PR | Outcome | Initial triage |
|---|---|---|---|
| mvanhorn | #4837 | ELF PT_NOTE/SHT_NOTE inspection | First verification candidate; no unresolved review threads; latest-main integration is clean. Prior CI failures concern setup JVM cleanup and browser deadline termination, not the ELF files. |
| mvanhorn | #4830 | PE certificate-table inspection | Three unresolved threads; inspect failing checks before deciding attribution. |
| mvanhorn | #4826 | CPython pyc/marshal inspection | Author actively updating; CI/review pending. Avoid overwriting intervening commits. |
| mvanhorn | #2331 | Byte entropy profiles | Conflicts with main; isolate the feature rather than replaying unrelated changes. |
| mvanhorn | #4833 | Erlang BEAM chunks/tables | Conflicting, 998-file diff at initial triage; investigate ancestry and recover only intended changes. |
| earakely-scale | #5600 | Evidence-gated environment state writes | Base for the remaining stack; author actively updating, CI running. |
| earakely-scale | #5699 | Compare environment fidelity to probe captures | Stacked on #5600; conflicts; four unresolved threads. |
| earakely-scale | #5787 | Whole-line list membership | Stacked on #5600; two unresolved threads. |
| earakely-scale | #5800 | List filter/search/sort/paging queries | Stacked on #5787; five unresolved threads. |
| earakely-scale | #6136 | Renamed/regenerated write values | Stacked on #5600; draft, independent of #6138. |
| earakely-scale | #6138 | View-specific clock spelling | Stacked on #5600; draft, independent of #6136. |
| earakely-scale | #6169 | Bodiless replies, omitted/projected fields and digit-group sequences | Stacked on #5600; four unresolved threads. |
These are point-in-time API observations, not completed diagnoses. Thread and CI counts may change. #5351/#5352 are earlier dependencies mentioned in the Scale branch descriptions; verify their integration before restacking.
Integration protocol
- Fetch current main before each worktree/branch; keep original user files untouched.
- Preserve the author's commits and intervening pushes; prefer ordinary merges, and use focused cherry-picks/replacement PRs only when ancestry or conflicts justify them.
- Check the actual owning representation and affected consumers, not only regression assertions. CLI/MCP must share contracts and Evidence semantics.
- Run focused tests and real public workflows with independent oracles where applicable. Record toolchain, exact revision, provenance, costs and unverified coverage. Bound local concurrency and memory.
- Address attributable findings. Record unrelated failing checks rather than silently claiming them fixed or weakening tests.
- Merge only after appropriate verification/review. Preserve truthful human declarations; do not invent human review or add Co-authored-by trailers in maintainer follow-ups.
Executed progress
- feat(environment): apply evidence-gated write effects to the served state #5600 merged by another maintainer as
538017d1dat 06:15:36 UTC; feat(diagnostics): report a byte entropy profile for one local file #2331 likewise merged as7aa1b5128at 06:19:13 UTC. These are not merges performed by this follow-up. The six remaining Scale PRs have been restacked by their author onto the merged foundation; their diffs are now much smaller. Draft status remains meaningful for feat(environment): serve writes whose values the application renames or regenerates #6136/feat(environment): spell a written clock as each view spells it #6138. - feat(elf): inspect PT_NOTE and SHT_NOTE tables #4837: isolated worktree
/home/yann/yann/rea-pr4837-elf-notes-20261022. Preserved author64b9dbc37, used expected-head update-branch, reproduced a real dropped-Windows-suite regression (1 failure / 9 passes), and adopted morluto'sd4fbca9d4restoration. Resolved five conflicts with newly merged feat(diagnostics): report a byte entropy profile for one local file #2331 while retaining both diagnostics workflows; normally pushed36f19aef2921d273f7d868f15b72909da173aa7bwithout force or Co-authored-by. - Exact-head feat(elf): inspect PT_NOTE and SHT_NOTE tables #4837: 96 focused/shared/docs tests, complete static/docs checks, eleven public CLI/MCP pairs (including independent
readelfchecks of host binaries, GCC ELF32 and Clang big-endian PowerPC64 objects), and two actual Codex sessions verified. One over-strict grader exit was retained and its existing trace semantically regraded; no model rerun concealed it. Costs, failed attempts and limits: feat(elf): inspect PT_NOTE and SHT_NOTE tables #4837 (comment). - feat(elf): inspect PT_NOTE and SHT_NOTE tables #4837 merged by
gensokyo-devas2edf3b23c1465b7e6609b020d0eabfef438081a7at 07:02:24 UTC, normal squash without bypass. Original primary authormvanhornretained; no Co-authored-by. All 54 reviewed files match the merge. All selected technical CI and readiness passed; Greptile reviewed exact36f19aef2, 5/5, no unresolved threads. GitHub Codex review quota remained unavailable, not a pass. Actual-merge rebuild and all eleven public CLI/MCP pairs passed again. - feat(pe): inspect Authenticode certificate tables #4830 was merged by @morluto as
ca4ca65c5e581af71d63863a5b0bd3e1d17dd2c7at 09:20:08 UTC, including contributor fixes for certificate serial/time text. feat(erlang): inspect BEAM IFF chunks and tables #4833 was merged by @morluto asbfba99827e314b9f2469f46eb98c3e1f928abd7aat 09:46:16 UTC. These are not merges performed by this follow-up. The obsolete in-progress PE worktree is preserved and will not overwrite newer work. - feat(environment): list every entity on a list's whole lines #5787 merged normally by
gensokyo-devas4043e71f6cb9c708b07f3f27e15dfc42663e73f3at 10:34:56 UTC, no bypass, contributor primary author retained and no Co-authored-by. 543 focused/adjacent tests plus 9 README tests, full static/docs checks, repeated regressions and real GitHub-label CLI/MCP/load/reset verification passed. All technical CI passed. Greptile reviewed exact head; a sole new native-export finding was unchanged main code exposed by stale PR base metadata, not a feature defect. Refreshing base metadata restored the actual 18-file delta. Entire actual merge tree equals the pretested current-main integration tree; 491 source tests and public workflow passed after merge. Evidence/failed grader/costs/limits: feat(environment): list every entity on a list's whole lines #5787 (comment). - feat(python): inspect CPython pyc headers and marshal code objects #4826 merged by @morluto, not this follow-up, as
2c3dd946d59c870388b03c3417eeb5218af96eebat 11:00:09 UTC, incorporating contributor392309877. The independent local refactor prototype is superseded and was not pushed. Actual-merge rebuild, 51 focused tests and 13 real/controlled public CLI/MCP pairs passed against native CPython 3.11.2, including all metadata for 35 real code objects, header modes and bounded review counterexamples. No inspected bytecode executed; non-3.11 runtimes remain unverified here. - feat(environment): answer list filters, search, sorting and paging from the state #5800 merged normally by
gensokyo-devas293832bafc9a054914ec514fe906dd4936c7a372at 12:41:32 UTC, no bypass, original primary author retained and no Co-authored-by. Repaired query normalization/search/counters/ambiguous paging and successful-retry coverage with fail-before/pass-after guards. Exact-head CI39778527490passed all selected lanes and eight shards; Greptile completed and all threads resolved. Entire merge tree equals reviewede27e63f9. Actual-merge rebuild, 623 source tests, retained native GitHub pagination and two actual owned HTTP witness scenarios passed. Three Codex task sessions plus targeted source reviews, costs, failed attempts and gaps are preserved. Closing evidence: feat(environment): answer list filters, search, sorting and paging from the state #5800 (comment) . - Eight initial queue entries are merged; four original Scale entries remain open: feat(environment): compare an environment with probe captures of its application #5699, feat(environment): serve writes whose values the application renames or regenerates #6136 (draft), feat(environment): spell a written clock as each view spells it #6138 (draft), feat(environment): serve writes behind bodiless replies, omitted fields, projected reads and digit-group sequences #6169. Next bounded packet: feat(environment): compare an environment with probe captures of its application #5699, beginning from freshly fetched main. Later mvanhorn fix(doctor): interrupt Hopper display readiness on cancel #6268/fix(ghidra): reject JDK_JAVA_OPTIONS argument-file platform overrides #6273 are still distinct pending packets, not claimed integrated.
- Existing main issues are separate: ignored write-query modes, equivalent encoded create-observation paths, fallback-absence ordering, and a source-derived native-export allocation candidate. No fix or runtime OOM reproduction is claimed for these independent findings; see the issue comments for attribution.
Activity
gensokyo-dev commentedon Oct 22, 2026
Queue update: #5600 was merged by another maintainer as 538017d at 2026-10-22T06:15:36Z; I did not perform that merge. The remaining Scale branches are being restacked by their author and their earlier review threads have been resolved. For #4837, I preserved author update 64b9dbc and used expected-head ordinary update-branch to incorporate current main (a77143e). Exact tree comparison exposed three dropped Windows curated test paths; the existing guard failed before (1 failure / 9 passes), and morluto has supplied d4fbca9 restoring them. Verification follows that exact head, with no duplicate fix or force-push. Earlier real readelf-backed CLI/MCP and actual Codex checks passed; exact-head retests/CI are still pending.
chore(elf): preserve both diagnostics workflows when merging main
feat(elf): inspect PT_NOTE and SHT_NOTE tables (#4837)
gensokyo-dev commentedon Oct 22, 2026
Queue refresh (2026-10-22): #4830 was merged by @morluto as ca4ca65 at 09:20:08 UTC, including the author’s certificate text fixes; #4833 was merged by @morluto as bfba998 at 09:46:16 UTC. I did not perform those merges. The obsolete in-progress PE integration worktree is preserved and will not be pushed over the newer work. Current packet: #5787 (before dependent #5800), fresh main 3a42a9e plus contributor 0499ed1. Reproduced the mixed-line empty offset=2/data-add regression with a valid fixture: expected an empty later page, observed the newly loaded earlier entity. A producer-owned paging admission fix and deterministic control/alias tests now pass (61 source tests); broader/public verification is in progress. Ignored write-query values, encoded create-observation matching, and fallback-absence ordering also exist in main’s unchanged code and are being explicitly attributed rather than claimed fixed here.
gensokyo-dev commentedon Oct 22, 2026
#5787 review attribution update: the PR API was still pinned to base 538017d and showed 332 files, although the real delta against current main was 18. Reapplying base=main refreshed the owning GitHub metadata to 932fbb7; both PR files and main...head comparison now show 18 files, with unchanged reviewed head 36571c4. The latest Greptile finding concerns NativeExportParser.ts (PE name/version string allocation before shared allowance); that file is byte-identical to already-merged main 3a42a9e and absent from the actual PR delta. Record this as a separate source-derived main candidate, not a #5787 defect or a reproduced OOM. No large hostile-input run was attempted, and no runtime memory reproduction or fix is claimed. Actual 932fbb7+36571c494 integration tree f9adc9a9dae1f7f771965e48f77ad61aaad5a65e was built and passed the real retained-data CLI/MCP/load/reset workflow (10.09 s wall, 15.79 s CPU, 496.78 MiB sampled process-family RSS).
feat(environment): list every entity on a list's whole lines (#5787)
gensokyo-dev commentedon Oct 22, 2026
#5787 merged normally (no bypass) by gensokyo-dev as 4043e71 at 10:34:56 UTC. Primary author earakely-scale retained; no Co-authored-by. All technical CI and readiness/title checks passed; exact-head Greptile completed, with its sole new finding attributed to unchanged main code after correcting stale PR base metadata. Entire actual-merge tree equals the pretested latest-main integration tree. Rebuild, 491 source tests, and the real retained-data CLI/MCP/data-add/paging/reset workflow passed again. Evidence/costs/failed grader/coverage limits: #5787 (comment). Six original queue entries remain; next packet is mvanhorn #4826 before continuing the remaining Scale stack.
gensokyo-dev commentedon Oct 22, 2026
Current packet: #5800, contributor head 30e90fc normally advanced to 665ec74 on fresh main 2c3dd94; original PR/fork/history retained, no Co-authored-by. Preserved main ownership/paging safeguards and repaired the three attributable review findings plus ambiguous page-base inference. 618 adjacent source tests, 80 CLI/MCP/schema boundary tests, three 99-test stability runs, pinned static/docs/build checks, native held-out GitHub pagination and three actual Codex sessions passed. The initial candidate still made an unnecessary full-list call; a 33-byte catalog clarification led to one call with the unchanged prompt in the next session. All traces and limitations are preserved, not a universal speedup claim. Current evidence: https://github.com/morluto/rea/blob/665ec74c6ed57947e06f72bed53138a171a9bc50/docs/specs/agent-environments/list-queries/verification.md . CI run 39773075218 and fresh Greptile review are in progress, not yet a merge or full-CI success. Independently attributed unchanged-main findings: later-create response constants (source blob 420a1ad18e970491f7d6059dbbe8960a48d989e7) and ignored write-query modes; no runtime reproduction or fix claimed here. Original queue still has five open Scale PRs until this packet merges. Two additional open mvanhorn PRs #6268/#6273 remain a separate later packet.
gensokyo-dev commentedon Oct 22, 2026
Final #5800 candidate is 62a9adf, current main e93e3b1 (APK signing preserved), actual 28-file delta. Independent review exposed an additional total-omission defect; representation cross-check also reproduced a stale canonical string total. Both now have fail-before/pass-after guards and owner-level fixes. 621 source tests, three 102-test stability runs, 36 final compiled service/schema boundaries, static/build/docs/format and native held-out pagination pass. Two targeted Codex re-reviews find no definite remaining defect (source review only). Fair latest-base serial public workflow: control 10.07s wall/15.67s CPU/490.34MiB sampled family RSS, candidate 10.04s/15.48s/498.06MiB. Earlier slower sample retained; no speedup attribution. Replies 13282→1383 bytes, catalog 1057→1090, supported completed query two→one calls. Final CI 39776472358 and Greptile 119816576430 still pending, not yet merged; no older green CI substituted. Raw prompts/traces/failed checks/costs preserved locally, current limitations in PR body and verification doc.
feat(environment): answer list filters, search, sorting and paging fr…