@lapxo/bound 0.2.0 → 0.2.2

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 (235) hide show
  1. package/README.md +40 -121
  2. package/TARGET.bound +65 -32
  3. package/dist/cli/owner.js +2 -1
  4. package/dist/cli/place.js +7 -26
  5. package/dist/cli/retained-judgment.js +25 -0
  6. package/dist/cli/standing-result.js +4 -3
  7. package/dist/cli/verb.js +36 -3
  8. package/dist/engine/encoding.js +2 -0
  9. package/dist/engine/index.d.ts +2 -0
  10. package/dist/engine/index.js +2 -0
  11. package/dist/engine/ports.d.ts +32 -0
  12. package/dist/engine/ports.js +103 -0
  13. package/dist/fold/admission-history.js +6 -11
  14. package/dist/fold/bootstrap-anchor.js +28 -0
  15. package/dist/fold/ceilings.js +13 -0
  16. package/dist/fold/own.js +7 -5
  17. package/dist/fold/signers.js +5 -9
  18. package/dist/host/admitted-place.js +6 -0
  19. package/dist/host/contextual-place.js +2 -2
  20. package/dist/host/io.js +2 -2
  21. package/dist/host/native/module-syntax.js +8 -4
  22. package/dist/host/reference-authenticated.d.ts +12 -0
  23. package/dist/host/reference-authenticated.js +47 -31
  24. package/dist/host/reference-contracts.js +6 -0
  25. package/dist/host/reference-export.d.ts +33 -0
  26. package/dist/host/reference-export.js +81 -0
  27. package/dist/host/reference-native-api.d.ts +3 -0
  28. package/dist/host/reference-native-api.js +3 -0
  29. package/dist/host/reference-native.d.ts +21 -1
  30. package/dist/host/reference-native.js +34 -10
  31. package/dist/host/reference-profile.js +2 -1
  32. package/dist/host/reference-standing.js +18 -0
  33. package/dist/host/refusals.d.ts +14 -0
  34. package/dist/host/refusals.js +43 -0
  35. package/dist/host/signing.js +7 -1
  36. package/dist/observe/files.js +11 -1
  37. package/dist/wasm/object.js +2 -2
  38. package/docs/contracts/authenticated-reference.publication.json +2 -2
  39. package/docs/contracts/host-ports.md +23 -0
  40. package/docs/contracts/host-ports.publication.json +25 -0
  41. package/docs/contracts/native-publication.inventory.json +7 -1
  42. package/docs/contracts/optional-wasm-adapter.publication.json +1 -1
  43. package/docs/contracts/readme.publication.json +25 -0
  44. package/docs/contracts/reference-backend.md +24 -0
  45. package/docs/contracts/reference-backend.publication.json +25 -0
  46. package/docs/contracts/reference-export.md +31 -0
  47. package/docs/contracts/reference-export.publication.json +25 -0
  48. package/docs/contracts/reference-port.md +8 -1
  49. package/docs/contracts/reference-port.publication.json +1 -1
  50. package/docs/contracts/refusals.bound +94 -0
  51. package/docs/contracts/refusals.md +47 -0
  52. package/docs/contracts/refusals.publication.json +25 -0
  53. package/docs/contracts/standing.bound +9 -0
  54. package/docs/contracts/standing.md +24 -0
  55. package/docs/contracts/standing.publication.json +25 -0
  56. package/package.json +52 -6
  57. package/receipts.bound +9703 -7690
  58. package/samples/authenticated-reference/compatibility.json +306 -0
  59. package/samples/authenticated-reference/yes.json +2 -2
  60. package/samples/engine-place/inputs/closure.json +1 -0
  61. package/samples/host-ports/no.json +16 -0
  62. package/samples/host-ports/yes.json +9 -0
  63. package/samples/readme/no.json +1 -0
  64. package/samples/readme/yes.json +1 -0
  65. package/samples/reference-backend/no.json +1 -0
  66. package/samples/reference-backend/world-fixture.json +8 -0
  67. package/samples/reference-backend/yes.json +1 -0
  68. package/samples/reference-export/no.json +5 -0
  69. package/samples/reference-export/yes.json +15 -0
  70. package/samples/reference-port/no/catalog/TARGET.bound +33 -0
  71. package/samples/reference-port/no/route-notes/TARGET.bound +33 -0
  72. package/samples/refusals/no.json +4 -0
  73. package/samples/refusals/yes.json +9 -0
  74. package/samples/standing/no.json +4 -0
  75. package/samples/standing/yes.json +21 -0
  76. package/vectors/native/authenticated-reference-formation.vector.json +55 -1
  77. package/vectors/native/authenticated-reference.vector.json +32 -396
  78. package/vectors/native/host-ports.vector.json +107 -0
  79. package/vectors/native/readme.vector.json +76 -0
  80. package/vectors/native/reference-backend.vector.json +84 -0
  81. package/vectors/native/reference-export.vector.json +78 -0
  82. package/vectors/native/refusals.vector.json +95 -0
  83. package/vectors/native/standing.vector.json +116 -0
  84. package/vectors/wasm-object.cli.json +16 -61
  85. package/dist/cli/accept.d.ts +0 -28
  86. package/dist/cli/act-result.d.ts +0 -12
  87. package/dist/cli/args.d.ts +0 -11
  88. package/dist/cli/custodian.d.ts +0 -1
  89. package/dist/cli/host.d.ts +0 -1
  90. package/dist/cli/names.d.ts +0 -25
  91. package/dist/cli/native-descendant.d.ts +0 -1
  92. package/dist/cli/native.d.ts +0 -1
  93. package/dist/cli/observe.d.ts +0 -1
  94. package/dist/cli/owner.d.ts +0 -37
  95. package/dist/cli/pass.d.ts +0 -6
  96. package/dist/cli/place.d.ts +0 -76
  97. package/dist/cli/release-result.d.ts +0 -5
  98. package/dist/cli/standing-result.d.ts +0 -5
  99. package/dist/cli/takes.d.ts +0 -30
  100. package/dist/fold/admission-history.d.ts +0 -6
  101. package/dist/fold/ceilings.d.ts +0 -24
  102. package/dist/fold/claims.d.ts +0 -29
  103. package/dist/fold/closed.d.ts +0 -15
  104. package/dist/fold/configures.d.ts +0 -4
  105. package/dist/fold/digests.d.ts +0 -29
  106. package/dist/fold/evidence.d.ts +0 -32
  107. package/dist/fold/fold-worker.d.ts +0 -1
  108. package/dist/fold/kept.d.ts +0 -29
  109. package/dist/fold/keys.d.ts +0 -17
  110. package/dist/fold/laid.d.ts +0 -17
  111. package/dist/fold/nos.d.ts +0 -8
  112. package/dist/fold/object.d.ts +0 -3
  113. package/dist/fold/observed.d.ts +0 -35
  114. package/dist/fold/opened.d.ts +0 -5
  115. package/dist/fold/own.d.ts +0 -24
  116. package/dist/fold/paid.d.ts +0 -11
  117. package/dist/fold/place-inputs.d.ts +0 -17
  118. package/dist/fold/places.d.ts +0 -24
  119. package/dist/fold/rank.d.ts +0 -3
  120. package/dist/fold/reach.d.ts +0 -18
  121. package/dist/fold/readers.d.ts +0 -47
  122. package/dist/fold/receipts.d.ts +0 -8
  123. package/dist/fold/region-declarations.d.ts +0 -2
  124. package/dist/fold/region.d.ts +0 -72
  125. package/dist/fold/release-policy.d.ts +0 -67
  126. package/dist/fold/resolved.d.ts +0 -18
  127. package/dist/fold/roles.d.ts +0 -17
  128. package/dist/fold/second.d.ts +0 -18
  129. package/dist/fold/shards.d.ts +0 -29
  130. package/dist/fold/signed.d.ts +0 -23
  131. package/dist/fold/signers.d.ts +0 -24
  132. package/dist/fold/stranger.d.ts +0 -3
  133. package/dist/fold/views.d.ts +0 -27
  134. package/dist/fold/wire.d.ts +0 -19
  135. package/dist/fold/zoom.d.ts +0 -16
  136. package/dist/host/act-cost.d.ts +0 -13
  137. package/dist/host/adapters/keys/ed25519.d.ts +0 -7
  138. package/dist/host/adapters/modules/javascript.d.ts +0 -3
  139. package/dist/host/adapters/transport/http.d.ts +0 -5
  140. package/dist/host/admitted-place.d.ts +0 -5
  141. package/dist/host/archive.d.ts +0 -11
  142. package/dist/host/capsule-process.d.ts +0 -21
  143. package/dist/host/capsule.d.ts +0 -19
  144. package/dist/host/cell-receipts.d.ts +0 -2
  145. package/dist/host/content-needed.d.ts +0 -5
  146. package/dist/host/content-store.d.ts +0 -8
  147. package/dist/host/contextual-place.d.ts +0 -59
  148. package/dist/host/digest.d.ts +0 -3
  149. package/dist/host/hash.d.ts +0 -9
  150. package/dist/host/io.d.ts +0 -11
  151. package/dist/host/lifetime.d.ts +0 -1
  152. package/dist/host/located.d.ts +0 -4
  153. package/dist/host/native/bounded-file.d.ts +0 -8
  154. package/dist/host/native/command.d.ts +0 -36
  155. package/dist/host/native/control-bridge-worker.d.ts +0 -1
  156. package/dist/host/native/control-bridge.d.ts +0 -30
  157. package/dist/host/native/control-selection.d.ts +0 -29
  158. package/dist/host/native/custody.d.ts +0 -5
  159. package/dist/host/native/deadline.d.ts +0 -12
  160. package/dist/host/native/descendants.d.ts +0 -1
  161. package/dist/host/native/generated-custodian.d.ts +0 -122
  162. package/dist/host/native/generated.d.ts +0 -217
  163. package/dist/host/native/image.d.ts +0 -36
  164. package/dist/host/native/jobs.d.ts +0 -75
  165. package/dist/host/native/loader.d.ts +0 -80
  166. package/dist/host/native/materialize.d.ts +0 -22
  167. package/dist/host/native/module-closure.d.ts +0 -27
  168. package/dist/host/native/module-syntax.d.ts +0 -8
  169. package/dist/host/native/native-binary.d.ts +0 -54
  170. package/dist/host/native/native-program.d.ts +0 -56
  171. package/dist/host/native/node-jobs.d.ts +0 -84
  172. package/dist/host/native/node-launch.d.ts +0 -72
  173. package/dist/host/native/preload.d.ts +0 -1
  174. package/dist/host/native/reading.d.ts +0 -91
  175. package/dist/host/native/receipt-environment.d.ts +0 -3
  176. package/dist/host/native/references.d.ts +0 -5
  177. package/dist/host/native/root.d.ts +0 -17
  178. package/dist/host/native/route.d.ts +0 -66
  179. package/dist/host/native/runtime.d.ts +0 -4
  180. package/dist/host/native-reader-context.d.ts +0 -3
  181. package/dist/host/objects.d.ts +0 -6
  182. package/dist/host/place-clock-selection.d.ts +0 -55
  183. package/dist/host/ports/ingress.d.ts +0 -24
  184. package/dist/host/ports/local-act.d.ts +0 -44
  185. package/dist/host/ports/place-act.d.ts +0 -46
  186. package/dist/host/ports/publication.d.ts +0 -10
  187. package/dist/host/ports/signing.d.ts +0 -31
  188. package/dist/host/ports/store.d.ts +0 -2
  189. package/dist/host/ports/transport.d.ts +0 -1
  190. package/dist/host/process-lifetime.d.ts +0 -11
  191. package/dist/host/provide.d.ts +0 -48
  192. package/dist/host/read-only.d.ts +0 -3
  193. package/dist/host/reading-closures.d.ts +0 -47
  194. package/dist/host/reading-context.d.ts +0 -29
  195. package/dist/host/reference.d.ts +0 -6
  196. package/dist/host/release.d.ts +0 -14
  197. package/dist/host/root-clock-source.d.ts +0 -85
  198. package/dist/host/selected-capsules.d.ts +0 -8
  199. package/dist/host/selected-topos.d.ts +0 -24
  200. package/dist/host/signing.d.ts +0 -3
  201. package/dist/host/source-content.d.ts +0 -12
  202. package/dist/host/timing.d.ts +0 -2
  203. package/dist/host/walk.d.ts +0 -6
  204. package/dist/judge/late.d.ts +0 -7
  205. package/dist/judge/take.d.ts +0 -59
  206. package/dist/judge/widening.d.ts +0 -1
  207. package/dist/land/act.d.ts +0 -30
  208. package/dist/land/alias.d.ts +0 -10
  209. package/dist/land/held.d.ts +0 -7
  210. package/dist/land/inert.d.ts +0 -26
  211. package/dist/land/leaving.d.ts +0 -14
  212. package/dist/land/ledger.d.ts +0 -33
  213. package/dist/land/owned.d.ts +0 -23
  214. package/dist/land/sign.d.ts +0 -15
  215. package/dist/land/standing-pin.d.ts +0 -3
  216. package/dist/land/vouched.d.ts +0 -21
  217. package/dist/land/withdraw.d.ts +0 -14
  218. package/dist/observe/files.d.ts +0 -14
  219. package/dist/observe/identity.d.ts +0 -21
  220. package/dist/observe/match.d.ts +0 -1
  221. package/dist/observe/regions.d.ts +0 -33
  222. package/dist/observe/run.d.ts +0 -31
  223. package/dist/observe/runner.d.ts +0 -20
  224. package/dist/render/capsule.d.ts +0 -24
  225. package/dist/render/field.d.ts +0 -3
  226. package/dist/render/names.d.ts +0 -3
  227. package/dist/render/open.d.ts +0 -27
  228. package/dist/render/page.d.ts +0 -3
  229. package/dist/render/receipts.d.ts +0 -3
  230. package/dist/render/shape.d.ts +0 -16
  231. package/dist/render/target.d.ts +0 -18
  232. package/dist/render/view.d.ts +0 -22
  233. package/dist/wasm/node-worker.d.ts +0 -1
  234. package/dist/wasm/object.d.ts +0 -8
  235. package/dist/wasm/worker.d.ts +0 -1
