@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.
- package/CHANGELOG.md +22 -0
- package/CONTRIBUTING.md +33 -0
- package/LICENSE +21 -0
- package/NOTICE +4 -0
- package/README.md +263 -2
- package/SECURITY.md +21 -0
- package/dist/cli/commandV1.d.ts +5 -0
- package/dist/cli/commandV1.d.ts.map +1 -0
- package/dist/cli/commandV1.js +440 -0
- package/dist/cli/commandV1.js.map +1 -0
- package/dist/cli.d.ts +3 -0
- package/dist/cli.d.ts.map +1 -0
- package/dist/cli.js +5 -0
- package/dist/cli.js.map +1 -0
- package/dist/contracts/verification.d.ts +77 -0
- package/dist/contracts/verification.d.ts.map +1 -0
- package/dist/contracts/verification.js +6 -0
- package/dist/contracts/verification.js.map +1 -0
- package/dist/crypto/sha3.d.ts +15 -0
- package/dist/crypto/sha3.d.ts.map +1 -0
- package/dist/crypto/sha3.js +27 -0
- package/dist/crypto/sha3.js.map +1 -0
- package/dist/crypto/streamSha3.d.ts +26 -0
- package/dist/crypto/streamSha3.d.ts.map +1 -0
- package/dist/crypto/streamSha3.js +52 -0
- package/dist/crypto/streamSha3.js.map +1 -0
- package/dist/hf/hashContractV1.d.ts +48 -0
- package/dist/hf/hashContractV1.d.ts.map +1 -0
- package/dist/hf/hashContractV1.js +185 -0
- package/dist/hf/hashContractV1.js.map +1 -0
- package/dist/index.d.ts +80 -0
- package/dist/index.d.ts.map +1 -0
- package/dist/index.js +57 -0
- package/dist/index.js.map +1 -0
- package/dist/merkle/membership.d.ts +30 -0
- package/dist/merkle/membership.d.ts.map +1 -0
- package/dist/merkle/membership.js +105 -0
- package/dist/merkle/membership.js.map +1 -0
- package/dist/policy/contractV1.d.ts +37 -0
- package/dist/policy/contractV1.d.ts.map +1 -0
- package/dist/policy/contractV1.js +2 -0
- package/dist/policy/contractV1.js.map +1 -0
- package/dist/policy/evaluateV1.d.ts +24 -0
- package/dist/policy/evaluateV1.d.ts.map +1 -0
- package/dist/policy/evaluateV1.js +320 -0
- package/dist/policy/evaluateV1.js.map +1 -0
- package/dist/profiles/dataset/sourceV1.d.ts +22 -0
- package/dist/profiles/dataset/sourceV1.d.ts.map +1 -0
- package/dist/profiles/dataset/sourceV1.js +73 -0
- package/dist/profiles/dataset/sourceV1.js.map +1 -0
- package/dist/profiles/dataset/v1.d.ts +39 -0
- package/dist/profiles/dataset/v1.d.ts.map +1 -0
- package/dist/profiles/dataset/v1.js +362 -0
- package/dist/profiles/dataset/v1.js.map +1 -0
- package/dist/profiles/execution/contractV1.d.ts +279 -0
- package/dist/profiles/execution/contractV1.d.ts.map +1 -0
- package/dist/profiles/execution/contractV1.js +364 -0
- package/dist/profiles/execution/contractV1.js.map +1 -0
- package/dist/profiles/execution/independentStandardsV1.d.ts +44 -0
- package/dist/profiles/execution/independentStandardsV1.d.ts.map +1 -0
- package/dist/profiles/execution/independentStandardsV1.js +336 -0
- package/dist/profiles/execution/independentStandardsV1.js.map +1 -0
- package/dist/profiles/execution/reasonCodesV1.d.ts +30 -0
- package/dist/profiles/execution/reasonCodesV1.d.ts.map +1 -0
- package/dist/profiles/execution/reasonCodesV1.js +20 -0
- package/dist/profiles/execution/reasonCodesV1.js.map +1 -0
- package/dist/profiles/execution/recomputationV1.d.ts +11 -0
- package/dist/profiles/execution/recomputationV1.d.ts.map +1 -0
- package/dist/profiles/execution/recomputationV1.js +144 -0
- package/dist/profiles/execution/recomputationV1.js.map +1 -0
- package/dist/profiles/execution/rulesV1.d.ts +6 -0
- package/dist/profiles/execution/rulesV1.d.ts.map +1 -0
- package/dist/profiles/execution/rulesV1.js +855 -0
- package/dist/profiles/execution/rulesV1.js.map +1 -0
- package/dist/profiles/execution/standardsPlanV1.d.ts +18 -0
- package/dist/profiles/execution/standardsPlanV1.d.ts.map +1 -0
- package/dist/profiles/execution/standardsPlanV1.js +16 -0
- package/dist/profiles/execution/standardsPlanV1.js.map +1 -0
- package/dist/profiles/execution/verificationV1.d.ts +28 -0
- package/dist/profiles/execution/verificationV1.d.ts.map +1 -0
- package/dist/profiles/execution/verificationV1.js +188 -0
- package/dist/profiles/execution/verificationV1.js.map +1 -0
- package/dist/profiles/ingest/sourceV1.d.ts +36 -0
- package/dist/profiles/ingest/sourceV1.d.ts.map +1 -0
- package/dist/profiles/ingest/sourceV1.js +99 -0
- package/dist/profiles/ingest/sourceV1.js.map +1 -0
- package/dist/profiles/ingest/v1.d.ts +65 -0
- package/dist/profiles/ingest/v1.d.ts.map +1 -0
- package/dist/profiles/ingest/v1.js +477 -0
- package/dist/profiles/ingest/v1.js.map +1 -0
- package/dist/profiles/sourceV1Helpers.d.ts +48 -0
- package/dist/profiles/sourceV1Helpers.d.ts.map +1 -0
- package/dist/profiles/sourceV1Helpers.js +141 -0
- package/dist/profiles/sourceV1Helpers.js.map +1 -0
- package/dist/reports/coreV1.d.ts +7 -0
- package/dist/reports/coreV1.d.ts.map +1 -0
- package/dist/reports/coreV1.js +195 -0
- package/dist/reports/coreV1.js.map +1 -0
- package/dist/reports/portableV1.d.ts +48 -0
- package/dist/reports/portableV1.d.ts.map +1 -0
- package/dist/reports/portableV1.js +279 -0
- package/dist/reports/portableV1.js.map +1 -0
- package/dist/reports/validationV1.d.ts +19 -0
- package/dist/reports/validationV1.d.ts.map +1 -0
- package/dist/reports/validationV1.js +441 -0
- package/dist/reports/validationV1.js.map +1 -0
- package/dist/resolvers/executionMirrorV1.d.ts +15 -0
- package/dist/resolvers/executionMirrorV1.d.ts.map +1 -0
- package/dist/resolvers/executionMirrorV1.js +206 -0
- package/dist/resolvers/executionMirrorV1.js.map +1 -0
- package/dist/resolvers/explorerExecutionV1.d.ts +17 -0
- package/dist/resolvers/explorerExecutionV1.d.ts.map +1 -0
- package/dist/resolvers/explorerExecutionV1.js +61 -0
- package/dist/resolvers/explorerExecutionV1.js.map +1 -0
- package/dist/resolvers/explorerPublicV1.d.ts +37 -0
- package/dist/resolvers/explorerPublicV1.d.ts.map +1 -0
- package/dist/resolvers/explorerPublicV1.js +210 -0
- package/dist/resolvers/explorerPublicV1.js.map +1 -0
- package/dist/resolvers/explorerPublicationV1.d.ts +20 -0
- package/dist/resolvers/explorerPublicationV1.d.ts.map +1 -0
- package/dist/resolvers/explorerPublicationV1.js +195 -0
- package/dist/resolvers/explorerPublicationV1.js.map +1 -0
- package/dist/resolvers/explorerTransportV1.d.ts +17 -0
- package/dist/resolvers/explorerTransportV1.d.ts.map +1 -0
- package/dist/resolvers/explorerTransportV1.js +112 -0
- package/dist/resolvers/explorerTransportV1.js.map +1 -0
- package/dist/resolvers/hcs11MirrorV1.d.ts +49 -0
- package/dist/resolvers/hcs11MirrorV1.d.ts.map +1 -0
- package/dist/resolvers/hcs11MirrorV1.js +293 -0
- package/dist/resolvers/hcs11MirrorV1.js.map +1 -0
- package/dist/resolvers/hcs13MirrorV1.d.ts +35 -0
- package/dist/resolvers/hcs13MirrorV1.d.ts.map +1 -0
- package/dist/resolvers/hcs13MirrorV1.js +72 -0
- package/dist/resolvers/hcs13MirrorV1.js.map +1 -0
- package/dist/resolvers/hcs1MirrorV1.d.ts +28 -0
- package/dist/resolvers/hcs1MirrorV1.d.ts.map +1 -0
- package/dist/resolvers/hcs1MirrorV1.js +220 -0
- package/dist/resolvers/hcs1MirrorV1.js.map +1 -0
- package/dist/resolvers/hcs26MirrorV1.d.ts +67 -0
- package/dist/resolvers/hcs26MirrorV1.d.ts.map +1 -0
- package/dist/resolvers/hcs26MirrorV1.js +218 -0
- package/dist/resolvers/hcs26MirrorV1.js.map +1 -0
- package/dist/resolvers/hcs26RegistryMirrorV1.d.ts +26 -0
- package/dist/resolvers/hcs26RegistryMirrorV1.d.ts.map +1 -0
- package/dist/resolvers/hcs26RegistryMirrorV1.js +200 -0
- package/dist/resolvers/hcs26RegistryMirrorV1.js.map +1 -0
- package/dist/resolvers/hcs2MirrorV1.d.ts +26 -0
- package/dist/resolvers/hcs2MirrorV1.d.ts.map +1 -0
- package/dist/resolvers/hcs2MirrorV1.js +196 -0
- package/dist/resolvers/hcs2MirrorV1.js.map +1 -0
- package/dist/resolvers/hederaMirrorV1.d.ts +22 -0
- package/dist/resolvers/hederaMirrorV1.d.ts.map +1 -0
- package/dist/resolvers/hederaMirrorV1.js +338 -0
- package/dist/resolvers/hederaMirrorV1.js.map +1 -0
- package/dist/standards/hcs/hcs11V1.d.ts +51 -0
- package/dist/standards/hcs/hcs11V1.d.ts.map +1 -0
- package/dist/standards/hcs/hcs11V1.js +289 -0
- package/dist/standards/hcs/hcs11V1.js.map +1 -0
- package/dist/standards/hcs/hcs13V1.d.ts +39 -0
- package/dist/standards/hcs/hcs13V1.d.ts.map +1 -0
- package/dist/standards/hcs/hcs13V1.js +114 -0
- package/dist/standards/hcs/hcs13V1.js.map +1 -0
- package/dist/standards/hcs/hcs14V1.d.ts +35 -0
- package/dist/standards/hcs/hcs14V1.d.ts.map +1 -0
- package/dist/standards/hcs/hcs14V1.js +168 -0
- package/dist/standards/hcs/hcs14V1.js.map +1 -0
- package/dist/standards/hcs/hcs1V1.d.ts +30 -0
- package/dist/standards/hcs/hcs1V1.d.ts.map +1 -0
- package/dist/standards/hcs/hcs1V1.js +140 -0
- package/dist/standards/hcs/hcs1V1.js.map +1 -0
- package/dist/standards/hcs/hcs26V1.d.ts +58 -0
- package/dist/standards/hcs/hcs26V1.d.ts.map +1 -0
- package/dist/standards/hcs/hcs26V1.js +339 -0
- package/dist/standards/hcs/hcs26V1.js.map +1 -0
- package/dist/standards/hcs/hcs2V1.d.ts +36 -0
- package/dist/standards/hcs/hcs2V1.d.ts.map +1 -0
- package/dist/standards/hcs/hcs2V1.js +181 -0
- package/dist/standards/hcs/hcs2V1.js.map +1 -0
- package/dist/standards/hcs/jsonCanonicalV1.d.ts +15 -0
- package/dist/standards/hcs/jsonCanonicalV1.d.ts.map +1 -0
- package/dist/standards/hcs/jsonCanonicalV1.js +160 -0
- package/dist/standards/hcs/jsonCanonicalV1.js.map +1 -0
- package/dist/triangulation/compareV1.d.ts +50 -0
- package/dist/triangulation/compareV1.d.ts.map +1 -0
- package/dist/triangulation/compareV1.js +236 -0
- package/dist/triangulation/compareV1.js.map +1 -0
- package/dist/triangulation/executionPlanV1.d.ts +39 -0
- package/dist/triangulation/executionPlanV1.d.ts.map +1 -0
- package/dist/triangulation/executionPlanV1.js +208 -0
- package/dist/triangulation/executionPlanV1.js.map +1 -0
- package/dist/triangulation/executionPublicV1.d.ts +22 -0
- package/dist/triangulation/executionPublicV1.d.ts.map +1 -0
- package/dist/triangulation/executionPublicV1.js +39 -0
- package/dist/triangulation/executionPublicV1.js.map +1 -0
- package/dist/triangulation/messageObservationV1.d.ts +26 -0
- package/dist/triangulation/messageObservationV1.d.ts.map +1 -0
- package/dist/triangulation/messageObservationV1.js +69 -0
- package/dist/triangulation/messageObservationV1.js.map +1 -0
- package/dist/triangulation/publicV1.d.ts +29 -0
- package/dist/triangulation/publicV1.d.ts.map +1 -0
- package/dist/triangulation/publicV1.js +170 -0
- package/dist/triangulation/publicV1.js.map +1 -0
- package/dist/verification/sourceIntentV1.d.ts +15 -0
- package/dist/verification/sourceIntentV1.d.ts.map +1 -0
- package/dist/verification/sourceIntentV1.js +206 -0
- package/dist/verification/sourceIntentV1.js.map +1 -0
- package/docs/cli-v0.1.md +237 -0
- package/docs/conformance.md +38 -0
- package/docs/threat-model.md +37 -0
- package/docs/verification-semantics.md +65 -0
- package/examples/README.md +35 -0
- package/examples/dataset-offline.mjs +58 -0
- package/examples/dataset-policy.mjs +59 -0
- 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"}
|