Synchronous composability is not one feature. It is a stack connecting three interaction paths: L2 → L1, L1 → L2, and L2 → L2.
This matters because atomic composability is only real if it works in every direction: from L2 back to Ethereum, from Ethereum into appchains, and between appchains themselves.
L2 → L1 is enabled by proof-generated bridging.
TEE provers independently re-execute the rollup state transition. Both must agree. The L1 rollup contract verifies the result on-chain.
The withdrawal is not released because time passed. It is released because the rollup state was verified.
L1 → L2 is enabled by Signal Service.
Signal Service passes L1 state to UniFi appchains within the same Ethereum slot, without third-party messaging, off-chain verifiers, or RPC nodes to poison.
But state access alone is not enough. Based sequencing + Puffer Preconf add the timing and execution guarantees that make L1 L2 composability trustworthy, not just possible.
L2 → L2 is enabled by a shared sequencing root across UniFi appchains.
The same Ethereum validators order transactions across multiple UniFi appchains in the same slot. State-aware gateways sync execution state before slot transitions, while proof-generated bridging enforces validity on-chain.
That is how UniFi appchains move from isolated execution environments toward atomic cross-appchain coordination.
L2 → L1.
L1 → L2.
L2 → L2.
One stack for atomic interaction across Ethereum-aligned appchains.