# FOCIL High-Level Test Cases

1. **Transaction Handling:**
- IL committee broadcasts `txs` at `n`, included in `n+1` payload.
- IL committee consists of different inclusion rules.
- Test cases:
- `txs` exist in EL mempool before inclusion.
- `txs` added via inclusion lists.
- System functions correctly if block `n` is missing.

2. **Size Limits:**
- IL broadcasts over 8KB should be rejected by gossip.

3. **Multiple Inclusion Lists:**
- More than 2 ILs at `n`:
- Gossip should block subsequent IL.
- Proposers should skip block updates with `txs` coming from 2 ILs same sender.
- Attesters exclude them in `newPayload` call.

4. **Payload Validation:**
- Attesters include all IL transactions in `newPayload` call.
- If EL payload is unsatisfied, attesters, and sync committee members should not be vote for such block.
- IL transactions with underfounded account, nonce gap, should not cause any issues.

5. **Timing Invariant:**
- ILs received after local freeze should be excluded from `newPayloadCall` and must not trigger block reorg at `n+1`.
- ILs submitted close to local freeze should not trigger block reorg at `n+1`.
- A maximum of two ILs can be forwarded between local freeze and the next slot’s attestation deadline.

6. **Honest Mode:**
- Simulate X/Y honest IL committee assumption, how long does it take for an outstanding transactions to be included.