# Belgium vs Spain Postgame Audit

Status: settled
Final regulation score: Belgium 1-2 Spain
C4 status: HIT
Winning node: C4-3, Belgium 1-2 Spain

## Locked C4

1. Belgium 0-1 Spain
2. Belgium 0-2 Spain
3. Belgium 1-2 Spain
4. Belgium 1-1 Spain

## What went right

- Turtle preserved the Belgium wall-break instead of making all four public nodes Spain clean sheets.
- The exact landing node was the Spain-result wall-break branch: Belgium scored once, Spain still won by one.
- The clean-sheet override did useful work by forcing Spain control into the card, but it did not delete Belgium scoring entirely.
- The R5 wall-break branch preserved the correct score even though Spain's current World Cup clean-sheet run attacked it.

## What failed

- Spain's clean-sheet streak did not continue, so C4-1 and C4-2 were wrong branches.
- The support-market language needed stricter alignment rules. Under 2.5 cannot be described as full support for this C4, because it directly conflicts with Belgium 1-2 Spain.
- Future support analysis must say whether a market protects every C4 node or only a subset. Partial protection is not the same as full-card protection.

## Method patch

Support markets now require a node-coverage audit:

1. If a market protects all four C4 scores, it can be called full-card aligned.
2. If it protects only some scores, it must be labeled partial.
3. If it conflicts with a locked score, that conflict must be visible before any public support note is written.

## Final read

This was a valid C4 hit. It was not a proof of predictive power, and it does not erase prior failures. It does show the repaired protocol working in one important way: the clean-sheet fact was respected, but the opposing wall-break fact was preserved strongly enough to catch the actual final score.