@lapxo/obligations 0.4.4 → 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.
- package/README.md +42 -3
- package/TARGET.bound +147 -4
- package/contracts/extension-lineage-participation.json +30 -0
- package/contracts/m0-allocation.json +6 -0
- package/contracts/m0-binomial-bridge.json +6 -0
- package/contracts/m0-diagonal-conditional.json +15 -0
- package/contracts/m0-finite-grid.json +6 -0
- package/contracts/m0-keff-interval.json +27 -0
- package/contracts/m0-limit-diag.json +6 -0
- package/contracts/m0-limit-offdiag.json +6 -0
- package/contracts/m0-moment-identification.json +42 -0
- package/contracts/m0-pair-coincidence.json +6 -0
- package/contracts/m1-diagonal-regions.json +45 -0
- package/contracts/m1-generator-binomial.json +26 -0
- package/contracts/m1-offdiag-limit.json +42 -0
- package/contracts/m1-subcauses.json +66 -0
- package/contracts/model-collapse-1a.json +16 -0
- package/contracts/projection-chain.json +20 -0
- package/docs/contracts/experiment1a-public-attribution.md +1 -0
- package/docs/contracts/extension-lineage-participation.md +13 -0
- package/docs/contracts/installation-046-inputs.md +1 -0
- package/docs/contracts/m0-allocation.md +1 -0
- package/docs/contracts/m0-binomial-bridge.md +1 -0
- package/docs/contracts/m0-diagonal-lindeberg.md +1 -0
- package/docs/contracts/m0-diagonal-moments.md +1 -0
- package/docs/contracts/m0-diagonal-symmetric.md +1 -0
- package/docs/contracts/m0-diagonal-threshold.md +1 -0
- package/docs/contracts/m0-finite-grid.md +1 -0
- package/docs/contracts/m0-keff-floor-refutation.md +1 -0
- package/docs/contracts/m0-keff-interval.md +1 -0
- package/docs/contracts/m0-limit-diag.md +1 -0
- package/docs/contracts/m0-limit-offdiag.md +1 -0
- package/docs/contracts/m0-moment-identification.md +1 -0
- package/docs/contracts/m0-pair-coincidence.md +1 -0
- package/docs/contracts/m0-refuted-inverses.md +1 -0
- package/docs/contracts/m0-wf-floor-refutation.md +1 -0
- package/docs/contracts/m1-diagonal-regions.md +1 -0
- package/docs/contracts/m1-generator-binomial.md +1 -0
- package/docs/contracts/m1-offdiag-limit.md +1 -0
- package/docs/contracts/model-collapse-1a.md +11 -0
- package/docs/contracts/projection-chain.md +1 -0
- package/docs/proofs/floor-limit-diag.proof.json +29 -0
- package/package.json +1 -1
- package/proofs/definitions-046/declaration.json +11 -0
- package/proofs/experiment1a-046/declaration.json +11 -0
- package/proofs/m0-045/Obligations045/ConsensusGrid.lean +72 -0
- package/proofs/m0-045/Obligations045/M0Coincidence.lean +39 -0
- package/proofs/m0-045/Obligations045/M0Diagonal.lean +18 -0
- package/proofs/m0-045/Obligations045/M0Limit.lean +134 -0
- package/proofs/m0-045/Obligations045/M0Offdiag.lean +171 -0
- package/proofs/m0-045/Obligations045.lean +5 -0
- package/proofs/m0-045/lake-manifest.json +116 -0
- package/proofs/m0-045/lakefile.toml +9 -0
- package/proofs/m0-045/lean-toolchain +1 -0
- package/proofs/m0-046/BridgeNegatives.lean +23 -0
- package/proofs/m0-046/M0Bridge.lean +300 -0
- package/proofs/m0-046/Obligations045/ConsensusGrid.lean +72 -0
- package/proofs/m0-046/Obligations045/M0Coincidence.lean +39 -0
- package/proofs/m0-046/Obligations045/M0Diagonal.lean +18 -0
- package/proofs/m0-046/Obligations045/M0Limit.lean +134 -0
- package/proofs/m0-046/Obligations045/M0Offdiag.lean +171 -0
- package/proofs/m0-046/Obligations045.lean +5 -0
- package/proofs/m0-046/lake-manifest.json +116 -0
- package/proofs/m0-046/lakefile.toml +14 -0
- package/proofs/m0-046/lean-toolchain +1 -0
- package/proofs/m0-046-diagonal/BridgeNegatives.lean +23 -0
- package/proofs/m0-046-diagonal/M0Bridge.lean +300 -0
- package/proofs/m0-046-diagonal/M0Diagonal046.lean +235 -0
- package/proofs/m0-046-diagonal/M0Lindeberg046.lean +92 -0
- package/proofs/m0-046-diagonal/M0Moments046.lean +295 -0
- package/proofs/m0-046-diagonal/M0Threshold046.lean +278 -0
- package/proofs/m0-046-diagonal/Obligations045/ConsensusGrid.lean +72 -0
- package/proofs/m0-046-diagonal/Obligations045/M0Coincidence.lean +39 -0
- package/proofs/m0-046-diagonal/Obligations045/M0Diagonal.lean +18 -0
- package/proofs/m0-046-diagonal/Obligations045/M0Limit.lean +134 -0
- package/proofs/m0-046-diagonal/Obligations045/M0Offdiag.lean +171 -0
- package/proofs/m0-046-diagonal/Obligations045.lean +5 -0
- package/proofs/m0-046-diagonal/lake-manifest.json +116 -0
- package/proofs/m0-046-diagonal/lakefile.toml +26 -0
- package/proofs/m0-046-diagonal/lean-toolchain +1 -0
- package/proofs/m0-046-identification/M0Identification046.lean +209 -0
- package/proofs/m0-046-identification/Obligations045/M0Coincidence.lean +39 -0
- package/proofs/m0-046-identification/lake-manifest.json +116 -0
- package/proofs/m0-046-identification/lakefile.toml +12 -0
- package/proofs/m0-046-identification/lean-toolchain +1 -0
- package/proofs/m0-046-uncertainty/BridgeNegatives.lean +23 -0
- package/proofs/m0-046-uncertainty/M0BlockCoverage046.lean +163 -0
- package/proofs/m0-046-uncertainty/M0Bridge.lean +300 -0
- package/proofs/m0-046-uncertainty/M0Diagonal046.lean +235 -0
- package/proofs/m0-046-uncertainty/M0FiniteDiscord046.lean +207 -0
- package/proofs/m0-046-uncertainty/M0Interval046.lean +82 -0
- package/proofs/m0-046-uncertainty/M0Lindeberg046.lean +92 -0
- package/proofs/m0-046-uncertainty/M0Moments046.lean +295 -0
- package/proofs/m0-046-uncertainty/M0Threshold046.lean +278 -0
- package/proofs/m0-046-uncertainty/Obligations045/ConsensusGrid.lean +72 -0
- package/proofs/m0-046-uncertainty/Obligations045/M0Coincidence.lean +39 -0
- package/proofs/m0-046-uncertainty/Obligations045/M0Diagonal.lean +18 -0
- package/proofs/m0-046-uncertainty/Obligations045/M0Limit.lean +134 -0
- package/proofs/m0-046-uncertainty/Obligations045/M0Offdiag.lean +171 -0
- package/proofs/m0-046-uncertainty/Obligations045.lean +5 -0
- package/proofs/m0-046-uncertainty/lake-manifest.json +116 -0
- package/proofs/m0-046-uncertainty/lakefile.toml +35 -0
- package/proofs/m0-046-uncertainty/lean-toolchain +1 -0
- package/proofs/m1-046-bridge/M0Bridge.lean +300 -0
- package/proofs/m1-046-bridge/M1Bridge046.lean +359 -0
- package/proofs/m1-046-bridge/Obligations045/M0Limit.lean +134 -0
- package/proofs/m1-046-bridge/Obligations045/M0Offdiag.lean +171 -0
- package/proofs/m1-046-bridge/lake-manifest.json +116 -0
- package/proofs/m1-046-bridge/lakefile.toml +29 -0
- package/proofs/m1-046-bridge/lean-toolchain +1 -0
- package/proofs/m1-046-diagonal/M0Bridge.lean +300 -0
- package/proofs/m1-046-diagonal/M0Diagonal046.lean +235 -0
- package/proofs/m1-046-diagonal/M0Lindeberg046.lean +92 -0
- package/proofs/m1-046-diagonal/M0Moments046.lean +295 -0
- package/proofs/m1-046-diagonal/M0Threshold046.lean +278 -0
- package/proofs/m1-046-diagonal/M1Bridge046.lean +359 -0
- package/proofs/m1-046-diagonal/M1Diagonal046.lean +334 -0
- package/proofs/m1-046-diagonal/M1Offdiag046.lean +270 -0
- package/proofs/m1-046-diagonal/Obligations045/M0Limit.lean +134 -0
- package/proofs/m1-046-diagonal/Obligations045/M0Offdiag.lean +171 -0
- package/proofs/m1-046-diagonal/lake-manifest.json +116 -0
- package/proofs/m1-046-diagonal/lakefile.toml +35 -0
- package/proofs/m1-046-diagonal/lean-toolchain +1 -0
- package/proofs/m1-046-offdiag/M0Bridge.lean +300 -0
- package/proofs/m1-046-offdiag/M0Diagonal046.lean +235 -0
- package/proofs/m1-046-offdiag/M0Moments046.lean +295 -0
- package/proofs/m1-046-offdiag/M1Bridge046.lean +359 -0
- package/proofs/m1-046-offdiag/M1Offdiag046.lean +270 -0
- package/proofs/m1-046-offdiag/Obligations045/M0Limit.lean +134 -0
- package/proofs/m1-046-offdiag/Obligations045/M0Offdiag.lean +171 -0
- package/proofs/m1-046-offdiag/lake-manifest.json +116 -0
- package/proofs/m1-046-offdiag/lakefile.toml +32 -0
- package/proofs/m1-046-offdiag/lean-toolchain +1 -0
- package/proofs/projection-chain.md +11 -0
- package/protocols/model-collapse-1a.json +108 -0
- package/receipts.bound +684 -208
- package/samples/laws/definitions/no/sample.json +26 -0
- package/samples/laws/definitions/yes/sample.json +12 -0
- package/samples/laws/experiment1a/no/sample.json +16 -0
- package/samples/laws/experiment1a/yes/sample.json +8 -0
- package/samples/laws/m0-allocation/no/sample.json +5 -0
- package/samples/laws/m0-allocation/yes/sample.json +7 -0
- package/samples/laws/m0-binomial-bridge/no/pairwise-is-not-joint.json +59 -0
- package/samples/laws/m0-binomial-bridge/no/sample.json +13 -0
- package/samples/laws/m0-binomial-bridge/yes/sample.json +16 -0
- package/samples/laws/m0-binomial-bridge/yes/small-binomial-table.json +100 -0
- package/samples/laws/m0-diagonal-conditional/no/sample.json +5 -0
- package/samples/laws/m0-diagonal-conditional/yes/sample.json +7 -0
- package/samples/laws/m0-finite-grid/no/sample.json +5 -0
- package/samples/laws/m0-finite-grid/yes/sample.json +7 -0
- package/samples/laws/m0-keff-interval/no/sample.json +215 -0
- package/samples/laws/m0-keff-interval/yes/api-rows.json +2002 -0
- package/samples/laws/m0-keff-interval/yes/sample.json +70 -0
- package/samples/laws/m0-limit-diag/no/sample.json +5 -0
- package/samples/laws/m0-limit-diag/yes/sample.json +7 -0
- package/samples/laws/m0-limit-offdiag/no/sample.json +5 -0
- package/samples/laws/m0-limit-offdiag/yes/sample.json +7 -0
- package/samples/laws/m0-moment-identification/no/sample.json +47 -0
- package/samples/laws/m0-moment-identification/yes/sample.json +97 -0
- package/samples/laws/m0-pair-coincidence/no/sample.json +5 -0
- package/samples/laws/m0-pair-coincidence/yes/sample.json +7 -0
- package/samples/laws/m1-diagonal-regions/no/sample.json +44 -0
- package/samples/laws/m1-diagonal-regions/yes/sample.json +45 -0
- package/samples/laws/m1-generator-binomial/no/sample.json +21 -0
- package/samples/laws/m1-generator-binomial/yes/sample.json +290 -0
- package/samples/laws/m1-offdiag-limit/no/sample.json +17 -0
- package/samples/laws/m1-offdiag-limit/yes/sample.json +87 -0
- package/samples/laws/projection-chain/no/sample.json +26 -0
- package/samples/laws/projection-chain/yes/sample.json +25 -0
- package/samples/no/installed-artifact.json +2 -2
- package/samples/yes/installed-artifact.json +2 -2
- package/src/laws/laws.bound +146 -0
- package/vectors/laws/a7-t90.json +72 -0
- package/vectors/laws/a9-t99.json +110 -0
- package/vectors/laws/definitions.native-capture.json +326 -0
- package/vectors/laws/definitions.native.json +82 -0
- package/vectors/laws/experiment1a-protocol.native-capture.json +391 -0
- package/vectors/laws/experiment1a-protocol.native.json +64 -0
- package/vectors/laws/experiment1a-public-input.native-capture.json +224 -0
- package/vectors/laws/m0-allocation.lean.json +150 -0
- package/vectors/laws/m0-allocation.native.json +104 -0
- package/vectors/laws/m0-binomial-bridge.lean.json +185 -0
- package/vectors/laws/m0-diagonal-lindeberg.lean.json +167 -0
- package/vectors/laws/m0-diagonal-moments.lean.json +185 -0
- package/vectors/laws/m0-diagonal-symmetric.lean.json +188 -0
- package/vectors/laws/m0-diagonal-threshold.lean.json +199 -0
- package/vectors/laws/m0-finite-grid.lean.json +144 -0
- package/vectors/laws/m0-finite-grid.native.json +104 -0
- package/vectors/laws/m0-identification.lean.json +136 -0
- package/vectors/laws/m0-identification.native-capture.json +230 -0
- package/vectors/laws/m0-keff-interval.json +569 -0
- package/vectors/laws/m0-limit-diag.lean.json +141 -0
- package/vectors/laws/m0-limit-diag.native.json +108 -0
- package/vectors/laws/m0-limit-offdiag.lean.json +143 -0
- package/vectors/laws/m0-limit-offdiag.native.json +104 -0
- package/vectors/laws/m0-pair-coincidence.lean.json +139 -0
- package/vectors/laws/m0-pair-coincidence.native.json +104 -0
- package/vectors/laws/m0-uncertainty-blocks.lean.json +201 -0
- package/vectors/laws/m0-uncertainty-finite-discord.lean.json +194 -0
- package/vectors/laws/m0-uncertainty-interval.lean.json +189 -0
- package/vectors/laws/m0-uncertainty.native-capture.json +651 -0
- package/vectors/laws/m1-diagonal-partial.lean.json +192 -0
- package/vectors/laws/m1-diagonal-partial.native-capture.json +275 -0
- package/vectors/laws/m1-generator-binomial.lean.json +162 -0
- package/vectors/laws/m1-generator-binomial.native-capture.json +245 -0
- package/vectors/laws/m1-offdiag-limit.lean.json +166 -0
- package/vectors/laws/m1-offdiag-limit.native-capture.json +260 -0
- package/vectors/laws/model-collapse-1a.json +12 -0
- package/vectors/laws/projection-chain.json +61 -0
- package/vectors/laws/projection-chain.native-capture.json +311 -0
- package/vectors/laws/projection-chain.native.json +56 -0
- package/vectors/measures/installed-artifact.cli.json +6 -6
|
@@ -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
|
+
}
|