Xpact Milestone: 177,347 Real-World XML Files with Zero Failures — 100% Agreement

[Finnian Reilly]

Xpact Milestone: 177,347 Real-World XML Files with Zero Failures — 100% Agreement

Rustification — make it memory-safe.
Contractification — make it correct by contract.

Table of Contents

• Part I: a 1.37 million file correctness sweep
  1. A New Verification Tool
  2. What actually gets compared, and how agreement is decided
  3. The undefined-entity permission logic
  4. The archive-recursion path
  5. HTML as a source of edge cases, and the regression corpus it built
  6. Binary files masquerading as XML: the invalid-token vs syntax-error distinction
  7. Why this is a milestone
  8. The next goal: Defusing the "billion-LOL" Bomb With Eiffel
• Part II: performance analysis against document structure
  1. Methodology
  2. wordnet_glossary-20010201.rdf: the clearest structural story in the set
  3. Testing Chinese Characters: mandarin-names-and-text.xsl
  4. The rest of the set
  5. The cost of catching duplicate attribute names
  6. Overall read
• Part III: Name Cache: Validating Hash Distribution Empirically
• PART IV: GENERATED REPORTS
  1. Windows 11 Partition Report
  2. Linux Mint 22 Partition Report
  3. Name Cache Hash Distribution
     1. Parsing: vision2.ecf
     2. Parsing: mandarin-names-and-text.xsl
     3. Parsing: recursive-entity-expansion.xml
     4. Parsing: DTD-attlist-default-values.xml
     5. Parsing: Legislation.xml
     6. Parsing: testdata/largefiles/nes96.xml
     7. Parsing: testdata/largefiles/ns_att_test.xml
     8. Parsing: testdata/largefiles/ns_att_test.xml
     9. Parsing: testdata/largefiles/recset.xml
     10. Parsing: testdata/largefiles/wordnet_glossary-20010201.rdf

-- 
SmartDevelopersUseUnderScoresInTheirIdentifiersBecause_it_is_much_easier_to_read
(Eiffel = Security by Contract + C Speed)

[Finnian Reilly]

On 18/08/2026 18:49, Finnian Reilly wrote:

The next goal: Defusing the "billion-LOL" Bomb With Eiffel

Well that wasn't difficult.. 🙂

XT_XML_PARSER_BASE

   inspect a_source_type
      when Source_expansion then
         entity_expansion_count := entity_expansion_count + (tok_end - index).to_natural_64
         put_natural_64 (entity_expansion_count, a_entity_expansion_count)

      when Source_expansion_with_checks then
         entity_expansion_count := entity_expansion_count + (tok_end - index).to_natural_64
         if (content_count + entity_expansion_count) / content_count > max_expansion_proportion then
            Result := Error_amplification_limit_breach; done := True
         else
            put_natural_64 (entity_expansion_count, a_entity_expansion_count)
         end

   else end