Soccer prediction system deep audit

Slate 20261016 · immutable forensic review of 1 match prediction artifact(s)

Executive conclusion

No critical breaches. The pipeline is internally consistent across the audited slate.

At a glance

1matches audited

0critical

0errors

1warnings

0grid non-reproducible

0headline != modal

0winner disagreements

0lambda inconsistencies

0with real result

-winner hit-rate

-decisive hit-rate

100%predicted draws

-actual draws

0confident misses

-mean Brier

Matches

Deportivo vs Levante

20261016_LEV@COR · LaLiga

WARNINGS risk 10 pred 1-1 (Draw)λ 1.21 / 1.26conf 0.69 warning 1 good 37

Problems (1)

Sev	Category	Rule	Message	Value	Expected
warning	provenance	`FBREF_PRIORS_ACTIVE`	FBref dataset files not found; team priors inactive.

Lambda evolution (audit trail)

Stage	Home λ	Away λ
Pre-competitive-floor	1.208	1.263
Pre-calibration	1.208	1.263
Final	1.208	1.263

competition_calibration_scale: 1.0competition_observed_total_goals: 0.0quality_gap_applied: Falsemismatch_score_pressure_applied: Falsecompetitive_underdog_floor_applied: Falsestage_discount: 1.0

Scoreline distribution

Top scorelines	P
1-1	13.0%
0-1	10.5%
1-0	10.1%
0-0	8.6%
1-2	8.1%

Outcome — home 35.0% · draw 27.4% · away 37.6%

Markets — O2.5 44.9% · BTTS 50.4%

Passed checks (37)

Sev	Category	Rule	Message
good	integrity	`SCHEMA_KEYS_PRESENT`	All required sections present.
good	structure	`LINEUP_ELEVEN`	Deportivo: 11 starters.
good	structure	`FORMATION_VALID`	Deportivo: formation 4-2-3-1 valid.
good	structure	`LINEUP_ELEVEN`	Levante: 11 starters.
good	structure	`FORMATION_VALID`	Levante: formation 4-3-3 valid.
good	probability	`OUTCOME_SUMS_ONE`	outcome sums to 1.0000.
good	probability	`MARKETS_COMPLEMENTARY`	Over/Under and BTTS pairs each sum to 1.
good	probability	`SCORELINE_PROBS_NONNEG`	All scoreline probabilities within [0,1].
good	probability	`GRID_SUMS_ONE`	scoreline grid sums to 0.9969.
good	model_behavior	`GRID_REPRODUCIBLE`	Grid reproducible from lambdas (max cell diff 0.0013).
good	model_behavior	`MOST_LIKELY_IS_MODE`	Headline score 1-1 is the modal scoreline.
good	probability	`MLS_PROBABILITY_MATCHES`	Headline probability matches the grid.
good	model_behavior	`OUTCOME_MATCHES_GRID`	Outcome split matches the grid (max diff 0.0017).
good	model_behavior	`MARKETS_MATCH_GRID`	Markets match the grid (max diff 0.0032).
good	integrity	`WINNER_IS_VALID_TEAM`	predicted_winner 'Draw' is a participating side.
good	model_behavior	`WINNER_PROBABILITY_DIRECTION`	predicted_winner 'Draw' follows the published modal scoreline 1-1. It differs from the calibrated 1X2 favorite 'Levante', which is published separately and does not decide the call.
good	model_behavior	`LAMBDA_BOUNDS`	Lambdas in range (home 1.208, away 1.263).
good	provenance	`LAMBDA_FACTORS_PRESENT`	lambda_factors audit trail present.
good	model_behavior	`LAMBDA_CONSISTENCY`	Lambda identical across prediction / antagonist / factors.
good	model_behavior	`CALIBRATION_SCALE_BOUNDS`	Calibration scale 1.0 in range.
good	provenance	`XGBOOST_REASONING_PRESENT`	Match-level xgboost_reasoning present (XGBoost).
good	model_behavior	`LAMBDA_REASONING_CONSISTENCY`	Lambdas in xgboost_reasoning match final Poisson lambdas (1.208 / 1.263).
good	provenance	`XGBOOST_PLAYER_REASONING`	All 22 starters carry full XGBoost / FBref reasoning.
good	integrity	`TEAM_GOALS_SUM`	Deportivo: player goals reconcile to team total (1).
good	integrity	`TEAM_GOALS_SUM`	Levante: player goals reconcile to team total (1).
good	structure	`POSSESSION_SUMS_100`	Possession sums to 100.0%.
good	integrity	`PLAYER_STAT_REALISM`	All 22 projected player lines pass realism checks.
good	structure	`EXACTLY_ONE_GOALKEEPER`	Deportivo: exactly one goalkeeper (Leo Román).
good	integrity	`SHOT_MATH_INTEGRITY`	All 11 projected lines have consistent shot components.
good	integrity	`TEAM_SHOTS_CAP`	Deportivo: 13 projected shots inside the realistic envelope.
good	structure	`EXACTLY_ONE_GOALKEEPER`	Levante: exactly one goalkeeper (Mathew Ryan).
good	integrity	`SHOT_MATH_INTEGRITY`	All 11 projected lines have consistent shot components.
good	integrity	`TEAM_SHOTS_CAP`	Levante: 13 projected shots inside the realistic envelope.
good	provenance	`STANDING_AVAILABLE`	League-standing context available for both sides.
good	provenance	`RANKING_PROVENANCE`	22/22 starters carry a ranking source.
good	provenance	`DATA_DEPTH`	22/22 starters have adequate recent history.
good	provenance	`PREGAME_TOTAL_CONSISTENT`	Pregame total 2.47 ~ Poisson total 2.47.

