{
  "schema_version": 1,
  "experiment_id": "finite-context-contract-v1",
  "scope": "synthetic-mechanism-test",
  "primary_paper": {
    "title": "U-Net: Convolutional Networks for Biomedical Image Segmentation",
    "authors": [
      "Olaf Ronneberger",
      "Philipp Fischer",
      "Thomas Brox"
    ],
    "venue": "MICCAI 2015",
    "version": "arXiv:1505.04597v1, 18 May 2015",
    "url": "https://arxiv.org/abs/1505.04597v1",
    "claim_location": "Introduction, page 3, Figure 2; architecture, page 4",
    "relationship": "Overlap-tile motivation only. This package does not execute U-Net, its padding policy, weights, datasets or reported metrics.",
    "paper_rights": "arXiv non-exclusive distribution licence; no paper bundled",
    "official_release": "u-net-release-2015-10-02.tar.gz",
    "official_release_url": "https://lmb.informatik.uni-freiburg.de/people/ronneber/u-net/",
    "official_code_license": "Not verified; archive not downloaded or executed",
    "official_data_license": "Not verified; no official dataset downloaded",
    "reproduction_gate": "Blocked pending exact artifact, licence, environment, data/split and evaluation audit"
  },
  "input": {
    "shape": [
      67,
      83,
      16
    ],
    "dtype": "float32",
    "generator": "coordinate-fixture-v1",
    "split_policy": "no-fitting-no-supervised-splits"
  },
  "operator": {
    "file": "tiled_hsi.py",
    "sha256": "567a665c7eb86368944f70e8b7e5ca96ad92f93fea19d3f77c41d5ba4babcee8",
    "support_radius": 4,
    "edge_policy": "per-layer-available-neighbours",
    "stride": 2,
    "core": 16
  },
  "evaluation": {
    "atol": 2e-06,
    "rtol": 1e-05,
    "primary": "all-logits-against-eager",
    "secondary": "argmax-disagreement-not-accuracy",
    "decision": "all-case-expectations-and-write-counts",
    "seed_policy": "deterministic-no-rng"
  },
  "compute": {
    "device": "cpu",
    "max_cases": 12,
    "max_input_bytes": 17000000,
    "planning_note": "Small bounded array test. No downloads or GPU. Read-byte statistics are not process RSS. Wall times are diagnostics, not paper speed comparisons."
  },
  "cases": [
    {
      "id": "halo-zero",
      "halo": 0,
      "align": true,
      "preprocessing": "fixed",
      "expect": "different"
    },
    {
      "id": "halo-two",
      "halo": 2,
      "align": true,
      "preprocessing": "fixed",
      "expect": "different"
    },
    {
      "id": "halo-four",
      "halo": 4,
      "align": true,
      "preprocessing": "fixed",
      "expect": "equivalent"
    },
    {
      "id": "halo-seven",
      "halo": 7,
      "align": true,
      "preprocessing": "fixed",
      "expect": "equivalent"
    },
    {
      "id": "wrong-phase",
      "halo": 5,
      "align": false,
      "preprocessing": "fixed",
      "expect": "different"
    },
    {
      "id": "tile-centering",
      "halo": 4,
      "align": true,
      "preprocessing": "per-tile-centering",
      "expect": "different"
    }
  ],
  "provenance": {
    "operator_origin": "Unchanged original teaching operator from the portfolio out-of-core HSI guide",
    "data_origin": "Coordinate-defined synthetic fixture; no observed sensor data, physical wavelengths or ground-truth labels",
    "model_origin": "Fixed teaching coefficients; no optimization or learned checkpoint",
    "release": "1.0.0",
    "code_and_generated_data_rights": "Original portfolio educational assets; no additional reuse licence granted by this bundle. See RIGHTS.md.",
    "independent_preregistration": false,
    "checked_date": "2026-10-02"
  }
}