@veraanchor/verifier 0.0.0-stage → 0.1.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 (214) hide show
  1. package/CHANGELOG.md +22 -0
  2. package/CONTRIBUTING.md +33 -0
  3. package/LICENSE +21 -0
  4. package/NOTICE +4 -0
  5. package/README.md +263 -2
  6. package/SECURITY.md +21 -0
  7. package/dist/cli/commandV1.d.ts +5 -0
  8. package/dist/cli/commandV1.d.ts.map +1 -0
  9. package/dist/cli/commandV1.js +440 -0
  10. package/dist/cli/commandV1.js.map +1 -0
  11. package/dist/cli.d.ts +3 -0
  12. package/dist/cli.d.ts.map +1 -0
  13. package/dist/cli.js +5 -0
  14. package/dist/cli.js.map +1 -0
  15. package/dist/contracts/verification.d.ts +77 -0
  16. package/dist/contracts/verification.d.ts.map +1 -0
  17. package/dist/contracts/verification.js +6 -0
  18. package/dist/contracts/verification.js.map +1 -0
  19. package/dist/crypto/sha3.d.ts +15 -0
  20. package/dist/crypto/sha3.d.ts.map +1 -0
  21. package/dist/crypto/sha3.js +27 -0
  22. package/dist/crypto/sha3.js.map +1 -0
  23. package/dist/crypto/streamSha3.d.ts +26 -0
  24. package/dist/crypto/streamSha3.d.ts.map +1 -0
  25. package/dist/crypto/streamSha3.js +52 -0
  26. package/dist/crypto/streamSha3.js.map +1 -0
  27. package/dist/hf/hashContractV1.d.ts +48 -0
  28. package/dist/hf/hashContractV1.d.ts.map +1 -0
  29. package/dist/hf/hashContractV1.js +185 -0
  30. package/dist/hf/hashContractV1.js.map +1 -0
  31. package/dist/index.d.ts +80 -0
  32. package/dist/index.d.ts.map +1 -0
  33. package/dist/index.js +57 -0
  34. package/dist/index.js.map +1 -0
  35. package/dist/merkle/membership.d.ts +30 -0
  36. package/dist/merkle/membership.d.ts.map +1 -0
  37. package/dist/merkle/membership.js +105 -0
  38. package/dist/merkle/membership.js.map +1 -0
  39. package/dist/policy/contractV1.d.ts +37 -0
  40. package/dist/policy/contractV1.d.ts.map +1 -0
  41. package/dist/policy/contractV1.js +2 -0
  42. package/dist/policy/contractV1.js.map +1 -0
  43. package/dist/policy/evaluateV1.d.ts +24 -0
  44. package/dist/policy/evaluateV1.d.ts.map +1 -0
  45. package/dist/policy/evaluateV1.js +320 -0
  46. package/dist/policy/evaluateV1.js.map +1 -0
  47. package/dist/profiles/dataset/sourceV1.d.ts +22 -0
  48. package/dist/profiles/dataset/sourceV1.d.ts.map +1 -0
  49. package/dist/profiles/dataset/sourceV1.js +73 -0
  50. package/dist/profiles/dataset/sourceV1.js.map +1 -0
  51. package/dist/profiles/dataset/v1.d.ts +39 -0
  52. package/dist/profiles/dataset/v1.d.ts.map +1 -0
  53. package/dist/profiles/dataset/v1.js +362 -0
  54. package/dist/profiles/dataset/v1.js.map +1 -0
  55. package/dist/profiles/execution/contractV1.d.ts +279 -0
  56. package/dist/profiles/execution/contractV1.d.ts.map +1 -0
  57. package/dist/profiles/execution/contractV1.js +364 -0
  58. package/dist/profiles/execution/contractV1.js.map +1 -0
  59. package/dist/profiles/execution/independentStandardsV1.d.ts +44 -0
  60. package/dist/profiles/execution/independentStandardsV1.d.ts.map +1 -0
  61. package/dist/profiles/execution/independentStandardsV1.js +336 -0
  62. package/dist/profiles/execution/independentStandardsV1.js.map +1 -0
  63. package/dist/profiles/execution/reasonCodesV1.d.ts +30 -0
  64. package/dist/profiles/execution/reasonCodesV1.d.ts.map +1 -0
  65. package/dist/profiles/execution/reasonCodesV1.js +20 -0
  66. package/dist/profiles/execution/reasonCodesV1.js.map +1 -0
  67. package/dist/profiles/execution/recomputationV1.d.ts +11 -0
  68. package/dist/profiles/execution/recomputationV1.d.ts.map +1 -0
  69. package/dist/profiles/execution/recomputationV1.js +144 -0
  70. package/dist/profiles/execution/recomputationV1.js.map +1 -0
  71. package/dist/profiles/execution/rulesV1.d.ts +6 -0
  72. package/dist/profiles/execution/rulesV1.d.ts.map +1 -0
  73. package/dist/profiles/execution/rulesV1.js +855 -0
  74. package/dist/profiles/execution/rulesV1.js.map +1 -0
  75. package/dist/profiles/execution/standardsPlanV1.d.ts +18 -0
  76. package/dist/profiles/execution/standardsPlanV1.d.ts.map +1 -0
  77. package/dist/profiles/execution/standardsPlanV1.js +16 -0
  78. package/dist/profiles/execution/standardsPlanV1.js.map +1 -0
  79. package/dist/profiles/execution/verificationV1.d.ts +28 -0
  80. package/dist/profiles/execution/verificationV1.d.ts.map +1 -0
  81. package/dist/profiles/execution/verificationV1.js +188 -0
  82. package/dist/profiles/execution/verificationV1.js.map +1 -0
  83. package/dist/profiles/ingest/sourceV1.d.ts +36 -0
  84. package/dist/profiles/ingest/sourceV1.d.ts.map +1 -0
  85. package/dist/profiles/ingest/sourceV1.js +99 -0
  86. package/dist/profiles/ingest/sourceV1.js.map +1 -0
  87. package/dist/profiles/ingest/v1.d.ts +65 -0
  88. package/dist/profiles/ingest/v1.d.ts.map +1 -0
  89. package/dist/profiles/ingest/v1.js +477 -0
  90. package/dist/profiles/ingest/v1.js.map +1 -0
  91. package/dist/profiles/sourceV1Helpers.d.ts +48 -0
  92. package/dist/profiles/sourceV1Helpers.d.ts.map +1 -0
  93. package/dist/profiles/sourceV1Helpers.js +141 -0
  94. package/dist/profiles/sourceV1Helpers.js.map +1 -0
  95. package/dist/reports/coreV1.d.ts +7 -0
  96. package/dist/reports/coreV1.d.ts.map +1 -0
  97. package/dist/reports/coreV1.js +195 -0
  98. package/dist/reports/coreV1.js.map +1 -0
  99. package/dist/reports/portableV1.d.ts +48 -0
  100. package/dist/reports/portableV1.d.ts.map +1 -0
  101. package/dist/reports/portableV1.js +279 -0
  102. package/dist/reports/portableV1.js.map +1 -0
  103. package/dist/reports/validationV1.d.ts +19 -0
  104. package/dist/reports/validationV1.d.ts.map +1 -0
  105. package/dist/reports/validationV1.js +441 -0
  106. package/dist/reports/validationV1.js.map +1 -0
  107. package/dist/resolvers/executionMirrorV1.d.ts +15 -0
  108. package/dist/resolvers/executionMirrorV1.d.ts.map +1 -0
  109. package/dist/resolvers/executionMirrorV1.js +206 -0
  110. package/dist/resolvers/executionMirrorV1.js.map +1 -0
  111. package/dist/resolvers/explorerExecutionV1.d.ts +17 -0
  112. package/dist/resolvers/explorerExecutionV1.d.ts.map +1 -0
  113. package/dist/resolvers/explorerExecutionV1.js +61 -0
  114. package/dist/resolvers/explorerExecutionV1.js.map +1 -0
  115. package/dist/resolvers/explorerPublicV1.d.ts +37 -0
  116. package/dist/resolvers/explorerPublicV1.d.ts.map +1 -0
  117. package/dist/resolvers/explorerPublicV1.js +210 -0
  118. package/dist/resolvers/explorerPublicV1.js.map +1 -0
  119. package/dist/resolvers/explorerPublicationV1.d.ts +20 -0
  120. package/dist/resolvers/explorerPublicationV1.d.ts.map +1 -0
  121. package/dist/resolvers/explorerPublicationV1.js +195 -0
  122. package/dist/resolvers/explorerPublicationV1.js.map +1 -0
  123. package/dist/resolvers/explorerTransportV1.d.ts +17 -0
  124. package/dist/resolvers/explorerTransportV1.d.ts.map +1 -0
  125. package/dist/resolvers/explorerTransportV1.js +112 -0
  126. package/dist/resolvers/explorerTransportV1.js.map +1 -0
  127. package/dist/resolvers/hcs11MirrorV1.d.ts +49 -0
  128. package/dist/resolvers/hcs11MirrorV1.d.ts.map +1 -0
  129. package/dist/resolvers/hcs11MirrorV1.js +293 -0
  130. package/dist/resolvers/hcs11MirrorV1.js.map +1 -0
  131. package/dist/resolvers/hcs13MirrorV1.d.ts +35 -0
  132. package/dist/resolvers/hcs13MirrorV1.d.ts.map +1 -0
  133. package/dist/resolvers/hcs13MirrorV1.js +72 -0
  134. package/dist/resolvers/hcs13MirrorV1.js.map +1 -0
  135. package/dist/resolvers/hcs1MirrorV1.d.ts +28 -0
  136. package/dist/resolvers/hcs1MirrorV1.d.ts.map +1 -0
  137. package/dist/resolvers/hcs1MirrorV1.js +220 -0
  138. package/dist/resolvers/hcs1MirrorV1.js.map +1 -0
  139. package/dist/resolvers/hcs26MirrorV1.d.ts +67 -0
  140. package/dist/resolvers/hcs26MirrorV1.d.ts.map +1 -0
  141. package/dist/resolvers/hcs26MirrorV1.js +218 -0
  142. package/dist/resolvers/hcs26MirrorV1.js.map +1 -0
  143. package/dist/resolvers/hcs26RegistryMirrorV1.d.ts +26 -0
  144. package/dist/resolvers/hcs26RegistryMirrorV1.d.ts.map +1 -0
  145. package/dist/resolvers/hcs26RegistryMirrorV1.js +200 -0
  146. package/dist/resolvers/hcs26RegistryMirrorV1.js.map +1 -0
  147. package/dist/resolvers/hcs2MirrorV1.d.ts +26 -0
  148. package/dist/resolvers/hcs2MirrorV1.d.ts.map +1 -0
  149. package/dist/resolvers/hcs2MirrorV1.js +196 -0
  150. package/dist/resolvers/hcs2MirrorV1.js.map +1 -0
  151. package/dist/resolvers/hederaMirrorV1.d.ts +22 -0
  152. package/dist/resolvers/hederaMirrorV1.d.ts.map +1 -0
  153. package/dist/resolvers/hederaMirrorV1.js +338 -0
  154. package/dist/resolvers/hederaMirrorV1.js.map +1 -0
  155. package/dist/standards/hcs/hcs11V1.d.ts +51 -0
  156. package/dist/standards/hcs/hcs11V1.d.ts.map +1 -0
  157. package/dist/standards/hcs/hcs11V1.js +289 -0
  158. package/dist/standards/hcs/hcs11V1.js.map +1 -0
  159. package/dist/standards/hcs/hcs13V1.d.ts +39 -0
  160. package/dist/standards/hcs/hcs13V1.d.ts.map +1 -0
  161. package/dist/standards/hcs/hcs13V1.js +114 -0
  162. package/dist/standards/hcs/hcs13V1.js.map +1 -0
  163. package/dist/standards/hcs/hcs14V1.d.ts +35 -0
  164. package/dist/standards/hcs/hcs14V1.d.ts.map +1 -0
  165. package/dist/standards/hcs/hcs14V1.js +168 -0
  166. package/dist/standards/hcs/hcs14V1.js.map +1 -0
  167. package/dist/standards/hcs/hcs1V1.d.ts +30 -0
  168. package/dist/standards/hcs/hcs1V1.d.ts.map +1 -0
  169. package/dist/standards/hcs/hcs1V1.js +140 -0
  170. package/dist/standards/hcs/hcs1V1.js.map +1 -0
  171. package/dist/standards/hcs/hcs26V1.d.ts +58 -0
  172. package/dist/standards/hcs/hcs26V1.d.ts.map +1 -0
  173. package/dist/standards/hcs/hcs26V1.js +339 -0
  174. package/dist/standards/hcs/hcs26V1.js.map +1 -0
  175. package/dist/standards/hcs/hcs2V1.d.ts +36 -0
  176. package/dist/standards/hcs/hcs2V1.d.ts.map +1 -0
  177. package/dist/standards/hcs/hcs2V1.js +181 -0
  178. package/dist/standards/hcs/hcs2V1.js.map +1 -0
  179. package/dist/standards/hcs/jsonCanonicalV1.d.ts +15 -0
  180. package/dist/standards/hcs/jsonCanonicalV1.d.ts.map +1 -0
  181. package/dist/standards/hcs/jsonCanonicalV1.js +160 -0
  182. package/dist/standards/hcs/jsonCanonicalV1.js.map +1 -0
  183. package/dist/triangulation/compareV1.d.ts +50 -0
  184. package/dist/triangulation/compareV1.d.ts.map +1 -0
  185. package/dist/triangulation/compareV1.js +236 -0
  186. package/dist/triangulation/compareV1.js.map +1 -0
  187. package/dist/triangulation/executionPlanV1.d.ts +39 -0
  188. package/dist/triangulation/executionPlanV1.d.ts.map +1 -0
  189. package/dist/triangulation/executionPlanV1.js +208 -0
  190. package/dist/triangulation/executionPlanV1.js.map +1 -0
  191. package/dist/triangulation/executionPublicV1.d.ts +22 -0
  192. package/dist/triangulation/executionPublicV1.d.ts.map +1 -0
  193. package/dist/triangulation/executionPublicV1.js +39 -0
  194. package/dist/triangulation/executionPublicV1.js.map +1 -0
  195. package/dist/triangulation/messageObservationV1.d.ts +26 -0
  196. package/dist/triangulation/messageObservationV1.d.ts.map +1 -0
  197. package/dist/triangulation/messageObservationV1.js +69 -0
  198. package/dist/triangulation/messageObservationV1.js.map +1 -0
  199. package/dist/triangulation/publicV1.d.ts +29 -0
  200. package/dist/triangulation/publicV1.d.ts.map +1 -0
  201. package/dist/triangulation/publicV1.js +170 -0
  202. package/dist/triangulation/publicV1.js.map +1 -0
  203. package/dist/verification/sourceIntentV1.d.ts +15 -0
  204. package/dist/verification/sourceIntentV1.d.ts.map +1 -0
  205. package/dist/verification/sourceIntentV1.js +206 -0
  206. package/dist/verification/sourceIntentV1.js.map +1 -0
  207. package/docs/cli-v0.1.md +237 -0
  208. package/docs/conformance.md +38 -0
  209. package/docs/threat-model.md +37 -0
  210. package/docs/verification-semantics.md +65 -0
  211. package/examples/README.md +35 -0
  212. package/examples/dataset-offline.mjs +58 -0
  213. package/examples/dataset-policy.mjs +59 -0
  214. package/package.json +65 -4
