Skip to content

Complete Gate 2 source-connected aggregates - #11

Merged
hiroki23 merged 2 commits into
mainfrom
feat/gate2-source-corpus
Aug 28, 2026
Merged

Complete Gate 2 source-connected aggregates#11
hiroki23 merged 2 commits into
mainfrom
feat/gate2-source-corpus

Conversation

@hiroki23

Copy link
Copy Markdown
Contributor

Summary

  • pin the merged TypeRB snapshot v3 producer and connect it through the TypeRB-authored native driver
  • add the Gate 2 source differential and reproducibility corpus for records, tagged values, Result/try, aggregate swaps, and explicit dynamic-storage rejection
  • replace fixed-size libc copies with QBE blit and deterministic stores, then elide safe block-parameter copies while preserving parallel-copy semantics
  • add the registered benchmark, raw measurements, and Gate 2 completion report

Results

  • warm build time: 26.0% to 29.5% faster than the stronger applicable Go baseline
  • runtime: two startup cases faster; five-million-iteration aggregate kernel 17.6% slower, within the 25% bound
  • stripped executable size: 96.85% smaller
  • observed build and runtime peak RSS: lower than both Go paths

Verification

  • pinned TypeRB fmt --check .
  • pinned TypeRB check for the repository, both benchmark tools, and all Gate 2 corpus configs
  • 39 tests with QBE 1.3, including source differential, exact artifact reproducibility, and parallel aggregate swaps
  • 10 build and 50 runtime observations per measured project; 726 successful measurements

Closes #7

@hiroki23
hiroki23 merged commit 0eeffe1 into main Aug 28, 2026
1 check passed
@hiroki23
hiroki23 deleted the feat/gate2-source-corpus branch August 28, 2026 08:32
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 2: heap-free aggregate value model

1 participant