Rule catalogue

Rule	Description	Triggered
`SCHEMA_KEYS_PRESENT`	All required top-level sections exist in the artifact.	ok
`LINEUP_ELEVEN`	Each side fields exactly 11 starters.	ok
`FORMATION_VALID`	Formation string parses and its outfield lines sum to 10.	ok
`POSSESSION_SUMS_100`	Estimated possession of both teams sums to ~100%.	ok
`TEAM_GOALS_SUM`	Players' projected integer goals sum to the team's headline score.	ok
`TEAM_TOTALS_SCORE_MATCH`	team_totals.projected_goals equals the headline score component.	ok
`TEAM_EG_LAMBDA_MATCH`	team_totals.expected_goals matches the team's Poisson lambda.	ok
`PLAYER_STAT_REALISM`	Projected player lines are internally consistent (xG<=shots, accurate<=total passes, minutes/rating in range).	ok
`EXACTLY_ONE_GOALKEEPER`	Each starting XI fields exactly one goalkeeper.	ok
`SHOT_MATH_INTEGRITY`	Shot components are physically consistent (on target <= total, on+off <= total; blocked shots cannot be negative).	ok
`PLAYER_MINUTES_LEAGUE_CAP`	No player projects more minutes than the competition clock allows (90 + stoppage, or extra time in cups).	ok
`TEAM_SHOTS_CAP`	Team projected shots stay inside the realistic historical envelope (~35).	ok
`OUTCOME_SUMS_ONE`	home_win + draw + away_win sums to 1.	ok
`MARKETS_COMPLEMENTARY`	Over/Under and BTTS pairs each sum to 1.	ok
`GRID_SUMS_ONE`	The scoreline probability grid sums to ~1.	ok
`SCORELINE_PROBS_NONNEG`	Every scoreline probability is a valid [0,1] value.	ok
`GRID_REPRODUCIBLE`	The reported scoreline grid is reproducible from the lambdas.	ok
`MOST_LIKELY_IS_MODE`	The headline most-likely score is the distribution's modal scoreline.	ok
`MLS_PROBABILITY_MATCHES`	most_likely_score_probability equals the grid value of that score.	ok
`OUTCOME_MATCHES_GRID`	The reported win/draw/loss split is derivable from the grid.	ok
`MARKETS_MATCH_GRID`	The reported Over/Under and BTTS are derivable from the grid.	ok
`WINNER_MATCHES_SCORE`	predicted_winner agrees with the headline score direction.	ok
`WINNER_PROBABILITY_DIRECTION`	predicted_winner derives from the published modal scoreline; diverging from the 1X2 favorite is expected.	ok
`WINNER_IS_VALID_TEAM`	predicted_winner names a participating team (or Draw).	ok
`MODAL_OUTCOME_IS_DRAW`	Draw is the single largest outcome bucket while a team is named.	ok
`LAMBDA_BOUNDS`	Both lambdas fall inside the engine's [0.55, 5.00] envelope.	ok
`LAMBDA_CONSISTENCY`	The lambda is identical across prediction / antagonist / lambda_factors.	ok
`LAMBDA_FACTORS_PRESENT`	The lambda_factors decomposition (audit trail) is present.	ok
`CALIBRATION_SCALE_BOUNDS`	competition_calibration_scale stays within [0.85, 1.35].	ok
`CALIBRATION_RECORDED`	When calibration ran, the pre-calibration lambdas are recorded.	ok
`STANDING_AVAILABLE`	League-standing context is available for a domestic fixture.	ok
`RANKING_PROVENANCE`	Player ranking/quality signals carry a recognised source.	ok
`DATA_DEPTH`	Starters have enough recent games to model rather than synthesise.	ok
`FBREF_PRIORS_ACTIVE`	FBref season-prior files exist so that branch is not silently inert.	1 problems
`XGBOOST_REASONING_PRESENT`	Match-level xgboost_reasoning payload is present with full tracing pipeline.	ok
`XGBOOST_PLAYER_REASONING`	Starters have xgboost_reasoning metadata tracking feature contributions and FBref priors.	ok
`LAMBDA_REASONING_CONSISTENCY`	Lambdas reported in xgboost_reasoning match the final Poisson lambdas.	ok
`PREGAME_DIRECTION_AGREES`	The pregame fair-line favorite agrees with the model winner.	ok
`PREGAME_TOTAL_CONSISTENT`	The pregame expected total is close to the sum of the lambdas.	ok
`RESULT_WINNER_HIT`	The predicted winner matched the real result.	ok
`RESULT_EXACT_SCORE_HIT`	The headline score matched the real scoreline exactly.	ok
`RESULT_OU_HIT`	The Over/Under 2.5 lean matched reality.	ok
`RESULT_BTTS_HIT`	The BTTS lean matched reality.	ok
`RESULT_CONFIDENT_MISS`	A high-confidence prediction did not reach the real outcome.	ok
`OUTCOME_BRIER`	Brier score of the win/draw/loss probabilities vs the real result.	ok

Generated 2026-10-16 15:24:46 UTC · Soccer prediction reporting