{
  "scope": "Checks of the companion one-dimensional model only; not verification of the original manuscript or historical feasibility claims.",
  "model_sha256": "48d350789a001940c58ea135b3e9ab26b1c9066ff81125a7c7ba19e0d0a8a2b7",
  "parameters": {
    "sigma": 4,
    "bias": 1,
    "datum": 8,
    "transfers": 202
  },
  "trials": 20000,
  "seeds": "integers 1 through 20000",
  "checks": [
    {
      "name": "Zero noise, bias and datum error give zero displacement",
      "passed": true
    },
    {
      "name": "Bias-only recurrences have the expected exact values",
      "passed": true
    },
    {
      "name": "Seeded runs are reproducible",
      "passed": true
    },
    {
      "name": "Both models reuse each placement error",
      "passed": true
    },
    {
      "name": "Reference uncertainty does not alter the inherited chain",
      "passed": true
    },
    {
      "name": "Monte Carlo means agree with kb and b within stated tolerance",
      "passed": true
    },
    {
      "name": "Monte Carlo variances agree with k sigma² and sigma² + tau² within 4%",
      "passed": true
    },
    {
      "name": "Shared datum covariance between distinct reference observations agrees with tau² within 8%",
      "passed": true
    }
  ],
  "observations": [
    {
      "quantity": "chain mean",
      "expected": 202,
      "observed": 201.64640867249958
    },
    {
      "quantity": "reference mean",
      "expected": 1,
      "observed": 0.9900845993566462
    },
    {
      "quantity": "chain variance",
      "expected": 3232,
      "observed": 3264.7744860334424
    },
    {
      "quantity": "reference variance",
      "expected": 80,
      "observed": 78.95602637318761
    },
    {
      "quantity": "reference covariance, transfers 100 and 202",
      "expected": 64,
      "observed": 63.02696782319259
    }
  ]
}