Skip to content

Complete the TypeRB Native Gate 0 boundary - #3

Merged
hiroki23 merged 1 commit into
mainfrom
feat/native-gate-zero
Aug 28, 2026
Merged

Complete the TypeRB Native Gate 0 boundary#3
hiroki23 merged 1 commit into
mainfrom
feat/native-gate-zero

Conversation

@hiroki23

Copy link
Copy Markdown
Contributor

Summary

  • establish TypeRB-owned self-hosting as the long-term implementation and bootstrap boundary
  • define the cost-conscious backend sequence: QBE first, TinyGo only as an optional baseline calibration, and C/other backends only for measured questions
  • implement Gate 0 entirely in TypeRB with strict snapshot decoding, snapshot verification, Native MIR lowering, and independent MIR verification
  • preserve source identifiers, paths, and spans through lowering
  • add deterministic diagnostics, valid and invalid fixtures, pinned-compiler CI, and a repository development skill

Gate 0 evidence

  • trb fmt --check .
  • trb check
  • TYPE_RB_NATIVE_ROOT="$PWD" trb test (9 tests, 0 failures)
  • committed fixture corpus covers valid lowering, malformed JSON, unknown fields, unsupported versions, unknown source origins, and undefined values
  • repository skill passes the skill creator validator

Explicit boundary

This PR stops at Gate 0. It does not emit machine code, add a reference-compiler snapshot producer, implement QBE lowering, or make performance claims. Those belong to Gate 1 after review of the Gate 0 result.

Closes #2

@hiroki23
hiroki23 merged commit fa2480f into main Aug 28, 2026
1 check passed
@hiroki23
hiroki23 deleted the feat/native-gate-zero branch August 28, 2026 04:02
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.

Gate 0: establish the verified native boundary

1 participant