Skip to content

Refresh benchmark integration baseline from current main - #7237

Closed
loopx-agent wants to merge 63 commits into
codex/edgebench-integration-v22from
codex/edgebench-integration-v23-base
Closed

loopx-agent wants to merge 63 commits into
codex/edgebench-integration-v22from
codex/edgebench-integration-v23-base

Conversation

@loopx-agent

Copy link
Copy Markdown
Collaborator

Refresh the experimental integration baseline with current main while retaining the existing checkpoint binding observation and bounded replan retry fixes. This is an experiment branch update targeting the prior integration branch, not a main merge or live deployment. Main history is intentionally present in this update.

Both comparison arms will share this baseline. The treatment is proposed separately and adds only the exact reviewed #7197 patch; #7196 remains excluded.

Validation: automatic merge without conflicts, bilingual RFC check passed, 77 focused checkpoint/handoff/retry Python tests passed with 4 platform-specific skips. The retained integration delta against main is nine files. Broader integration validation is recorded in the treatment proposal; no model outcome is claimed.

将最新 main 合入实验公共基线,保留现有检查点绑定观测和受限重试修复。此 PR 只面向旧集成分支,不合并 main、不修改运行中的实验。两臂共享此基线;后续 treatment 只增加 #7197,排除 #7196。自动合并无冲突,双语检查通过,77 项相关测试通过、4 项平台条件跳过。

loopx-agent and others added 30 commits October 24, 2026 01:14
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
…-source-20261024

fix(report): pin local evidence windows and receipt pagination
…nal reader

Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
…urce-20261024

feat(report): read scoped portfolio evidence from the original conversation
* fix(examples): initialize canonical authority for Turn E2E

Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>

* fix(examples): keep canonical setup at the E2E entrypoint

Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>

---------

Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
* feat(research): expose attributed LoopX input share

Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>

* feat(research): record native Turn packets for labeled input estimates

Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>

---------

Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
* fix(research): explain source-bound values in localized history

Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>

* fix(research): reject added URI schemes in numeric explanations

Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>

---------

Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
…te chat (#7179)

Connect the original native calendar, finite validated generation and verified private full-body return. Preserve failed windows and resume only the original remaining native effects without replaying the model.

Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Signed-off-by: aihop <4408344+hhyykk@users.noreply.github.com>
Signed-off-by: aihop <4408344+hhyykk@users.noreply.github.com>
…#7188)

Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
loopx-agent and others added 21 commits October 24, 2026 13:14
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
…adback-20261024

fix(research): refresh analysis and clarify contextual quantities
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Signed-off-by: aihop <4408344+hhyykk@users.noreply.github.com>
Co-authored-by: aihop <4408344+hhyykk@users.noreply.github.com>
Three decisions were each stated twice or three times in this package: the
language tag compiled in adapters.py and project_progress.py, the supporting
content kinds listed in the same two modules with their members spelled in a
different order, and the Goal/Agent identity rule compiled three times under two
binding names -- pending_intent.py and request_action.py called it _IDENTITY_RE,
cadence_journal.py called it _ID.

field_shapes now owns all three and the five faces import it. Every site only
asked membership or fullmatch, so the wiring is behaviour-preserving; the two
supporting-kind literals were already equal as sets, only reordered.

incremental.py keeps its own _IDENTITY_RE and is declared rather than migrated:
it is case-insensitive and admits up to 160 characters where the owner is
lowercase-led and caps at 128, so merging the names would change what the
incremental reader accepts. The declaration pins both halves -- that it stays
distinct and that it stays the only such site.

No budget anchor moves. re.compile constants and underscore-private closed sets
are outside the inventory's counted families, and the drift smoke emits identical
output on base and head, so nothing in vocabulary_v0.json needed retightening.

Refs #4447 Track A.

Signed-off-by: ZhixiLi <20579155+xianth123@users.noreply.github.com>
Co-authored-by: ZhixiLi <20579155+xianth123@users.noreply.github.com>
…out (#7208)

* test(research): close analysis before scope switch

Signed-off-by: huangruiteng <huangrt01@163.com>

* fix(research): reuse the canonical digest matcher

Signed-off-by: huangruiteng <huangrt01@163.com>

---------

Signed-off-by: huangruiteng <huangrt01@163.com>
Co-authored-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
…omparable-20261024

fix(research): make deep analysis comparable and readable
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Reject invalid goal IDs before deriving state paths or writing bootstrap state, so a failed request cannot leave a partial registry or state file outside the project.

Signed-off-by: duang777 <duangjl007@gmail.com>
…er (#7155)

* refactor(authority-e2e): decide the qualified NoKV release in one owner

The helper admits an installed SDK against QUALIFIED_NOKV_SDK_VERSION and
QUALIFIED_NOKV_API_VERSION, and the stage ladder restated both literals to
judge the live-qualification report. The ladder drives the helper as a file
path and never imported it, so a bump landing in one left the other behind
with no import to follow. The registry counted that pair as one of its two
same-runtime forks.

The helper is the owner: it is the face that refuses an unqualified SDK at
runtime. The ladder now imports both names from it.

Budgets move with the code, read from the drift smoke on this tree:
same_runtime_forks 2 -> 1, same_runtime_fork_definitions 5 -> 3,
same_runtime_forks_semantic 2 -> 1. The registry and BUDGET_ANCHOR are
tightened to the measured values in the same diff.

Refs #4447 Track A.

Signed-off-by: ZhixiLi <20579155+xianth123@users.noreply.github.com>

* test(architecture): key the release census on the owner's exported value

Pinning file:line would break whenever a line is added above the owner's
binding, and pinning the string would make a reviewed bump in the owner look
like a guard bug. The census now reads the value the owner exports and asks
which modules spell it, so a bump in the owner stays green and a copy anywhere
else still cannot hide.

The numeric API pin is guarded by the binding scan rather than a value census:
the value 1 appears as a literal in unrelated code, so a value-keyed census
would drown in it.

Refs #4447 Track A.

Signed-off-by: ZhixiLi <20579155+xianth123@users.noreply.github.com>

* test(architecture): fold scanned sites to one path spelling

Both reviewers flagged the same defect: four scanners serialized sites with
str(path.relative_to(REPO_ROOT)), which yields backslashes on Windows, while
OWNER_MODULE and the declaration tables spell forward slashes. On a Windows
checkout all four single-definition assertions would reject a correct tree.

Every scanner now goes through one _rel() that calls as_posix(), and a case pins
the two spellings directly: a Windows-style relative path still fails str() and
still folds to the same site string as its POSIX twin, so the substitution
cannot be dropped again without a red test.

Refs #4447 Track A.

Signed-off-by: ZhixiLi <20579155+xianth123@users.noreply.github.com>

---------

Signed-off-by: ZhixiLi <20579155+xianth123@users.noreply.github.com>
Co-authored-by: ZhixiLi <20579155+xianth123@users.noreply.github.com>
Signed-off-by: huangruiteng <huangrt01@163.com>
Signed-off-by: huangruiteng <huangrt01@163.com>
* fix(leases): canonicalize equivalent write scopes

Prevent lexical path aliases from bypassing same-repository task-lease conflicts. Preserve retained lease bytes while using a conservative comparison view for legacy malformed scopes.

Signed-off-by: duang777 <duangjl007@gmail.com>

* fix(leases): preserve scope identity and glob boundaries

Keep original scope spellings in acquisition request identity while using canonical comparison and new-record views. Preserve accepted Todo alias declarations, share character-class parsing, and reject malformed scope evidence in historical receipts. Cover public File/SQLite acquisition, cross-version renewal replay, ordinary add-to-claim and exclusive glob conflicts.

Signed-off-by: duang777 <duangjl007@gmail.com>

---------

Signed-off-by: duang777 <duangjl007@gmail.com>
Co-authored-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
)

* fix(control-plane): reuse the canonical input digest matcher

Remove the duplicate whole-value SHA-256 matcher that fails the content-digest ownership guard. Register trajectory input usage as a canonical consumer while preserving its accepted digest format.

Signed-off-by: duang777 <duangjl007@gmail.com>

* fix(control-plane): share the report recovery digest rule

Reuse the canonical enveloped SHA-256 matcher for native report Turn recovery. Register the managed steward as a real consumer so the ownership guard continues to enforce the full package contract.

Signed-off-by: duang777 <duangjl007@gmail.com>

* fix(tests): close analysis explicitly before changing its scope

Escape correctly dismisses an open context-help popover before its parent reader. Use the close control and wait for the analysis reader to disappear before asserting that selecting an unanalysed source does not open or execute analysis.

Signed-off-by: duang777 <duangjl007@gmail.com>
(cherry picked from commit a85c4e7)

---------

Signed-off-by: duang777 <duangjl007@gmail.com>
Co-authored-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Signed-off-by: aihop <4408344+hhyykk@users.noreply.github.com>
Co-authored-by: aihop <4408344+hhyykk@users.noreply.github.com>
Signed-off-by: aihop <4408344+hhyykk@users.noreply.github.com>
Co-authored-by: aihop <4408344+hhyykk@users.noreply.github.com>
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
@mergify

mergify Bot commented Oct 24, 2026

Copy link
Copy Markdown

Hi @loopx-agent, the DCO Sign-off check did not pass. Please inspect
its details first: checkout, fetch, timeout or infrastructure errors
need their own recovery, not a rewrite of otherwise signed commits.

If the log confirms a missing Signed-off-by trailer, amend the
affected commit with git commit --amend -s; for multiple commits,
use an interactive rebase against the current base from the correct
base-repository remote and sign off each affected commit. Push the
rewritten PR branch with git push --force-with-lease origin HEAD.

Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
@loopx-agent
loopx-agent force-pushed the codex/edgebench-integration-v23-base branch from b9df6b0 to e98020e Compare October 24, 2026 08:49
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.

6 participants