Skip to content

docs(track-a): promote P2 outbound framing - #494

Merged
blakinio merged 3 commits into
mainfrom
docs/OTC-20260817-track-a-p2-f50090-framing-promotion
Aug 17, 2026
Merged

docs(track-a): promote P2 outbound framing#494
blakinio merged 3 commits into
mainfrom
docs/OTC-20260817-track-a-p2-f50090-framing-promotion

Conversation

@blakinio

Copy link
Copy Markdown
Owner

Coordinator promotion for Draft researcher #493 / OTC-20260817-track-a-p2-f50090-framing.

Decision: ACCEPT_WITH_EDITS.
Trusted base: main@c1adcf491580e28d40f215356a9e559af2ccadc4.
Source final head: 6d01a7eb22548256e0d4f5aff9a6d13f95f84c19.

Independent review re-read the exact hosted 0xf50090 disassembly from run 32037533068 / job 95410901806, the accepted hosted RawDataProcessor evidence from run 32005141186, and current-main PR #492 QTcpSocket provenance.

Promoted result:

DUALCONNECTION_TO_BINARY_EGRESS=PROVEN
FINAL_BINARY_EGRESS=PROVEN_AT_QT_QTCPSOCKET_BOUNDARY
FINAL_SOCKET_OWNER=FACT:TGameserverTCPConnection
FINAL_OS_SOCKET_SYSCALL=UNKNOWN
FRAMING=PROVEN
SEQUENCE=UNKNOWN
COMPRESSION=UNKNOWN
ENCRYPTION=UNKNOWN

Exact framing evidence at 0xf50090: deterministic scalar source low16(ceil(nonnegative payload_length/8)), then DWORD(message+0) with semantic identity deliberately UNKNOWN, then the canonical raw payload pointer/length into QDataStream::writeRawData@0x4dd250. PR #492 independently binds that writer/QDataStream to the concrete TGameserverTCPConnection-owned QTcpSocket.

RawDataProcessor additionally proves a zero-prefix/alignment envelope and a conditional member-object transform when message+0x28 == 2, but this promotion does not call that transform encryption or compression.

Source exact-head validation: Track A governance 32042849047 = SUCCESS; CI 32042849245 = SUCCESS after one infrastructure-only retry for dorny/paths-filter HTTP 429/502/429; CI / Required 95429351299 = SUCCESS; changed files 3; reviews/threads 0/0.

This PR contains only coordinator evidence and the archived researcher task. E2E NOT_APPLICABLE — static exact-file/disassembly evidence only.

Next frontier after merge: exact producer/update provenance of DWORD(message+0) at f50107, specifically to prove or disprove sequence semantics.

@blakinio
blakinio merged commit 0aed48d into main Aug 17, 2026
8 checks passed
@blakinio
blakinio deleted the docs/OTC-20260817-track-a-p2-f50090-framing-promotion branch August 17, 2026 16:13
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.

1 participant