Skip to content

Keep native integration details out of TypeRB - #12

Merged
hiroki23 merged 1 commit into
mainfrom
fix/consumer-neutral-bootstrap-snapshot
Aug 28, 2026
Merged

Keep native integration details out of TypeRB#12
hiroki23 merged 1 commit into
mainfrom
fix/consumer-neutral-bootstrap-snapshot

Conversation

@hiroki23

Copy link
Copy Markdown
Contributor

Summary

  • follow TypeRB #590 by invoking the consumer-neutral compiler bootstrap-snapshot command and matching its diagnostics
  • pin the reference compiler and CI checkout to merged TypeRB revision 920f34547723c58afe62f5f180fe0892f0a333c1
  • make the cross-repository ownership invariant explicit in AGENTS, Architecture, Contributing, and the Native development skill
  • keep Native gate mappings, integration commands, revision pins, and bridge lifecycle policy in this repository

Validation

  • trb fmt --check .
  • trb check
  • trb check for both benchmark tools and all Gate 1/2 corpus configurations
  • full TypeRB Native test suite with the pinned reference compiler and QBE 1.3: 39 tests, 0 failures
  • quick_validate.py .agents/skills/develop-typerb-native
  • git diff --check

@hiroki23
hiroki23 merged commit ffa0d93 into main Aug 28, 2026
1 check passed
@hiroki23
hiroki23 deleted the fix/consumer-neutral-bootstrap-snapshot branch August 28, 2026 09:08
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