Say stage 3 starts by stripping the old methods from the declared models
Split the survey's width disagreements by kind on the codec design - 65 change the bits on the wire, 42 bound the same bits differently, 2 swap equal-total fields.
Re-verify the wiki at bootstrap b331685 after the stage 2 review - 256 tests in run 38712471472.
Add the aligned-blob arm to NTC012 on the codec design
Say stage 3 removes the converter's off-wire shadow members
Link the first mismatch count to the full survey
Add the first facts survey to the codec design - 811 of 927 declared messages agree with the client facts; 116 disagree, mostly on widths.
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.
Say the equivalence check counts bits, not only bytes
Break the 97 equivalence exclusions into groups on the codec design - Split them into shapes the harness can't map yet, with the planned mapping for each, and defects in the old code. - Up to 70 should become proofs; the other 27 are the old code's own bugs, for stage 3.
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.
Add quaternions to the codec's float attributes
Record the hand conversion's calls for envelopes, bit arrays and columns
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.
Correct the union exclusions after the holders were proven
Record the hand conversion's calls for the non-entity union families
Say how the equivalence check maps old union shapes
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.
Say generator diagnostics now reach per-file suppression
Cite the latest equivalence run on the codec design
Re-verify the layout, roadmap and codec design at bootstrap 2ed73ff - 232 tests in run 38700240036, and 1,115 of 1,254 models converted.
Add the cinematic subject message to the pinned exclusions
Track the conversion's share after the vector batch
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.
Name the equivalence check's pinned exclusions on the codec design
Note that generator warnings suppress only per project for now
Define the equivalence check's empty instance on the codec design
Break down the 165 models the converter left on the codec design - Count them by reason, and separate the 89 roots from the 76 that only wait on one. - Give the plan for the roots, and the real share with dependents: 1,165 (93%). - Add the nested message and enum sentinel examples.
Record the converter's first real run on the codec design - 1,089 of 1,254 models converted (87%), against the survey's estimates. - Say an unconverted type stays as it was and is reported, as the tool behaves.
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.