@lapxo/obligations 0.4.2 → 0.4.4
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 +4 -0
- package/TARGET.bound +68 -11
- package/dist/measures/cofailure-pairs.d.ts +113 -0
- package/dist/measures/cofailure-pairs.js +129 -0
- package/dist/measures/index.d.ts +10 -0
- package/dist/measures/index.js +5 -0
- package/dist/measures/marginal-information.d.ts +78 -0
- package/dist/measures/marginal-information.js +71 -0
- package/dist/measures/mix-loss.d.ts +187 -0
- package/dist/measures/mix-loss.js +101 -0
- package/dist/measures/phase-defect.d.ts +40 -0
- package/dist/measures/phase-defect.js +33 -0
- package/dist/measures/tolerant-subsets.d.ts +79 -0
- package/dist/measures/tolerant-subsets.js +60 -0
- package/docs/measures.md +24 -0
- package/docs/paper.md +2 -2
- package/docs/reference.md +6 -1
- package/package.json +1 -1
- package/proofs/cofailure-pairs.json +26 -0
- package/proofs/coordination.json +27 -0
- package/proofs/helly-comb.json +17 -0
- package/proofs/lean/Obligations/Cell.lean +159 -0
- package/proofs/lean/Obligations/HellyComb.lean +19 -0
- package/proofs/lineage-ceiling.json +41 -0
- package/proofs/marginal-information.json +30 -0
- package/proofs/resolution-encounters.json +23 -0
- package/receipts.bound +507 -118
- package/samples/laws/cofailure-pairs/no/sample.json +1 -0
- package/samples/laws/cofailure-pairs/yes/sample.json +20 -0
- package/samples/laws/linage-rest/no/sample.json +19 -0
- package/samples/laws/linage-rest/yes/sample.json +100 -0
- package/samples/laws/lineage-ceiling/no/sample.json +8 -0
- package/samples/laws/lineage-ceiling/yes/sample.json +30 -0
- package/samples/laws/marginal-information/no/sample.json +17 -0
- package/samples/laws/marginal-information/yes/sample.json +459 -0
- package/samples/laws/semilattice/no/sample.json +18 -0
- package/samples/laws/semilattice/yes/sample.json +29 -0
- package/samples/measures/l7-tolerant-k.json +90 -0
- package/samples/measures/l8-phase-defect.json +19 -0
- package/samples/measures/l9-mix-loss.json +36 -0
- package/samples/no/H1-uncertainty.json +24 -0
- package/samples/no/installed-artifact.json +103 -12
- package/samples/yes/H1-uncertainty.json +25 -0
- package/samples/yes/installed-artifact.json +36 -60
- package/vectors/laws/cofailure-pairs.json +2580 -0
- package/vectors/laws/cofailure-pairs.native.json +267 -0
- package/vectors/laws/coordination.json +386 -0
- package/vectors/laws/f1/finite-arithmetic.json +66 -0
- package/vectors/laws/f1/path-witness.json +242 -0
- package/vectors/laws/helly-comb.json +95 -0
- package/vectors/laws/helly-comb.lean.json +94 -0
- package/vectors/laws/implementation-043.json +98 -0
- package/vectors/laws/l7-tolerant-k.json +253 -0
- package/vectors/laws/l8-phase-defect.json +214 -0
- package/vectors/laws/l9-mix-loss.json +130 -0
- package/vectors/laws/linage-rest.native.json +335 -0
- package/vectors/laws/lineage-ceiling.json +790 -0
- package/vectors/laws/lineage-ceiling.native.json +291 -0
- package/vectors/laws/marginal-information.json +868 -0
- package/vectors/laws/marginal-information.native.json +259 -0
- package/vectors/laws/meet-semilattice.json +244 -0
- package/vectors/laws/meet-semilattice.native.json +265 -0
- package/vectors/laws/policy.json +22 -0
- package/vectors/laws/resolution-encounters.json +171 -0
- package/vectors/measures/installed-artifact.cli.json +8 -8
|
@@ -0,0 +1,267 @@
|
|
|
1
|
+
{
|
|
2
|
+
"instrument": "@lapxo/bound@0.2.1",
|
|
3
|
+
"instrumentClosureSha256": "sha256:1ccae3c7428a06fcb7303aab3426863c7a52af652c4f5c5e1a979a53784c87af",
|
|
4
|
+
"readerRuntime": "sha256:d6d6b965f90e8019ac1849b59e0c7e800789ce8be9afb064a1e5330d241cd037",
|
|
5
|
+
"provider": "sha256:065aada57e55af956670d16b6194f35843fb22e8d707d6c62c8cd30238b8866e",
|
|
6
|
+
"limits": {
|
|
7
|
+
"timeoutMs": 5000,
|
|
8
|
+
"responseBytes": 65536
|
|
9
|
+
},
|
|
10
|
+
"structuralForks": 0,
|
|
11
|
+
"grammar": "pass",
|
|
12
|
+
"events": [
|
|
13
|
+
{
|
|
14
|
+
"place": "orchard",
|
|
15
|
+
"case": "yes",
|
|
16
|
+
"context": {
|
|
17
|
+
"instrument": "sha256:1ccae3c7428a06fcb7303aab3426863c7a52af652c4f5c5e1a979a53784c87af",
|
|
18
|
+
"implementation": "sha256:d6d6b965f90e8019ac1849b59e0c7e800789ce8be9afb064a1e5330d241cd037",
|
|
19
|
+
"policy": "sha256:0b7d76fb154c07589ed390338ef40eb28e6f3f44175563bb90371b69cc9ee4c0",
|
|
20
|
+
"inputs": [
|
|
21
|
+
[
|
|
22
|
+
"provider",
|
|
23
|
+
"sha256:065aada57e55af956670d16b6194f35843fb22e8d707d6c62c8cd30238b8866e"
|
|
24
|
+
],
|
|
25
|
+
[
|
|
26
|
+
"fixture",
|
|
27
|
+
"sha256:1760d934948c3f89b6e37fd766f4d5dc61e4f190580daeb07abbbc51f1daad7c"
|
|
28
|
+
],
|
|
29
|
+
[
|
|
30
|
+
"proofs/cofailure-pairs.json",
|
|
31
|
+
"sha256:8bc14b94eb3dbc23b1a54ac76d7354112094259501dd44ea75c40ef9cfc60b34"
|
|
32
|
+
],
|
|
33
|
+
[
|
|
34
|
+
"samples/laws/cofailure-pairs/yes.json",
|
|
35
|
+
"sha256:a853c4e95cf7356e3f580865736cfa5b9a6bbb93b7e239311ec01fe8cfbcbb7f"
|
|
36
|
+
],
|
|
37
|
+
[
|
|
38
|
+
"samples/laws/cofailure-pairs/no.json",
|
|
39
|
+
"sha256:bf095d390a432e258d82d316532b7f803ec2884c1633b213756dbc019395711e"
|
|
40
|
+
],
|
|
41
|
+
[
|
|
42
|
+
"vectors/laws/cofailure-pairs.json",
|
|
43
|
+
"sha256:1e612a9fe962968873080daedd15fe8f301b3796b18c6d31e7edebc91e34d32f"
|
|
44
|
+
],
|
|
45
|
+
[
|
|
46
|
+
"vectors/laws/policy.json",
|
|
47
|
+
"sha256:e941ce8cd86f0ec31621fa6b4deef9685dc1fead283f4b2fe22a8a58e3d5d939"
|
|
48
|
+
],
|
|
49
|
+
[
|
|
50
|
+
"src/measures/cofailure-pairs.ts",
|
|
51
|
+
"sha256:e8f93543399051d845c9556f689184535fee227afa3fcfcfa864d41502b4e7fc"
|
|
52
|
+
],
|
|
53
|
+
[
|
|
54
|
+
"src/measures/coincidence.ts",
|
|
55
|
+
"sha256:98d0fe894e306eed0d30fa9970546fff1c766e5b8de1562e7032525bbe71a92b"
|
|
56
|
+
],
|
|
57
|
+
[
|
|
58
|
+
"src/measures/confidence.ts",
|
|
59
|
+
"sha256:761407e0b4ccb17bf2a9548c6a2097940a62c155a764e76e782dad7ea45bf9f4"
|
|
60
|
+
],
|
|
61
|
+
[
|
|
62
|
+
"src/measures/rational.ts",
|
|
63
|
+
"sha256:d8b9eadbba673a594ee45386cb927ff2e9e5c5323d9aa9f129ed6d8ae2512e2a"
|
|
64
|
+
]
|
|
65
|
+
],
|
|
66
|
+
"environment": [
|
|
67
|
+
[
|
|
68
|
+
"variables",
|
|
69
|
+
"sha256:f8aff46e3a216de37011a3d11b0705f9c49d2f79a2c557d4facf5cbf2d36ad80"
|
|
70
|
+
],
|
|
71
|
+
[
|
|
72
|
+
"cwd",
|
|
73
|
+
"sha256:30eddf909e961ba6ad2b1cb67ebf94fb8efc6e1f54a8de18fbcb39beacf88b1a"
|
|
74
|
+
],
|
|
75
|
+
[
|
|
76
|
+
"flags",
|
|
77
|
+
"sha256:4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945"
|
|
78
|
+
],
|
|
79
|
+
[
|
|
80
|
+
"runtime",
|
|
81
|
+
"sha256:849eadb22bf36ee34f9e5f59d6eb409a47ef531b3b2e5fdafb9e807b5399d090"
|
|
82
|
+
],
|
|
83
|
+
[
|
|
84
|
+
"platform",
|
|
85
|
+
"sha256:131558aa9b918882931da265b5d354d6b219f87e9ae251ce24f2c18d402b9288"
|
|
86
|
+
]
|
|
87
|
+
]
|
|
88
|
+
},
|
|
89
|
+
"fixture": "sha256:1760d934948c3f89b6e37fd766f4d5dc61e4f190580daeb07abbbc51f1daad7c",
|
|
90
|
+
"receiptSha256": "sha256:3ae716e404b69f4b7a2b29588d629c869bae87bd12ac395f1aff7f9f94898bfa",
|
|
91
|
+
"selection": "sha256:065aada57e55af956670d16b6194f35843fb22e8d707d6c62c8cd30238b8866e offers/capsule/cofailure-044",
|
|
92
|
+
"read": 1,
|
|
93
|
+
"executed": 1,
|
|
94
|
+
"reusedRetainedExactReceipt": false,
|
|
95
|
+
"reuseExecuted": 0,
|
|
96
|
+
"executionMs": 614.446542,
|
|
97
|
+
"verificationMs": 0.6358329999998205,
|
|
98
|
+
"reuseMs": 8.096125000000029,
|
|
99
|
+
"verifiedWithoutLedgerOrStore": 1,
|
|
100
|
+
"requireReadingContext": true,
|
|
101
|
+
"tamperedCarrierRejected": true,
|
|
102
|
+
"differentEnvironmentRejected": true,
|
|
103
|
+
"receipts": "bound-lock/1 at=place:sha256:d2ad1595d1bee0b4525271d5c3b6ec952c7fde6a2ba2732444077860233d87ac by=reader:825fe48a8f21 form=alphabet measure=observed role=writes scope=publication/evidence/cofailure-pairs value=sha256:d2ad1595d1bee0b4525271d5c3b6ec952c7fde6a2ba2732444077860233d87ac\nbound-lock/1 at=witness:sha256:d2ad1595d1bee0b4525271d5c3b6ec952c7fde6a2ba2732444077860233d87ac by=reader:825fe48a8f21 form=alphabet measure=observed role=writes scope=proofs/cofailure-pairs.json value=sha256:8bc14b94eb3dbc23b1a54ac76d7354112094259501dd44ea75c40ef9cfc60b34\nbound-lock/1 at=witness:sha256:d2ad1595d1bee0b4525271d5c3b6ec952c7fde6a2ba2732444077860233d87ac by=reader:825fe48a8f21 form=alphabet measure=observed role=writes scope=samples/laws/cofailure-pairs/yes.json value=sha256:a853c4e95cf7356e3f580865736cfa5b9a6bbb93b7e239311ec01fe8cfbcbb7f\nbound-lock/1 at=witness:sha256:d2ad1595d1bee0b4525271d5c3b6ec952c7fde6a2ba2732444077860233d87ac by=reader:825fe48a8f21 form=alphabet measure=observed role=writes scope=samples/laws/cofailure-pairs/no.json value=sha256:bf095d390a432e258d82d316532b7f803ec2884c1633b213756dbc019395711e\nbound-lock/1 at=witness:sha256:d2ad1595d1bee0b4525271d5c3b6ec952c7fde6a2ba2732444077860233d87ac by=reader:825fe48a8f21 form=alphabet measure=observed role=writes scope=vectors/laws/cofailure-pairs.json value=sha256:1e612a9fe962968873080daedd15fe8f301b3796b18c6d31e7edebc91e34d32f\nbound-lock/1 at=witness:sha256:d2ad1595d1bee0b4525271d5c3b6ec952c7fde6a2ba2732444077860233d87ac by=reader:825fe48a8f21 form=alphabet measure=observed role=writes scope=vectors/laws/policy.json value=sha256:e941ce8cd86f0ec31621fa6b4deef9685dc1fead283f4b2fe22a8a58e3d5d939\nbound-lock/1 at=witness:sha256:d2ad1595d1bee0b4525271d5c3b6ec952c7fde6a2ba2732444077860233d87ac by=reader:825fe48a8f21 form=alphabet measure=observed role=writes scope=src/measures/cofailure-pairs.ts value=sha256:e8f93543399051d845c9556f689184535fee227afa3fcfcfa864d41502b4e7fc\nbound-lock/1 at=witness:sha256:d2ad1595d1bee0b4525271d5c3b6ec952c7fde6a2ba2732444077860233d87ac by=reader:825fe48a8f21 form=alphabet measure=observed role=writes scope=src/measures/coincidence.ts value=sha256:98d0fe894e306eed0d30fa9970546fff1c766e5b8de1562e7032525bbe71a92b\nbound-lock/1 at=witness:sha256:d2ad1595d1bee0b4525271d5c3b6ec952c7fde6a2ba2732444077860233d87ac by=reader:825fe48a8f21 form=alphabet measure=observed role=writes scope=src/measures/confidence.ts value=sha256:761407e0b4ccb17bf2a9548c6a2097940a62c155a764e76e782dad7ea45bf9f4\nbound-lock/1 at=witness:sha256:d2ad1595d1bee0b4525271d5c3b6ec952c7fde6a2ba2732444077860233d87ac by=reader:825fe48a8f21 form=alphabet measure=observed role=writes scope=src/measures/rational.ts value=sha256:d8b9eadbba673a594ee45386cb927ff2e9e5c5323d9aa9f129ed6d8ae2512e2a\nbound-lock/1 at=place:sha256:d2ad1595d1bee0b4525271d5c3b6ec952c7fde6a2ba2732444077860233d87ac by=reader:825fe48a8f21 form=interval measure=count role=writes scope=publication/evidence/cofailure-pairs value=0..0\nbound-lock/1 at=place:sha256:d2ad1595d1bee0b4525271d5c3b6ec952c7fde6a2ba2732444077860233d87ac by=reader:825fe48a8f21 form=alphabet measure=digest role=writes scope=receipts/readings/e1334f926b14cb3e9c76534f3e2c7bc1189c28e66388a1df7238650e23f7370a/d2ad1595d1bee0b4525271d5c3b6ec952c7fde6a2ba2732444077860233d87ac/identity value=sha256:80f5d2c5a8fa2645d53f20ae2154d1ef4465c31a5cf8d8410a2cbfdd23d04d2d\nbound-lock/1 at=place:sha256:853c92c10c958fe461c6aaaf5106116d69d1476812e99483c15d7b9392533674 by=reader:825fe48a8f21 form=alphabet measure=observed role=writes scope=receipts/readings/e1334f926b14cb3e9c76534f3e2c7bc1189c28e66388a1df7238650e23f7370a/d2ad1595d1bee0b4525271d5c3b6ec952c7fde6a2ba2732444077860233d87ac value=sha256:853c92c10c958fe461c6aaaf5106116d69d1476812e99483c15d7b9392533674\nbound-lock/1 about=\"[\\\"reading-context@1\\\",\\\"sha256:1ccae3c7428a06fcb7303aab3426863c7a52af652c4f5c5e1a979a53784c87af\\\",\\\"sha256:d6d6b965f90e8019ac1849b59e0c7e800789ce8be9afb064a1e5330d241cd037\\\",\\\"sha256:3e41e1dd0dc33c1f2b9cffe83e8b0d7ea85737615eac23ed81b9deca5e9d83de\\\",[[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"fixture\\\\\\\"]\\\",\\\"sha256:1760d934948c3f89b6e37fd766f4d5dc61e4f190580daeb07abbbc51f1daad7c\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"proofs/cofailure-pairs.json\\\\\\\"]\\\",\\\"sha256:8bc14b94eb3dbc23b1a54ac76d7354112094259501dd44ea75c40ef9cfc60b34\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"provider\\\\\\\"]\\\",\\\"sha256:065aada57e55af956670d16b6194f35843fb22e8d707d6c62c8cd30238b8866e\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"samples/laws/cofailure-pairs/no.json\\\\\\\"]\\\",\\\"sha256:bf095d390a432e258d82d316532b7f803ec2884c1633b213756dbc019395711e\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"samples/laws/cofailure-pairs/yes.json\\\\\\\"]\\\",\\\"sha256:a853c4e95cf7356e3f580865736cfa5b9a6bbb93b7e239311ec01fe8cfbcbb7f\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"src/measures/cofailure-pairs.ts\\\\\\\"]\\\",\\\"sha256:e8f93543399051d845c9556f689184535fee227afa3fcfcfa864d41502b4e7fc\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"src/measures/coincidence.ts\\\\\\\"]\\\",\\\"sha256:98d0fe894e306eed0d30fa9970546fff1c766e5b8de1562e7032525bbe71a92b\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"src/measures/confidence.ts\\\\\\\"]\\\",\\\"sha256:761407e0b4ccb17bf2a9548c6a2097940a62c155a764e76e782dad7ea45bf9f4\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"src/measures/rational.ts\\\\\\\"]\\\",\\\"sha256:d8b9eadbba673a594ee45386cb927ff2e9e5c5323d9aa9f129ed6d8ae2512e2a\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"vectors/laws/cofailure-pairs.json\\\\\\\"]\\\",\\\"sha256:1e612a9fe962968873080daedd15fe8f301b3796b18c6d31e7edebc91e34d32f\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"vectors/laws/policy.json\\\\\\\"]\\\",\\\"sha256:e941ce8cd86f0ec31621fa6b4deef9685dc1fead283f4b2fe22a8a58e3d5d939\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"proofs/cofailure-pairs.json\\\\\\\"]\\\",\\\"sha256:8bc14b94eb3dbc23b1a54ac76d7354112094259501dd44ea75c40ef9cfc60b34\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"samples/laws/cofailure-pairs/no.json\\\\\\\"]\\\",\\\"sha256:bf095d390a432e258d82d316532b7f803ec2884c1633b213756dbc019395711e\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"samples/laws/cofailure-pairs/yes.json\\\\\\\"]\\\",\\\"sha256:a853c4e95cf7356e3f580865736cfa5b9a6bbb93b7e239311ec01fe8cfbcbb7f\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"src/measures/cofailure-pairs.ts\\\\\\\"]\\\",\\\"sha256:e8f93543399051d845c9556f689184535fee227afa3fcfcfa864d41502b4e7fc\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"src/measures/coincidence.ts\\\\\\\"]\\\",\\\"sha256:98d0fe894e306eed0d30fa9970546fff1c766e5b8de1562e7032525bbe71a92b\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"src/measures/confidence.ts\\\\\\\"]\\\",\\\"sha256:761407e0b4ccb17bf2a9548c6a2097940a62c155a764e76e782dad7ea45bf9f4\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"src/measures/rational.ts\\\\\\\"]\\\",\\\"sha256:d8b9eadbba673a594ee45386cb927ff2e9e5c5323d9aa9f129ed6d8ae2512e2a\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"vectors/laws/cofailure-pairs.json\\\\\\\"]\\\",\\\"sha256:1e612a9fe962968873080daedd15fe8f301b3796b18c6d31e7edebc91e34d32f\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"vectors/laws/policy.json\\\\\\\"]\\\",\\\"sha256:e941ce8cd86f0ec31621fa6b4deef9685dc1fead283f4b2fe22a8a58e3d5d939\\\"],[\\\"[\\\\\\\"plan\\\\\\\"]\\\",\\\"sha256:a8d0ce2306c10ba52ccb8603ec40c0fd860d634342ff81f2be23c6100a33040e\\\"]],[[\\\"cwd\\\",\\\"sha256:30eddf909e961ba6ad2b1cb67ebf94fb8efc6e1f54a8de18fbcb39beacf88b1a\\\"],[\\\"flags\\\",\\\"sha256:4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945\\\"],[\\\"platform\\\",\\\"sha256:131558aa9b918882931da265b5d354d6b219f87e9ae251ce24f2c18d402b9288\\\"],[\\\"runtime\\\",\\\"sha256:849eadb22bf36ee34f9e5f59d6eb409a47ef531b3b2e5fdafb9e807b5399d090\\\"],[\\\"variables\\\",\\\"sha256:f8aff46e3a216de37011a3d11b0705f9c49d2f79a2c557d4facf5cbf2d36ad80\\\"]]]\\n\" at=place:sha256:d2ad1595d1bee0b4525271d5c3b6ec952c7fde6a2ba2732444077860233d87ac by=reader:825fe48a8f21 form=alphabet measure=bytes role=writes scope=receipts/readings/e1334f926b14cb3e9c76534f3e2c7bc1189c28e66388a1df7238650e23f7370a/d2ad1595d1bee0b4525271d5c3b6ec952c7fde6a2ba2732444077860233d87ac value=sha256:d2ad1595d1bee0b4525271d5c3b6ec952c7fde6a2ba2732444077860233d87ac\nbound-lock/1 about=\"bound-lock/1 at=place:sha256:d2ad1595d1bee0b4525271d5c3b6ec952c7fde6a2ba2732444077860233d87ac by=reader:825fe48a8f21 form=interval measure=count role=writes scope=publication/evidence/cofailure-pairs value=0..0\\n\" at=place:sha256:853c92c10c958fe461c6aaaf5106116d69d1476812e99483c15d7b9392533674 by=reader:825fe48a8f21 form=interval measure=count role=writes scope=receipts/readings/e1334f926b14cb3e9c76534f3e2c7bc1189c28e66388a1df7238650e23f7370a/d2ad1595d1bee0b4525271d5c3b6ec952c7fde6a2ba2732444077860233d87ac value=1..1\nbound-lock/1 at=place:sha256:d2ad1595d1bee0b4525271d5c3b6ec952c7fde6a2ba2732444077860233d87ac by=reader:825fe48a8f21 form=interval measure=s role=writes scope=receipts/readings/e1334f926b14cb3e9c76534f3e2c7bc1189c28e66388a1df7238650e23f7370a/d2ad1595d1bee0b4525271d5c3b6ec952c7fde6a2ba2732444077860233d87ac value=0.303218..0.303218\n"
|
|
104
|
+
},
|
|
105
|
+
{
|
|
106
|
+
"place": "orchard-changed-bytes",
|
|
107
|
+
"case": "no",
|
|
108
|
+
"fixture": "sha256:3a9dc0aa6f79b3b8e74cf170570da5ed998019042f890e4751dd019712dd8d06",
|
|
109
|
+
"expectedRefusal": "REFUSE·cofailure-vector anchor-digest samples/laws/cofailure-pairs/yes.json",
|
|
110
|
+
"refusal": "Error: REFUSE·reading publication/evidence/cofailure-pairs · Error: REFUSE·cofailure-vector anchor-digest samples/laws/cofailure-pairs/yes.json",
|
|
111
|
+
"executionMs": 551.007292,
|
|
112
|
+
"fixturePreserved": true
|
|
113
|
+
},
|
|
114
|
+
{
|
|
115
|
+
"place": "orchard-invalid-value-matched-digest",
|
|
116
|
+
"case": "no",
|
|
117
|
+
"fixture": "sha256:8e6b1ef07037871180ad3711025f822f2c873b67711d92d907218655ebb1c932",
|
|
118
|
+
"expectedRefusal": "REFUSE·cofailure invalid-value-reading",
|
|
119
|
+
"refusal": "Error: REFUSE·reading publication/evidence/cofailure-pairs · Error: REFUSE·cofailure invalid-value-reading",
|
|
120
|
+
"executionMs": 515.9431659999998,
|
|
121
|
+
"fixturePreserved": true
|
|
122
|
+
},
|
|
123
|
+
{
|
|
124
|
+
"place": "orchard-invalid-reference-matched-digest",
|
|
125
|
+
"case": "no",
|
|
126
|
+
"fixture": "sha256:c79e7ed7112fc70b536ec4ce26c380bd38c369fa02bbfa346969315b59940e57",
|
|
127
|
+
"expectedRefusal": "REFUSE·cofailure reference-not-normalized",
|
|
128
|
+
"refusal": "Error: REFUSE·reading publication/evidence/cofailure-pairs · Error: REFUSE·cofailure reference-not-normalized",
|
|
129
|
+
"executionMs": 546.5650420000002,
|
|
130
|
+
"fixturePreserved": true
|
|
131
|
+
},
|
|
132
|
+
{
|
|
133
|
+
"place": "catalog",
|
|
134
|
+
"case": "yes",
|
|
135
|
+
"context": {
|
|
136
|
+
"instrument": "sha256:1ccae3c7428a06fcb7303aab3426863c7a52af652c4f5c5e1a979a53784c87af",
|
|
137
|
+
"implementation": "sha256:d6d6b965f90e8019ac1849b59e0c7e800789ce8be9afb064a1e5330d241cd037",
|
|
138
|
+
"policy": "sha256:0b7d76fb154c07589ed390338ef40eb28e6f3f44175563bb90371b69cc9ee4c0",
|
|
139
|
+
"inputs": [
|
|
140
|
+
[
|
|
141
|
+
"provider",
|
|
142
|
+
"sha256:065aada57e55af956670d16b6194f35843fb22e8d707d6c62c8cd30238b8866e"
|
|
143
|
+
],
|
|
144
|
+
[
|
|
145
|
+
"fixture",
|
|
146
|
+
"sha256:1760d934948c3f89b6e37fd766f4d5dc61e4f190580daeb07abbbc51f1daad7c"
|
|
147
|
+
],
|
|
148
|
+
[
|
|
149
|
+
"proofs/cofailure-pairs.json",
|
|
150
|
+
"sha256:8bc14b94eb3dbc23b1a54ac76d7354112094259501dd44ea75c40ef9cfc60b34"
|
|
151
|
+
],
|
|
152
|
+
[
|
|
153
|
+
"samples/laws/cofailure-pairs/yes.json",
|
|
154
|
+
"sha256:a853c4e95cf7356e3f580865736cfa5b9a6bbb93b7e239311ec01fe8cfbcbb7f"
|
|
155
|
+
],
|
|
156
|
+
[
|
|
157
|
+
"samples/laws/cofailure-pairs/no.json",
|
|
158
|
+
"sha256:bf095d390a432e258d82d316532b7f803ec2884c1633b213756dbc019395711e"
|
|
159
|
+
],
|
|
160
|
+
[
|
|
161
|
+
"vectors/laws/cofailure-pairs.json",
|
|
162
|
+
"sha256:1e612a9fe962968873080daedd15fe8f301b3796b18c6d31e7edebc91e34d32f"
|
|
163
|
+
],
|
|
164
|
+
[
|
|
165
|
+
"vectors/laws/policy.json",
|
|
166
|
+
"sha256:e941ce8cd86f0ec31621fa6b4deef9685dc1fead283f4b2fe22a8a58e3d5d939"
|
|
167
|
+
],
|
|
168
|
+
[
|
|
169
|
+
"src/measures/cofailure-pairs.ts",
|
|
170
|
+
"sha256:e8f93543399051d845c9556f689184535fee227afa3fcfcfa864d41502b4e7fc"
|
|
171
|
+
],
|
|
172
|
+
[
|
|
173
|
+
"src/measures/coincidence.ts",
|
|
174
|
+
"sha256:98d0fe894e306eed0d30fa9970546fff1c766e5b8de1562e7032525bbe71a92b"
|
|
175
|
+
],
|
|
176
|
+
[
|
|
177
|
+
"src/measures/confidence.ts",
|
|
178
|
+
"sha256:761407e0b4ccb17bf2a9548c6a2097940a62c155a764e76e782dad7ea45bf9f4"
|
|
179
|
+
],
|
|
180
|
+
[
|
|
181
|
+
"src/measures/rational.ts",
|
|
182
|
+
"sha256:d8b9eadbba673a594ee45386cb927ff2e9e5c5323d9aa9f129ed6d8ae2512e2a"
|
|
183
|
+
]
|
|
184
|
+
],
|
|
185
|
+
"environment": [
|
|
186
|
+
[
|
|
187
|
+
"variables",
|
|
188
|
+
"sha256:f8aff46e3a216de37011a3d11b0705f9c49d2f79a2c557d4facf5cbf2d36ad80"
|
|
189
|
+
],
|
|
190
|
+
[
|
|
191
|
+
"cwd",
|
|
192
|
+
"sha256:6df5b097b209aefa3fbd16abb4402720f8ebe596dad823554d21bb273794f008"
|
|
193
|
+
],
|
|
194
|
+
[
|
|
195
|
+
"flags",
|
|
196
|
+
"sha256:4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945"
|
|
197
|
+
],
|
|
198
|
+
[
|
|
199
|
+
"runtime",
|
|
200
|
+
"sha256:849eadb22bf36ee34f9e5f59d6eb409a47ef531b3b2e5fdafb9e807b5399d090"
|
|
201
|
+
],
|
|
202
|
+
[
|
|
203
|
+
"platform",
|
|
204
|
+
"sha256:131558aa9b918882931da265b5d354d6b219f87e9ae251ce24f2c18d402b9288"
|
|
205
|
+
]
|
|
206
|
+
]
|
|
207
|
+
},
|
|
208
|
+
"fixture": "sha256:1760d934948c3f89b6e37fd766f4d5dc61e4f190580daeb07abbbc51f1daad7c",
|
|
209
|
+
"receiptSha256": "sha256:c6f4aa3a4e55040f0089f1fef7fb6f56f680330a165723bc1553463a2ae9a80c",
|
|
210
|
+
"selection": "sha256:065aada57e55af956670d16b6194f35843fb22e8d707d6c62c8cd30238b8866e offers/capsule/cofailure-044",
|
|
211
|
+
"read": 1,
|
|
212
|
+
"executed": 1,
|
|
213
|
+
"reusedRetainedExactReceipt": false,
|
|
214
|
+
"reuseExecuted": 0,
|
|
215
|
+
"executionMs": 576.1416670000003,
|
|
216
|
+
"verificationMs": 0.28674999999975626,
|
|
217
|
+
"reuseMs": 10.47995899999978,
|
|
218
|
+
"verifiedWithoutLedgerOrStore": 1,
|
|
219
|
+
"requireReadingContext": true,
|
|
220
|
+
"tamperedCarrierRejected": true,
|
|
221
|
+
"differentEnvironmentRejected": true,
|
|
222
|
+
"receipts": "bound-lock/1 at=place:sha256:da98c67110d3d23b7a6432b5e76f64ab6f8e1af9991df10831231faaa2d6610e by=reader:825fe48a8f21 form=alphabet measure=observed role=writes scope=publication/evidence/cofailure-pairs value=sha256:da98c67110d3d23b7a6432b5e76f64ab6f8e1af9991df10831231faaa2d6610e\nbound-lock/1 at=witness:sha256:da98c67110d3d23b7a6432b5e76f64ab6f8e1af9991df10831231faaa2d6610e by=reader:825fe48a8f21 form=alphabet measure=observed role=writes scope=proofs/cofailure-pairs.json value=sha256:8bc14b94eb3dbc23b1a54ac76d7354112094259501dd44ea75c40ef9cfc60b34\nbound-lock/1 at=witness:sha256:da98c67110d3d23b7a6432b5e76f64ab6f8e1af9991df10831231faaa2d6610e by=reader:825fe48a8f21 form=alphabet measure=observed role=writes scope=samples/laws/cofailure-pairs/yes.json value=sha256:a853c4e95cf7356e3f580865736cfa5b9a6bbb93b7e239311ec01fe8cfbcbb7f\nbound-lock/1 at=witness:sha256:da98c67110d3d23b7a6432b5e76f64ab6f8e1af9991df10831231faaa2d6610e by=reader:825fe48a8f21 form=alphabet measure=observed role=writes scope=samples/laws/cofailure-pairs/no.json value=sha256:bf095d390a432e258d82d316532b7f803ec2884c1633b213756dbc019395711e\nbound-lock/1 at=witness:sha256:da98c67110d3d23b7a6432b5e76f64ab6f8e1af9991df10831231faaa2d6610e by=reader:825fe48a8f21 form=alphabet measure=observed role=writes scope=vectors/laws/cofailure-pairs.json value=sha256:1e612a9fe962968873080daedd15fe8f301b3796b18c6d31e7edebc91e34d32f\nbound-lock/1 at=witness:sha256:da98c67110d3d23b7a6432b5e76f64ab6f8e1af9991df10831231faaa2d6610e by=reader:825fe48a8f21 form=alphabet measure=observed role=writes scope=vectors/laws/policy.json value=sha256:e941ce8cd86f0ec31621fa6b4deef9685dc1fead283f4b2fe22a8a58e3d5d939\nbound-lock/1 at=witness:sha256:da98c67110d3d23b7a6432b5e76f64ab6f8e1af9991df10831231faaa2d6610e by=reader:825fe48a8f21 form=alphabet measure=observed role=writes scope=src/measures/cofailure-pairs.ts value=sha256:e8f93543399051d845c9556f689184535fee227afa3fcfcfa864d41502b4e7fc\nbound-lock/1 at=witness:sha256:da98c67110d3d23b7a6432b5e76f64ab6f8e1af9991df10831231faaa2d6610e by=reader:825fe48a8f21 form=alphabet measure=observed role=writes scope=src/measures/coincidence.ts value=sha256:98d0fe894e306eed0d30fa9970546fff1c766e5b8de1562e7032525bbe71a92b\nbound-lock/1 at=witness:sha256:da98c67110d3d23b7a6432b5e76f64ab6f8e1af9991df10831231faaa2d6610e by=reader:825fe48a8f21 form=alphabet measure=observed role=writes scope=src/measures/confidence.ts value=sha256:761407e0b4ccb17bf2a9548c6a2097940a62c155a764e76e782dad7ea45bf9f4\nbound-lock/1 at=witness:sha256:da98c67110d3d23b7a6432b5e76f64ab6f8e1af9991df10831231faaa2d6610e by=reader:825fe48a8f21 form=alphabet measure=observed role=writes scope=src/measures/rational.ts value=sha256:d8b9eadbba673a594ee45386cb927ff2e9e5c5323d9aa9f129ed6d8ae2512e2a\nbound-lock/1 at=place:sha256:da98c67110d3d23b7a6432b5e76f64ab6f8e1af9991df10831231faaa2d6610e by=reader:825fe48a8f21 form=interval measure=count role=writes scope=publication/evidence/cofailure-pairs value=0..0\nbound-lock/1 at=place:sha256:da98c67110d3d23b7a6432b5e76f64ab6f8e1af9991df10831231faaa2d6610e by=reader:825fe48a8f21 form=alphabet measure=digest role=writes scope=receipts/readings/e1334f926b14cb3e9c76534f3e2c7bc1189c28e66388a1df7238650e23f7370a/da98c67110d3d23b7a6432b5e76f64ab6f8e1af9991df10831231faaa2d6610e/identity value=sha256:9e917591845bb22468ba30cf01861614bb1097ce142207ae6360cd1df2d6c53c\nbound-lock/1 at=place:sha256:44d9e82fe6a0175174aca2b427b933c025a3d837ba5ec2d17c95a5d1ef78a377 by=reader:825fe48a8f21 form=alphabet measure=observed role=writes scope=receipts/readings/e1334f926b14cb3e9c76534f3e2c7bc1189c28e66388a1df7238650e23f7370a/da98c67110d3d23b7a6432b5e76f64ab6f8e1af9991df10831231faaa2d6610e value=sha256:44d9e82fe6a0175174aca2b427b933c025a3d837ba5ec2d17c95a5d1ef78a377\nbound-lock/1 about=\"[\\\"reading-context@1\\\",\\\"sha256:1ccae3c7428a06fcb7303aab3426863c7a52af652c4f5c5e1a979a53784c87af\\\",\\\"sha256:d6d6b965f90e8019ac1849b59e0c7e800789ce8be9afb064a1e5330d241cd037\\\",\\\"sha256:3e41e1dd0dc33c1f2b9cffe83e8b0d7ea85737615eac23ed81b9deca5e9d83de\\\",[[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"fixture\\\\\\\"]\\\",\\\"sha256:1760d934948c3f89b6e37fd766f4d5dc61e4f190580daeb07abbbc51f1daad7c\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"proofs/cofailure-pairs.json\\\\\\\"]\\\",\\\"sha256:8bc14b94eb3dbc23b1a54ac76d7354112094259501dd44ea75c40ef9cfc60b34\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"provider\\\\\\\"]\\\",\\\"sha256:065aada57e55af956670d16b6194f35843fb22e8d707d6c62c8cd30238b8866e\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"samples/laws/cofailure-pairs/no.json\\\\\\\"]\\\",\\\"sha256:bf095d390a432e258d82d316532b7f803ec2884c1633b213756dbc019395711e\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"samples/laws/cofailure-pairs/yes.json\\\\\\\"]\\\",\\\"sha256:a853c4e95cf7356e3f580865736cfa5b9a6bbb93b7e239311ec01fe8cfbcbb7f\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"src/measures/cofailure-pairs.ts\\\\\\\"]\\\",\\\"sha256:e8f93543399051d845c9556f689184535fee227afa3fcfcfa864d41502b4e7fc\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"src/measures/coincidence.ts\\\\\\\"]\\\",\\\"sha256:98d0fe894e306eed0d30fa9970546fff1c766e5b8de1562e7032525bbe71a92b\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"src/measures/confidence.ts\\\\\\\"]\\\",\\\"sha256:761407e0b4ccb17bf2a9548c6a2097940a62c155a764e76e782dad7ea45bf9f4\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"src/measures/rational.ts\\\\\\\"]\\\",\\\"sha256:d8b9eadbba673a594ee45386cb927ff2e9e5c5323d9aa9f129ed6d8ae2512e2a\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"vectors/laws/cofailure-pairs.json\\\\\\\"]\\\",\\\"sha256:1e612a9fe962968873080daedd15fe8f301b3796b18c6d31e7edebc91e34d32f\\\"],[\\\"[\\\\\\\"context\\\\\\\",\\\\\\\"vectors/laws/policy.json\\\\\\\"]\\\",\\\"sha256:e941ce8cd86f0ec31621fa6b4deef9685dc1fead283f4b2fe22a8a58e3d5d939\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"proofs/cofailure-pairs.json\\\\\\\"]\\\",\\\"sha256:8bc14b94eb3dbc23b1a54ac76d7354112094259501dd44ea75c40ef9cfc60b34\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"samples/laws/cofailure-pairs/no.json\\\\\\\"]\\\",\\\"sha256:bf095d390a432e258d82d316532b7f803ec2884c1633b213756dbc019395711e\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"samples/laws/cofailure-pairs/yes.json\\\\\\\"]\\\",\\\"sha256:a853c4e95cf7356e3f580865736cfa5b9a6bbb93b7e239311ec01fe8cfbcbb7f\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"src/measures/cofailure-pairs.ts\\\\\\\"]\\\",\\\"sha256:e8f93543399051d845c9556f689184535fee227afa3fcfcfa864d41502b4e7fc\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"src/measures/coincidence.ts\\\\\\\"]\\\",\\\"sha256:98d0fe894e306eed0d30fa9970546fff1c766e5b8de1562e7032525bbe71a92b\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"src/measures/confidence.ts\\\\\\\"]\\\",\\\"sha256:761407e0b4ccb17bf2a9548c6a2097940a62c155a764e76e782dad7ea45bf9f4\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"src/measures/rational.ts\\\\\\\"]\\\",\\\"sha256:d8b9eadbba673a594ee45386cb927ff2e9e5c5323d9aa9f129ed6d8ae2512e2a\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"vectors/laws/cofailure-pairs.json\\\\\\\"]\\\",\\\"sha256:1e612a9fe962968873080daedd15fe8f301b3796b18c6d31e7edebc91e34d32f\\\"],[\\\"[\\\\\\\"file\\\\\\\",\\\\\\\"vectors/laws/policy.json\\\\\\\"]\\\",\\\"sha256:e941ce8cd86f0ec31621fa6b4deef9685dc1fead283f4b2fe22a8a58e3d5d939\\\"],[\\\"[\\\\\\\"plan\\\\\\\"]\\\",\\\"sha256:a8d0ce2306c10ba52ccb8603ec40c0fd860d634342ff81f2be23c6100a33040e\\\"]],[[\\\"cwd\\\",\\\"sha256:6df5b097b209aefa3fbd16abb4402720f8ebe596dad823554d21bb273794f008\\\"],[\\\"flags\\\",\\\"sha256:4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945\\\"],[\\\"platform\\\",\\\"sha256:131558aa9b918882931da265b5d354d6b219f87e9ae251ce24f2c18d402b9288\\\"],[\\\"runtime\\\",\\\"sha256:849eadb22bf36ee34f9e5f59d6eb409a47ef531b3b2e5fdafb9e807b5399d090\\\"],[\\\"variables\\\",\\\"sha256:f8aff46e3a216de37011a3d11b0705f9c49d2f79a2c557d4facf5cbf2d36ad80\\\"]]]\\n\" at=place:sha256:da98c67110d3d23b7a6432b5e76f64ab6f8e1af9991df10831231faaa2d6610e by=reader:825fe48a8f21 form=alphabet measure=bytes role=writes scope=receipts/readings/e1334f926b14cb3e9c76534f3e2c7bc1189c28e66388a1df7238650e23f7370a/da98c67110d3d23b7a6432b5e76f64ab6f8e1af9991df10831231faaa2d6610e value=sha256:da98c67110d3d23b7a6432b5e76f64ab6f8e1af9991df10831231faaa2d6610e\nbound-lock/1 about=\"bound-lock/1 at=place:sha256:da98c67110d3d23b7a6432b5e76f64ab6f8e1af9991df10831231faaa2d6610e by=reader:825fe48a8f21 form=interval measure=count role=writes scope=publication/evidence/cofailure-pairs value=0..0\\n\" at=place:sha256:44d9e82fe6a0175174aca2b427b933c025a3d837ba5ec2d17c95a5d1ef78a377 by=reader:825fe48a8f21 form=interval measure=count role=writes scope=receipts/readings/e1334f926b14cb3e9c76534f3e2c7bc1189c28e66388a1df7238650e23f7370a/da98c67110d3d23b7a6432b5e76f64ab6f8e1af9991df10831231faaa2d6610e value=1..1\nbound-lock/1 at=place:sha256:da98c67110d3d23b7a6432b5e76f64ab6f8e1af9991df10831231faaa2d6610e by=reader:825fe48a8f21 form=interval measure=s role=writes scope=receipts/readings/e1334f926b14cb3e9c76534f3e2c7bc1189c28e66388a1df7238650e23f7370a/da98c67110d3d23b7a6432b5e76f64ab6f8e1af9991df10831231faaa2d6610e value=0.306362..0.306362\n"
|
|
223
|
+
},
|
|
224
|
+
{
|
|
225
|
+
"place": "catalog-changed-bytes",
|
|
226
|
+
"case": "no",
|
|
227
|
+
"fixture": "sha256:3a9dc0aa6f79b3b8e74cf170570da5ed998019042f890e4751dd019712dd8d06",
|
|
228
|
+
"expectedRefusal": "REFUSE·cofailure-vector anchor-digest samples/laws/cofailure-pairs/yes.json",
|
|
229
|
+
"refusal": "Error: REFUSE·reading publication/evidence/cofailure-pairs · Error: REFUSE·cofailure-vector anchor-digest samples/laws/cofailure-pairs/yes.json",
|
|
230
|
+
"executionMs": 530.5846670000001,
|
|
231
|
+
"fixturePreserved": true
|
|
232
|
+
},
|
|
233
|
+
{
|
|
234
|
+
"place": "catalog-invalid-value-matched-digest",
|
|
235
|
+
"case": "no",
|
|
236
|
+
"fixture": "sha256:8e6b1ef07037871180ad3711025f822f2c873b67711d92d907218655ebb1c932",
|
|
237
|
+
"expectedRefusal": "REFUSE·cofailure invalid-value-reading",
|
|
238
|
+
"refusal": "Error: REFUSE·reading publication/evidence/cofailure-pairs · Error: REFUSE·cofailure invalid-value-reading",
|
|
239
|
+
"executionMs": 465.9317089999995,
|
|
240
|
+
"fixturePreserved": true
|
|
241
|
+
},
|
|
242
|
+
{
|
|
243
|
+
"place": "catalog-invalid-reference-matched-digest",
|
|
244
|
+
"case": "no",
|
|
245
|
+
"fixture": "sha256:c79e7ed7112fc70b536ec4ce26c380bd38c369fa02bbfa346969315b59940e57",
|
|
246
|
+
"expectedRefusal": "REFUSE·cofailure reference-not-normalized",
|
|
247
|
+
"refusal": "Error: REFUSE·reading publication/evidence/cofailure-pairs · Error: REFUSE·cofailure reference-not-normalized",
|
|
248
|
+
"executionMs": 473.24966700000004,
|
|
249
|
+
"fixturePreserved": true
|
|
250
|
+
}
|
|
251
|
+
],
|
|
252
|
+
"signatures": 0,
|
|
253
|
+
"admission": false,
|
|
254
|
+
"ownerUsed": false,
|
|
255
|
+
"kernelReexecution": false,
|
|
256
|
+
"currentAdmissionResponse": false,
|
|
257
|
+
"publicDeliveryVerified": false,
|
|
258
|
+
"READY": false,
|
|
259
|
+
"meaning": "actual context-bearing native candidate receipts for oracle cofailure and oracle-free categorical excess, exact uncertainty and finite counterexamples; no causal identification or admitted public export",
|
|
260
|
+
"resultVector": "vectors/laws/cofailure-pairs.json",
|
|
261
|
+
"resultVectorSha256": "sha256:1e612a9fe962968873080daedd15fe8f301b3796b18c6d31e7edebc91e34d32f",
|
|
262
|
+
"readerSource": "test/support/cofailure-reader.ts",
|
|
263
|
+
"readerSourceSha256": "sha256:21acd3a38717b195b284a801adbdb895f521478a3e363de9019e22410e4c1b53",
|
|
264
|
+
"providerStanding": "bound-lock/1 at=witness:044/cofailure-evidence form=alphabet kind=capsule measure=digest restsOn=sha256:d6d6b965f90e8019ac1849b59e0c7e800789ce8be9afb064a1e5330d241cd037 role=writes scope=offers/capsule/cofailure-044 value=sha256:d6d6b965f90e8019ac1849b59e0c7e800789ce8be9afb064a1e5330d241cd037\nbound-lock/1 at=witness:044/cofailure-evidence form=alphabet measure=input-projection role=writes scope=region/cofailure-044 value=inputs\nbound-lock/1 at=witness:044/cofailure-evidence form=alphabet measure=reads role=writes scope=region/cofailure-044 value=offers/capsule/cofailure-044|region/cofailure-044|proofs/cofailure-pairs.json|samples/laws/cofailure-pairs/yes.json|samples/laws/cofailure-pairs/no.json|vectors/laws/cofailure-pairs.json|vectors/laws/policy.json|src/measures/cofailure-pairs.ts|src/measures/coincidence.ts|src/measures/confidence.ts|src/measures/rational.ts\nbound-lock/1 at=witness:044/cofailure-evidence form=alphabet measure=writes role=writes scope=region/cofailure-044 value=count\n",
|
|
265
|
+
"places": "two directories, one origin; shared immutable tool/dependency cache",
|
|
266
|
+
"setupCosts": "fixture expansion, compilation, dependency hydration and archive construction are preparation; none is hidden inside or certified by the native execution timings"
|
|
267
|
+
}
|