Skip to content

Expose authoritative portable code sets - #79

Merged
fruwe merged 2 commits into
mainfrom
fruwe/portable-code-set-export
Sep 9, 2026
Merged

fruwe merged 2 commits into
mainfrom
fruwe/portable-code-set-export

Conversation

@fruwe

@fruwe fruwe commented Sep 9, 2026 •

Copy link
Copy Markdown
Member

Summary

  • define category-specific string enums used by production emitters and derive the deeply immutable PORTABLE_CODE_SETS export from them
  • cover all 10 Python-applicable registry categories and 87 category/code entries, excluding implementation-only execution_store_failure and harness-only structural_validation
  • compare exact per-category missing and extra codes against generated conformance registry vectors without source scraping or a duplicate expected list
  • compare complete logical-scope checkpoint/root and outbox-record maps, including exact key sets, with sabotage coverage for omitted and unexpected records
  • preserve public strings, runtime behavior, idiomatic Python names, and package version

The conformance pin advances to merged registry head 5ba78c7. This is the repository-standard minimal pin update needed for the generated closed-code registry vectors; it also contains six merged logical execution-store scope vectors now exercised by the driver.

Validation

  • make check (274 passed, 5 skipped)
  • focused registry parity, checkpoint profile, and scope sabotage tests (95 passed)
  • make conformance against conformance 5ba78c7 and specification cc4b0d7 (288 passed)
  • package artifact and public export tests (35 passed)
  • distribution build and scripts/verify_distribution.py
  • direct wheel import verified PORTABLE_CODE_SETS and the category enum exports

Fixes #78

@fruwe fruwe self-assigned this Sep 9, 2026
@fruwe
fruwe marked this pull request as ready for review September 9, 2026 02:52
@fruwe
fruwe merged commit a9f70fd into main Sep 9, 2026
5 checks passed
@fruwe
fruwe deleted the fruwe/portable-code-set-export branch September 9, 2026 02:52
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.

Expose and verify authoritative closed portable code sets

1 participant