Repository navigation
WIP: converge governed work inputs and packaged heartbeat consumers - #7430
loopx-agent wants to merge 177 commits into
Conversation
|
This pull request has merge conflicts with Choose the remote for the base repository, not an out-of-date fork. git fetch upstream
git rebase upstream/main
# Resolve each conflict, git add the resolved files, then git rebase --continue.
git push --force-with-lease origin HEADFor a same-repository clone whose Keep the DCO |
|
This pull request has merge conflicts with Choose the remote for the base repository, not an out-of-date fork. git fetch upstream
git rebase upstream/main
# Resolve each conflict, git add the resolved files, then git rebase --continue.
git push --force-with-lease origin HEADFor a same-repository clone whose Keep the DCO |
|
This pull request has merge conflicts with Choose the remote for the base repository, not an out-of-date fork. git fetch upstream
git rebase upstream/main
# Resolve each conflict, git add the resolved files, then git rebase --continue.
git push --force-with-lease origin HEADFor a same-repository clone whose Keep the DCO |
a4e077f to
307d000
Compare
72b88cc to
6e84e81
Compare
6e84e81 to
37618d8
Compare
|
This pull request has merge conflicts with Choose the remote for the base repository, not an out-of-date fork. git fetch upstream
git rebase upstream/main
# Resolve each conflict, git add the resolved files, then git rebase --continue.
git push --force-with-lease origin HEADFor a same-repository clone whose Keep the DCO |
37618d8 to
6e3cf81
Compare
The Section 5 seam records the Codex provider-routing host's supported edge, but it does not say what the guard actually refuses. The guard holds the ingress admission lock and refuses while a non-terminal Turn exists; it does not read the ingress receipt ledger, so a pending loopx_queue or loopx_inbox receipt is not a Turn and passes through. Record that boundary in both mirrors and in the execution ledger, and pin both sides with cases that read a real temporary Session and ingress store against the real guard. Signed-off-by: xiaoan17 <anbc1224@gmail.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: 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: 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: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
…7663) * perf(collaboration): reuse lifetime fences in bounded inventory batches Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com> * fix: batch loaded delegation pages during refresh Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com> * refactor(collaboration): separate request observation from projection Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com> * perf(collaboration): batch guarded inventory receipt observations Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com> * fix(workspace): retain source failure across delegation filters Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com> * fix(workspace): advance delegation paging after snapshot changes Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com> --------- Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
* perf(semantics): reuse parsed field presence for production scans Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com> * docs(self-repair): record repeated static scan diagnosis Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com> * refactor(semantics): clarify scanner expression types Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com> * fix(semantics): retain parsed module result type 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>
…7703) Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
…7708) Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
* fix(turn): preserve original numeric evidence in journals Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com> * docs(turn): state journal source preservation and transport cost Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com> * fix: preserve journal source numbers with shared sparse IO metadata 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>
* perf(context): reuse full recovery for native presentation Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com> * fix(context): keep small native references discoverable Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com> * test(cli): follow the quota presentation owner Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com> * perf(semantics): reuse parsed field presence for production scans Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com> * docs(self-repair): record repeated static scan diagnosis Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com> * refactor(semantics): clarify scanner expression types Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com> * fix(semantics): retain parsed module result type Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com> * test(context): follow native context page cursors Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com> --------- Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com> Co-authored-by: huangruiteng <huangrt01@163.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>
Quota CLI, thin heartbeat and native Turn deliver overlapping facts through different consumers. C1 composes one complete
loopx_turn_envelope_v1source before capture and reuses the existing TypeScript owners for references, recovery and original settlement identity. Python remains the IO adapter. This is an unfinished integration proposal: merging it would change the default executable input, so writer/consumer cutover, supported-reader retirement and original-quota outcome/full-cost qualification remain open.Current source:
35e4ef22674a2000b22a96241a7cdd7c3ae3ba33(the source-identity integration at60ef2b5842335296276eb18cb0a3739fad3a507dplus the historical unbound-input repair), integrating original candidate648104978fdd67176cccdbb765c5bc3f36bf2ca3with target maine8f4c6f8125e3cc0ef912afac653d5542671392f. The update is a normal fast-forward of this proposal, with no force push or merge into main.This increment:
Restores the historical no-work-binding decoder's safe blocked result. Complete ordinary inputs still fail closed without their required work binding; no Host invocation or settlement is manufactured.
Keeps main's extracted quota-presentation owner, poll-receipt-before-capture ordering, bounded refusal recovery and sparse native journal transport. It does not restore the obsolete whole-JSON-string carrier or a second quota presentation implementation.
Uses the existing numeric collector and validator. Acceptance, summary lanes, authoring and Vision sharing reuse the same source-identity owner; the legacy authoring/Vision adapters use the existing edit transport so JavaScript cannot round unrelated original facts on return. Serialized-body size guards are unchanged; there is no extra sharing RPC, cache or decision owner.
Preserves original numeric distinctions, a later exact authoring owner, absent-authoring refusal controls and complete audit content. Main's unique journal numeric, replay and large-quoted-body regressions remain intact.
Keeps the normative bilingual RFC concise relative to the integration draft: detailed candidate chronology moves to a dated ledger (中文). Historical measurements and proposals stay source-bound; they do not become fresh qualification. Existing progressive own-outcome navigation, global constraints and cross-Agent dependencies remain in the current plan.
Current validation:
cqr_4fe7f73363b0ca2262a9records fail, preserving remaining integration, whole-tree concurrent and packaged-consumer gaps. Draft remains required for unfinished author work. No CI query or manual trigger, independent review, merge readiness or live-model qualification is claimed.Compatibility and remaining acceptance:
Fresh complete inputs retain the experimental
hash_codec=context_source_numbers_v2contract. Correctly signed earlier v1 bindings need their pinned reader and unchanged bytes; historical v0 hashes, Turn keys and receipts are not rewritten or re-signed. New unsupported/invalid complete inputs reject rather than fall back to a historical executor view. Required historical result/settlement readers remain until their callers and outstanding work migrate. The optional MemT exact-lifetime producer/consumer gap remains an adoption gap, not permission to relax isolation.The separate ordinary-CLI JSON fidelity fix remains independently reviewable in #7722; its checks do not qualify this broader candidate. The native 4 KB framing failure is separately fixed in #7735, a three-file mainline proposal with 319 passing regressions and isolated wheel File/SQLite CLI readback. Its shared IO repair can land first; its source and transport evidence do not qualify C1. Shared prerequisites should continue to land independently when they have complete current callers and local rollback.
Historical negative results remain: late TS relocation grew one matched request from 102,680 to 344,010 bytes without changing the 102,189-byte visible output; the frozen 25,862 > 13,000 failure remains. Earlier sparse-codec component savings, capture IO reductions and test counts do not establish original-quota accepted-outcome or complete-cost benefit. The original-quota engineering comparison in #7665 stays pinned to its own revisions.
Finish actual writer/capture/final-consumer replacement and old-reader exit, then compare required information, actual single-session decisions, accepted outcomes and complete costs against original quota under comparable conditions. Optional controller/executor two-session work remains separate. No live installation, release, paid model experiment or default promotion is part of this update.