Skip to content

feat(map): add PineMap runtime semantics#122

Merged
luisleo526 merged 2 commits into
mainfrom
fix/map-runtime-semantics
Jul 18, 2026
Merged

feat(map): add PineMap runtime semantics#122
luisleo526 merged 2 commits into
mainfrom
fix/map-runtime-semantics

Conversation

@luisleo526

@luisleo526 luisleo526 commented Jul 18, 2026

Copy link
Copy Markdown
Collaborator

Summary

  • add a header-only PineMap runtime with Pine ID aliasing, explicit map.copy separation, insertion ordering, typed missing values, null IDs, and the 50,000-pair limit
  • preserve Pine float-key behavior for na and signed zero
  • add primitive-only snapshot/restore support that preserves original identity across rebinding, including rebinding to na
  • document that codegen migration and recursive UDT/collection checkpointing remain pending

Validation

  • full Debug engine suite: 112/112
  • full Release engine suite: 113/113
  • focused Debug and Release test_map: green
  • AppleClang strict warnings-as-errors: green
  • ASan/UBSan focused test_map: green
  • installed-header consumer: green
  • exhaustive N=5 semantic matrix: 32/32, publication gate true
  • matrix fingerprint: af52940645de2e1a80fafe684581d4b9717c33e2f3b20e95622571a2ff4db409
  • matrix manifest SHA-256: 82186b953e6510bbeb2a6c0dcdac81073fa9173e20b338676a02fcd60178108d
  • matrix summary SHA-256: 8f38503e484796fc73094b5176e58ce9dd48af70756bba8a2b42a6504fe3597a

CI follow-up

  • Release initially exposed side-effecting test calls inside assert; the test was corrected to execute mutations outside assertions
  • runtime implementation is unchanged by that test-only follow-up

Provenance

  • tested commit: 9a07532
  • tested tree: 8739413d058ce6d812ec38a61442802e056eb2a2
  • merge commit: 06bb724
  • merge tree: 8739413d058ce6d812ec38a61442802e056eb2a2 (identical to tested tree)

@luisleo526
luisleo526 merged commit 06bb724 into main Jul 18, 2026
5 checks 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.

1 participant