Results
Twelve systems ran the frozen suite: four open-weight instruction models under canonical JSON, and Qwen2.5-7B under all nine representation conditions. Every number below comes from the preregistered analysis (three generation seeds averaged within scenario, scenario-clustered bootstrap, sign-flip permutation tests, Holm correction) and is reproducible offline from the evaluation-v1.0 tag.
Leaderboard
Primary belief-trajectory metrics on the 350-scenario suite.
| # | System | Condition | Trajectory score | 95% CI | Strict state acc. | Grounding | Strict valid |
|---|---|---|---|---|---|---|---|
| 1 | Qwen2.5-7B-Instruct Ablation | Shuffled full graph | 0.848 | [0.840, 0.856] | 0.741 | 0.999 | 1.000 |
| 2 | Qwen2.5-7B-Instruct Core | Structured list | 0.842 | [0.829, 0.854] | 0.682 | 0.966 | 0.999 |
| 3 | Qwen2.5-7B-Instruct Ablation | No provenance | 0.831 | [0.824, 0.838] | 0.730 | 1.000 | 1.000 |
| 4 | Qwen2.5-7B-Instruct Ablation | No timestamps | 0.825 | [0.818, 0.831] | 0.680 | 0.997 | 1.000 |
| 5 | Qwen2.5-7B-Instruct Core | Full graph | 0.814 | [0.808, 0.821] | 0.695 | 1.000 | 1.000 |
| 6 | Qwen2.5-7B-Instruct Ablation | No confidence | 0.805 | [0.798, 0.813] | 0.716 | 1.000 | 1.000 |
| 7 | Gemma-3-12B-IT Core
†
| Canonical JSON | 0.801 | [0.794, 0.808] | 0.729 | 1.000 | 0.999 |
| 8 | Qwen2.5-7B-Instruct Core | Canonical JSON | 0.797 | [0.789, 0.806] | 0.831 | 1.000 | 1.000 |
| 9 | Qwen2.5-7B-Instruct Ablation | Flat, edge-removed relations | 0.774 | [0.760, 0.788] | 0.605 | 0.917 | 0.999 |
| 10 | Qwen2.5-7B-Instruct Core | Graph without relations | 0.727 | [0.710, 0.743] | 0.537 | 0.868 | 1.000 |
| 11 | Qwen2.5-1.5B-Instruct Diagnostic | Canonical JSON | 0.397 | [0.380, 0.413] | 0.331 | 0.786 | 0.807 |
| 12 | Mistral-7B-Instruct-v0.3 Diagnostic | Canonical JSON | 0.239 | [0.229, 0.248] | 0.221 | 0.694 | 0.897 |
Trajectory score = 1 − mean total-variation distance to the reference posterior over the 1,150 scenario–prefix pairs; missing or malformed outputs count as maximal distance. Three generation seeds averaged within scenario; 95% scenario-clustered bootstrap CIs (10,000 resamples). Click a numeric header to re-sort. † optional panel member; its model contrast is exploratory.
How to read it. Trajectory score is the headline: how close the predicted posterior stays to the normative reference across every evidence prefix. Strict state accuracy asks whether the top state (or a tie) matches exactly. Grounding is the fraction of outputs that bind to the required entity; strict valid the fraction that parsed as JSON without repair. The two diagnostic-tier systems are kept on purpose: their grounding failures are a result, not noise to filter.
Finding 1 — Grounding separates models before reasoning does
Weaker instruction models lose most of their trajectory score to outputs that never bind to the required physical entity. Conditional on a grounded prediction (an exploratory diagnostic), their belief updates approach the stronger models’.
Grounding failures are almost entirely missing-entity outputs: hallucinated-entity rates stay at or below 0.016 for every system. The failures are also not uniform along the sequence. Mistral’s grounded-prediction rate is 0.009 at the first prefix, 0.051 at the second, 0.860 at the third and 0.470 at the fourth, while Qwen2.5-7B and Gemma-3-12B stay at or near 1.0 throughout. Exact McNemar tests separate the preregistered model pairs on the scenario-level fully-grounded indicator (p < 10−98).
Finding 2 — Relations help where they must; graphs per se do not
Deleting semantic relations costs 15.3 points of strict belief-state accuracy on the counterfactually paired relation-association scenarios (Holm-corrected p < 0.001) and 8.8 points of trajectory score overall. But the information-matched structured list outperforms the full graph, and shuffling the graph’s record order slightly improves its score. Once information content is controlled, neither graph topology nor curated ordering carries measured value.
The two primary metrics can even rank serializations differently. Canonical JSON trails the full graph on trajectory score (−0.017) but beats it on strict state accuracy by 0.136, and its prompts are on average 0.843× the graph’s length for identical information, so serialization and length covary. See it yourself on a counterfactual pair: scenario 000 routes the sensor reading to the gauge through a measures relation; its twin 001 has the same observations with the relations swapped, so the reference belief must stay undetermined.
Finding 3 — Belief trajectories are non-monotonic
At the third evidence prefix, accuracy for the graph-family conditions collapses to 0.20–0.25 and recovers to 0.62–0.81 by the fourth. Endpoint-only evaluation would report the post-recovery numbers and hide the transient failure entirely, as it would hide Mistral’s early-prefix grounding collapse.
The third prefix is where the suite gets hard by construction: it is where contradictions begin, where delayed evidence lands and where a stale older-epoch report must be ignored. Step through a stale/delayed scenario in the explorer to see the reference posterior the models are scored against at each step.
Preregistered contrasts
Each row is a paired, scenario-level comparison between two systems. Rows scoped to a regime restrict the comparison to that regime’s 50 scenarios.
| Contrast (A − B) | Scope | Metric | Δ | 95% CI | p | Holm p |
|---|---|---|---|---|---|---|
| Full graph vs Graph without relations | all regimes | Trajectory score | +0.088 | [+0.072, +0.103] | <0.0001 | 0.0001 ★ |
| Full graph vs Graph without relations | relation association | Trajectory score | +0.020 | [+0.002, +0.037] | 0.0288 | 0.0577 |
| Full graph vs Flat, edge-removed relations | all regimes | Trajectory score | +0.041 | [+0.028, +0.053] | <0.0001 | 0.0001 ★ |
| Full graph vs Canonical JSON | all regimes | Trajectory score | +0.017 | [+0.010, +0.024] | <0.0001 | 0.0001 ★ |
| Structured list vs Canonical JSON | all regimes | Trajectory score | +0.045 | [+0.033, +0.056] | <0.0001 | 0.0001 ★ |
| Shuffled full graph vs Full graph | all regimes | Trajectory score | +0.034 | [+0.025, +0.042] | <0.0001 | 0.0001 ★ |
| Full graph vs No provenance | all regimes | Trajectory score | −0.017 | [−0.023, −0.011] | <0.0001 | 0.0001 ★ |
| Full graph vs No provenance | source reliability | Trajectory score | +0.019 | [+0.013, +0.025] | <0.0001 | 0.0001 ★ |
| Full graph vs No timestamps | all regimes | Trajectory score | −0.010 | [−0.015, −0.006] | <0.0001 | 0.0001 ★ |
| Full graph vs No timestamps | stale delayed evidence | Trajectory score | +0.007 | [0.000, +0.014] | 0.0494 | 0.0577 |
| Full graph vs No confidence | all regimes | Trajectory score | +0.009 | [+0.005, +0.013] | <0.0001 | 0.0001 ★ |
| Full graph vs Graph without relations | relation association | Strict state accuracy | +0.153 | [+0.098, +0.207] | <0.0001 | 0.0001 ★ |
| Full graph vs No provenance | source reliability | Strict state accuracy | −0.200 | [−0.233, −0.167] | <0.0001 | 0.0001 ★ |
| Full graph vs No timestamps | stale delayed evidence | Strict state accuracy | −0.003 | [−0.033, +0.027] | 0.9149 | 0.9149 |
| Qwen2.5-7B vs Qwen2.5-1.5B | all regimes | Trajectory score | +0.401 | [+0.382, +0.419] | <0.0001 | <0.0001 ★ |
| Qwen2.5-7B vs Mistral-7B | all regimes | Trajectory score | +0.559 | [+0.545, +0.572] | <0.0001 | <0.0001 ★ |
| Gemma-3-12B vs Qwen2.5-7B exploratory | all regimes | Trajectory score | +0.004 | [−0.005, +0.013] | — | — |
Δ is the mean paired scenario-level difference (system A − system B). p from two-sided sign-flip permutation tests (100,000 resamples); Holm correction within each preregistered family. ★ Holm p < 0.05. The Gemma contrast is exploratory (CI only).
Among the field ablations, removing provenance raises the overall trajectory score by 0.017 while lowering the source-reliability regime by 0.019 and lowering strict accuracy on that regime by 0.200 in favour of the ablated condition; the provenance ablation also removes the reliability field the normative likelihood consumes, so it is a joint manipulation. Removing timestamps is a null result on the stale/delayed regime because state epochs are retained. Removing confidence costs 0.009.
Transparent baselines bound the task
Six inspectable fusion strategies run on the identical suite. They bound the task from below with fully understood mechanisms.
| Fusion baseline | Trajectory score | Strict state acc. | Preservation | Revision |
|---|---|---|---|---|
| Source reliability weighted | 0.700 | 0.856 | 1.000 | 0.856 |
| Recency weighted | 0.691 | 0.815 | 0.667 | 0.857 |
| Confidence weighted | 0.688 | 0.768 | 0.667 | 0.786 |
| Unweighted majority | 0.680 | 0.631 | 0.333 | 0.655 |
| Latest observation (supplement) | 0.603 | — | — | — |
| Dirichlet-style updater (supplement) | 0.678–0.691 | — | — | — |
Every fusion baseline scores above both diagnostic-tier neural systems (0.397 and 0.239) and below every core neural system (0.727–0.848). Source-reliability weighting coming out on top follows from the reference semantics, which weight by reliability, so it is not an independent discovery. The deterministic reference pipeline (graph construction, contradiction detection, legacy confidence-sum fusion, rule-based action selection) reaches 0.786 belief accuracy against the normative labels; its rule-based action policy picks the normative reference action on 125 of 350 scenarios (35.7%), matches the action family on 78.6% and picks an evidence-supported action on 100%.
Actions, contradictions and reliability
- Action selection (endpoint task, canonical JSON): exact reference-policy compliance is 0.214 (Qwen2.5-1.5B), 0.213 (Mistral-7B), 0.215 (Qwen2.5-7B) and 0.149 (Gemma-3-12B), while the evidence-supported-action rate is 0.857 for all four. Policy compliance measures distance to one specification, not decision validity.
- Contradictions: detection accuracy ranges from 0.416 (Qwen2.5-1.5B) to 0.960 (Qwen2.5-7B, no-confidence). Localization F1 for the Qwen2.5-7B full graph is 0.953 on contradiction-resolution scenarios and 0.993 on source-reliability scenarios, against 0.001 for Mistral-7B overall.
- Reliability: strict JSON validity is at or above 0.997 for every core system with repair rates below 0.3%; the diagnostic baselines reach 0.807 and 0.897.
Submit your results
There is no submission server: the suite is frozen and the scoring code is public, so you run it yourself and we re-score before listing. Community rows are marked as such.
- Run the pipeline on the
evaluation-v1.0tag as described on the Evaluation page. Keep the raw per-prefix outputs the runner writes. - Package three things: your
predictions.jsonl(one row per scenario–prefix,{"sample_id": "<scenario_id>--belief-step-N", "task": "belief_update", "output": "<raw model text>"}), aconfig.jsonwith the model identifier and revision, representation condition, decoding settings, token budget, hardware and date, and thetrajectory_matrix.jsonproduced by the statistics script. - Open an issue in the toolkit repository titled
Leaderboard submission: <system name>with the files attached or linked. - We re-run the frozen metrics on your outputs and add the row here with a community badge. Nothing about the scenarios, references or prompts changes.
Runs that alter the prompts, the token budget or the decoding settings are welcome as separate rows, but must say so in config.json; they are listed as exploratory.