Pregame lock / July 11 / England vs Norway

Locked C4: BTTS stress, England edge, Norway upset preserved.

This page is now the public dossier, not just the card. The lock remains unchanged: England have the base result edge, but Norway's Brazil route, Haaland signal, and scoring profile prevent a clean-sheet-only favorite card.

C4-1 / England-by-one BTTS England 2-1 Norway

England result edge survives, but Norway scoring evidence defeats clean-sheet-only branches.

Rule: R2

C4-2 / Draw/block England 1-1 Norway

Both teams have 1-1 as a leading draw mode; knockout draw branch must be preserved.

Rule: R4

C4-3 / High draw / second Norway goal England 2-2 Norway

Mutual-scoring stress is strong enough that the second Norway goal cannot be deleted.

Rule: R5b

C4-4 / Norway upset by one England 1-2 Norway

Neohm's Norway-win signal is preserved, and Norway's Brazil route plus scoring profile defeats silent exclusion.

Rule: R5/R6

Open lock file Download C4 CSV Contradictions

How to read this lock

The score cloud is four branches, not four random dots.

England edge

England's last-50 result profile and blended lambda keep England by one as the first branch, but the clean-sheet version is attacked by Norway scoring.

Draw block

Both ledgers carry 1-1 as a real draw mode. The proof keeps 1-1 instead of deleting draw just because England are stronger.

Second Norway goal

After Argentina-Egypt, a live underdog scoring branch must test whether it stops at one. That is why 2-2 is public.

Norway upset

Neohm named the Norway route. Human signal preservation forces inclusion or numeric rejection; the model includes 1-2 and rejects cushion upset.

Pregame diagnostic watchboard

What would start confirming or breaking this card after kickoff?

This is not a live rewrite. It is a pregame falsification map: when the match starts, these are the pressure points Turtle must watch without moving the locked C4.

England lead first

2-1 becomes the cleanest live branch.

If England score before Norway, the card wants Norway response rather than England clean-sheet control. A quick second England goal shifts attention to the wider 3-1 family, not to a rewritten lock.

Norway lead first

1-2 and 1-1 become the main stress test.

This is the human-signal branch. England pressure should still create a response; if Norway score first and England do not regain control, the upset branch is doing real work.

Halftime 0-0

The lock is stressed but not dead.

A goalless half attacks every C4 node because all four require BTTS. The strongest remaining public nodes would be 1-1 and 1-2; 2-2 would need an unusually open second half.

Early 1-1

The second goal question decides the file.

At 1-1, Turtle's core question becomes whether England land the 2-1 control node, Norway force 1-2, or the match opens into 2-2. This is exactly why the card preserves all three branches.

Model summary

The count kernel starts the problem; branch rules finish it.

Count kernel P(a,b)=Pois(a; 1.881) * Pois(b; 1.539)

The kernel is not the final card. Turtle then applies result, spread, total, BTTS, clean-sheet, and human-signal rules.

1.881England lambda 1.539Norway lambda

resultEngland win46%

Poisson-plus-branch index and England base WDL

resultDraw27%

Both teams show 1-1 as leading draw mode

resultNorway win27%

Human signal, Brazil route, Norway scoring stress

spreadEngland by 131%

2-1 selected as primary result branch

spreadDraw27%

1-1 and 2-2 both preserved

spreadNorway by 120%

1-2 preserved; cushion upset rejected

totalOver 1.578%

All C4 scores clear 1.5

totalOver 2.558%

Three of four C4 scores clear 2.5

totalOver 3.531%

2-2 only inside C4; 3-2 wider orbit only

BTTSBTTS yes66%

All C4 scores are BTTS

Score-by-score attacks

Every score first faces the fact that could kill it.

2-1

SURVIVES

Attack. England clean-sheet/control branch says Norway should stop at zero.

Basis. Norway last-10 scoring 90.0%; Norway current WC BTTS 100.0%; England conceded in 48.0% last-50.

R2/R3

1-1

SURVIVES

Attack. England result edge says draw should not be public.

Basis. England draw mode 1-1 is 6/11 draws; Norway draw mode 1-1 is 7/12 draws; draw branch is not empty.

2-2

SURVIVES

Attack. Over-3.5 burden and England defensive profile attack a high draw.

Basis. Norway current WC over-2.5 100.0%; both newest route rows are BTTS; 2-2 is the lower high-draw node before 3-2/3-3 tails.

R5b

1-2

SURVIVES_AS_C4

Attack. England base strength and last-10 GA attack a Norway win.

Basis. Human signal named Norway win; Norway beat Brazil 2-1 in current route context; Norway last-10 scored 90.0%.

