@lapxo/obligations 0.4.5 → 0.4.6

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (173) hide show
  1. package/README.md +42 -3
  2. package/TARGET.bound +148 -42
  3. package/contracts/extension-lineage-participation.json +30 -0
  4. package/contracts/m0-binomial-bridge.json +6 -0
  5. package/contracts/m0-diagonal-conditional.json +15 -0
  6. package/contracts/m0-keff-interval.json +27 -0
  7. package/contracts/m0-moment-identification.json +42 -0
  8. package/contracts/m1-diagonal-regions.json +45 -0
  9. package/contracts/m1-generator-binomial.json +26 -0
  10. package/contracts/m1-offdiag-limit.json +42 -0
  11. package/contracts/m1-subcauses.json +66 -0
  12. package/contracts/model-collapse-1a.json +16 -0
  13. package/contracts/projection-chain.json +20 -0
  14. package/docs/contracts/experiment1a-public-attribution.md +1 -0
  15. package/docs/contracts/extension-lineage-participation.md +13 -0
  16. package/docs/contracts/installation-046-inputs.md +1 -0
  17. package/docs/contracts/m0-binomial-bridge.md +1 -0
  18. package/docs/contracts/m0-diagonal-lindeberg.md +1 -0
  19. package/docs/contracts/m0-diagonal-moments.md +1 -0
  20. package/docs/contracts/m0-diagonal-symmetric.md +1 -0
  21. package/docs/contracts/m0-diagonal-threshold.md +1 -0
  22. package/docs/contracts/m0-keff-floor-refutation.md +1 -0
  23. package/docs/contracts/m0-keff-interval.md +1 -0
  24. package/docs/contracts/m0-moment-identification.md +1 -0
  25. package/docs/contracts/m0-refuted-inverses.md +1 -0
  26. package/docs/contracts/m0-wf-floor-refutation.md +1 -0
  27. package/docs/contracts/m1-diagonal-regions.md +1 -0
  28. package/docs/contracts/m1-generator-binomial.md +1 -0
  29. package/docs/contracts/m1-offdiag-limit.md +1 -0
  30. package/docs/contracts/model-collapse-1a.md +11 -0
  31. package/docs/contracts/projection-chain.md +1 -0
  32. package/package.json +1 -1
  33. package/proofs/definitions-046/declaration.json +11 -0
  34. package/proofs/experiment1a-046/declaration.json +11 -0
  35. package/proofs/m0-046/BridgeNegatives.lean +23 -0
  36. package/proofs/m0-046/M0Bridge.lean +300 -0
  37. package/proofs/m0-046/Obligations045/ConsensusGrid.lean +72 -0
  38. package/proofs/m0-046/Obligations045/M0Coincidence.lean +39 -0
  39. package/proofs/m0-046/Obligations045/M0Diagonal.lean +18 -0
  40. package/proofs/m0-046/Obligations045/M0Limit.lean +134 -0
  41. package/proofs/m0-046/Obligations045/M0Offdiag.lean +171 -0
  42. package/proofs/m0-046/Obligations045.lean +5 -0
  43. package/proofs/m0-046/lake-manifest.json +116 -0
  44. package/proofs/m0-046/lakefile.toml +14 -0
  45. package/proofs/m0-046/lean-toolchain +1 -0
  46. package/proofs/m0-046-diagonal/BridgeNegatives.lean +23 -0
  47. package/proofs/m0-046-diagonal/M0Bridge.lean +300 -0
  48. package/proofs/m0-046-diagonal/M0Diagonal046.lean +235 -0
  49. package/proofs/m0-046-diagonal/M0Lindeberg046.lean +92 -0
  50. package/proofs/m0-046-diagonal/M0Moments046.lean +295 -0
  51. package/proofs/m0-046-diagonal/M0Threshold046.lean +278 -0
  52. package/proofs/m0-046-diagonal/Obligations045/ConsensusGrid.lean +72 -0
  53. package/proofs/m0-046-diagonal/Obligations045/M0Coincidence.lean +39 -0
  54. package/proofs/m0-046-diagonal/Obligations045/M0Diagonal.lean +18 -0
  55. package/proofs/m0-046-diagonal/Obligations045/M0Limit.lean +134 -0
  56. package/proofs/m0-046-diagonal/Obligations045/M0Offdiag.lean +171 -0
  57. package/proofs/m0-046-diagonal/Obligations045.lean +5 -0
  58. package/proofs/m0-046-diagonal/lake-manifest.json +116 -0
  59. package/proofs/m0-046-diagonal/lakefile.toml +26 -0
  60. package/proofs/m0-046-diagonal/lean-toolchain +1 -0
  61. package/proofs/m0-046-identification/M0Identification046.lean +209 -0
  62. package/proofs/m0-046-identification/Obligations045/M0Coincidence.lean +39 -0
  63. package/proofs/m0-046-identification/lake-manifest.json +116 -0
  64. package/proofs/m0-046-identification/lakefile.toml +12 -0
  65. package/proofs/m0-046-identification/lean-toolchain +1 -0
  66. package/proofs/m0-046-uncertainty/BridgeNegatives.lean +23 -0
  67. package/proofs/m0-046-uncertainty/M0BlockCoverage046.lean +163 -0
  68. package/proofs/m0-046-uncertainty/M0Bridge.lean +300 -0
  69. package/proofs/m0-046-uncertainty/M0Diagonal046.lean +235 -0
  70. package/proofs/m0-046-uncertainty/M0FiniteDiscord046.lean +207 -0
  71. package/proofs/m0-046-uncertainty/M0Interval046.lean +82 -0
  72. package/proofs/m0-046-uncertainty/M0Lindeberg046.lean +92 -0
  73. package/proofs/m0-046-uncertainty/M0Moments046.lean +295 -0
  74. package/proofs/m0-046-uncertainty/M0Threshold046.lean +278 -0
  75. package/proofs/m0-046-uncertainty/Obligations045/ConsensusGrid.lean +72 -0
  76. package/proofs/m0-046-uncertainty/Obligations045/M0Coincidence.lean +39 -0
  77. package/proofs/m0-046-uncertainty/Obligations045/M0Diagonal.lean +18 -0
  78. package/proofs/m0-046-uncertainty/Obligations045/M0Limit.lean +134 -0
  79. package/proofs/m0-046-uncertainty/Obligations045/M0Offdiag.lean +171 -0
  80. package/proofs/m0-046-uncertainty/Obligations045.lean +5 -0
  81. package/proofs/m0-046-uncertainty/lake-manifest.json +116 -0
  82. package/proofs/m0-046-uncertainty/lakefile.toml +35 -0
  83. package/proofs/m0-046-uncertainty/lean-toolchain +1 -0
  84. package/proofs/m1-046-bridge/M0Bridge.lean +300 -0
  85. package/proofs/m1-046-bridge/M1Bridge046.lean +359 -0
  86. package/proofs/m1-046-bridge/Obligations045/M0Limit.lean +134 -0
  87. package/proofs/m1-046-bridge/Obligations045/M0Offdiag.lean +171 -0
  88. package/proofs/m1-046-bridge/lake-manifest.json +116 -0
  89. package/proofs/m1-046-bridge/lakefile.toml +29 -0
  90. package/proofs/m1-046-bridge/lean-toolchain +1 -0
  91. package/proofs/m1-046-diagonal/M0Bridge.lean +300 -0
  92. package/proofs/m1-046-diagonal/M0Diagonal046.lean +235 -0
  93. package/proofs/m1-046-diagonal/M0Lindeberg046.lean +92 -0
  94. package/proofs/m1-046-diagonal/M0Moments046.lean +295 -0
  95. package/proofs/m1-046-diagonal/M0Threshold046.lean +278 -0
  96. package/proofs/m1-046-diagonal/M1Bridge046.lean +359 -0
  97. package/proofs/m1-046-diagonal/M1Diagonal046.lean +334 -0
  98. package/proofs/m1-046-diagonal/M1Offdiag046.lean +270 -0
  99. package/proofs/m1-046-diagonal/Obligations045/M0Limit.lean +134 -0
  100. package/proofs/m1-046-diagonal/Obligations045/M0Offdiag.lean +171 -0
  101. package/proofs/m1-046-diagonal/lake-manifest.json +116 -0
  102. package/proofs/m1-046-diagonal/lakefile.toml +35 -0
  103. package/proofs/m1-046-diagonal/lean-toolchain +1 -0
  104. package/proofs/m1-046-offdiag/M0Bridge.lean +300 -0
  105. package/proofs/m1-046-offdiag/M0Diagonal046.lean +235 -0
  106. package/proofs/m1-046-offdiag/M0Moments046.lean +295 -0
  107. package/proofs/m1-046-offdiag/M1Bridge046.lean +359 -0
  108. package/proofs/m1-046-offdiag/M1Offdiag046.lean +270 -0
  109. package/proofs/m1-046-offdiag/Obligations045/M0Limit.lean +134 -0
  110. package/proofs/m1-046-offdiag/Obligations045/M0Offdiag.lean +171 -0
  111. package/proofs/m1-046-offdiag/lake-manifest.json +116 -0
  112. package/proofs/m1-046-offdiag/lakefile.toml +32 -0
  113. package/proofs/m1-046-offdiag/lean-toolchain +1 -0
  114. package/proofs/projection-chain.md +11 -0
  115. package/protocols/model-collapse-1a.json +108 -0
  116. package/receipts.bound +578 -210
  117. package/samples/laws/definitions/no/sample.json +26 -0
  118. package/samples/laws/definitions/yes/sample.json +12 -0
  119. package/samples/laws/experiment1a/no/sample.json +16 -0
  120. package/samples/laws/experiment1a/yes/sample.json +8 -0
  121. package/samples/laws/m0-binomial-bridge/no/pairwise-is-not-joint.json +59 -0
  122. package/samples/laws/m0-binomial-bridge/no/sample.json +13 -0
  123. package/samples/laws/m0-binomial-bridge/yes/sample.json +16 -0
  124. package/samples/laws/m0-binomial-bridge/yes/small-binomial-table.json +100 -0
  125. package/samples/laws/m0-diagonal-conditional/no/sample.json +5 -0
  126. package/samples/laws/m0-diagonal-conditional/yes/sample.json +7 -0
  127. package/samples/laws/m0-keff-interval/no/sample.json +215 -0
  128. package/samples/laws/m0-keff-interval/yes/api-rows.json +2002 -0
  129. package/samples/laws/m0-keff-interval/yes/sample.json +70 -0
  130. package/samples/laws/m0-moment-identification/no/sample.json +47 -0
  131. package/samples/laws/m0-moment-identification/yes/sample.json +97 -0
  132. package/samples/laws/m1-diagonal-regions/no/sample.json +44 -0
  133. package/samples/laws/m1-diagonal-regions/yes/sample.json +45 -0
  134. package/samples/laws/m1-generator-binomial/no/sample.json +21 -0
  135. package/samples/laws/m1-generator-binomial/yes/sample.json +290 -0
  136. package/samples/laws/m1-offdiag-limit/no/sample.json +17 -0
  137. package/samples/laws/m1-offdiag-limit/yes/sample.json +87 -0
  138. package/samples/laws/projection-chain/no/sample.json +26 -0
  139. package/samples/laws/projection-chain/yes/sample.json +25 -0
  140. package/samples/no/installed-artifact.json +2 -2
  141. package/samples/yes/installed-artifact.json +2 -2
  142. package/src/laws/laws.bound +146 -0
  143. package/vectors/laws/a7-t90.json +72 -0
  144. package/vectors/laws/a9-t99.json +110 -0
  145. package/vectors/laws/definitions.native-capture.json +326 -0
  146. package/vectors/laws/definitions.native.json +82 -0
  147. package/vectors/laws/experiment1a-protocol.native-capture.json +391 -0
  148. package/vectors/laws/experiment1a-protocol.native.json +64 -0
  149. package/vectors/laws/experiment1a-public-input.native-capture.json +224 -0
  150. package/vectors/laws/m0-binomial-bridge.lean.json +185 -0
  151. package/vectors/laws/m0-diagonal-lindeberg.lean.json +167 -0
  152. package/vectors/laws/m0-diagonal-moments.lean.json +185 -0
  153. package/vectors/laws/m0-diagonal-symmetric.lean.json +188 -0
  154. package/vectors/laws/m0-diagonal-threshold.lean.json +199 -0
  155. package/vectors/laws/m0-identification.lean.json +136 -0
  156. package/vectors/laws/m0-identification.native-capture.json +230 -0
  157. package/vectors/laws/m0-keff-interval.json +569 -0
  158. package/vectors/laws/m0-uncertainty-blocks.lean.json +201 -0
  159. package/vectors/laws/m0-uncertainty-finite-discord.lean.json +194 -0
  160. package/vectors/laws/m0-uncertainty-interval.lean.json +189 -0
  161. package/vectors/laws/m0-uncertainty.native-capture.json +651 -0
  162. package/vectors/laws/m1-diagonal-partial.lean.json +192 -0
  163. package/vectors/laws/m1-diagonal-partial.native-capture.json +275 -0
  164. package/vectors/laws/m1-generator-binomial.lean.json +162 -0
  165. package/vectors/laws/m1-generator-binomial.native-capture.json +245 -0
  166. package/vectors/laws/m1-offdiag-limit.lean.json +166 -0
  167. package/vectors/laws/m1-offdiag-limit.native-capture.json +260 -0
  168. package/vectors/laws/model-collapse-1a.json +12 -0
  169. package/vectors/laws/projection-chain.json +61 -0
  170. package/vectors/laws/projection-chain.native-capture.json +311 -0
  171. package/vectors/laws/projection-chain.native.json +56 -0
  172. package/vectors/measures/installed-artifact.cli.json +6 -6
  173. package/CHANGELOG.md +0 -10
