Skip to content

stream/schema-spec-tooling: 3 PRs oldest first (2026-09-23 branch, landed 2026-09-24) - #1860

Merged
rowan-claude merged 8 commits into
mainfrom
stream/schema-spec-tooling
Sep 24, 2026
Merged

rowan-claude merged 8 commits into
mainfrom
stream/schema-spec-tooling

Conversation

@rowan-claude

Copy link
Copy Markdown
Collaborator

STREAM: schema: spec, gates, tooling
DEPENDS-ON: none
WHY: streams commute

The stream branch Stella's stream child built on 2026-09-23 (members closed with CLOSE lines "in stream/schema-spec-tooling"), never given a PR. Members, oldest first, as merged on the branch:

  1. docs: the packet wire as an algorithm every port implements from #849 packet-wire-algorithm (docs: the packet wire as an algorithm every port implements) at 8a7b23d
  2. build(deps): bump actions/setup-java from 6.0.0 to 6.0.1 #985 at 722f401
  3. CARD-9085 schema #466 fixed with its red test first: State and test the amplification bound on an untrusted ta (card-9085, vision) #1051 rowan/schema-466-state-and-test (CARD-9085: schema State and test the amplification bound on an untrusted table read: what a hostile pointer graph can make LoadMeasure return, in one sentence with a golden #466 fixed with its red test first) at a16befc

main merged in on 2026-09-24 (clean; ci.yml and certify.yml auto-merged). CI once; lands on green.

🤖 Generated with Claude Code

gafferongames and others added 8 commits September 9, 2026 23:25
Johnny Grok.

The twin of the fixed-form algorithm page (#843) for the packet wire.
Source is the C++ packet codec in internal/codegen/cpp and serialize.h,
checked against the packet fixtures the paired runner already uses.
The contract must not drift; the shape may. SPEC.md is the law.
Johnny Grok.

Leftover on #849. PUT_BYTES now stores the pending scratch qword
at 8*word_index, copies, updates word_index from bits_written,
reloads the trailing qword, and sets scratch_bits to the tail —
serialize.h WriteBytes. GET_BYTES unchanged.
Bumps [actions/setup-java](https://github.com/actions/setup-java) from 6.0.0 to 6.0.1.
- [Release notes](https://github.com/actions/setup-java/releases)
- [Commits](actions/setup-java@dd06d9c...de7274f)

---
updated-dependencies:
- dependency-name: actions/setup-java
  dependency-version: 6.0.1
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
@rowan-claude
rowan-claude merged commit 23ddb58 into main Sep 24, 2026
81 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.

2 participants