Skip to content

door-root: the logic crate's only public item is door (row 195) - #34

Draft
MattJackson wants to merge 10 commits into
devfrom
door-root
Draft

MattJackson wants to merge 10 commits into
devfrom
door-root

Conversation

@MattJackson

@MattJackson MattJackson commented Oct 21, 2026 •

Copy link
Copy Markdown
Contributor

Door-root recipe (/tmp/door-root-recipe.frozen.md), steps 1-6.

  • busbar-contract pinned at busbar #1399 head 1b09a4a79a962112c8ef8036e2df50a7221daf5e (lane-contract-statement-extensions); to be re-pinned to the dev merge commit once #1399 merges, before this leaves draft.
  • Logic crate's only public item is door; declares.json (contract_abi dropped) rides the Statement under EXT_DECLARES.

row 194 + row 195: folded migration and door-root convergence

  • Merged dev, then the row-194 migrate branch (row 194: migrate to the sealed-ABI dual forms (expand-then-contract) #36, row194-migrate-dual): the sealed-ABI dual forms now ride this branch. The door-root changes and this branch's own extra changes (listed above) are kept; the pin stays the one this branch already carried.
  • External tests name only the bare door: LinkedRow::of_loaded(unsafe { LoadedDoor::from_raw(<crate>::door) }) and conformance_suite!{ loaded: .. }; the declares test reads the Statement the same way.
  • CI is expected red until busbar #1478, #1399 and the generalised linked_gen land. Rendered tests/support/conformance_host.rs is not hand-edited.
  • Migrate PR row 194: migrate to the sealed-ABI dual forms (expand-then-contract) #36 is closed in favour of this one.

@MattJackson MattJackson changed the title door-root: the crate's only public item is door; declares ride the Statement door-root: the logic crate's only public item is door (row 195) Oct 21, 2026
…bar-ref, manifests, Cargo.lock, workflow refs via scripts/fleet/repin.sh (row 195)
# Conflicts:
#	.busbar-ref
#	.github/workflows/ci.yml
#	.github/workflows/release.yml
#	.github/workflows/repin.yml
#	Cargo.lock
#	Cargo.toml
#	deny.toml
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