File size: 5,803 Bytes
78da4d2
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
{
  "schema": "medotter/graph-provenance/v1",
  "source": {
    "file": "PROMISE12.pth",
    "sha256": "c7b312093915f2ea3ce5ae5dff0427ac018b1d7484a01792592f73434c10aa69",
    "reference": "PROMISE12.pth",
    "model": "Swin_umambaD",
    "declaration_source": "sidecar",
    "declaration": [
      {
        "file": "PROMISE12.pth.config.json",
        "sha256": "37d57615c0ab66c6ae0656874f7600bddcb2e009fcbaa4941dd41b0d8200301e"
      }
    ],
    "float32_vs_float64": {
      "shape": [
        1,
        3,
        256,
        256
      ],
      "torch": "ok",
      "float64": "ok",
      "threads": 12,
      "max_abs_diff": 6.7721969543299565e-06,
      "scale": 10.872154592227279,
      "rel_diff": 6.228937325055639e-07,
      "kernel_noise_rel": 7.017372118699902e-07
    }
  },
  "graph": {
    "kind": "onnx",
    "file": "PROMISE12.onnx",
    "sha256": "749a24ac3bc53f4a0b756f982cab781db40ec6ce0d03dcccbc5cc67ee3f4929e",
    "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": 9.5367431640625e-06,
          "scale": 10.872153282165527,
          "rel_diff": 8.771715148374878e-07
        },
        {
          "shape": [
            1,
            3,
            320,
            320
          ],
          "torch": "ok",
          "graph": "ok",
          "max_abs_diff": 3.6045050621032715,
          "scale": 10.871521949768066,
          "rel_diff": 0.3315547794281159
        },
        {
          "shape": [
            1,
            3,
            224,
            224
          ],
          "torch": "ok",
          "graph": "ok",
          "max_abs_diff": 1.33514404296875e-05,
          "scale": 10.8746337890625,
          "rel_diff": 1.2277600044900938e-06
        },
        {
          "shape": [
            1,
            3,
            512,
            512
          ],
          "torch": "ok",
          "graph": "ok",
          "max_abs_diff": 9.248590469360352,
          "scale": 10.866920471191406,
          "rel_diff": 0.8510774044844347
        },
        {
          "shape": [
            2,
            3,
            256,
            256
          ],
          "torch": "ok",
          "graph": "ok",
          "max_abs_diff": 1.239776611328125e-05,
          "scale": 10.872254371643066,
          "rel_diff": 1.140312366643758e-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": 9.5367431640625e-06,
          "scale": 10.872153282165527,
          "rel_diff": 8.771715148374878e-07
        }
      ]
    }
  ],
  "verification": [
    {
      "shape": [
        1,
        3,
        256,
        256
      ],
      "torch": "ok",
      "graph": "ok",
      "max_abs_diff": 9.5367431640625e-06,
      "scale": 10.872153282165527,
      "rel_diff": 8.771715148374878e-07
    }
  ],
  "exported_at": "2026-09-10T10:46:41+00:00",
  "release": {
    "repo": "MedOtter/Swin_umambaD",
    "revision": "c9dad9526b44d1ef6825178c95277fe03db5990b",
    "pth_file": "PROMISE12.pth",
    "pth_sha256": "c7b312093915f2ea3ce5ae5dff0427ac018b1d7484a01792592f73434c10aa69",
    "sidecar_sha256": "402e4863796b2530120ab02b07d1cb1732e28237a9d98398dec1bbc4a73d5594",
    "sidecar_source": "existing",
    "group": "checkout_only",
    "reason": "trace_specialised",
    "dynamic_attempt": null,
    "reference_check": {
      "dataset": "PROMISE12",
      "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": 1.1444091796875e-05,
          "scale": 10.872461318969727,
          "rel_diff": 1.0525759955483053e-06,
          "float32_vs_float64": {
            "max_abs_diff": 8.151258253263904e-06,
            "scale": 10.872460643712449,
            "rel_diff": 7.497160505223611e-07,
            "samples": 4,
            "of": 4,
            "complete": true
          }
        }
      ]
    },
    "tool": "tools/hf_onnx_export.py",
    "stamped_at": "2026-09-10T10:51:57+00:00"
  }
}