R5/R6

1-0

EXCLUDED

Attack. Clean-sheet route for England.

Basis. Clean-sheet override inactive; Norway current WC BTTS 100.0% and scored 90.0% last-10.

R1/R3

2-0

EXCLUDED

Attack. England cushion clean sheet.

Basis. Cushion exists, but no-BTTS branch loses to 2-1 because Norway scoring pressure is material.

R1/R3

0-0

EXCLUDED

Attack. Knockout low block.

Basis. England last-50 scored 88.0%; Norway last-50 scored 84.0%; both current route rows are nonzero.

3-1

EXCLUDED

Attack. England high-control BTTS.

Basis. Duplicates England-win branch already represented by 2-1 while deleting the second Norway goal that R5b forces into comparison.

R5a/R5b

3-2

WIDER_ORBIT_ONLY

Attack. Newest route rows invite 3-2 stress.

Basis. Live stress tail is real, but C4 uses 2-2 for the second-Norway-goal branch with lower five-goal burden.

R5a

Proof engine

Definitions, data, rules, lemmas, theorem.

Definition 1. C4 is exactly four regulation-time nodes, written as England goals - Norway goals.

Definition 2. The count kernel is P(a,b)=Pois(a; 1.881) Pois(b; 1.539).

Data 1. England last-50 is W-D-L 32-11-7, GF 2.300, GA 0.680, clean sheets 52.0%.

Data 2. Norway last-50 is W-D-L 27-12-11, scored 84.0%, BTTS 56.0%.

Rule R1. No clean-sheet score enters automatically because the clean-sheet override is inactive: Norway last-10 scoring is 90.0% and Norway current World Cup BTTS is 100.0%.

Rule R2. Keep England's strongest result branch after Norway-scoring attack. This selects 2-1 over 1-0 and 2-0.

Rule R4. Keep one draw/block node when both ledgers support a draw mode. This selects 1-1.

Rule R5b. If BTTS stress survives, test the second Norway goal. This selects 2-2 over deleting high draw stress.

Rule R6. Human signal preservation requires a Norway-win node or a numeric rejection. Norway 1-2 survives; Norway cushion is rejected.

Theorem. Under Definitions 1-2, Data 1-2, and Rules R1-R6, the locked C4 is {2-1, 1-1, 2-2, 1-2}.

Candidate table

Every visible score has a status.

score	p_count	turtle_index	result_branch	total_bucket	btts_state	status	selection_rule
2-1	0.089	1.000	ENG_BY_ONE	T_3	BTTS	MAIN	R2
1-1	0.095	0.934	DRAW_LOW	T_2	BTTS	MAIN	R4
1-2	0.073	0.813	NOR_BY_ONE	T_3	BTTS	SCORE_4	R5/R6
2-2	0.069	0.754	DRAW_HIGH	T_4	BTTS	MAIN	R5b
3-1	0.056	0.559	ENG_CUSHION	T_4	BTTS	EXCLUDED_BY_INDEX_COMPARISON	R5a/R5b
1-0	0.062	0.457	ENG_BY_ONE	T_0_1	NO_BTTS	EXCLUDED_BY_BTTS_CLEAN_SHEET_THREAD	R1/R3
3-2	0.043	0.411	ENG_BY_ONE	T_5_PLUS	BTTS	EXCLUDED_BY_INDEX_COMPARISON	R5a/R5b
0-1	0.050	0.382	NOR_BY_ONE	T_0_1	NO_BTTS	EXCLUDED_BY_RESULT_THREAD	R2
2-0	0.058	0.360	ENG_CUSHION	T_2	NO_BTTS	EXCLUDED_BY_BTTS_CLEAN_SHEET_THREAD	R1/R3
0-2	0.039	0.250	NOR_CUSHION	T_2	NO_BTTS	EXCLUDED_BY_RESULT_THREAD	R2
0-0	0.033	0.231	DRAW_LOW	T_0_1	NO_BTTS	EXCLUDED_BY_TOTAL_THREAD	R1

Recursive attack

The card survives by beating its strongest opposing facts.

