@substrat-run/contract-tests 0.102.0 → 0.103.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/README.md +23 -0
- package/dist/grant-expiry-suite.d.ts +14 -0
- package/dist/grant-expiry-suite.d.ts.map +1 -0
- package/dist/grant-expiry-suite.js +181 -0
- package/dist/grant-expiry-suite.js.map +1 -0
- package/dist/index.d.ts +2 -0
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +1 -0
- package/dist/index.js.map +1 -1
- package/package.json +3 -3
package/README.md
CHANGED
|
@@ -42,6 +42,29 @@ scopeHostContractSuite('adapter-yours', async () => {
|
|
|
42
42
|
The suite grows with the kernel (migration journal, crash-mid-migration,
|
|
43
43
|
duplicate-delivery harnesses); adapters inherit new checks by upgrading.
|
|
44
44
|
|
|
45
|
+
## Suites gated by mounting, not by a flag
|
|
46
|
+
|
|
47
|
+
Most suites take a `ScopeHostFixture` and every adapter mounts every one. A few need
|
|
48
|
+
something only some hosts can provide, and those are separate exports an adapter
|
|
49
|
+
mounts only when it can satisfy the fixture. There is deliberately no capability flag
|
|
50
|
+
that makes a shared suite skip on one adapter: a skipped test reads as coverage the
|
|
51
|
+
adapter does not have.
|
|
52
|
+
|
|
53
|
+
- **`grantExpiryContractSuite`** — the fixture returns `{ host, clock, cleanup }` where
|
|
54
|
+
`clock` is the `ManualClock` (from `@substrat-run/kernel`) the host was constructed
|
|
55
|
+
with. The suite grants a permission with an `expiresAt` an hour ahead, asserts it is
|
|
56
|
+
live, moves the clock past it and asserts the denial — the transition the wall clock
|
|
57
|
+
cannot show in a test. Mounted by `adapter-sqlite` (`new SqliteScopeHost({ dir,
|
|
58
|
+
clock: clock.read })`).
|
|
59
|
+
|
|
60
|
+
**Parity gap, stated:** `adapter-cloudflare` does not mount it. The Durable Object
|
|
61
|
+
reads the wall clock inside the DO, which workerd constructs — an option on
|
|
62
|
+
`CloudflareScopeHost` never reaches it, because the host only holds a stub. Getting a
|
|
63
|
+
clock there is a decision (caller-supplied `now` per invocation, a test-only seam, or
|
|
64
|
+
neither), tracked on #956. Until one is taken, the DO's checker runs the same
|
|
65
|
+
`expires_at` predicate against a `now` it reads itself, and the pure host is the one
|
|
66
|
+
held to the contract by this suite.
|
|
67
|
+
|
|
45
68
|
## Status
|
|
46
69
|
|
|
47
70
|
Pre-release (0.x): the suite expands as kernel contracts land.
|
|
@@ -0,0 +1,14 @@
|
|
|
1
|
+
import { type ManualClock, type ScopeHost } from '@substrat-run/kernel';
|
|
2
|
+
/**
|
|
3
|
+
* What the fixture hands the suite. `clock` is the SAME `ManualClock` whose
|
|
4
|
+
* `read` the host was constructed with — the suite advances it and expects the
|
|
5
|
+
* host to notice. A fixture that built the host on a different clock would pass
|
|
6
|
+
* the "allowed" half and fail every "denied" one, which is the honest failure.
|
|
7
|
+
*/
|
|
8
|
+
export interface GrantExpiryFixture {
|
|
9
|
+
host: ScopeHost;
|
|
10
|
+
clock: ManualClock;
|
|
11
|
+
cleanup: () => Promise<void>;
|
|
12
|
+
}
|
|
13
|
+
export declare function grantExpiryContractSuite(adapterName: string, makeFixture: () => Promise<GrantExpiryFixture>): void;
|
|
14
|
+
//# sourceMappingURL=grant-expiry-suite.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"grant-expiry-suite.d.ts","sourceRoot":"","sources":["../src/grant-expiry-suite.ts"],"names":[],"mappings":"AAgDA,OAAO,EAAQ,KAAK,WAAW,EAAE,KAAK,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAM9E;;;;;GAKG;AACH,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,SAAS,CAAC;IAChB,KAAK,EAAE,WAAW,CAAC;IACnB,OAAO,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;CAC9B;AAKD,wBAAgB,wBAAwB,CACtC,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,MAAM,OAAO,CAAC,kBAAkB,CAAC,GAC7C,IAAI,CAoJN"}
|
|
@@ -0,0 +1,181 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Contract suite for grant expiry under an injected clock (#956).
|
|
3
|
+
*
|
|
4
|
+
* What it pins is one sentence: **a grant with an `expiresAt` stops granting the
|
|
5
|
+
* moment the HOST's clock passes it — not the wall clock, the host's.**
|
|
6
|
+
*
|
|
7
|
+
* `permissionContractSuite` already proves an ALREADY-expired grant is refused
|
|
8
|
+
* (dave's, dated 2000). What it cannot prove is the transition: a grant that is
|
|
9
|
+
* live now and dead an hour later, because the only way to get there against the
|
|
10
|
+
* wall clock is to wait. The pure host takes a `clock` (#812), and since #1160 its
|
|
11
|
+
* checker judges `expires_at` against that clock rather than `new Date()` — this
|
|
12
|
+
* suite is what holds it there. Without it, a refactor that quietly reverted the
|
|
13
|
+
* checker to the wall clock would pass every other suite: the dead grant of 2000
|
|
14
|
+
* is dead on both clocks.
|
|
15
|
+
*
|
|
16
|
+
* **Mounted, not flagged.** The fixture returns a `ManualClock` the suite moves,
|
|
17
|
+
* so only an adapter that can hand its host a clock can mount it. That is the
|
|
18
|
+
* pure SQLite host today. It is deliberately NOT a capability flag on the shared
|
|
19
|
+
* fixture that skips on the other adapter: a skipped test reads as coverage the
|
|
20
|
+
* adapter does not have.
|
|
21
|
+
*
|
|
22
|
+
* **Why the Cloudflare adapter does not mount it (the parity gap, written down).**
|
|
23
|
+
* The Durable Object host reads the wall clock inside the DO
|
|
24
|
+
* (`packages/adapter-cloudflare/src/scope-do.ts`, the `at` read in `invoke`, and
|
|
25
|
+
* the entitlement / system-grant reads beside it). The DO is constructed by
|
|
26
|
+
* workerd, not by `CloudflareScopeHost`, so an option on the host factory never
|
|
27
|
+
* reaches it — the host only holds a stub. The three ways a clock could get there
|
|
28
|
+
* were each a decision rather than a patch, and none was taken unattended:
|
|
29
|
+
* (a) the host sends the instant with each invocation, which makes `now`
|
|
30
|
+
* caller-supplied — a different trust story; (b) a test-only seam (an env flag
|
|
31
|
+
* or a DO method a test calls), honest but explicitly not the production path;
|
|
32
|
+
* (c) leave the fact untestable there and say so. This suite is (c): the pure
|
|
33
|
+
* host is held to the contract, the DO's checker runs the same SQL predicate
|
|
34
|
+
* (`expires_at IS NULL OR expires_at > ?`) against a `now` it reads itself, and
|
|
35
|
+
* the day the DO can take a clock, mounting this suite is the whole change.
|
|
36
|
+
*/
|
|
37
|
+
import { describe, it, expect, beforeAll, afterAll } from 'vitest';
|
|
38
|
+
import { instant, permissionKey, platformActorId, principalId, scopeId, tenantId, } from '@substrat-run/contracts';
|
|
39
|
+
import { ulid } from '@substrat-run/kernel';
|
|
40
|
+
import { permMod } from './modules.js';
|
|
41
|
+
const PERM_READ = permissionKey.parse('perm:read');
|
|
42
|
+
const PERM_USE = permissionKey.parse('perm:use');
|
|
43
|
+
const START = '2026-03-01T09:00:00.000Z';
|
|
44
|
+
const HOUR = 3_600_000;
|
|
45
|
+
export function grantExpiryContractSuite(adapterName, makeFixture) {
|
|
46
|
+
describe(`grant expiry under an injected clock: ${adapterName}`, () => {
|
|
47
|
+
let fixture;
|
|
48
|
+
let host;
|
|
49
|
+
let clock;
|
|
50
|
+
const t1 = tenantId.parse(ulid());
|
|
51
|
+
const s1 = scopeId.parse(ulid());
|
|
52
|
+
const alice = principalId.parse(ulid()); // grantedBy
|
|
53
|
+
const nora = principalId.parse(ulid()); // node-level, timed
|
|
54
|
+
const eve = principalId.parse(ulid()); // entity-narrowed, timed
|
|
55
|
+
const staff = platformActorId.parse(ulid());
|
|
56
|
+
const box = { entityType: 'box', entityId: 'b1' };
|
|
57
|
+
const probe = async (who, permission, entity) => {
|
|
58
|
+
const stub = await host.getScope(who, t1, s1);
|
|
59
|
+
const decision = await stub.invoke('perm/probe', { permission, entity });
|
|
60
|
+
return decision.allowed;
|
|
61
|
+
};
|
|
62
|
+
const at = (ms) => instant.parse(new Date(Date.parse(START) + ms).toISOString());
|
|
63
|
+
beforeAll(async () => {
|
|
64
|
+
fixture = await makeFixture();
|
|
65
|
+
host = fixture.host;
|
|
66
|
+
clock = fixture.clock;
|
|
67
|
+
clock.set(START);
|
|
68
|
+
host.registerModule(permMod);
|
|
69
|
+
await host.admin.createTenant(staff, { id: t1, slug: 'expiry-tenant', name: 'Expiry Tenant' });
|
|
70
|
+
await host.admin.grantEntitlement(staff, t1, 'perm');
|
|
71
|
+
await host.provisionScope(staff, { tenantId: t1, scopeId: s1, vertical: 'expiry-vertical' });
|
|
72
|
+
await host.admin.activateScope(staff, t1, s1);
|
|
73
|
+
// Both shapes a timed grant takes: node-level, and narrowed to one entity.
|
|
74
|
+
await host.admin.grant(staff, {
|
|
75
|
+
principalId: nora,
|
|
76
|
+
permission: PERM_READ,
|
|
77
|
+
node: { tenantId: t1, scopeId: s1 },
|
|
78
|
+
expiresAt: at(HOUR),
|
|
79
|
+
grantedBy: alice,
|
|
80
|
+
});
|
|
81
|
+
await host.admin.grant(staff, {
|
|
82
|
+
principalId: eve,
|
|
83
|
+
permission: PERM_READ,
|
|
84
|
+
node: { tenantId: t1, scopeId: s1 },
|
|
85
|
+
entity: box,
|
|
86
|
+
expiresAt: at(HOUR),
|
|
87
|
+
grantedBy: alice,
|
|
88
|
+
});
|
|
89
|
+
});
|
|
90
|
+
afterAll(async () => {
|
|
91
|
+
await fixture.cleanup();
|
|
92
|
+
});
|
|
93
|
+
it('a node-level grant is live before its expiresAt', async () => {
|
|
94
|
+
expect(await probe(nora, PERM_READ)).toBe(true);
|
|
95
|
+
});
|
|
96
|
+
it('an entity-narrowed grant is live before its expiresAt', async () => {
|
|
97
|
+
expect(await probe(eve, PERM_READ, box)).toBe(true);
|
|
98
|
+
});
|
|
99
|
+
/**
|
|
100
|
+
* The transition the wall clock cannot show. Nothing is revoked and nothing is
|
|
101
|
+
* swept: the only thing that changes is what time the host thinks it is.
|
|
102
|
+
*/
|
|
103
|
+
it('the node-level grant stops granting once the clock passes expiresAt', async () => {
|
|
104
|
+
clock.set(at(HOUR + 60_000));
|
|
105
|
+
expect(await probe(nora, PERM_READ)).toBe(false);
|
|
106
|
+
});
|
|
107
|
+
it('the entity-narrowed grant stops granting once the clock passes expiresAt', async () => {
|
|
108
|
+
clock.set(at(HOUR + 60_000));
|
|
109
|
+
expect(await probe(eve, PERM_READ, box)).toBe(false);
|
|
110
|
+
});
|
|
111
|
+
/**
|
|
112
|
+
* The boundary is part of the contract, not an adapter detail: the predicate is
|
|
113
|
+
* `expires_at > now`, so at the expiry instant itself the grant is already gone.
|
|
114
|
+
* A `>=` would pass every other test in this suite and silently widen every
|
|
115
|
+
* timed grant on that adapter by one instant — so the suite pins both sides of
|
|
116
|
+
* the line, for both shapes of grant.
|
|
117
|
+
*/
|
|
118
|
+
it('is gone at the expiry instant itself, not one past it', async () => {
|
|
119
|
+
clock.set(at(HOUR - 1));
|
|
120
|
+
expect(await probe(nora, PERM_READ)).toBe(true);
|
|
121
|
+
expect(await probe(eve, PERM_READ, box)).toBe(true);
|
|
122
|
+
clock.set(at(HOUR));
|
|
123
|
+
expect(await probe(nora, PERM_READ)).toBe(false);
|
|
124
|
+
expect(await probe(eve, PERM_READ, box)).toBe(false);
|
|
125
|
+
});
|
|
126
|
+
/**
|
|
127
|
+
* Expiry is judged on every check, not cached at grant time — so the same
|
|
128
|
+
* grant reads as live again if the clock is moved back before it. This is
|
|
129
|
+
* what distinguishes "the checker consults the clock" from "the grant was
|
|
130
|
+
* tombstoned when the clock passed it". The case sets up its own expiry first
|
|
131
|
+
* rather than inheriting the clock an earlier case left behind, so it proves
|
|
132
|
+
* the rollback when run alone too.
|
|
133
|
+
*/
|
|
134
|
+
it('is judged at check time — the same grant is live again with the clock before expiresAt', async () => {
|
|
135
|
+
clock.set(at(HOUR + 60_000));
|
|
136
|
+
expect(await probe(nora, PERM_READ)).toBe(false);
|
|
137
|
+
expect(await probe(eve, PERM_READ, box)).toBe(false);
|
|
138
|
+
clock.set(at(HOUR - 60_000));
|
|
139
|
+
expect(await probe(nora, PERM_READ)).toBe(true);
|
|
140
|
+
expect(await probe(eve, PERM_READ, box)).toBe(true);
|
|
141
|
+
clock.set(at(HOUR + 60_000));
|
|
142
|
+
expect(await probe(nora, PERM_READ)).toBe(false);
|
|
143
|
+
expect(await probe(eve, PERM_READ, box)).toBe(false);
|
|
144
|
+
});
|
|
145
|
+
/**
|
|
146
|
+
* Expiry is not sticky: a later re-grant of the same (principal, permission,
|
|
147
|
+
* node) carries its own `expiresAt`, and the checker judges that one. How the
|
|
148
|
+
* adapter stores it is its own business — the SQLite host keys tuples on
|
|
149
|
+
* (subject, relation, object) and the re-grant REPLACES the expired row, so
|
|
150
|
+
* there is never a dead row beside a live one there. What the contract holds is
|
|
151
|
+
* only the outcome: the expired grant does not shadow the new one, and the new
|
|
152
|
+
* one dies on its own clock.
|
|
153
|
+
*/
|
|
154
|
+
it('a re-grant after expiry grants again, on its own expiresAt', async () => {
|
|
155
|
+
clock.set(at(HOUR + 60_000));
|
|
156
|
+
expect(await probe(nora, PERM_READ)).toBe(false);
|
|
157
|
+
await host.admin.grant(staff, {
|
|
158
|
+
principalId: nora,
|
|
159
|
+
permission: PERM_READ,
|
|
160
|
+
node: { tenantId: t1, scopeId: s1 },
|
|
161
|
+
expiresAt: at(3 * HOUR),
|
|
162
|
+
grantedBy: alice,
|
|
163
|
+
});
|
|
164
|
+
expect(await probe(nora, PERM_READ)).toBe(true);
|
|
165
|
+
clock.set(at(3 * HOUR + 60_000));
|
|
166
|
+
expect(await probe(nora, PERM_READ)).toBe(false);
|
|
167
|
+
});
|
|
168
|
+
/** An untimed grant is unaffected by any clock — the control for the whole suite. */
|
|
169
|
+
it('a grant with no expiresAt is not touched by the clock', async () => {
|
|
170
|
+
await host.admin.grant(staff, {
|
|
171
|
+
principalId: nora,
|
|
172
|
+
permission: PERM_USE,
|
|
173
|
+
node: { tenantId: t1, scopeId: s1 },
|
|
174
|
+
grantedBy: alice,
|
|
175
|
+
});
|
|
176
|
+
clock.set(at(365 * 24 * HOUR));
|
|
177
|
+
expect(await probe(nora, PERM_USE)).toBe(true);
|
|
178
|
+
});
|
|
179
|
+
});
|
|
180
|
+
}
|
|
181
|
+
//# sourceMappingURL=grant-expiry-suite.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"grant-expiry-suite.js","sourceRoot":"","sources":["../src/grant-expiry-suite.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AACH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAC;AACnE,OAAO,EACL,OAAO,EACP,aAAa,EACb,eAAe,EACf,WAAW,EACX,OAAO,EACP,QAAQ,GAIT,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,IAAI,EAAoC,MAAM,sBAAsB,CAAC;AAC9E,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAEvC,MAAM,SAAS,GAAG,aAAa,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;AACnD,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;AAcjD,MAAM,KAAK,GAAG,0BAA0B,CAAC;AACzC,MAAM,IAAI,GAAG,SAAS,CAAC;AAEvB,MAAM,UAAU,wBAAwB,CACtC,WAAmB,EACnB,WAA8C;IAE9C,QAAQ,CAAC,yCAAyC,WAAW,EAAE,EAAE,GAAG,EAAE;QACpE,IAAI,OAA2B,CAAC;QAChC,IAAI,IAAe,CAAC;QACpB,IAAI,KAAkB,CAAC;QACvB,MAAM,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QAClC,MAAM,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QACjC,MAAM,KAAK,GAAgB,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,YAAY;QAClE,MAAM,IAAI,GAAgB,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,oBAAoB;QACzE,MAAM,GAAG,GAAgB,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,yBAAyB;QAC7E,MAAM,KAAK,GAAG,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;QAC5C,MAAM,GAAG,GAAc,EAAE,UAAU,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;QAE7D,MAAM,KAAK,GAAG,KAAK,EAAE,GAAgB,EAAE,UAAyB,EAAE,MAAkB,EAAE,EAAE;YACtF,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;YAC9C,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,MAAM,CAAuB,YAAY,EAAE,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAC;YAC/F,OAAO,QAAQ,CAAC,OAAO,CAAC;QAC1B,CAAC,CAAC;QAEF,MAAM,EAAE,GAAG,CAAC,EAAU,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;QAEzF,SAAS,CAAC,KAAK,IAAI,EAAE;YACnB,OAAO,GAAG,MAAM,WAAW,EAAE,CAAC;YAC9B,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;YACpB,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC;YACtB,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACjB,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;YAC7B,MAAM,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC,CAAC;YAC/F,MAAM,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,KAAK,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC;YACrD,MAAM,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,iBAAiB,EAAE,CAAC,CAAC;YAC7F,MAAM,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;YAE9C,2EAA2E;YAC3E,MAAM,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE;gBAC5B,WAAW,EAAE,IAAI;gBACjB,UAAU,EAAE,SAAS;gBACrB,IAAI,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE;gBACnC,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC;gBACnB,SAAS,EAAE,KAAK;aACjB,CAAC,CAAC;YACH,MAAM,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE;gBAC5B,WAAW,EAAE,GAAG;gBAChB,UAAU,EAAE,SAAS;gBACrB,IAAI,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE;gBACnC,MAAM,EAAE,GAAG;gBACX,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC;gBACnB,SAAS,EAAE,KAAK;aACjB,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,QAAQ,CAAC,KAAK,IAAI,EAAE;YAClB,MAAM,OAAO,CAAC,OAAO,EAAE,CAAC;QAC1B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iDAAiD,EAAE,KAAK,IAAI,EAAE;YAC/D,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uDAAuD,EAAE,KAAK,IAAI,EAAE;YACrE,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtD,CAAC,CAAC,CAAC;QAEH;;;WAGG;QACH,EAAE,CAAC,qEAAqE,EAAE,KAAK,IAAI,EAAE;YACnF,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC;YAC7B,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0EAA0E,EAAE,KAAK,IAAI,EAAE;YACxF,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC;YAC7B,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvD,CAAC,CAAC,CAAC;QAEH;;;;;;WAMG;QACH,EAAE,CAAC,uDAAuD,EAAE,KAAK,IAAI,EAAE;YACrE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;YACxB,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChD,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACpD,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;YACpB,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACjD,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvD,CAAC,CAAC,CAAC;QAEH;;;;;;;WAOG;QACH,EAAE,CAAC,wFAAwF,EAAE,KAAK,IAAI,EAAE;YACtG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC;YAC7B,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACjD,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACrD,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC;YAC7B,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChD,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACpD,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC;YAC7B,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACjD,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvD,CAAC,CAAC,CAAC;QAEH;;;;;;;;WAQG;QACH,EAAE,CAAC,4DAA4D,EAAE,KAAK,IAAI,EAAE;YAC1E,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC;YAC7B,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACjD,MAAM,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE;gBAC5B,WAAW,EAAE,IAAI;gBACjB,UAAU,EAAE,SAAS;gBACrB,IAAI,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE;gBACnC,SAAS,EAAE,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC;gBACvB,SAAS,EAAE,KAAK;aACjB,CAAC,CAAC;YACH,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChD,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC;YACjC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;QAEH,qFAAqF;QACrF,EAAE,CAAC,uDAAuD,EAAE,KAAK,IAAI,EAAE;YACrE,MAAM,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE;gBAC5B,WAAW,EAAE,IAAI;gBACjB,UAAU,EAAE,QAAQ;gBACpB,IAAI,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE;gBACnC,SAAS,EAAE,KAAK;aACjB,CAAC,CAAC;YACH,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;YAC/B,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC"}
|
package/dist/index.d.ts
CHANGED
|
@@ -12,6 +12,8 @@ export { listContractSuite } from './list-suite.js';
|
|
|
12
12
|
export { scheduleContractSuite } from './schedule-suite.js';
|
|
13
13
|
export { inputParseContractSuite } from './input-parse-suite.js';
|
|
14
14
|
export { spineGuardContractSuite } from './spine-guard-suite.js';
|
|
15
|
+
export { grantExpiryContractSuite } from './grant-expiry-suite.js';
|
|
16
|
+
export type { GrantExpiryFixture } from './grant-expiry-suite.js';
|
|
15
17
|
export { entityCheckConformanceSuite, planEntityCheckCoverage } from './entity-check-suite.js';
|
|
16
18
|
export type { EntityCheckFixture, EntityCheckSuiteOptions, PlannedCheck } from './entity-check-suite.js';
|
|
17
19
|
export { nodeOnlySuite, declaredNodeOnlySuite } from './node-only-suite.js';
|
package/dist/index.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAC/D,YAAY,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AACrF,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAChE,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,0BAA0B,EAAE,MAAM,0BAA0B,CAAC;AACtE,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AACvE,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACpD,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,EAAE,2BAA2B,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAC/F,YAAY,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACzG,OAAO,EAAE,aAAa,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAC5E,YAAY,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,EAAE,mBAAmB,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AACxF,YAAY,EACV,sBAAsB,EACtB,iBAAiB,EACjB,2BAA2B,EAC3B,2BAA2B,GAC5B,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,SAAS,EACT,SAAS,EACT,SAAS,EACT,YAAY,EACZ,mBAAmB,EACnB,0BAA0B,EAC1B,mBAAmB,EACnB,OAAO,EACP,WAAW,EACX,YAAY,EACZ,SAAS,EACT,iBAAiB,EACjB,OAAO,EACP,eAAe,EACf,QAAQ,EACR,gBAAgB,GACjB,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,mBAAmB,EACnB,KAAK,aAAa,GACnB,MAAM,wBAAwB,CAAC"}
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAC/D,YAAY,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AACrF,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAChE,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,0BAA0B,EAAE,MAAM,0BAA0B,CAAC;AACtE,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AACvE,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACpD,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,EAAE,wBAAwB,EAAE,MAAM,yBAAyB,CAAC;AACnE,YAAY,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAClE,OAAO,EAAE,2BAA2B,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAC/F,YAAY,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACzG,OAAO,EAAE,aAAa,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAC5E,YAAY,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,EAAE,mBAAmB,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AACxF,YAAY,EACV,sBAAsB,EACtB,iBAAiB,EACjB,2BAA2B,EAC3B,2BAA2B,GAC5B,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,SAAS,EACT,SAAS,EACT,SAAS,EACT,YAAY,EACZ,mBAAmB,EACnB,0BAA0B,EAC1B,mBAAmB,EACnB,OAAO,EACP,WAAW,EACX,YAAY,EACZ,SAAS,EACT,iBAAiB,EACjB,OAAO,EACP,eAAe,EACf,QAAQ,EACR,gBAAgB,GACjB,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,mBAAmB,EACnB,KAAK,aAAa,GACnB,MAAM,wBAAwB,CAAC"}
|
package/dist/index.js
CHANGED
|
@@ -11,6 +11,7 @@ export { listContractSuite } from './list-suite.js';
|
|
|
11
11
|
export { scheduleContractSuite } from './schedule-suite.js';
|
|
12
12
|
export { inputParseContractSuite } from './input-parse-suite.js';
|
|
13
13
|
export { spineGuardContractSuite } from './spine-guard-suite.js';
|
|
14
|
+
export { grantExpiryContractSuite } from './grant-expiry-suite.js';
|
|
14
15
|
export { entityCheckConformanceSuite, planEntityCheckCoverage } from './entity-check-suite.js';
|
|
15
16
|
export { nodeOnlySuite, declaredNodeOnlySuite } from './node-only-suite.js';
|
|
16
17
|
export { declareEntityChecks, declareNodeOnly, assertNodeOnly } from './conformance.js';
|
package/dist/index.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAE/D,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAChE,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,0BAA0B,EAAE,MAAM,0BAA0B,CAAC;AACtE,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AACvE,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACpD,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,EAAE,2BAA2B,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAE/F,OAAO,EAAE,aAAa,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAE5E,OAAO,EAAE,mBAAmB,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAOxF,OAAO,EACL,SAAS,EACT,SAAS,EACT,SAAS,EACT,YAAY,EACZ,mBAAmB,EACnB,0BAA0B,EAC1B,mBAAmB,EACnB,OAAO,EACP,WAAW,EACX,YAAY,EACZ,SAAS,EACT,iBAAiB,EACjB,OAAO,EACP,eAAe,EACf,QAAQ,EACR,gBAAgB,GACjB,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,mBAAmB,GAEpB,MAAM,wBAAwB,CAAC"}
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAE/D,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAChE,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,0BAA0B,EAAE,MAAM,0BAA0B,CAAC;AACtE,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAC;AACvE,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AACpD,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,EAAE,wBAAwB,EAAE,MAAM,yBAAyB,CAAC;AAEnE,OAAO,EAAE,2BAA2B,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAE/F,OAAO,EAAE,aAAa,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAC;AAE5E,OAAO,EAAE,mBAAmB,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAOxF,OAAO,EACL,SAAS,EACT,SAAS,EACT,SAAS,EACT,YAAY,EACZ,mBAAmB,EACnB,0BAA0B,EAC1B,mBAAmB,EACnB,OAAO,EACP,WAAW,EACX,YAAY,EACZ,SAAS,EACT,iBAAiB,EACjB,OAAO,EACP,eAAe,EACf,QAAQ,EACR,gBAAgB,GACjB,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,cAAc,EACd,kBAAkB,EAClB,mBAAmB,GAEpB,MAAM,wBAAwB,CAAC"}
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@substrat-run/contract-tests",
|
|
3
|
-
"version": "0.
|
|
3
|
+
"version": "0.103.0",
|
|
4
4
|
"description": "The suite every scope-host adapter must pass, forever (D-14)",
|
|
5
5
|
"license": "AGPL-3.0-only",
|
|
6
6
|
"repository": {
|
|
@@ -31,8 +31,8 @@
|
|
|
31
31
|
],
|
|
32
32
|
"dependencies": {
|
|
33
33
|
"vitest": "^3.2.7",
|
|
34
|
-
"@substrat-run/
|
|
35
|
-
"@substrat-run/
|
|
34
|
+
"@substrat-run/contracts": "^0.103.0",
|
|
35
|
+
"@substrat-run/kernel": "^0.103.0"
|
|
36
36
|
},
|
|
37
37
|
"devDependencies": {
|
|
38
38
|
"@types/node": "^22.0.0",
|