@primust/artifact-core 1.0.0 → 1.2.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/LICENSE +93 -0
- package/dist/canonical.d.ts +11 -0
- package/dist/canonical.d.ts.map +1 -1
- package/dist/canonical.js +92 -0
- package/dist/canonical.js.map +1 -1
- package/dist/commitment.d.ts +29 -8
- package/dist/commitment.d.ts.map +1 -1
- package/dist/commitment.js +45 -17
- package/dist/commitment.js.map +1 -1
- package/dist/commitment.test.js +14 -3
- package/dist/commitment.test.js.map +1 -1
- package/dist/index.d.ts +8 -1
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +4 -1
- package/dist/index.js.map +1 -1
- package/dist/metadata_source.d.ts +4 -0
- package/dist/metadata_source.d.ts.map +1 -0
- package/dist/metadata_source.js +54 -0
- package/dist/metadata_source.js.map +1 -0
- package/dist/metadata_source.test.d.ts +2 -0
- package/dist/metadata_source.test.d.ts.map +1 -0
- package/dist/metadata_source.test.js +29 -0
- package/dist/metadata_source.test.js.map +1 -0
- package/dist/reversibility_taxonomy.d.ts +23 -0
- package/dist/reversibility_taxonomy.d.ts.map +1 -0
- package/dist/reversibility_taxonomy.js +208 -0
- package/dist/reversibility_taxonomy.js.map +1 -0
- package/dist/reversibility_taxonomy.test.d.ts +2 -0
- package/dist/reversibility_taxonomy.test.d.ts.map +1 -0
- package/dist/reversibility_taxonomy.test.js +146 -0
- package/dist/reversibility_taxonomy.test.js.map +1 -0
- package/dist/signing.d.ts.map +1 -1
- package/dist/signing.js +30 -6
- package/dist/signing.js.map +1 -1
- package/dist/trust_edge_mapping.d.ts +12 -0
- package/dist/trust_edge_mapping.d.ts.map +1 -0
- package/dist/trust_edge_mapping.js +88 -0
- package/dist/trust_edge_mapping.js.map +1 -0
- package/dist/trust_edge_mapping.test.d.ts +2 -0
- package/dist/trust_edge_mapping.test.d.ts.map +1 -0
- package/dist/trust_edge_mapping.test.js +86 -0
- package/dist/trust_edge_mapping.test.js.map +1 -0
- package/dist/types/artifact.d.ts +65 -4
- package/dist/types/artifact.d.ts.map +1 -1
- package/dist/types/proof_artifact.d.ts +52 -0
- package/dist/types/proof_artifact.d.ts.map +1 -0
- package/dist/types/proof_artifact.js +12 -0
- package/dist/types/proof_artifact.js.map +1 -0
- package/dist/validate-artifact.d.ts.map +1 -1
- package/dist/validate-artifact.js +88 -10
- package/dist/validate-artifact.js.map +1 -1
- package/dist/validate-artifact.test.js +16 -2
- package/dist/validate-artifact.test.js.map +1 -1
- package/package.json +13 -7
package/LICENSE
ADDED
|
@@ -0,0 +1,93 @@
|
|
|
1
|
+
Apache License
|
|
2
|
+
Version 2.0, January 2004
|
|
3
|
+
http://www.apache.org/licenses/
|
|
4
|
+
|
|
5
|
+
TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
|
|
6
|
+
|
|
7
|
+
1. Definitions.
|
|
8
|
+
|
|
9
|
+
"License" shall mean the terms and conditions for use, reproduction,
|
|
10
|
+
and distribution as defined by Sections 1 through 9 of this document.
|
|
11
|
+
|
|
12
|
+
"Licensor" shall mean the copyright owner or entity authorized by
|
|
13
|
+
the copyright owner that is granting the License.
|
|
14
|
+
|
|
15
|
+
"Legal Entity" shall mean the union of the acting entity and all
|
|
16
|
+
other entities that control, are controlled by, or are under common
|
|
17
|
+
control with that entity.
|
|
18
|
+
|
|
19
|
+
"You" (or "Your") shall mean an individual or Legal Entity
|
|
20
|
+
exercising permissions granted by this License.
|
|
21
|
+
|
|
22
|
+
"Source" form shall mean the preferred form for making modifications.
|
|
23
|
+
|
|
24
|
+
"Object" form shall mean any form resulting from mechanical
|
|
25
|
+
transformation or translation of a Source form.
|
|
26
|
+
|
|
27
|
+
"Work" shall mean the work of authorship made available under
|
|
28
|
+
the License.
|
|
29
|
+
|
|
30
|
+
"Contribution" shall mean any work of authorship submitted to the
|
|
31
|
+
Licensor for inclusion in the Work.
|
|
32
|
+
|
|
33
|
+
"Contributor" shall mean Licensor and any Legal Entity on behalf of
|
|
34
|
+
whom a Contribution has been received by the Licensor.
|
|
35
|
+
|
|
36
|
+
2. Grant of Copyright License. Subject to the terms and conditions of
|
|
37
|
+
this License, each Contributor hereby grants to You a perpetual,
|
|
38
|
+
worldwide, non-exclusive, no-charge, royalty-free, irrevocable
|
|
39
|
+
copyright license to reproduce, prepare Derivative Works of,
|
|
40
|
+
publicly display, publicly perform, sublicense, and distribute the
|
|
41
|
+
Work and such Derivative Works in Source or Object form.
|
|
42
|
+
|
|
43
|
+
3. Grant of Patent License. Subject to the terms and conditions of
|
|
44
|
+
this License, each Contributor hereby grants to You a perpetual,
|
|
45
|
+
worldwide, non-exclusive, no-charge, royalty-free, irrevocable
|
|
46
|
+
patent license to make, have made, use, offer to sell, sell,
|
|
47
|
+
import, and otherwise transfer the Work.
|
|
48
|
+
|
|
49
|
+
4. Redistribution. You may reproduce and distribute copies of the
|
|
50
|
+
Work or Derivative Works thereof in any medium, with or without
|
|
51
|
+
modifications, and in Source or Object form, provided that You
|
|
52
|
+
meet the following conditions:
|
|
53
|
+
|
|
54
|
+
(a) You must give any other recipients of the Work or
|
|
55
|
+
Derivative Works a copy of this License; and
|
|
56
|
+
|
|
57
|
+
(b) You must cause any modified files to carry prominent notices
|
|
58
|
+
stating that You changed the files; and
|
|
59
|
+
|
|
60
|
+
(c) You must retain, in the Source form of any Derivative Works
|
|
61
|
+
that You distribute, all copyright, patent, trademark, and
|
|
62
|
+
attribution notices from the Source form of the Work; and
|
|
63
|
+
|
|
64
|
+
(d) If the Work includes a "NOTICE" text file, You must include
|
|
65
|
+
a readable copy of the attribution notices contained within
|
|
66
|
+
such NOTICE file.
|
|
67
|
+
|
|
68
|
+
5. Submission of Contributions.
|
|
69
|
+
|
|
70
|
+
6. Trademarks. This License does not grant permission to use the trade
|
|
71
|
+
names, trademarks, service marks, or product names of the Licensor.
|
|
72
|
+
|
|
73
|
+
7. Disclaimer of Warranty. The Work is provided on an "AS IS" BASIS,
|
|
74
|
+
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND.
|
|
75
|
+
|
|
76
|
+
8. Limitation of Liability. In no event shall any Contributor be
|
|
77
|
+
liable to You for damages.
|
|
78
|
+
|
|
79
|
+
9. Accepting Warranty or Additional Liability.
|
|
80
|
+
|
|
81
|
+
Copyright 2026 Primust Inc.
|
|
82
|
+
|
|
83
|
+
Licensed under the Apache License, Version 2.0 (the "License");
|
|
84
|
+
you may not use this file except in compliance with the License.
|
|
85
|
+
You may obtain a copy of the License at
|
|
86
|
+
|
|
87
|
+
http://www.apache.org/licenses/LICENSE-2.0
|
|
88
|
+
|
|
89
|
+
Unless required by applicable law or agreed to in writing, software
|
|
90
|
+
distributed under the License is distributed on an "AS IS" BASIS,
|
|
91
|
+
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
92
|
+
See the License for the specific language governing permissions and
|
|
93
|
+
limitations under the License.
|
package/dist/canonical.d.ts
CHANGED
|
@@ -21,4 +21,15 @@
|
|
|
21
21
|
* @throws TypeError if the value contains non-JSON-native types
|
|
22
22
|
*/
|
|
23
23
|
export declare function canonical(value: unknown): string;
|
|
24
|
+
/**
|
|
25
|
+
* Pre-2026-04-19 canonical form — matches the old Python canonicalizer
|
|
26
|
+
* which rendered floats via Python's json.dumps (i.e. Python's repr for
|
|
27
|
+
* floats). Differs from ECMA-262 on integer-valued floats, negative
|
|
28
|
+
* zero, scientific-notation threshold (Python ≥1e16 vs ECMA ≥1e21),
|
|
29
|
+
* and zero-padded exponents (Python "1e-05" vs ECMA "1e-5").
|
|
30
|
+
*
|
|
31
|
+
* Kept ONLY so the TS verifier can validate legacy signatures signed by
|
|
32
|
+
* the old Python server. NEVER use for new signing.
|
|
33
|
+
*/
|
|
34
|
+
export declare function canonicalLegacy(value: unknown): string;
|
|
24
35
|
//# sourceMappingURL=canonical.d.ts.map
|
package/dist/canonical.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"canonical.d.ts","sourceRoot":"","sources":["../src/canonical.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAEhD"}
|
|
1
|
+
{"version":3,"file":"canonical.d.ts","sourceRoot":"","sources":["../src/canonical.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAEhD;AAiFD;;;;;;;;;GASG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAEtD"}
|
package/dist/canonical.js
CHANGED
|
@@ -80,4 +80,96 @@ function serializeArray(arr) {
|
|
|
80
80
|
}
|
|
81
81
|
return `[${elements.join(',')}]`;
|
|
82
82
|
}
|
|
83
|
+
/**
|
|
84
|
+
* Pre-2026-04-19 canonical form — matches the old Python canonicalizer
|
|
85
|
+
* which rendered floats via Python's json.dumps (i.e. Python's repr for
|
|
86
|
+
* floats). Differs from ECMA-262 on integer-valued floats, negative
|
|
87
|
+
* zero, scientific-notation threshold (Python ≥1e16 vs ECMA ≥1e21),
|
|
88
|
+
* and zero-padded exponents (Python "1e-05" vs ECMA "1e-5").
|
|
89
|
+
*
|
|
90
|
+
* Kept ONLY so the TS verifier can validate legacy signatures signed by
|
|
91
|
+
* the old Python server. NEVER use for new signing.
|
|
92
|
+
*/
|
|
93
|
+
export function canonicalLegacy(value) {
|
|
94
|
+
return serializeValueLegacy(value);
|
|
95
|
+
}
|
|
96
|
+
function serializeValueLegacy(value) {
|
|
97
|
+
if (value === null)
|
|
98
|
+
return 'null';
|
|
99
|
+
switch (typeof value) {
|
|
100
|
+
case 'string':
|
|
101
|
+
return JSON.stringify(value);
|
|
102
|
+
case 'number':
|
|
103
|
+
if (!Number.isFinite(value)) {
|
|
104
|
+
throw new TypeError(`canonical_legacy: cannot serialize ${value} (NaN/Infinity are not valid JSON)`);
|
|
105
|
+
}
|
|
106
|
+
return pythonFloatRepr(value);
|
|
107
|
+
case 'boolean':
|
|
108
|
+
return value ? 'true' : 'false';
|
|
109
|
+
case 'object':
|
|
110
|
+
if (Array.isArray(value)) {
|
|
111
|
+
return ('[' +
|
|
112
|
+
value.map((item) => serializeValueLegacy(item)).join(',') +
|
|
113
|
+
']');
|
|
114
|
+
}
|
|
115
|
+
if (value instanceof Date) {
|
|
116
|
+
throw new TypeError('canonical_legacy: Date objects must be ISO strings');
|
|
117
|
+
}
|
|
118
|
+
if (value instanceof Uint8Array ||
|
|
119
|
+
(typeof Buffer !== 'undefined' && Buffer.isBuffer(value))) {
|
|
120
|
+
throw new TypeError('canonical_legacy: byte arrays must be base64url');
|
|
121
|
+
}
|
|
122
|
+
return serializeObjectLegacy(value);
|
|
123
|
+
case 'undefined':
|
|
124
|
+
throw new TypeError('canonical_legacy: undefined is not valid JSON');
|
|
125
|
+
default:
|
|
126
|
+
throw new TypeError(`canonical_legacy: unsupported type ${typeof value}`);
|
|
127
|
+
}
|
|
128
|
+
}
|
|
129
|
+
function serializeObjectLegacy(obj) {
|
|
130
|
+
const keys = Object.keys(obj).sort();
|
|
131
|
+
const pairs = [];
|
|
132
|
+
for (const key of keys) {
|
|
133
|
+
const val = obj[key];
|
|
134
|
+
if (val === undefined)
|
|
135
|
+
continue;
|
|
136
|
+
pairs.push(`${JSON.stringify(key)}:${serializeValueLegacy(val)}`);
|
|
137
|
+
}
|
|
138
|
+
return `{${pairs.join(',')}}`;
|
|
139
|
+
}
|
|
140
|
+
/**
|
|
141
|
+
* Render a number matching Python's `json.dumps(n)` output for floats
|
|
142
|
+
* (json.dumps uses Python's float repr). Integers round-trip as-is.
|
|
143
|
+
*
|
|
144
|
+
* Python float repr rules (CPython ≥3.1):
|
|
145
|
+
* - Integers ending in .0: "1.0", "100.0"
|
|
146
|
+
* - Negative zero: "-0.0"
|
|
147
|
+
* - Scientific threshold: |n| ≥ 1e16 or < 1e-4 → scientific "e+NN"/"e-NN"
|
|
148
|
+
* with ZERO-PADDED 2-digit exponents
|
|
149
|
+
* - Otherwise: plain decimal
|
|
150
|
+
*/
|
|
151
|
+
function pythonFloatRepr(n) {
|
|
152
|
+
if (Number.isInteger(n) && !Object.is(n, -0)) {
|
|
153
|
+
// Python writes 1 → "1" (int), 1.0 → "1.0" (float). JS can't tell
|
|
154
|
+
// them apart post-parse, so assume numbers reaching legacy-float
|
|
155
|
+
// rendering are floats. Integer-valued floats get ".0".
|
|
156
|
+
if (Math.abs(n) < 1e16) {
|
|
157
|
+
return `${n.toFixed(1)}`;
|
|
158
|
+
}
|
|
159
|
+
// |n| >= 1e16 uses scientific even for integer-valued floats
|
|
160
|
+
return pythonScientific(n);
|
|
161
|
+
}
|
|
162
|
+
if (Object.is(n, -0))
|
|
163
|
+
return '-0.0';
|
|
164
|
+
if (Math.abs(n) >= 1e16 || (n !== 0 && Math.abs(n) < 1e-4)) {
|
|
165
|
+
return pythonScientific(n);
|
|
166
|
+
}
|
|
167
|
+
return n.toString();
|
|
168
|
+
}
|
|
169
|
+
/** Render to Python-style scientific: "1e+20", "1.23e-10", with
|
|
170
|
+
* zero-padded single-digit exponents ("1e-05" not "1e-5"). */
|
|
171
|
+
function pythonScientific(n) {
|
|
172
|
+
const s = n.toExponential();
|
|
173
|
+
return s.replace(/e([+-])(\d)$/, 'e$10$2');
|
|
174
|
+
}
|
|
83
175
|
//# sourceMappingURL=canonical.js.map
|
package/dist/canonical.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"canonical.js","sourceRoot":"","sources":["../src/canonical.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH;;;;GAIG;AACH,MAAM,UAAU,SAAS,CAAC,KAAc;IACtC,OAAO,cAAc,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,cAAc,CAAC,KAAc;IACpC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,QAAQ,OAAO,KAAK,EAAE,CAAC;QACrB,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAE/B,KAAK,QAAQ;YACX,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC5B,MAAM,IAAI,SAAS,CACjB,+BAA+B,KAAK,oCAAoC,CACzE,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAE/B,KAAK,SAAS;YACZ,OAAO,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;QAElC,KAAK,QAAQ;YACX,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,OAAO,cAAc,CAAC,KAAK,CAAC,CAAC;YAC/B,CAAC;YACD,IAAI,KAAK,YAAY,IAAI,EAAE,CAAC;gBAC1B,MAAM,IAAI,SAAS,CACjB,oFAAoF,CACrF,CAAC;YACJ,CAAC;YACD,IAAI,KAAK,YAAY,UAAU,IAAI,CAAC,OAAO,MAAM,KAAK,WAAW,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;gBAC7F,MAAM,IAAI,SAAS,CACjB,uEAAuE,CACxE,CAAC;YACJ,CAAC;YACD,OAAO,eAAe,CAAC,KAAgC,CAAC,CAAC;QAE3D,KAAK,WAAW;YACd,MAAM,IAAI,SAAS,CAAC,wCAAwC,CAAC,CAAC;QAEhE,KAAK,UAAU;YACb,MAAM,IAAI,SAAS,CAAC,yCAAyC,CAAC,CAAC;QAEjE,KAAK,QAAQ;YACX,MAAM,IAAI,SAAS,CAAC,uCAAuC,CAAC,CAAC;QAE/D,KAAK,QAAQ;YACX,MAAM,IAAI,SAAS,CAAC,8EAA8E,CAAC,CAAC;QAEtG;YACE,MAAM,IAAI,SAAS,CAAC,+BAA+B,OAAO,KAAK,EAAE,CAAC,CAAC;IACvE,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CAAC,GAA4B;IACnD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACrC,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;QACrB,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,0DAA0D;YAC1D,SAAS;QACX,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC9D,CAAC;IAED,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AAChC,CAAC;AAED,SAAS,cAAc,CAAC,GAAc;IACpC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,KAAK,MAAM,IAAI,IAAI,GAAG,EAAE,CAAC;QACvB,QAAQ,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC;IACtC,CAAC;IAED,OAAO,IAAI,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AACnC,CAAC"}
|
|
1
|
+
{"version":3,"file":"canonical.js","sourceRoot":"","sources":["../src/canonical.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH;;;;GAIG;AACH,MAAM,UAAU,SAAS,CAAC,KAAc;IACtC,OAAO,cAAc,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,cAAc,CAAC,KAAc;IACpC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,QAAQ,OAAO,KAAK,EAAE,CAAC;QACrB,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAE/B,KAAK,QAAQ;YACX,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC5B,MAAM,IAAI,SAAS,CACjB,+BAA+B,KAAK,oCAAoC,CACzE,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAE/B,KAAK,SAAS;YACZ,OAAO,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;QAElC,KAAK,QAAQ;YACX,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,OAAO,cAAc,CAAC,KAAK,CAAC,CAAC;YAC/B,CAAC;YACD,IAAI,KAAK,YAAY,IAAI,EAAE,CAAC;gBAC1B,MAAM,IAAI,SAAS,CACjB,oFAAoF,CACrF,CAAC;YACJ,CAAC;YACD,IAAI,KAAK,YAAY,UAAU,IAAI,CAAC,OAAO,MAAM,KAAK,WAAW,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;gBAC7F,MAAM,IAAI,SAAS,CACjB,uEAAuE,CACxE,CAAC;YACJ,CAAC;YACD,OAAO,eAAe,CAAC,KAAgC,CAAC,CAAC;QAE3D,KAAK,WAAW;YACd,MAAM,IAAI,SAAS,CAAC,wCAAwC,CAAC,CAAC;QAEhE,KAAK,UAAU;YACb,MAAM,IAAI,SAAS,CAAC,yCAAyC,CAAC,CAAC;QAEjE,KAAK,QAAQ;YACX,MAAM,IAAI,SAAS,CAAC,uCAAuC,CAAC,CAAC;QAE/D,KAAK,QAAQ;YACX,MAAM,IAAI,SAAS,CAAC,8EAA8E,CAAC,CAAC;QAEtG;YACE,MAAM,IAAI,SAAS,CAAC,+BAA+B,OAAO,KAAK,EAAE,CAAC,CAAC;IACvE,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CAAC,GAA4B;IACnD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACrC,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;QACrB,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,0DAA0D;YAC1D,SAAS;QACX,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC9D,CAAC;IAED,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AAChC,CAAC;AAED,SAAS,cAAc,CAAC,GAAc;IACpC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,KAAK,MAAM,IAAI,IAAI,GAAG,EAAE,CAAC;QACvB,QAAQ,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC;IACtC,CAAC;IAED,OAAO,IAAI,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AACnC,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,eAAe,CAAC,KAAc;IAC5C,OAAO,oBAAoB,CAAC,KAAK,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAc;IAC1C,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAClC,QAAQ,OAAO,KAAK,EAAE,CAAC;QACrB,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC/B,KAAK,QAAQ;YACX,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC5B,MAAM,IAAI,SAAS,CACjB,sCAAsC,KAAK,oCAAoC,CAChF,CAAC;YACJ,CAAC;YACD,OAAO,eAAe,CAAC,KAAK,CAAC,CAAC;QAChC,KAAK,SAAS;YACZ,OAAO,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;QAClC,KAAK,QAAQ;YACX,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,OAAO,CACL,GAAG;oBACH,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;oBACzD,GAAG,CACJ,CAAC;YACJ,CAAC;YACD,IAAI,KAAK,YAAY,IAAI,EAAE,CAAC;gBAC1B,MAAM,IAAI,SAAS,CAAC,oDAAoD,CAAC,CAAC;YAC5E,CAAC;YACD,IACE,KAAK,YAAY,UAAU;gBAC3B,CAAC,OAAO,MAAM,KAAK,WAAW,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EACzD,CAAC;gBACD,MAAM,IAAI,SAAS,CAAC,iDAAiD,CAAC,CAAC;YACzE,CAAC;YACD,OAAO,qBAAqB,CAAC,KAAgC,CAAC,CAAC;QACjE,KAAK,WAAW;YACd,MAAM,IAAI,SAAS,CAAC,+CAA+C,CAAC,CAAC;QACvE;YACE,MAAM,IAAI,SAAS,CAAC,sCAAsC,OAAO,KAAK,EAAE,CAAC,CAAC;IAC9E,CAAC;AACH,CAAC;AAED,SAAS,qBAAqB,CAAC,GAA4B;IACzD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACrC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;QACrB,IAAI,GAAG,KAAK,SAAS;YAAE,SAAS;QAChC,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,oBAAoB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AAChC,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,eAAe,CAAC,CAAS;IAChC,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7C,kEAAkE;QAClE,iEAAiE;QACjE,wDAAwD;QACxD,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,EAAE,CAAC;YACvB,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QAC3B,CAAC;QACD,6DAA6D;QAC7D,OAAO,gBAAgB,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC;IACD,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAAE,OAAO,MAAM,CAAC;IACpC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC;QAC3D,OAAO,gBAAgB,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,CAAC,CAAC,QAAQ,EAAE,CAAC;AACtB,CAAC;AAED;+DAC+D;AAC/D,SAAS,gBAAgB,CAAC,CAAS;IACjC,MAAM,CAAC,GAAG,CAAC,CAAC,aAAa,EAAE,CAAC;IAC5B,OAAO,CAAC,CAAC,OAAO,CAAC,cAAc,EAAE,QAAQ,CAAC,CAAC;AAC7C,CAAC"}
|
package/dist/commitment.d.ts
CHANGED
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
/**
|
|
2
2
|
* Primust Artifact Core — Commitment Layer (P6-A)
|
|
3
3
|
*
|
|
4
|
-
*
|
|
4
|
+
* Poseidon2 (default, ZK-friendly) and SHA-256 (opt-in via PRIMUST_COMMITMENT_ALGORITHM=sha256) commitments.
|
|
5
5
|
* Poseidon2 uses a pure implementation — opt-in only until an audited reference
|
|
6
6
|
* (e.g. Barretenberg) is validated.
|
|
7
7
|
*
|
|
@@ -11,6 +11,15 @@
|
|
|
11
11
|
import type { CommitmentAlgorithm, ProofLevel } from './types/artifact.js';
|
|
12
12
|
/** ZK proof generation is always non-blocking. Non-negotiable. */
|
|
13
13
|
export declare const ZK_IS_BLOCKING: false;
|
|
14
|
+
/**
|
|
15
|
+
* BN254 scalar field modulus.
|
|
16
|
+
* All Poseidon2 field arithmetic operates modulo this prime.
|
|
17
|
+
*
|
|
18
|
+
* Exported so downstream packages (e.g. runtime-core blinding generation)
|
|
19
|
+
* can reduce 32-byte randomness into a valid BN254 field element without
|
|
20
|
+
* duplicating the constant.
|
|
21
|
+
*/
|
|
22
|
+
export declare const BN254_MODULUS = 21888242871839275222246405745257275088548364400416034343698204186575808495617n;
|
|
14
23
|
export interface CommitmentResult {
|
|
15
24
|
hash: string;
|
|
16
25
|
algorithm: CommitmentAlgorithm;
|
|
@@ -19,8 +28,8 @@ export interface CommitmentResult {
|
|
|
19
28
|
* Compute a commitment hash over input bytes.
|
|
20
29
|
*
|
|
21
30
|
* @param input - Raw content bytes (NEVER transmitted — only the hash leaves the environment)
|
|
22
|
-
* @param algorithm - '
|
|
23
|
-
* PRIMUST_COMMITMENT_ALGORITHM env var or defaults to '
|
|
31
|
+
* @param algorithm - 'poseidon2' (default) or 'sha256'. If not specified, uses
|
|
32
|
+
* PRIMUST_COMMITMENT_ALGORITHM env var or defaults to 'poseidon2'.
|
|
24
33
|
*/
|
|
25
34
|
export declare function commit(input: Uint8Array, algorithm?: CommitmentAlgorithm): CommitmentResult;
|
|
26
35
|
/**
|
|
@@ -36,17 +45,29 @@ export declare function commitOutput(output: Uint8Array): CommitmentResult;
|
|
|
36
45
|
*/
|
|
37
46
|
export declare function buildCommitmentRoot(hashes: string[], algorithm?: CommitmentAlgorithm): string | null;
|
|
38
47
|
/** Stage types that map to proof levels. */
|
|
39
|
-
type StageType = 'deterministic_rule' | 'ml_model' | 'zkml_model' | 'statistical_test' | 'custom_code' | 'witnessed'
|
|
48
|
+
type StageType = 'deterministic_rule' | 'policy_engine' | 'decision_path_model' | 'boundary_rule' | 'jurisdiction_boundary' | 'upstream_vpec_verify' | 'bound_committed_inference' | 'open_source_ml' | 'graph_node' | 'custom_check' | 'process_only' | 'human_approval' | 'acknowledged' | 'llm_api' | 'hardware_attested' | 'ml_model' | 'zkml_model' | 'statistical_test' | 'custom_code' | 'witnessed';
|
|
40
49
|
/**
|
|
41
50
|
* Select the proof level for a given stage type.
|
|
42
51
|
*
|
|
43
52
|
* Mapping:
|
|
44
53
|
* deterministic_rule → mathematical
|
|
54
|
+
* policy_engine → mathematical
|
|
55
|
+
* decision_path_model → mathematical
|
|
56
|
+
* boundary_rule → mathematical
|
|
57
|
+
* jurisdiction_boundary → mathematical
|
|
58
|
+
* upstream_vpec_verify → mathematical
|
|
45
59
|
* zkml_model → verifiable_inference
|
|
46
|
-
*
|
|
47
|
-
*
|
|
48
|
-
*
|
|
49
|
-
*
|
|
60
|
+
* bound_committed_inference → operator_bound
|
|
61
|
+
* open_source_ml → execution
|
|
62
|
+
* graph_node → execution
|
|
63
|
+
* custom_check → execution
|
|
64
|
+
* hardware_attested → execution
|
|
65
|
+
* process_only → attestation
|
|
66
|
+
* human_approval → witnessed
|
|
67
|
+
* acknowledged → witnessed
|
|
68
|
+
*
|
|
69
|
+
* Deprecated aliases retained for compatibility:
|
|
70
|
+
* ml_model, statistical_test, custom_code, witnessed
|
|
50
71
|
*
|
|
51
72
|
* Note: attestation is the weakest level and only applies from explicit manifest
|
|
52
73
|
* declaration, not from stage type mapping.
|
package/dist/commitment.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"commitment.d.ts","sourceRoot":"","sources":["../src/commitment.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAKH,OAAO,KAAK,EAAE,mBAAmB,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAI3E,kEAAkE;AAClE,eAAO,MAAM,cAAc,EAAG,KAAc,CAAC;
|
|
1
|
+
{"version":3,"file":"commitment.d.ts","sourceRoot":"","sources":["../src/commitment.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAKH,OAAO,KAAK,EAAE,mBAAmB,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAI3E,kEAAkE;AAClE,eAAO,MAAM,cAAc,EAAG,KAAc,CAAC;AAE7C;;;;;;;GAOG;AACH,eAAO,MAAM,aAAa,iFAAiF,CAAC;AAI5G,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,mBAAmB,CAAC;CAChC;AA6ED;;;;;;GAMG;AACH,wBAAgB,MAAM,CACpB,KAAK,EAAE,UAAU,EACjB,SAAS,CAAC,EAAE,mBAAmB,GAC9B,gBAAgB,CAMlB;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,UAAU,GAAG,gBAAgB,CAMjE;AA4BD;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,SAAS,CAAC,EAAE,mBAAmB,GAAG,MAAM,GAAG,IAAI,CASpG;AAuCD,4CAA4C;AAC5C,KAAK,SAAS,GACV,oBAAoB,GACpB,eAAe,GACf,qBAAqB,GACrB,eAAe,GACf,uBAAuB,GACvB,sBAAsB,GACtB,2BAA2B,GAC3B,gBAAgB,GAChB,YAAY,GACZ,cAAc,GACd,cAAc,GACd,gBAAgB,GAChB,cAAc,GACd,SAAS,GACT,mBAAmB,GAEnB,UAAU,GACV,YAAY,GACZ,kBAAkB,GAClB,aAAa,GACb,WAAW,CAAC;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,wBAAgB,gBAAgB,CAAC,SAAS,EAAE,SAAS,GAAG,UAAU,CA6BjE"}
|
package/dist/commitment.js
CHANGED
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
/**
|
|
2
2
|
* Primust Artifact Core — Commitment Layer (P6-A)
|
|
3
3
|
*
|
|
4
|
-
*
|
|
4
|
+
* Poseidon2 (default, ZK-friendly) and SHA-256 (opt-in via PRIMUST_COMMITMENT_ALGORITHM=sha256) commitments.
|
|
5
5
|
* Poseidon2 uses a pure implementation — opt-in only until an audited reference
|
|
6
6
|
* (e.g. Barretenberg) is validated.
|
|
7
7
|
*
|
|
@@ -16,8 +16,12 @@ export const ZK_IS_BLOCKING = false;
|
|
|
16
16
|
/**
|
|
17
17
|
* BN254 scalar field modulus.
|
|
18
18
|
* All Poseidon2 field arithmetic operates modulo this prime.
|
|
19
|
+
*
|
|
20
|
+
* Exported so downstream packages (e.g. runtime-core blinding generation)
|
|
21
|
+
* can reduce 32-byte randomness into a valid BN254 field element without
|
|
22
|
+
* duplicating the constant.
|
|
19
23
|
*/
|
|
20
|
-
const BN254_MODULUS = 21888242871839275222246405745257275088548364400416034343698204186575808495617n;
|
|
24
|
+
export const BN254_MODULUS = 21888242871839275222246405745257275088548364400416034343698204186575808495617n;
|
|
21
25
|
// ── Helpers ──
|
|
22
26
|
/**
|
|
23
27
|
* Convert bytes to BN254 field elements.
|
|
@@ -87,8 +91,8 @@ function parseHashToField(hash) {
|
|
|
87
91
|
* Compute a commitment hash over input bytes.
|
|
88
92
|
*
|
|
89
93
|
* @param input - Raw content bytes (NEVER transmitted — only the hash leaves the environment)
|
|
90
|
-
* @param algorithm - '
|
|
91
|
-
* PRIMUST_COMMITMENT_ALGORITHM env var or defaults to '
|
|
94
|
+
* @param algorithm - 'poseidon2' (default) or 'sha256'. If not specified, uses
|
|
95
|
+
* PRIMUST_COMMITMENT_ALGORITHM env var or defaults to 'poseidon2'.
|
|
92
96
|
*/
|
|
93
97
|
export function commit(input, algorithm) {
|
|
94
98
|
const alg = algorithm ?? resolveAlgorithm();
|
|
@@ -109,14 +113,14 @@ export function commitOutput(output) {
|
|
|
109
113
|
}
|
|
110
114
|
/**
|
|
111
115
|
* Resolve the commitment algorithm.
|
|
112
|
-
* Default is "
|
|
113
|
-
*
|
|
116
|
+
* Default is "poseidon2" (ZK-friendly, matches Noir circuit).
|
|
117
|
+
* Override with PRIMUST_COMMITMENT_ALGORITHM=sha256 if needed.
|
|
114
118
|
*/
|
|
115
119
|
function resolveAlgorithm() {
|
|
116
|
-
if (typeof process !== 'undefined' && process.env?.PRIMUST_COMMITMENT_ALGORITHM === '
|
|
117
|
-
return '
|
|
120
|
+
if (typeof process !== 'undefined' && process.env?.PRIMUST_COMMITMENT_ALGORITHM === 'sha256') {
|
|
121
|
+
return 'sha256';
|
|
118
122
|
}
|
|
119
|
-
return '
|
|
123
|
+
return 'poseidon2';
|
|
120
124
|
}
|
|
121
125
|
/**
|
|
122
126
|
* Parse a commitment hash string to raw bytes.
|
|
@@ -184,11 +188,23 @@ function buildSha256MerkleRoot(hashes) {
|
|
|
184
188
|
*
|
|
185
189
|
* Mapping:
|
|
186
190
|
* deterministic_rule → mathematical
|
|
191
|
+
* policy_engine → mathematical
|
|
192
|
+
* decision_path_model → mathematical
|
|
193
|
+
* boundary_rule → mathematical
|
|
194
|
+
* jurisdiction_boundary → mathematical
|
|
195
|
+
* upstream_vpec_verify → mathematical
|
|
187
196
|
* zkml_model → verifiable_inference
|
|
188
|
-
*
|
|
189
|
-
*
|
|
190
|
-
*
|
|
191
|
-
*
|
|
197
|
+
* bound_committed_inference → operator_bound
|
|
198
|
+
* open_source_ml → execution
|
|
199
|
+
* graph_node → execution
|
|
200
|
+
* custom_check → execution
|
|
201
|
+
* hardware_attested → execution
|
|
202
|
+
* process_only → attestation
|
|
203
|
+
* human_approval → witnessed
|
|
204
|
+
* acknowledged → witnessed
|
|
205
|
+
*
|
|
206
|
+
* Deprecated aliases retained for compatibility:
|
|
207
|
+
* ml_model, statistical_test, custom_code, witnessed
|
|
192
208
|
*
|
|
193
209
|
* Note: attestation is the weakest level and only applies from explicit manifest
|
|
194
210
|
* declaration, not from stage type mapping.
|
|
@@ -196,19 +212,31 @@ function buildSha256MerkleRoot(hashes) {
|
|
|
196
212
|
export function selectProofLevel(stageType) {
|
|
197
213
|
switch (stageType) {
|
|
198
214
|
case 'deterministic_rule':
|
|
215
|
+
case 'policy_engine':
|
|
216
|
+
case 'decision_path_model':
|
|
217
|
+
case 'boundary_rule':
|
|
218
|
+
case 'jurisdiction_boundary':
|
|
219
|
+
case 'upstream_vpec_verify':
|
|
199
220
|
return 'mathematical';
|
|
200
221
|
case 'zkml_model':
|
|
201
222
|
return 'verifiable_inference';
|
|
223
|
+
case 'bound_committed_inference':
|
|
224
|
+
return 'operator_bound';
|
|
225
|
+
case 'open_source_ml':
|
|
226
|
+
case 'graph_node':
|
|
227
|
+
case 'custom_check':
|
|
228
|
+
case 'hardware_attested':
|
|
202
229
|
case 'ml_model':
|
|
203
|
-
return 'execution';
|
|
204
230
|
case 'statistical_test':
|
|
205
|
-
return 'execution';
|
|
206
231
|
case 'custom_code':
|
|
207
232
|
return 'execution';
|
|
233
|
+
case 'process_only':
|
|
234
|
+
case 'llm_api':
|
|
235
|
+
return 'attestation';
|
|
236
|
+
case 'human_approval':
|
|
237
|
+
case 'acknowledged':
|
|
208
238
|
case 'witnessed':
|
|
209
239
|
return 'witnessed';
|
|
210
|
-
case 'policy_engine':
|
|
211
|
-
return 'mathematical';
|
|
212
240
|
}
|
|
213
241
|
}
|
|
214
242
|
//# sourceMappingURL=commitment.js.map
|
package/dist/commitment.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"commitment.js","sourceRoot":"","sources":["../src/commitment.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAItD,kBAAkB;AAElB,kEAAkE;AAClE,MAAM,CAAC,MAAM,cAAc,GAAG,KAAc,CAAC;AAE7C
|
|
1
|
+
{"version":3,"file":"commitment.js","sourceRoot":"","sources":["../src/commitment.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAItD,kBAAkB;AAElB,kEAAkE;AAClE,MAAM,CAAC,MAAM,cAAc,GAAG,KAAc,CAAC;AAE7C;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,8EAA8E,CAAC;AAS5G,gBAAgB;AAEhB;;;;GAIG;AACH,SAAS,oBAAoB,CAAC,KAAiB;IAC7C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,EAAE,CAAC,CAAC;IAEpC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,SAAS,GAAG,EAAE,CAAC,CAAC,kDAAkD;IAExE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,SAAS,EAAE,CAAC;QACjD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QAClD,IAAI,KAAK,GAAG,EAAE,CAAC;QACf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7B,KAAK,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3C,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,KAAK,GAAG,aAAa,CAAC,CAAC;IACvC,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;GAIG;AACH,SAAS,SAAS,CAAC,KAAiB;IAClC,MAAM,QAAQ,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAE7C,yCAAyC;IACzC,IAAI,KAAK,GAAG,EAAE,CAAC;IACf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7D,KAAK,GAAG,aAAa,CAAC,CAAC,KAAK,GAAG,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;IAC/C,CAAC;IAED,OAAO,YAAY,GAAG,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;AAC7D,CAAC;AAED;;GAEG;AACH,SAAS,YAAY,CAAC,KAAiB;IACrC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC3B,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;SACzB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;SAC3C,IAAI,CAAC,EAAE,CAAC,CAAC;IACZ,OAAO,SAAS,GAAG,GAAG,CAAC;AACzB,CAAC;AAED;;GAEG;AACH,SAAS,aAAa,CAAC,IAAY,EAAE,KAAa;IAChD,OAAO,aAAa,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;AACtC,CAAC;AAED;;;GAGG;AACH,SAAS,gBAAgB,CAAC,IAAY;IACpC,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACnC,IAAI,QAAQ,KAAK,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,IAAI,EAAE,CAAC,CAAC;IACrE,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC;IACrC,OAAO,MAAM,CAAC,IAAI,GAAG,GAAG,CAAC,GAAG,aAAa,CAAC;AAC5C,CAAC;AAED,mBAAmB;AAEnB;;;;;;GAMG;AACH,MAAM,UAAU,MAAM,CACpB,KAAiB,EACjB,SAA+B;IAE/B,MAAM,GAAG,GAAG,SAAS,IAAI,gBAAgB,EAAE,CAAC;IAC5C,IAAI,GAAG,KAAK,WAAW,EAAE,CAAC;QACxB,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,WAAW,EAAE,CAAC;IAC5D,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,YAAY,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;AAC5D,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,YAAY,CAAC,MAAkB;IAC7C,MAAM,GAAG,GAAG,gBAAgB,EAAE,CAAC;IAC/B,IAAI,GAAG,KAAK,WAAW,EAAE,CAAC;QACxB,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,WAAW,EAAE,CAAC;IAC7D,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,YAAY,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;AAC7D,CAAC;AAED;;;;GAIG;AACH,SAAS,gBAAgB;IACvB,IAAI,OAAO,OAAO,KAAK,WAAW,IAAI,OAAO,CAAC,GAAG,EAAE,4BAA4B,KAAK,QAAQ,EAAE,CAAC;QAC7F,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED;;GAEG;AACH,SAAS,mBAAmB,CAAC,IAAY;IACvC,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACnC,IAAI,QAAQ,KAAK,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,IAAI,EAAE,CAAC,CAAC;IACrE,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC;IACrC,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,KAAK,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CAAC,MAAgB,EAAE,SAA+B;IACnF,MAAM,GAAG,GAAG,SAAS,IAAI,gBAAgB,EAAE,CAAC;IAC5C,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACrC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;IAE1C,IAAI,GAAG,KAAK,WAAW,EAAE,CAAC;QACxB,OAAO,wBAAwB,CAAC,MAAM,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,qBAAqB,CAAC,MAAM,CAAC,CAAC;AACvC,CAAC;AAED,SAAS,wBAAwB,CAAC,MAAgB;IAChD,IAAI,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;IAEzC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACzC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACtB,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAC7D,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;QACxC,CAAC;QACD,KAAK,GAAG,IAAI,CAAC;IACf,CAAC;IAED,OAAO,YAAY,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,qBAAqB,CAAC,MAAgB;IAC7C,IAAI,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;IAE5C,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,GAAiB,EAAE,CAAC;QAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACzC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACtB,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAC7D,MAAM,QAAQ,GAAG,IAAI,UAAU,CAAC,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;YAC5D,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACnB,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;YACjC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC9B,CAAC;QACD,KAAK,GAAG,IAAI,CAAC;IACf,CAAC;IAED,OAAO,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AAC7F,CAAC;AA4BD;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,MAAM,UAAU,gBAAgB,CAAC,SAAoB;IACnD,QAAQ,SAAS,EAAE,CAAC;QAClB,KAAK,oBAAoB,CAAC;QAC1B,KAAK,eAAe,CAAC;QACrB,KAAK,qBAAqB,CAAC;QAC3B,KAAK,eAAe,CAAC;QACrB,KAAK,uBAAuB,CAAC;QAC7B,KAAK,sBAAsB;YACzB,OAAO,cAAc,CAAC;QACxB,KAAK,YAAY;YACf,OAAO,sBAAsB,CAAC;QAChC,KAAK,2BAA2B;YAC9B,OAAO,gBAAgB,CAAC;QAC1B,KAAK,gBAAgB,CAAC;QACtB,KAAK,YAAY,CAAC;QAClB,KAAK,cAAc,CAAC;QACpB,KAAK,mBAAmB,CAAC;QACzB,KAAK,UAAU,CAAC;QAChB,KAAK,kBAAkB,CAAC;QACxB,KAAK,aAAa;YAChB,OAAO,WAAW,CAAC;QACrB,KAAK,cAAc,CAAC;QACpB,KAAK,SAAS;YACZ,OAAO,aAAa,CAAC;QACvB,KAAK,gBAAgB,CAAC;QACtB,KAAK,cAAc,CAAC;QACpB,KAAK,WAAW;YACd,OAAO,WAAW,CAAC;IACvB,CAAC;AACH,CAAC"}
|
package/dist/commitment.test.js
CHANGED
|
@@ -64,11 +64,11 @@ describe('commitment', () => {
|
|
|
64
64
|
}
|
|
65
65
|
}
|
|
66
66
|
});
|
|
67
|
-
it('MUST PASS: commitOutput uses default algorithm (
|
|
67
|
+
it('MUST PASS: commitOutput uses default algorithm (poseidon2)', () => {
|
|
68
68
|
const output = new TextEncoder().encode('some output content');
|
|
69
69
|
const result = commitOutput(output);
|
|
70
|
-
expect(result.algorithm).toBe('
|
|
71
|
-
expect(result.hash).toMatch(/^
|
|
70
|
+
expect(result.algorithm).toBe('poseidon2');
|
|
71
|
+
expect(result.hash).toMatch(/^poseidon2:/);
|
|
72
72
|
});
|
|
73
73
|
it('MUST PASS: buildCommitmentRoot(empty array) returns null', () => {
|
|
74
74
|
expect(buildCommitmentRoot([])).toBeNull();
|
|
@@ -95,17 +95,27 @@ describe('commitment', () => {
|
|
|
95
95
|
it('MUST PASS: all 5 proof levels present in proof level selection logic', () => {
|
|
96
96
|
const stageTypes = [
|
|
97
97
|
'deterministic_rule',
|
|
98
|
+
'policy_engine',
|
|
99
|
+
'decision_path_model',
|
|
98
100
|
'ml_model',
|
|
99
101
|
'zkml_model',
|
|
102
|
+
'bound_committed_inference',
|
|
100
103
|
'statistical_test',
|
|
101
104
|
'custom_code',
|
|
105
|
+
'custom_check',
|
|
106
|
+
'hardware_attested',
|
|
107
|
+
'process_only',
|
|
108
|
+
'human_approval',
|
|
109
|
+
'acknowledged',
|
|
102
110
|
'witnessed',
|
|
103
111
|
];
|
|
104
112
|
const proofLevels = new Set(stageTypes.map(selectProofLevel));
|
|
105
113
|
expect(proofLevels).toContain('mathematical');
|
|
106
114
|
expect(proofLevels).toContain('verifiable_inference');
|
|
115
|
+
expect(proofLevels).toContain('operator_bound');
|
|
107
116
|
expect(proofLevels).toContain('execution');
|
|
108
117
|
expect(proofLevels).toContain('witnessed');
|
|
118
|
+
expect(proofLevels).toContain('attestation');
|
|
109
119
|
});
|
|
110
120
|
it('MUST PASS: verifiable_inference proof level triggers only for zkml_model stage type', () => {
|
|
111
121
|
expect(selectProofLevel('zkml_model')).toBe('verifiable_inference');
|
|
@@ -113,6 +123,7 @@ describe('commitment', () => {
|
|
|
113
123
|
const others = [
|
|
114
124
|
'deterministic_rule',
|
|
115
125
|
'ml_model',
|
|
126
|
+
'bound_committed_inference',
|
|
116
127
|
'statistical_test',
|
|
117
128
|
'custom_code',
|
|
118
129
|
'witnessed',
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"commitment.test.js","sourceRoot":"","sources":["../src/commitment.test.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAElD,OAAO,EACL,cAAc,EACd,mBAAmB,EACnB,MAAM,EACN,YAAY,EACZ,gBAAgB,GACjB,MAAM,iBAAiB,CAAC;AAEzB,gBAAgB;AAEhB,SAAS,UAAU,CAAC,GAAW;IAC7B,IAAI,GAAG,KAAK,EAAE;QAAE,OAAO,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAaD,MAAM,WAAW,GAAG,OAAO,CAAC,SAAS,EAAE,iDAAiD,CAAC,CAAC;AAC1F,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC;AACnE,kFAAkF;AAClF,MAAM,aAAa,GAAuB,WAAW,CAAC,cAAc,IAAI,EAAE,CAAC;AAC3E,MAAM,gBAAgB,GAAuB,WAAW,CAAC,iBAAiB,IAAI,EAAE,CAAC;AACjF,MAAM,mBAAmB,GAAuB,WAAW,CAAC,qBAAqB,IAAI,EAAE,CAAC;AACxF,MAAM,sBAAsB,GAAuB,WAAW,CAAC,wBAAwB,IAAI,EAAE,CAAC;AAC9F,6CAA6C;AAC7C,MAAM,OAAO,GAAuB;IAClC,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC;IACzD,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC;IAC5D,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,CAAC;IAChE,GAAG,sBAAsB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,CAAC;CACpE,CAAC;AAEF,cAAc;AAEd,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,KAAK,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,0BAA0B,CAAC,CAAC;QACnE,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;QACrC,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;QACrC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC5B,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACtC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,0BAA0B,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,KAAK,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,0BAA0B,CAAC,CAAC;QACnE,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QAClC,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QAClC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC5B,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACnC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YAC1B,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;gBAC/B,MAAM,IAAI,GAAG,mBAAmB,CAAC,GAAG,CAAC,YAAa,EAAE,GAAG,CAAC,SAAmC,CAAC,CAAC;gBAC7F,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;YACvC,CAAC;iBAAM,CAAC;gBACN,MAAM,KAAK,GAAG,GAAG,CAAC,SAAS,KAAK,SAAS;oBACvC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC;oBAC3B,CAAC,CAAC,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,UAAW,CAAC,CAAC;gBAC9C,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,SAAmC,CAAC,CAAC;gBACtE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;YAC9C,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,
|
|
1
|
+
{"version":3,"file":"commitment.test.js","sourceRoot":"","sources":["../src/commitment.test.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAElD,OAAO,EACL,cAAc,EACd,mBAAmB,EACnB,MAAM,EACN,YAAY,EACZ,gBAAgB,GACjB,MAAM,iBAAiB,CAAC;AAEzB,gBAAgB;AAEhB,SAAS,UAAU,CAAC,GAAW;IAC7B,IAAI,GAAG,KAAK,EAAE;QAAE,OAAO,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACvC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAaD,MAAM,WAAW,GAAG,OAAO,CAAC,SAAS,EAAE,iDAAiD,CAAC,CAAC;AAC1F,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC;AACnE,kFAAkF;AAClF,MAAM,aAAa,GAAuB,WAAW,CAAC,cAAc,IAAI,EAAE,CAAC;AAC3E,MAAM,gBAAgB,GAAuB,WAAW,CAAC,iBAAiB,IAAI,EAAE,CAAC;AACjF,MAAM,mBAAmB,GAAuB,WAAW,CAAC,qBAAqB,IAAI,EAAE,CAAC;AACxF,MAAM,sBAAsB,GAAuB,WAAW,CAAC,wBAAwB,IAAI,EAAE,CAAC;AAC9F,6CAA6C;AAC7C,MAAM,OAAO,GAAuB;IAClC,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC;IACzD,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC;IAC5D,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,CAAC;IAChE,GAAG,sBAAsB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,CAAC;CACpE,CAAC;AAEF,cAAc;AAEd,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,KAAK,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,0BAA0B,CAAC,CAAC;QACnE,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;QACrC,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;QACrC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC5B,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACtC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,0BAA0B,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,KAAK,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,0BAA0B,CAAC,CAAC;QACnE,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QAClC,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QAClC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC5B,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACnC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;YAC1B,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;gBAC/B,MAAM,IAAI,GAAG,mBAAmB,CAAC,GAAG,CAAC,YAAa,EAAE,GAAG,CAAC,SAAmC,CAAC,CAAC;gBAC7F,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;YACvC,CAAC;iBAAM,CAAC;gBACN,MAAM,KAAK,GAAG,GAAG,CAAC,SAAS,KAAK,SAAS;oBACvC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC;oBAC3B,CAAC,CAAC,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,UAAW,CAAC,CAAC;gBAC9C,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,SAAmC,CAAC,CAAC;gBACtE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;YAC9C,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,qBAAqB,CAAC,CAAC;QAC/D,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;QACpC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC3C,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,aAAa,GAAG,UAAU,CAAC,KAAK,CAAC;QACvC,MAAM,SAAS,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1B,UAAU,CAAC,KAAK,GAAG,SAAS,CAAC;QAE7B,IAAI,CAAC;YACH,MAAM,UAAU,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,uBAAuB,CAAC,CAAC;YACrE,MAAM,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;YAChC,MAAM,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;YAC7B,YAAY,CAAC,UAAU,CAAC,CAAC;YAEzB,gEAAgE;YAChE,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,gBAAgB,EAAE,CAAC;QAC3C,CAAC;gBAAS,CAAC;YACT,UAAU,CAAC,KAAK,GAAG,aAAa,CAAC;QACnC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,UAAU,GAAG;YACjB,oBAAoB;YACpB,eAAe;YACf,qBAAqB;YACrB,UAAU;YACV,YAAY;YACZ,2BAA2B;YAC3B,kBAAkB;YAClB,aAAa;YACb,cAAc;YACd,mBAAmB;YACnB,cAAc;YACd,gBAAgB;YAChB,cAAc;YACd,WAAW;SACH,CAAC;QAEX,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC;QAE9D,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;QAC9C,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,sBAAsB,CAAC,CAAC;QACtD,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;QAChD,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QAC3C,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QAC3C,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qFAAqF,EAAE,GAAG,EAAE;QAC7F,MAAM,CAAC,gBAAgB,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;QAEpE,0DAA0D;QAC1D,MAAM,MAAM,GAAG;YACb,oBAAoB;YACpB,UAAU;YACV,2BAA2B;YAC3B,kBAAkB;YAClB,aAAa;YACb,WAAW;SACH,CAAC;QAEX,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;YACxB,MAAM,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;QAChE,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
package/dist/index.d.ts
CHANGED
|
@@ -1,9 +1,16 @@
|
|
|
1
1
|
export { canonical } from './canonical.js';
|
|
2
2
|
export { generateKeyPair, sign, verify, rotateKey, toBase64Url, fromBase64Url } from './signing.js';
|
|
3
|
-
export { commit, commitOutput, buildCommitmentRoot, selectProofLevel, ZK_IS_BLOCKING, } from './commitment.js';
|
|
3
|
+
export { commit, commitOutput, buildCommitmentRoot, selectProofLevel, ZK_IS_BLOCKING, BN254_MODULUS, } from './commitment.js';
|
|
4
4
|
export type { CommitmentResult } from './commitment.js';
|
|
5
5
|
export { validateArtifact } from './validate-artifact.js';
|
|
6
6
|
export type { ValidationError, ValidationResult } from './validate-artifact.js';
|
|
7
7
|
export type { SignerRecord, SignatureEnvelope, KeyStatus, RevocationReason, SignerType, } from './types.js';
|
|
8
8
|
export type { VPECArtifact, ProofLevel, SurfaceEntry, ProofDistribution, Coverage, GapEntry, ZkProof, ArtifactIssuer, ArtifactSignature, TimestampAnchor, TransparencyLog, PendingFlags, GapType, GapSeverity, SurfaceType, ObservationMode, ScopeType, PolicyBasis, ArtifactState, CommitmentAlgorithm, Prover, ProverSystem, TsaProvider, OrgRegion, } from './types/artifact.js';
|
|
9
|
+
export type { ProofArtifact, VerificationStatus } from './types/proof_artifact.js';
|
|
10
|
+
export { TAXONOMY_VERSION, REVERSIBILITY_CLASSES, isReversibilityClass, classify as classifyReversibility, isWedgeSurfaceCovered, } from './reversibility_taxonomy.js';
|
|
11
|
+
export type { ReversibilityClass, ClassifyOptions } from './reversibility_taxonomy.js';
|
|
12
|
+
export { MAPPING_VERSION, TRUST_EDGES, classify as classifyTrustEdge, knownKinds as knownTrustEdgeKinds, } from './trust_edge_mapping.js';
|
|
13
|
+
export type { TrustEdge } from './trust_edge_mapping.js';
|
|
14
|
+
export { METADATA_SOURCE_VALUES, isMetadataSource } from './metadata_source.js';
|
|
15
|
+
export type { MetadataSource } from './metadata_source.js';
|
|
9
16
|
//# sourceMappingURL=index.d.ts.map
|
package/dist/index.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AACpG,OAAO,EACL,MAAM,EACN,YAAY,EACZ,mBAAmB,EACnB,gBAAgB,EAChB,cAAc,
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AACpG,OAAO,EACL,MAAM,EACN,YAAY,EACZ,mBAAmB,EACnB,gBAAgB,EAChB,cAAc,EACd,aAAa,GACd,MAAM,iBAAiB,CAAC;AACzB,YAAY,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AACxD,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,YAAY,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAChF,YAAY,EACV,YAAY,EACZ,iBAAiB,EACjB,SAAS,EACT,gBAAgB,EAChB,UAAU,GACX,MAAM,YAAY,CAAC;AACpB,YAAY,EACV,YAAY,EACZ,UAAU,EACV,YAAY,EACZ,iBAAiB,EACjB,QAAQ,EACR,QAAQ,EACR,OAAO,EACP,cAAc,EACd,iBAAiB,EACjB,eAAe,EACf,eAAe,EACf,YAAY,EACZ,OAAO,EACP,WAAW,EACX,WAAW,EACX,eAAe,EACf,SAAS,EACT,WAAW,EACX,aAAa,EACb,mBAAmB,EACnB,MAAM,EACN,YAAY,EACZ,WAAW,EACX,SAAS,GACV,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AACnF,OAAO,EACL,gBAAgB,EAChB,qBAAqB,EACrB,oBAAoB,EACpB,QAAQ,IAAI,qBAAqB,EACjC,qBAAqB,GACtB,MAAM,6BAA6B,CAAC;AACrC,YAAY,EAAE,kBAAkB,EAAE,eAAe,EAAE,MAAM,6BAA6B,CAAC;AACvF,OAAO,EACL,eAAe,EACf,WAAW,EACX,QAAQ,IAAI,iBAAiB,EAC7B,UAAU,IAAI,mBAAmB,GAClC,MAAM,yBAAyB,CAAC;AACjC,YAAY,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAChF,YAAY,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC"}
|
package/dist/index.js
CHANGED
|
@@ -1,6 +1,9 @@
|
|
|
1
1
|
// @primust/artifact-core — Canonical JSON, hashing, signing, commitments, artifact types
|
|
2
2
|
export { canonical } from './canonical.js';
|
|
3
3
|
export { generateKeyPair, sign, verify, rotateKey, toBase64Url, fromBase64Url } from './signing.js';
|
|
4
|
-
export { commit, commitOutput, buildCommitmentRoot, selectProofLevel, ZK_IS_BLOCKING, } from './commitment.js';
|
|
4
|
+
export { commit, commitOutput, buildCommitmentRoot, selectProofLevel, ZK_IS_BLOCKING, BN254_MODULUS, } from './commitment.js';
|
|
5
5
|
export { validateArtifact } from './validate-artifact.js';
|
|
6
|
+
export { TAXONOMY_VERSION, REVERSIBILITY_CLASSES, isReversibilityClass, classify as classifyReversibility, isWedgeSurfaceCovered, } from './reversibility_taxonomy.js';
|
|
7
|
+
export { MAPPING_VERSION, TRUST_EDGES, classify as classifyTrustEdge, knownKinds as knownTrustEdgeKinds, } from './trust_edge_mapping.js';
|
|
8
|
+
export { METADATA_SOURCE_VALUES, isMetadataSource } from './metadata_source.js';
|
|
6
9
|
//# sourceMappingURL=index.js.map
|
package/dist/index.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,yFAAyF;AACzF,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AACpG,OAAO,EACL,MAAM,EACN,YAAY,EACZ,mBAAmB,EACnB,gBAAgB,EAChB,cAAc,
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,yFAAyF;AACzF,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AACpG,OAAO,EACL,MAAM,EACN,YAAY,EACZ,mBAAmB,EACnB,gBAAgB,EAChB,cAAc,EACd,aAAa,GACd,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAoC1D,OAAO,EACL,gBAAgB,EAChB,qBAAqB,EACrB,oBAAoB,EACpB,QAAQ,IAAI,qBAAqB,EACjC,qBAAqB,GACtB,MAAM,6BAA6B,CAAC;AAErC,OAAO,EACL,eAAe,EACf,WAAW,EACX,QAAQ,IAAI,iBAAiB,EAC7B,UAAU,IAAI,mBAAmB,GAClC,MAAM,yBAAyB,CAAC;AAEjC,OAAO,EAAE,sBAAsB,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC"}
|
|
@@ -0,0 +1,4 @@
|
|
|
1
|
+
export declare const METADATA_SOURCE_VALUES: readonly ["hook_observed", "sdk_decomposed", "sdk_caller_supplied", "hook_and_sdk_concordant"];
|
|
2
|
+
export type MetadataSource = (typeof METADATA_SOURCE_VALUES)[number];
|
|
3
|
+
export declare function isMetadataSource(value: unknown): value is MetadataSource;
|
|
4
|
+
//# sourceMappingURL=metadata_source.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"metadata_source.d.ts","sourceRoot":"","sources":["../src/metadata_source.ts"],"names":[],"mappings":"AAkCA,eAAO,MAAM,sBAAsB,gGAmBzB,CAAC;AAEX,MAAM,MAAM,cAAc,GAAG,CAAC,OAAO,sBAAsB,CAAC,CAAC,MAAM,CAAC,CAAC;AAErE,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,cAAc,CAIxE"}
|