candidate	attack	decision	rule	numeric_basis
2-1	England clean-sheet/control branch says Norway should stop at zero.	SURVIVES	R2/R3	Norway last-10 scoring 90.0%; Norway current WC BTTS 100.0%; England conceded in 48.0% last-50.
1-1	England result edge says draw should not be public.	SURVIVES	R4	England draw mode 1-1 is 6/11 draws; Norway draw mode 1-1 is 7/12 draws; draw branch is not empty.
2-2	Over-3.5 burden and England defensive profile attack a high draw.	SURVIVES	R5b	Norway current WC over-2.5 100.0%; both newest route rows are BTTS; 2-2 is the lower high-draw node before 3-2/3-3 tails.
1-2	England base strength and last-10 GA attack a Norway win.	SURVIVES_AS_C4	R5/R6	Human signal named Norway win; Norway beat Brazil 2-1 in current route context; Norway last-10 scored 90.0%.
1-0	Clean-sheet route for England.	EXCLUDED	R1/R3	Clean-sheet override inactive; Norway current WC BTTS 100.0% and scored 90.0% last-10.
2-0	England cushion clean sheet.	EXCLUDED	R1/R3	Cushion exists, but no-BTTS branch loses to 2-1 because Norway scoring pressure is material.
0-0	Knockout low block.	EXCLUDED	R1	England last-50 scored 88.0%; Norway last-50 scored 84.0%; both current route rows are nonzero.
3-1	England high-control BTTS.	EXCLUDED	R5a/R5b	Duplicates England-win branch already represented by 2-1 while deleting the second Norway goal that R5b forces into comparison.
3-2	Newest route rows invite 3-2 stress.	WIDER_ORBIT_ONLY	R5a	Live stress tail is real, but C4 uses 2-2 for the second-Norway-goal branch with lower five-goal burden.

Support market analysis / after lock only

Support is separated from the score prediction.

market_family	side	model_fair_probability	alignment	protected_scores	hurt_scores
BTTS	YES	0.66	full-card support	2-1,1-1,2-2,1-2	none inside C4
Over 1.5	YES	0.78	full-card support	2-1,1-1,2-2,1-2	none inside C4
Regulation total 3.5	UNDER / NO over 3.5	0.69 under	partial-card support only	2-1,1-1,1-2	2-2

Evidence board

All 50 highlighted facts are now visible before the raw 200-fact file.

Facts are evidence inputs, not predictions. They are kept here so the C4 can be audited after the match instead of remembered differently.

Top-50 evidence density

last-50 12 current context 5 current tournament 4 last-10 4 concession timing 2 draw split 2 goal timing 2 history 2 last-5 2 loss split 2 route 2 score modes 2 scorer profile 2 win split 2 availability 1 discipline 1 fixture 1 player 1 weather 1

ENGNOR-F001fixture

England vs Norway is the July 11, 2026 World Cup quarter-final scheduled for Hard Rock Stadium in Miami/Miami Gardens, with kickoff listed at 5:00 PM ET / 10:00 PM BST.

Fixture and cutoff identity only; this is not a score fact.

ENGNOR-F002route

England's live route into this file adds a 3-2 knockout win over Mexico to the older local ledger.

Adds one current high-volatility row outside the copied last-50 file.

ENGNOR-F003route

Norway's live route into this file adds a 2-1 knockout win over Brazil; the route source identifies Haaland as a two-goal scorer.

Adds one elite-opponent upset row outside the copied last-50 file.

ENGNOR-F004availability

England current-context reports list Jarell Quansah suspended and Jordan Henderson absent, while Marc Guehi, Declan Rice, and Reece James returned to training after earlier concerns.

Availability evidence that must be separated from score selection.

ENGNOR-F005history

FourFourTwo separates friendly and competitive history: England dominated friendlies, while Norway hold the better competitive record and have World Cup qualifying wins of 2-1 and 2-0 over England.

Historical context for branch audit; low weight because most rows are old.

ENGNOR-F006last-50

England's last-50 ledger has 32 wins, 11 draws, and 7 losses.

Base result profile before opponent-threshold filtering.

ENGNOR-F007last-50

England averaged 2.300 GF, 0.680 GA, 2.980 total goals, and 1.620 goal difference per match.

Base scoring and margin prior.

ENGNOR-F008last-50

England scored in 88.0%, failed to score in 12.0%, conceded in 48.0%, and kept clean sheets in 52.0%.

Scoring and clean-sheet gates for later contradiction.

ENGNOR-F009last-50

England's last-50 BTTS rate is 42.0%; over-1.5, over-2.5, and over-3.5 rates are 80.0%, 56.0%, and 28.0%.

Total-goals and BTTS base rates.

ENGNOR-F010last-50

England scored 2+ goals in 60.0% and 3+ goals in 38.0% of the last 50.

Separates one-goal control from cushion/ruthless branches.

ENGNOR-F011last-50

England allowed 2+ goals in 16.0% and allowed 3+ goals in 4.0% of the last 50.

Attacks open Norway-score branches with concession evidence.

ENGNOR-F012score modes

England's last-50 scoreline modes are 3-0 (7/50); 1-1 (6/50); 2-0 (6/50); 2-1 (4/50); 1-0 (4/50).

