Skip to content

docs(track-a): promote P2 outbound sequence - #496

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

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

Conversation

@blakinio

Copy link
Copy Markdown
Owner

Coordinator promotion for Draft researcher #495 / OTC-20260817-track-a-p2-sequence-provenance.

Decision: ACCEPT_WITH_EDITS.
Trusted base: main@0aed48da9a51730c590d0ffe4688f149b359a170.
Source final head: 4a98632046936fba070653196d91e9f82e6b07e7.

Independent review of exact hosted run 32044825898 proves that TGameserverDualConnection+0x80@0xb56d60 writes its object-local DWORD[this+0x9c] into the canonical DWORD(message+0) and then increments the counter when message+0x34 == 3; the nonmatching branch explicitly writes zero. Canonical framing PR #494 independently proves this exact field is serialized before the raw payload.

Promoted result:

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

The sequence initial/reset policy remains UNKNOWN; no unsupported lifetime semantics are inferred.

Source exact-head validation: governance 32045117129 = SUCCESS; CI 32045117287 = SUCCESS; CI / Required 95431242465 = SUCCESS; final diff exactly 3 task/evidence files; reviews/threads 0/0; one-shot workflow removed.

E2E NOT_APPLICABLE — static exact-file/disassembly evidence only.

Next frontier after merge: exact type/provenance and input/output semantics of RawDataProcessor member transform 0xb3ec30, with encryption and compression classified independently.

@blakinio
blakinio merged commit 8a5fcfd into main Aug 17, 2026
8 checks passed
@blakinio
blakinio deleted the docs/OTC-20260817-track-a-p2-sequence-promotion branch August 17, 2026 16:23
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