@lapxo/bound 0.1.8 → 0.2.0

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 (248) hide show
  1. package/README.md +56 -20
  2. package/TARGET.bound +70 -27
  3. package/assets/wasm/guest.js +4 -0
  4. package/assets/wasm/manifest.json +27 -0
  5. package/assets/wasm/runtime.js +6 -0
  6. package/assets/wasm/runtime.wasm +0 -0
  7. package/dist/cli/accept.js +83 -59
  8. package/dist/cli/act-result.d.ts +9 -0
  9. package/dist/cli/act-result.js +68 -13
  10. package/dist/cli/args.d.ts +1 -0
  11. package/dist/cli/args.js +5 -2
  12. package/dist/cli/custodian.d.ts +1 -0
  13. package/dist/cli/custodian.js +29 -0
  14. package/dist/cli/native-descendant.d.ts +1 -0
  15. package/dist/cli/native-descendant.js +19 -0
  16. package/dist/cli/native.d.ts +1 -0
  17. package/dist/cli/native.js +60 -0
  18. package/dist/cli/observe.js +9 -2
  19. package/dist/cli/pass.js +9 -4
  20. package/dist/cli/place.d.ts +2 -0
  21. package/dist/cli/place.js +7 -4
  22. package/dist/cli/standing-result.js +7 -26
  23. package/dist/cli/verb.js +65 -9
  24. package/dist/engine/index.d.ts +11 -0
  25. package/dist/engine/index.js +9 -0
  26. package/dist/engine/object.d.ts +17 -0
  27. package/dist/engine/object.js +38 -0
  28. package/dist/fold/admission-history.js +2 -2
  29. package/dist/fold/claims.d.ts +4 -0
  30. package/dist/fold/claims.js +23 -3
  31. package/dist/fold/closed.d.ts +1 -1
  32. package/dist/fold/closed.js +36 -7
  33. package/dist/fold/digests.d.ts +1 -1
  34. package/dist/fold/digests.js +6 -4
  35. package/dist/fold/evidence.d.ts +1 -1
  36. package/dist/fold/kept.js +2 -1
  37. package/dist/fold/object.d.ts +3 -17
  38. package/dist/fold/object.js +2 -38
  39. package/dist/fold/observed.d.ts +1 -0
  40. package/dist/fold/observed.js +54 -9
  41. package/dist/fold/readers.d.ts +4 -3
  42. package/dist/fold/readers.js +18 -13
  43. package/dist/fold/resolved.js +12 -2
  44. package/dist/fold/signers.js +2 -2
  45. package/dist/host/adapters/modules/javascript.d.ts +2 -0
  46. package/dist/host/adapters/modules/javascript.js +8 -6
  47. package/dist/host/admitted-place.d.ts +5 -0
  48. package/dist/host/admitted-place.js +57 -0
  49. package/dist/host/capsule-process.d.ts +1 -1
  50. package/dist/host/capsule-process.js +4 -1
  51. package/dist/host/capsule.d.ts +4 -0
  52. package/dist/host/capsule.js +16 -2
  53. package/dist/host/cell-receipts.js +1 -1
  54. package/dist/host/contextual-place.d.ts +59 -0
  55. package/dist/host/contextual-place.js +77 -0
  56. package/dist/host/hash.d.ts +7 -0
  57. package/dist/host/hash.js +6 -0
  58. package/dist/host/io.d.ts +2 -0
  59. package/dist/host/io.js +2 -0
  60. package/dist/host/lifetime.js +61 -22
  61. package/dist/host/native/bounded-file.d.ts +8 -0
  62. package/dist/host/native/bounded-file.js +32 -0
  63. package/dist/host/native/command.d.ts +36 -0
  64. package/dist/host/native/command.js +91 -0
  65. package/dist/host/native/control-bridge-worker.d.ts +1 -0
  66. package/dist/host/native/control-bridge-worker.js +88 -0
  67. package/dist/host/native/control-bridge.d.ts +30 -0
  68. package/dist/host/native/control-bridge.js +110 -0
  69. package/dist/host/native/control-selection.d.ts +29 -0
  70. package/dist/host/native/control-selection.js +32 -0
  71. package/dist/host/native/custody.d.ts +5 -0
  72. package/dist/host/native/custody.js +91 -0
  73. package/dist/host/native/deadline.d.ts +12 -0
  74. package/dist/host/native/deadline.js +28 -0
  75. package/dist/host/native/descendants.d.ts +1 -0
  76. package/dist/host/native/descendants.js +528 -0
  77. package/dist/host/native/generated-custodian.d.ts +122 -0
  78. package/dist/host/native/generated-custodian.js +267 -0
  79. package/dist/host/native/generated.d.ts +217 -0
  80. package/dist/host/native/generated.js +379 -0
  81. package/dist/host/native/image.d.ts +36 -0
  82. package/dist/host/native/image.js +45 -0
  83. package/dist/host/native/jobs.d.ts +75 -0
  84. package/dist/host/native/jobs.js +148 -0
  85. package/dist/host/native/loader.d.ts +80 -0
  86. package/dist/host/native/loader.js +269 -0
  87. package/dist/host/native/materialize.d.ts +22 -0
  88. package/dist/host/native/materialize.js +175 -0
  89. package/dist/host/native/module-closure.d.ts +27 -0
  90. package/dist/host/native/module-closure.js +99 -0
  91. package/dist/host/native/module-syntax.d.ts +8 -0
  92. package/dist/host/native/module-syntax.js +63 -0
  93. package/dist/host/native/native-binary.d.ts +54 -0
  94. package/dist/host/native/native-binary.js +115 -0
  95. package/dist/host/native/native-program.d.ts +56 -0
  96. package/dist/host/native/native-program.js +72 -0
  97. package/dist/host/native/node-jobs.d.ts +84 -0
  98. package/dist/host/native/node-jobs.js +187 -0
  99. package/dist/host/native/node-launch.d.ts +72 -0
  100. package/dist/host/native/node-launch.js +159 -0
  101. package/dist/host/native/preload.d.ts +1 -0
  102. package/dist/host/native/preload.js +45 -0
  103. package/dist/host/native/reading.d.ts +91 -0
  104. package/dist/host/native/reading.js +249 -0
  105. package/dist/host/native/receipt-environment.d.ts +3 -0
  106. package/dist/host/native/receipt-environment.js +41 -0
  107. package/dist/host/native/references.d.ts +5 -0
  108. package/dist/host/native/references.js +30 -0
  109. package/dist/host/native/root.d.ts +17 -0
  110. package/dist/host/native/root.js +37 -0
  111. package/dist/host/native/route.d.ts +66 -0
  112. package/dist/host/native/route.js +216 -0
  113. package/dist/host/native/runtime.d.ts +4 -0
  114. package/dist/host/native/runtime.js +9 -0
  115. package/dist/host/native-reader-context.d.ts +3 -0
  116. package/dist/host/native-reader-context.js +8 -0
  117. package/dist/host/objects.d.ts +2 -1
  118. package/dist/host/objects.js +24 -4
  119. package/dist/host/place-clock-selection.d.ts +55 -0
  120. package/dist/host/place-clock-selection.js +124 -0
  121. package/dist/host/ports/local-act.d.ts +10 -0
  122. package/dist/host/ports/local-act.js +78 -6
  123. package/dist/host/ports/place-act.d.ts +46 -0
  124. package/dist/host/ports/place-act.js +169 -0
  125. package/dist/host/process-lifetime.js +8 -3
  126. package/dist/host/provide.d.ts +25 -0
  127. package/dist/host/provide.js +115 -13
  128. package/dist/host/reading-closures.d.ts +17 -1
  129. package/dist/host/reading-closures.js +98 -18
  130. package/dist/host/reading-context.d.ts +29 -0
  131. package/dist/host/reading-context.js +53 -0
  132. package/dist/host/reference-authenticated.d.ts +28 -0
  133. package/dist/host/reference-authenticated.js +84 -0
  134. package/dist/host/reference-native.d.ts +10 -0
  135. package/dist/host/reference-native.js +50 -0
  136. package/dist/host/reference-profile.d.ts +23 -0
  137. package/dist/host/reference-profile.js +62 -0
  138. package/dist/host/reference.d.ts +6 -0
  139. package/dist/host/reference.js +24 -0
  140. package/dist/host/root-clock-source.d.ts +85 -0
  141. package/dist/host/root-clock-source.js +305 -0
  142. package/dist/host/selected-capsules.js +3 -2
  143. package/dist/host/selected-topos.d.ts +1 -1
  144. package/dist/host/selected-topos.js +9 -1
  145. package/dist/land/act.d.ts +26 -0
  146. package/dist/land/act.js +96 -3
  147. package/dist/land/ledger.d.ts +4 -0
  148. package/dist/land/ledger.js +20 -2
  149. package/dist/observe/regions.d.ts +4 -0
  150. package/dist/observe/regions.js +109 -1
  151. package/dist/observe/runner.d.ts +4 -0
  152. package/dist/observe/runner.js +9 -2
  153. package/dist/wasm/adapter.d.ts +51 -0
  154. package/dist/wasm/adapter.js +180 -0
  155. package/dist/wasm/node-worker.d.ts +1 -0
  156. package/dist/wasm/node-worker.js +13 -0
  157. package/dist/wasm/object.d.ts +8 -0
  158. package/dist/wasm/object.js +76 -0
  159. package/dist/wasm/worker.d.ts +1 -0
  160. package/dist/wasm/worker.js +7 -0
  161. package/docs/contracts/authenticated-reference.publication.json +25 -0
  162. package/docs/contracts/cli.md +13 -0
  163. package/docs/contracts/engine-object-projection.publication.json +25 -0
  164. package/docs/contracts/engine.md +39 -0
  165. package/docs/contracts/native-publication.inventory.json +8 -0
  166. package/docs/contracts/optional-wasm-adapter.publication.json +25 -0
  167. package/docs/contracts/publication-additions.inventory.json +8 -0
  168. package/docs/contracts/reference-port.md +33 -0
  169. package/docs/contracts/reference-port.publication.json +25 -0
  170. package/licenses/wasm/bound.txt +21 -0
  171. package/licenses/wasm/fast-text-encoding.txt +201 -0
  172. package/licenses/wasm/jitl-quickjs-ffi-types.txt +21 -0
  173. package/licenses/wasm/jitl-quickjs-wasmfile-release-sync.txt +47 -0
  174. package/licenses/wasm/obligations.txt +21 -0
  175. package/licenses/wasm/quickjs-emscripten-core.txt +21 -0
  176. package/licenses/wasm/topos.txt +21 -0
  177. package/package.json +94 -4
  178. package/receipts.bound +7672 -573
  179. package/samples/authenticated-reference/no.json +31 -0
  180. package/samples/authenticated-reference/yes/editorial-state/TARGET.bound +57 -0
  181. package/samples/authenticated-reference/yes/editorial-state/inputs/arrival.json +1 -0
  182. package/samples/authenticated-reference/yes/editorial-state/inputs/coverage.json +1 -0
  183. package/samples/authenticated-reference/yes/editorial-state/inputs/era.json +1 -0
  184. package/samples/authenticated-reference/yes/editorial-state/inputs/order.json +1 -0
  185. package/samples/authenticated-reference/yes/editorial-state/inputs/signature.json +1 -0
  186. package/samples/authenticated-reference/yes/editorial-state/inputs/transport.arrival.json +1 -0
  187. package/samples/authenticated-reference/yes/editorial-state/inputs/transport.coverage.json +1 -0
  188. package/samples/authenticated-reference/yes/editorial-state/inputs/transport.era.json +1 -0
  189. package/samples/authenticated-reference/yes/editorial-state/inputs/transport.order.json +1 -0
  190. package/samples/authenticated-reference/yes/editorial-state/inputs/transport.signature.json +1 -0
  191. package/samples/authenticated-reference/yes/editorial-state/inputs/transport.yes.json +1 -0
  192. package/samples/authenticated-reference/yes/editorial-state/inputs/yes.json +1 -0
  193. package/samples/authenticated-reference/yes/weather-reading/TARGET.bound +57 -0
  194. package/samples/authenticated-reference/yes/weather-reading/inputs/arrival.json +1 -0
  195. package/samples/authenticated-reference/yes/weather-reading/inputs/coverage.json +1 -0
  196. package/samples/authenticated-reference/yes/weather-reading/inputs/era.json +1 -0
  197. package/samples/authenticated-reference/yes/weather-reading/inputs/order.json +1 -0
  198. package/samples/authenticated-reference/yes/weather-reading/inputs/signature.json +1 -0
  199. package/samples/authenticated-reference/yes/weather-reading/inputs/transport.arrival.json +1 -0
  200. package/samples/authenticated-reference/yes/weather-reading/inputs/transport.coverage.json +1 -0
  201. package/samples/authenticated-reference/yes/weather-reading/inputs/transport.era.json +1 -0
  202. package/samples/authenticated-reference/yes/weather-reading/inputs/transport.order.json +1 -0
  203. package/samples/authenticated-reference/yes/weather-reading/inputs/transport.signature.json +1 -0
  204. package/samples/authenticated-reference/yes/weather-reading/inputs/transport.yes.json +1 -0
  205. package/samples/authenticated-reference/yes/weather-reading/inputs/yes.json +1 -0
  206. package/samples/authenticated-reference/yes.json +19 -0
  207. package/samples/engine-alphabet/TARGET.bound +29 -0
  208. package/samples/engine-alphabet/inputs/sample.json +323 -0
  209. package/samples/engine-alphabet/package.json +1 -0
  210. package/samples/engine-alphabet/reader.js +1457 -0
  211. package/samples/engine-alphabet/receipts.bound +12 -0
  212. package/samples/engine-interval/TARGET.bound +29 -0
  213. package/samples/engine-interval/inputs/sample.json +277 -0
  214. package/samples/engine-interval/package.json +1 -0
  215. package/samples/engine-interval/reader.js +1457 -0
  216. package/samples/engine-interval/receipts.bound +12 -0
  217. package/samples/no/engine-order/TARGET.bound +29 -0
  218. package/samples/no/engine-order/inputs/sample.json +277 -0
  219. package/samples/no/engine-order/package.json +1 -0
  220. package/samples/no/engine-order/reader.js +1457 -0
  221. package/samples/reference-port/no/catalog/standing.json +1 -0
  222. package/samples/reference-port/no/catalog/transport.json +1 -0
  223. package/samples/reference-port/no/route-notes/standing.json +1 -0
  224. package/samples/reference-port/no/route-notes/transport.json +1 -0
  225. package/samples/reference-port/yes/catalog/TARGET.bound +33 -0
  226. package/samples/reference-port/yes/catalog/standing.json +1 -0
  227. package/samples/reference-port/yes/catalog/transport.json +1 -0
  228. package/samples/reference-port/yes/route-notes/TARGET.bound +33 -0
  229. package/samples/reference-port/yes/route-notes/standing.json +1 -0
  230. package/samples/reference-port/yes/route-notes/transport.json +1 -0
  231. package/samples/wasm/editorial-notes/TARGET.bound +65 -0
  232. package/samples/wasm/editorial-notes/esm.bound +59 -0
  233. package/samples/wasm/editorial-notes/no-deadline.bound +65 -0
  234. package/samples/wasm/editorial-notes/no-memory.bound +65 -0
  235. package/samples/wasm/editorial-notes/no-missing-limit.bound +64 -0
  236. package/samples/wasm/editorial-notes/receipts.bound +1 -0
  237. package/samples/wasm/water-level/TARGET.bound +65 -0
  238. package/samples/wasm/water-level/esm.bound +59 -0
  239. package/samples/wasm/water-level/no-deadline.bound +65 -0
  240. package/samples/wasm/water-level/no-memory.bound +65 -0
  241. package/samples/wasm/water-level/no-missing-limit.bound +64 -0
  242. package/samples/wasm/water-level/receipts.bound +1 -0
  243. package/vectors/engine-object.cli.json +548 -0
  244. package/vectors/native/authenticated-reference-formation.vector.json +53 -0
  245. package/vectors/native/authenticated-reference.cli.json +157 -0
  246. package/vectors/native/authenticated-reference.vector.json +440 -0
  247. package/vectors/reference-port.cli.json +688 -0
  248. package/vectors/wasm-object.cli.json +452 -0
