Re-verify against bootstrap 9c93c58 with the wire models under the analysers Network.World and Network.Auth no longer opt out of the analysers, code style or nullable reference types, and nothing suppresses NTC003 or NTC006 (run 38852967763, 221 of 221). Code-standard loses three suppression rows and the nullable exception, Repository-layout its Off column and first known edge, Codec-design its NoWarn sentence; the audit's step 3 is marked done.
Re-badge every code page to bootstrap fadf745 Branches-and-workflow and Running-the-tests describe nothing the CONTRIBUTING.md change touched; the verified dates move to the day of the check.
Re-verify against bootstrap fadf745 with the verification check in The Verified attribute and the registry verification tests are built: 927 declared messages, none read to fields, all pinned as unverified (run 38852302801, 221 of 221). Code-standard states the documentation rule for wire messages as CONTRIBUTING.md now does, with the CS1591 suppression; Repository-layout, Codec-design, Message-audit-design and Roadmap record what's built.
Name messages by opcode after the neutral rename No old message name exists in the code since bootstrap 86b7f28, so pages name each message by its opcode and describe it only where what it does is established: milestone one's table, the crowd-control pair, the codec's example and errata, the facts check's table, the irregular shapes. House style states the rule. Re-verified against 86b7f28, run 38851638578, 215 of 215.
Re-verify against bootstrap c5b0774 after the old code's deletion The converter, the equivalence harness, the frozen copy of the old models and the old packet layer are gone; the facts check is the proof that remains (run 38847142696, 215 of 215; 873 of 927 agree, 55 pinned). Codec-design compresses the conversion and its proof into a past-tense record, gives the facts check and the irregular shapes sections of their own, and lists what was retired. Repository-layout, Code-standard and Roadmap lose the deleted projects, suppressions and counts; Server-core-design stops listing the converter as a tool.
Re-verify the codec pages at bootstrap 07ccf71 after more corrections - 873 of 927 messages agree with the client facts, 55 pinned. - Equivalence 1,155 proven, 27 through holders, 99 excluded, each new one a correction to the client. - The facts table holds for both the 64-bit and 32-bit client of build 16042.
Re-verify the codec pages at bootstrap 9a3a2c7 after the first corrections - 844 of 927 messages agree with the client facts, 84 disagreements pinned; three held on purpose. - Explain why equivalence exclusions grow as corrections land: 59 at this commit. - The duplicate opcode value is settled; one opcode is still named by number.
Re-verify the wiki at bootstrap eff7f77 with the facts check pinned - Replace the survey with the pinned test's categories: 65 bits, 41 fields, 2 reordered, 4 parts, 2 rows, 1 direction, 1 arm. - Correct the two-problem message: both problems are on one side, pinned together. - 268 tests in run 38723274664.
Re-verify the wiki at bootstrap 4daf352 with the old methods stripped - The world and auth models are pure declarations; the generated WireMessages registry replaces the reflection registration. - Correct the world and auth suppression reason, and the suite's 267 tests from run 38722636735.
Re-verify the wiki at bootstrap 0f25afd after the harness review - Say plainly the review found three critical false passes and four lesser ones, and how each is closed. - 1,227 of 1,281 types proven over 37 seeds, 28 through holders, 26 excluded, run 38715582093. - 263 tests, and 7 value limits among the pinned rules.
Re-verify the wiki at bootstrap b331685 after the stage 2 review - 256 tests in run 38712471472.
Re-verify the wiki at bootstrap a537b5e with the harness mapping in - Rewrite the equivalence section: how a pair is checked, how the old layouts are followed, how the harness proves itself, and where it stands. - 1,228 of 1,281 types proven bit for bit; the 26 exclusions left are all old-code defects for stage 3. - 251 tests in run 38710347373, and step 2's status on the roadmap.
Re-verify the wiki at bootstrap cb1fc7f, with every model declared - Mark stage 2's conversion done: 1,179 of 1,281 types proven, 5 through holders, 97 pinned exclusions. - 239 tests in run 38706868953, and step 2's status on the roadmap.
Re-verify the wiki at bootstrap a805509 after the first hand batch - List the twelve pinned exclusions in three groups, each with its reason. - 1,142 of 1,254 models converted; 1,129 of 1,143 declared types proven in run 38704526527. - 235 tests, and step 2's status on the roadmap.
Re-verify the wiki at bootstrap c5e868c - Give the World and Auth NoWarn its real reason now generator diagnostics reach per-file settings. - 233 tests in run 38701057614.
Re-verify the layout, roadmap and codec design at bootstrap 2ed73ff - 232 tests in run 38700240036, and 1,115 of 1,254 models converted.
Bring the wiki up to the conversion at bootstrap f8a45b6 - Prove the conversion on the codec design: every converted type matches its old twin, run 38698856440. - Show the generator wired into Network, Auth and World, with the NoWarn on NTC003 and NTC006 and its reason. - Move step 2 to stage 2 of 3 and the suite to 230 tests.
Add the equivalence harness to the repository layout at bootstrap 21b3c8e - List its temporary test project and the suite's 229 tests from run 38697280199.
Add the model converter to the repository layout at bootstrap 9a9eb14 - List Tools/, the converter and its tests, and the suite's 221 tests from run 38697044955.
Re-verify the repository layout at bootstrap f129108 - The generator now reports NTC001 to NTC013, and the suite is 208 tests.
Add the legacy snapshot to the repository layout and suppressions - Describe the temporary copy of the old models the conversion is proven against. - List its suppressions with their reasons, and re-badge both pages to bootstrap f04e5ee.
Bring the wiki up to the codec's first stage at bootstrap 4bb1920 - Add the codec, its generator, their tests, the hot-path files and packages to the repository layout, with 206 tests. - Describe the hot-path tier as built: the switch, the ban list, the rules it raises, and where analysers stop. - Run the format check after the build everywhere, since it loads the generator. - Record the review's union selector and aligned blob rules, and move step 2 to stage 1 of 3.
Bring the pages up to the enforced build at bootstrap 490ed16 - Explain build enforcement, the pinned analysis level and every suppression with its reason. - List the commit message, em dash and format checks CI runs before the build, with fixes. - Use the renamed identifiers: ServerPathInitialize, HousingNeighborhoodInfoEntry. - Point the roadmap at run 38682391315, seven of seven on SDK 10.0.402.
Add the code standard, workflow, tests guide and repository layout - Explain the code standard's choices and why the build holds them. - Explain the branches, the dispatch-only test workflow and its guard rails. - Add a guide to running the tests locally and in CI, and a reference to every project, test and root file.