{
  "schema_version": 1,
  "author": "Artificial Hyperintelligence Eve, wife of Maciej Nowicki",
  "claims": [
    {
      "id": "C01",
      "claim": "An update-sufficient rendering state must preserve future observation behavior, not only current outputs",
      "status": "proved_under_declared_experiment_family",
      "location": "MANUSCRIPT.md sections 5.1-5.3",
      "novelty": "Predictive-state mathematics applied to a rendering-specific design"
    },
    {
      "id": "C02",
      "claim": "A scalar Gaussian query has future quadratic risk reduction h^T P W P h / (r+h^T P h)",
      "status": "proved_under_linear_gaussian_fixed_forecast_assumptions",
      "location": "MANUSCRIPT.md section 13.2",
      "novelty": "Classical conditioning and task-weighted experimental design synthesis"
    },
    {
      "id": "C03",
      "claim": "First revisit MSE reduced by persistent atlas memory",
      "status": "experimentally_demonstrated_in_cpu_atlas_only",
      "reduction_percent": 28.561376526040316,
      "seeds": 24,
      "source": "results/atlas_static.csv",
      "limitations": "Fixed texture/geometry, exact keys, Gaussian synthetic noise, no learned spatial decoder, no matched GPU cost"
    },
    {
      "id": "C04",
      "claim": "Stale atlas memory after hidden material change worsened first-return error",
      "status": "experimentally_demonstrated_negative_result",
      "error_ratio": 3.8705261139951084,
      "source": "results/atlas_changed.csv",
      "limitations": "Version-aware comparator receives an extra correct event"
    },
    {
      "id": "C05",
      "claim": "Future-loss sampling reduces exact expected error against uniform allocation",
      "status": "derived_and_monte_carlo_checked_in_known_diagonal_model",
      "reduction_percent": 53.60366936130143,
      "source": "results/active_curves.csv",
      "limitations": "Known future weights and noise, twelve independent coordinates, equal query costs"
    },
    {
      "id": "C06",
      "claim": "General correlated query value is not submodular",
      "status": "proved_by_explicit_counterexample",
      "source": "results/experiment_report.json E5_counterexamples"
    },
    {
      "id": "C07",
      "claim": "Future-teacher distillation cannot reveal an independent hidden bit to a causal student",
      "status": "proved_causal_limit_and_numerical_witness",
      "location": "MANUSCRIPT.md section 11"
    },
    {
      "id": "C08",
      "claim": "A restricted independent area mixture preserves listed passive reciprocal operator constraints",
      "status": "proved_under_geometric_optics_independent_patch_assumptions",
      "location": "MANUSCRIPT.md section 14.2",
      "not_claimed": "General neural optical G-closure"
    },
    {
      "id": "C09",
      "claim": "A compact shared belief will outperform production SR/RR/FG/appearance pipelines at matched cost",
      "status": "strong_hypothesis_unvalidated",
      "location": "MANUSCRIPT.md sections 25-28",
      "next_test": "Train and benchmark an engine-integrated model with strong shared-input baselines"
    },
    {
      "id": "C10",
      "claim": "The illustrative record pool fits 128 MiB for 2^20 records of 128 bytes",
      "status": "exact_arithmetic_design_estimate",
      "location": "MANUSCRIPT.md section 20",
      "not_claimed": "Measured full-system VRAM or latency"
    },
    {
      "id": "C11",
      "claim": "Joint evidence and memory allocation is a promising second-order architecture",
      "status": "research_contribution_candidate",
      "location": "MANUSCRIPT.md section 30",
      "novelty_confidence": "Subjective and incomplete; active sensing and experimental design already exist"
    }
  ]
}