To make it clear, we are still talking about bidirectional channel, it's just the initial state what is unilateral.
Right, though it is only bi-directional once Alice has actually sent a micropayment to Bob.
TX1:
0) Pays 1.1*y: (Alice + HA1 after t) or (Bob after (t + T)) or (2 of 2 Alice + Bob)
1) Pays x: (HB1 + Alice) or (2 of 2 Alice + Bob)
2) Pays y: (HA1 + Bob) or (2 of 2 Alice + Bob)
3) Pays 1.1*x: (Bob + HB1 after t) or (Alice after (t + T)) or (2 of 2 Alice + Bob)
4) Pays Alice's change: (Alice)
5) Pays Bob's change: (Bob)
I agree, that t can be safely shortened to several hours, but T must be long enough (a week or even more), so that channel opening could be safely aborted regardless of network congestion.
Setting the time is a security trade off. Both t and T need to be long enough that users can safely get their transactions included in time.
An idea I had about network congestion was that transactions could pre-buy block space.
A block size rule of this type would be 10MB per block total size, but all blocks are capped at 1MB "modified" block size too.
Normally, a transaction's modified size would just be the size of the transaction. For each output, it can add additional loading. This increases the modified size of that transaction but then decreases the modified size of the spending transaction.
A 500 byte transaction could have an output that is loaded at 500 bytes. That transaction would count as a 1000 byte transaction for modified block size purposes.
If the output is spent by a 490 byte transaction, then that transaction would count as -10 bytes.
Essentially, the transaction's modified size would be
actual size + sum(output loading) - sum(input loading)
When loading an output, that transaction costs more but then the spending transaction costs less.
This means that the channel open transactions could be loaded so that the channel close transactions don't actually use up block space.
If there was a lot of congestion miners could still include up to 10MB of channel close transactions per block. The average block size would be 1MB but could be increased by 10X in an emergency.