package/vectors/native/authenticated-reference.cli.json ADDED
@@ -0,0 +1,157 @@
1
+ {
2
+ "profile": "native-cli-protocol-captures@1",
3
+ "projection": "SOURCE,CELL,AUTHENTICATED stdout records and named stderr refusal; duplicate TOPOS data excluded explicitly; full raw output digests retained",
4
+ "cases": [
5
+ {
6
+ "place": "weather-reading",
7
+ "case": "yes",
8
+ "status": 0,
9
+ "stdoutRecords": [
10
+ "SOURCE fixture://carrier/yes",
11
+ "CELL {\"cell\":\"weather/temperature\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"lo\":2,\"hi\":3},\"ceiling\":{\"lo\":2,\"hi\":3},\"origins\":[{\"id\":\"claim-first\",\"at\":3,\"origin\":\"origin-one\",\"span\":{\"lo\":2,\"hi\":3}}],\"rest\":[],\"required\":{\"lo\":0,\"hi\":10},\"signed\":{\"lo\":0,\"hi\":6}},\"rest\":[],\"ownMarks\":[\"parent-ceiling\"],\"ownClaims\":[{\"id\":\"claim-first\",\"origin\":\"origin-one\"}],\"marks\":[{\"pole\":\"ceiling\",\"reach\":\"travels\",\"span\":{\"lo\":0,\"hi\":6},\"id\":\"parent-ceiling\",\"at\":3}],\"claims\":[{\"id\":\"claim-first\",\"at\":3,\"origin\":\"origin-one\",\"span\":{\"lo\":2,\"hi\":3}}]}",
12
+ "CELL {\"cell\":\"weather/indoor\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"lo\":0,\"hi\":10},\"ceiling\":{\"lo\":0,\"hi\":9},\"origins\":[],\"rest\":[\"weather/temperature\"],\"required\":{\"lo\":0,\"hi\":10},\"signed\":{\"lo\":0,\"hi\":9}},\"rest\":[\"weather/temperature\"],\"ownMarks\":[\"child-join\"],\"ownClaims\":[],\"marks\":[{\"pole\":\"ceiling\",\"reach\":\"local\",\"span\":{\"lo\":0,\"hi\":9},\"widens\":\"parent-ceiling\",\"at\":4,\"id\":\"child-join\"}],\"claims\":[]}",
13
+ "AUTHENTICATED standing sha256:6bb526807d02f1072556d3dea7cb05227e4cdeb1747219c93c3fc950b2617fd8 \u00b7 authority sha256:5798403c3964ef08ad14de4cb5c8dcba9680e3d52ac29740b995f7c7da3fb4e5 \u00b7 no effects committed"
14
+ ],
15
+ "stderrRefusal": "",
16
+ "rawOutputDigest": "sha256:c75cff416ff786a03d74d63ed2c53d0070d47eb29b3ff6ab3ae76ca2b501130c"
17
+ },
18
+ {
19
+ "place": "editorial-state",
20
+ "case": "yes",
21
+ "status": 0,
22
+ "stdoutRecords": [
23
+ "SOURCE fixture://carrier/yes",
24
+ "CELL {\"cell\":\"editorial/state\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"words\":{\"0\":1},\"width\":3},\"ceiling\":{\"words\":{\"0\":1},\"width\":3},\"origins\":[{\"id\":\"claim-first\",\"at\":3,\"origin\":\"origin-one\",\"span\":{\"words\":{\"0\":1},\"width\":3}}],\"rest\":[],\"required\":{\"words\":{\"0\":7},\"width\":3},\"signed\":{\"words\":{\"0\":3},\"width\":3}},\"rest\":[],\"ownMarks\":[\"parent-ceiling\"],\"ownClaims\":[{\"id\":\"claim-first\",\"origin\":\"origin-one\"}],\"marks\":[{\"pole\":\"ceiling\",\"reach\":\"travels\",\"span\":{\"words\":{\"0\":3},\"width\":3},\"id\":\"parent-ceiling\",\"at\":3}],\"claims\":[{\"id\":\"claim-first\",\"at\":3,\"origin\":\"origin-one\",\"span\":{\"words\":{\"0\":1},\"width\":3}}]}",
25
+ "CELL {\"cell\":\"editorial/review\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"words\":{\"0\":7},\"width\":3},\"ceiling\":{\"words\":{\"0\":7},\"width\":3},\"origins\":[],\"rest\":[\"editorial/state\"],\"required\":{\"words\":{\"0\":7},\"width\":3},\"signed\":{\"words\":{\"0\":7},\"width\":3}},\"rest\":[\"editorial/state\"],\"ownMarks\":[\"child-join\"],\"ownClaims\":[],\"marks\":[{\"pole\":\"ceiling\",\"reach\":\"local\",\"span\":{\"words\":{\"0\":7},\"width\":3},\"widens\":\"parent-ceiling\",\"at\":4,\"id\":\"child-join\"}],\"claims\":[]}",
26
+ "AUTHENTICATED standing sha256:48ed60f5bc98aaed5a0818087e2b5b1d0e63000bb3b8dbd1e97bd250b097106c \u00b7 authority sha256:304d0960aa94aaeb51baf2f5d3afbfb70525595bd40ff6bb670d6d741f92742c \u00b7 no effects committed"
27
+ ],
28
+ "stderrRefusal": "",
29
+ "rawOutputDigest": "sha256:6a22b911a06532cab7e1ae12d44e93e068856e956f2cacc18a28651e8f955e1f"
30
+ },
31
+ {
32
+ "place": "weather-reading",
33
+ "case": "signature",
34
+ "status": 1,
35
+ "stdoutRecords": [],
36
+ "stderrRefusal": "instrument: REFUSE\u00b7authenticated-reference original grey the signature does not hold for device",
37
+ "rawOutputDigest": "sha256:f043d89abb781deedff44dc4b9cafdbdd2cb831733eb1678ab87f2e29d703dcc"
38
+ },
39
+ {
40
+ "place": "weather-reading",
41
+ "case": "coverage",
42
+ "status": 1,
43
+ "stdoutRecords": [],
44
+ "stderrRefusal": "instrument: REFUSE\u00b7authenticated-reference original refuse REFUSE\u00b7authority attester does not cover weather/temperature",
45
+ "rawOutputDigest": "sha256:c1b666a865ec09335abcc5c9c8e89635002c48fddafcd20edcd6a88438130d87"
46
+ },
47
+ {
48
+ "place": "weather-reading",
49
+ "case": "era",
50
+ "status": 1,
51
+ "stdoutRecords": [],
52
+ "stderrRefusal": "instrument: REFUSE\u00b7authenticated-reference proof grey the signature does not hold for device",
53
+ "rawOutputDigest": "sha256:3b3639301ecb7bc26b322ac2e19c7f2d035b75b62fe2f9712303ca12f0c1c9ac"
54
+ },
55
+ {
56
+ "place": "weather-reading",
57
+ "case": "order",
58
+ "status": 1,
59
+ "stdoutRecords": [],
60
+ "stderrRefusal": "instrument: REFUSE\u00b7object context: cell not declared before claim-first",
61
+ "rawOutputDigest": "sha256:b30e83ea7041f2b1dbf430221cb44b7325d50e50077a6d8c4dac7b3be07b3a8c"
62
+ },
63
+ {
64
+ "place": "weather-reading",
65
+ "case": "arrival",
66
+ "status": 0,
67
+ "stdoutRecords": [
68
+ "SOURCE fixture://carrier/arrival",
69
+ "CELL {\"cell\":\"weather/temperature\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"lo\":2,\"hi\":3},\"ceiling\":{\"lo\":2,\"hi\":3},\"origins\":[{\"id\":\"claim-first\",\"at\":3,\"origin\":\"origin-one\",\"span\":{\"lo\":2,\"hi\":3}}],\"rest\":[],\"required\":{\"lo\":0,\"hi\":10},\"signed\":{\"lo\":0,\"hi\":6}},\"rest\":[],\"ownMarks\":[\"parent-ceiling\"],\"ownClaims\":[{\"id\":\"claim-first\",\"origin\":\"origin-one\"}],\"marks\":[{\"pole\":\"ceiling\",\"reach\":\"travels\",\"span\":{\"lo\":0,\"hi\":6},\"id\":\"parent-ceiling\",\"at\":3}],\"claims\":[{\"id\":\"claim-first\",\"at\":3,\"origin\":\"origin-one\",\"span\":{\"lo\":2,\"hi\":3}}]}",
70
+ "CELL {\"cell\":\"weather/indoor\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"lo\":0,\"hi\":10},\"ceiling\":{\"lo\":0,\"hi\":9},\"origins\":[],\"rest\":[\"weather/temperature\"],\"required\":{\"lo\":0,\"hi\":10},\"signed\":{\"lo\":0,\"hi\":9}},\"rest\":[\"weather/temperature\"],\"ownMarks\":[\"child-join\"],\"ownClaims\":[],\"marks\":[{\"pole\":\"ceiling\",\"reach\":\"local\",\"span\":{\"lo\":0,\"hi\":9},\"widens\":\"parent-ceiling\",\"at\":4,\"id\":\"child-join\"}],\"claims\":[]}",
71
+ "AUTHENTICATED standing sha256:6bb526807d02f1072556d3dea7cb05227e4cdeb1747219c93c3fc950b2617fd8 \u00b7 authority sha256:5798403c3964ef08ad14de4cb5c8dcba9680e3d52ac29740b995f7c7da3fb4e5 \u00b7 no effects committed"
72
+ ],
73
+ "stderrRefusal": "",
74
+ "rawOutputDigest": "sha256:92be61b9a888bfe90c39995f11e59c80bac2adf1107c42bbacdeba03e8acdb51"
75
+ },
76
+ {
77
+ "place": "weather-reading",
78
+ "case": "blob",
79
+ "status": 1,
80
+ "stdoutRecords": [],
81
+ "stderrRefusal": "instrument: REFUSE\u00b7authenticated-reference blob integrity",
82
+ "rawOutputDigest": "sha256:1239171cee7142f85e1175f205b38710b869636ab5d06a7459551b4afedf0f6d"
83
+ },
84
+ {
85
+ "place": "weather-reading",
86
+ "case": "standing",
87
+ "status": 1,
88
+ "stdoutRecords": [],
89
+ "stderrRefusal": "instrument: REFUSE\u00b7authenticated-reference standing identity",
90
+ "rawOutputDigest": "sha256:c7c7d3ef55d1911d5cccfa78fb4f8ff59450c9a6a80b413fb101ed5361f3c7ed"
91
+ },
92
+ {
93
+ "place": "editorial-state",
94
+ "case": "signature",
95
+ "status": 1,
96
+ "stdoutRecords": [],
97
+ "stderrRefusal": "instrument: REFUSE\u00b7authenticated-reference original grey the signature does not hold for device",
98
+ "rawOutputDigest": "sha256:f043d89abb781deedff44dc4b9cafdbdd2cb831733eb1678ab87f2e29d703dcc"
99
+ },
100
+ {
101
+ "place": "editorial-state",
102
+ "case": "coverage",
103
+ "status": 1,
104
+ "stdoutRecords": [],
105
+ "stderrRefusal": "instrument: REFUSE\u00b7authenticated-reference original refuse REFUSE\u00b7authority attester does not cover editorial/state",
106
+ "rawOutputDigest": "sha256:02b7f1f972ab9d3569b3112a945c1adda93a7b7f4403e2a86f81b1469951c06f"
107
+ },
108
+ {
109
+ "place": "editorial-state",
110
+ "case": "era",
111
+ "status": 1,
112
+ "stdoutRecords": [],
113
+ "stderrRefusal": "instrument: REFUSE\u00b7authenticated-reference proof grey the signature does not hold for device",
114
+ "rawOutputDigest": "sha256:3b3639301ecb7bc26b322ac2e19c7f2d035b75b62fe2f9712303ca12f0c1c9ac"
115
+ },
116
+ {
117
+ "place": "editorial-state",
118
+ "case": "order",
119
+ "status": 1,
120
+ "stdoutRecords": [],
121
+ "stderrRefusal": "instrument: REFUSE\u00b7object context: cell not declared before claim-first",
122
+ "rawOutputDigest": "sha256:b30e83ea7041f2b1dbf430221cb44b7325d50e50077a6d8c4dac7b3be07b3a8c"
123
+ },
124
+ {
125
+ "place": "editorial-state",
126
+ "case": "arrival",
127
+ "status": 0,
128
+ "stdoutRecords": [
129
+ "SOURCE fixture://carrier/arrival",
130
+ "CELL {\"cell\":\"editorial/state\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"words\":{\"0\":1},\"width\":3},\"ceiling\":{\"words\":{\"0\":1},\"width\":3},\"origins\":[{\"id\":\"claim-first\",\"at\":3,\"origin\":\"origin-one\",\"span\":{\"words\":{\"0\":1},\"width\":3}}],\"rest\":[],\"required\":{\"words\":{\"0\":7},\"width\":3},\"signed\":{\"words\":{\"0\":3},\"width\":3}},\"rest\":[],\"ownMarks\":[\"parent-ceiling\"],\"ownClaims\":[{\"id\":\"claim-first\",\"origin\":\"origin-one\"}],\"marks\":[{\"pole\":\"ceiling\",\"reach\":\"travels\",\"span\":{\"words\":{\"0\":3},\"width\":3},\"id\":\"parent-ceiling\",\"at\":3}],\"claims\":[{\"id\":\"claim-first\",\"at\":3,\"origin\":\"origin-one\",\"span\":{\"words\":{\"0\":1},\"width\":3}}]}",
131
+ "CELL {\"cell\":\"editorial/review\",\"state\":\"REQUIRED\",\"parts\":{\"floor\":{\"words\":{\"0\":7},\"width\":3},\"ceiling\":{\"words\":{\"0\":7},\"width\":3},\"origins\":[],\"rest\":[\"editorial/state\"],\"required\":{\"words\":{\"0\":7},\"width\":3},\"signed\":{\"words\":{\"0\":7},\"width\":3}},\"rest\":[\"editorial/state\"],\"ownMarks\":[\"child-join\"],\"ownClaims\":[],\"marks\":[{\"pole\":\"ceiling\",\"reach\":\"local\",\"span\":{\"words\":{\"0\":7},\"width\":3},\"widens\":\"parent-ceiling\",\"at\":4,\"id\":\"child-join\"}],\"claims\":[]}",
132
+ "AUTHENTICATED standing sha256:48ed60f5bc98aaed5a0818087e2b5b1d0e63000bb3b8dbd1e97bd250b097106c \u00b7 authority sha256:304d0960aa94aaeb51baf2f5d3afbfb70525595bd40ff6bb670d6d741f92742c \u00b7 no effects committed"
133
+ ],
134
+ "stderrRefusal": "",
135
+ "rawOutputDigest": "sha256:fcdbdaf586d3642b9abf6ce109aa431246902e883e2aaf3305d8db33829d0ef3"
136
+ },
137
+ {
138
+ "place": "editorial-state",
139
+ "case": "blob",
140
+ "status": 1,
141
+ "stdoutRecords": [],
142
+ "stderrRefusal": "instrument: REFUSE\u00b7authenticated-reference blob integrity",
143
+ "rawOutputDigest": "sha256:1239171cee7142f85e1175f205b38710b869636ab5d06a7459551b4afedf0f6d"
144
+ },
145
+ {
146
+ "place": "editorial-state",
147
+ "case": "standing",
148
+ "status": 1,
149
+ "stdoutRecords": [],
150
+ "stderrRefusal": "instrument: REFUSE\u00b7authenticated-reference standing identity",
151
+ "rawOutputDigest": "sha256:c7c7d3ef55d1911d5cccfa78fb4f8ff59450c9a6a80b413fb101ed5361f3c7ed"
152
+ }
153
+ ],
154
+ "instrument": "actual candidate public CLI; verified transitive context closure before execution",
155
+ "effects": "no signed state/authority changes or successful partial receipts; private CAS accounting is separate",
156
+ "platform": "two places, same Mac; not L6"
157
+ }
package/vectors/native/authenticated-reference.vector.json ADDED
@@ -0,0 +1,440 @@
1
+ {
2
+ "scope": "conformance/authenticated-reference-native",
3
+ "measure": "count",
4
+ "result": "failures",
5
+ "execution": "independent",
6
+ "cases": [
7
+ {
8
+ "name": "weather-reading/yes",
9
+ "program": "/usr/bin/env",
10
+ "args": [
11
+ "BOUND_TRANSPORTS=inputs/transport.yes.json",
12
+ "bound",
13
+ "fold",
14
+ "#bound:1?class=standing&algorithm=sha256&digest=6bb526807d02f1072556d3dea7cb05227e4cdeb1747219c93c3fc950b2617fd8&blob=sha256%3Af285a014cc9e9453aebd4c4ed94354fba5cac55c05929f4ad7cdd1b3348a9717&source=fixture%3A%2F%2Fcarrier%2Fyes"
15
+ ],
16
+ "cwd": "samples/authenticated-reference/yes/weather-reading",
17
+ "inputs": [
18
+ "samples/authenticated-reference/yes/weather-reading/TARGET.bound",
19
+ "samples/authenticated-reference/yes/weather-reading/inputs/yes.json",
20
+ "samples/authenticated-reference/yes/weather-reading/inputs/transport.yes.json"
21
+ ],
22
+ "timeoutMs": 10000,
23
+ "maxBytes": 2097152,
24
+ "exit": 0,
25
+ "matches": [
26
+ {
27
+ "stream": "stdout",
28
+ "pattern": "AUTHENTICATED standing sha256:6bb526807d02f1072556d3dea7cb05227e4cdeb1747219c93c3fc950b2617fd8"
29
+ },
30
+ {
31
+ "stream": "stdout",
32
+ "pattern": "CELL \\{\"cell\":\"weather/temperature\",\"state\":\"REQUIRED\",\"parts\":\\{\"floor\":\\{\"lo\":2,\"hi\":3\\},\"ceiling\":\\{\"lo\":2,\"hi\":3\\},\"origins\":\\[\\{\"id\":\"claim-first\",\"at\":3,\"origin\":\"origin-one\",\"span\":\\{\"lo\":2,\"hi\":3\\}\\}\\],\"rest\":\\[\\],\"required\":\\{\"lo\":0,\"hi\":10\\},\"signed\":\\{\"lo\":0,\"hi\":6\\}\\},\"rest\":\\[\\],\"ownMarks\":\\[\"parent-ceiling\"\\],\"ownClaims\":\\[\\{\"id\":\"claim-first\",\"origin\":\"origin-one\"\\}\\],\"marks\":\\[\\{\"pole\":\"ceiling\",\"reach\":\"travels\",\"span\":\\{\"lo\":0,\"hi\":6\\},\"id\":\"parent-ceiling\",\"at\":3\\}\\],\"claims\":\\[\\{\"id\":\"claim-first\",\"at\":3,\"origin\":\"origin-one\",\"span\":\\{\"lo\":2,\"hi\":3\\}\\}\\]\\}"
33
+ },
34
+ {
35
+ "stream": "stdout",
36
+ "pattern": "CELL \\{\"cell\":\"weather/indoor\",\"state\":\"REQUIRED\",\"parts\":\\{\"floor\":\\{\"lo\":0,\"hi\":10\\},\"ceiling\":\\{\"lo\":0,\"hi\":9\\},\"origins\":\\[\\],\"rest\":\\[\"weather/temperature\"\\],\"required\":\\{\"lo\":0,\"hi\":10\\},\"signed\":\\{\"lo\":0,\"hi\":9\\}\\},\"rest\":\\[\"weather/temperature\"\\],\"ownMarks\":\\[\"child-join\"\\],\"ownClaims\":\\[\\],\"marks\":\\[\\{\"pole\":\"ceiling\",\"reach\":\"local\",\"span\":\\{\"lo\":0,\"hi\":9\\},\"widens\":\"parent-ceiling\",\"at\":4,\"id\":\"child-join\"\\}\\],\"claims\":\\[\\]\\}"
37
+ }
38
+ ]
39
+ },
40
+ {
41
+ "name": "editorial-state/yes",
42
+ "program": "/usr/bin/env",
43
+ "args": [
44
+ "BOUND_TRANSPORTS=inputs/transport.yes.json",
45
+ "bound",
46
+ "fold",
47
+ "#bound:1?class=standing&algorithm=sha256&digest=48ed60f5bc98aaed5a0818087e2b5b1d0e63000bb3b8dbd1e97bd250b097106c&blob=sha256%3Ad0c251889330c27f3eac8066c59556f1ea95fba907ce083bcca5f0fab4061931&source=fixture%3A%2F%2Fcarrier%2Fyes"
48
+ ],
49
+ "cwd": "samples/authenticated-reference/yes/editorial-state",
50
+ "inputs": [
51
+ "samples/authenticated-reference/yes/editorial-state/TARGET.bound",
52
+ "samples/authenticated-reference/yes/editorial-state/inputs/yes.json",
53
+ "samples/authenticated-reference/yes/editorial-state/inputs/transport.yes.json"
54
+ ],
55
+ "timeoutMs": 10000,
56
+ "maxBytes": 2097152,
57
+ "exit": 0,
58
+ "matches": [
59
+ {
60
+ "stream": "stdout",
61
+ "pattern": "AUTHENTICATED standing sha256:48ed60f5bc98aaed5a0818087e2b5b1d0e63000bb3b8dbd1e97bd250b097106c"
62
+ },
63
+ {
64
+ "stream": "stdout",
65
+ "pattern": "CELL \\{\"cell\":\"editorial/state\",\"state\":\"REQUIRED\",\"parts\":\\{\"floor\":\\{\"words\":\\{\"0\":1\\},\"width\":3\\},\"ceiling\":\\{\"words\":\\{\"0\":1\\},\"width\":3\\},\"origins\":\\[\\{\"id\":\"claim-first\",\"at\":3,\"origin\":\"origin-one\",\"span\":\\{\"words\":\\{\"0\":1\\},\"width\":3\\}\\}\\],\"rest\":\\[\\],\"required\":\\{\"words\":\\{\"0\":7\\},\"width\":3\\},\"signed\":\\{\"words\":\\{\"0\":3\\},\"width\":3\\}\\},\"rest\":\\[\\],\"ownMarks\":\\[\"parent-ceiling\"\\],\"ownClaims\":\\[\\{\"id\":\"claim-first\",\"origin\":\"origin-one\"\\}\\],\"marks\":\\[\\{\"pole\":\"ceiling\",\"reach\":\"travels\",\"span\":\\{\"words\":\\{\"0\":3\\},\"width\":3\\},\"id\":\"parent-ceiling\",\"at\":3\\}\\],\"claims\":\\[\\{\"id\":\"claim-first\",\"at\":3,\"origin\":\"origin-one\",\"span\":\\{\"words\":\\{\"0\":1\\},\"width\":3\\}\\}\\]\\}"
66
+ },
67
+ {
68
+ "stream": "stdout",
69
+ "pattern": "CELL \\{\"cell\":\"editorial/review\",\"state\":\"REQUIRED\",\"parts\":\\{\"floor\":\\{\"words\":\\{\"0\":7\\},\"width\":3\\},\"ceiling\":\\{\"words\":\\{\"0\":7\\},\"width\":3\\},\"origins\":\\[\\],\"rest\":\\[\"editorial/state\"\\],\"required\":\\{\"words\":\\{\"0\":7\\},\"width\":3\\},\"signed\":\\{\"words\":\\{\"0\":7\\},\"width\":3\\}\\},\"rest\":\\[\"editorial/state\"\\],\"ownMarks\":\\[\"child-join\"\\],\"ownClaims\":\\[\\],\"marks\":\\[\\{\"pole\":\"ceiling\",\"reach\":\"local\",\"span\":\\{\"words\":\\{\"0\":7\\},\"width\":3\\},\"widens\":\"parent-ceiling\",\"at\":4,\"id\":\"child-join\"\\}\\],\"claims\":\\[\\]\\}"
70
+ }
71
+ ]
72
+ },
73
+ {
74
+ "name": "weather-reading/signature",
75
+ "program": "/usr/bin/env",
76
+ "args": [
77
+ "BOUND_TRANSPORTS=inputs/transport.signature.json",
78
+ "bound",
79
+ "fold",
80
+ "#bound:1?class=standing&algorithm=sha256&digest=6bb526807d02f1072556d3dea7cb05227e4cdeb1747219c93c3fc950b2617fd8&blob=sha256%3A2049bbbf88077727911a0cfec3193ab6ce7bccb8d4e3bb22fc537c59f5addf58&source=fixture%3A%2F%2Fcarrier%2Fsignature"
81
+ ],
82
+ "cwd": "samples/authenticated-reference/yes/weather-reading",
83
+ "inputs": [
84
+ "samples/authenticated-reference/yes/weather-reading/TARGET.bound",
85
+ "samples/authenticated-reference/yes/weather-reading/inputs/signature.json",
86
+ "samples/authenticated-reference/yes/weather-reading/inputs/transport.signature.json"
87
+ ],
88
+ "timeoutMs": 10000,
89
+ "maxBytes": 2097152,
90
+ "exit": 1,
91
+ "matches": [
92
+ {
93
+ "stream": "stderr",
94
+ "pattern": "signature"
95
+ }
96
+ ]
97
+ },
98
+ {
99
+ "name": "weather-reading/coverage",
100
+ "program": "/usr/bin/env",
101
+ "args": [
102
+ "BOUND_TRANSPORTS=inputs/transport.coverage.json",
103
+ "bound",
104
+ "fold",
105
+ "#bound:1?class=standing&algorithm=sha256&digest=6bb526807d02f1072556d3dea7cb05227e4cdeb1747219c93c3fc950b2617fd8&blob=sha256%3Ae313d0de2c5676093f6c7fff023a923fd489c122f241b1e211dd1ff6bf10e335&source=fixture%3A%2F%2Fcarrier%2Fcoverage"
106
+ ],
107
+ "cwd": "samples/authenticated-reference/yes/weather-reading",
108
+ "inputs": [
109
+ "samples/authenticated-reference/yes/weather-reading/TARGET.bound",
110
+ "samples/authenticated-reference/yes/weather-reading/inputs/coverage.json",
111
+ "samples/authenticated-reference/yes/weather-reading/inputs/transport.coverage.json"
112
+ ],
113
+ "timeoutMs": 10000,
114
+ "maxBytes": 2097152,
115
+ "exit": 1,
116
+ "matches": [
117
+ {
118
+ "stream": "stderr",
119
+ "pattern": "cover"
120
+ }
121
+ ]
122
+ },
123
+ {
124
+ "name": "weather-reading/era",
125
+ "program": "/usr/bin/env",
126
+ "args": [
127
+ "BOUND_TRANSPORTS=inputs/transport.era.json",
128
+ "bound",
129
+ "fold",
130
+ "#bound:1?class=standing&algorithm=sha256&digest=6bb526807d02f1072556d3dea7cb05227e4cdeb1747219c93c3fc950b2617fd8&blob=sha256%3Ab51f57e7433bfce9e31496552ea5dd9445eaedab3fc3d6a2093e9bb1763b5442&source=fixture%3A%2F%2Fcarrier%2Fera"
131
+ ],
132
+ "cwd": "samples/authenticated-reference/yes/weather-reading",
133
+ "inputs": [
134
+ "samples/authenticated-reference/yes/weather-reading/TARGET.bound",
135
+ "samples/authenticated-reference/yes/weather-reading/inputs/era.json",
136
+ "samples/authenticated-reference/yes/weather-reading/inputs/transport.era.json"
137
+ ],
138
+ "timeoutMs": 10000,
139
+ "maxBytes": 2097152,
140
+ "exit": 1,
141
+ "matches": [
142
+ {
143
+ "stream": "stderr",
144
+ "pattern": "signature"
145
+ }
146
+ ]
147
+ },
148
+ {
149
+ "name": "weather-reading/order",
150
+ "program": "/usr/bin/env",
151
+ "args": [
152
+ "BOUND_TRANSPORTS=inputs/transport.order.json",
153
+ "bound",
154
+ "fold",
155
+ "#bound:1?class=standing&algorithm=sha256&digest=6bb526807d02f1072556d3dea7cb05227e4cdeb1747219c93c3fc950b2617fd8&blob=sha256%3Ac9ce0f452ac4b0465993c2c4997a30d2a95c0d1f71c5cc2485b95c06c1b995ef&source=fixture%3A%2F%2Fcarrier%2Forder"
156
+ ],
157
+ "cwd": "samples/authenticated-reference/yes/weather-reading",
158
+ "inputs": [
159
+ "samples/authenticated-reference/yes/weather-reading/TARGET.bound",
160
+ "samples/authenticated-reference/yes/weather-reading/inputs/order.json",
161
+ "samples/authenticated-reference/yes/weather-reading/inputs/transport.order.json"
162
+ ],
163
+ "timeoutMs": 10000,
164
+ "maxBytes": 2097152,
165
+ "exit": 1,
166
+ "matches": [
167
+ {
168
+ "stream": "stderr",
169
+ "pattern": "cell not declared before claim-first"
170
+ }
171
+ ]
172
+ },
173
+ {
174
+ "name": "weather-reading/arrival",
175
+ "program": "/usr/bin/env",
176
+ "args": [
177
+ "BOUND_TRANSPORTS=inputs/transport.arrival.json",
178
+ "bound",
179
+ "fold",
180
+ "#bound:1?class=standing&algorithm=sha256&digest=6bb526807d02f1072556d3dea7cb05227e4cdeb1747219c93c3fc950b2617fd8&blob=sha256%3A7543cb2f595484527ac15fb5787cc2ca1ac37e580b6a0b0de577466bb185fb90&source=fixture%3A%2F%2Fcarrier%2Farrival"
181
+ ],
182
+ "cwd": "samples/authenticated-reference/yes/weather-reading",
183
+ "inputs": [
184
+ "samples/authenticated-reference/yes/weather-reading/TARGET.bound",
185
+ "samples/authenticated-reference/yes/weather-reading/inputs/arrival.json",
186
+ "samples/authenticated-reference/yes/weather-reading/inputs/transport.arrival.json"
187
+ ],
188
+ "timeoutMs": 10000,
189
+ "maxBytes": 2097152,
190
+ "exit": 0,
191
+ "matches": [
192
+ {
193
+ "stream": "stdout",
194
+ "pattern": "AUTHENTICATED standing sha256:6bb526807d02f1072556d3dea7cb05227e4cdeb1747219c93c3fc950b2617fd8"
195
+ },
196
+ {
197
+ "stream": "stdout",
198
+ "pattern": "CELL \\{\"cell\":\"weather/temperature\",\"state\":\"REQUIRED\",\"parts\":\\{\"floor\":\\{\"lo\":2,\"hi\":3\\},\"ceiling\":\\{\"lo\":2,\"hi\":3\\},\"origins\":\\[\\{\"id\":\"claim-first\",\"at\":3,\"origin\":\"origin-one\",\"span\":\\{\"lo\":2,\"hi\":3\\}\\}\\],\"rest\":\\[\\],\"required\":\\{\"lo\":0,\"hi\":10\\},\"signed\":\\{\"lo\":0,\"hi\":6\\}\\},\"rest\":\\[\\],\"ownMarks\":\\[\"parent-ceiling\"\\],\"ownClaims\":\\[\\{\"id\":\"claim-first\",\"origin\":\"origin-one\"\\}\\],\"marks\":\\[\\{\"pole\":\"ceiling\",\"reach\":\"travels\",\"span\":\\{\"lo\":0,\"hi\":6\\},\"id\":\"parent-ceiling\",\"at\":3\\}\\],\"claims\":\\[\\{\"id\":\"claim-first\",\"at\":3,\"origin\":\"origin-one\",\"span\":\\{\"lo\":2,\"hi\":3\\}\\}\\]\\}"
199
+ },
200
+ {
201
+ "stream": "stdout",
202
+ "pattern": "CELL \\{\"cell\":\"weather/indoor\",\"state\":\"REQUIRED\",\"parts\":\\{\"floor\":\\{\"lo\":0,\"hi\":10\\},\"ceiling\":\\{\"lo\":0,\"hi\":9\\},\"origins\":\\[\\],\"rest\":\\[\"weather/temperature\"\\],\"required\":\\{\"lo\":0,\"hi\":10\\},\"signed\":\\{\"lo\":0,\"hi\":9\\}\\},\"rest\":\\[\"weather/temperature\"\\],\"ownMarks\":\\[\"child-join\"\\],\"ownClaims\":\\[\\],\"marks\":\\[\\{\"pole\":\"ceiling\",\"reach\":\"local\",\"span\":\\{\"lo\":0,\"hi\":9\\},\"widens\":\"parent-ceiling\",\"at\":4,\"id\":\"child-join\"\\}\\],\"claims\":\\[\\]\\}"
203
+ }
204
+ ]
205
+ },
206
+ {
207
+ "name": "weather-reading/blob",
208
+ "program": "/usr/bin/env",
209
+ "args": [
210
+ "BOUND_TRANSPORTS=inputs/transport.yes.json",
211
+ "bound",
212
+ "fold",
213
+ "#bound:1?class=standing&algorithm=sha256&digest=6bb526807d02f1072556d3dea7cb05227e4cdeb1747219c93c3fc950b2617fd8&blob=sha256%3A0000000000000000000000000000000000000000000000000000000000000000&source=fixture%3A%2F%2Fcarrier%2Fyes"
214
+ ],
215
+ "cwd": "samples/authenticated-reference/yes/weather-reading",
216
+ "inputs": [
217
+ "samples/authenticated-reference/yes/weather-reading/TARGET.bound",
218
+ "samples/authenticated-reference/yes/weather-reading/inputs/yes.json",
219
+ "samples/authenticated-reference/yes/weather-reading/inputs/transport.yes.json"
220
+ ],
221
+ "timeoutMs": 10000,
222
+ "maxBytes": 2097152,
223
+ "exit": 1,
224
+ "matches": [
225
+ {
226
+ "stream": "stderr",
227
+ "pattern": "blob integrity"
228
+ }
229
+ ]
230
+ },
231
+ {
232
+ "name": "weather-reading/standing",
233
+ "program": "/usr/bin/env",
234
+ "args": [
235
+ "BOUND_TRANSPORTS=inputs/transport.yes.json",
236
+ "bound",
237
+ "fold",
238
+ "#bound:1?class=standing&algorithm=sha256&digest=0000000000000000000000000000000000000000000000000000000000000000&blob=sha256%3Af285a014cc9e9453aebd4c4ed94354fba5cac55c05929f4ad7cdd1b3348a9717&source=fixture%3A%2F%2Fcarrier%2Fyes"
239
+ ],
240
+ "cwd": "samples/authenticated-reference/yes/weather-reading",
241
+ "inputs": [
242
+ "samples/authenticated-reference/yes/weather-reading/TARGET.bound",
243
+ "samples/authenticated-reference/yes/weather-reading/inputs/yes.json",
244
+ "samples/authenticated-reference/yes/weather-reading/inputs/transport.yes.json"
245
+ ],
246
+ "timeoutMs": 10000,
247
+ "maxBytes": 2097152,
248
+ "exit": 1,
249
+ "matches": [
250
+ {
251
+ "stream": "stderr",
252
+ "pattern": "standing identity"
253
+ }
254
+ ]
255
+ },
256
+ {
257
+ "name": "editorial-state/signature",
258
+ "program": "/usr/bin/env",
259
+ "args": [
260
+ "BOUND_TRANSPORTS=inputs/transport.signature.json",
261
+ "bound",
262
+ "fold",
263
+ "#bound:1?class=standing&algorithm=sha256&digest=48ed60f5bc98aaed5a0818087e2b5b1d0e63000bb3b8dbd1e97bd250b097106c&blob=sha256%3A839091ff13acc4695b1f0d41afd7bccb808b8ade6e2f51cae8c698ed1f52ac3f&source=fixture%3A%2F%2Fcarrier%2Fsignature"
264
+ ],
265
+ "cwd": "samples/authenticated-reference/yes/editorial-state",
266
+ "inputs": [
267
+ "samples/authenticated-reference/yes/editorial-state/TARGET.bound",
268
+ "samples/authenticated-reference/yes/editorial-state/inputs/signature.json",
269
+ "samples/authenticated-reference/yes/editorial-state/inputs/transport.signature.json"
270
+ ],
271
+ "timeoutMs": 10000,
272
+ "maxBytes": 2097152,
273
+ "exit": 1,
274
+ "matches": [
275
+ {
276
+ "stream": "stderr",
277
+ "pattern": "signature"
278
+ }
279
+ ]
280
+ },
281
+ {
282
+ "name": "editorial-state/coverage",
283
+ "program": "/usr/bin/env",
284
+ "args": [
285
+ "BOUND_TRANSPORTS=inputs/transport.coverage.json",
286
+ "bound",
287
+ "fold",
288
+ "#bound:1?class=standing&algorithm=sha256&digest=48ed60f5bc98aaed5a0818087e2b5b1d0e63000bb3b8dbd1e97bd250b097106c&blob=sha256%3A5e134fbce70c50f5f777c5e8c52929187699dc6f7e2b7c054caba4d59e98137e&source=fixture%3A%2F%2Fcarrier%2Fcoverage"
289
+ ],
290
+ "cwd": "samples/authenticated-reference/yes/editorial-state",
291
+ "inputs": [
292
+ "samples/authenticated-reference/yes/editorial-state/TARGET.bound",
293
+ "samples/authenticated-reference/yes/editorial-state/inputs/coverage.json",
294
+ "samples/authenticated-reference/yes/editorial-state/inputs/transport.coverage.json"
295
+ ],
296
+ "timeoutMs": 10000,
297
+ "maxBytes": 2097152,
298
+ "exit": 1,
299
+ "matches": [
300
+ {
301
+ "stream": "stderr",
302
+ "pattern": "cover"
303
+ }
304
+ ]
305
+ },
306
+ {
307
+ "name": "editorial-state/era",
308
+ "program": "/usr/bin/env",
309
+ "args": [
310
+ "BOUND_TRANSPORTS=inputs/transport.era.json",
311
+ "bound",
312
+ "fold",
313
+ "#bound:1?class=standing&algorithm=sha256&digest=48ed60f5bc98aaed5a0818087e2b5b1d0e63000bb3b8dbd1e97bd250b097106c&blob=sha256%3Aa6802fb8be3d954a9551d22d94c58d974bffd432746443b08be7da63442f0169&source=fixture%3A%2F%2Fcarrier%2Fera"
314
+ ],
315
+ "cwd": "samples/authenticated-reference/yes/editorial-state",
316
+ "inputs": [
317
+ "samples/authenticated-reference/yes/editorial-state/TARGET.bound",
318
+ "samples/authenticated-reference/yes/editorial-state/inputs/era.json",
319
+ "samples/authenticated-reference/yes/editorial-state/inputs/transport.era.json"
320
+ ],
321
+ "timeoutMs": 10000,
322
+ "maxBytes": 2097152,
323
+ "exit": 1,
324
+ "matches": [
325
+ {
326
+ "stream": "stderr",
327
+ "pattern": "signature"
328
+ }
329
+ ]
330
+ },
331
+ {
332
+ "name": "editorial-state/order",
333
+ "program": "/usr/bin/env",
334
+ "args": [
335
+ "BOUND_TRANSPORTS=inputs/transport.order.json",
336
+ "bound",
337
+ "fold",
338
+ "#bound:1?class=standing&algorithm=sha256&digest=48ed60f5bc98aaed5a0818087e2b5b1d0e63000bb3b8dbd1e97bd250b097106c&blob=sha256%3A6e3dcacb310fd2a631c739b1f0fa198259c086f690a27cedd952c57bd20f49d2&source=fixture%3A%2F%2Fcarrier%2Forder"
339
+ ],
340
+ "cwd": "samples/authenticated-reference/yes/editorial-state",
341
+ "inputs": [
342
+ "samples/authenticated-reference/yes/editorial-state/TARGET.bound",
343
+ "samples/authenticated-reference/yes/editorial-state/inputs/order.json",
344
+ "samples/authenticated-reference/yes/editorial-state/inputs/transport.order.json"
345
+ ],
346
+ "timeoutMs": 10000,
347
+ "maxBytes": 2097152,
348
+ "exit": 1,
349
+ "matches": [
350
+ {
351
+ "stream": "stderr",
352
+ "pattern": "cell not declared before claim-first"
353
+ }
354
+ ]
355
+ },
356
+ {
357
+ "name": "editorial-state/arrival",
358
+ "program": "/usr/bin/env",
359
+ "args": [
360
+ "BOUND_TRANSPORTS=inputs/transport.arrival.json",
361
+ "bound",
362
+ "fold",
363
+ "#bound:1?class=standing&algorithm=sha256&digest=48ed60f5bc98aaed5a0818087e2b5b1d0e63000bb3b8dbd1e97bd250b097106c&blob=sha256%3A5602a5247fde99b2295faa26523ef3134bc18eef87ea31e1289db297d2278e7e&source=fixture%3A%2F%2Fcarrier%2Farrival"
364
+ ],
365
+ "cwd": "samples/authenticated-reference/yes/editorial-state",
366
+ "inputs": [
367
+ "samples/authenticated-reference/yes/editorial-state/TARGET.bound",
368
+ "samples/authenticated-reference/yes/editorial-state/inputs/arrival.json",
369
+ "samples/authenticated-reference/yes/editorial-state/inputs/transport.arrival.json"
370
+ ],
371
+ "timeoutMs": 10000,
372
+ "maxBytes": 2097152,
373
+ "exit": 0,
374
+ "matches": [
375
+ {
376
+ "stream": "stdout",
377
+ "pattern": "AUTHENTICATED standing sha256:48ed60f5bc98aaed5a0818087e2b5b1d0e63000bb3b8dbd1e97bd250b097106c"
378
+ },
379
+ {
380
+ "stream": "stdout",
381
+ "pattern": "CELL \\{\"cell\":\"editorial/state\",\"state\":\"REQUIRED\",\"parts\":\\{\"floor\":\\{\"words\":\\{\"0\":1\\},\"width\":3\\},\"ceiling\":\\{\"words\":\\{\"0\":1\\},\"width\":3\\},\"origins\":\\[\\{\"id\":\"claim-first\",\"at\":3,\"origin\":\"origin-one\",\"span\":\\{\"words\":\\{\"0\":1\\},\"width\":3\\}\\}\\],\"rest\":\\[\\],\"required\":\\{\"words\":\\{\"0\":7\\},\"width\":3\\},\"signed\":\\{\"words\":\\{\"0\":3\\},\"width\":3\\}\\},\"rest\":\\[\\],\"ownMarks\":\\[\"parent-ceiling\"\\],\"ownClaims\":\\[\\{\"id\":\"claim-first\",\"origin\":\"origin-one\"\\}\\],\"marks\":\\[\\{\"pole\":\"ceiling\",\"reach\":\"travels\",\"span\":\\{\"words\":\\{\"0\":3\\},\"width\":3\\},\"id\":\"parent-ceiling\",\"at\":3\\}\\],\"claims\":\\[\\{\"id\":\"claim-first\",\"at\":3,\"origin\":\"origin-one\",\"span\":\\{\"words\":\\{\"0\":1\\},\"width\":3\\}\\}\\]\\}"
382
+ },
383
+ {
384
+ "stream": "stdout",
385
+ "pattern": "CELL \\{\"cell\":\"editorial/review\",\"state\":\"REQUIRED\",\"parts\":\\{\"floor\":\\{\"words\":\\{\"0\":7\\},\"width\":3\\},\"ceiling\":\\{\"words\":\\{\"0\":7\\},\"width\":3\\},\"origins\":\\[\\],\"rest\":\\[\"editorial/state\"\\],\"required\":\\{\"words\":\\{\"0\":7\\},\"width\":3\\},\"signed\":\\{\"words\":\\{\"0\":7\\},\"width\":3\\}\\},\"rest\":\\[\"editorial/state\"\\],\"ownMarks\":\\[\"child-join\"\\],\"ownClaims\":\\[\\],\"marks\":\\[\\{\"pole\":\"ceiling\",\"reach\":\"local\",\"span\":\\{\"words\":\\{\"0\":7\\},\"width\":3\\},\"widens\":\"parent-ceiling\",\"at\":4,\"id\":\"child-join\"\\}\\],\"claims\":\\[\\]\\}"
386
+ }
387
+ ]
388
+ },
389
+ {
390
+ "name": "editorial-state/blob",
391
+ "program": "/usr/bin/env",
392
+ "args": [
393
+ "BOUND_TRANSPORTS=inputs/transport.yes.json",
394
+ "bound",
395
+ "fold",
396
+ "#bound:1?class=standing&algorithm=sha256&digest=48ed60f5bc98aaed5a0818087e2b5b1d0e63000bb3b8dbd1e97bd250b097106c&blob=sha256%3A0000000000000000000000000000000000000000000000000000000000000000&source=fixture%3A%2F%2Fcarrier%2Fyes"
397
+ ],
398
+ "cwd": "samples/authenticated-reference/yes/editorial-state",
399
+ "inputs": [
400
+ "samples/authenticated-reference/yes/editorial-state/TARGET.bound",
401
+ "samples/authenticated-reference/yes/editorial-state/inputs/yes.json",
402
+ "samples/authenticated-reference/yes/editorial-state/inputs/transport.yes.json"
403
+ ],
404
+ "timeoutMs": 10000,
405
+ "maxBytes": 2097152,
406
+ "exit": 1,
407
+ "matches": [
408
+ {
409
+ "stream": "stderr",
410
+ "pattern": "blob integrity"
411
+ }
412
+ ]
413
+ },
414
+ {
415
+ "name": "editorial-state/standing",
416
+ "program": "/usr/bin/env",
417
+ "args": [
418
+ "BOUND_TRANSPORTS=inputs/transport.yes.json",
419
+ "bound",
420
+ "fold",
421
+ "#bound:1?class=standing&algorithm=sha256&digest=0000000000000000000000000000000000000000000000000000000000000000&blob=sha256%3Ad0c251889330c27f3eac8066c59556f1ea95fba907ce083bcca5f0fab4061931&source=fixture%3A%2F%2Fcarrier%2Fyes"
422
+ ],
423
+ "cwd": "samples/authenticated-reference/yes/editorial-state",
424
+ "inputs": [
425
+ "samples/authenticated-reference/yes/editorial-state/TARGET.bound",
426
+ "samples/authenticated-reference/yes/editorial-state/inputs/yes.json",
427
+ "samples/authenticated-reference/yes/editorial-state/inputs/transport.yes.json"
428
+ ],
429
+ "timeoutMs": 10000,
430
+ "maxBytes": 2097152,
431
+ "exit": 1,
432
+ "matches": [
433
+ {
434
+ "stream": "stderr",
435
+ "pattern": "standing identity"
436
+ }
437
+ ]
438
+ }
439
+ ]
440
+ }