Skip to content

research(track-a): audit item-level coverage registries - #304

Closed
blakinio wants to merge 3 commits into
mainfrom
research/OTC-20260815-track-a-coverage-registry-audit
Closed

research(track-a): audit item-level coverage registries#304
blakinio wants to merge 3 commits into
mainfrom
research/OTC-20260815-track-a-coverage-registry-audit

Conversation

@blakinio

Copy link
Copy Markdown
Owner

Draft-only static Track A coverage audit from exact main@8fca1c3eee453d0d4ef8a47e0f15c9dbae491b45.

Goal: materialize task-scoped item-level capabilities, protocol_messages, and runtime_types draft registries with explicit denominators/provenance, preserving UNKNOWN and DISPROVEN/SUPERSEDED evidence.

No runtime/login/action or secret access is authorized. Selected census percentages must not be presented as global semantic coverage.

Promotion authority is coordinator PR #300. No owner-funded Codex/API use is authorized.

@blakinio blakinio added the programme:audit-repair Audit and repair programme label Aug 15, 2026

Copy link
Copy Markdown
Owner Author

Coordinator disposition for the current Draft head 7eec15079e54bc163785013025cdea47d30e57c7: RETURN_FOR_EVIDENCE / DISPATCH-READY.

This head contains only the approved coverage-audit task contract. No item-level registries, deterministic validator, coverage summary or audit evidence has been delivered yet, so existing scoped inventory percentages cannot be promoted as global coverage.

The task remains valid and READY for an independent Draft-only static researcher. Before reconsideration it must materialize the task-scoped capabilities, protocol_messages, runtime_types and coverage-summary datasets (or exact machine-verifiable equivalents), define every denominator, retain UNKNOWN and DISPROVEN/SUPERSEDED items, separate inventory completeness from semantic completeness, and run deterministic duplicate/provenance/arithmetic validation plus terminal exact-head CI.

Until then protocol semantic coverage, QMeta semantic coverage and P0 terminal coverage remain explicitly incomplete/UNKNOWN.

Copy link
Copy Markdown
Owner Author

COVERAGE-AUDIT worker handoff for exact Draft head 43a60bd96cc644b656b200c9edbfb75578b330b6.

FACT — validation: deterministic task-scoped validator passes (COVERAGE_AUDIT_VALIDATION=PASS), and exact-head CI run 31882010038 / run #2966 is terminal SUCCESS; CI / Required, Fast Checks, Detect Build Scope and Lua Syntax all completed successfully. No head mutation is made after that exact-head gate.

FACT — bounded quantitative result: protocol identifier inventory 349/349 (189 inbound + 160 outbound); directly enumerated inbound QMeta case links 27/349; generated-message semantic support UNKNOWN/349; ProtocolMessageHandler QMeta inventory 47/47; raw direct Qt census 2184/2184 with semantic classification UNKNOWN/2184; legacy QObject connect selected subset 40/41; high-information GameAction sender metaobjects 29/31 (1 mismatch, 1 unresolved); P0 top-level requirement registry 16/16 but global P0 live-read coverage UNKNOWN/UNKNOWN; bridge-v1 profile target inventory 7/7 but overall P1 field/evidence coverage UNKNOWN/UNKNOWN; P2 closure UNKNOWN/5; restart/relogin stability UNKNOWN/1.

FACT — negative evidence retained: the obsolete 0xb5b880 endpoint model, 0xb46bd0 binary-sink claim, 0xc33259 network-sink claim and stale TProtocolWriter RTTI 0x3080700 remain explicit DISPROVEN/SUPERSEDED records rather than being erased.

UNKNOWN / boundary: this static audit does not establish the audited build as latest upstream, does not execute login/runtime/gameplay actions, and does not claim Track A completion. It also does not promote newer noncanonical Draft results from #302/#303.

Requested coordinator action: review this evidence slice under PR #300 and assign the campaign-level disposition. Highest-information follow-ups remain #301 writer ownership, #302 direct authoritative player XYZ, #303 restart/relogin reacquisition, E51 full 349-message semantics, E52 full Tibia-owned QMeta denominator, and an item-level P0/P1 read-field denominator decision.

Copy link
Copy Markdown
Owner Author

Coordinator disposition for exact Draft head 43a60bd96cc644b656b200c9edbfb75578b330b6: ACCEPT_WITH_EDITS.

FACT — accepted bounded baseline: exact-head CI 31882010038 is terminal SUCCESS; all changed files are confined to the task-owned record/evidence paths; there are no inline review threads; the validator enforces record-ID uniqueness, allowed classifications, registered provenance refs, 349-message decode/hash/count uniqueness, 47 handler records, selected-set denominators, percentage arithmetic, UNKNOWN null numerators/denominators and retained DISPROVEN/SUPERSEDED evidence. Source run 31787489302 / job 94726575137 independently fenced the official Linux client SHA and emitted the 189 inbound + 160 outbound names; exact QMeta/Qt census records support 47 handlers and 2184 direct Qt callsites under their stated static boundaries.

Accepted quantitative boundary: protocol identifier inventory 349/349 (inventory only); directly enumerated inbound QMeta links 27/349; generated-message semantic support UNKNOWN/349; ProtocolMessageHandler QMeta inventory 47/47; raw direct Qt census 2184/2184 with semantic classification UNKNOWN/2184; legacy string-connect selected subset 40/41; high-information GameAction sender metaobjects 29/31; P0 top-level requirement registry 16/16 while global P0 live-read coverage remains UNKNOWN/UNKNOWN; bridge-v1 profile target inventory 7/7 while overall P1 coverage remains UNKNOWN/UNKNOWN; P2 closure UNKNOWN/5; restart/relogin stability UNKNOWN/1.

EDIT / promotion caveat: validate_registry.py proves internal integrity and consistency of the task-scoped registry plus existence of named provenance records; it does not cryptographically prove that every compressed registry item is byte-for-byte regenerated from each historical source log. Canonical promotion must preserve that provenance boundary and must not relabel inventory percentages as semantic completion.

I will promote only a bounded coordinator-owned copy/extract of this evidence. This disposition does not mark Track A complete and does not promote any newer noncanonical P0/RUNTIME semantic result.

Copy link
Copy Markdown
Owner Author

Lifecycle closeout after coordinator promotion: exact source head 43a60bd96cc644b656b200c9edbfb75578b330b6 received ACCEPT_WITH_EDITS; source exact-head CI 31882010038 is SUCCESS; the reviewed exact evidence blobs are now preserved unchanged under coordinator PR #300 at docs/agents/evidence/OTC-20260815-track-a-promotion-coordination/coverage-audit/source-snapshot/ with a separate promotion-boundary note. Coordinator integration head 0f5f835426ae9cd633c41e0cd0898d0a7dab87a4 passed CI run 31882563937. Closing this Draft unmerged so the accepted baseline has one promotion authority. This does not mark Track A complete and does not promote UNKNOWN semantic coverage.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

programme:audit-repair Audit and repair programme

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant