Skip to content

Add broker-facing IFC sessions - #7497

Draft
jmecom wants to merge 2 commits into
jm/buzz-ifc-domainfrom
jm/buzz-ifc-session-api
Draft

Add broker-facing IFC sessions#7497
jmecom wants to merge 2 commits into
jm/buzz-ifc-domainfrom
jm/buzz-ifc-session-api

Conversation

@jmecom

@jmecom jmecom commented Sep 8, 2026

Copy link
Copy Markdown
Collaborator

Adds IfcSession over the Buzz execution domains in #7349. The broker checks reads with read(resource), non-publishing operations with call(operation), and publications with publish(operation, destination, bytes).

Publication authorization owns the serialized request, operation name, and destination label. Shared mutable payloads are rejected by the API, so the request cannot change while waiting for the sink. Reads only validate: the session starts with its domain's audience restrictions, and every admitted resource must fit them.

Stacked on #7349 (jm/buzz-ifc-domain). This is library-only. The broker must authenticate facts, check current membership and destination policy, and execute the complete request bytes that were authorized. Integrity tracking, declassification, and runtime integration are not included.

Checked: formatting, strict Clippy, 28 unit tests and 7 doctests across buzz-ifc and ifc-core, including frozen-request and compile-fail regressions. The adversarial follow-up review found no remaining bugs. Repository-wide just ci is still running.

Signed-off-by: Jordan Mecom <jm@squareup.com>
Signed-off-by: Jordan Mecom <jm@squareup.com>
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