Skip to content

[codex] Align transport framing and track controller convergence - #42

Merged
atomicdeploy merged 3 commits into
mainfrom
codex/transport-convergence
Oct 30, 2026
Merged

atomicdeploy merged 3 commits into
mainfrom
codex/transport-convergence

Conversation

@atomicdeploy

@atomicdeploy atomicdeploy commented Oct 30, 2026 •

Copy link
Copy Markdown
Owner

Scope

Related to #41 and atomicdeploy/PCController#702, paired with PCController PR703.
This is the bounded first convergence slice, not a completed transport merger.
Temporarily based on PR40 to keep its earlier Web checkpoint separate; retarget
to main after that PR passes and merges. Do not bypass its outstanding CI gates.

  • Reject embedded zeroes in COBS data blocks in the actual bounded C++ codec and
    Rust/Dart USB decoders, preserving valid wire bytes, opcodes and frame ownership.
  • Add byte-identical cross-repository vectors and direct malformed/CRC regressions.
    PCController's corresponding C++/Go changes also protect its shared host UDP
    decoder; its encoder now enforces its receiver's fragment-size rule.
  • Compare existing envelopes/carriers, preserve conflicting opcode namespaces,
    standard recovery protocols, resource budgets and richer timing/lease semantics.
  • Track the shared living contract, full/slim profiles, MCU HAL and eventual
    unrelated-history/file-by-file merger in linked issues. Add a real donor-index
    route and retain every unresolved parity/physical gate.

Verification

Canonical Rust shared_cobs_vectors passes, mobile analysis reports no issues and
all13 USB tests pass. The actual C++ protocol framing test passes; the larger
wrapper continues separately and its final result is not inferred. Comparison
generation/Check, transport-convergence reviewed-slice gate, living-contract and
PU route checks pass. Existing fixture SHA256:
81683deafa749b231e483d2b75e4c45cae2a3262cab014ad0a20c74a82b31694.

Paired PCController checks pass for bounded C++ framing, stable-path Go native/UDP
and MCU inventory; its initial source-policy failure was fixed with narrow
per-document reviewed repository links and negative privacy tests, not a bypass.

No board, app installation, production process, settings or network actuation was
changed. No claim of full API/transport parity, new STM32/ESP physical support,
flash/RAM/stack deltas or real LAN/hardware/soak acceptance. Existing owner
worktrees/stashes remain preserved. Under the human's renewed cleanup request,
the exact generated bytecode file was removed by normal PowerShell Remove-Item;
both primary working trees are clean and their source is pushed. No deletion
workaround, ignore rule, source loss or stash cleanup was used. Unrelated drafts
and failed PRs cannot be blindly merged to manufacture a clean repository.

The larger Pakar protocol wrapper exposed a pre-existing LLDP fixture include
failure. Reused test-ethernet's BoardCore include path in test-lldp, which now
compiles/passes its actual scoped SDK-double tests. This does not retroactively
label the entire large wrapper passed. Comparison generation/Check passes with
unchanged donor counts and all remaining acceptance retained.

@atomicdeploy
atomicdeploy marked this pull request as ready for review October 30, 2026 13:53
Base automatically changed from codex/web-preview-ownership to main October 30, 2026 14:00
@atomicdeploy
atomicdeploy merged commit e2913e2 into main Oct 30, 2026
9 checks passed
@atomicdeploy
atomicdeploy deleted the codex/transport-convergence branch October 30, 2026 14:08
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.

2 participants