@@ -0,0 +1,73 @@
1
+ import { sourceV1Compare, sourceV1HashFile, sourceV1Leaf, sourceV1Limits, sourceV1Mismatch, sourceV1Path, sourceV1PathDigest, sourceV1Root, } from "../sourceV1Helpers.js";
2
+ import { verifyDatasetV1Bundle, verifyDatasetV1Receipt, } from "./v1.js";
3
+ import { canonicalizeHfV1Json } from "../../hf/hashContractV1.js";
4
+ /** Independently bind all supplied file bytes to Dataset v1 leaves, root, bundle and optional receipt. */
5
+ export async function verifyDatasetV1Sources(input) {
6
+ const checkedBundle = verifyDatasetV1Bundle(input.bundle);
7
+ const bundle = input.bundle;
8
+ const mismatches = checkedBundle.mismatches.map((entry) => sourceV1Mismatch(`bundle.${entry.field}`, entry.expected, entry.actual));
9
+ if (!Array.isArray(input.files))
10
+ throw new TypeError("Dataset source files must be an array");
11
+ const { total: maxTotal, file: maxFile } = sourceV1Limits(input.limits);
12
+ if (input.files.length > 5_000)
13
+ throw new RangeError("Too many Dataset source files");
14
+ const sourcePaths = new Set();
15
+ const sources = input.files.map((entry) => {
16
+ const path = sourceV1Path(entry.path_rel, 4096);
17
+ if (path.includes(".."))
18
+ throw new TypeError("Dataset source path is not producer-canonical");
19
+ if (sourcePaths.has(path))
20
+ throw new TypeError("Duplicate Dataset source path");
21
+ sourcePaths.add(path);
22
+ return { path, source: entry.source };
23
+ }).sort((a, b) => a.path < b.path ? -1 : a.path > b.path ? 1 : 0);
24
+ sourceV1Compare(mismatches, "sources.file_count", bundle.files.length, sources.length);
25
+ const leaves = [];
26
+ let totalBytes = 0;
27
+ for (const [index, entry] of sources.entries()) {
28
+ const item = bundle.files[index];
29
+ const remaining = maxTotal - totalBytes;
30
+ const hashed = await sourceV1HashFile(entry.source, Math.min(maxFile, remaining), false);
31
+ totalBytes += hashed.bytes;
32
+ const pathKey = bundle.rules.redact_paths ? "path_hash" : "path_rel";
33
+ const pathValue = bundle.rules.redact_paths ? sourceV1PathDigest(entry.path, "dataset") : entry.path;
34
+ sourceV1Compare(mismatches, `files[${index}].${pathKey}`, pathValue, item?.[pathKey] ?? null);
35
+ sourceV1Compare(mismatches, `files[${index}].bytes`, hashed.bytes, item?.bytes ?? null);
36
+ sourceV1Compare(mismatches, `files[${index}].sha3_512`, hashed.sha3_512, item?.sha3_512 ?? null);
37
+ const leaf = sourceV1Leaf("dataset", {
38
+ ...(bundle.rules.redact_paths ? { path_hash: pathValue } : { path_rel: pathValue }),
39
+ bytes: hashed.bytes,
40
+ sha3_512: hashed.sha3_512,
41
+ });
42
+ leaves.push(leaf);
43
+ sourceV1Compare(mismatches, `files[${index}].leaf_hash`, leaf, item?.leaf_hash ?? null);
44
+ }
45
+ const sourceRoot = leaves.length ? sourceV1Root("dataset", leaves) : undefined;
46
+ sourceV1Compare(mismatches, "sources.total_bytes", checkedBundle.computed.total_bytes, totalBytes);
47
+ if (sourceRoot)
48
+ sourceV1Compare(mismatches, "sources.merkle_root", bundle.merkle.root, sourceRoot);
49
+ let receipt;
50
+ if (input.receipt !== undefined) {
51
+ const receiptResult = verifyDatasetV1Receipt(input.receipt);
52
+ receipt = receiptResult.computed;
53
+ mismatches.push(...receiptResult.mismatches.map((entry) => sourceV1Mismatch(`receipt.${entry.field}`, entry.expected, entry.actual)));
54
+ for (const field of ["dataset_key", "program", "version_label", "bundle_digest", "dataset_fingerprint", "merkle_root", "idempotency_key", "file_count", "total_bytes"]) {
55
+ sourceV1Compare(mismatches, `binding.${field}`, checkedBundle.computed[field], receipt[field]);
56
+ }
57
+ const receiptRules = input.receipt.rules;
58
+ const bundleRulesDigest = Buffer.from(canonicalizeHfV1Json(bundle.rules)).toString("hex");
59
+ const receiptRulesDigest = Buffer.from(canonicalizeHfV1Json(receiptRules)).toString("hex");
60
+ if (bundleRulesDigest !== receiptRulesDigest) {
61
+ mismatches.push(sourceV1Mismatch("binding.rules", "matches bundle rules", "mismatch"));
62
+ }
63
+ }
64
+ const computed = Object.freeze({
65
+ bundle: checkedBundle.computed,
66
+ ...(receipt ? { receipt } : {}),
67
+ ...(sourceRoot ? { source_merkle_root: sourceRoot } : {}),
68
+ source_file_count: sources.length,
69
+ source_total_bytes: totalBytes,
70
+ });
71
+ return Object.freeze({ ok: mismatches.length === 0, mismatches: Object.freeze(mismatches), computed });
72
+ }
73
+ //# sourceMappingURL=sourceV1.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"sourceV1.js","sourceRoot":"","sources":["../../../src/profiles/dataset/sourceV1.ts"],"names":[],"mappings":"AACA,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,YAAY,EACZ,cAAc,EACd,gBAAgB,EAChB,YAAY,EACZ,kBAAkB,EAClB,YAAY,GACb,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,qBAAqB,EACrB,sBAAsB,GAGvB,MAAM,SAAS,CAAC;AACjB,OAAO,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAmClE,0GAA0G;AAC1G,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAAC,KAA2B;IACtE,MAAM,aAAa,GAAG,qBAAqB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC1D,MAAM,MAAM,GAAG,KAAK,CAAC,MAAoB,CAAC;IAC1C,MAAM,UAAU,GAAuB,aAAa,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAC5E,gBAAgB,CAAC,UAAU,KAAK,CAAC,KAAK,EAAE,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IAC3E,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,uCAAuC,CAAC,CAAC;IAC9F,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,cAAc,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACxE,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,KAAK;QAAE,MAAM,IAAI,UAAU,CAAC,+BAA+B,CAAC,CAAC;IAEtF,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACxC,MAAM,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QAChD,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,+CAA+C,CAAC,CAAC;QAC9F,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,+BAA+B,CAAC,CAAC;QAChF,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACtB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;IACxC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAElE,eAAe,CAAC,UAAU,EAAE,oBAAoB,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IACvF,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;QAC/C,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACjC,MAAM,SAAS,GAAG,QAAQ,GAAG,UAAU,CAAC;QACxC,MAAM,MAAM,GAAG,MAAM,gBAAgB,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,KAAK,CAAC,CAAC;QACzF,UAAU,IAAI,MAAM,CAAC,KAAK,CAAC;QAC3B,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC;QACrE,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,kBAAkB,CAAC,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC;QACrG,eAAe,CAAC,UAAU,EAAE,SAAS,KAAK,KAAK,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,CAAC;QAC9F,eAAe,CAAC,UAAU,EAAE,SAAS,KAAK,SAAS,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,IAAI,IAAI,CAAC,CAAC;QACxF,eAAe,CAAC,UAAU,EAAE,SAAS,KAAK,YAAY,EAAE,MAAM,CAAC,QAAQ,EAAE,IAAI,EAAE,QAAQ,IAAI,IAAI,CAAC,CAAC;QACjG,MAAM,IAAI,GAAG,YAAY,CAAC,SAAS,EAAE;YACnC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;YACnF,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,QAAQ,EAAE,MAAM,CAAC,QAAQ;SAC1B,CAAC,CAAC;QACH,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClB,eAAe,CAAC,UAAU,EAAE,SAAS,KAAK,aAAa,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,IAAI,IAAI,CAAC,CAAC;IAC1F,CAAC;IACD,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC/E,eAAe,CAAC,UAAU,EAAE,qBAAqB,EAAE,aAAa,CAAC,QAAQ,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IACnG,IAAI,UAAU;QAAE,eAAe,CAAC,UAAU,EAAE,qBAAqB,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IAEnG,IAAI,OAA6C,CAAC;IAClD,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAChC,MAAM,aAAa,GAAG,sBAAsB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC5D,OAAO,GAAG,aAAa,CAAC,QAAQ,CAAC;QACjC,UAAU,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACxD,gBAAgB,CAAC,WAAW,KAAK,CAAC,KAAK,EAAE,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC7E,KAAK,MAAM,KAAK,IAAI,CAAC,aAAa,EAAE,SAAS,EAAE,eAAe,EAAE,eAAe,EAAE,qBAAqB,EAAE,aAAa,EAAE,iBAAiB,EAAE,YAAY,EAAE,aAAa,CAAU,EAAE,CAAC;YAChL,eAAe,CAAC,UAAU,EAAE,WAAW,KAAK,EAAE,EAAE,aAAa,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;QACjG,CAAC;QACD,MAAM,YAAY,GAAI,KAAK,CAAC,OAAuB,CAAC,KAAK,CAAC;QAC1D,MAAM,iBAAiB,GAAG,MAAM,CAAC,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC1F,MAAM,kBAAkB,GAAG,MAAM,CAAC,IAAI,CAAC,oBAAoB,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC3F,IAAI,iBAAiB,KAAK,kBAAkB,EAAE,CAAC;YAC7C,UAAU,CAAC,IAAI,CAAC,gBAAgB,CAAC,eAAe,EAAE,sBAAsB,EAAE,UAAU,CAAC,CAAC,CAAC;QACzF,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC;QAC7B,MAAM,EAAE,aAAa,CAAC,QAAQ;QAC9B,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/B,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzD,iBAAiB,EAAE,OAAO,CAAC,MAAM;QACjC,kBAAkB,EAAE,UAAU;KAC/B,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC;AACzG,CAAC"}
@@ -0,0 +1,39 @@
1
+ export type DatasetV1Mismatch = Readonly<{
2
+ field: string;
3
+ expected: unknown;
4
+ actual: unknown;
5
+ }>;
6
+ export type DatasetV1BundleComputed = Readonly<{
7
+ dataset_key: string;
8
+ program: string | null;
9
+ version_label: string | null;
10
+ bundle_digest: string;
11
+ dataset_fingerprint: string;
12
+ merkle_root: string;
13
+ idempotency_key: string;
14
+ file_count: number;
15
+ total_bytes: number;
16
+ }>;
17
+ export type DatasetV1ReceiptComputed = Readonly<{
18
+ dataset_key: string;
19
+ program: string | null;
20
+ version_label: string | null;
21
+ receipt_id: string;
22
+ hedera_network: "testnet" | "mainnet" | null;
23
+ idempotency_key: string;
24
+ dataset_fingerprint: string;
25
+ bundle_digest: string;
26
+ merkle_root: string;
27
+ file_count: number;
28
+ total_bytes: number;
29
+ }>;
30
+ export type DatasetV1VerificationResult<T> = Readonly<{
31
+ ok: boolean;
32
+ mismatches: readonly DatasetV1Mismatch[];
33
+ computed: T;
34
+ }>;
35
+ /** Verify Dataset v1 bundle commitments without filesystem or network access. */
36
+ export declare function verifyDatasetV1Bundle(input: unknown): DatasetV1VerificationResult<DatasetV1BundleComputed>;
37
+ /** Verify receipt consistency; no claim of external anchoring or content availability. */
38
+ export declare function verifyDatasetV1Receipt(input: unknown): DatasetV1VerificationResult<DatasetV1ReceiptComputed>;
39
+ //# sourceMappingURL=v1.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"v1.d.ts","sourceRoot":"","sources":["../../../src/profiles/dataset/v1.ts"],"names":[],"mappings":"AASA,MAAM,MAAM,iBAAiB,GAAG,QAAQ,CAAC;IACvC,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,OAAO,CAAC;IAClB,MAAM,EAAE,OAAO,CAAC;CACjB,CAAC,CAAC;AAEH,MAAM,MAAM,uBAAuB,GAAG,QAAQ,CAAC;IAC7C,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,aAAa,EAAE,MAAM,CAAC;IACtB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,WAAW,EAAE,MAAM,CAAC;IACpB,eAAe,EAAE,MAAM,CAAC;IACxB,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;CACrB,CAAC,CAAC;AAEH,MAAM,MAAM,wBAAwB,GAAG,QAAQ,CAAC;IAC9C,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,UAAU,EAAE,MAAM,CAAC;IACnB,cAAc,EAAE,SAAS,GAAG,SAAS,GAAG,IAAI,CAAC;IAC7C,eAAe,EAAE,MAAM,CAAC;IACxB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,aAAa,EAAE,MAAM,CAAC;IACtB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;CACrB,CAAC,CAAC;AAEH,MAAM,MAAM,2BAA2B,CAAC,CAAC,IAAI,QAAQ,CAAC;IACpD,EAAE,EAAE,OAAO,CAAC;IACZ,UAAU,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACzC,QAAQ,EAAE,CAAC,CAAC;CACb,CAAC,CAAC;AAgSH,iFAAiF;AACjF,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,OAAO,GAAG,2BAA2B,CAAC,uBAAuB,CAAC,CAoD1G;AAED,0FAA0F;AAC1F,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,OAAO,GAAG,2BAA2B,CAAC,wBAAwB,CAAC,CAyB5G"}
@@ -0,0 +1,362 @@
1
+ import { hashHfV1 } from "../../hf/hashContractV1.js";
2
+ const HEX = /^[0-9a-f]{128}$/;
3
+ const DATASET_KEY = /^[A-Za-z0-9][A-Za-z0-9_.:-]{0,255}$/;
4
+ const PROGRAM = /^[a-z][a-z0-9_:-]{1,63}$/;
5
+ const MAX_FILES = 5_000;
6
+ const MAX_JSON_DEPTH = 16;
7
+ const MAX_METADATA_NODES = 20_000;
8
+ const HASH_CONTRACT = Object.freeze({
9
+ contract_id: "hf-contract-v1",
10
+ frame: "hf:frame:v1",
11
+ canonical_json: "hf:canonical-json:v1",
12
+ algorithm: "sha3-512",
13
+ encoding: "hex_lower",
14
+ });
15
+ function invalid(field) {
16
+ throw new TypeError(`Invalid Dataset v1 evidence: ${field}`);
17
+ }
18
+ function record(value, field) {
19
+ if (!value || typeof value !== "object" || Array.isArray(value))
20
+ return invalid(field);
21
+ const prototype = Object.getPrototypeOf(value);
22
+ if (prototype !== Object.prototype && prototype !== null)
23
+ return invalid(field);
24
+ return value;
25
+ }
26
+ function exactKeys(value, allowed, field) {
27
+ for (const key of Object.keys(value)) {
28
+ if (!allowed.includes(key))
29
+ invalid(`${field}.${key}`);
30
+ }
31
+ }
32
+ function requiredString(value, field, max) {
33
+ if (typeof value !== "string")
34
+ return invalid(field);
35
+ const text = value.trim();
36
+ if (!text || text.length > max)
37
+ return invalid(field);
38
+ return text;
39
+ }
40
+ function optionalString(value, field, max) {
41
+ if (value === undefined || value === null)
42
+ return undefined;
43
+ if (typeof value !== "string")
44
+ return invalid(field);
45
+ const text = value.trim();
46
+ if (text.length > max)
47
+ return invalid(field);
48
+ return text || undefined;
49
+ }
50
+ function digest(value, field) {
51
+ const text = requiredString(value, field, 128).toLowerCase();
52
+ if (!HEX.test(text))
53
+ return invalid(field);
54
+ return text;
55
+ }
56
+ function count(value, field) {
57
+ if (typeof value !== "number" || !Number.isSafeInteger(value) || value < 0)
58
+ return invalid(field);
59
+ return value;
60
+ }
61
+ function flag(value, field) {
62
+ if (typeof value === "boolean")
63
+ return value;
64
+ if (typeof value === "string" && value.trim().toLowerCase() === "true")
65
+ return true;
66
+ if (typeof value === "string" && value.trim().toLowerCase() === "false")
67
+ return false;
68
+ return invalid(field);
69
+ }
70
+ function literal(value, expected, field) {
71
+ if (requiredString(value, field, 128) !== expected)
72
+ return invalid(field);
73
+ return expected;
74
+ }
75
+ function identity(input) {
76
+ const value = record(input, "dataset_identity");
77
+ exactKeys(value, ["dataset_key", "version_label", "program"], "dataset_identity");
78
+ const dataset_key = requiredString(value.dataset_key, "dataset_key", 256);
79
+ if (!DATASET_KEY.test(dataset_key))
80
+ invalid("dataset_key");
81
+ const version_label = optionalString(value.version_label, "version_label", 64);
82
+ const program = optionalString(value.program, "program", 64);
83
+ if (program !== undefined && !PROGRAM.test(program))
84
+ invalid("program");
85
+ return {
86
+ dataset_key,
87
+ ...(version_label !== undefined ? { version_label } : {}),
88
+ ...(program !== undefined ? { program } : {}),
89
+ };
90
+ }
91
+ function stringArray(value, field, max, lowercase = false) {
92
+ if (value === undefined)
93
+ return undefined;
94
+ if (!Array.isArray(value) || value.length > 256)
95
+ return invalid(field);
96
+ const values = [];
97
+ for (const item of value) {
98
+ if (typeof item !== "string")
99
+ return invalid(field);
100
+ const text = item.trim();
101
+ if (!text)
102
+ continue;
103
+ if (text.length > max)
104
+ return invalid(field);
105
+ values.push(lowercase ? text.toLowerCase() : text);
106
+ }
107
+ return values;
108
+ }
109
+ function rules(input) {
110
+ const value = record(input, "rules");
111
+ exactKeys(value, ["path_normalization", "follow_symlinks", "redact_paths", "ordering", "merkle_rule", "include_globs", "exclude_globs", "allowed_suffixes"], "rules");
112
+ const include_globs = stringArray(value.include_globs, "include_globs", 256);
113
+ const exclude_globs = stringArray(value.exclude_globs, "exclude_globs", 256);
114
+ const allowed_suffixes = stringArray(value.allowed_suffixes, "allowed_suffixes", 64, true);
115
+ return {
116
+ path_normalization: literal(value.path_normalization, "posix_rel_no_dotdot", "path_normalization"),
117
+ follow_symlinks: flag(value.follow_symlinks, "follow_symlinks"),
118
+ redact_paths: flag(value.redact_paths, "redact_paths"),
119
+ ordering: literal(value.ordering, "path_rel_ascii_asc", "ordering"),
120
+ merkle_rule: literal(value.merkle_rule, "dup_last_on_odd", "merkle_rule"),
121
+ ...(include_globs !== undefined ? { include_globs } : {}),
122
+ ...(exclude_globs !== undefined ? { exclude_globs } : {}),
123
+ ...(allowed_suffixes !== undefined ? { allowed_suffixes } : {}),
124
+ };
125
+ }
126
+ function parseFile(input, redact) {
127
+ const value = record(input, "file");
128
+ exactKeys(value, ["path_rel", "path_hash", "bytes", "sha3_512", "leaf_hash"], "file");
129
+ const path_rel = optionalString(value.path_rel, "path_rel", 4096);
130
+ const path_hash = value.path_hash === undefined ? undefined : digest(value.path_hash, "path_hash");
131
+ if (Boolean(path_rel) === Boolean(path_hash))
132
+ invalid("file.path_variant");
133
+ if (redact !== Boolean(path_hash))
134
+ invalid("file.redact_paths");
135
+ return {
136
+ ...(path_rel ? { path_rel } : {}),
137
+ ...(path_hash ? { path_hash } : {}),
138
+ bytes: count(value.bytes, "file.bytes"),
139
+ sha3_512: digest(value.sha3_512, "file.sha3_512"),
140
+ leaf_hash: digest(value.leaf_hash, "file.leaf_hash"),
141
+ };
142
+ }
143
+ function parseBundle(input) {
144
+ const value = record(input, "bundle");
145
+ exactKeys(value, ["bundle_version", "hash_contract", "dataset_identity", "rules", "files", "merkle", "summary"], "bundle");
146
+ literal(value.bundle_version, "v1", "bundle_version");
147
+ const contract = record(value.hash_contract, "hash_contract");
148
+ exactKeys(contract, Object.keys(HASH_CONTRACT), "hash_contract");
149
+ for (const [key, expected] of Object.entries(HASH_CONTRACT)) {
150
+ if (contract[key] !== expected)
151
+ invalid(`hash_contract.${key}`);
152
+ }
153
+ const parsedIdentity = identity(value.dataset_identity);
154
+ const parsedRules = rules(value.rules);
155
+ if (!Array.isArray(value.files) || value.files.length === 0 || value.files.length > MAX_FILES)
156
+ invalid("files");
157
+ const files = value.files.map((file) => parseFile(file, parsedRules.redact_paths));
158
+ // The producer orders by original relative path. Redacted path hashes are not sort keys.
159
+ if (!parsedRules.redact_paths) {
160
+ for (let index = 1; index < files.length; index++) {
161
+ if ((files[index - 1]?.path_rel ?? "") >= (files[index]?.path_rel ?? ""))
162
+ invalid("files.path_order");
163
+ }
164
+ }
165
+ const merkle = record(value.merkle, "merkle");
166
+ exactKeys(merkle, ["leaf_count", "root"], "merkle");
167
+ const summary = record(value.summary, "summary");
168
+ exactKeys(summary, ["file_count", "total_bytes"], "summary");
169
+ return {
170
+ bundle_version: "v1",
171
+ hash_contract: HASH_CONTRACT,
172
+ dataset_identity: parsedIdentity,
173
+ rules: parsedRules,
174
+ files,
175
+ merkle: { leaf_count: count(merkle.leaf_count, "merkle.leaf_count"), root: digest(merkle.root, "merkle.root") },
176
+ summary: { file_count: count(summary.file_count, "summary.file_count"), total_bytes: count(summary.total_bytes, "summary.total_bytes") },
177
+ };
178
+ }
179
+ /** Safely duplicate receipt metadata while retaining the bytes relevant to its digest. */
180
+ function jsonValue(value, depth, budget) {
181
+ budget.nodes += 1;
182
+ if (budget.nodes > MAX_METADATA_NODES || depth > MAX_JSON_DEPTH)
183
+ invalid("receipt.metadata_limit");
184
+ if (value === null || typeof value === "string" || typeof value === "boolean")
185
+ return value;
186
+ if (typeof value === "number" && Number.isFinite(value))
187
+ return value;
188
+ if (Array.isArray(value)) {
189
+ if (value.length > 256)
190
+ invalid("receipt.metadata_array");
191
+ return value.map((item) => jsonValue(item, depth + 1, budget));
192
+ }
193
+ const source = record(value, "receipt.metadata");
194
+ const output = Object.create(null);
195
+ for (const key of Object.keys(source)) {
196
+ if (key === "__proto__" || key === "prototype" || key === "constructor")
197
+ invalid("receipt.metadata_key");
198
+ output[key] = jsonValue(source[key], depth + 1, budget);
199
+ }
200
+ return output;
201
+ }
202
+ function optionalNetwork(value) {
203
+ if (value === undefined || value === null || value === "")
204
+ return undefined;
205
+ if (typeof value !== "string")
206
+ return invalid("hedera_network");
207
+ const network = value.trim().toLowerCase();
208
+ if (network !== "testnet" && network !== "mainnet")
209
+ invalid("hedera_network");
210
+ return network;
211
+ }
212
+ function parsedReceipt(input) {
213
+ const value = record(input, "receipt");
214
+ exactKeys(value, ["v", "kind", "receipt_id", "mode", "hedera_network", "dataset_identity", "rules", "evidence", "pointers", "core"], "receipt");
215
+ literal(value.v, "v1", "v");
216
+ literal(value.kind, "dataset_anchor_receipt", "kind");
217
+ const receiptId = digest(value.receipt_id, "receipt_id");
218
+ const mode = value.mode;
219
+ if (mode !== "hash_only" && mode !== "register_and_anchor")
220
+ invalid("mode");
221
+ const network = optionalNetwork(value.hedera_network);
222
+ if (mode === "hash_only" && network)
223
+ invalid("hash_only.hedera_network");
224
+ const parsedIdentity = identity(value.dataset_identity);
225
+ const receiptRules = jsonValue(value.rules, 0, { nodes: 0 });
226
+ record(receiptRules, "receipt.rules");
227
+ const rawEvidence = record(value.evidence, "receipt.evidence");
228
+ exactKeys(rawEvidence, ["dataset_fingerprint", "bundle_digest", "merkle_root", "idempotency_key", "file_count", "total_bytes"], "receipt.evidence");
229
+ const evidence = {
230
+ dataset_fingerprint: digest(rawEvidence.dataset_fingerprint, "evidence.dataset_fingerprint"),
231
+ bundle_digest: digest(rawEvidence.bundle_digest, "evidence.bundle_digest"),
232
+ merkle_root: digest(rawEvidence.merkle_root, "evidence.merkle_root"),
233
+ idempotency_key: digest(rawEvidence.idempotency_key, "evidence.idempotency_key"),
234
+ file_count: count(rawEvidence.file_count, "evidence.file_count"),
235
+ total_bytes: count(rawEvidence.total_bytes, "evidence.total_bytes"),
236
+ };
237
+ const output = {
238
+ v: "v1",
239
+ kind: "dataset_anchor_receipt",
240
+ receipt_id: receiptId,
241
+ mode,
242
+ ...(network ? { hedera_network: network } : {}),
243
+ dataset_identity: parsedIdentity,
244
+ rules: receiptRules,
245
+ evidence,
246
+ };
247
+ if (value.pointers !== undefined) {
248
+ const rawPointers = record(value.pointers, "receipt.pointers");
249
+ exactKeys(rawPointers, ["evidence_pointer"], "receipt.pointers");
250
+ const pointer = optionalString(rawPointers.evidence_pointer, "evidence_pointer", 2048);
251
+ output.pointers = pointer === undefined ? {} : { evidence_pointer: pointer };
252
+ }
253
+ if (value.core !== undefined && value.core !== null)
254
+ output.core = jsonValue(value.core, 0, { nodes: 0 });
255
+ return { body: output, dataset_identity: parsedIdentity, evidence, ...(network ? { hedera_network: network } : {}) };
256
+ }
257
+ function jsonDigest(domain, value) {
258
+ return hashHfV1({ material: "json", domain, value });
259
+ }
260
+ function idempotencyKey(datasetKey, fingerprint) {
261
+ return jsonDigest("va:dataset:idem:v1", {
262
+ dataset_key: datasetKey,
263
+ fingerprint,
264
+ sep: "\u0000",
265
+ combined: `${datasetKey}\u0000${fingerprint}`,
266
+ });
267
+ }
268
+ function mismatch(field, expected, actual) {
269
+ return Object.freeze({ field, expected, actual });
270
+ }
271
+ /** Verify Dataset v1 bundle commitments without filesystem or network access. */
272
+ export function verifyDatasetV1Bundle(input) {
273
+ const bundle = parseBundle(input);
274
+ const mismatches = [];
275
+ const leaves = [];
276
+ let totalBytes = 0;
277
+ for (const [index, file] of bundle.files.entries()) {
278
+ const recomputed = jsonDigest("va:dataset:leaf:v1", {
279
+ ...(file.path_rel ? { path_rel: file.path_rel } : {}),
280
+ ...(file.path_hash ? { path_hash: file.path_hash } : {}),
281
+ bytes: file.bytes,
282
+ sha3_512: file.sha3_512,
283
+ });
284
+ if (file.leaf_hash !== recomputed)
285
+ mismatches.push(mismatch(`files[${index}].leaf_hash`, recomputed, file.leaf_hash));
286
+ leaves.push(recomputed);
287
+ totalBytes += file.bytes;
288
+ if (!Number.isSafeInteger(totalBytes))
289
+ invalid("summary.total_bytes_overflow");
290
+ }
291
+ let level = leaves;
292
+ while (level.length > 1) {
293
+ const next = [];
294
+ for (let index = 0; index < level.length; index += 2) {
295
+ const left = level[index];
296
+ if (!left)
297
+ invalid("merkle.left");
298
+ const right = level[index + 1] ?? left;
299
+ next.push(hashHfV1({ material: "raw", domain: "va:dataset:node:v1", bytes: Buffer.from(left + right, "hex") }));
300
+ }
301
+ level = next;
302
+ }
303
+ const merkleRoot = level[0];
304
+ if (!merkleRoot)
305
+ invalid("merkle.empty");
306
+ const bundleDigest = jsonDigest("va:dataset:bundle:v1", bundle);
307
+ const fingerprint = jsonDigest("va:dataset:fingerprint:v1", bundle);
308
+ const idempotency = idempotencyKey(bundle.dataset_identity.dataset_key, fingerprint);
309
+ if (bundle.merkle.leaf_count !== bundle.files.length)
310
+ mismatches.push(mismatch("merkle.leaf_count", bundle.files.length, bundle.merkle.leaf_count));
311
+ if (bundle.merkle.root !== merkleRoot)
312
+ mismatches.push(mismatch("merkle.root", merkleRoot, bundle.merkle.root));
313
+ if (bundle.summary.file_count !== bundle.files.length)
314
+ mismatches.push(mismatch("summary.file_count", bundle.files.length, bundle.summary.file_count));
315
+ if (bundle.summary.total_bytes !== totalBytes)
316
+ mismatches.push(mismatch("summary.total_bytes", totalBytes, bundle.summary.total_bytes));
317
+ return Object.freeze({
318
+ ok: mismatches.length === 0,
319
+ mismatches: Object.freeze(mismatches),
320
+ computed: Object.freeze({
321
+ dataset_key: bundle.dataset_identity.dataset_key,
322
+ program: bundle.dataset_identity.program ?? null,
323
+ version_label: bundle.dataset_identity.version_label ?? null,
324
+ bundle_digest: bundleDigest,
325
+ dataset_fingerprint: fingerprint,
326
+ merkle_root: merkleRoot,
327
+ idempotency_key: idempotency,
328
+ file_count: bundle.files.length,
329
+ total_bytes: totalBytes,
330
+ }),
331
+ });
332
+ }
333
+ /** Verify receipt consistency; no claim of external anchoring or content availability. */
334
+ export function verifyDatasetV1Receipt(input) {
335
+ const parsed = parsedReceipt(input);
336
+ const { receipt_id: receiptId, ...body } = parsed.body;
337
+ const recalculatedReceiptId = jsonDigest("va:dataset:receipt:v1", body);
338
+ const recalculatedIdem = idempotencyKey(parsed.dataset_identity.dataset_key, parsed.evidence.dataset_fingerprint);
339
+ const mismatches = [];
340
+ if (receiptId !== recalculatedReceiptId)
341
+ mismatches.push(mismatch("receipt_id", recalculatedReceiptId, receiptId));
342
+ if (parsed.evidence.idempotency_key !== recalculatedIdem)
343
+ mismatches.push(mismatch("evidence.idempotency_key", recalculatedIdem, parsed.evidence.idempotency_key));
344
+ return Object.freeze({
345
+ ok: mismatches.length === 0,
346
+ mismatches: Object.freeze(mismatches),
347
+ computed: Object.freeze({
348
+ dataset_key: parsed.dataset_identity.dataset_key,
349
+ program: parsed.dataset_identity.program ?? null,
350
+ version_label: parsed.dataset_identity.version_label ?? null,
351
+ receipt_id: recalculatedReceiptId,
352
+ hedera_network: parsed.hedera_network ?? null,
353
+ idempotency_key: recalculatedIdem,
354
+ dataset_fingerprint: parsed.evidence.dataset_fingerprint,
355
+ bundle_digest: parsed.evidence.bundle_digest,
356
+ merkle_root: parsed.evidence.merkle_root,
357
+ file_count: parsed.evidence.file_count,
358
+ total_bytes: parsed.evidence.total_bytes,
359
+ }),
360
+ });
361
+ }
362
+ //# sourceMappingURL=v1.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"v1.js","sourceRoot":"","sources":["../../../src/profiles/dataset/v1.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,4BAA4B,CAAC;AAEtD,MAAM,GAAG,GAAG,iBAAiB,CAAC;AAC9B,MAAM,WAAW,GAAG,qCAAqC,CAAC;AAC1D,MAAM,OAAO,GAAG,0BAA0B,CAAC;AAC3C,MAAM,SAAS,GAAG,KAAK,CAAC;AACxB,MAAM,cAAc,GAAG,EAAE,CAAC;AAC1B,MAAM,kBAAkB,GAAG,MAAM,CAAC;AA0ElC,MAAM,aAAa,GAAmC,MAAM,CAAC,MAAM,CAAC;IAClE,WAAW,EAAE,gBAAgB;IAC7B,KAAK,EAAE,aAAa;IACpB,cAAc,EAAE,sBAAsB;IACtC,SAAS,EAAE,UAAU;IACrB,QAAQ,EAAE,WAAW;CACtB,CAAC,CAAC;AAEH,SAAS,OAAO,CAAC,KAAa;IAC5B,MAAM,IAAI,SAAS,CAAC,gCAAgC,KAAK,EAAE,CAAC,CAAC;AAC/D,CAAC;AAED,SAAS,MAAM,CAAC,KAAc,EAAE,KAAa;IAC3C,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC;IACvF,MAAM,SAAS,GAAY,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;IACxD,IAAI,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI;QAAE,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC;IAChF,OAAO,KAAmB,CAAC;AAC7B,CAAC;AAED,SAAS,SAAS,CAAC,KAAiB,EAAE,OAA0B,EAAE,KAAa;IAC7E,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,OAAO,CAAC,GAAG,KAAK,IAAI,GAAG,EAAE,CAAC,CAAC;IACzD,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,KAAc,EAAE,KAAa,EAAE,GAAW;IAChE,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC;IACrD,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IAC1B,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,GAAG,GAAG;QAAE,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC;IACtD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,cAAc,CAAC,KAAc,EAAE,KAAa,EAAE,GAAW;IAChE,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5D,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC;IACrD,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;IAC1B,IAAI,IAAI,CAAC,MAAM,GAAG,GAAG;QAAE,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7C,OAAO,IAAI,IAAI,SAAS,CAAC;AAC3B,CAAC;AAED,SAAS,MAAM,CAAC,KAAc,EAAE,KAAa;IAC3C,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;IAC7D,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC;IAC3C,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,KAAK,CAAC,KAAc,EAAE,KAAa;IAC1C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC;QAAE,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC;IAClG,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,IAAI,CAAC,KAAc,EAAE,KAAa;IACzC,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC7C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACpF,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC;IACtF,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC;AACxB,CAAC;AAED,SAAS,OAAO,CAAmB,KAAc,EAAE,QAAW,EAAE,KAAa;IAC3E,IAAI,cAAc,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,QAAQ;QAAE,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC;IAC1E,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,kBAAkB,CAAC,CAAC;IAChD,SAAS,CAAC,KAAK,EAAE,CAAC,aAAa,EAAE,eAAe,EAAE,SAAS,CAAC,EAAE,kBAAkB,CAAC,CAAC;IAClF,MAAM,WAAW,GAAG,cAAc,CAAC,KAAK,CAAC,WAAW,EAAE,aAAa,EAAE,GAAG,CAAC,CAAC;IAC1E,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC;QAAE,OAAO,CAAC,aAAa,CAAC,CAAC;IAC3D,MAAM,aAAa,GAAG,cAAc,CAAC,KAAK,CAAC,aAAa,EAAE,eAAe,EAAE,EAAE,CAAC,CAAC;IAC/E,MAAM,OAAO,GAAG,cAAc,CAAC,KAAK,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;IAC7D,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,CAAC,SAAS,CAAC,CAAC;IACxE,OAAO;QACL,WAAW;QACX,GAAG,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzD,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC9C,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,KAAc,EAAE,KAAa,EAAE,GAAW,EAAE,SAAS,GAAG,KAAK;IAChF,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC1C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,GAAG;QAAE,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC;IACvE,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC;QACpD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,IAAI,IAAI,CAAC,MAAM,GAAG,GAAG;YAAE,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC;QAC7C,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,KAAK,CAAC,KAAc;IAC3B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACrC,SAAS,CAAC,KAAK,EAAE,CAAC,oBAAoB,EAAE,iBAAiB,EAAE,cAAc,EAAE,UAAU,EAAE,aAAa,EAAE,eAAe,EAAE,eAAe,EAAE,kBAAkB,CAAC,EAAE,OAAO,CAAC,CAAC;IACtK,MAAM,aAAa,GAAG,WAAW,CAAC,KAAK,CAAC,aAAa,EAAE,eAAe,EAAE,GAAG,CAAC,CAAC;IAC7E,MAAM,aAAa,GAAG,WAAW,CAAC,KAAK,CAAC,aAAa,EAAE,eAAe,EAAE,GAAG,CAAC,CAAC;IAC7E,MAAM,gBAAgB,GAAG,WAAW,CAAC,KAAK,CAAC,gBAAgB,EAAE,kBAAkB,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;IAC3F,OAAO;QACL,kBAAkB,EAAE,OAAO,CAAC,KAAK,CAAC,kBAAkB,EAAE,qBAAqB,EAAE,oBAAoB,CAAC;QAClG,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC,eAAe,EAAE,iBAAiB,CAAC;QAC/D,YAAY,EAAE,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,cAAc,CAAC;QACtD,QAAQ,EAAE,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,oBAAoB,EAAE,UAAU,CAAC;QACnE,WAAW,EAAE,OAAO,CAAC,KAAK,CAAC,WAAW,EAAE,iBAAiB,EAAE,aAAa,CAAC;QACzE,GAAG,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzD,GAAG,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzD,GAAG,CAAC,gBAAgB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAChE,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,KAAc,EAAE,MAAe;IAChD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACpC,SAAS,CAAC,KAAK,EAAE,CAAC,UAAU,EAAE,WAAW,EAAE,OAAO,EAAE,UAAU,EAAE,WAAW,CAAC,EAAE,MAAM,CAAC,CAAC;IACtF,MAAM,QAAQ,GAAG,cAAc,CAAC,KAAK,CAAC,QAAQ,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;IAClE,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IACnG,IAAI,OAAO,CAAC,QAAQ,CAAC,KAAK,OAAO,CAAC,SAAS,CAAC;QAAE,OAAO,CAAC,mBAAmB,CAAC,CAAC;IAC3E,IAAI,MAAM,KAAK,OAAO,CAAC,SAAS,CAAC;QAAE,OAAO,CAAC,mBAAmB,CAAC,CAAC;IAChE,OAAO;QACL,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACjC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,YAAY,CAAC;QACvC,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,eAAe,CAAC;QACjD,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,gBAAgB,CAAC;KACrD,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,KAAc;IACjC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACtC,SAAS,CAAC,KAAK,EAAE,CAAC,gBAAgB,EAAE,eAAe,EAAE,kBAAkB,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,CAAC,EAAE,QAAQ,CAAC,CAAC;IAC3H,OAAO,CAAC,KAAK,CAAC,cAAc,EAAE,IAAI,EAAE,gBAAgB,CAAC,CAAC;IACtD,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,aAAa,EAAE,eAAe,CAAC,CAAC;IAC9D,SAAS,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,eAAe,CAAC,CAAC;IACjE,KAAK,MAAM,CAAC,GAAG,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC;QAC5D,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,QAAQ;YAAE,OAAO,CAAC,iBAAiB,GAAG,EAAE,CAAC,CAAC;IAClE,CAAC;IACD,MAAM,cAAc,GAAG,QAAQ,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;IACxD,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACvC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,SAAS;QAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IAChH,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,WAAW,CAAC,YAAY,CAAC,CAAC,CAAC;IACnF,yFAAyF;IACzF,IAAI,CAAC,WAAW,CAAC,YAAY,EAAE,CAAC;QAC9B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;YAClD,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,QAAQ,IAAI,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,QAAQ,IAAI,EAAE,CAAC;gBAAE,OAAO,CAAC,kBAAkB,CAAC,CAAC;QACxG,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC9C,SAAS,CAAC,MAAM,EAAE,CAAC,YAAY,EAAE,MAAM,CAAC,EAAE,QAAQ,CAAC,CAAC;IACpD,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IACjD,SAAS,CAAC,OAAO,EAAE,CAAC,YAAY,EAAE,aAAa,CAAC,EAAE,SAAS,CAAC,CAAC;IAC7D,OAAO;QACL,cAAc,EAAE,IAAI;QACpB,aAAa,EAAE,aAAa;QAC5B,gBAAgB,EAAE,cAAc;QAChC,KAAK,EAAE,WAAW;QAClB,KAAK;QACL,MAAM,EAAE,EAAE,UAAU,EAAE,KAAK,CAAC,MAAM,CAAC,UAAU,EAAE,mBAAmB,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC,EAAE;QAC/G,OAAO,EAAE,EAAE,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,UAAU,EAAE,oBAAoB,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE,qBAAqB,CAAC,EAAE;KACzI,CAAC;AACJ,CAAC;AAED,0FAA0F;AAC1F,SAAS,SAAS,CAAC,KAAc,EAAE,KAAa,EAAE,MAAyB;IACzE,MAAM,CAAC,KAAK,IAAI,CAAC,CAAC;IAClB,IAAI,MAAM,CAAC,KAAK,GAAG,kBAAkB,IAAI,KAAK,GAAG,cAAc;QAAE,OAAO,CAAC,wBAAwB,CAAC,CAAC;IACnG,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC5F,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACtE,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,IAAI,KAAK,CAAC,MAAM,GAAG,GAAG;YAAE,OAAO,CAAC,wBAAwB,CAAC,CAAC;QAC1D,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;IACjE,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,EAAE,kBAAkB,CAAC,CAAC;IACjD,MAAM,MAAM,GAAe,MAAM,CAAC,MAAM,CAAC,IAAI,CAAe,CAAC;IAC7D,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QACtC,IAAI,GAAG,KAAK,WAAW,IAAI,GAAG,KAAK,WAAW,IAAI,GAAG,KAAK,aAAa;YAAE,OAAO,CAAC,sBAAsB,CAAC,CAAC;QACzG,MAAM,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;IAC1D,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,eAAe,CAAC,KAAc;IACrC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,EAAE;QAAE,OAAO,SAAS,CAAC;IAC5E,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAChE,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAC3C,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAC9E,OAAO,OAAgC,CAAC;AAC1C,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IAMnC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACvC,SAAS,CAAC,KAAK,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC,EAAE,SAAS,CAAC,CAAC;IAChJ,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IAC5B,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,wBAAwB,EAAE,MAAM,CAAC,CAAC;IACtD,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;IACzD,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;IACxB,IAAI,IAAI,KAAK,WAAW,IAAI,IAAI,KAAK,qBAAqB;QAAE,OAAO,CAAC,MAAM,CAAC,CAAC;IAC5E,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;IACtD,IAAI,IAAI,KAAK,WAAW,IAAI,OAAO;QAAE,OAAO,CAAC,0BAA0B,CAAC,CAAC;IACzE,MAAM,cAAc,GAAG,QAAQ,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;IACxD,MAAM,YAAY,GAAG,SAAS,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAC7D,MAAM,CAAC,YAAY,EAAE,eAAe,CAAC,CAAC;IACtC,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,kBAAkB,CAAC,CAAC;IAC/D,SAAS,CAAC,WAAW,EAAE,CAAC,qBAAqB,EAAE,eAAe,EAAE,aAAa,EAAE,iBAAiB,EAAE,YAAY,EAAE,aAAa,CAAC,EAAE,kBAAkB,CAAC,CAAC;IACpJ,MAAM,QAAQ,GAAG;QACf,mBAAmB,EAAE,MAAM,CAAC,WAAW,CAAC,mBAAmB,EAAE,8BAA8B,CAAC;QAC5F,aAAa,EAAE,MAAM,CAAC,WAAW,CAAC,aAAa,EAAE,wBAAwB,CAAC;QAC1E,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,WAAW,EAAE,sBAAsB,CAAC;QACpE,eAAe,EAAE,MAAM,CAAC,WAAW,CAAC,eAAe,EAAE,0BAA0B,CAAC;QAChF,UAAU,EAAE,KAAK,CAAC,WAAW,CAAC,UAAU,EAAE,qBAAqB,CAAC;QAChE,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,WAAW,EAAE,sBAAsB,CAAC;KACpE,CAAC;IACF,MAAM,MAAM,GAAe;QACzB,CAAC,EAAE,IAAI;QACP,IAAI,EAAE,wBAAwB;QAC9B,UAAU,EAAE,SAAS;QACrB,IAAI;QACJ,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/C,gBAAgB,EAAE,cAAc;QAChC,KAAK,EAAE,YAAY;QACnB,QAAQ;KACT,CAAC;IACF,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACjC,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,kBAAkB,CAAC,CAAC;QAC/D,SAAS,CAAC,WAAW,EAAE,CAAC,kBAAkB,CAAC,EAAE,kBAAkB,CAAC,CAAC;QACjE,MAAM,OAAO,GAAG,cAAc,CAAC,WAAW,CAAC,gBAAgB,EAAE,kBAAkB,EAAE,IAAI,CAAC,CAAC;QACvF,MAAM,CAAC,QAAQ,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,OAAO,EAAE,CAAC;IAC/E,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI;QAAE,MAAM,CAAC,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAC1G,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,gBAAgB,EAAE,cAAc,EAAE,QAAQ,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;AACvH,CAAC;AAED,SAAS,UAAU,CAAC,MAAc,EAAE,KAAc;IAChD,OAAO,QAAQ,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;AACvD,CAAC;AAED,SAAS,cAAc,CAAC,UAAkB,EAAE,WAAmB;IAC7D,OAAO,UAAU,CAAC,oBAAoB,EAAE;QACtC,WAAW,EAAE,UAAU;QACvB,WAAW;QACX,GAAG,EAAE,QAAQ;QACb,QAAQ,EAAE,GAAG,UAAU,SAAS,WAAW,EAAE;KAC9C,CAAC,CAAC;AACL,CAAC;AAED,SAAS,QAAQ,CAAC,KAAa,EAAE,QAAiB,EAAE,MAAe;IACjE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;AACpD,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,qBAAqB,CAAC,KAAc;IAClD,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IAClC,MAAM,UAAU,GAAwB,EAAE,CAAC;IAC3C,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QACnD,MAAM,UAAU,GAAG,UAAU,CAAC,oBAAoB,EAAE;YAClD,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACrD,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACxD,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,QAAQ,EAAE,IAAI,CAAC,QAAQ;SACxB,CAAC,CAAC;QACH,IAAI,IAAI,CAAC,SAAS,KAAK,UAAU;YAAE,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,KAAK,aAAa,EAAE,UAAU,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;QACtH,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACxB,UAAU,IAAI,IAAI,CAAC,KAAK,CAAC;QACzB,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,UAAU,CAAC;YAAE,OAAO,CAAC,8BAA8B,CAAC,CAAC;IACjF,CAAC;IACD,IAAI,KAAK,GAAG,MAAM,CAAC;IACnB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;YACrD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YAC1B,IAAI,CAAC,IAAI;gBAAE,OAAO,CAAC,aAAa,CAAC,CAAC;YAClC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC;YACvC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,oBAAoB,EAAE,KAAK,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,GAAG,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;QAClH,CAAC;QACD,KAAK,GAAG,IAAI,CAAC;IACf,CAAC;IACD,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IAC5B,IAAI,CAAC,UAAU;QAAE,OAAO,CAAC,cAAc,CAAC,CAAC;IACzC,MAAM,YAAY,GAAG,UAAU,CAAC,sBAAsB,EAAE,MAAM,CAAC,CAAC;IAChE,MAAM,WAAW,GAAG,UAAU,CAAC,2BAA2B,EAAE,MAAM,CAAC,CAAC;IACpE,MAAM,WAAW,GAAG,cAAc,CAAC,MAAM,CAAC,gBAAgB,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;IACrF,IAAI,MAAM,CAAC,MAAM,CAAC,UAAU,KAAK,MAAM,CAAC,KAAK,CAAC,MAAM;QAAE,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;IACpJ,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU;QAAE,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,aAAa,EAAE,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAChH,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,KAAK,MAAM,CAAC,KAAK,CAAC,MAAM;QAAE,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;IACvJ,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,KAAK,UAAU;QAAE,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,qBAAqB,EAAE,UAAU,EAAE,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC;IACxI,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,EAAE,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC;QAC3B,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC;QACrC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC;YACtB,WAAW,EAAE,MAAM,CAAC,gBAAgB,CAAC,WAAW;YAChD,OAAO,EAAE,MAAM,CAAC,gBAAgB,CAAC,OAAO,IAAI,IAAI;YAChD,aAAa,EAAE,MAAM,CAAC,gBAAgB,CAAC,aAAa,IAAI,IAAI;YAC5D,aAAa,EAAE,YAAY;YAC3B,mBAAmB,EAAE,WAAW;YAChC,WAAW,EAAE,UAAU;YACvB,eAAe,EAAE,WAAW;YAC5B,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM;YAC/B,WAAW,EAAE,UAAU;SACxB,CAAC;KACH,CAAC,CAAC;AACL,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,sBAAsB,CAAC,KAAc;IACnD,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACpC,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,IAAI,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC;IACvD,MAAM,qBAAqB,GAAG,UAAU,CAAC,uBAAuB,EAAE,IAAI,CAAC,CAAC;IACxE,MAAM,gBAAgB,GAAG,cAAc,CAAC,MAAM,CAAC,gBAAgB,CAAC,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC;IAClH,MAAM,UAAU,GAAwB,EAAE,CAAC;IAC3C,IAAI,SAAS,KAAK,qBAAqB;QAAE,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,EAAE,qBAAqB,EAAE,SAAS,CAAC,CAAC,CAAC;IACnH,IAAI,MAAM,CAAC,QAAQ,CAAC,eAAe,KAAK,gBAAgB;QAAE,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,0BAA0B,EAAE,gBAAgB,EAAE,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC;IACnK,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,EAAE,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC;QAC3B,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC;QACrC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC;YACtB,WAAW,EAAE,MAAM,CAAC,gBAAgB,CAAC,WAAW;YAChD,OAAO,EAAE,MAAM,CAAC,gBAAgB,CAAC,OAAO,IAAI,IAAI;YAChD,aAAa,EAAE,MAAM,CAAC,gBAAgB,CAAC,aAAa,IAAI,IAAI;YAC5D,UAAU,EAAE,qBAAqB;YACjC,cAAc,EAAE,MAAM,CAAC,cAAc,IAAI,IAAI;YAC7C,eAAe,EAAE,gBAAgB;YACjC,mBAAmB,EAAE,MAAM,CAAC,QAAQ,CAAC,mBAAmB;YACxD,aAAa,EAAE,MAAM,CAAC,QAAQ,CAAC,aAAa;YAC5C,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,WAAW;YACxC,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU;YACtC,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,WAAW;SACzC,CAAC;KACH,CAAC,CAAC;AACL,CAAC"}