Exact-score family prior, not a prediction.

ENGNOR-F013win split

England wins: 32 rows, GF 3.125, GA 0.344, total 3.469, modes 3-0 (7/32); 2-0 (6/32); 2-1 (4/32)

Defines how England wins usually look in the ledger.

ENGNOR-F014draw split

England draws: 11 rows, GF 1.000, GA 1.000, total 2.000, modes 1-1 (6/11); 0-0 (3/11); 3-3 (1/11)

Defines low-draw and high-draw evidence before the model chooses.

ENGNOR-F015loss split

England losses: 7 rows, GF 0.571, GA 1.714, total 2.286, modes 1-2 (3/7); 0-1 (3/7); 1-3 (1/7)

Defines the shape of England failure states.

ENGNOR-F016last-10

England's last-10 ledger has 7 wins, 2 draws, and 1 losses, with GF 1.700 and GA 0.500.

Recency result and scoring profile.

ENGNOR-F017last-10

England last-10 rates: scored 80.0%, clean sheet 60.0%, BTTS 30.0%, over-2.5 40.0%.

Recency gates for score-family comparison.

ENGNOR-F018last-5

England's last five local rows are 3-0 (1/5); 4-2 (1/5); 0-0 (1/5); 2-0 (1/5); 2-1 (1/5) with GF 2.200, GA 0.600, and clean-sheet rate 60.0%.

Short-form stress sample before adding the Mexico row.

ENGNOR-F019current tournament

England's tournament-only local World Cup rows before Mexico are 4 matches: GF 2.000, GA 0.750, BTTS 50.0%, over-2.5 50.0%.

Current tournament row family, qualifiers excluded.

ENGNOR-F020current tournament

England's tournament-only rows before Mexico are 4-2 Croatia, 0-0 Ghana, 2-0 Panama, and 2-1 DR Congo.

Keeps the actual local tournament evidence visible.

ENGNOR-F021goal timing

England have 116 parsed last-50 goal minutes; 27 were at or before 30', 33 were at or after 75', median minute 52.0.

Goal-timing profile for late-pressure and early-control tests.

ENGNOR-F022concession timing

England have 37 parsed concession minutes; 11 were at or before 30' and 10 were at or after 75'.

Concession-timing profile for Norway late-star pressure.

ENGNOR-F023scorer profile

Tracked England scorer mentions in the ledger: Kane (26/58); Bellingham (8/58); Saka (8/58); Watkins (5/58); Rashford (5/58).

Player-scoring evidence from row text, not a lineup forecast.

ENGNOR-F024last-50

Norway's last-50 ledger has 27 wins, 12 draws, and 11 losses.

Base result profile before opponent-threshold filtering.

ENGNOR-F025last-50

Norway averaged 1.900 GF, 1.080 GA, 2.980 total goals, and 0.820 goal difference per match.

Base scoring and margin prior.

ENGNOR-F026last-50

Norway scored in 84.0%, failed to score in 16.0%, conceded in 64.0%, and kept clean sheets in 36.0%.

Scoring and clean-sheet gates for later contradiction.

ENGNOR-F027last-50

Norway's last-50 BTTS rate is 56.0%; over-1.5, over-2.5, and over-3.5 rates are 82.0%, 58.0%, and 32.0%.

Total-goals and BTTS base rates.

ENGNOR-F028last-50

Norway scored 2+ goals in 48.0% and 3+ goals in 32.0% of the last 50.

Separates one-goal underdog branches from multi-goal upset branches.

ENGNOR-F029last-50

Norway allowed 2+ goals in 28.0% and allowed 3+ goals in 10.0% of the last 50.

Attacks England cushion branches with Norway concession evidence.

ENGNOR-F030score modes

Norway's last-50 scoreline modes are 1-1 (7/50); 2-1 (5/50); 1-0 (4/50); 0-0 (4/50); 1-2 (4/50).

Exact-score family prior, not a prediction.

ENGNOR-F031win split

Norway wins: 27 rows, GF 2.889, GA 0.593, total 3.481, modes 2-1 (5/27); 1-0 (4/27); 2-0 (3/27)

Defines how Norway wins usually look in the ledger.

ENGNOR-F032draw split

Norway draws: 12 rows, GF 0.833, GA 0.833, total 1.667, modes 1-1 (7/12); 0-0 (4/12); 3-3 (1/12)

Defines Norway draw/block evidence before the model chooses.

ENGNOR-F033loss split

Norway losses: 11 rows, GF 0.636, GA 2.545, total 3.182, modes 1-2 (4/11); 0-2 (2/11); 0-3 (1/11)

Defines the shape of Norway failure states.

ENGNOR-F034last-10

Norway's last-10 ledger has 6 wins, 2 draws, and 2 losses, with GF 1.900 and GA 1.200.

Recency result and scoring profile.

ENGNOR-F035last-10

Norway last-10 rates: scored 90.0%, clean sheet 30.0%, BTTS 70.0%, over-2.5 70.0%.

Recency gates for score-family comparison.

ENGNOR-F036last-5

Norway's last five local rows are 1-0 (1/5); 4-1 (1/5); 3-2 (1/5); 1-4 (1/5); 2-1 (1/5) with GF 2.200, GA 1.600, and BTTS rate 80.0%.

Short-form stress sample before adding the Brazil row.

ENGNOR-F037current tournament

Norway's tournament-only local World Cup rows before Brazil are 4 matches: GF 2.500, GA 2.000, BTTS 100.0%, over-2.5 100.0%.

Current tournament row family, qualifiers excluded.

ENGNOR-F038current tournament

Norway's tournament-only rows before Brazil are 4-1 Iraq, 3-2 Senegal, 1-4 France, and 2-1 Ivory Coast.

Keeps the actual local tournament evidence visible.

ENGNOR-F039goal timing

Norway have 96 parsed last-50 goal minutes; 33 were at or before 30', 17 were at or after 75', median minute 41.0.

Goal-timing profile for early burst and late-star tests.

ENGNOR-F040concession timing

Norway have 54 parsed concession minutes; 10 were at or before 30' and 18 were at or after 75'.

Concession-timing profile for England late-pressure tests.

ENGNOR-F041scorer profile

Tracked Norway scorer mentions in the ledger: Haaland (26/50); Sørloth (13/50); Nusa (7/50); Ødegaard (2/50); Aasgaard (2/50); Sorloth (0/50).

Player-scoring evidence from row text, not a lineup forecast.

ENGNOR-F042current context

Haaland is reported at seven tournament goals entering this quarter-final and at two goals in the Brazil knockout win.

External current scoring context that must be audited against England's defensive profile.

ENGNOR-F043current context

The two newest knockout context rows are high-event: England 3-2 Mexico and Norway 2-1 Brazil.

Adds live-tournament texture without changing the copied last-50 ledgers.

ENGNOR-F044current context

England's newest external context row is a 3-2 knockout win over Mexico, which is not inside the copied England last-50 ledger.

Adds a high-event survival row without mutating the source ledger.

ENGNOR-F045current context

Norway's newest external context row is a 2-1 knockout win over Brazil, which is not inside the copied Norway last-50 ledger.

Adds a star-led upset row without mutating the source ledger.

ENGNOR-F046current context

The two newest external knockout rows combine for eight regulation goals and both are BTTS rows.

Forces the next stage to test whether knockout context is opening the game state.

ENGNOR-F047player

Public buildup centers the attacking cast around Kane, Bellingham, Saka, Haaland, Odegaard, and Sorloth.

Keeps creator/finisher structure visible before a score model exists.

ENGNOR-F048discipline

Current buildup reports list England suspension/yellow-card management as live team context entering the quarter-final.

Potential defensive-aggression and substitution variable, not a score claim.

ENGNOR-F049weather

The match-day weather source flags Miami heat and thunderstorm-delay risk as operational context for the quarter-final.

Pace/interruption variable for the later model audit, not a score claim.

ENGNOR-F050history

The cited competitive history includes Norway 2-1 England in 1981, Norway 2-0 England in 1993, and England 4-0 Norway in 1980.

Low-weight historical branch context with exact old scorelines preserved.

Top 50 facts All 200 facts

Artifacts

Locked C4: BTTS stress, England edge, Norway upset preserved.

The score cloud is four branches, not four random dots.

England edge

Draw block

Second Norway goal

Norway upset

What would start confirming or breaking this card after kickoff?

2-1 becomes the cleanest live branch.

1-2 and 1-1 become the main stress test.

The lock is stressed but not dead.

The second goal question decides the file.

The count kernel starts the problem; branch rules finish it.

Every score first faces the fact that could kill it.

SURVIVES

SURVIVES

SURVIVES

SURVIVES_AS_C4

EXCLUDED

EXCLUDED

EXCLUDED

EXCLUDED

WIDER_ORBIT_ONLY

Definitions, data, rules, lemmas, theorem.

Every visible score has a status.

The card survives by beating its strongest opposing facts.

Support is separated from the score prediction.

All 50 highlighted facts are now visible before the raw 200-fact file.

Audit files generated before public lock.