@@ -0,0 +1,391 @@
1
+ {
2
+ "archiveApproval": false,
3
+ "candidatePublicationCorrectionCovered": false,
4
+ "captures": [
5
+ {
6
+ "elapsedMs": 294.089625,
7
+ "expected": "fact",
8
+ "name": "orchard-projection",
9
+ "passed": true,
10
+ "requestSHA256": "sha256:eea01cb607592fcfd62fbc354b679964f959223ee366675a913595cdec09b5b7",
11
+ "result": {
12
+ "kind": "fact",
13
+ "lines": [
14
+ "bound-lock/1 at=receipt:1 form=alphabet measure=reads role=reads scope=publication/evidence/experiment1a-protocol value=vectors/laws/experiment1a-protocol.native.json|contracts/model-collapse-1a.json|protocols/model-collapse-1a.json|docs/contracts/model-collapse-1a.md|proofs/experiment1a-046/declaration.json|vectors/laws/policy.json|vectors/laws/model-collapse-1a.json|samples/laws/experiment1a/yes/sample.json|samples/laws/experiment1a/no/sample.json"
15
+ ],
16
+ "protocol": "bound-lock/1"
17
+ }
18
+ },
19
+ {
20
+ "elapsedMs": 150.62004200000007,
21
+ "expected": "fact",
22
+ "name": "orchard-read",
23
+ "passed": true,
24
+ "requestSHA256": "sha256:f6703fbfc66f0b4d77590848036883c8fc6636e92015b4da3e16de3cd39cf3bf",
25
+ "result": {
26
+ "claims": [
27
+ {
28
+ "bound": {
29
+ "hi": 0,
30
+ "kind": "interval",
31
+ "lo": 0
32
+ },
33
+ "measure": "count",
34
+ "role": "writes",
35
+ "scope": "publication/evidence/experiment1a-protocol"
36
+ },
37
+ {
38
+ "bound": {
39
+ "kind": "enumerated",
40
+ "values": [
41
+ "sha256:39600665f8ef375d2246e661a29cd1d6ba12f7ffaae495779f3d6d7c0ccc4ad9"
42
+ ]
43
+ },
44
+ "measure": "digest",
45
+ "role": "writes",
46
+ "scope": "publication/evidence/experiment1a-protocol/verification"
47
+ },
48
+ {
49
+ "bound": {
50
+ "kind": "enumerated",
51
+ "values": [
52
+ "unmeasured"
53
+ ]
54
+ },
55
+ "measure": "status",
56
+ "role": "writes",
57
+ "scope": "publication/evidence/experiment1a-protocol/empirical-status"
58
+ }
59
+ ],
60
+ "kind": "fact",
61
+ "protocol": "bound-lock/1"
62
+ }
63
+ },
64
+ {
65
+ "elapsedMs": 156.71012499999995,
66
+ "expected": "refuse",
67
+ "name": "orchard-missing-input",
68
+ "passed": true,
69
+ "requestSHA256": "sha256:5341d141edfc95f14c5fdae26421c5f901f0320c00ca967989223cfd83944da7",
70
+ "result": {
71
+ "kind": "refuse",
72
+ "protocol": "bound-lock/1",
73
+ "why": "Error: REFUSE\u00b7experiment1a missing-input samples/laws/experiment1a/yes/sample.json"
74
+ }
75
+ },
76
+ {
77
+ "elapsedMs": 156.68820800000003,
78
+ "expected": "refuse",
79
+ "name": "orchard-handed-source-differs",
80
+ "passed": true,
81
+ "requestSHA256": "sha256:0e8ecddb00ee96160af35767ab3ed77e820152bb7deeec288a89ece18ff31b64",
82
+ "result": {
83
+ "kind": "refuse",
84
+ "protocol": "bound-lock/1",
85
+ "why": "Error: REFUSE\u00b7experiment1a fixture-source-differs samples/laws/experiment1a/yes/sample.json"
86
+ }
87
+ },
88
+ {
89
+ "elapsedMs": 151.64604199999997,
90
+ "expected": "refuse",
91
+ "name": "orchard-unmeasured-required",
92
+ "passed": true,
93
+ "requestSHA256": "sha256:8bce9d8995ca84f859a768d2425ef836ad51a2a76a12c82449d70b5fa5caf06a",
94
+ "result": {
95
+ "kind": "refuse",
96
+ "protocol": "bound-lock/1",
97
+ "why": "Error: REFUSE\u00b7experiment1a unmeasured-required"
98
+ }
99
+ },
100
+ {
101
+ "elapsedMs": 150.47679200000016,
102
+ "expected": "refuse",
103
+ "name": "orchard-dataset-required",
104
+ "passed": true,
105
+ "requestSHA256": "sha256:f5e6b511a34536defbbe6b442be2c09362b4a00cc5b8f23dfb77960a6389db7b",
106
+ "result": {
107
+ "kind": "refuse",
108
+ "protocol": "bound-lock/1",
109
+ "why": "Error: REFUSE\u00b7experiment1a dataset-required"
110
+ }
111
+ },
112
+ {
113
+ "elapsedMs": 148.5716249999998,
114
+ "expected": "refuse",
115
+ "name": "orchard-unknown-exposure-not-absence",
116
+ "passed": true,
117
+ "requestSHA256": "sha256:af03a74bce46feb219bb54b1e11dd832554908c78c3f433844e38d2636e45876",
118
+ "result": {
119
+ "kind": "refuse",
120
+ "protocol": "bound-lock/1",
121
+ "why": "Error: REFUSE\u00b7experiment1a unknown-exposure-not-absence"
122
+ }
123
+ },
124
+ {
125
+ "elapsedMs": 151.68120799999997,
126
+ "expected": "refuse",
127
+ "name": "orchard-finite-curve-not-asymptotic-proof",
128
+ "passed": true,
129
+ "requestSHA256": "sha256:38a9eb8be6deab698240d0ff88e06cd343b8932495bfb4919dd76fec82163d55",
130
+ "result": {
131
+ "kind": "refuse",
132
+ "protocol": "bound-lock/1",
133
+ "why": "Error: REFUSE\u00b7experiment1a finite-curve-not-asymptotic-proof"
134
+ }
135
+ },
136
+ {
137
+ "elapsedMs": 147.8877090000001,
138
+ "expected": "refuse",
139
+ "name": "orchard-observable-intervention-required",
140
+ "passed": true,
141
+ "requestSHA256": "sha256:147b8ffa33b281cd8d474316da12359a821c6db7951d38d098de78f583d7c866",
142
+ "result": {
143
+ "kind": "refuse",
144
+ "protocol": "bound-lock/1",
145
+ "why": "Error: REFUSE\u00b7experiment1a observable-intervention-required"
146
+ }
147
+ },
148
+ {
149
+ "elapsedMs": 148.53558399999997,
150
+ "expected": "refuse",
151
+ "name": "orchard-local-digest-not-public-preregistration",
152
+ "passed": true,
153
+ "requestSHA256": "sha256:1bda3fe1f6b49ebc9575a845e85c5295ed993d4a529cd74d54a7db4e347fa8d3",
154
+ "result": {
155
+ "kind": "refuse",
156
+ "protocol": "bound-lock/1",
157
+ "why": "Error: REFUSE\u00b7experiment1a local-digest-not-public-preregistration"
158
+ }
159
+ },
160
+ {
161
+ "elapsedMs": 148.93554100000006,
162
+ "expected": "refuse",
163
+ "name": "orchard-derived-text-differs",
164
+ "passed": true,
165
+ "requestSHA256": "sha256:d89ae2389f369f61eb9ed8449edf599b5bfe9dfb1cd34fcb1a27c02423231dc4",
166
+ "result": {
167
+ "kind": "refuse",
168
+ "protocol": "bound-lock/1",
169
+ "why": "Error: REFUSE\u00b7experiment1a derived-text-differs"
170
+ }
171
+ },
172
+ {
173
+ "elapsedMs": 176.56150000000002,
174
+ "expected": "fact",
175
+ "name": "catalog-projection",
176
+ "passed": true,
177
+ "requestSHA256": "sha256:eea01cb607592fcfd62fbc354b679964f959223ee366675a913595cdec09b5b7",
178
+ "result": {
179
+ "kind": "fact",
180
+ "lines": [
181
+ "bound-lock/1 at=receipt:1 form=alphabet measure=reads role=reads scope=publication/evidence/experiment1a-protocol value=vectors/laws/experiment1a-protocol.native.json|contracts/model-collapse-1a.json|protocols/model-collapse-1a.json|docs/contracts/model-collapse-1a.md|proofs/experiment1a-046/declaration.json|vectors/laws/policy.json|vectors/laws/model-collapse-1a.json|samples/laws/experiment1a/yes/sample.json|samples/laws/experiment1a/no/sample.json"
182
+ ],
183
+ "protocol": "bound-lock/1"
184
+ }
185
+ },
186
+ {
187
+ "elapsedMs": 177.40929099999994,
188
+ "expected": "fact",
189
+ "name": "catalog-read",
190
+ "passed": true,
191
+ "requestSHA256": "sha256:f6703fbfc66f0b4d77590848036883c8fc6636e92015b4da3e16de3cd39cf3bf",
192
+ "result": {
193
+ "claims": [
194
+ {
195
+ "bound": {
196
+ "hi": 0,
197
+ "kind": "interval",
198
+ "lo": 0
199
+ },
200
+ "measure": "count",
201
+ "role": "writes",
202
+ "scope": "publication/evidence/experiment1a-protocol"
203
+ },
204
+ {
205
+ "bound": {
206
+ "kind": "enumerated",
207
+ "values": [
208
+ "sha256:39600665f8ef375d2246e661a29cd1d6ba12f7ffaae495779f3d6d7c0ccc4ad9"
209
+ ]
210
+ },
211
+ "measure": "digest",
212
+ "role": "writes",
213
+ "scope": "publication/evidence/experiment1a-protocol/verification"
214
+ },
215
+ {
216
+ "bound": {
217
+ "kind": "enumerated",
218
+ "values": [
219
+ "unmeasured"
220
+ ]
221
+ },
222
+ "measure": "status",
223
+ "role": "writes",
224
+ "scope": "publication/evidence/experiment1a-protocol/empirical-status"
225
+ }
226
+ ],
227
+ "kind": "fact",
228
+ "protocol": "bound-lock/1"
229
+ }
230
+ },
231
+ {
232
+ "elapsedMs": 170.25420900000017,
233
+ "expected": "refuse",
234
+ "name": "catalog-missing-input",
235
+ "passed": true,
236
+ "requestSHA256": "sha256:5341d141edfc95f14c5fdae26421c5f901f0320c00ca967989223cfd83944da7",
237
+ "result": {
238
+ "kind": "refuse",
239
+ "protocol": "bound-lock/1",
240
+ "why": "Error: REFUSE\u00b7experiment1a missing-input samples/laws/experiment1a/yes/sample.json"
241
+ }
242
+ },
243
+ {
244
+ "elapsedMs": 174.6187500000001,
245
+ "expected": "refuse",
246
+ "name": "catalog-handed-source-differs",
247
+ "passed": true,
248
+ "requestSHA256": "sha256:0e8ecddb00ee96160af35767ab3ed77e820152bb7deeec288a89ece18ff31b64",
249
+ "result": {
250
+ "kind": "refuse",
251
+ "protocol": "bound-lock/1",
252
+ "why": "Error: REFUSE\u00b7experiment1a fixture-source-differs samples/laws/experiment1a/yes/sample.json"
253
+ }
254
+ },
255
+ {
256
+ "elapsedMs": 171.83058299999993,
257
+ "expected": "refuse",
258
+ "name": "catalog-unmeasured-required",
259
+ "passed": true,
260
+ "requestSHA256": "sha256:8bce9d8995ca84f859a768d2425ef836ad51a2a76a12c82449d70b5fa5caf06a",
261
+ "result": {
262
+ "kind": "refuse",
263
+ "protocol": "bound-lock/1",
264
+ "why": "Error: REFUSE\u00b7experiment1a unmeasured-required"
265
+ }
266
+ },
267
+ {
268
+ "elapsedMs": 171.83087499999965,
269
+ "expected": "refuse",
270
+ "name": "catalog-dataset-required",
271
+ "passed": true,
272
+ "requestSHA256": "sha256:f5e6b511a34536defbbe6b442be2c09362b4a00cc5b8f23dfb77960a6389db7b",
273
+ "result": {
274
+ "kind": "refuse",
275
+ "protocol": "bound-lock/1",
276
+ "why": "Error: REFUSE\u00b7experiment1a dataset-required"
277
+ }
278
+ },
279
+ {
280
+ "elapsedMs": 174.93274999999994,
281
+ "expected": "refuse",
282
+ "name": "catalog-unknown-exposure-not-absence",
283
+ "passed": true,
284
+ "requestSHA256": "sha256:af03a74bce46feb219bb54b1e11dd832554908c78c3f433844e38d2636e45876",
285
+ "result": {
286
+ "kind": "refuse",
287
+ "protocol": "bound-lock/1",
288
+ "why": "Error: REFUSE\u00b7experiment1a unknown-exposure-not-absence"
289
+ }
290
+ },
291
+ {
292
+ "elapsedMs": 171.18237499999987,
293
+ "expected": "refuse",
294
+ "name": "catalog-finite-curve-not-asymptotic-proof",
295
+ "passed": true,
296
+ "requestSHA256": "sha256:38a9eb8be6deab698240d0ff88e06cd343b8932495bfb4919dd76fec82163d55",
297
+ "result": {
298
+ "kind": "refuse",
299
+ "protocol": "bound-lock/1",
300
+ "why": "Error: REFUSE\u00b7experiment1a finite-curve-not-asymptotic-proof"
301
+ }
302
+ },
303
+ {
304
+ "elapsedMs": 171.81087499999967,
305
+ "expected": "refuse",
306
+ "name": "catalog-observable-intervention-required",
307
+ "passed": true,
308
+ "requestSHA256": "sha256:147b8ffa33b281cd8d474316da12359a821c6db7951d38d098de78f583d7c866",
309
+ "result": {
310
+ "kind": "refuse",
311
+ "protocol": "bound-lock/1",
312
+ "why": "Error: REFUSE\u00b7experiment1a observable-intervention-required"
313
+ }
314
+ },
315
+ {
316
+ "elapsedMs": 181.14716699999963,
317
+ "expected": "refuse",
318
+ "name": "catalog-local-digest-not-public-preregistration",
319
+ "passed": true,
320
+ "requestSHA256": "sha256:1bda3fe1f6b49ebc9575a845e85c5295ed993d4a529cd74d54a7db4e347fa8d3",
321
+ "result": {
322
+ "kind": "refuse",
323
+ "protocol": "bound-lock/1",
324
+ "why": "Error: REFUSE\u00b7experiment1a local-digest-not-public-preregistration"
325
+ }
326
+ },
327
+ {
328
+ "elapsedMs": 175.79800000000023,
329
+ "expected": "refuse",
330
+ "name": "catalog-derived-text-differs",
331
+ "passed": true,
332
+ "requestSHA256": "sha256:d89ae2389f369f61eb9ed8449edf599b5bfe9dfb1cd34fcb1a27c02423231dc4",
333
+ "result": {
334
+ "kind": "refuse",
335
+ "protocol": "bound-lock/1",
336
+ "why": "Error: REFUSE\u00b7experiment1a derived-text-differs"
337
+ }
338
+ }
339
+ ],
340
+ "classification": "retained actual host responses; exact historical input identities only",
341
+ "format": "native-reading-capture@1",
342
+ "ownerAdmitted": true,
343
+ "sameOrigin": true,
344
+ "sourceInputDigests": [
345
+ {
346
+ "bytes": 2288,
347
+ "path": "vectors/laws/experiment1a-protocol.native.json",
348
+ "sha256": "sha256:386ec41df834431492c6e43e644cd9a91a284b967e0bcaf16389ca3cd0709aa8"
349
+ },
350
+ {
351
+ "bytes": 950,
352
+ "path": "contracts/model-collapse-1a.json",
353
+ "sha256": "sha256:d06165f3a8d4d31b5224c9cd7fbc20a89fdfd5783aba00862b97920659adba13"
354
+ },
355
+ {
356
+ "bytes": 6153,
357
+ "path": "protocols/model-collapse-1a.json",
358
+ "sha256": "sha256:a0fdca5bd239e97258aa5ba9eab3d37afc46d8a1fece767e6c35df0adf7a8ec3"
359
+ },
360
+ {
361
+ "bytes": 2015,
362
+ "path": "docs/contracts/model-collapse-1a.md",
363
+ "sha256": "sha256:05c2a6ac20d209dab21a4fd5ff9392add36158b2194b5776329386b839ff77ec"
364
+ },
365
+ {
366
+ "bytes": 2282,
367
+ "path": "proofs/experiment1a-046/declaration.json",
368
+ "sha256": "sha256:327a0729dfa0c007f070d3b9db09089dc93f6168d83b22a8143edb6952f4d233"
369
+ },
370
+ {
371
+ "bytes": 2761,
372
+ "path": "vectors/laws/policy.json",
373
+ "sha256": "sha256:e941ce8cd86f0ec31621fa6b4deef9685dc1fead283f4b2fe22a8a58e3d5d939"
374
+ },
375
+ {
376
+ "bytes": 498,
377
+ "path": "vectors/laws/model-collapse-1a.json",
378
+ "sha256": "sha256:a0778ca34a47aa92fd8c71fa7ca27381cdcfce825988349838dec528563fdca0"
379
+ },
380
+ {
381
+ "bytes": 163,
382
+ "path": "samples/laws/experiment1a/yes/sample.json",
383
+ "sha256": "sha256:5141a0c51fbb0b8dd75f16511e0a60612e71e14a27b92d2a33a419a7c1497961"
384
+ },
385
+ {
386
+ "bytes": 361,
387
+ "path": "samples/laws/experiment1a/no/sample.json",
388
+ "sha256": "sha256:0fbb4408ca17795184a984a5de822a37b82dd98655d92893aae3088004230280"
389
+ }
390
+ ]
391
+ }
@@ -0,0 +1,64 @@
1
+ {
2
+ "anchors": [
3
+ {
4
+ "path": "contracts/model-collapse-1a.json",
5
+ "sha256": "sha256:d06165f3a8d4d31b5224c9cd7fbc20a89fdfd5783aba00862b97920659adba13"
6
+ },
7
+ {
8
+ "path": "protocols/model-collapse-1a.json",
9
+ "sha256": "sha256:7b8e16cbc8dff5d1654b8bb3710dd619810dde74ad8bb3a70b92dec377af736f"
10
+ },
11
+ {
12
+ "path": "docs/contracts/model-collapse-1a.md",
13
+ "sha256": "sha256:05c2a6ac20d209dab21a4fd5ff9392add36158b2194b5776329386b839ff77ec"
14
+ },
15
+ {
16
+ "path": "proofs/experiment1a-046/declaration.json",
17
+ "sha256": "sha256:327a0729dfa0c007f070d3b9db09089dc93f6168d83b22a8143edb6952f4d233"
18
+ },
19
+ {
20
+ "path": "vectors/laws/policy.json",
21
+ "sha256": "sha256:e941ce8cd86f0ec31621fa6b4deef9685dc1fead283f4b2fe22a8a58e3d5d939"
22
+ },
23
+ {
24
+ "path": "vectors/laws/model-collapse-1a.json",
25
+ "sha256": "sha256:dda54cc8ae7d204251fd343f572093434aaee02fd272d5f4f65b5a1ff95e2d50"
26
+ },
27
+ {
28
+ "path": "samples/laws/experiment1a/yes/sample.json",
29
+ "sha256": "sha256:5141a0c51fbb0b8dd75f16511e0a60612e71e14a27b92d2a33a419a7c1497961"
30
+ },
31
+ {
32
+ "path": "samples/laws/experiment1a/no/sample.json",
33
+ "sha256": "sha256:0fbb4408ca17795184a984a5de822a37b82dd98655d92893aae3088004230280"
34
+ }
35
+ ],
36
+ "assertions": {
37
+ "causalClaimMeasured": false,
38
+ "experimentalExecution": false,
39
+ "finiteCurveRefutesLimit": false,
40
+ "publicPreregistration": false,
41
+ "trainingExposureAbsent": false
42
+ },
43
+ "capturePolicy": {
44
+ "responseBytes": 65536,
45
+ "timeoutMs": 25000
46
+ },
47
+ "classification": "protocol-status-validation-only",
48
+ "empiricalStatus": "unmeasured",
49
+ "id": "experiment1a-protocol-native@1",
50
+ "identityInputs": [
51
+ "vectors/laws/experiment1a-protocol.native.json",
52
+ "contracts/model-collapse-1a.json",
53
+ "protocols/model-collapse-1a.json",
54
+ "docs/contracts/model-collapse-1a.md",
55
+ "proofs/experiment1a-046/declaration.json",
56
+ "vectors/laws/policy.json",
57
+ "vectors/laws/model-collapse-1a.json",
58
+ "samples/laws/experiment1a/yes/sample.json",
59
+ "samples/laws/experiment1a/no/sample.json"
60
+ ],
61
+ "originalThreeCards": "open",
62
+ "protocolSHA256": "sha256:7b8e16cbc8dff5d1654b8bb3710dd619810dde74ad8bb3a70b92dec377af736f",
63
+ "scope": "publication/evidence/experiment1a-protocol"
64
+ }
@@ -0,0 +1,224 @@
1
+ {
2
+ "classification": "prospective unsigned input-correction captures; no experimental result",
3
+ "runtimeSHA256": "sha256:e9dbb4cc260e03b127f3e45f17b34de0197e2edded8387e37dde37cebbe78508",
4
+ "inputs": [
5
+ {
6
+ "path": "vectors/laws/experiment1a-protocol.native.json",
7
+ "sha256": "sha256:2b3ddb9e9d08d97d6a33c6726dc8efb298236bb9fd6a0077d0bfdaeda1c16f7b"
8
+ },
9
+ {
10
+ "path": "contracts/model-collapse-1a.json",
11
+ "sha256": "sha256:d06165f3a8d4d31b5224c9cd7fbc20a89fdfd5783aba00862b97920659adba13"
12
+ },
13
+ {
14
+ "path": "protocols/model-collapse-1a.json",
15
+ "sha256": "sha256:7b8e16cbc8dff5d1654b8bb3710dd619810dde74ad8bb3a70b92dec377af736f"
16
+ },
17
+ {
18
+ "path": "docs/contracts/model-collapse-1a.md",
19
+ "sha256": "sha256:05c2a6ac20d209dab21a4fd5ff9392add36158b2194b5776329386b839ff77ec"
20
+ },
21
+ {
22
+ "path": "proofs/experiment1a-046/declaration.json",
23
+ "sha256": "sha256:327a0729dfa0c007f070d3b9db09089dc93f6168d83b22a8143edb6952f4d233"
24
+ },
25
+ {
26
+ "path": "vectors/laws/policy.json",
27
+ "sha256": "sha256:e941ce8cd86f0ec31621fa6b4deef9685dc1fead283f4b2fe22a8a58e3d5d939"
28
+ },
29
+ {
30
+ "path": "vectors/laws/model-collapse-1a.json",
31
+ "sha256": "sha256:dda54cc8ae7d204251fd343f572093434aaee02fd272d5f4f65b5a1ff95e2d50"
32
+ },
33
+ {
34
+ "path": "samples/laws/experiment1a/yes/sample.json",
35
+ "sha256": "sha256:5141a0c51fbb0b8dd75f16511e0a60612e71e14a27b92d2a33a419a7c1497961"
36
+ },
37
+ {
38
+ "path": "samples/laws/experiment1a/no/sample.json",
39
+ "sha256": "sha256:0fbb4408ca17795184a984a5de822a37b82dd98655d92893aae3088004230280"
40
+ }
41
+ ],
42
+ "events": [
43
+ {
44
+ "place": "orchard",
45
+ "nodeVersion": "v22.15.0",
46
+ "case": "projection",
47
+ "requestSHA256": "sha256:4dfb19660892366496ad643e65489f2a20c586847ded02f59e0abc6b8f4979a6",
48
+ "elapsedMs": 290.39812500000005,
49
+ "result": {
50
+ "protocol": "bound-lock/1",
51
+ "kind": "fact",
52
+ "lines": [
53
+ "bound-lock/1 at=receipt:1 form=alphabet measure=reads role=reads scope=publication/evidence/experiment1a-protocol value=vectors/laws/experiment1a-protocol.native.json|contracts/model-collapse-1a.json|protocols/model-collapse-1a.json|docs/contracts/model-collapse-1a.md|proofs/experiment1a-046/declaration.json|vectors/laws/policy.json|vectors/laws/model-collapse-1a.json|samples/laws/experiment1a/yes/sample.json|samples/laws/experiment1a/no/sample.json"
54
+ ]
55
+ },
56
+ "passed": true
57
+ },
58
+ {
59
+ "place": "orchard",
60
+ "nodeVersion": "v22.15.0",
61
+ "case": "read",
62
+ "requestSHA256": "sha256:ee7c417b53229c54bb6354cf98277afc82ed40b3eee4d96c00ebbae1a0abfc72",
63
+ "elapsedMs": 143.95600000000002,
64
+ "result": {
65
+ "protocol": "bound-lock/1",
66
+ "kind": "fact",
67
+ "claims": [
68
+ {
69
+ "scope": "publication/evidence/experiment1a-protocol",
70
+ "role": "writes",
71
+ "measure": "count",
72
+ "bound": {
73
+ "kind": "interval",
74
+ "lo": 0,
75
+ "hi": 0
76
+ }
77
+ },
78
+ {
79
+ "scope": "publication/evidence/experiment1a-protocol/verification",
80
+ "role": "writes",
81
+ "measure": "digest",
82
+ "bound": {
83
+ "kind": "enumerated",
84
+ "values": [
85
+ "sha256:d765458fc6240e7f268e74915c7ed379f2101ca3873f7262326d783f935fa4ea"
86
+ ]
87
+ }
88
+ },
89
+ {
90
+ "scope": "publication/evidence/experiment1a-protocol/empirical-status",
91
+ "role": "writes",
92
+ "measure": "status",
93
+ "bound": {
94
+ "kind": "enumerated",
95
+ "values": [
96
+ "unmeasured"
97
+ ]
98
+ }
99
+ }
100
+ ]
101
+ },
102
+ "passed": true
103
+ },
104
+ {
105
+ "place": "orchard",
106
+ "nodeVersion": "v22.15.0",
107
+ "case": "missing-input",
108
+ "requestSHA256": "sha256:8e7ed22f63694af44cdf2888352dace243581184a5caed0c75616b38b2b9b5ad",
109
+ "elapsedMs": 140.30758300000002,
110
+ "result": {
111
+ "protocol": "bound-lock/1",
112
+ "kind": "refuse",
113
+ "why": "Error: REFUSE·experiment1a missing-input samples/laws/experiment1a/yes/sample.json"
114
+ },
115
+ "passed": true
116
+ },
117
+ {
118
+ "place": "orchard",
119
+ "nodeVersion": "v22.15.0",
120
+ "case": "handed-source-differs",
121
+ "requestSHA256": "sha256:33b67543428cbce15829102408dc3db48a10a0eeabad325e043ac3bdb9b4d1dd",
122
+ "elapsedMs": 144.36654199999998,
123
+ "result": {
124
+ "protocol": "bound-lock/1",
125
+ "kind": "refuse",
126
+ "why": "Error: REFUSE·experiment1a fixture-source-differs samples/laws/experiment1a/yes/sample.json"
127
+ },
128
+ "passed": true
129
+ },
130
+ {
131
+ "place": "catalog",
132
+ "nodeVersion": "v24.14.1",
133
+ "case": "projection",
134
+ "requestSHA256": "sha256:4dfb19660892366496ad643e65489f2a20c586847ded02f59e0abc6b8f4979a6",
135
+ "elapsedMs": 170.86233399999992,
136
+ "result": {
137
+ "protocol": "bound-lock/1",
138
+ "kind": "fact",
139
+ "lines": [
140
+ "bound-lock/1 at=receipt:1 form=alphabet measure=reads role=reads scope=publication/evidence/experiment1a-protocol value=vectors/laws/experiment1a-protocol.native.json|contracts/model-collapse-1a.json|protocols/model-collapse-1a.json|docs/contracts/model-collapse-1a.md|proofs/experiment1a-046/declaration.json|vectors/laws/policy.json|vectors/laws/model-collapse-1a.json|samples/laws/experiment1a/yes/sample.json|samples/laws/experiment1a/no/sample.json"
141
+ ]
142
+ },
143
+ "passed": true
144
+ },
145
+ {
146
+ "place": "catalog",
147
+ "nodeVersion": "v24.14.1",
148
+ "case": "read",
149
+ "requestSHA256": "sha256:ee7c417b53229c54bb6354cf98277afc82ed40b3eee4d96c00ebbae1a0abfc72",
150
+ "elapsedMs": 174.25037499999996,
151
+ "result": {
152
+ "protocol": "bound-lock/1",
153
+ "kind": "fact",
154
+ "claims": [
155
+ {
156
+ "scope": "publication/evidence/experiment1a-protocol",
157
+ "role": "writes",
158
+ "measure": "count",
159
+ "bound": {
160
+ "kind": "interval",
161
+ "lo": 0,
162
+ "hi": 0
163
+ }
164
+ },
165
+ {
166
+ "scope": "publication/evidence/experiment1a-protocol/verification",
167
+ "role": "writes",
168
+ "measure": "digest",
169
+ "bound": {
170
+ "kind": "enumerated",
171
+ "values": [
172
+ "sha256:d765458fc6240e7f268e74915c7ed379f2101ca3873f7262326d783f935fa4ea"
173
+ ]
174
+ }
175
+ },
176
+ {
177
+ "scope": "publication/evidence/experiment1a-protocol/empirical-status",
178
+ "role": "writes",
179
+ "measure": "status",
180
+ "bound": {
181
+ "kind": "enumerated",
182
+ "values": [
183
+ "unmeasured"
184
+ ]
185
+ }
186
+ }
187
+ ]
188
+ },
189
+ "passed": true
190
+ },
191
+ {
192
+ "place": "catalog",
193
+ "nodeVersion": "v24.14.1",
194
+ "case": "missing-input",
195
+ "requestSHA256": "sha256:8e7ed22f63694af44cdf2888352dace243581184a5caed0c75616b38b2b9b5ad",
196
+ "elapsedMs": 168.53945799999997,
197
+ "result": {
198
+ "protocol": "bound-lock/1",
199
+ "kind": "refuse",
200
+ "why": "Error: REFUSE·experiment1a missing-input samples/laws/experiment1a/yes/sample.json"
201
+ },
202
+ "passed": true
203
+ },
204
+ {
205
+ "place": "catalog",
206
+ "nodeVersion": "v24.14.1",
207
+ "case": "handed-source-differs",
208
+ "requestSHA256": "sha256:33b67543428cbce15829102408dc3db48a10a0eeabad325e043ac3bdb9b4d1dd",
209
+ "elapsedMs": 169.2275830000001,
210
+ "result": {
211
+ "protocol": "bound-lock/1",
212
+ "kind": "refuse",
213
+ "why": "Error: REFUSE·experiment1a fixture-source-differs samples/laws/experiment1a/yes/sample.json"
214
+ },
215
+ "passed": true
216
+ }
217
+ ],
218
+ "candidateVerificationDigest": "sha256:d765458fc6240e7f268e74915c7ed379f2101ca3873f7262326d783f935fa4ea",
219
+ "empiricalStatus": "unmeasured",
220
+ "originalThreeCards": "open",
221
+ "ownerAdmitted": false,
222
+ "signatures": 0,
223
+ "runtimeReusedExactly": true
224
+ }