sbp2: port session command core onto DICE#30

Merged

mrmidi merged 11 commits into

DICEfrom

sbp2-session-port

Jun 19, 2026

Commits on Jun 18, 2026

sbp2: add AddressSpaceManager::SetDebugLabel for session-layer range tagging

mrmidi
and
claude
committed
sbp2: add FW-56 session-port design doc (component breakdown + API map)

mrmidi
and
claude
committed
sbp2: design doc §7 — use native DriverKit primitives for session port

mrmidi
and
claude
committed
sbp2: FW-56 step 0 — ISessionScheduler seam + virtual-clock fake

mrmidi
and
claude
committed
sbp2: FW-56 step 1 — CommandORB config hardening for the session layer

mrmidi
and
claude
committed
sbp2: revise FW-56 decomposition — 2 login components, not 4

mrmidi
and
claude
committed
sbp2: FW-56 — FetchAgent command-plane engine (decomposed from #19)

mrmidi
and
claude
committed
sbp2: FW-56 step 3 — LoginSession management-plane state machine

mrmidi
and
claude
committed
sbp2: FW-56 steps 4-5 — SessionRegistry + CommandExecutor

mrmidi
and
claude
committed
sbp2: FW-57 — user-client boundary (wire formats + session-aware SBP2Handler)

mrmidi
and
claude
committed
sbp2: FW-57/58 — wire session selectors and lifecycle
mrmidi
committed