{
  "schema": "medotter/graph-provenance/v1",
  "source": {
    "file": "ISIC2018.pth",
    "sha256": "37d60ceef1038ad526550d06b1186b5a4b30e0b208eb6aae57522db34d6c4b74",
    "reference": "ISIC2018.pth",
    "model": "Swin_umambaD",
    "declaration_source": "sidecar",
    "declaration": [
      {
        "file": "ISIC2018.pth.config.json",
        "sha256": "37d57615c0ab66c6ae0656874f7600bddcb2e009fcbaa4941dd41b0d8200301e"
      }
    ],
    "float32_vs_float64": {
      "shape": [
        1,
        3,
        256,
        256
      ],
      "torch": "ok",
      "float64": "ok",
      "threads": 12,
      "max_abs_diff": 7.378276821512486e-06,
      "scale": 11.534572567531423,
      "rel_diff": 6.396662536314123e-07,
      "kernel_noise_rel": 6.614370695956643e-07
    }
  },
  "graph": {
    "kind": "onnx",
    "file": "ISIC2018.onnx",
    "sha256": "6f873fdcdc73227a095f90f13a54400f30dc32ce6a9ef5f345a191348d6289c4",
    "bytes": 113620444,
    "opset": 17,
    "dynamic": false,
    "reason": "trace_specialised",
    "input": "image",
    "output": "logits",
    "input_channel": 3,
    "num_classes": 1,
    "size": [
      256,
      256
    ]
  },
  "exporter": {
    "api": "torch.onnx.export",
    "name": "torchscript",
    "dynamo": false,
    "registered_symbolics": {
      "aten::_convolution_mode": 17,
      "aten::add": 17,
      "aten::roll": 17,
      "aten::rsub": 17,
      "aten::sub": 17,
      "aten::upsample_nearest2d": 17
    },
    "producer": "pytorch 2.13.0",
    "torch": "2.13.0+cpu",
    "onnx": "1.22.0",
    "onnxruntime": "1.29.0"
  },
  "verification_input": {
    "kind": "smooth_random_field",
    "distribution": "normal",
    "coarse_factor": 16,
    "min_coarse": 4,
    "interpolation": "bilinear",
    "align_corners": false,
    "seed": 0,
    "pixel_domain": "uint8-range smooth field through the declaration's intensity contract",
    "pixel_mean": 127.5,
    "pixel_std": 45.0,
    "through_contract": true
  },
  "attempts": [
    {
      "mode": "dynamic",
      "exporter": "torchscript",
      "outcome": "fell_back",
      "reason": "trace_specialised",
      "error": null,
      "verification": [
        {
          "shape": [
            1,
            3,
            256,
            256
          ],
          "torch": "ok",
          "graph": "ok",
          "max_abs_diff": 1.430511474609375e-05,
          "scale": 11.534573554992676,
          "rel_diff": 1.2401945054918706e-06
        },
        {
          "shape": [
            1,
            3,
            320,
            320
          ],
          "torch": "ok",
          "graph": "ok",
          "max_abs_diff": 1.3779058456420898,
          "scale": 9.50040054321289,
          "rel_diff": 0.14503660549622502
        },
        {
          "shape": [
            1,
            3,
            224,
            224
          ],
          "torch": "ok",
          "graph": "ok",
          "max_abs_diff": 1.049041748046875e-05,
          "scale": 11.030226707458496,
          "rel_diff": 9.510609127712004e-07
        },
        {
          "shape": [
            1,
            3,
            512,
            512
          ],
          "torch": "ok",
          "graph": "ok",
          "max_abs_diff": 2.1095800399780273,
          "scale": 10.088290214538574,
          "rel_diff": 0.2091117518544263
        },
        {
          "shape": [
            2,
            3,
            256,
            256
          ],
          "torch": "ok",
          "graph": "ok",
          "max_abs_diff": 2.7865171432495117e-05,
          "scale": 11.53457260131836,
          "rel_diff": 2.415795746893147e-06
        }
      ]
    },
    {
      "mode": "static",
      "exporter": "torchscript",
      "outcome": "kept",
      "reason": "trace_specialised",
      "error": null,
      "verification": [
        {
          "shape": [
            1,
            3,
            256,
            256
          ],
          "torch": "ok",
          "graph": "ok",
          "max_abs_diff": 1.52587890625e-05,
          "scale": 11.534573554992676,
          "rel_diff": 1.3228741391913286e-06
        }
      ]
    }
  ],
  "verification": [
    {
      "shape": [
        1,
        3,
        256,
        256
      ],
      "torch": "ok",
      "graph": "ok",
      "max_abs_diff": 1.52587890625e-05,
      "scale": 11.534573554992676,
      "rel_diff": 1.3228741391913286e-06
    }
  ],
  "exported_at": "2026-09-10T10:33:44+00:00",
  "release": {
    "repo": "MedOtter/Swin_umambaD",
    "revision": "c9dad9526b44d1ef6825178c95277fe03db5990b",
    "pth_file": "ISIC2018.pth",
    "pth_sha256": "37d60ceef1038ad526550d06b1186b5a4b30e0b208eb6aae57522db34d6c4b74",
    "sidecar_sha256": "402e4863796b2530120ab02b07d1cb1732e28237a9d98398dec1bbc4a73d5594",
    "sidecar_source": "existing",
    "group": "checkout_only",
    "reason": "trace_specialised",
    "dynamic_attempt": null,
    "reference_check": {
      "dataset": "ISIC2018",
      "split": "val",
      "samples": 4,
      "reproducible": true,
      "status": "pass",
      "sizes": [
        {
          "size": [
            256,
            256
          ],
          "predict_masks_equal": 4,
          "pixels": 262144,
          "disagreeing_pixels": 0,
          "unexplained_pixels": 0,
          "max_abs_diff": 0.00014853477478027344,
          "scale": 12.407176971435547,
          "rel_diff": 1.1971681803381864e-05,
          "float32_vs_float64": {
            "max_abs_diff": 3.246333569162374e-05,
            "scale": 12.407174226571117,
            "rel_diff": 2.616497124873163e-06,
            "samples": 4,
            "of": 4,
            "complete": true
          }
        }
      ]
    },
    "tool": "tools/hf_onnx_export.py",
    "stamped_at": "2026-09-10T10:38:49+00:00"
  }
}