agent-passport-system 2.4.0-alpha → 2.5.1-alpha
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/README.md +13 -3
- package/dist/src/errors/identity-composition-error.d.ts +34 -0
- package/dist/src/errors/identity-composition-error.d.ts.map +1 -0
- package/dist/src/errors/identity-composition-error.js +41 -0
- package/dist/src/errors/identity-composition-error.js.map +1 -0
- package/dist/src/index.d.ts +4 -0
- package/dist/src/index.d.ts.map +1 -1
- package/dist/src/index.js +6 -0
- package/dist/src/index.js.map +1 -1
- package/dist/src/types/did.d.ts +9 -1
- package/dist/src/types/did.d.ts.map +1 -1
- package/dist/src/types/passport.d.ts +2 -0
- package/dist/src/types/passport.d.ts.map +1 -1
- package/dist/src/types/passport.js.map +1 -1
- package/dist/src/v2/accountability/__tests__/action.test.d.ts +2 -0
- package/dist/src/v2/accountability/__tests__/action.test.d.ts.map +1 -0
- package/dist/src/v2/accountability/__tests__/action.test.js +101 -0
- package/dist/src/v2/accountability/__tests__/action.test.js.map +1 -0
- package/dist/src/v2/accountability/__tests__/authority-boundary.test.d.ts +2 -0
- package/dist/src/v2/accountability/__tests__/authority-boundary.test.d.ts.map +1 -0
- package/dist/src/v2/accountability/__tests__/authority-boundary.test.js +79 -0
- package/dist/src/v2/accountability/__tests__/authority-boundary.test.js.map +1 -0
- package/dist/src/v2/accountability/__tests__/bundle.test.d.ts +2 -0
- package/dist/src/v2/accountability/__tests__/bundle.test.d.ts.map +1 -0
- package/dist/src/v2/accountability/__tests__/bundle.test.js +122 -0
- package/dist/src/v2/accountability/__tests__/bundle.test.js.map +1 -0
- package/dist/src/v2/accountability/__tests__/contestability.test.d.ts +2 -0
- package/dist/src/v2/accountability/__tests__/contestability.test.d.ts.map +1 -0
- package/dist/src/v2/accountability/__tests__/contestability.test.js +205 -0
- package/dist/src/v2/accountability/__tests__/contestability.test.js.map +1 -0
- package/dist/src/v2/accountability/__tests__/custody.test.d.ts +2 -0
- package/dist/src/v2/accountability/__tests__/custody.test.d.ts.map +1 -0
- package/dist/src/v2/accountability/__tests__/custody.test.js +155 -0
- package/dist/src/v2/accountability/__tests__/custody.test.js.map +1 -0
- package/dist/src/v2/accountability/__tests__/fixtures.test.d.ts +2 -0
- package/dist/src/v2/accountability/__tests__/fixtures.test.d.ts.map +1 -0
- package/dist/src/v2/accountability/__tests__/fixtures.test.js +48 -0
- package/dist/src/v2/accountability/__tests__/fixtures.test.js.map +1 -0
- package/dist/src/v2/accountability/construct/action.d.ts +7 -0
- package/dist/src/v2/accountability/construct/action.d.ts.map +1 -0
- package/dist/src/v2/accountability/construct/action.js +46 -0
- package/dist/src/v2/accountability/construct/action.js.map +1 -0
- package/dist/src/v2/accountability/construct/authority-boundary.d.ts +7 -0
- package/dist/src/v2/accountability/construct/authority-boundary.d.ts.map +1 -0
- package/dist/src/v2/accountability/construct/authority-boundary.js +34 -0
- package/dist/src/v2/accountability/construct/authority-boundary.js.map +1 -0
- package/dist/src/v2/accountability/construct/bundle.d.ts +19 -0
- package/dist/src/v2/accountability/construct/bundle.d.ts.map +1 -0
- package/dist/src/v2/accountability/construct/bundle.js +63 -0
- package/dist/src/v2/accountability/construct/bundle.js.map +1 -0
- package/dist/src/v2/accountability/construct/contestability.d.ts +9 -0
- package/dist/src/v2/accountability/construct/contestability.d.ts.map +1 -0
- package/dist/src/v2/accountability/construct/contestability.js +62 -0
- package/dist/src/v2/accountability/construct/contestability.js.map +1 -0
- package/dist/src/v2/accountability/construct/custody.d.ts +7 -0
- package/dist/src/v2/accountability/construct/custody.d.ts.map +1 -0
- package/dist/src/v2/accountability/construct/custody.js +41 -0
- package/dist/src/v2/accountability/construct/custody.js.map +1 -0
- package/dist/src/v2/accountability/index.d.ts +12 -0
- package/dist/src/v2/accountability/index.d.ts.map +1 -0
- package/dist/src/v2/accountability/index.js +37 -0
- package/dist/src/v2/accountability/index.js.map +1 -0
- package/dist/src/v2/accountability/types/action.d.ts +24 -0
- package/dist/src/v2/accountability/types/action.d.ts.map +1 -0
- package/dist/src/v2/accountability/types/action.js +11 -0
- package/dist/src/v2/accountability/types/action.js.map +1 -0
- package/dist/src/v2/accountability/types/authority-boundary.d.ts +16 -0
- package/dist/src/v2/accountability/types/authority-boundary.d.ts.map +1 -0
- package/dist/src/v2/accountability/types/authority-boundary.js +12 -0
- package/dist/src/v2/accountability/types/authority-boundary.js.map +1 -0
- package/dist/src/v2/accountability/types/base.d.ts +35 -0
- package/dist/src/v2/accountability/types/base.d.ts.map +1 -0
- package/dist/src/v2/accountability/types/base.js +10 -0
- package/dist/src/v2/accountability/types/base.js.map +1 -0
- package/dist/src/v2/accountability/types/bundle.d.ts +23 -0
- package/dist/src/v2/accountability/types/bundle.d.ts.map +1 -0
- package/dist/src/v2/accountability/types/bundle.js +12 -0
- package/dist/src/v2/accountability/types/bundle.js.map +1 -0
- package/dist/src/v2/accountability/types/contestability.d.ts +31 -0
- package/dist/src/v2/accountability/types/contestability.d.ts.map +1 -0
- package/dist/src/v2/accountability/types/contestability.js +18 -0
- package/dist/src/v2/accountability/types/contestability.js.map +1 -0
- package/dist/src/v2/accountability/types/custody.d.ts +18 -0
- package/dist/src/v2/accountability/types/custody.d.ts.map +1 -0
- package/dist/src/v2/accountability/types/custody.js +14 -0
- package/dist/src/v2/accountability/types/custody.js.map +1 -0
- package/dist/src/v2/accountability/types/index.d.ts +7 -0
- package/dist/src/v2/accountability/types/index.d.ts.map +1 -0
- package/dist/src/v2/accountability/types/index.js +7 -0
- package/dist/src/v2/accountability/types/index.js.map +1 -0
- package/dist/src/v2/accountability/verify/action.d.ts +8 -0
- package/dist/src/v2/accountability/verify/action.d.ts.map +1 -0
- package/dist/src/v2/accountability/verify/action.js +33 -0
- package/dist/src/v2/accountability/verify/action.js.map +1 -0
- package/dist/src/v2/accountability/verify/authority-boundary.d.ts +8 -0
- package/dist/src/v2/accountability/verify/authority-boundary.d.ts.map +1 -0
- package/dist/src/v2/accountability/verify/authority-boundary.js +26 -0
- package/dist/src/v2/accountability/verify/authority-boundary.js.map +1 -0
- package/dist/src/v2/accountability/verify/bundle.d.ts +8 -0
- package/dist/src/v2/accountability/verify/bundle.d.ts.map +1 -0
- package/dist/src/v2/accountability/verify/bundle.js +31 -0
- package/dist/src/v2/accountability/verify/bundle.js.map +1 -0
- package/dist/src/v2/accountability/verify/contestability.d.ts +8 -0
- package/dist/src/v2/accountability/verify/contestability.d.ts.map +1 -0
- package/dist/src/v2/accountability/verify/contestability.js +107 -0
- package/dist/src/v2/accountability/verify/contestability.js.map +1 -0
- package/dist/src/v2/accountability/verify/custody.d.ts +8 -0
- package/dist/src/v2/accountability/verify/custody.d.ts.map +1 -0
- package/dist/src/v2/accountability/verify/custody.js +58 -0
- package/dist/src/v2/accountability/verify/custody.js.map +1 -0
- package/dist/src/v2/index.d.ts +2 -0
- package/dist/src/v2/index.d.ts.map +1 -1
- package/dist/src/v2/index.js +4 -0
- package/dist/src/v2/index.js.map +1 -1
- package/package.json +3 -3
|
@@ -0,0 +1,79 @@
|
|
|
1
|
+
// Copyright 2024-2026 Tymofii Pidlisnyi. Apache-2.0 license. See LICENSE.
|
|
2
|
+
// AuthorityBoundaryReceipt — construct + verify tests.
|
|
3
|
+
import { describe, it } from 'node:test';
|
|
4
|
+
import assert from 'node:assert/strict';
|
|
5
|
+
import { createAuthorityBoundaryReceipt } from '../construct/authority-boundary.js';
|
|
6
|
+
import { verifyAuthorityBoundaryReceipt } from '../verify/authority-boundary.js';
|
|
7
|
+
const PRIVATE_KEY = '11'.repeat(64);
|
|
8
|
+
const FIXED_TS = '2026-04-30T00:00:00.000Z';
|
|
9
|
+
const ACTION_ID_REF = 'b'.repeat(64);
|
|
10
|
+
function baseInput(result, detail) {
|
|
11
|
+
return {
|
|
12
|
+
timestamp: FIXED_TS,
|
|
13
|
+
scope_of_claim: {
|
|
14
|
+
asserts: 'The evaluator ran a delegation-scope check on the named action.',
|
|
15
|
+
does_not_assert: [
|
|
16
|
+
'That the underlying action receipt was itself valid.',
|
|
17
|
+
'That side effects had occurred at evaluation time.',
|
|
18
|
+
],
|
|
19
|
+
capture_mode: 'gateway_observed',
|
|
20
|
+
completeness: 'complete',
|
|
21
|
+
self_attested: false,
|
|
22
|
+
},
|
|
23
|
+
action_id: ACTION_ID_REF,
|
|
24
|
+
evaluator_did: 'did:aps:test-gateway-001',
|
|
25
|
+
delegation_chain_root: 'c'.repeat(64),
|
|
26
|
+
result,
|
|
27
|
+
...(detail !== undefined ? { result_detail: detail } : {}),
|
|
28
|
+
};
|
|
29
|
+
}
|
|
30
|
+
describe('createAuthorityBoundaryReceipt', () => {
|
|
31
|
+
for (const result of ['inside', 'outside', 'indeterminate']) {
|
|
32
|
+
it(`round-trips construct + verify for result='${result}'`, () => {
|
|
33
|
+
const detail = result === 'outside' ? `scope 'commerce.purchase' not in delegation` : undefined;
|
|
34
|
+
const receipt = createAuthorityBoundaryReceipt(baseInput(result, detail), PRIVATE_KEY);
|
|
35
|
+
assert.equal(receipt.result, result);
|
|
36
|
+
const v = verifyAuthorityBoundaryReceipt(receipt);
|
|
37
|
+
assert.equal(v.valid, true);
|
|
38
|
+
assert.equal(v.reason, undefined);
|
|
39
|
+
});
|
|
40
|
+
}
|
|
41
|
+
it('produces stable receipt_id for identical inputs (deterministic)', () => {
|
|
42
|
+
const a = createAuthorityBoundaryReceipt(baseInput('inside'), PRIVATE_KEY);
|
|
43
|
+
const b = createAuthorityBoundaryReceipt(baseInput('inside'), PRIVATE_KEY);
|
|
44
|
+
assert.equal(a.receipt_id, b.receipt_id);
|
|
45
|
+
assert.equal(a.signature, b.signature);
|
|
46
|
+
});
|
|
47
|
+
it('sets claim_type to aps:authority_boundary:v1', () => {
|
|
48
|
+
const receipt = createAuthorityBoundaryReceipt(baseInput('inside'), PRIVATE_KEY);
|
|
49
|
+
assert.equal(receipt.claim_type, 'aps:authority_boundary:v1');
|
|
50
|
+
});
|
|
51
|
+
});
|
|
52
|
+
describe('verifyAuthorityBoundaryReceipt', () => {
|
|
53
|
+
it('detects tampered result field via RECEIPT_ID_MISMATCH', () => {
|
|
54
|
+
const receipt = createAuthorityBoundaryReceipt(baseInput('inside'), PRIVATE_KEY);
|
|
55
|
+
const tampered = { ...receipt, result: 'outside' };
|
|
56
|
+
const v = verifyAuthorityBoundaryReceipt(tampered);
|
|
57
|
+
assert.equal(v.valid, false);
|
|
58
|
+
assert.equal(v.reason, 'RECEIPT_ID_MISMATCH');
|
|
59
|
+
});
|
|
60
|
+
it('detects tampered signature bytes via SIGNATURE_INVALID', () => {
|
|
61
|
+
const receipt = createAuthorityBoundaryReceipt(baseInput('outside', 'reason'), PRIVATE_KEY);
|
|
62
|
+
const flipped = receipt.signature.slice(0, -1) + (receipt.signature.endsWith('0') ? '1' : '0');
|
|
63
|
+
const tampered = { ...receipt, signature: flipped };
|
|
64
|
+
const v = verifyAuthorityBoundaryReceipt(tampered);
|
|
65
|
+
assert.equal(v.valid, false);
|
|
66
|
+
assert.equal(v.reason, 'SIGNATURE_INVALID');
|
|
67
|
+
});
|
|
68
|
+
it('rejects wrong claim_type with INVALID_CLAIM_TYPE', () => {
|
|
69
|
+
const receipt = createAuthorityBoundaryReceipt(baseInput('inside'), PRIVATE_KEY);
|
|
70
|
+
const wrong = {
|
|
71
|
+
...receipt,
|
|
72
|
+
claim_type: 'aps:action:v1',
|
|
73
|
+
};
|
|
74
|
+
const v = verifyAuthorityBoundaryReceipt(wrong);
|
|
75
|
+
assert.equal(v.valid, false);
|
|
76
|
+
assert.equal(v.reason, 'INVALID_CLAIM_TYPE');
|
|
77
|
+
});
|
|
78
|
+
});
|
|
79
|
+
//# sourceMappingURL=authority-boundary.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"authority-boundary.test.js","sourceRoot":"","sources":["../../../../../src/v2/accountability/__tests__/authority-boundary.test.ts"],"names":[],"mappings":"AAAA,0EAA0E;AAC1E,uDAAuD;AAEvD,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAA;AACxC,OAAO,MAAM,MAAM,oBAAoB,CAAA;AAEvC,OAAO,EAAE,8BAA8B,EAAE,MAAM,oCAAoC,CAAA;AACnF,OAAO,EAAE,8BAA8B,EAAE,MAAM,iCAAiC,CAAA;AAIhF,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;AACnC,MAAM,QAAQ,GAAG,0BAA0B,CAAA;AAC3C,MAAM,aAAa,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;AAEpC,SAAS,SAAS,CAAC,MAAsB,EAAE,MAAe;IACxD,OAAO;QACL,SAAS,EAAE,QAAQ;QACnB,cAAc,EAAE;YACd,OAAO,EAAE,iEAAiE;YAC1E,eAAe,EAAE;gBACf,sDAAsD;gBACtD,oDAAoD;aACrD;YACD,YAAY,EAAE,kBAAkB;YAChC,YAAY,EAAE,UAAU;YACxB,aAAa,EAAE,KAAK;SACrB;QACD,SAAS,EAAE,aAAa;QACxB,aAAa,EAAE,0BAA0B;QACzC,qBAAqB,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QACrC,MAAM;QACN,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC3D,CAAA;AACH,CAAC;AAED,QAAQ,CAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,KAAK,MAAM,MAAM,IAAI,CAAC,QAAQ,EAAE,SAAS,EAAE,eAAe,CAAU,EAAE,CAAC;QACrE,EAAE,CAAC,8CAA8C,MAAM,GAAG,EAAE,GAAG,EAAE;YAC/D,MAAM,MAAM,GACV,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,6CAA6C,CAAC,CAAC,CAAC,SAAS,CAAA;YAClF,MAAM,OAAO,GAAG,8BAA8B,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,WAAW,CAAC,CAAA;YACtF,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;YACpC,MAAM,CAAC,GAAG,8BAA8B,CAAC,OAAO,CAAC,CAAA;YACjD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;YAC3B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;QACnC,CAAC,CAAC,CAAA;IACJ,CAAC;IAED,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,CAAC,GAAG,8BAA8B,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,WAAW,CAAC,CAAA;QAC1E,MAAM,CAAC,GAAG,8BAA8B,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,WAAW,CAAC,CAAA;QAC1E,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,CAAA;QACxC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC,CAAA;IACxC,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,OAAO,GAAG,8BAA8B,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,WAAW,CAAC,CAAA;QAChF,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,EAAE,2BAA2B,CAAC,CAAA;IAC/D,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,OAAO,GAAG,8BAA8B,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,WAAW,CAAC,CAAA;QAChF,MAAM,QAAQ,GAA6B,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,CAAA;QAC5E,MAAM,CAAC,GAAG,8BAA8B,CAAC,QAAQ,CAAC,CAAA;QAClD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QAC5B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAA;IAC/C,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,OAAO,GAAG,8BAA8B,CAAC,SAAS,CAAC,SAAS,EAAE,QAAQ,CAAC,EAAE,WAAW,CAAC,CAAA;QAC3F,MAAM,OAAO,GACX,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;QAChF,MAAM,QAAQ,GAA6B,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,CAAA;QAC7E,MAAM,CAAC,GAAG,8BAA8B,CAAC,QAAQ,CAAC,CAAA;QAClD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QAC5B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAA;IAC7C,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,OAAO,GAAG,8BAA8B,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,WAAW,CAAC,CAAA;QAChF,MAAM,KAAK,GAAG;YACZ,GAAG,OAAO;YACV,UAAU,EAAE,eAAyD;SACtE,CAAA;QACD,MAAM,CAAC,GAAG,8BAA8B,CAAC,KAAK,CAAC,CAAA;QAC/C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QAC5B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAA;IAC9C,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"bundle.test.d.ts","sourceRoot":"","sources":["../../../../../src/v2/accountability/__tests__/bundle.test.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,122 @@
|
|
|
1
|
+
// Copyright 2024-2026 Tymofii Pidlisnyi. Apache-2.0 license. See LICENSE.
|
|
2
|
+
// APSBundle — construct + verify tests.
|
|
3
|
+
import { describe, it } from 'node:test';
|
|
4
|
+
import assert from 'node:assert/strict';
|
|
5
|
+
import { createAPSBundle, computeMerkleRoot } from '../construct/bundle.js';
|
|
6
|
+
import { verifyAPSBundle } from '../verify/bundle.js';
|
|
7
|
+
const PRIVATE_KEY = '55'.repeat(64);
|
|
8
|
+
const FIXED_TS = '2026-04-30T00:00:00.000Z';
|
|
9
|
+
const RID_A = 'a'.repeat(64);
|
|
10
|
+
const RID_B = 'b'.repeat(64);
|
|
11
|
+
const RID_C = 'c'.repeat(64);
|
|
12
|
+
function refOf(id, claim_type = 'aps:action:v1') {
|
|
13
|
+
return { receipt_id: id, claim_type };
|
|
14
|
+
}
|
|
15
|
+
function input(receipts, extras = {}) {
|
|
16
|
+
return {
|
|
17
|
+
timestamp: FIXED_TS,
|
|
18
|
+
scope_of_claim: {
|
|
19
|
+
asserts: 'Bundler asserts the listed receipt_ids were observed in the declared period.',
|
|
20
|
+
does_not_assert: [
|
|
21
|
+
'That every receipt referenced is itself valid.',
|
|
22
|
+
'That no other receipts existed outside this bundle.',
|
|
23
|
+
],
|
|
24
|
+
capture_mode: 'gateway_observed',
|
|
25
|
+
completeness: 'complete',
|
|
26
|
+
self_attested: false,
|
|
27
|
+
},
|
|
28
|
+
bundler_did: 'did:aps:test-bundler-001',
|
|
29
|
+
period_start: '2026-04-30T00:00:00.000Z',
|
|
30
|
+
period_end: '2026-05-01T00:00:00.000Z',
|
|
31
|
+
receipts,
|
|
32
|
+
profile_conformance: ['aps:profile/mva-v1'],
|
|
33
|
+
...extras,
|
|
34
|
+
};
|
|
35
|
+
}
|
|
36
|
+
describe('createAPSBundle', () => {
|
|
37
|
+
it('round-trips empty bundle (receipt_count = 0)', () => {
|
|
38
|
+
const bundle = createAPSBundle(input([]), PRIVATE_KEY);
|
|
39
|
+
assert.equal(bundle.receipt_count, 0);
|
|
40
|
+
// Empty merkle_root sentinel = sha256('') = e3b0c44298...
|
|
41
|
+
assert.equal(bundle.merkle_root, 'e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855');
|
|
42
|
+
const v = verifyAPSBundle(bundle);
|
|
43
|
+
assert.equal(v.valid, true);
|
|
44
|
+
});
|
|
45
|
+
it('round-trips single-receipt bundle', () => {
|
|
46
|
+
const bundle = createAPSBundle(input([refOf(RID_A)]), PRIVATE_KEY);
|
|
47
|
+
assert.equal(bundle.receipt_count, 1);
|
|
48
|
+
assert.equal(bundle.merkle_root, computeMerkleRoot([RID_A]));
|
|
49
|
+
const v = verifyAPSBundle(bundle);
|
|
50
|
+
assert.equal(v.valid, true);
|
|
51
|
+
});
|
|
52
|
+
it('round-trips two-receipt bundle and merkle_root is deterministic', () => {
|
|
53
|
+
const bundle1 = createAPSBundle(input([refOf(RID_A), refOf(RID_B)]), PRIVATE_KEY);
|
|
54
|
+
const bundle2 = createAPSBundle(input([refOf(RID_A), refOf(RID_B)]), PRIVATE_KEY);
|
|
55
|
+
assert.equal(bundle1.merkle_root, bundle2.merkle_root);
|
|
56
|
+
assert.equal(bundle1.receipt_id, bundle2.receipt_id);
|
|
57
|
+
assert.equal(verifyAPSBundle(bundle1).valid, true);
|
|
58
|
+
});
|
|
59
|
+
it('round-trips three-receipt bundle (exercises odd-layer duplicate path)', () => {
|
|
60
|
+
const bundle = createAPSBundle(input([refOf(RID_A), refOf(RID_B), refOf(RID_C)]), PRIVATE_KEY);
|
|
61
|
+
assert.equal(bundle.receipt_count, 3);
|
|
62
|
+
assert.equal(verifyAPSBundle(bundle).valid, true);
|
|
63
|
+
});
|
|
64
|
+
it('produces same merkle_root regardless of input receipt order (sort discipline)', () => {
|
|
65
|
+
const ordered = createAPSBundle(input([refOf(RID_A), refOf(RID_B), refOf(RID_C)]), PRIVATE_KEY);
|
|
66
|
+
const reordered = createAPSBundle(input([refOf(RID_C), refOf(RID_A), refOf(RID_B)]), PRIVATE_KEY);
|
|
67
|
+
assert.equal(ordered.merkle_root, reordered.merkle_root);
|
|
68
|
+
// receipt_id matches too because all other fields and order-of-keys are equal.
|
|
69
|
+
assert.equal(ordered.receipt_id, reordered.receipt_id);
|
|
70
|
+
});
|
|
71
|
+
it('round-trips profile_conformance values verbatim', () => {
|
|
72
|
+
const bundle = createAPSBundle(input([refOf(RID_A)], { profile_conformance: ['aps:profile/mva-v1', 'aps:profile/extra'] }), PRIVATE_KEY);
|
|
73
|
+
assert.deepEqual(bundle.profile_conformance, ['aps:profile/mva-v1', 'aps:profile/extra']);
|
|
74
|
+
assert.equal(verifyAPSBundle(bundle).valid, true);
|
|
75
|
+
});
|
|
76
|
+
});
|
|
77
|
+
describe('verifyAPSBundle', () => {
|
|
78
|
+
it('detects mutated receipt_count via RECEIPT_ID_MISMATCH', () => {
|
|
79
|
+
const bundle = createAPSBundle(input([refOf(RID_A), refOf(RID_B)]), PRIVATE_KEY);
|
|
80
|
+
const tampered = { ...bundle, receipt_count: 99 };
|
|
81
|
+
const v = verifyAPSBundle(tampered);
|
|
82
|
+
assert.equal(v.valid, false);
|
|
83
|
+
assert.equal(v.reason, 'RECEIPT_ID_MISMATCH');
|
|
84
|
+
});
|
|
85
|
+
it('detects mutated merkle_root via RECEIPT_ID_MISMATCH', () => {
|
|
86
|
+
const bundle = createAPSBundle(input([refOf(RID_A), refOf(RID_B)]), PRIVATE_KEY);
|
|
87
|
+
const tampered = { ...bundle, merkle_root: '0'.repeat(64) };
|
|
88
|
+
const v = verifyAPSBundle(tampered);
|
|
89
|
+
assert.equal(v.valid, false);
|
|
90
|
+
assert.equal(v.reason, 'RECEIPT_ID_MISMATCH');
|
|
91
|
+
});
|
|
92
|
+
it('detects mutated signature bytes alone via SIGNATURE_INVALID', () => {
|
|
93
|
+
const bundle = createAPSBundle(input([refOf(RID_A), refOf(RID_B)]), PRIVATE_KEY);
|
|
94
|
+
const flipped = bundle.signature.slice(0, -1) + (bundle.signature.endsWith('0') ? '1' : '0');
|
|
95
|
+
const tampered = { ...bundle, signature: flipped };
|
|
96
|
+
const v = verifyAPSBundle(tampered);
|
|
97
|
+
assert.equal(v.valid, false);
|
|
98
|
+
assert.equal(v.reason, 'SIGNATURE_INVALID');
|
|
99
|
+
});
|
|
100
|
+
it('rejects wrong claim_type with INVALID_CLAIM_TYPE', () => {
|
|
101
|
+
const bundle = createAPSBundle(input([refOf(RID_A)]), PRIVATE_KEY);
|
|
102
|
+
const wrong = { ...bundle, claim_type: 'aps:action:v1' };
|
|
103
|
+
const v = verifyAPSBundle(wrong);
|
|
104
|
+
assert.equal(v.valid, false);
|
|
105
|
+
assert.equal(v.reason, 'INVALID_CLAIM_TYPE');
|
|
106
|
+
});
|
|
107
|
+
it('rejects malformed merkle_root with INVALID_MERKLE_ROOT', () => {
|
|
108
|
+
const bundle = createAPSBundle(input([refOf(RID_A)]), PRIVATE_KEY);
|
|
109
|
+
const bad = { ...bundle, merkle_root: 'too-short' };
|
|
110
|
+
const v = verifyAPSBundle(bad);
|
|
111
|
+
assert.equal(v.valid, false);
|
|
112
|
+
assert.equal(v.reason, 'INVALID_MERKLE_ROOT');
|
|
113
|
+
});
|
|
114
|
+
it('rejects malformed receipt_count with INVALID_RECEIPT_COUNT', () => {
|
|
115
|
+
const bundle = createAPSBundle(input([refOf(RID_A)]), PRIVATE_KEY);
|
|
116
|
+
const bad = { ...bundle, receipt_count: -1 };
|
|
117
|
+
const v = verifyAPSBundle(bad);
|
|
118
|
+
assert.equal(v.valid, false);
|
|
119
|
+
assert.equal(v.reason, 'INVALID_RECEIPT_COUNT');
|
|
120
|
+
});
|
|
121
|
+
});
|
|
122
|
+
//# sourceMappingURL=bundle.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"bundle.test.js","sourceRoot":"","sources":["../../../../../src/v2/accountability/__tests__/bundle.test.ts"],"names":[],"mappings":"AAAA,0EAA0E;AAC1E,wCAAwC;AAExC,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAA;AACxC,OAAO,MAAM,MAAM,oBAAoB,CAAA;AAEvC,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAA;AAC3E,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAA;AAIrD,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;AACnC,MAAM,QAAQ,GAAG,0BAA0B,CAAA;AAE3C,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;AAC5B,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;AAC5B,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;AAE5B,SAAS,KAAK,CAAC,EAAU,EAAE,UAAU,GAAG,eAAe;IACrD,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,UAAU,EAAE,CAAA;AACvC,CAAC;AAED,SAAS,KAAK,CAAC,QAA6B,EAAE,SAAwC,EAAE;IACtF,OAAO;QACL,SAAS,EAAE,QAAQ;QACnB,cAAc,EAAE;YACd,OAAO,EAAE,8EAA8E;YACvF,eAAe,EAAE;gBACf,gDAAgD;gBAChD,qDAAqD;aACtD;YACD,YAAY,EAAE,kBAAkB;YAChC,YAAY,EAAE,UAAU;YACxB,aAAa,EAAE,KAAK;SACrB;QACD,WAAW,EAAE,0BAA0B;QACvC,YAAY,EAAE,0BAA0B;QACxC,UAAU,EAAE,0BAA0B;QACtC,QAAQ;QACR,mBAAmB,EAAE,CAAC,oBAAoB,CAAC;QAC3C,GAAG,MAAM;KACV,CAAA;AACH,CAAC;AAED,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,CAAA;QACtD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC,CAAC,CAAA;QACrC,0DAA0D;QAC1D,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,EAAE,kEAAkE,CAAC,CAAA;QACpG,MAAM,CAAC,GAAG,eAAe,CAAC,MAAM,CAAC,CAAA;QACjC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;IAC7B,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAA;QAClE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC,CAAC,CAAA;QACrC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,EAAE,iBAAiB,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;QAC5D,MAAM,CAAC,GAAG,eAAe,CAAC,MAAM,CAAC,CAAA;QACjC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;IAC7B,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAA;QACjF,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAA;QACjF,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE,OAAO,CAAC,WAAW,CAAC,CAAA;QACtD,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,UAAU,CAAC,CAAA;QACpD,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;IACpD,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAA;QAC9F,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC,CAAC,CAAA;QACrC,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;IACnD,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAA;QAC/F,MAAM,SAAS,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAA;QACjG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,WAAW,EAAE,SAAS,CAAC,WAAW,CAAC,CAAA;QACxD,+EAA+E;QAC/E,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,UAAU,CAAC,CAAA;IACxD,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,MAAM,GAAG,eAAe,CAC5B,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,mBAAmB,EAAE,CAAC,oBAAoB,EAAE,mBAAmB,CAAC,EAAE,CAAC,EAC3F,WAAW,CACZ,CAAA;QACD,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,mBAAmB,EAAE,CAAC,oBAAoB,EAAE,mBAAmB,CAAC,CAAC,CAAA;QACzF,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;IACnD,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAA;QAChF,MAAM,QAAQ,GAAc,EAAE,GAAG,MAAM,EAAE,aAAa,EAAE,EAAE,EAAE,CAAA;QAC5D,MAAM,CAAC,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAA;QACnC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QAC5B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAA;IAC/C,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAA;QAChF,MAAM,QAAQ,GAAc,EAAE,GAAG,MAAM,EAAE,WAAW,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAA;QACtE,MAAM,CAAC,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAA;QACnC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QAC5B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAA;IAC/C,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAA;QAChF,MAAM,OAAO,GACX,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;QAC9E,MAAM,QAAQ,GAAc,EAAE,GAAG,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,CAAA;QAC7D,MAAM,CAAC,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAA;QACnC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QAC5B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAA;IAC7C,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAA;QAClE,MAAM,KAAK,GAAG,EAAE,GAAG,MAAM,EAAE,UAAU,EAAE,eAA6C,EAAE,CAAA;QACtF,MAAM,CAAC,GAAG,eAAe,CAAC,KAAK,CAAC,CAAA;QAChC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QAC5B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAA;IAC9C,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAA;QAClE,MAAM,GAAG,GAAc,EAAE,GAAG,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,CAAA;QAC9D,MAAM,CAAC,GAAG,eAAe,CAAC,GAAG,CAAC,CAAA;QAC9B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QAC5B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAA;IAC/C,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,MAAM,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAA;QAClE,MAAM,GAAG,GAAc,EAAE,GAAG,MAAM,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,CAAA;QACvD,MAAM,CAAC,GAAG,eAAe,CAAC,GAAG,CAAC,CAAA;QAC9B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QAC5B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAA;IACjD,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"contestability.test.d.ts","sourceRoot":"","sources":["../../../../../src/v2/accountability/__tests__/contestability.test.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,205 @@
|
|
|
1
|
+
// Copyright 2024-2026 Tymofii Pidlisnyi. Apache-2.0 license. See LICENSE.
|
|
2
|
+
// ContestabilityReceipt — construct + verify conformance.
|
|
3
|
+
//
|
|
4
|
+
// Note: node:test rather than vitest because the repo has no vitest
|
|
5
|
+
// install; node:test is the v2 convention.
|
|
6
|
+
import { describe, it } from 'node:test';
|
|
7
|
+
import assert from 'node:assert/strict';
|
|
8
|
+
import { createHash } from 'node:crypto';
|
|
9
|
+
import { readFileSync } from 'node:fs';
|
|
10
|
+
import { dirname, join } from 'node:path';
|
|
11
|
+
import { fileURLToPath } from 'node:url';
|
|
12
|
+
import { attachControllerResponse, createContestabilityReceipt, } from '../construct/contestability.js';
|
|
13
|
+
import { verifyContestabilityReceipt } from '../verify/contestability.js';
|
|
14
|
+
import { publicKeyFromPrivate } from '../../../crypto/keys.js';
|
|
15
|
+
const __dirname = dirname(fileURLToPath(import.meta.url));
|
|
16
|
+
const CONTESTANT_PRIV = '33'.repeat(64);
|
|
17
|
+
const CONTROLLER_PRIV = '44'.repeat(64);
|
|
18
|
+
const CONTESTANT_TS = '2026-04-30T00:00:00.000Z';
|
|
19
|
+
const RESPONDED_TS = '2026-04-30T01:00:00.000Z';
|
|
20
|
+
const ACTION_ID = '0000000000000000000000000000000000000000000000000000000000000002';
|
|
21
|
+
const SCOPE = {
|
|
22
|
+
asserts: 'Named contestant filed a challenge against the named action with the named grounds.',
|
|
23
|
+
does_not_assert: [
|
|
24
|
+
'that the contestation is meritorious',
|
|
25
|
+
'that the standing is legally valid',
|
|
26
|
+
'that any controller response is correct or final',
|
|
27
|
+
],
|
|
28
|
+
capture_mode: 'self_attested',
|
|
29
|
+
completeness: 'complete',
|
|
30
|
+
self_attested: true,
|
|
31
|
+
};
|
|
32
|
+
function baseInput(overrides = {}) {
|
|
33
|
+
return {
|
|
34
|
+
timestamp: CONTESTANT_TS,
|
|
35
|
+
scope_of_claim: SCOPE,
|
|
36
|
+
contestant: {
|
|
37
|
+
did: 'did:aps:test-subject-001',
|
|
38
|
+
standing_basis: 'data_subject',
|
|
39
|
+
},
|
|
40
|
+
action_id: ACTION_ID,
|
|
41
|
+
grounds: 'Automated decision affected my access without disclosed criteria.',
|
|
42
|
+
requested_remedy: 'explanation',
|
|
43
|
+
...overrides,
|
|
44
|
+
};
|
|
45
|
+
}
|
|
46
|
+
describe('ContestabilityReceipt — construct + verify', () => {
|
|
47
|
+
it('happy path without response: construct + verify round-trips green', () => {
|
|
48
|
+
const r = createContestabilityReceipt(baseInput(), CONTESTANT_PRIV);
|
|
49
|
+
const v = verifyContestabilityReceipt(r);
|
|
50
|
+
assert.equal(v.valid, true, `expected valid; got reason=${v.reason}`);
|
|
51
|
+
assert.equal(r.claim_type, 'aps:contestability:v1');
|
|
52
|
+
assert.equal(r.controller_response, undefined);
|
|
53
|
+
});
|
|
54
|
+
it('receipt_id is stable across reruns with identical inputs', () => {
|
|
55
|
+
const a = createContestabilityReceipt(baseInput(), CONTESTANT_PRIV);
|
|
56
|
+
const b = createContestabilityReceipt(baseInput(), CONTESTANT_PRIV);
|
|
57
|
+
assert.equal(a.receipt_id, b.receipt_id);
|
|
58
|
+
assert.equal(a.signature, b.signature);
|
|
59
|
+
});
|
|
60
|
+
it('happy path with controller_response attached: both signatures verify', () => {
|
|
61
|
+
const filed = createContestabilityReceipt(baseInput(), CONTESTANT_PRIV);
|
|
62
|
+
const controllerDid = publicKeyFromPrivate(CONTROLLER_PRIV);
|
|
63
|
+
const responded = attachControllerResponse(filed, {
|
|
64
|
+
status: 'under_review',
|
|
65
|
+
responded_at: RESPONDED_TS,
|
|
66
|
+
responder_did: controllerDid,
|
|
67
|
+
response_detail: 'Acknowledged. Routed to data-subject access team.',
|
|
68
|
+
}, CONTROLLER_PRIV);
|
|
69
|
+
assert.notEqual(responded.controller_response, undefined);
|
|
70
|
+
assert.equal(responded.controller_response?.response_signature.length, 128);
|
|
71
|
+
// Outer (contestant) signature is unchanged from the filing.
|
|
72
|
+
assert.equal(responded.signature, filed.signature);
|
|
73
|
+
assert.equal(responded.receipt_id, filed.receipt_id);
|
|
74
|
+
const v = verifyContestabilityReceipt(responded);
|
|
75
|
+
assert.equal(v.valid, true, `expected valid; got reason=${v.reason}`);
|
|
76
|
+
});
|
|
77
|
+
it('pseudonymous contestant: pseudonym_hash only, no did', () => {
|
|
78
|
+
const pseudo = createHash('sha256').update('subject-handle-42').digest('hex');
|
|
79
|
+
const r = createContestabilityReceipt(baseInput({
|
|
80
|
+
contestant: {
|
|
81
|
+
pseudonym_hash: pseudo,
|
|
82
|
+
standing_basis: 'data_subject',
|
|
83
|
+
},
|
|
84
|
+
}), CONTESTANT_PRIV);
|
|
85
|
+
assert.equal(r.contestant.did, undefined);
|
|
86
|
+
assert.equal(r.contestant.pseudonym_hash, pseudo);
|
|
87
|
+
const v = verifyContestabilityReceipt(r);
|
|
88
|
+
assert.equal(v.valid, true, `expected valid; got reason=${v.reason}`);
|
|
89
|
+
});
|
|
90
|
+
it('construct rejects contestant with neither did nor pseudonym_hash', () => {
|
|
91
|
+
assert.throws(() => createContestabilityReceipt(baseInput({
|
|
92
|
+
contestant: { standing_basis: 'data_subject' },
|
|
93
|
+
}), CONTESTANT_PRIV), /must have at least one of did or pseudonym_hash/);
|
|
94
|
+
});
|
|
95
|
+
it('verify reports MISSING_CONTESTANT_IDENTITY when both identity fields are empty', () => {
|
|
96
|
+
const r = createContestabilityReceipt(baseInput(), CONTESTANT_PRIV);
|
|
97
|
+
const tampered = {
|
|
98
|
+
...r,
|
|
99
|
+
contestant: { standing_basis: 'data_subject' },
|
|
100
|
+
};
|
|
101
|
+
const v = verifyContestabilityReceipt(tampered);
|
|
102
|
+
assert.equal(v.valid, false);
|
|
103
|
+
assert.equal(v.reason, 'MISSING_CONTESTANT_IDENTITY');
|
|
104
|
+
});
|
|
105
|
+
it('tamper on grounds field yields RECEIPT_ID_MISMATCH', () => {
|
|
106
|
+
const r = createContestabilityReceipt(baseInput(), CONTESTANT_PRIV);
|
|
107
|
+
const tampered = {
|
|
108
|
+
...r,
|
|
109
|
+
grounds: 'rewritten grounds after the fact',
|
|
110
|
+
};
|
|
111
|
+
const v = verifyContestabilityReceipt(tampered);
|
|
112
|
+
assert.equal(v.valid, false);
|
|
113
|
+
assert.equal(v.reason, 'RECEIPT_ID_MISMATCH');
|
|
114
|
+
});
|
|
115
|
+
it('tamper on response_detail invalidates the controller signature only', () => {
|
|
116
|
+
const filed = createContestabilityReceipt(baseInput(), CONTESTANT_PRIV);
|
|
117
|
+
const controllerDid = publicKeyFromPrivate(CONTROLLER_PRIV);
|
|
118
|
+
const responded = attachControllerResponse(filed, {
|
|
119
|
+
status: 'under_review',
|
|
120
|
+
responded_at: RESPONDED_TS,
|
|
121
|
+
responder_did: controllerDid,
|
|
122
|
+
response_detail: 'original response detail',
|
|
123
|
+
}, CONTROLLER_PRIV);
|
|
124
|
+
const tampered = {
|
|
125
|
+
...responded,
|
|
126
|
+
controller_response: {
|
|
127
|
+
...responded.controller_response,
|
|
128
|
+
response_detail: 'rewritten response detail',
|
|
129
|
+
},
|
|
130
|
+
};
|
|
131
|
+
const v = verifyContestabilityReceipt(tampered);
|
|
132
|
+
assert.equal(v.valid, false);
|
|
133
|
+
assert.equal(v.reason, 'CONTROLLER_SIGNATURE_INVALID');
|
|
134
|
+
});
|
|
135
|
+
it('all 7 standing_basis values verify', () => {
|
|
136
|
+
const all = [
|
|
137
|
+
'data_subject',
|
|
138
|
+
'third_party',
|
|
139
|
+
'regulator',
|
|
140
|
+
'court',
|
|
141
|
+
'internal_audit',
|
|
142
|
+
'insurer',
|
|
143
|
+
'principal',
|
|
144
|
+
];
|
|
145
|
+
for (const standing_basis of all) {
|
|
146
|
+
const r = createContestabilityReceipt(baseInput({
|
|
147
|
+
contestant: { did: 'did:aps:test-subject-001', standing_basis },
|
|
148
|
+
}), CONTESTANT_PRIV);
|
|
149
|
+
const v = verifyContestabilityReceipt(r);
|
|
150
|
+
assert.equal(v.valid, true, `standing=${standing_basis} did not verify: ${v.reason}`);
|
|
151
|
+
}
|
|
152
|
+
});
|
|
153
|
+
it('all 6 requested_remedy values verify', () => {
|
|
154
|
+
const all = [
|
|
155
|
+
'rollback',
|
|
156
|
+
'review',
|
|
157
|
+
'explanation',
|
|
158
|
+
'compensation',
|
|
159
|
+
'erasure',
|
|
160
|
+
'modification',
|
|
161
|
+
];
|
|
162
|
+
for (const requested_remedy of all) {
|
|
163
|
+
const r = createContestabilityReceipt(baseInput({ requested_remedy }), CONTESTANT_PRIV);
|
|
164
|
+
const v = verifyContestabilityReceipt(r);
|
|
165
|
+
assert.equal(v.valid, true, `remedy=${requested_remedy} did not verify: ${v.reason}`);
|
|
166
|
+
}
|
|
167
|
+
});
|
|
168
|
+
it('all 7 contest_status values verify when carried in controller_response', () => {
|
|
169
|
+
const all = [
|
|
170
|
+
'filed',
|
|
171
|
+
'under_review',
|
|
172
|
+
'upheld',
|
|
173
|
+
'rejected',
|
|
174
|
+
'remedied',
|
|
175
|
+
'expired',
|
|
176
|
+
'abandoned',
|
|
177
|
+
];
|
|
178
|
+
const controllerDid = publicKeyFromPrivate(CONTROLLER_PRIV);
|
|
179
|
+
for (const status of all) {
|
|
180
|
+
const filed = createContestabilityReceipt(baseInput(), CONTESTANT_PRIV);
|
|
181
|
+
const responded = attachControllerResponse(filed, { status, responded_at: RESPONDED_TS, responder_did: controllerDid }, CONTROLLER_PRIV);
|
|
182
|
+
const v = verifyContestabilityReceipt(responded);
|
|
183
|
+
assert.equal(v.valid, true, `status=${status} did not verify: ${v.reason}`);
|
|
184
|
+
}
|
|
185
|
+
});
|
|
186
|
+
it('rejects wrong claim_type', () => {
|
|
187
|
+
const r = createContestabilityReceipt(baseInput(), CONTESTANT_PRIV);
|
|
188
|
+
const tampered = {
|
|
189
|
+
...r,
|
|
190
|
+
claim_type: 'aps:custody:v1',
|
|
191
|
+
};
|
|
192
|
+
const v = verifyContestabilityReceipt(tampered);
|
|
193
|
+
assert.equal(v.valid, false);
|
|
194
|
+
assert.equal(v.reason, 'INVALID_CLAIM_TYPE');
|
|
195
|
+
});
|
|
196
|
+
it('matches the on-disk fixture byte-for-byte (no controller_response)', () => {
|
|
197
|
+
const fixturePath = join(__dirname, '..', 'fixtures', 'contestability.fixture.json');
|
|
198
|
+
const fixture = JSON.parse(readFileSync(fixturePath, 'utf-8'));
|
|
199
|
+
const built = createContestabilityReceipt(baseInput(), CONTESTANT_PRIV);
|
|
200
|
+
assert.deepEqual(built, fixture);
|
|
201
|
+
const v = verifyContestabilityReceipt(fixture);
|
|
202
|
+
assert.equal(v.valid, true, `fixture failed verify: ${v.reason}`);
|
|
203
|
+
});
|
|
204
|
+
});
|
|
205
|
+
//# sourceMappingURL=contestability.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"contestability.test.js","sourceRoot":"","sources":["../../../../../src/v2/accountability/__tests__/contestability.test.ts"],"names":[],"mappings":"AAAA,0EAA0E;AAC1E,0DAA0D;AAC1D,EAAE;AACF,oEAAoE;AACpE,2CAA2C;AAE3C,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAA;AACxC,OAAO,MAAM,MAAM,oBAAoB,CAAA;AACvC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAA;AACtC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AACzC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAA;AACxC,OAAO,EACL,wBAAwB,EACxB,2BAA2B,GAC5B,MAAM,gCAAgC,CAAA;AACvC,OAAO,EAAE,2BAA2B,EAAE,MAAM,6BAA6B,CAAA;AACzE,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAA;AAS9D,MAAM,SAAS,GAAG,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA;AAEzD,MAAM,eAAe,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;AACvC,MAAM,eAAe,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;AACvC,MAAM,aAAa,GAAG,0BAA0B,CAAA;AAChD,MAAM,YAAY,GAAG,0BAA0B,CAAA;AAC/C,MAAM,SAAS,GAAG,kEAAkE,CAAA;AAEpF,MAAM,KAAK,GAAiB;IAC1B,OAAO,EAAE,qFAAqF;IAC9F,eAAe,EAAE;QACf,sCAAsC;QACtC,oCAAoC;QACpC,kDAAkD;KACnD;IACD,YAAY,EAAE,eAAe;IAC7B,YAAY,EAAE,UAAU;IACxB,aAAa,EAAE,IAAI;CACpB,CAAA;AAED,SAAS,SAAS,CAAC,YAA4C,EAAE;IAC/D,OAAO;QACL,SAAS,EAAE,aAAa;QACxB,cAAc,EAAE,KAAK;QACrB,UAAU,EAAE;YACV,GAAG,EAAE,0BAA0B;YAC/B,cAAc,EAAE,cAA+B;SAChD;QACD,SAAS,EAAE,SAAS;QACpB,OAAO,EAAE,mEAAmE;QAC5E,gBAAgB,EAAE,aAAgC;QAClD,GAAG,SAAS;KACb,CAAA;AACH,CAAC;AAED,QAAQ,CAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,CAAC,GAAG,2BAA2B,CAAC,SAAS,EAAE,EAAE,eAAe,CAAC,CAAA;QACnE,MAAM,CAAC,GAAG,2BAA2B,CAAC,CAAC,CAAC,CAAA;QACxC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,8BAA8B,CAAC,CAAC,MAAM,EAAE,CAAC,CAAA;QACrE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,EAAE,uBAAuB,CAAC,CAAA;QACnD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,mBAAmB,EAAE,SAAS,CAAC,CAAA;IAChD,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,CAAC,GAAG,2BAA2B,CAAC,SAAS,EAAE,EAAE,eAAe,CAAC,CAAA;QACnE,MAAM,CAAC,GAAG,2BAA2B,CAAC,SAAS,EAAE,EAAE,eAAe,CAAC,CAAA;QACnE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,CAAA;QACxC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC,CAAA;IACxC,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,KAAK,GAAG,2BAA2B,CAAC,SAAS,EAAE,EAAE,eAAe,CAAC,CAAA;QACvE,MAAM,aAAa,GAAG,oBAAoB,CAAC,eAAe,CAAC,CAAA;QAC3D,MAAM,SAAS,GAAG,wBAAwB,CACxC,KAAK,EACL;YACE,MAAM,EAAE,cAAc;YACtB,YAAY,EAAE,YAAY;YAC1B,aAAa,EAAE,aAAa;YAC5B,eAAe,EAAE,mDAAmD;SACrE,EACD,eAAe,CAChB,CAAA;QACD,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,mBAAmB,EAAE,SAAS,CAAC,CAAA;QACzD,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,mBAAmB,EAAE,kBAAkB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAA;QAC3E,6DAA6D;QAC7D,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,CAAA;QAClD,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,CAAA;QACpD,MAAM,CAAC,GAAG,2BAA2B,CAAC,SAAS,CAAC,CAAA;QAChD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,8BAA8B,CAAC,CAAC,MAAM,EAAE,CAAC,CAAA;IACvE,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;QAC7E,MAAM,CAAC,GAAG,2BAA2B,CACnC,SAAS,CAAC;YACR,UAAU,EAAE;gBACV,cAAc,EAAE,MAAM;gBACtB,cAAc,EAAE,cAAc;aAC/B;SACF,CAAC,EACF,eAAe,CAChB,CAAA;QACD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,SAAS,CAAC,CAAA;QACzC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,cAAc,EAAE,MAAM,CAAC,CAAA;QACjD,MAAM,CAAC,GAAG,2BAA2B,CAAC,CAAC,CAAC,CAAA;QACxC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,8BAA8B,CAAC,CAAC,MAAM,EAAE,CAAC,CAAA;IACvE,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,CAAC,MAAM,CACX,GAAG,EAAE,CACH,2BAA2B,CACzB,SAAS,CAAC;YACR,UAAU,EAAE,EAAE,cAAc,EAAE,cAAc,EAAyC;SACtF,CAAC,EACF,eAAe,CAChB,EACH,iDAAiD,CAClD,CAAA;IACH,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,gFAAgF,EAAE,GAAG,EAAE;QACxF,MAAM,CAAC,GAAG,2BAA2B,CAAC,SAAS,EAAE,EAAE,eAAe,CAAC,CAAA;QACnE,MAAM,QAAQ,GAA0B;YACtC,GAAG,CAAC;YACJ,UAAU,EAAE,EAAE,cAAc,EAAE,cAAc,EAAE;SAC/C,CAAA;QACD,MAAM,CAAC,GAAG,2BAA2B,CAAC,QAAQ,CAAC,CAAA;QAC/C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QAC5B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,6BAA6B,CAAC,CAAA;IACvD,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,GAAG,2BAA2B,CAAC,SAAS,EAAE,EAAE,eAAe,CAAC,CAAA;QACnE,MAAM,QAAQ,GAA0B;YACtC,GAAG,CAAC;YACJ,OAAO,EAAE,kCAAkC;SAC5C,CAAA;QACD,MAAM,CAAC,GAAG,2BAA2B,CAAC,QAAQ,CAAC,CAAA;QAC/C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QAC5B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAA;IAC/C,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,MAAM,KAAK,GAAG,2BAA2B,CAAC,SAAS,EAAE,EAAE,eAAe,CAAC,CAAA;QACvE,MAAM,aAAa,GAAG,oBAAoB,CAAC,eAAe,CAAC,CAAA;QAC3D,MAAM,SAAS,GAAG,wBAAwB,CACxC,KAAK,EACL;YACE,MAAM,EAAE,cAAc;YACtB,YAAY,EAAE,YAAY;YAC1B,aAAa,EAAE,aAAa;YAC5B,eAAe,EAAE,0BAA0B;SAC5C,EACD,eAAe,CAChB,CAAA;QACD,MAAM,QAAQ,GAA0B;YACtC,GAAG,SAAS;YACZ,mBAAmB,EAAE;gBACnB,GAAG,SAAS,CAAC,mBAAoB;gBACjC,eAAe,EAAE,2BAA2B;aAC7C;SACF,CAAA;QACD,MAAM,CAAC,GAAG,2BAA2B,CAAC,QAAQ,CAAC,CAAA;QAC/C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QAC5B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,8BAA8B,CAAC,CAAA;IACxD,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,GAAG,GAAoB;YAC3B,cAAc;YACd,aAAa;YACb,WAAW;YACX,OAAO;YACP,gBAAgB;YAChB,SAAS;YACT,WAAW;SACZ,CAAA;QACD,KAAK,MAAM,cAAc,IAAI,GAAG,EAAE,CAAC;YACjC,MAAM,CAAC,GAAG,2BAA2B,CACnC,SAAS,CAAC;gBACR,UAAU,EAAE,EAAE,GAAG,EAAE,0BAA0B,EAAE,cAAc,EAAE;aAChE,CAAC,EACF,eAAe,CAChB,CAAA;YACD,MAAM,CAAC,GAAG,2BAA2B,CAAC,CAAC,CAAC,CAAA;YACxC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,YAAY,cAAc,oBAAoB,CAAC,CAAC,MAAM,EAAE,CAAC,CAAA;QACvF,CAAC;IACH,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,GAAG,GAAsB;YAC7B,UAAU;YACV,QAAQ;YACR,aAAa;YACb,cAAc;YACd,SAAS;YACT,cAAc;SACf,CAAA;QACD,KAAK,MAAM,gBAAgB,IAAI,GAAG,EAAE,CAAC;YACnC,MAAM,CAAC,GAAG,2BAA2B,CAAC,SAAS,CAAC,EAAE,gBAAgB,EAAE,CAAC,EAAE,eAAe,CAAC,CAAA;YACvF,MAAM,CAAC,GAAG,2BAA2B,CAAC,CAAC,CAAC,CAAA;YACxC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,UAAU,gBAAgB,oBAAoB,CAAC,CAAC,MAAM,EAAE,CAAC,CAAA;QACvF,CAAC;IACH,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,GAAG,GAAoB;YAC3B,OAAO;YACP,cAAc;YACd,QAAQ;YACR,UAAU;YACV,UAAU;YACV,SAAS;YACT,WAAW;SACZ,CAAA;QACD,MAAM,aAAa,GAAG,oBAAoB,CAAC,eAAe,CAAC,CAAA;QAC3D,KAAK,MAAM,MAAM,IAAI,GAAG,EAAE,CAAC;YACzB,MAAM,KAAK,GAAG,2BAA2B,CAAC,SAAS,EAAE,EAAE,eAAe,CAAC,CAAA;YACvE,MAAM,SAAS,GAAG,wBAAwB,CACxC,KAAK,EACL,EAAE,MAAM,EAAE,YAAY,EAAE,YAAY,EAAE,aAAa,EAAE,aAAa,EAAE,EACpE,eAAe,CAChB,CAAA;YACD,MAAM,CAAC,GAAG,2BAA2B,CAAC,SAAS,CAAC,CAAA;YAChD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,UAAU,MAAM,oBAAoB,CAAC,CAAC,MAAM,EAAE,CAAC,CAAA;QAC7E,CAAC;IACH,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAG,2BAA2B,CAAC,SAAS,EAAE,EAAE,eAAe,CAAC,CAAA;QACnE,MAAM,QAAQ,GAAG;YACf,GAAG,CAAC;YACJ,UAAU,EAAE,gBAA2C;SACxD,CAAA;QACD,MAAM,CAAC,GAAG,2BAA2B,CAAC,QAAQ,CAAC,CAAA;QAC/C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QAC5B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAA;IAC9C,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,6BAA6B,CAAC,CAAA;QACpF,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,WAAW,EAAE,OAAO,CAAC,CAA0B,CAAA;QACvF,MAAM,KAAK,GAAG,2BAA2B,CAAC,SAAS,EAAE,EAAE,eAAe,CAAC,CAAA;QACvE,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;QAChC,MAAM,CAAC,GAAG,2BAA2B,CAAC,OAAO,CAAC,CAAA;QAC9C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,0BAA0B,CAAC,CAAC,MAAM,EAAE,CAAC,CAAA;IACnE,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA"}
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"custody.test.d.ts","sourceRoot":"","sources":["../../../../../src/v2/accountability/__tests__/custody.test.ts"],"names":[],"mappings":""}
|
|
@@ -0,0 +1,155 @@
|
|
|
1
|
+
// Copyright 2024-2026 Tymofii Pidlisnyi. Apache-2.0 license. See LICENSE.
|
|
2
|
+
// CustodyReceipt — construct + verify conformance.
|
|
3
|
+
//
|
|
4
|
+
// Note: this file uses node:test rather than vitest because the repo
|
|
5
|
+
// has no vitest install; node:test is the v2 convention (see
|
|
6
|
+
// tests/v2/instruction-provenance/conformance.test.ts and siblings).
|
|
7
|
+
// The describe/it/assert API is interchangeable for these tests.
|
|
8
|
+
import { describe, it } from 'node:test';
|
|
9
|
+
import assert from 'node:assert/strict';
|
|
10
|
+
import { readFileSync } from 'node:fs';
|
|
11
|
+
import { dirname, join } from 'node:path';
|
|
12
|
+
import { fileURLToPath } from 'node:url';
|
|
13
|
+
import { createCustodyReceipt } from '../construct/custody.js';
|
|
14
|
+
import { verifyCustodyReceipt } from '../verify/custody.js';
|
|
15
|
+
const __dirname = dirname(fileURLToPath(import.meta.url));
|
|
16
|
+
const PRIV = '22'.repeat(64);
|
|
17
|
+
const TS = '2026-04-30T00:00:00.000Z';
|
|
18
|
+
const MERKLE_ROOT_1 = '0000000000000000000000000000000000000000000000000000000000000001';
|
|
19
|
+
const SCOPE = {
|
|
20
|
+
asserts: 'Custodian sealed the named receipt batch at the named time for the named purpose.',
|
|
21
|
+
does_not_assert: [
|
|
22
|
+
'that the underlying receipts are factually accurate',
|
|
23
|
+
'that downstream custody handoffs were honored',
|
|
24
|
+
],
|
|
25
|
+
capture_mode: 'self_attested',
|
|
26
|
+
completeness: 'complete',
|
|
27
|
+
self_attested: true,
|
|
28
|
+
};
|
|
29
|
+
function makeBaseInput(overrides = {}) {
|
|
30
|
+
return {
|
|
31
|
+
timestamp: TS,
|
|
32
|
+
scope_of_claim: SCOPE,
|
|
33
|
+
custodian_did: 'did:aps:test-custodian-001',
|
|
34
|
+
event_type: 'sealed',
|
|
35
|
+
subject_receipt_batch: { merkle_root: MERKLE_ROOT_1, count: 1 },
|
|
36
|
+
purpose: 'internal_audit',
|
|
37
|
+
...overrides,
|
|
38
|
+
};
|
|
39
|
+
}
|
|
40
|
+
describe('CustodyReceipt — construct + verify', () => {
|
|
41
|
+
it('happy path: construct + verify round-trips green', () => {
|
|
42
|
+
const r = createCustodyReceipt(makeBaseInput(), PRIV);
|
|
43
|
+
const v = verifyCustodyReceipt(r);
|
|
44
|
+
assert.equal(v.valid, true, `expected valid; got reason=${v.reason}`);
|
|
45
|
+
assert.equal(r.claim_type, 'aps:custody:v1');
|
|
46
|
+
assert.equal(r.signer_did.length, 64);
|
|
47
|
+
assert.equal(r.signature.length, 128);
|
|
48
|
+
assert.equal(r.receipt_id.length, 64);
|
|
49
|
+
});
|
|
50
|
+
it('receipt_id is stable across reruns with identical inputs', () => {
|
|
51
|
+
const a = createCustodyReceipt(makeBaseInput(), PRIV);
|
|
52
|
+
const b = createCustodyReceipt(makeBaseInput(), PRIV);
|
|
53
|
+
assert.equal(a.receipt_id, b.receipt_id);
|
|
54
|
+
assert.equal(a.signature, b.signature);
|
|
55
|
+
});
|
|
56
|
+
it('all 8 event types are accepted by construct + verify', () => {
|
|
57
|
+
const events = [
|
|
58
|
+
'created',
|
|
59
|
+
'sealed',
|
|
60
|
+
'transferred',
|
|
61
|
+
'disclosed',
|
|
62
|
+
'redacted',
|
|
63
|
+
'erased',
|
|
64
|
+
'expired',
|
|
65
|
+
'verified',
|
|
66
|
+
];
|
|
67
|
+
for (const event_type of events) {
|
|
68
|
+
const input = makeBaseInput({ event_type });
|
|
69
|
+
// 'transferred' requires next_custodian_did per the type contract;
|
|
70
|
+
// handled in a dedicated test. Other events accept the base input.
|
|
71
|
+
if (event_type === 'transferred')
|
|
72
|
+
continue;
|
|
73
|
+
const r = createCustodyReceipt(input, PRIV);
|
|
74
|
+
const v = verifyCustodyReceipt(r);
|
|
75
|
+
assert.equal(v.valid, true, `event_type=${event_type} did not verify: ${v.reason}`);
|
|
76
|
+
}
|
|
77
|
+
});
|
|
78
|
+
it('all 7 purposes are accepted by construct + verify', () => {
|
|
79
|
+
const purposes = [
|
|
80
|
+
'internal_audit',
|
|
81
|
+
'regulator_disclosure',
|
|
82
|
+
'subject_access',
|
|
83
|
+
'litigation_discovery',
|
|
84
|
+
'vendor_handoff',
|
|
85
|
+
'archival',
|
|
86
|
+
'incident_response',
|
|
87
|
+
];
|
|
88
|
+
for (const purpose of purposes) {
|
|
89
|
+
const r = createCustodyReceipt(makeBaseInput({ purpose }), PRIV);
|
|
90
|
+
const v = verifyCustodyReceipt(r);
|
|
91
|
+
assert.equal(v.valid, true, `purpose=${purpose} did not verify: ${v.reason}`);
|
|
92
|
+
}
|
|
93
|
+
});
|
|
94
|
+
it('transferred event carries next_custodian_did and round-trips', () => {
|
|
95
|
+
const r = createCustodyReceipt(makeBaseInput({
|
|
96
|
+
event_type: 'transferred',
|
|
97
|
+
next_custodian_did: 'did:aps:test-custodian-002',
|
|
98
|
+
}), PRIV);
|
|
99
|
+
assert.equal(r.event_type, 'transferred');
|
|
100
|
+
assert.equal(r.next_custodian_did, 'did:aps:test-custodian-002');
|
|
101
|
+
const v = verifyCustodyReceipt(r);
|
|
102
|
+
assert.equal(v.valid, true, `verify failed: ${v.reason}`);
|
|
103
|
+
});
|
|
104
|
+
it('erased event preserves merkle_root + count (cryptographic-erasure pattern)', () => {
|
|
105
|
+
const r = createCustodyReceipt(makeBaseInput({
|
|
106
|
+
event_type: 'erased',
|
|
107
|
+
purpose: 'subject_access',
|
|
108
|
+
subject_receipt_batch: { merkle_root: MERKLE_ROOT_1, count: 42 },
|
|
109
|
+
}), PRIV);
|
|
110
|
+
assert.equal(r.event_type, 'erased');
|
|
111
|
+
// The chain remains verifiable across erasure: merkle_root and count
|
|
112
|
+
// survive even though the underlying content is irrecoverable.
|
|
113
|
+
assert.equal(r.subject_receipt_batch.merkle_root, MERKLE_ROOT_1);
|
|
114
|
+
assert.equal(r.subject_receipt_batch.count, 42);
|
|
115
|
+
const v = verifyCustodyReceipt(r);
|
|
116
|
+
assert.equal(v.valid, true, `verify failed: ${v.reason}`);
|
|
117
|
+
});
|
|
118
|
+
it('tamper on event_type to a non-enum value yields INVALID_EVENT_TYPE', () => {
|
|
119
|
+
const r = createCustodyReceipt(makeBaseInput(), PRIV);
|
|
120
|
+
const tampered = { ...r, event_type: 'fabricated' };
|
|
121
|
+
const v = verifyCustodyReceipt(tampered);
|
|
122
|
+
assert.equal(v.valid, false);
|
|
123
|
+
assert.equal(v.reason, 'INVALID_EVENT_TYPE');
|
|
124
|
+
});
|
|
125
|
+
it('tamper on event_type to a different valid enum yields RECEIPT_ID_MISMATCH', () => {
|
|
126
|
+
const r = createCustodyReceipt(makeBaseInput({ event_type: 'sealed' }), PRIV);
|
|
127
|
+
const tampered = { ...r, event_type: 'erased' };
|
|
128
|
+
const v = verifyCustodyReceipt(tampered);
|
|
129
|
+
assert.equal(v.valid, false);
|
|
130
|
+
assert.equal(v.reason, 'RECEIPT_ID_MISMATCH');
|
|
131
|
+
});
|
|
132
|
+
it('tamper on signature alone yields SIGNATURE_INVALID', () => {
|
|
133
|
+
const r = createCustodyReceipt(makeBaseInput(), PRIV);
|
|
134
|
+
const tampered = { ...r, signature: '00'.repeat(64) };
|
|
135
|
+
const v = verifyCustodyReceipt(tampered);
|
|
136
|
+
assert.equal(v.valid, false);
|
|
137
|
+
assert.equal(v.reason, 'SIGNATURE_INVALID');
|
|
138
|
+
});
|
|
139
|
+
it('rejects wrong claim_type', () => {
|
|
140
|
+
const r = createCustodyReceipt(makeBaseInput(), PRIV);
|
|
141
|
+
const tampered = { ...r, claim_type: 'aps:action:v1' };
|
|
142
|
+
const v = verifyCustodyReceipt(tampered);
|
|
143
|
+
assert.equal(v.valid, false);
|
|
144
|
+
assert.equal(v.reason, 'INVALID_CLAIM_TYPE');
|
|
145
|
+
});
|
|
146
|
+
it('matches the on-disk fixture byte-for-byte', () => {
|
|
147
|
+
const fixturePath = join(__dirname, '..', 'fixtures', 'custody.fixture.json');
|
|
148
|
+
const fixture = JSON.parse(readFileSync(fixturePath, 'utf-8'));
|
|
149
|
+
const built = createCustodyReceipt(makeBaseInput(), PRIV);
|
|
150
|
+
assert.deepEqual(built, fixture);
|
|
151
|
+
const v = verifyCustodyReceipt(fixture);
|
|
152
|
+
assert.equal(v.valid, true, `fixture failed verify: ${v.reason}`);
|
|
153
|
+
});
|
|
154
|
+
});
|
|
155
|
+
//# sourceMappingURL=custody.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"custody.test.js","sourceRoot":"","sources":["../../../../../src/v2/accountability/__tests__/custody.test.ts"],"names":[],"mappings":"AAAA,0EAA0E;AAC1E,mDAAmD;AACnD,EAAE;AACF,qEAAqE;AACrE,6DAA6D;AAC7D,qEAAqE;AACrE,iEAAiE;AAEjE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAA;AACxC,OAAO,MAAM,MAAM,oBAAoB,CAAA;AACvC,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAA;AACtC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AACzC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAA;AACxC,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAA;AAC9D,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAA;AAQ3D,MAAM,SAAS,GAAG,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA;AAEzD,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;AAC5B,MAAM,EAAE,GAAG,0BAA0B,CAAA;AACrC,MAAM,aAAa,GAAG,kEAAkE,CAAA;AAExF,MAAM,KAAK,GAAiB;IAC1B,OAAO,EAAE,mFAAmF;IAC5F,eAAe,EAAE;QACf,qDAAqD;QACrD,+CAA+C;KAChD;IACD,YAAY,EAAE,eAAe;IAC7B,YAAY,EAAE,UAAU;IACxB,aAAa,EAAE,IAAI;CACpB,CAAA;AAED,SAAS,aAAa,CAAC,YAAqC,EAAE;IAC5D,OAAO;QACL,SAAS,EAAE,EAAE;QACb,cAAc,EAAE,KAAK;QACrB,aAAa,EAAE,4BAA4B;QAC3C,UAAU,EAAE,QAA4B;QACxC,qBAAqB,EAAE,EAAE,WAAW,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC,EAAE;QAC/D,OAAO,EAAE,gBAAkC;QAC3C,GAAG,SAAS;KACb,CAAA;AACH,CAAC;AAED,QAAQ,CAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,oBAAoB,CAAC,aAAa,EAAE,EAAE,IAAI,CAAC,CAAA;QACrD,MAAM,CAAC,GAAG,oBAAoB,CAAC,CAAC,CAAC,CAAA;QACjC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,8BAA8B,CAAC,CAAC,MAAM,EAAE,CAAC,CAAA;QACrE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,EAAE,gBAAgB,CAAC,CAAA;QAC5C,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC,CAAA;QACrC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,EAAE,GAAG,CAAC,CAAA;QACrC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC,CAAA;IACvC,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,CAAC,GAAG,oBAAoB,CAAC,aAAa,EAAE,EAAE,IAAI,CAAC,CAAA;QACrD,MAAM,CAAC,GAAG,oBAAoB,CAAC,aAAa,EAAE,EAAE,IAAI,CAAC,CAAA;QACrD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,CAAA;QACxC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC,CAAA;IACxC,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,MAAM,GAAuB;YACjC,SAAS;YACT,QAAQ;YACR,aAAa;YACb,WAAW;YACX,UAAU;YACV,QAAQ;YACR,SAAS;YACT,UAAU;SACX,CAAA;QACD,KAAK,MAAM,UAAU,IAAI,MAAM,EAAE,CAAC;YAChC,MAAM,KAAK,GAAG,aAAa,CAAC,EAAE,UAAU,EAAE,CAAC,CAAA;YAC3C,mEAAmE;YACnE,mEAAmE;YACnE,IAAI,UAAU,KAAK,aAAa;gBAAE,SAAQ;YAC1C,MAAM,CAAC,GAAG,oBAAoB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;YAC3C,MAAM,CAAC,GAAG,oBAAoB,CAAC,CAAC,CAAC,CAAA;YACjC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,cAAc,UAAU,oBAAoB,CAAC,CAAC,MAAM,EAAE,CAAC,CAAA;QACrF,CAAC;IACH,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,QAAQ,GAAqB;YACjC,gBAAgB;YAChB,sBAAsB;YACtB,gBAAgB;YAChB,sBAAsB;YACtB,gBAAgB;YAChB,UAAU;YACV,mBAAmB;SACpB,CAAA;QACD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,MAAM,CAAC,GAAG,oBAAoB,CAAC,aAAa,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,CAAC,CAAA;YAChE,MAAM,CAAC,GAAG,oBAAoB,CAAC,CAAC,CAAC,CAAA;YACjC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,WAAW,OAAO,oBAAoB,CAAC,CAAC,MAAM,EAAE,CAAC,CAAA;QAC/E,CAAC;IACH,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,CAAC,GAAG,oBAAoB,CAC5B,aAAa,CAAC;YACZ,UAAU,EAAE,aAAa;YACzB,kBAAkB,EAAE,4BAA4B;SACjD,CAAC,EACF,IAAI,CACL,CAAA;QACD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,EAAE,aAAa,CAAC,CAAA;QACzC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,kBAAkB,EAAE,4BAA4B,CAAC,CAAA;QAChE,MAAM,CAAC,GAAG,oBAAoB,CAAC,CAAC,CAAC,CAAA;QACjC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,kBAAkB,CAAC,CAAC,MAAM,EAAE,CAAC,CAAA;IAC3D,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,MAAM,CAAC,GAAG,oBAAoB,CAC5B,aAAa,CAAC;YACZ,UAAU,EAAE,QAAQ;YACpB,OAAO,EAAE,gBAAgB;YACzB,qBAAqB,EAAE,EAAE,WAAW,EAAE,aAAa,EAAE,KAAK,EAAE,EAAE,EAAE;SACjE,CAAC,EACF,IAAI,CACL,CAAA;QACD,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAA;QACpC,qEAAqE;QACrE,+DAA+D;QAC/D,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,qBAAqB,CAAC,WAAW,EAAE,aAAa,CAAC,CAAA;QAChE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,qBAAqB,CAAC,KAAK,EAAE,EAAE,CAAC,CAAA;QAC/C,MAAM,CAAC,GAAG,oBAAoB,CAAC,CAAC,CAAC,CAAA;QACjC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,kBAAkB,CAAC,CAAC,MAAM,EAAE,CAAC,CAAA;IAC3D,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,CAAC,GAAG,oBAAoB,CAAC,aAAa,EAAE,EAAE,IAAI,CAAC,CAAA;QACrD,MAAM,QAAQ,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,YAAgC,EAAE,CAAA;QACvE,MAAM,CAAC,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAA;QACxC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QAC5B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAA;IAC9C,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,2EAA2E,EAAE,GAAG,EAAE;QACnF,MAAM,CAAC,GAAG,oBAAoB,CAAC,aAAa,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC,EAAE,IAAI,CAAC,CAAA;QAC7E,MAAM,QAAQ,GAAmB,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAA;QAC/D,MAAM,CAAC,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAA;QACxC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QAC5B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAA;IAC/C,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,GAAG,oBAAoB,CAAC,aAAa,EAAE,EAAE,IAAI,CAAC,CAAA;QACrD,MAAM,QAAQ,GAAmB,EAAE,GAAG,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAA;QACrE,MAAM,CAAC,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAA;QACxC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QAC5B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAA;IAC7C,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAG,oBAAoB,CAAC,aAAa,EAAE,EAAE,IAAI,CAAC,CAAA;QACrD,MAAM,QAAQ,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,eAAmC,EAAE,CAAA;QAC1E,MAAM,CAAC,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAA;QACxC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QAC5B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAA;IAC9C,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,sBAAsB,CAAC,CAAA;QAC7E,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,WAAW,EAAE,OAAO,CAAC,CAAmB,CAAA;QAChF,MAAM,KAAK,GAAG,oBAAoB,CAAC,aAAa,EAAE,EAAE,IAAI,CAAC,CAAA;QACzD,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;QAChC,MAAM,CAAC,GAAG,oBAAoB,CAAC,OAAO,CAAC,CAAA;QACvC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,0BAA0B,CAAC,CAAC,MAAM,EAAE,CAAC,CAAA;IACnE,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA"}
|