@oxdeai/conformance 1.0.1
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 +54 -0
- package/dist/extract-vectors.js +416 -0
- package/dist/scripts/extract-vectors.d.ts +6 -0
- package/dist/scripts/extract-vectors.js +417 -0
- package/dist/scripts/extract-vectors.js.map +1 -0
- package/dist/src/validate.d.ts +1 -0
- package/dist/src/validate.js +394 -0
- package/dist/src/validate.js.map +1 -0
- package/package.json +20 -0
- package/scripts/extract-vectors.ts +460 -0
- package/src/validate.ts +467 -0
- package/tsconfig.json +14 -0
- package/vectors/audit-chain.json +94 -0
- package/vectors/authorization-payload.json +58 -0
- package/vectors/envelope-verification.json +78 -0
- package/vectors/intent-hash.json +87 -0
- package/vectors/snapshot-hash.json +130 -0
|
@@ -0,0 +1,394 @@
|
|
|
1
|
+
import { readFileSync } from "node:fs";
|
|
2
|
+
import { resolve } from "node:path";
|
|
3
|
+
import { createHash } from "node:crypto";
|
|
4
|
+
import { encodeCanonicalState, encodeEnvelope, PolicyEngine, sha256HexFromJson, verifyEnvelope, verifySnapshot } from "@oxdeai/core";
|
|
5
|
+
const CORE_ENGINE_SECRET = "test-secret";
|
|
6
|
+
const CORE_POLICY_ID = "a".repeat(64);
|
|
7
|
+
const INTENT_BINDING_FIELDS = [
|
|
8
|
+
"intent_id",
|
|
9
|
+
"agent_id",
|
|
10
|
+
"action_type",
|
|
11
|
+
"depth",
|
|
12
|
+
"amount",
|
|
13
|
+
"asset",
|
|
14
|
+
"target",
|
|
15
|
+
"timestamp",
|
|
16
|
+
"metadata_hash",
|
|
17
|
+
"nonce",
|
|
18
|
+
"type",
|
|
19
|
+
"authorization_id",
|
|
20
|
+
"tool",
|
|
21
|
+
"tool_call"
|
|
22
|
+
];
|
|
23
|
+
function makeEngine() {
|
|
24
|
+
return new PolicyEngine({
|
|
25
|
+
policy_version: "v1.0.0",
|
|
26
|
+
engine_secret: CORE_ENGINE_SECRET,
|
|
27
|
+
authorization_ttl_seconds: 60,
|
|
28
|
+
policyId: CORE_POLICY_ID
|
|
29
|
+
});
|
|
30
|
+
}
|
|
31
|
+
function makeBaseState() {
|
|
32
|
+
return {
|
|
33
|
+
policy_version: "v1.0.0",
|
|
34
|
+
period_id: "period-1",
|
|
35
|
+
kill_switch: { global: false, agents: {} },
|
|
36
|
+
allowlists: {},
|
|
37
|
+
budget: {
|
|
38
|
+
budget_limit: { "agent-1": 5000000n },
|
|
39
|
+
spent_in_period: { "agent-1": 0n }
|
|
40
|
+
},
|
|
41
|
+
max_amount_per_action: { "agent-1": 2000000n },
|
|
42
|
+
velocity: {
|
|
43
|
+
config: { window_seconds: 60, max_actions: 10 },
|
|
44
|
+
counters: {}
|
|
45
|
+
},
|
|
46
|
+
replay: {
|
|
47
|
+
window_seconds: 300,
|
|
48
|
+
max_nonces_per_agent: 256,
|
|
49
|
+
nonces: {}
|
|
50
|
+
},
|
|
51
|
+
concurrency: {
|
|
52
|
+
max_concurrent: { "agent-1": 3 },
|
|
53
|
+
active: {},
|
|
54
|
+
active_auths: {}
|
|
55
|
+
},
|
|
56
|
+
recursion: {
|
|
57
|
+
max_depth: { "agent-1": 5 }
|
|
58
|
+
},
|
|
59
|
+
tool_limits: {
|
|
60
|
+
window_seconds: 60,
|
|
61
|
+
max_calls: { "agent-1": 50 },
|
|
62
|
+
calls: {}
|
|
63
|
+
}
|
|
64
|
+
};
|
|
65
|
+
}
|
|
66
|
+
function asRecord(value) {
|
|
67
|
+
if (typeof value !== "object" || value === null || Array.isArray(value)) {
|
|
68
|
+
throw new Error("expected object");
|
|
69
|
+
}
|
|
70
|
+
return value;
|
|
71
|
+
}
|
|
72
|
+
function parseIntent(input) {
|
|
73
|
+
const r = asRecord(input);
|
|
74
|
+
const maybeType = r.type;
|
|
75
|
+
const type = maybeType === "RELEASE" ? "RELEASE" : "EXECUTE";
|
|
76
|
+
const base = {
|
|
77
|
+
intent_id: String(r.intent_id),
|
|
78
|
+
agent_id: String(r.agent_id),
|
|
79
|
+
action_type: String(r.action_type),
|
|
80
|
+
amount: BigInt(String(r.amount)),
|
|
81
|
+
asset: r.asset === undefined ? undefined : String(r.asset),
|
|
82
|
+
target: String(r.target),
|
|
83
|
+
timestamp: Number(r.timestamp),
|
|
84
|
+
metadata_hash: String(r.metadata_hash),
|
|
85
|
+
nonce: BigInt(String(r.nonce)),
|
|
86
|
+
signature: String(r.signature),
|
|
87
|
+
depth: r.depth === undefined ? undefined : Number(r.depth),
|
|
88
|
+
tool: r.tool === undefined ? undefined : String(r.tool),
|
|
89
|
+
tool_call: r.tool_call === undefined ? undefined : Boolean(r.tool_call)
|
|
90
|
+
};
|
|
91
|
+
if (type === "RELEASE") {
|
|
92
|
+
return {
|
|
93
|
+
...base,
|
|
94
|
+
type: "RELEASE",
|
|
95
|
+
authorization_id: String(r.authorization_id)
|
|
96
|
+
};
|
|
97
|
+
}
|
|
98
|
+
return {
|
|
99
|
+
...base,
|
|
100
|
+
type: "EXECUTE",
|
|
101
|
+
authorization_id: r.authorization_id === undefined ? undefined : String(r.authorization_id)
|
|
102
|
+
};
|
|
103
|
+
}
|
|
104
|
+
function parseState(input) {
|
|
105
|
+
const r = asRecord(input);
|
|
106
|
+
const budget = asRecord(r.budget);
|
|
107
|
+
const budget_limit = asRecord(budget.budget_limit);
|
|
108
|
+
const spent_in_period = asRecord(budget.spent_in_period);
|
|
109
|
+
const max_amount_per_action = asRecord(r.max_amount_per_action);
|
|
110
|
+
const toBigintRecord = (rec) => {
|
|
111
|
+
const out = {};
|
|
112
|
+
for (const [k, v] of Object.entries(rec))
|
|
113
|
+
out[k] = BigInt(String(v));
|
|
114
|
+
return out;
|
|
115
|
+
};
|
|
116
|
+
const state = makeBaseState();
|
|
117
|
+
state.policy_version = String(r.policy_version);
|
|
118
|
+
state.period_id = String(r.period_id);
|
|
119
|
+
state.kill_switch = {
|
|
120
|
+
global: Boolean(asRecord(r.kill_switch).global),
|
|
121
|
+
agents: asRecord(asRecord(r.kill_switch).agents)
|
|
122
|
+
};
|
|
123
|
+
state.allowlists = asRecord(r.allowlists);
|
|
124
|
+
state.budget = {
|
|
125
|
+
budget_limit: toBigintRecord(budget_limit),
|
|
126
|
+
spent_in_period: toBigintRecord(spent_in_period)
|
|
127
|
+
};
|
|
128
|
+
state.max_amount_per_action = toBigintRecord(max_amount_per_action);
|
|
129
|
+
state.velocity = asRecord(r.velocity);
|
|
130
|
+
state.replay = asRecord(r.replay);
|
|
131
|
+
state.concurrency = asRecord(r.concurrency);
|
|
132
|
+
state.recursion = asRecord(r.recursion);
|
|
133
|
+
state.tool_limits = asRecord(r.tool_limits);
|
|
134
|
+
return state;
|
|
135
|
+
}
|
|
136
|
+
function b64ToBytes(value) {
|
|
137
|
+
return Uint8Array.from(Buffer.from(value, "base64"));
|
|
138
|
+
}
|
|
139
|
+
function hexSha256Utf8(value) {
|
|
140
|
+
return createHash("sha256").update(value, "utf8").digest("hex");
|
|
141
|
+
}
|
|
142
|
+
function isPlainObject(v) {
|
|
143
|
+
return typeof v === "object" && v !== null && !Array.isArray(v);
|
|
144
|
+
}
|
|
145
|
+
function canonicalize(value) {
|
|
146
|
+
if (value === undefined)
|
|
147
|
+
return null;
|
|
148
|
+
if (typeof value === "bigint")
|
|
149
|
+
return value.toString();
|
|
150
|
+
if (Array.isArray(value))
|
|
151
|
+
return value.map(canonicalize);
|
|
152
|
+
if (isPlainObject(value)) {
|
|
153
|
+
const out = {};
|
|
154
|
+
for (const k of Object.keys(value).sort())
|
|
155
|
+
out[k] = canonicalize(value[k]);
|
|
156
|
+
return out;
|
|
157
|
+
}
|
|
158
|
+
return value;
|
|
159
|
+
}
|
|
160
|
+
function canonicalJson(value) {
|
|
161
|
+
return JSON.stringify(canonicalize(value));
|
|
162
|
+
}
|
|
163
|
+
const coreAdapter = {
|
|
164
|
+
name: "@oxdeai/core",
|
|
165
|
+
canonicalJson,
|
|
166
|
+
intentHash(intent) {
|
|
167
|
+
const src = intent;
|
|
168
|
+
const binding = {};
|
|
169
|
+
for (const key of INTENT_BINDING_FIELDS) {
|
|
170
|
+
const value = src[key];
|
|
171
|
+
if (value !== undefined)
|
|
172
|
+
binding[key] = value;
|
|
173
|
+
}
|
|
174
|
+
return sha256HexFromJson(binding);
|
|
175
|
+
},
|
|
176
|
+
evaluateAuthorization(intent) {
|
|
177
|
+
const engine = makeEngine();
|
|
178
|
+
const out = engine.evaluatePure(intent, makeBaseState());
|
|
179
|
+
if (out.decision !== "ALLOW") {
|
|
180
|
+
throw new Error(`expected ALLOW, got DENY: ${out.reasons.join(",")}`);
|
|
181
|
+
}
|
|
182
|
+
return { authorization: out.authorization, policyId: engine.computePolicyId() };
|
|
183
|
+
},
|
|
184
|
+
encodeSnapshot(state) {
|
|
185
|
+
const engine = makeEngine();
|
|
186
|
+
const snapshot = engine.exportState(state);
|
|
187
|
+
return { bytes: encodeCanonicalState(snapshot), policyId: engine.computePolicyId() };
|
|
188
|
+
},
|
|
189
|
+
verifySnapshot(bytes, expectedPolicyId) {
|
|
190
|
+
return verifySnapshot(bytes, expectedPolicyId ? { expectedPolicyId } : undefined);
|
|
191
|
+
},
|
|
192
|
+
verifyEnvelope
|
|
193
|
+
};
|
|
194
|
+
function loadJson(name) {
|
|
195
|
+
const p = resolve(process.cwd(), "vectors", name);
|
|
196
|
+
return JSON.parse(readFileSync(p, "utf8"));
|
|
197
|
+
}
|
|
198
|
+
function pass(ctx, msg) {
|
|
199
|
+
ctx.passed += 1;
|
|
200
|
+
console.log(`PASS ${msg}`);
|
|
201
|
+
}
|
|
202
|
+
function fail(ctx, msg) {
|
|
203
|
+
ctx.failures.push(msg);
|
|
204
|
+
console.error(`FAIL ${msg}`);
|
|
205
|
+
}
|
|
206
|
+
function eq(ctx, label, actual, expected) {
|
|
207
|
+
if (JSON.stringify(actual) !== JSON.stringify(expected)) {
|
|
208
|
+
fail(ctx, `${label}: expected=${JSON.stringify(expected)} actual=${JSON.stringify(actual)}`);
|
|
209
|
+
}
|
|
210
|
+
else {
|
|
211
|
+
pass(ctx, label);
|
|
212
|
+
}
|
|
213
|
+
}
|
|
214
|
+
function validateIntentHashVectors(ctx, adapter) {
|
|
215
|
+
const file = loadJson("intent-hash.json");
|
|
216
|
+
const vectors = file.vectors;
|
|
217
|
+
const hashes = {};
|
|
218
|
+
for (const v of vectors) {
|
|
219
|
+
const id = String(v.id);
|
|
220
|
+
const intent = parseIntent(v.input);
|
|
221
|
+
const got = adapter.intentHash(intent);
|
|
222
|
+
const want = String(asRecord(v.expected).hash);
|
|
223
|
+
hashes[id] = got;
|
|
224
|
+
eq(ctx, `${id} hash`, got, want);
|
|
225
|
+
}
|
|
226
|
+
eq(ctx, "intent-hash-002 invariant", hashes["intent-hash-002"], hashes["intent-hash-001"]);
|
|
227
|
+
eq(ctx, "intent-hash-003 invariant", hashes["intent-hash-003"], hashes["intent-hash-001"]);
|
|
228
|
+
}
|
|
229
|
+
function validateAuthorizationVectors(ctx, adapter) {
|
|
230
|
+
const file = loadJson("authorization-payload.json");
|
|
231
|
+
for (const v of file.vectors) {
|
|
232
|
+
const id = String(v.id);
|
|
233
|
+
const intent = parseIntent(v.input);
|
|
234
|
+
const { authorization, policyId } = adapter.evaluateAuthorization(intent);
|
|
235
|
+
const expected = asRecord(v.expected);
|
|
236
|
+
eq(ctx, `${id} intent_hash`, authorization.intent_hash, String(expected.intent_hash));
|
|
237
|
+
if (expected.state_hash !== undefined) {
|
|
238
|
+
eq(ctx, `${id} state_hash`, authorization.state_snapshot_hash, String(expected.state_hash));
|
|
239
|
+
}
|
|
240
|
+
eq(ctx, `${id} expires_at`, authorization.expires_at, Number(expected.expires_at));
|
|
241
|
+
const payload = adapter.canonicalJson({
|
|
242
|
+
expires_at: authorization.expires_at,
|
|
243
|
+
intent_hash: authorization.intent_hash,
|
|
244
|
+
policy_id: policyId,
|
|
245
|
+
state_hash: authorization.state_snapshot_hash
|
|
246
|
+
});
|
|
247
|
+
eq(ctx, `${id} canonical_signing_payload`, payload, String(expected.canonical_signing_payload));
|
|
248
|
+
eq(ctx, `${id} signature`, authorization.engine_signature, String(expected.signature));
|
|
249
|
+
}
|
|
250
|
+
}
|
|
251
|
+
function validateSnapshotVectors(ctx, adapter) {
|
|
252
|
+
const file = loadJson("snapshot-hash.json");
|
|
253
|
+
for (const v of file.vectors) {
|
|
254
|
+
const id = String(v.id);
|
|
255
|
+
const expected = asRecord(v.expected);
|
|
256
|
+
if (v.input_state !== undefined) {
|
|
257
|
+
const state = parseState(v.input_state);
|
|
258
|
+
const { bytes, policyId } = adapter.encodeSnapshot(state);
|
|
259
|
+
const out = adapter.verifySnapshot(bytes, policyId);
|
|
260
|
+
if (out.status !== "ok" || !out.stateHash) {
|
|
261
|
+
fail(ctx, `${id} verifySnapshot expected ok`);
|
|
262
|
+
continue;
|
|
263
|
+
}
|
|
264
|
+
eq(ctx, `${id} snapshot_base64`, Buffer.from(bytes).toString("base64"), String(expected.snapshot_base64));
|
|
265
|
+
eq(ctx, `${id} state_hash`, out.stateHash, String(expected.state_hash));
|
|
266
|
+
}
|
|
267
|
+
else {
|
|
268
|
+
const bytes = b64ToBytes(String(v.input_snapshot_base64));
|
|
269
|
+
const out = adapter.verifySnapshot(bytes, CORE_POLICY_ID);
|
|
270
|
+
if (out.status !== "ok" || !out.stateHash) {
|
|
271
|
+
fail(ctx, `${id} verifySnapshot expected ok`);
|
|
272
|
+
continue;
|
|
273
|
+
}
|
|
274
|
+
eq(ctx, `${id} state_hash`, out.stateHash, String(expected.state_hash));
|
|
275
|
+
}
|
|
276
|
+
}
|
|
277
|
+
}
|
|
278
|
+
function validateAuditChainVectors(ctx, adapter) {
|
|
279
|
+
const file = loadJson("audit-chain.json");
|
|
280
|
+
const [v1, v2, v3, v4] = file.vectors;
|
|
281
|
+
const genesis = hexSha256Utf8(String(v1.input));
|
|
282
|
+
eq(ctx, "audit-chain-001 genesis", genesis, String(asRecord(v1.expected).genesis_hex));
|
|
283
|
+
const i2 = asRecord(v2.input);
|
|
284
|
+
const e0 = i2.event_0;
|
|
285
|
+
const head1 = hexSha256Utf8(`${String(i2.head_0)}\n${adapter.canonicalJson(e0)}`);
|
|
286
|
+
eq(ctx, "audit-chain-002 head_1", head1, String(asRecord(v2.expected).head_1));
|
|
287
|
+
const i3 = asRecord(v3.input);
|
|
288
|
+
const events = i3.events ?? [];
|
|
289
|
+
let head = String(i3.genesis);
|
|
290
|
+
const heads = [];
|
|
291
|
+
for (const ev of events) {
|
|
292
|
+
head = hexSha256Utf8(`${head}\n${adapter.canonicalJson(ev)}`);
|
|
293
|
+
heads.push(head);
|
|
294
|
+
}
|
|
295
|
+
const e3 = asRecord(v3.expected);
|
|
296
|
+
eq(ctx, "audit-chain-003 head_1", heads[0], String(e3.head_1));
|
|
297
|
+
eq(ctx, "audit-chain-003 head_2", heads[1], String(e3.head_2));
|
|
298
|
+
eq(ctx, "audit-chain-003 head_3", heads[2], String(e3.head_3));
|
|
299
|
+
const i4 = asRecord(v4.input);
|
|
300
|
+
const mut = i4.mutated_event_0;
|
|
301
|
+
const mutHead1 = hexSha256Utf8(`${String(i4.head_0)}\n${adapter.canonicalJson(mut)}`);
|
|
302
|
+
const e4 = asRecord(v4.expected);
|
|
303
|
+
eq(ctx, "audit-chain-004 original_head_1", String(e4.original_head_1), String(e4.original_head_1));
|
|
304
|
+
eq(ctx, "audit-chain-004 mutated_head_1", mutHead1, String(e4.mutated_head_1));
|
|
305
|
+
eq(ctx, "audit-chain-004 must differ", mutHead1 !== String(e4.original_head_1), true);
|
|
306
|
+
}
|
|
307
|
+
function buildEnvelopeCases(adapter) {
|
|
308
|
+
const engine = makeEngine();
|
|
309
|
+
const state = makeBaseState();
|
|
310
|
+
const intent = parseIntent({
|
|
311
|
+
intent_id: "intent-300",
|
|
312
|
+
agent_id: "agent-1",
|
|
313
|
+
action_type: "PAYMENT",
|
|
314
|
+
amount: "1000000",
|
|
315
|
+
target: "merchant-1",
|
|
316
|
+
timestamp: 1730000000,
|
|
317
|
+
metadata_hash: "0".repeat(64),
|
|
318
|
+
nonce: "300",
|
|
319
|
+
signature: "sig-placeholder",
|
|
320
|
+
depth: 0,
|
|
321
|
+
tool: "openai.responses",
|
|
322
|
+
tool_call: true,
|
|
323
|
+
type: "EXECUTE"
|
|
324
|
+
});
|
|
325
|
+
const out = engine.evaluatePure(intent, state);
|
|
326
|
+
if (out.decision !== "ALLOW")
|
|
327
|
+
throw new Error("expected ALLOW for envelope cases");
|
|
328
|
+
const events = engine.audit.snapshot();
|
|
329
|
+
const snapshotBytes = encodeCanonicalState(engine.exportState(state));
|
|
330
|
+
const snap = adapter.verifySnapshot(snapshotBytes, engine.computePolicyId());
|
|
331
|
+
if (snap.status !== "ok" || !snap.stateHash)
|
|
332
|
+
throw new Error("failed to build envelope cases");
|
|
333
|
+
const valid = encodeEnvelope({ formatVersion: 1, snapshot: snapshotBytes, events });
|
|
334
|
+
const withCheckpoint = encodeEnvelope({
|
|
335
|
+
formatVersion: 1,
|
|
336
|
+
snapshot: snapshotBytes,
|
|
337
|
+
events: [
|
|
338
|
+
...events,
|
|
339
|
+
{
|
|
340
|
+
type: "STATE_CHECKPOINT",
|
|
341
|
+
stateHash: snap.stateHash,
|
|
342
|
+
timestamp: intent.timestamp,
|
|
343
|
+
policyId: engine.computePolicyId()
|
|
344
|
+
}
|
|
345
|
+
]
|
|
346
|
+
});
|
|
347
|
+
const mismatched = encodeEnvelope({
|
|
348
|
+
formatVersion: 1,
|
|
349
|
+
snapshot: snapshotBytes,
|
|
350
|
+
events: events.map((e) => ({ ...e, policyId: "c".repeat(64) }))
|
|
351
|
+
});
|
|
352
|
+
const corrupt = new Uint8Array([1, 2, 3, 4, 5]);
|
|
353
|
+
return [
|
|
354
|
+
adapter.verifyEnvelope(withCheckpoint, { expectedPolicyId: engine.computePolicyId(), mode: "strict" }),
|
|
355
|
+
adapter.verifyEnvelope(valid, { expectedPolicyId: engine.computePolicyId(), mode: "best-effort" }),
|
|
356
|
+
adapter.verifyEnvelope(mismatched, { expectedPolicyId: engine.computePolicyId(), mode: "best-effort" }),
|
|
357
|
+
adapter.verifyEnvelope(corrupt, { expectedPolicyId: engine.computePolicyId(), mode: "best-effort" }),
|
|
358
|
+
adapter.verifyEnvelope(valid, { expectedPolicyId: engine.computePolicyId(), mode: "strict" })
|
|
359
|
+
];
|
|
360
|
+
}
|
|
361
|
+
function validateEnvelopeVectors(ctx, adapter) {
|
|
362
|
+
const file = loadJson("envelope-verification.json");
|
|
363
|
+
const actual = buildEnvelopeCases(adapter);
|
|
364
|
+
for (let i = 0; i < file.vectors.length; i++) {
|
|
365
|
+
const id = String(file.vectors[i].id);
|
|
366
|
+
const expected = asRecord(file.vectors[i].expected);
|
|
367
|
+
const got = actual[i];
|
|
368
|
+
eq(ctx, `${id} status`, got.status, String(expected.status));
|
|
369
|
+
if (expected.policyId !== undefined)
|
|
370
|
+
eq(ctx, `${id} policyId`, got.policyId, String(expected.policyId));
|
|
371
|
+
if (expected.stateHash !== undefined)
|
|
372
|
+
eq(ctx, `${id} stateHash`, got.stateHash, String(expected.stateHash));
|
|
373
|
+
if (expected.auditHeadHash !== undefined)
|
|
374
|
+
eq(ctx, `${id} auditHeadHash`, got.auditHeadHash, String(expected.auditHeadHash));
|
|
375
|
+
eq(ctx, `${id} violations`, got.violations, expected.violations ?? []);
|
|
376
|
+
}
|
|
377
|
+
}
|
|
378
|
+
function main() {
|
|
379
|
+
const ctx = { failures: [], passed: 0 };
|
|
380
|
+
const adapter = coreAdapter;
|
|
381
|
+
console.log(`Running conformance validation with ${adapter.name}`);
|
|
382
|
+
validateIntentHashVectors(ctx, adapter);
|
|
383
|
+
validateAuthorizationVectors(ctx, adapter);
|
|
384
|
+
validateSnapshotVectors(ctx, adapter);
|
|
385
|
+
validateAuditChainVectors(ctx, adapter);
|
|
386
|
+
validateEnvelopeVectors(ctx, adapter);
|
|
387
|
+
if (ctx.failures.length > 0) {
|
|
388
|
+
console.error(`\nConformance failed: ${ctx.failures.length} assertion(s)`);
|
|
389
|
+
process.exit(1);
|
|
390
|
+
}
|
|
391
|
+
console.log(`\nConformance passed: ${ctx.passed} assertions`);
|
|
392
|
+
}
|
|
393
|
+
main();
|
|
394
|
+
//# sourceMappingURL=validate.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../src/validate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EACL,oBAAoB,EACpB,cAAc,EACd,YAAY,EACZ,iBAAiB,EACjB,cAAc,EACd,cAAc,EACf,MAAM,cAAc,CAAC;AAsBtB,MAAM,kBAAkB,GAAG,aAAa,CAAC;AACzC,MAAM,cAAc,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AACtC,MAAM,qBAAqB,GAAG;IAC5B,WAAW;IACX,UAAU;IACV,aAAa;IACb,OAAO;IACP,QAAQ;IACR,OAAO;IACP,QAAQ;IACR,WAAW;IACX,eAAe;IACf,OAAO;IACP,MAAM;IACN,kBAAkB;IAClB,MAAM;IACN,WAAW;CACH,CAAC;AAEX,SAAS,UAAU;IACjB,OAAO,IAAI,YAAY,CAAC;QACtB,cAAc,EAAE,QAAQ;QACxB,aAAa,EAAE,kBAAkB;QACjC,yBAAyB,EAAE,EAAE;QAC7B,QAAQ,EAAE,cAAc;KACzB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,aAAa;IACpB,OAAO;QACL,cAAc,EAAE,QAAQ;QACxB,SAAS,EAAE,UAAU;QACrB,WAAW,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE;QAC1C,UAAU,EAAE,EAAE;QACd,MAAM,EAAE;YACN,YAAY,EAAE,EAAE,SAAS,EAAE,QAAU,EAAE;YACvC,eAAe,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE;SACnC;QACD,qBAAqB,EAAE,EAAE,SAAS,EAAE,QAAU,EAAE;QAChD,QAAQ,EAAE;YACR,MAAM,EAAE,EAAE,cAAc,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE;YAC/C,QAAQ,EAAE,EAAE;SACb;QACD,MAAM,EAAE;YACN,cAAc,EAAE,GAAG;YACnB,oBAAoB,EAAE,GAAG;YACzB,MAAM,EAAE,EAAE;SACX;QACD,WAAW,EAAE;YACX,cAAc,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE;YAChC,MAAM,EAAE,EAAE;YACV,YAAY,EAAE,EAAE;SACjB;QACD,SAAS,EAAE;YACT,SAAS,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE;SAC5B;QACD,WAAW,EAAE;YACX,cAAc,EAAE,EAAE;YAClB,SAAS,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE;YAC5B,KAAK,EAAE,EAAE;SACV;KACF,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,MAAM,IAAI,KAAK,CAAC,iBAAiB,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,KAAmB,CAAC;AAC7B,CAAC;AAED,SAAS,WAAW,CAAC,KAAc;IACjC,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC1B,MAAM,SAAS,GAAG,CAAC,CAAC,IAAI,CAAC;IACzB,MAAM,IAAI,GAAG,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;IAE7D,MAAM,IAAI,GAAG;QACX,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;QAC9B,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC;QAC5B,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC,WAAW,CAA0B;QAC3D,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAChC,KAAK,EAAE,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;QAC1D,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;QACxB,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;QAC9B,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC;QACtC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC9B,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;QAC9B,KAAK,EAAE,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;QAC1D,IAAI,EAAE,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;QACvD,SAAS,EAAE,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC;KACxE,CAAC;IAEF,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO;YACL,GAAG,IAAI;YACP,IAAI,EAAE,SAAS;YACf,gBAAgB,EAAE,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC;SAC7C,CAAC;IACJ,CAAC;IAED,OAAO;QACL,GAAG,IAAI;QACP,IAAI,EAAE,SAAS;QACf,gBAAgB,EAAE,CAAC,CAAC,gBAAgB,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC;KAC5F,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,KAAc;IAChC,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC1B,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAClC,MAAM,YAAY,GAAG,QAAQ,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IACnD,MAAM,eAAe,GAAG,QAAQ,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;IAEzD,MAAM,qBAAqB,GAAG,QAAQ,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC;IAEhE,MAAM,cAAc,GAAG,CAAC,GAAe,EAA0B,EAAE;QACjE,MAAM,GAAG,GAA2B,EAAE,CAAC;QACvC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACrE,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IAEF,MAAM,KAAK,GAAG,aAAa,EAAE,CAAC;IAC9B,KAAK,CAAC,cAAc,GAAG,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;IAChD,KAAK,CAAC,SAAS,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAEtC,KAAK,CAAC,WAAW,GAAG;QAClB,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC;QAC/C,MAAM,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,MAAM,CAA4B;KAC5E,CAAC;IACF,KAAK,CAAC,UAAU,GAAG,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAwB,CAAC;IACjE,KAAK,CAAC,MAAM,GAAG;QACb,YAAY,EAAE,cAAc,CAAC,YAAY,CAAC;QAC1C,eAAe,EAAE,cAAc,CAAC,eAAe,CAAC;KACjD,CAAC;IACF,KAAK,CAAC,qBAAqB,GAAG,cAAc,CAAC,qBAAqB,CAAC,CAAC;IACpE,KAAK,CAAC,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAsB,CAAC;IAC3D,KAAK,CAAC,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAoB,CAAC;IACrD,KAAK,CAAC,WAAW,GAAG,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAyB,CAAC;IACpE,KAAK,CAAC,SAAS,GAAG,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAuB,CAAC;IAC9D,KAAK,CAAC,WAAW,GAAG,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAyB,CAAC;IAEpE,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,UAAU,CAAC,KAAa;IAC/B,OAAO,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC;AACvD,CAAC;AAED,SAAS,aAAa,CAAC,KAAa;IAClC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAClE,CAAC;AAED,SAAS,aAAa,CAAC,CAAU;IAC/B,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAClE,CAAC;AAED,SAAS,YAAY,CAAC,KAAc;IAClC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACrC,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC,QAAQ,EAAE,CAAC;IACvD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IACzD,IAAI,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,GAAG,GAA4B,EAAE,CAAC;QACxC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3E,OAAO,GAAG,CAAC;IACb,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,OAAO,IAAI,CAAC,SAAS,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7C,CAAC;AAED,MAAM,WAAW,GAAuB;IACtC,IAAI,EAAE,cAAc;IACpB,aAAa;IACb,UAAU,CAAC,MAAc;QACvB,MAAM,GAAG,GAAG,MAA4C,CAAC;QACzD,MAAM,OAAO,GAA4B,EAAE,CAAC;QAC5C,KAAK,MAAM,GAAG,IAAI,qBAAqB,EAAE,CAAC;YACxC,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;YACvB,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;QAChD,CAAC;QACD,OAAO,iBAAiB,CAAC,OAAO,CAAC,CAAC;IACpC,CAAC;IACD,qBAAqB,CAAC,MAAc;QAClC,MAAM,MAAM,GAAG,UAAU,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE,aAAa,EAAE,CAAC,CAAC;QACzD,IAAI,GAAG,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;YAC7B,MAAM,IAAI,KAAK,CAAC,6BAA6B,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACxE,CAAC;QACD,OAAO,EAAE,aAAa,EAAE,GAAG,CAAC,aAAa,EAAE,QAAQ,EAAE,MAAM,CAAC,eAAe,EAAE,EAAE,CAAC;IAClF,CAAC;IACD,cAAc,CAAC,KAAY;QACzB,MAAM,MAAM,GAAG,UAAU,EAAE,CAAC;QAC5B,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;QAC3C,OAAO,EAAE,KAAK,EAAE,oBAAoB,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,eAAe,EAAE,EAAE,CAAC;IACvF,CAAC;IACD,cAAc,CAAC,KAAiB,EAAE,gBAAyB;QACzD,OAAO,cAAc,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC,CAAC,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IACpF,CAAC;IACD,cAAc;CACf,CAAC;AAEF,SAAS,QAAQ,CAAI,IAAY;IAC/B,MAAM,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC;IAClD,OAAO,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAM,CAAC;AAClD,CAAC;AASD,SAAS,IAAI,CAAC,GAAa,EAAE,GAAW;IACtC,GAAG,CAAC,MAAM,IAAI,CAAC,CAAC;IAChB,OAAO,CAAC,GAAG,CAAC,QAAQ,GAAG,EAAE,CAAC,CAAC;AAC7B,CAAC;AAED,SAAS,IAAI,CAAC,GAAa,EAAE,GAAW;IACtC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACvB,OAAO,CAAC,KAAK,CAAC,QAAQ,GAAG,EAAE,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,EAAE,CAAC,GAAa,EAAE,KAAa,EAAE,MAAe,EAAE,QAAiB;IAC1E,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;QACxD,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,cAAc,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAC/F,CAAC;SAAM,CAAC;QACN,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACnB,CAAC;AACH,CAAC;AAED,SAAS,yBAAyB,CAAC,GAAa,EAAE,OAA2B;IAC3E,MAAM,IAAI,GAAG,QAAQ,CAAa,kBAAkB,CAAC,CAAC;IACtD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;IAC7B,MAAM,MAAM,GAA2B,EAAE,CAAC;IAE1C,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACxB,MAAM,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACpC,MAAM,GAAG,GAAG,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QACvC,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC;QAC/C,MAAM,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC;QACjB,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IACnC,CAAC;IAED,EAAE,CAAC,GAAG,EAAE,2BAA2B,EAAE,MAAM,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC;IAC3F,EAAE,CAAC,GAAG,EAAE,2BAA2B,EAAE,MAAM,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC;AAC7F,CAAC;AAED,SAAS,4BAA4B,CAAC,GAAa,EAAE,OAA2B;IAC9E,MAAM,IAAI,GAAG,QAAQ,CAAa,4BAA4B,CAAC,CAAC;IAEhE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACxB,MAAM,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QACpC,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC,qBAAqB,CAAC,MAAM,CAAC,CAAC;QAC1E,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QAEtC,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,cAAc,EAAE,aAAa,CAAC,WAAW,EAAE,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC;QACtF,IAAI,QAAQ,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YACtC,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,aAAa,EAAE,aAAa,CAAC,mBAAmB,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;QAC9F,CAAC;QACD,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,aAAa,EAAE,aAAa,CAAC,UAAU,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;QAEnF,MAAM,OAAO,GAAG,OAAO,CAAC,aAAa,CAAC;YACpC,UAAU,EAAE,aAAa,CAAC,UAAU;YACpC,WAAW,EAAE,aAAa,CAAC,WAAW;YACtC,SAAS,EAAE,QAAQ;YACnB,UAAU,EAAE,aAAa,CAAC,mBAAmB;SAC9C,CAAC,CAAC;QACH,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,4BAA4B,EAAE,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,yBAAyB,CAAC,CAAC,CAAC;QAChG,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE,aAAa,CAAC,gBAAgB,EAAE,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;IACzF,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAAC,GAAa,EAAE,OAA2B;IACzE,MAAM,IAAI,GAAG,QAAQ,CAAa,oBAAoB,CAAC,CAAC;IAExD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAC7B,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACxB,MAAM,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QAEtC,IAAI,CAAC,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;YAChC,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;YACxC,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;YAC1D,MAAM,GAAG,GAAG,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;YACpD,IAAI,GAAG,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC;gBAC1C,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,6BAA6B,CAAC,CAAC;gBAC9C,SAAS;YACX,CAAC;YACD,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,kBAAkB,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC;YAC1G,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,aAAa,EAAE,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;QAC1E,CAAC;aAAM,CAAC;YACN,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC;YAC1D,MAAM,GAAG,GAAG,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;YAC1D,IAAI,GAAG,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC;gBAC1C,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,6BAA6B,CAAC,CAAC;gBAC9C,SAAS;YACX,CAAC;YACD,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,aAAa,EAAE,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,yBAAyB,CAAC,GAAa,EAAE,OAA2B;IAC3E,MAAM,IAAI,GAAG,QAAQ,CAAa,kBAAkB,CAAC,CAAC;IACtD,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;IAEtC,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;IAChD,EAAE,CAAC,GAAG,EAAE,yBAAyB,EAAE,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;IAEvF,MAAM,EAAE,GAAG,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;IAC9B,MAAM,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC;IACtB,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAClF,EAAE,CAAC,GAAG,EAAE,wBAAwB,EAAE,KAAK,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAE/E,MAAM,EAAE,GAAG,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;IAC9B,MAAM,MAAM,GAAI,EAAE,CAAC,MAAoB,IAAI,EAAE,CAAC;IAC9C,IAAI,IAAI,GAAG,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;IAC9B,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;QACxB,IAAI,GAAG,aAAa,CAAC,GAAG,IAAI,KAAK,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAC9D,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC;IACD,MAAM,EAAE,GAAG,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;IACjC,EAAE,CAAC,GAAG,EAAE,wBAAwB,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/D,EAAE,CAAC,GAAG,EAAE,wBAAwB,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/D,EAAE,CAAC,GAAG,EAAE,wBAAwB,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;IAE/D,MAAM,EAAE,GAAG,QAAQ,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;IAC9B,MAAM,GAAG,GAAG,EAAE,CAAC,eAAe,CAAC;IAC/B,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACtF,MAAM,EAAE,GAAG,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;IACjC,EAAE,CAAC,GAAG,EAAE,iCAAiC,EAAE,MAAM,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC;IACnG,EAAE,CAAC,GAAG,EAAE,gCAAgC,EAAE,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC;IAC/E,EAAE,CAAC,GAAG,EAAE,6BAA6B,EAAE,QAAQ,KAAK,MAAM,CAAC,EAAE,CAAC,eAAe,CAAC,EAAE,IAAI,CAAC,CAAC;AACxF,CAAC;AAED,SAAS,kBAAkB,CAAC,OAA2B;IACrD,MAAM,MAAM,GAAG,UAAU,EAAE,CAAC;IAC5B,MAAM,KAAK,GAAG,aAAa,EAAE,CAAC;IAC9B,MAAM,MAAM,GAAG,WAAW,CAAC;QACzB,SAAS,EAAE,YAAY;QACvB,QAAQ,EAAE,SAAS;QACnB,WAAW,EAAE,SAAS;QACtB,MAAM,EAAE,SAAS;QACjB,MAAM,EAAE,YAAY;QACpB,SAAS,EAAE,UAAU;QACrB,aAAa,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7B,KAAK,EAAE,KAAK;QACZ,SAAS,EAAE,iBAAiB;QAC5B,KAAK,EAAE,CAAC;QACR,IAAI,EAAE,kBAAkB;QACxB,SAAS,EAAE,IAAI;QACf,IAAI,EAAE,SAAS;KAChB,CAAC,CAAC;IAEH,MAAM,GAAG,GAAG,MAAM,CAAC,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC/C,IAAI,GAAG,CAAC,QAAQ,KAAK,OAAO;QAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;IAEnF,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;IACvC,MAAM,aAAa,GAAG,oBAAoB,CAAC,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;IACtE,MAAM,IAAI,GAAG,OAAO,CAAC,cAAc,CAAC,aAAa,EAAE,MAAM,CAAC,eAAe,EAAE,CAAC,CAAC;IAC7E,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAC;IAE/F,MAAM,KAAK,GAAG,cAAc,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,EAAE,CAAC,CAAC;IACpF,MAAM,cAAc,GAAG,cAAc,CAAC;QACpC,aAAa,EAAE,CAAC;QAChB,QAAQ,EAAE,aAAa;QACvB,MAAM,EAAE;YACN,GAAG,MAAM;YACT;gBACE,IAAI,EAAE,kBAAkB;gBACxB,SAAS,EAAE,IAAI,CAAC,SAAS;gBACzB,SAAS,EAAE,MAAM,CAAC,SAAS;gBAC3B,QAAQ,EAAE,MAAM,CAAC,eAAe,EAAE;aACnC;SACF;KACF,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,cAAc,CAAC;QAChC,aAAa,EAAE,CAAC;QAChB,QAAQ,EAAE,aAAa;QACvB,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;KAChE,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAEhD,OAAO;QACL,OAAO,CAAC,cAAc,CAAC,cAAc,EAAE,EAAE,gBAAgB,EAAE,MAAM,CAAC,eAAe,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QACtG,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,EAAE,gBAAgB,EAAE,MAAM,CAAC,eAAe,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;QAClG,OAAO,CAAC,cAAc,CAAC,UAAU,EAAE,EAAE,gBAAgB,EAAE,MAAM,CAAC,eAAe,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;QACvG,OAAO,CAAC,cAAc,CAAC,OAAO,EAAE,EAAE,gBAAgB,EAAE,MAAM,CAAC,eAAe,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;QACpG,OAAO,CAAC,cAAc,CAAC,KAAK,EAAE,EAAE,gBAAgB,EAAE,MAAM,CAAC,eAAe,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;KAC9F,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAAC,GAAa,EAAE,OAA2B;IACzE,MAAM,IAAI,GAAG,QAAQ,CAAa,4BAA4B,CAAC,CAAC;IAChE,MAAM,MAAM,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;IAE3C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACtC,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACpD,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QAEtB,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;QAC7D,IAAI,QAAQ,CAAC,QAAQ,KAAK,SAAS;YAAE,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;QACxG,IAAI,QAAQ,CAAC,SAAS,KAAK,SAAS;YAAE,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,YAAY,EAAE,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;QAC5G,IAAI,QAAQ,CAAC,aAAa,KAAK,SAAS;YAAE,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,gBAAgB,EAAE,GAAG,CAAC,aAAa,EAAE,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC;QAC5H,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,aAAa,EAAE,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC;IACzE,CAAC;AACH,CAAC;AAED,SAAS,IAAI;IACX,MAAM,GAAG,GAAa,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;IAClD,MAAM,OAAO,GAAG,WAAW,CAAC;IAE5B,OAAO,CAAC,GAAG,CAAC,uCAAuC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IAEnE,yBAAyB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACxC,4BAA4B,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAC3C,uBAAuB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACtC,yBAAyB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IACxC,uBAAuB,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAEtC,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,OAAO,CAAC,KAAK,CAAC,yBAAyB,GAAG,CAAC,QAAQ,CAAC,MAAM,eAAe,CAAC,CAAC;QAC3E,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IAED,OAAO,CAAC,GAAG,CAAC,yBAAyB,GAAG,CAAC,MAAM,aAAa,CAAC,CAAC;AAChE,CAAC;AAED,IAAI,EAAE,CAAC"}
|
package/package.json
ADDED
|
@@ -0,0 +1,20 @@
|
|
|
1
|
+
{
|
|
2
|
+
"name": "@oxdeai/conformance",
|
|
3
|
+
"version": "1.0.1",
|
|
4
|
+
"description": "Conformance test suite for OxDeAI Core implementations, ensuring compliance with the deterministic policy engine protocol through standardized test cases and validation tools.",
|
|
5
|
+
"license": "Apache-2.0",
|
|
6
|
+
"type": "module",
|
|
7
|
+
"scripts": {
|
|
8
|
+
"build": "tsc -p tsconfig.json",
|
|
9
|
+
"extract": "pnpm build && node dist/scripts/extract-vectors.js",
|
|
10
|
+
"validate": "pnpm build && node dist/src/validate.js"
|
|
11
|
+
},
|
|
12
|
+
"dependencies": {
|
|
13
|
+
"@oxdeai/core": "^1.0.1"
|
|
14
|
+
},
|
|
15
|
+
"devDependencies": {
|
|
16
|
+
"ts-node": "^10.9.0",
|
|
17
|
+
"tsx": "^4.21.0",
|
|
18
|
+
"typescript": "^5.0.0"
|
|
19
|
+
}
|
|
20
|
+
}
|