{
  "schema_version": 2,
  "manifest_ref": "foundation-models:splash",
  "method": "splash",
  "dataset": "deterministic public mechanism mini-suite",
  "seeds": [
    42,
    43,
    44
  ],
  "diagnostic_only": true,
  "seed_results": [
    {
      "seed": 42,
      "dop_memory": 94.0,
      "tp_memory": 286.0,
      "selected_dop": true,
      "dop_effective_cost": 0.88
    },
    {
      "seed": 43,
      "dop_memory": 94.0,
      "tp_memory": 286.0,
      "selected_dop": true,
      "dop_effective_cost": 0.88
    },
    {
      "seed": 44,
      "dop_memory": 94.0,
      "tp_memory": 286.0,
      "selected_dop": true,
      "dop_effective_cost": 0.88
    }
  ],
  "aggregate_metrics": {
    "seed_mean": 43.0,
    "dop_memory_mean": 94.0,
    "tp_memory_mean": 286.0,
    "dop_effective_cost_mean": 0.88
  },
  "evaluation_protocol": {
    "tier": "l1_mechanism",
    "formal_comparison": false,
    "diagnostic_only": true,
    "claim_policy": "mechanism execution and invariants only",
    "seeds": [
      42,
      43,
      44
    ]
  },
  "provenance": {
    "artifact_path": "docs/foundation-models/2609.37626-splash/metrics/mechanism-seeds42-44.json",
    "dataset_fingerprint": "oct01-public-mechanism-fixtures-v1",
    "original_code_commit": "working tree"
  }
}