Skip to content

Extend legacy PE library signature coverage - #21

Merged
gmh5225 merged 1 commit into
mainfrom
codex/legacy-library-coverage
Oct 24, 2026
Merged

gmh5225 merged 1 commit into
mainfrom
codex/legacy-library-coverage

Conversation

@gmh5225

@gmh5225 gmh5225 commented Oct 24, 2026

Copy link
Copy Markdown
Contributor

Adds 490,677 supplemental library-pattern records in 42 files for PE x86, x64 and ARM32. Coverage includes WDK/DDK, Borland/Delphi libraries, Intel math/runtime code, Digital Mars D, Windows CE, Watcom common runtime, VIREO and other historical PE libraries.

Admission skips symbols already present in the corresponding baseline, folds aliases, removes duplicate records and rejects conflicting or unsupported claims. Existing baseline pattern files are unchanged. The retained data excludes 107 records associated with 65 byte claims that produced incorrect native proposals.

Validation:

  • All 208 local Python tests passed, including admission differentials, format roundtrips, cache invalidation and publication-metadata checks.
  • All proposals in 45 applicable PE probes matched linker truth; zero wrong proposals. Fifteen ARM64 probes have no supplement and were outside this check.
  • All 42 pattern file contents match the validated data exactly; artifact hashes are recorded alongside the packs.
  • No existing-symbol overlap or duplicate records within a target; git diff --check passed.

The coverage guide documents target counts, admission rules and remaining gaps. Published metadata records library families, baseline revisions, artifact identities and validation policy. Historical-compiler accuracy beyond the covered probes remains unmeasured; independent semantic recognizers were outside the existing-pattern symbol comparison.

@gmh5225
gmh5225 merged commit 592ccc9 into main Oct 24, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants