M102 / World Cup semifinal / Settled exact C4 hit

EnglandvsArgentina

The final score landed exactly on the frozen 1-2 node. The lock remains immutable, and the audit records both the hit and the model limits.

Final: England 1-2 Argentina
Venue: Atlanta Stadium
Lock: 11:14:47 AM EDT

EXACT C4 HITEngland first

REGULATION ONLYFOUR EQUAL NODESCONDITIONAL PASSANALYSIS ONLY

The frozen score cloud

Node 01 / Draw Low 1-1 17.5% model mass / 100% fork retention

Node 02 / Arg Btts Win 1-2 14.1% model mass / 100% fork retention

Node 03 / Arg Clean Win 0-1 11.7% model mass / 100% fork retention

Node 04 / Eng Btts Win 2-1 7.3% model mass / 75% fork retention

Node 2, England 1-2 Argentina, matched the regulation-time result. It had 14.1% posterior mass and survived 8/8 forks. England 2-1 remains the fragile node: it survives six of eight forks.

Chronology control

Fixture and deadlines

The lock is pregame and regulation-time scoped. Later match information cannot enter this record.

Fixture: England vs Argentina
Stage: FIFA World Cup semifinal
Venue: Atlanta Stadium, Atlanta
Orientation: England score first

Event	UTC	State
No-leak cutoff	2026-07-15 14:09	VERIFIED
C4 lock	2026-07-15 15:14:47Z	FROZEN
Kickoff	2026-07-15 19:00	COMPLETED

Answer first

Executive evidence

The model prefers an Argentina result but preserves draw, clean-sheet, mutual-scoring, and England-one-goal branches. Sparse comparable opposition is shrunk rather than disguised.

Model-valid rows100

50 England and 50 Argentina regulation-time rows.

Argentina result46.2%

Draw 30.3%; England 23.5% in the declared result thread.

Expected goals1.19 / 1.41

England first; knockout caution already applied.

Stability3 + 1

Three nodes survive 8/8 forks; one fragile node survives 6/8.

Interpretation boundary

These are model quantities, not certainty claims. The C4 is an immutable public prediction experiment, and exact-score mass remains diffuse.

Team evidence / England

England data

Fifty admitted rows, the latest ten, the current tournament, and the shrunk Argentina-strength realm contribute to the England attack and defensive-weakness features.

GF last 502.20

Unadjusted historical scoring rate.

GA last 500.68

Unadjusted historical concession rate.

GF last 101.70

Recent-window scoring input.

GA last 100.70

Recent-window defensive input.

Team evidence / Argentina

Argentina data

Argentina receives the same row-admission, cutoff, regulation-time, and opponent-strength standards as England.

GF last 502.16

Unadjusted historical scoring rate.

GA last 500.48

Unadjusted historical concession rate.

GF last 102.50

Recent-window scoring input.

GA last 100.60

Recent-window defensive input.

Comparable opposition

Opponent-strength realms

Performance against all opponents is not treated as interchangeable. England's comparable realm is admitted conditionally and shrunk toward its broader prior.

England against Argentina-strength opponents CONDITIONAL_PASS_SPARSE_REALM

Rows: 5
n_eff: 4.093
Epsilon: 1.25

Low-confidence Bayesian shrinkage with kappa=5 is disclosed and penalized.

Argentina against England-strength opponents PASS

Rows: 7
n_eff: 6.317
Epsilon: 0.75

The declared row and effective-sample gates pass without the sparse-realm exception.

Material limitation

England's realm has five rows but n_eff=4.093. This is why the run is a conditional pass and why extreme cells receive an explicit uncertainty penalty.

People on the pitch

Players, lineup, and availability

Probable-lineup and availability evidence was reviewed before lock, but it was not promoted into a decisive multiplier. Uncertain lineup information remains a sensitivity fork.

Availability reviewRECORDED

See the published lineup review.

Human signalPRESERVED

Named branches are included or rejected numerically.

Lineup multiplierNONE

No speculative certainty was inserted into the lambdas.

ScopePREGAME

No live event entered the frozen run.

Model before nodes

Statistical threads

Result, margin, total, mutual-scoring, and clean-sheet branches are estimated before exact scores are ranked.

Thread	Bucket	Probability
Result	ENG WIN	23.5%
Result	DRAW	30.3%
Result	ARG WIN	46.2%
Spread	ENG BY1	16.5%
Spread	ENG BY2 PLUS	6.1%
Spread	DRAW	37.1%
Spread	ARG BY1	32.5%
Spread	ARG BY2 PLUS	7.8%
Total	TOTAL 0 1	19.8%
Total	TOTAL 2	25.9%
Total	TOTAL 3	32.4%
Total	TOTAL 4 PLUS	21.9%
Scoring and clean-sheet	BTTS YES	60.1%
Scoring and clean-sheet	BTTS NO	39.9%
Scoring and clean-sheet	ENG CLEAN SHEET	17.3%
Scoring and clean-sheet	ARG CLEAN SHEET	21.4%
Scoring and clean-sheet	BOTH CLEAN	19.3%
Scoring and clean-sheet	NO CLEAN SHEET	60.1%
Scoring and clean-sheet	ENG SCORES	73.1%
Scoring and clean-sheet	ARG SCORES	80.8%

Finite score universe

Score families and candidate grid

The score universe is 0 through 7 for each team. The count kernel is corrected by declared thread terms, family support, and contradiction penalties before normalization.

01100 admitted rowsPASS
02Two opponent realms1 PASS / 1 CONDITIONAL
03Normalized threadsPASS
0464-cell score gridPASS
05Unique C4 objectivePASS

Rank	Score	Count	Posterior	Family	Status
1	1-1	12.5%	17.5%	DRAW LOW	LOCKED C4
2	1-2	8.8%	14.1%	ARG BTTS WIN	LOCKED C4
3	0-1	10.5%	11.7%	ARG CLEAN WIN	LOCKED C4
4	2-1	7.4%	7.3%	ENG BTTS WIN	LOCKED C4
5	0-0	7.4%	7.3%	DRAW LOW	EXCLUDED
6	2-2	5.2%	6.7%	DRAW HIGH	EXCLUDED
7	1-0	8.8%	5.9%	ENG CLEAN WIN	EXCLUDED
8	0-2	7.4%	5.4%	ARG CLEAN WIN	EXCLUDED
9	1-3	4.1%	3.4%	ARG RUTHLESS BTTS	EXCLUDED
10	2-3	2.5%	3.3%	ARG BTTS WIN	EXCLUDED

Recursive attack

Contradiction audit

Every selected branch was attacked by its strongest opposing fact. Every major unselected branch has a rule-based disposition.

01
FAVORITE CLEAN SHEET
0-1 is the highest clean-sheet exact node and enters the proposed C4.
ACTIVE NOT FORCING
02
UNDERDOG CLEAN SHEET
1-0 is rank 7 and does not displace the selected England BTTS branch.
ACTIVE NOT FORCING
03
BTTS
1-1;1-2;2-1 supply BTTS coverage.
FORCING RULE MET
04
NO BTTS
0-1 supplies the no-BTTS branch.
FORCING RULE MET
05
LOW DRAW
1-1 rank 1 is selected; 0-0 rank 5 is excluded by the unique objective comparison.
SURVIVES VIA 1 1
06
HIGH DRAW
2-2 rank 6 is below the C4 boundary.
EXCLUDED BY POSTERIOR AND OBJECTIVE
07
ARGENTINA BY ONE
1-2 and 0-1 are both selected.
FORCING RULE MET
08
ENGLAND BY ONE
2-1 provides England-win coverage; 1-0 rank 7 is excluded.
FRAGILE SURVIVOR
09
ARGENTINA CUSHION
0-2 rank 8 has a 0.09065867 contradiction penalty.
EXCLUDED BY POSTERIOR AND PENALTY
10
ENGLAND UPSET
2-1 has posterior 0.07345419 and 6 of 8 retention rather than an unqualified claim.
FRAGILE SURVIVOR
11
OVER 3 5 CHAOS
2-2;1-3;2-3 are ranks 6;9;10 and do not beat the C4 objective.
EXCLUDED BY POSTERIOR AND PENALTY
12
RUTHLESS LADDER
1-3 rank 9 has a 0.13598800 contradiction penalty.
EXCLUDED BY POSTERIOR AND PENALTY
13
RECURSIVE SELECTED
The contrary low-draw branch does not erase the rank-1 normalized exact node.
SURVIVES
14
RECURSIVE SELECTED
The score remains in all 8 declared stability forks.
SURVIVES
15
RECURSIVE SELECTED
The score supplies no-BTTS and Argentina-clean coverage and remains in all 8 forks.
SURVIVES
16
RECURSIVE SELECTED
It defeats 0-0 only by declared objective margin 0.00421685 and is labeled fragile.
FRAGILE SURVIVOR
17
BOUNDARY EXCLUSION
It loses to 2-1 by 0.00421685 because it lacks England-win result diversity.
EXCLUDED BY EXHAUSTION
18
BOUNDARY EXCLUSION
High-draw support is only 0.08005643 and no declared constraint requires it.
EXCLUDED BY EXHAUSTION

Selection theorem

Mathematical proof

The theorem establishes reproducibility of the selector, not inevitability of the football result.

ell (s) = \log P_{count} (s) + \sum_{k} {beta}_{k} \log P_{k} (s) - penalty (s)

U: 64 regulation-time score cells
S10: Top ten cells after normalized log-index ranking
J: Posterior mass plus declared coverage bonuses minus adjacent redundancy
Tie: Lexicographically smallest sorted tuple
Gate: Every node must retain at least 50% across declared forks
Scope: England first; regulation time only

Theorem V2.1

Under the precommitted coefficients, candidate universe, coverage constraints, redundancy penalty, and lexicographic tie-break, the unique four-node maximizer is C4 = {1-1, 1-2, 0-1, 2-1} with J=0.52542775. The closest 0-0 alternative loses by 0.00421685. The result is conditional because one realm is sparse.

Fork	Count model	Selected C4	Overlap
BASELINE	poisson	1-1, 1-2, 0-1, 2-1	4/4
FULL PRIOR HEAVY	poisson	1-1, 1-2, 0-1, 2-1	4/4
SPARSE REALM HEAVY	poisson	1-1, 1-2, 0-1, 2-1	4/4
NEGATIVE BINOMIAL	negative_binomial	1-1, 0-1, 1-2, 0-0	3/4
ENGLAND ATTACK MINUS 4	poisson	1-1, 1-2, 0-1, 0-0	3/4
ARGENTINA ATTACK MINUS 4	poisson	1-1, 1-2, 0-1, 2-1	4/4
THREAD WEIGHTS MINUS 10	poisson	1-1, 1-2, 0-1, 2-1	4/4
THREAD WEIGHTS PLUS 10	poisson	1-1, 1-2, 0-1, 2-1	4/4

Immutable output

Locked C4

All four nodes are equal public predictions. There is no main node, trailing node, or hidden fifth score.

Equal C4 node 01 1-1

Draw Low. Posterior 17.5%; retained in 8/8 declared forks.

Equal C4 node 02 1-2

Arg Btts Win. Posterior 14.1%; retained in 8/8 declared forks.

Equal C4 node 03 0-1

Arg Clean Win. Posterior 11.7%; retained in 8/8 declared forks.

Equal C4 node 04 2-1

Eng Btts Win. Posterior 7.3%; retained in 6/8 declared forks.

C4 stateLOCKED

1-1, 1-2, 0-1, 2-1 / England first / July 15, 2026 at 11:14:47 AM EDT

Audit trail

Sources and artifact downloads

The public bundle exposes the frozen inputs, model outputs, proof, signatures, failure note, and integrity manifest.

Official fixtureFIFA match preview Official venueFIFA M102 listing ProofRead the full selection argument LockRead the immutable record Failure boundaryRead how C4 can miss IntegrityInspect the final hashes

Machine entryOpen the structured AI index Machine entryOpen the AI discovery manifest Machine entryOpen the agent-readable brief Machine entryOpen the full agent-readable record

Open the frozen artifact register

Artifact	State	Note
`fixture_verification.csv`	FROZEN	Published from the hashed V2.1 run.
`ENG_admitted_ledger_v2.csv`	FROZEN	Published from the hashed V2.1 run.
`ARG_admitted_ledger_v2.csv`	FROZEN	Published from the hashed V2.1 run.
`model_valid_review_v2.csv`	FROZEN	Published from the hashed V2.1 run.
`team_strength_ratings_v2.csv`	FROZEN	Published from the hashed V2.1 run.
`opponent_threshold_ledger_v2.csv`	FROZEN	Published from the hashed V2.1 run.
`realm_summaries_v2.csv`	FROZEN	Published from the hashed V2.1 run.
`model_summary.csv`	FROZEN	Published from the hashed V2.1 run.
`result_thread.csv`	FROZEN	Published from the hashed V2.1 run.
`spread_thread.csv`	FROZEN	Published from the hashed V2.1 run.
`total_thread.csv`	FROZEN	Published from the hashed V2.1 run.
`btts_clean_sheet_thread.csv`	FROZEN	Published from the hashed V2.1 run.
`score_family_thread.csv`	FROZEN	Published from the hashed V2.1 run.
`score_candidates.csv`	FROZEN	Published from the hashed V2.1 run.
`contradiction_ledger_v2_1.csv`	FROZEN	Published from the hashed V2.1 run.
`stability_audit.csv`	FROZEN	Published from the hashed V2.1 run.
`C4_PROOF_V2_1.md`	FROZEN	Published from the hashed V2.1 run.
`PREDICTION_LOCK_V2_1.md`	FROZEN	Published from the hashed V2.1 run.
`WHY_THIS_CARD_CAN_FAIL_V2_1.md`	FROZEN	Published from the hashed V2.1 run.
`artifact_hashes_v2_1_final.csv`	FROZEN	Published from the hashed V2.1 run.
`POSTGAME_AUDIT.md`	APPENDED	Postgame evidence; does not alter the immutable V2.1 lock.
`final_match_stats.csv`	APPENDED	Postgame evidence; does not alter the immutable V2.1 lock.
`thread_settlement.csv`	APPENDED	Postgame evidence; does not alter the immutable V2.1 lock.
`market_settlement_2026-07-15.csv`	APPENDED	Postgame evidence; does not alter the immutable V2.1 lock.
`postgame_artifact_hashes.csv`	APPENDED	Postgame evidence; does not alter the immutable V2.1 lock.

Settled after regulation

Postgame analysis

The immutable C4 recorded an exact 1-2 hit. This appended audit separates terminal-state accuracy, match mechanism, and the zero-dollar market exercise without rewriting the pregame record.

England1

FULL TIMEExact C4 hit / node 2

Argentina2

Exact node1-2

Second-ranked equal public node; 14.1% locked posterior and 8/8 fork retention.

C4 mass50.7%

Nearly half of normalized mass remained outside the four-node cloud.

Spread caveat2nd

Argentina by one hit, but draw was the largest pregame spread bucket.

Paper screen3/3

Qualified broad positions settled correctly; no money was executed by Turtle.

Thread-by-thread

What landed, and at what rank

Layer	Locked bucket	Probability	Settlement	Audit note
EXACT SCORE	1-2	14.1%	EXACT C4 HIT	Second-ranked equal public node; retained in 8/8 declared stability forks
RESULT	ARG WIN	46.2%	HIT TOP BUCKET	Argentina win was the largest result bucket but remained below 50 percent
SPREAD	ARG BY1	32.5%	HIT NON TOP BUCKET	The realized margin branch was modeled but draw at 0.371 was the largest spread bucket
TOTAL	TOTAL 3	32.4%	HIT TOP BUCKET	The match finished with exactly three regulation-time goals
BTTS	BTTS YES	60.1%	HIT TOP BUCKET	Both teams scored
CLEAN SHEET	NO CLEAN SHEET	60.1%	HIT TOP BUCKET	Neither team kept a clean sheet
TEAM SCORES	ENG SCORES	73.1%	HIT	England scored once
TEAM SCORES	ARG SCORES	80.8%	HIT	Argentina scored twice

What the model captured

The terminal family was coherent.

Argentina win, exactly three goals, BTTS, and no clean sheet all landed. The selected 1-2 node combined those four states.

What the model did not predict

The route was a late comeback.

England led from minute 55. Argentina equalized at 85 and won at 90+2. The score cloud modeled the endpoint, not the timing or England's late retreat.

Calibration boundary

One hit is one observation.

The England opponent realm was still a sparse conditional pass at n_eff 4.093. This result cannot establish repeatability or profitability.

Observed match

Final broadcast statistics

These numbers explain the settled match; they were not pregame inputs.

Team	Possession	Shots	On target	Passes	Corners	Scorers
England	36%	6	3	280	1	Anthony Gordon 55
Argentina	64%	14	6	540	6	Enzo Fernandez 85; Lautaro Martinez 90+2

Faithful conclusion

The frozen regulation-time C4 contained the exact final score. It was not a singled-out prediction, and the exact-score market had failed Turtle's conservative value buffer before kickoff. Read the full audit, market settlement, and append-only hashes.