Describe the layout tree, at bootstrap 9f13a55
Codec-design gains the layout tree: its one-line text form, the node kinds, worked examples and how a disagreement's path is named, and the generator now emits each declared message's tree (WireLayout.TreeText and Tree, carried in WireLayoutData), held to the empty path the facts check proves. Message-audit-design marks the generator's trees built; Repository-layout and Roadmap take run 38863032351, 251 of 251.
Re-verify against bootstrap cb985d3 with the stricter verification rules
A message at Purpose needs a name of its own in place of its neutral number, and a member keeping its neutral name at Fields begins its summary with 'The client gives this value no meaning.' (run 38857101195, 224 of 224). The blame-ignore list now skips the neutral rename too.
Re-verify against bootstrap 2ee1445 at the close of the audit's first stage
The verification check reads every wire member whatever its accessibility, across all three model projects (run 38855029660, 223 of 223).
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.
Add the message audit's design
A published design page for checking every message against the client before more feature work: the five rungs, the Verified attribute and its shrinking-list test, the use gate at dispatch, neutral names, the full-layout tree check, feature areas, the generated protocol reference, and the order of the work. Linked from Home, the sidebar, Codec-design, Roadmap and the systems table.
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.
Say which client facts the wiki states, and pause step 2 for the audit
Documentation-standards gains Facts about the client: purpose, field meanings, units, ranges, value sets, table indexes and order are stated as facts; addresses, decompiled code, tool names and output, client strings and method stay off. Roadmap: stage 3 paused for an audit of every message against the client before more feature work, and why it comes before the core skeleton.
Set the documentation format for building out the core
Documentation-standards gains a system's page set (design, explanation hub, references, guides), generated reference for the code's registries, a Where the code lives table on every page with a ref badge and none on index pages, a path-based re-verify check, Home by area past twenty pages, and the three kinds of reader. Server-core-design gains the systems table that points at each system's current page. House style names messages with their opcode beside them. Home drops its ref badge; Running-the-tests, Codec-design and Roadmap gain their code tables.
Bring the core design up to one world, the gateway and public hosting
Server-core-design takes the new names (message queue, gateway, write-behind queue, AOI, conflation, handoff, TCC), one world with no layering, routing by an opcode table with priorities, rate limits and kill switches, the realm as modules, pooled and dedicated map threads, tick and update interval per instance type, sleeping cells, AOI tiers, the gateway's login exchange, the hardened client ports, the two unsent-bytes limits, the write-behind sequencer and load workers, the private pack, the portal's recovery and source link, and a Hosting section. Roadmap drops public hosting from out of scope and states one world and public hosting as goals.
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.
Move step 2 to its third stage and correct the pinned selector count
- Stages 1 and 2 are on bootstrap and reviewed; stage 3 is under way.
- Thirteen union holders are pinned, ServerEntityCreate among them.
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.
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 codec design and link it from the core design and roadmap
- Record the declaration format, the generator's diagnostics, the client-facts table, the converter and the equivalence-first rule, at discussion until step 2's plan is agreed.
- List what's still open: overwide values, signed fields, unnamed opcodes, and the opcode errata.
Add the server core design and the roadmap
- Record the approved design: owners by routing tag, declared messages, persistence, authority, content, the console and verification, with what was rejected and why.
- Set out the six build steps, milestone one's messages, and where step 1 stands.