package/samples/authenticated-reference/compatibility.json ADDED
@@ -0,0 +1,306 @@
1
+ {
2
+ "profile": "authenticated-standing-compatibility@1",
3
+ "carrierPolicy": "original bytes and signatures unchanged",
4
+ "publicInspection": "legacy trust supplied independently; no contracts@2 identity inferred",
5
+ "nativeReceiver": "explicit backend absent: reference/backend before transport; no fallback",
6
+ "places": [
7
+ {
8
+ "place": "weather-reading",
9
+ "cases": [
10
+ {
11
+ "name": "yes",
12
+ "reference": "#bound:1?class=standing&algorithm=sha256&digest=6bb526807d02f1072556d3dea7cb05227e4cdeb1747219c93c3fc950b2617fd8&blob=sha256%3Af285a014cc9e9453aebd4c4ed94354fba5cac55c05929f4ad7cdd1b3348a9717&source=fixture%3A%2F%2Fcarrier%2Fyes",
13
+ "inputs": [
14
+ "samples/authenticated-reference/yes/weather-reading/TARGET.bound",
15
+ "samples/authenticated-reference/yes/weather-reading/inputs/yes.json",
16
+ "samples/authenticated-reference/yes/weather-reading/inputs/transport.yes.json"
17
+ ],
18
+ "exit": 0,
19
+ "matches": [
20
+ {
21
+ "stream": "stdout",
22
+ "pattern": "AUTHENTICATED standing sha256:6bb526807d02f1072556d3dea7cb05227e4cdeb1747219c93c3fc950b2617fd8"
23
+ },
24
+ {
25
+ "stream": "stdout",
26
+ "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\\}\\}\\]\\}"
27
+ },
28
+ {
29
+ "stream": "stdout",
30
+ "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\":\\[\\]\\}"
31
+ }
32
+ ]
33
+ },
34
+ {
35
+ "name": "signature",
36
+ "reference": "#bound:1?class=standing&algorithm=sha256&digest=6bb526807d02f1072556d3dea7cb05227e4cdeb1747219c93c3fc950b2617fd8&blob=sha256%3A2049bbbf88077727911a0cfec3193ab6ce7bccb8d4e3bb22fc537c59f5addf58&source=fixture%3A%2F%2Fcarrier%2Fsignature",
37
+ "inputs": [
38
+ "samples/authenticated-reference/yes/weather-reading/TARGET.bound",
39
+ "samples/authenticated-reference/yes/weather-reading/inputs/signature.json",
40
+ "samples/authenticated-reference/yes/weather-reading/inputs/transport.signature.json"
41
+ ],
42
+ "exit": 1,
43
+ "matches": [
44
+ {
45
+ "stream": "stderr",
46
+ "pattern": "signature"
47
+ }
48
+ ]
49
+ },
50
+ {
51
+ "name": "coverage",
52
+ "reference": "#bound:1?class=standing&algorithm=sha256&digest=6bb526807d02f1072556d3dea7cb05227e4cdeb1747219c93c3fc950b2617fd8&blob=sha256%3Ae313d0de2c5676093f6c7fff023a923fd489c122f241b1e211dd1ff6bf10e335&source=fixture%3A%2F%2Fcarrier%2Fcoverage",
53
+ "inputs": [
54
+ "samples/authenticated-reference/yes/weather-reading/TARGET.bound",
55
+ "samples/authenticated-reference/yes/weather-reading/inputs/coverage.json",
56
+ "samples/authenticated-reference/yes/weather-reading/inputs/transport.coverage.json"
57
+ ],
58
+ "exit": 1,
59
+ "matches": [
60
+ {
61
+ "stream": "stderr",
62
+ "pattern": "cover"
63
+ }
64
+ ]
65
+ },
66
+ {
67
+ "name": "era",
68
+ "reference": "#bound:1?class=standing&algorithm=sha256&digest=6bb526807d02f1072556d3dea7cb05227e4cdeb1747219c93c3fc950b2617fd8&blob=sha256%3Ab51f57e7433bfce9e31496552ea5dd9445eaedab3fc3d6a2093e9bb1763b5442&source=fixture%3A%2F%2Fcarrier%2Fera",
69
+ "inputs": [
70
+ "samples/authenticated-reference/yes/weather-reading/TARGET.bound",
71
+ "samples/authenticated-reference/yes/weather-reading/inputs/era.json",
72
+ "samples/authenticated-reference/yes/weather-reading/inputs/transport.era.json"
73
+ ],
74
+ "exit": 1,
75
+ "matches": [
76
+ {
77
+ "stream": "stderr",
78
+ "pattern": "signature"
79
+ }
80
+ ]
81
+ },
82
+ {
83
+ "name": "order",
84
+ "reference": "#bound:1?class=standing&algorithm=sha256&digest=6bb526807d02f1072556d3dea7cb05227e4cdeb1747219c93c3fc950b2617fd8&blob=sha256%3Ac9ce0f452ac4b0465993c2c4997a30d2a95c0d1f71c5cc2485b95c06c1b995ef&source=fixture%3A%2F%2Fcarrier%2Forder",
85
+ "inputs": [
86
+ "samples/authenticated-reference/yes/weather-reading/TARGET.bound",
87
+ "samples/authenticated-reference/yes/weather-reading/inputs/order.json",
88
+ "samples/authenticated-reference/yes/weather-reading/inputs/transport.order.json"
89
+ ],
90
+ "exit": 1,
91
+ "matches": [
92
+ {
93
+ "stream": "stderr",
94
+ "pattern": "cell not declared before claim-first"
95
+ }
96
+ ]
97
+ },
98
+ {
99
+ "name": "arrival",
100
+ "reference": "#bound:1?class=standing&algorithm=sha256&digest=6bb526807d02f1072556d3dea7cb05227e4cdeb1747219c93c3fc950b2617fd8&blob=sha256%3A7543cb2f595484527ac15fb5787cc2ca1ac37e580b6a0b0de577466bb185fb90&source=fixture%3A%2F%2Fcarrier%2Farrival",
101
+ "inputs": [
102
+ "samples/authenticated-reference/yes/weather-reading/TARGET.bound",
103
+ "samples/authenticated-reference/yes/weather-reading/inputs/arrival.json",
104
+ "samples/authenticated-reference/yes/weather-reading/inputs/transport.arrival.json"
105
+ ],
106
+ "exit": 0,
107
+ "matches": [
108
+ {
109
+ "stream": "stdout",
110
+ "pattern": "AUTHENTICATED standing sha256:6bb526807d02f1072556d3dea7cb05227e4cdeb1747219c93c3fc950b2617fd8"
111
+ },
112
+ {
113
+ "stream": "stdout",
114
+ "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\\}\\}\\]\\}"
115
+ },
116
+ {
117
+ "stream": "stdout",
118
+ "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\":\\[\\]\\}"
119
+ }
120
+ ]
121
+ },
122
+ {
123
+ "name": "blob",
124
+ "reference": "#bound:1?class=standing&algorithm=sha256&digest=6bb526807d02f1072556d3dea7cb05227e4cdeb1747219c93c3fc950b2617fd8&blob=sha256%3A0000000000000000000000000000000000000000000000000000000000000000&source=fixture%3A%2F%2Fcarrier%2Fyes",
125
+ "inputs": [
126
+ "samples/authenticated-reference/yes/weather-reading/TARGET.bound",
127
+ "samples/authenticated-reference/yes/weather-reading/inputs/yes.json",
128
+ "samples/authenticated-reference/yes/weather-reading/inputs/transport.yes.json"
129
+ ],
130
+ "exit": 1,
131
+ "matches": [
132
+ {
133
+ "stream": "stderr",
134
+ "pattern": "blob integrity"
135
+ }
136
+ ]
137
+ },
138
+ {
139
+ "name": "standing",
140
+ "reference": "#bound:1?class=standing&algorithm=sha256&digest=0000000000000000000000000000000000000000000000000000000000000000&blob=sha256%3Af285a014cc9e9453aebd4c4ed94354fba5cac55c05929f4ad7cdd1b3348a9717&source=fixture%3A%2F%2Fcarrier%2Fyes",
141
+ "inputs": [
142
+ "samples/authenticated-reference/yes/weather-reading/TARGET.bound",
143
+ "samples/authenticated-reference/yes/weather-reading/inputs/yes.json",
144
+ "samples/authenticated-reference/yes/weather-reading/inputs/transport.yes.json"
145
+ ],
146
+ "exit": 1,
147
+ "matches": [
148
+ {
149
+ "stream": "stderr",
150
+ "pattern": "standing identity"
151
+ }
152
+ ]
153
+ }
154
+ ]
155
+ },
156
+ {
157
+ "place": "editorial-state",
158
+ "cases": [
159
+ {
160
+ "name": "yes",
161
+ "reference": "#bound:1?class=standing&algorithm=sha256&digest=48ed60f5bc98aaed5a0818087e2b5b1d0e63000bb3b8dbd1e97bd250b097106c&blob=sha256%3Ad0c251889330c27f3eac8066c59556f1ea95fba907ce083bcca5f0fab4061931&source=fixture%3A%2F%2Fcarrier%2Fyes",
162
+ "inputs": [
163
+ "samples/authenticated-reference/yes/editorial-state/TARGET.bound",
164
+ "samples/authenticated-reference/yes/editorial-state/inputs/yes.json",
165
+ "samples/authenticated-reference/yes/editorial-state/inputs/transport.yes.json"
166
+ ],
167
+ "exit": 0,
168
+ "matches": [
169
+ {
170
+ "stream": "stdout",
171
+ "pattern": "AUTHENTICATED standing sha256:48ed60f5bc98aaed5a0818087e2b5b1d0e63000bb3b8dbd1e97bd250b097106c"
172
+ },
173
+ {
174
+ "stream": "stdout",
175
+ "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\\}\\}\\]\\}"
176
+ },
177
+ {
178
+ "stream": "stdout",
179
+ "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\":\\[\\]\\}"
180
+ }
181
+ ]
182
+ },
183
+ {
184
+ "name": "signature",
185
+ "reference": "#bound:1?class=standing&algorithm=sha256&digest=48ed60f5bc98aaed5a0818087e2b5b1d0e63000bb3b8dbd1e97bd250b097106c&blob=sha256%3A839091ff13acc4695b1f0d41afd7bccb808b8ade6e2f51cae8c698ed1f52ac3f&source=fixture%3A%2F%2Fcarrier%2Fsignature",
186
+ "inputs": [
187
+ "samples/authenticated-reference/yes/editorial-state/TARGET.bound",
188
+ "samples/authenticated-reference/yes/editorial-state/inputs/signature.json",
189
+ "samples/authenticated-reference/yes/editorial-state/inputs/transport.signature.json"
190
+ ],
191
+ "exit": 1,
192
+ "matches": [
193
+ {
194
+ "stream": "stderr",
195
+ "pattern": "signature"
196
+ }
197
+ ]
198
+ },
199
+ {
200
+ "name": "coverage",
201
+ "reference": "#bound:1?class=standing&algorithm=sha256&digest=48ed60f5bc98aaed5a0818087e2b5b1d0e63000bb3b8dbd1e97bd250b097106c&blob=sha256%3A5e134fbce70c50f5f777c5e8c52929187699dc6f7e2b7c054caba4d59e98137e&source=fixture%3A%2F%2Fcarrier%2Fcoverage",
202
+ "inputs": [
203
+ "samples/authenticated-reference/yes/editorial-state/TARGET.bound",
204
+ "samples/authenticated-reference/yes/editorial-state/inputs/coverage.json",
205
+ "samples/authenticated-reference/yes/editorial-state/inputs/transport.coverage.json"
206
+ ],
207
+ "exit": 1,
208
+ "matches": [
209
+ {
210
+ "stream": "stderr",
211
+ "pattern": "cover"
212
+ }
213
+ ]
214
+ },
215
+ {
216
+ "name": "era",
217
+ "reference": "#bound:1?class=standing&algorithm=sha256&digest=48ed60f5bc98aaed5a0818087e2b5b1d0e63000bb3b8dbd1e97bd250b097106c&blob=sha256%3Aa6802fb8be3d954a9551d22d94c58d974bffd432746443b08be7da63442f0169&source=fixture%3A%2F%2Fcarrier%2Fera",
218
+ "inputs": [
219
+ "samples/authenticated-reference/yes/editorial-state/TARGET.bound",
220
+ "samples/authenticated-reference/yes/editorial-state/inputs/era.json",
221
+ "samples/authenticated-reference/yes/editorial-state/inputs/transport.era.json"
222
+ ],
223
+ "exit": 1,
224
+ "matches": [
225
+ {
226
+ "stream": "stderr",
227
+ "pattern": "signature"
228
+ }
229
+ ]
230
+ },
231
+ {
232
+ "name": "order",
233
+ "reference": "#bound:1?class=standing&algorithm=sha256&digest=48ed60f5bc98aaed5a0818087e2b5b1d0e63000bb3b8dbd1e97bd250b097106c&blob=sha256%3A6e3dcacb310fd2a631c739b1f0fa198259c086f690a27cedd952c57bd20f49d2&source=fixture%3A%2F%2Fcarrier%2Forder",
234
+ "inputs": [
235
+ "samples/authenticated-reference/yes/editorial-state/TARGET.bound",
236
+ "samples/authenticated-reference/yes/editorial-state/inputs/order.json",
237
+ "samples/authenticated-reference/yes/editorial-state/inputs/transport.order.json"
238
+ ],
239
+ "exit": 1,
240
+ "matches": [
241
+ {
242
+ "stream": "stderr",
243
+ "pattern": "cell not declared before claim-first"
244
+ }
245
+ ]
246
+ },
247
+ {
248
+ "name": "arrival",
249
+ "reference": "#bound:1?class=standing&algorithm=sha256&digest=48ed60f5bc98aaed5a0818087e2b5b1d0e63000bb3b8dbd1e97bd250b097106c&blob=sha256%3A5602a5247fde99b2295faa26523ef3134bc18eef87ea31e1289db297d2278e7e&source=fixture%3A%2F%2Fcarrier%2Farrival",
250
+ "inputs": [
251
+ "samples/authenticated-reference/yes/editorial-state/TARGET.bound",
252
+ "samples/authenticated-reference/yes/editorial-state/inputs/arrival.json",
253
+ "samples/authenticated-reference/yes/editorial-state/inputs/transport.arrival.json"
254
+ ],
255
+ "exit": 0,
256
+ "matches": [
257
+ {
258
+ "stream": "stdout",
259
+ "pattern": "AUTHENTICATED standing sha256:48ed60f5bc98aaed5a0818087e2b5b1d0e63000bb3b8dbd1e97bd250b097106c"
260
+ },
261
+ {
262
+ "stream": "stdout",
263
+ "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\\}\\}\\]\\}"
264
+ },
265
+ {
266
+ "stream": "stdout",
267
+ "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\":\\[\\]\\}"
268
+ }
269
+ ]
270
+ },
271
+ {
272
+ "name": "blob",
273
+ "reference": "#bound:1?class=standing&algorithm=sha256&digest=48ed60f5bc98aaed5a0818087e2b5b1d0e63000bb3b8dbd1e97bd250b097106c&blob=sha256%3A0000000000000000000000000000000000000000000000000000000000000000&source=fixture%3A%2F%2Fcarrier%2Fyes",
274
+ "inputs": [
275
+ "samples/authenticated-reference/yes/editorial-state/TARGET.bound",
276
+ "samples/authenticated-reference/yes/editorial-state/inputs/yes.json",
277
+ "samples/authenticated-reference/yes/editorial-state/inputs/transport.yes.json"
278
+ ],
279
+ "exit": 1,
280
+ "matches": [
281
+ {
282
+ "stream": "stderr",
283
+ "pattern": "blob integrity"
284
+ }
285
+ ]
286
+ },
287
+ {
288
+ "name": "standing",
289
+ "reference": "#bound:1?class=standing&algorithm=sha256&digest=0000000000000000000000000000000000000000000000000000000000000000&blob=sha256%3Ad0c251889330c27f3eac8066c59556f1ea95fba907ce083bcca5f0fab4061931&source=fixture%3A%2F%2Fcarrier%2Fyes",
290
+ "inputs": [
291
+ "samples/authenticated-reference/yes/editorial-state/TARGET.bound",
292
+ "samples/authenticated-reference/yes/editorial-state/inputs/yes.json",
293
+ "samples/authenticated-reference/yes/editorial-state/inputs/transport.yes.json"
294
+ ],
295
+ "exit": 1,
296
+ "matches": [
297
+ {
298
+ "stream": "stderr",
299
+ "pattern": "standing identity"
300
+ }
301
+ ]
302
+ }
303
+ ]
304
+ }
305
+ ]
306
+ }
package/samples/authenticated-reference/yes.json CHANGED
@@ -5,14 +5,14 @@
5
5
  "place": "yes/weather-reading",
6
6
  "target": "yes/weather-reading/TARGET.bound",
7
7
  "data": "yes/weather-reading/inputs/yes.json",
8
- "procedure": "keyless native land preparation, then public CLI fold of declared #bound reference",
8
+ "procedure": "public inspectAuthenticatedReference against independently prepared admitted authority; original carrier bytes retained; native receiver without explicit backend refuses reference/backend",
9
9
  "expected": "AUTHENTICATED with standing identity and two REQUIRED cells"
10
10
  },
11
11
  {
12
12
  "place": "yes/editorial-state",
13
13
  "target": "yes/editorial-state/TARGET.bound",
14
14
  "data": "yes/editorial-state/inputs/yes.json",
15
- "procedure": "keyless native land preparation, then public CLI fold of declared #bound reference",
15
+ "procedure": "public inspectAuthenticatedReference against independently prepared admitted authority; original carrier bytes retained; native receiver without explicit backend refuses reference/backend",
16
16
  "expected": "AUTHENTICATED with standing identity and two REQUIRED cells"
17
17
  }
18
18
  ]