@primmel/primmel 1.18.0 → 1.20.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/dist/src/check-rules.d.ts.map +1 -1
- package/dist/src/check-rules.js +30 -0
- package/dist/src/check-rules.js.map +1 -1
- package/dist/src/check.d.ts.map +1 -1
- package/dist/src/check.js +126 -0
- package/dist/src/check.js.map +1 -1
- package/dist/src/ser-des/config/conformanceTest.d.ts.map +1 -1
- package/dist/src/ser-des/config/conformanceTest.js +310 -0
- package/dist/src/ser-des/config/conformanceTest.js.map +1 -1
- package/dist/src/ser-des/config/note.d.ts.map +1 -1
- package/dist/src/ser-des/config/note.js.map +1 -1
- package/dist/src/ser-des/config/packageManifest.d.ts.map +1 -1
- package/dist/src/ser-des/config/packageManifest.js +43 -0
- package/dist/src/ser-des/config/packageManifest.js.map +1 -1
- package/dist/src/types/ConformanceTest.d.ts +86 -0
- package/dist/src/types/ConformanceTest.d.ts.map +1 -1
- package/dist/src/types/Package.d.ts +25 -0
- package/dist/src/types/Package.d.ts.map +1 -1
- package/dist-browser/index.mjs +937 -822
- package/dist-cli/primmel.mjs +419 -0
- package/package.json +1 -1
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"check-rules.d.ts","sourceRoot":"","sources":["../../src/check-rules.ts"],"names":[],"mappings":"AAoBA,MAAM,MAAM,WAAW,GACnB,MAAM,GACN,SAAS,GACT,SAAS,GACT,eAAe,GACf,SAAS,GACT,aAAa,GACb,YAAY,GACZ,OAAO,GACP,UAAU,GACV,WAAW,GACX,iBAAiB,GACjB,OAAO,GACP,UAAU,GACV,SAAS,GACT,cAAc,GACd,WAAW,CAAC;AAEhB,MAAM,MAAM,UAAU,GAAG,QAAQ,GAAG,OAAO,CAAC;AAE5C,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,WAAW,CAAC;IACpB,QAAQ,EAAE,OAAO,GAAG,SAAS,CAAC;IAC9B,KAAK,EAAE,UAAU,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;CACd;AAWD,qCAAqC;AACrC,eAAO,MAAM,WAAW,EAAE,SAAS,
|
|
1
|
+
{"version":3,"file":"check-rules.d.ts","sourceRoot":"","sources":["../../src/check-rules.ts"],"names":[],"mappings":"AAoBA,MAAM,MAAM,WAAW,GACnB,MAAM,GACN,SAAS,GACT,SAAS,GACT,eAAe,GACf,SAAS,GACT,aAAa,GACb,YAAY,GACZ,OAAO,GACP,UAAU,GACV,WAAW,GACX,iBAAiB,GACjB,OAAO,GACP,UAAU,GACV,SAAS,GACT,cAAc,GACd,WAAW,CAAC;AAEhB,MAAM,MAAM,UAAU,GAAG,QAAQ,GAAG,OAAO,CAAC;AAE5C,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,WAAW,CAAC;IACpB,QAAQ,EAAE,OAAO,GAAG,SAAS,CAAC;IAC9B,KAAK,EAAE,UAAU,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;CACd;AAWD,qCAAqC;AACrC,eAAO,MAAM,WAAW,EAAE,SAAS,EAujDlC,CAAC;AAIF,uEAAuE;AACvE,wBAAgB,SAAS,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAE3D;AAED,sEAAsE;AACtE,wBAAgB,aAAa,CAAC,KAAK,EAAE,UAAU,GAAG,GAAG,CAAC,MAAM,CAAC,CAM5D"}
|
package/dist/src/check-rules.js
CHANGED
|
@@ -360,6 +360,19 @@ exports.CHECK_RULES = [
|
|
|
360
360
|
R('C81', 'product-maps-resolves', 'supply-chain', 'error', 'normal', 'TODO.roadmap/36, doctrine ch. 15 §15.9'),
|
|
361
361
|
R('C82', 'product-unmapped-promises', 'supply-chain', 'warning', 'normal', 'TODO.roadmap/36, doctrine ch. 15 §15.2/§15.9'),
|
|
362
362
|
R('C83', 'abstract-import-pinned', 'supply-chain', 'error', 'normal', 'TODO.roadmap/36, doctrine ch. 15 §15.3/§15.9'),
|
|
363
|
+
// ── the license facets (smart TODO.external-refs/04; the entitlement
|
|
364
|
+
// facet + catalog) ── The manifest declares the package's licensed
|
|
365
|
+
// nature: one `license_key` (the entitlement catalog key the
|
|
366
|
+
// platform's license gate reads) and its `license_holder` (the
|
|
367
|
+
// copyright owner). A package without a key is public content — the
|
|
368
|
+
// OIML models stay license-free — so every leg keys on the key's
|
|
369
|
+
// presence. C144: the catalog-key shape. C145: at most one
|
|
370
|
+
// license_key per package (the parser records the overwritten earlier
|
|
371
|
+
// declarations). C146: the holder required with the key (a bare
|
|
372
|
+
// holder stays legal — attribution without an entitlement claim).
|
|
373
|
+
R('C144', 'license-key-shape', 'supply-chain', 'error', 'normal', 'smart TODO.external-refs/04 (the entitlement facet + catalog)'),
|
|
374
|
+
R('C145', 'license-key-unique', 'supply-chain', 'error', 'normal', 'smart TODO.external-refs/04 (the entitlement facet + catalog)'),
|
|
375
|
+
R('C146', 'license-holder-required', 'supply-chain', 'error', 'normal', 'smart TODO.external-refs/04 (the entitlement facet + catalog)'),
|
|
363
376
|
// ── subject-intrinsic constraints (TODO.roadmap/51, BUG.R60-SSOT gap 7)
|
|
364
377
|
// The constraint construct's declaration shape — the kernel mirror of
|
|
365
378
|
// the OIML SMART constraints.yaml schema (stereotype «inv», one ocl{…}
|
|
@@ -439,6 +452,23 @@ exports.CHECK_RULES = [
|
|
|
439
452
|
// the kernel checks syntax/shape only.
|
|
440
453
|
R('C92', 'test-sequence-shape', 'base', 'error', 'normal', 'smart architecture-gaps-2026-07.md E10, data/schemas/test-sequences.yaml'),
|
|
441
454
|
R('C93', 'test-sequence-integrity', 'base', 'error', 'normal', 'smart architecture-gaps-2026-07.md E10, data/schemas/test-sequences.yaml'),
|
|
455
|
+
// ── the executable test programs (smart TODO.twin-demo/03 — the
|
|
456
|
+
// model-drive bindings) ──
|
|
457
|
+
// The conformance test's preparation/stimulus facets are the
|
|
458
|
+
// machine-executable half of the test declaration. C147 is the
|
|
459
|
+
// program shape: entry orders are positive integers unique in the
|
|
460
|
+
// program; a preparation step carries action AND/OR drive; a verify
|
|
461
|
+
// block carries read AND tolerance; a stimulus point carries a drive
|
|
462
|
+
// and an acceptance reference. C148 is the duration discipline: hold
|
|
463
|
+
// and fresh_within parse as duration windows (the serve contract's
|
|
464
|
+
// vocabulary), and a stimulus point declares fresh_within (§14.12's
|
|
465
|
+
// no-stale-semantics doctrine). Reference RESOLUTION (the drive
|
|
466
|
+
// operation names against the twin kind's declared vocabulary, the
|
|
467
|
+
// acceptance/tolerance refs against requirement nodes) is the
|
|
468
|
+
// consumer-side conformance leg's job — the kernel checks
|
|
469
|
+
// syntax/shape only (the C92/C93 vs R39 split).
|
|
470
|
+
R('C147', 'test-program-shape', 'base', 'error', 'normal', 'smart TODO.twin-demo/03 (the model-drive bindings)'),
|
|
471
|
+
R('C148', 'test-program-duration', 'base', 'error', 'normal', 'smart TODO.twin-demo/03 (the model-drive bindings)'),
|
|
442
472
|
// ── the per-test evaluation-formula traces (smart gap-close E11,
|
|
443
473
|
// analysis/architecture-gaps-2026-07.md; the smart contract
|
|
444
474
|
// data/schemas/formulas-used.yaml) ──
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"check-rules.js","sourceRoot":"","sources":["../../src/check-rules.ts"],"names":[],"mappings":";AAAA,wEAAwE;AACxE,sDAAsD;AACtD,EAAE;AACF,sEAAsE;AACtE,qEAAqE;AACrE,iCAAiC;AACjC,8DAA8D;AAC9D,kEAAkE;AAClE,oEAAoE;AACpE,yEAAyE;AACzE,8DAA8D;AAC9D,yCAAyC;AACzC,+DAA+D;AAC/D,mEAAmE;AACnE,uEAAuE;AACvE,yEAAyE;AACzE,kEAAkE;AAClE,2DAA2D;AAC3D,wEAAwE;;;AAoiDxE,8BAEC;AAGD,sCAMC;AAhhDD,MAAM,CAAC,GAAG,CACR,EAAU,EACV,IAAY,EACZ,MAAmB,EACnB,QAA6B,EAC7B,KAAiB,EACjB,IAAY,EACD,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AAE9D,qCAAqC;AACxB,QAAA,WAAW,GAAgB;IACtC,qEAAqE;IACrE,CAAC,CACC,IAAI,EACJ,sBAAsB,EACtB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,mBAAmB,CACpB;IACD,CAAC,CACC,IAAI,EACJ,2BAA2B,EAC3B,MAAM,EACN,OAAO,EACP,QAAQ,EACR,mBAAmB,CACpB;IACD,CAAC,CAAC,IAAI,EAAE,iBAAiB,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,mBAAmB,CAAC;IAC1E,CAAC,CAAC,IAAI,EAAE,kBAAkB,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,mBAAmB,CAAC;IAC3E,CAAC,CACC,IAAI,EACJ,mBAAmB,EACnB,MAAM,EACN,SAAS,EACT,QAAQ,EACR,wBAAwB,CACzB;IACD,CAAC,CACC,KAAK,EACL,qBAAqB,EACrB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,mBAAmB,CACpB;IACD,CAAC,CACC,KAAK,EACL,iBAAiB,EACjB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,yBAAyB,CAC1B;IACD,qEAAqE;IACrE,CAAC,CAAC,IAAI,EAAE,gBAAgB,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,iBAAiB,CAAC;IAC1E,CAAC,CACC,IAAI,EACJ,mCAAmC,EACnC,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,IAAI,EACJ,2BAA2B,EAC3B,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,IAAI,EACJ,0BAA0B,EAC1B,SAAS,EACT,SAAS,EACT,QAAQ,EACR,iBAAiB,CAClB;IACD,qEAAqE;IACrE,CAAC,CACC,KAAK,EACL,mBAAmB,EACnB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,sBAAsB,EACtB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,4BAA4B,EAC5B,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,4BAA4B,EAC5B,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,0BAA0B,EAC1B,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,sBAAsB,EACtB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,yBAAyB,EACzB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,wEAAwE;IACxE,qEAAqE;IACrE,uEAAuE;IACvE,qDAAqD;IACrD,CAAC,CACC,KAAK,EACL,wBAAwB,EACxB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,sEAAsE;IACtE,uEAAuE;IACvE,wEAAwE;IACxE,8CAA8C;IAC9C,CAAC,CACC,KAAK,EACL,6BAA6B,EAC7B,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,uEAAuE;IACvE,8DAA8D;IAC9D,iEAAiE;IACjE,+DAA+D;IAC/D,iEAAiE;IACjE,sEAAsE;IACtE,iEAAiE;IACjE,mEAAmE;IACnE,iEAAiE;IACjE,8DAA8D;IAC9D,mEAAmE;IACnE,qEAAqE;IACrE,kCAAkC;IAClC,mEAAmE;IACnE,0DAA0D;IAC1D,CAAC,CACC,KAAK,EACL,2BAA2B,EAC3B,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,uBAAuB,EACvB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,4BAA4B,EAC5B,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,qEAAqE;IACrE,CAAC,CACC,KAAK,EACL,gBAAgB,EAChB,eAAe,EACf,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,sBAAsB,EACtB,eAAe,EACf,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,eAAe,EACf,eAAe,EACf,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,sBAAsB,EACtB,eAAe,EACf,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,qEAAqE;IACrE,CAAC,CACC,KAAK,EACL,kBAAkB,EAClB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,mCAAmC,CACpC;IACD,CAAC,CACC,KAAK,EACL,mBAAmB,EACnB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,mCAAmC,CACpC;IACD,CAAC,CACC,KAAK,EACL,8BAA8B,EAC9B,SAAS,EACT,OAAO,EACP,QAAQ,EACR,mCAAmC,CACpC;IACD,CAAC,CACC,KAAK,EACL,oBAAoB,EACpB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,mCAAmC,CACpC;IACD,CAAC,CACC,KAAK,EACL,qBAAqB,EACrB,SAAS,EACT,SAAS,EACT,OAAO,EACP,iBAAiB,CAClB;IACD,CAAC,CAAC,KAAK,EAAE,gBAAgB,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,iBAAiB,CAAC;IAC3E,qEAAqE;IACrE,CAAC,CACC,KAAK,EACL,eAAe,EACf,aAAa,EACb,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,kBAAkB,EAClB,aAAa,EACb,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CAAC,KAAK,EAAE,YAAY,EAAE,aAAa,EAAE,OAAO,EAAE,QAAQ,EAAE,iBAAiB,CAAC;IAC3E,CAAC,CACC,KAAK,EACL,6BAA6B,EAC7B,aAAa,EACb,SAAS,EACT,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,oBAAoB,EACpB,aAAa,EACb,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,kEAAkE;IAClE,iEAAiE;IACjE,qEAAqE;IACrE,mEAAmE;IACnE,kEAAkE;IAClE,CAAC,CACC,MAAM,EACN,yBAAyB,EACzB,aAAa,EACb,OAAO,EACP,QAAQ,EACR,uCAAuC,CACxC;IACD,+DAA+D;IAC/D,gEAAgE;IAChE,qEAAqE;IACrE,qEAAqE;IACrE,gEAAgE;IAChE,+DAA+D;IAC/D,gEAAgE;IAChE,mEAAmE;IACnE,kEAAkE;IAClE,sBAAsB;IACtB,CAAC,CACC,MAAM,EACN,8BAA8B,EAC9B,aAAa,EACb,OAAO,EACP,QAAQ,EACR,mDAAmD,CACpD;IACD,uEAAuE;IACvE,sEAAsE;IACtE,mEAAmE;IACnE,uEAAuE;IACvE,uEAAuE;IACvE,+DAA+D;IAC/D,mEAAmE;IACnE,+DAA+D;IAC/D,oEAAoE;IACpE,qBAAqB;IACrB,CAAC,CACC,MAAM,EACN,qCAAqC,EACrC,SAAS,EACT,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,kEAAkE;IAClE,uEAAuE;IACvE,8DAA8D;IAC9D,+DAA+D;IAC/D,sEAAsE;IACtE,qEAAqE;IACrE,gEAAgE;IAChE,uDAAuD;IACvD,CAAC,CACC,MAAM,EACN,sBAAsB,EACtB,aAAa,EACb,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,gEAAgE;IAChE,uEAAuE;IACvE,gEAAgE;IAChE,uEAAuE;IACvE,uEAAuE;IACvE,gEAAgE;IAChE,CAAC,CACC,MAAM,EACN,oCAAoC,EACpC,aAAa,EACb,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,qEAAqE;IACrE,oEAAoE;IACpE,8DAA8D;IAC9D,gEAAgE;IAChE,qEAAqE;IACrE,kEAAkE;IAClE,CAAC,CACC,MAAM,EACN,iBAAiB,EACjB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,qEAAqE;IACrE,iEAAiE;IACjE,2DAA2D;IAC3D,oEAAoE;IACpE,mEAAmE;IACnE,sDAAsD;IACtD,CAAC,CACC,MAAM,EACN,uBAAuB,EACvB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,iEAAiE;IACjE,uEAAuE;IACvE,gEAAgE;IAChE,CAAC,CACC,MAAM,EACN,8BAA8B,EAC9B,aAAa,EACb,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,uEAAuE;IACvE,sEAAsE;IACtE,sEAAsE;IACtE,qEAAqE;IACrE,cAAc;IACd,CAAC,CACC,MAAM,EACN,6BAA6B,EAC7B,MAAM,EACN,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,uEAAuE;IACvE,mEAAmE;IACnE,qEAAqE;IACrE,wBAAwB;IACxB,CAAC,CACC,MAAM,EACN,kBAAkB,EAClB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,wEAAwE;IACxE,oEAAoE;IACpE,wEAAwE;IACxE,wEAAwE;IACxE,oEAAoE;IACpE,mDAAmD;IACnD,CAAC,CACC,MAAM,EACN,iBAAiB,EACjB,aAAa,EACb,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,wEAAwE;IACxE,iEAAiE;IACjE,wEAAwE;IACxE,sEAAsE;IACtE,kEAAkE;IAClE,uEAAuE;IACvE,CAAC,CACC,MAAM,EACN,gCAAgC,EAChC,aAAa,EACb,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,iEAAiE;IACjE,mEAAmE;IACnE,oEAAoE;IACpE,iEAAiE;IACjE,iEAAiE;IACjE,6BAA6B;IAC7B,CAAC,CACC,MAAM,EACN,gCAAgC,EAChC,aAAa,EACb,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,mEAAmE;IACnE,sEAAsE;IACtE,oEAAoE;IACpE,CAAC,CACC,MAAM,EACN,oCAAoC,EACpC,aAAa,EACb,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,mEAAmE;IACnE,oEAAoE;IACpE,mEAAmE;IACnE,kEAAkE;IAClE,0DAA0D;IAC1D,CAAC,CACC,MAAM,EACN,gCAAgC,EAChC,aAAa,EACb,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,mEAAmE;IACnE,sEAAsE;IACtE,sEAAsE;IACtE,oEAAoE;IACpE,CAAC,CACC,MAAM,EACN,iCAAiC,EACjC,aAAa,EACb,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,sEAAsE;IACtE,iEAAiE;IACjE,uDAAuD;IACvD,CAAC,CACC,MAAM,EACN,8BAA8B,EAC9B,aAAa,EACb,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,mEAAmE;IACnE,uEAAuE;IACvE,4DAA4D;IAC5D,uEAAuE;IACvE,6CAA6C;IAC7C,CAAC,CACC,MAAM,EACN,iCAAiC,EACjC,aAAa,EACb,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,+DAA+D;IAC/D,oEAAoE;IACpE,uEAAuE;IACvE,yCAAyC;IACzC,CAAC,CACC,MAAM,EACN,4BAA4B,EAC5B,aAAa,EACb,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,oEAAoE;IACpE,oEAAoE;IACpE,mEAAmE;IACnE,CAAC,CACC,MAAM,EACN,iCAAiC,EACjC,aAAa,EACb,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,gEAAgE;IAChE,qEAAqE;IACrE,+DAA+D;IAC/D,4BAA4B;IAC5B,CAAC,CACC,MAAM,EACN,2BAA2B,EAC3B,aAAa,EACb,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,gEAAgE;IAChE,qEAAqE;IACrE,qCAAqC;IACrC,CAAC,CACC,MAAM,EACN,iCAAiC,EACjC,aAAa,EACb,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,oEAAoE;IACpE,8DAA8D;IAC9D,oEAAoE;IACpE,CAAC,CACC,MAAM,EACN,uBAAuB,EACvB,aAAa,EACb,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,uEAAuE;IACvE,mEAAmE;IACnE,kEAAkE;IAClE,yCAAyC;IACzC,CAAC,CACC,MAAM,EACN,uBAAuB,EACvB,aAAa,EACb,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,oEAAoE;IACpE,mEAAmE;IACnE,8DAA8D;IAC9D,uEAAuE;IACvE,kCAAkC;IAClC,CAAC,CACC,MAAM,EACN,6BAA6B,EAC7B,aAAa,EACb,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,qEAAqE;IACrE,CAAC,CACC,KAAK,EACL,uBAAuB,EACvB,YAAY,EACZ,OAAO,EACP,QAAQ,EACR,wBAAwB,CACzB;IACD,CAAC,CACC,KAAK,EACL,oBAAoB,EACpB,YAAY,EACZ,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,mBAAmB,EACnB,YAAY,EACZ,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CAAC,KAAK,EAAE,aAAa,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE,iBAAiB,CAAC;IAC3E,CAAC,CAAC,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE,iBAAiB,CAAC;IACxE,qEAAqE;IACrE,CAAC,CACC,KAAK,EACL,qBAAqB,EACrB,OAAO,EACP,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,yBAAyB,EACzB,OAAO,EACP,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,iCAAiC,EACjC,OAAO,EACP,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,wBAAwB,EACxB,OAAO,EACP,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,iCAAiC,EACjC,OAAO,EACP,SAAS,EACT,QAAQ,EACR,iBAAiB,CAClB;IACD,qEAAqE;IACrE,CAAC,CACC,KAAK,EACL,yBAAyB,EACzB,UAAU,EACV,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,oBAAoB,EACpB,UAAU,EACV,SAAS,EACT,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,wBAAwB,EACxB,UAAU,EACV,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,qEAAqE;IACrE,CAAC,CACC,KAAK,EACL,uBAAuB,EACvB,WAAW,EACX,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,4BAA4B,EAC5B,WAAW,EACX,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,8BAA8B,EAC9B,WAAW,EACX,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,qEAAqE;IACrE,CAAC,CACC,KAAK,EACL,yBAAyB,EACzB,iBAAiB,EACjB,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,8BAA8B,EAC9B,iBAAiB,EACjB,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,kCAAkC,EAClC,iBAAiB,EACjB,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,uEAAuE;IACvE,CAAC,CACC,KAAK,EACL,uBAAuB,EACvB,OAAO,EACP,OAAO,EACP,QAAQ,EACR,kCAAkC,CACnC;IACD,CAAC,CACC,KAAK,EACL,yBAAyB,EACzB,OAAO,EACP,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,CAAC,CACC,KAAK,EACL,4BAA4B,EAC5B,OAAO,EACP,OAAO,EACP,QAAQ,EACR,kCAAkC,CACnC;IACD,CAAC,CACC,KAAK,EACL,qCAAqC,EACrC,OAAO,EACP,OAAO,EACP,QAAQ,EACR,kCAAkC,CACnC;IACD,CAAC,CACC,KAAK,EACL,2BAA2B,EAC3B,OAAO,EACP,OAAO,EACP,QAAQ,EACR,iCAAiC,CAClC;IACD,6EAA6E;IAC7E,CAAC,CACC,KAAK,EACL,0BAA0B,EAC1B,OAAO,EACP,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,CAAC,CACC,KAAK,EACL,4BAA4B,EAC5B,OAAO,EACP,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,CAAC,CACC,KAAK,EACL,2BAA2B,EAC3B,OAAO,EACP,OAAO,EACP,QAAQ,EACR,kCAAkC,CACnC;IACD,wEAAwE;IACxE,oEAAoE;IACpE,oCAAoC;IACpC,CAAC,CACC,KAAK,EACL,yBAAyB,EACzB,OAAO,EACP,SAAS,EACT,QAAQ,EACR,kCAAkC,CACnC;IACD,CAAC,CACC,KAAK,EACL,6BAA6B,EAC7B,OAAO,EACP,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,CAAC,CACC,KAAK,EACL,oBAAoB,EACpB,OAAO,EACP,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,qEAAqE;IACrE,yEAAyE;IACzE,uEAAuE;IACvE,8DAA8D;IAC9D,sDAAsD;IACtD,CAAC,CACC,KAAK,EACL,wBAAwB,EACxB,UAAU,EACV,SAAS,EACT,OAAO,EACP,oCAAoC,CACrC;IACD,CAAC,CACC,KAAK,EACL,wBAAwB,EACxB,UAAU,EACV,SAAS,EACT,OAAO,EACP,oCAAoC,CACrC;IACD,CAAC,CACC,KAAK,EACL,qBAAqB,EACrB,UAAU,EACV,OAAO,EACP,QAAQ,EACR,oCAAoC,CACrC;IACD,CAAC,CACC,KAAK,EACL,8BAA8B,EAC9B,UAAU,EACV,OAAO,EACP,QAAQ,EACR,oCAAoC,CACrC;IACD,oEAAoE;IACpE,qEAAqE;IACrE,kEAAkE;IAClE,CAAC,CAAC,KAAK,EAAE,iBAAiB,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,iBAAiB,CAAC;IAC5E,uEAAuE;IACvE,mEAAmE;IACnE,mEAAmE;IACnE,uEAAuE;IACvE,0DAA0D;IAC1D,qEAAqE;IACrE,uEAAuE;IACvE,oEAAoE;IACpE,CAAC,CACC,KAAK,EACL,kCAAkC,EAClC,UAAU,EACV,SAAS,EACT,OAAO,EACP,oCAAoC,CACrC;IACD,CAAC,CACC,KAAK,EACL,sBAAsB,EACtB,UAAU,EACV,OAAO,EACP,OAAO,EACP,oCAAoC,CACrC;IACD,CAAC,CACC,KAAK,EACL,sBAAsB,EACtB,UAAU,EACV,OAAO,EACP,QAAQ,EACR,oCAAoC,CACrC;IACD,yEAAyE;IACzE,sEAAsE;IACtE,oEAAoE;IACpE,oEAAoE;IACpE,sEAAsE;IACtE,0BAA0B;IAC1B,CAAC,CACC,KAAK,EACL,gBAAgB,EAChB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iCAAiC,CAClC;IACD,CAAC,CACC,KAAK,EACL,yBAAyB,EACzB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iCAAiC,CAClC;IACD,CAAC,CACC,KAAK,EACL,6BAA6B,EAC7B,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iCAAiC,CAClC;IACD,CAAC,CACC,KAAK,EACL,sBAAsB,EACtB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,uEAAuE;IACvE,sBAAsB;IACtB,6DAA6D;IAC7D,uEAAuE;IACvE,qEAAqE;IACrE,gEAAgE;IAChE,uEAAuE;IACvE,gEAAgE;IAChE,CAAC,CACC,MAAM,EACN,0BAA0B,EAC1B,SAAS,EACT,OAAO,EACP,QAAQ,EACR,8DAA8D,CAC/D;IACD,uEAAuE;IACvE,iEAAiE;IACjE,+DAA+D;IAC/D,8DAA8D;IAC9D,kEAAkE;IAClE,oEAAoE;IACpE,qEAAqE;IACrE,gEAAgE;IAChE,CAAC,CACC,KAAK,EACL,uBAAuB,EACvB,cAAc,EACd,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,CAAC,CACC,KAAK,EACL,2BAA2B,EAC3B,cAAc,EACd,SAAS,EACT,QAAQ,EACR,8CAA8C,CAC/C;IACD,CAAC,CACC,KAAK,EACL,wBAAwB,EACxB,cAAc,EACd,OAAO,EACP,QAAQ,EACR,8CAA8C,CAC/C;IACD,yEAAyE;IACzE,sEAAsE;IACtE,uEAAuE;IACvE,yEAAyE;IACzE,oEAAoE;IACpE,sEAAsE;IACtE,QAAQ;IACR,CAAC,CACC,KAAK,EACL,kBAAkB,EAClB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,qCAAqC,CACtC;IACD,yEAAyE;IACzE,sEAAsE;IACtE,uEAAuE;IACvE,mEAAmE;IACnE,gEAAgE;IAChE,+DAA+D;IAC/D,CAAC,CACC,KAAK,EACL,oBAAoB,EACpB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,kCAAkC,CACnC;IACD,0EAA0E;IAC1E,kBAAkB;IAClB,qEAAqE;IACrE,mEAAmE;IACnE,qEAAqE;IACrE,oEAAoE;IACpE,uEAAuE;IACvE,oEAAoE;IACpE,sEAAsE;IACtE,qEAAqE;IACrE,uEAAuE;IACvE,sEAAsE;IACtE,qDAAqD;IACrD,CAAC,CACC,KAAK,EACL,2BAA2B,EAC3B,cAAc,EACd,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,CAAC,CACC,KAAK,EACL,sBAAsB,EACtB,cAAc,EACd,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,CAAC,CACC,KAAK,EACL,qBAAqB,EACrB,cAAc,EACd,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,uEAAuE;IACvE,sEAAsE;IACtE,sEAAsE;IACtE,oEAAoE;IACpE,sEAAsE;IACtE,sEAAsE;IACtE,qEAAqE;IACrE,sEAAsE;IACtE,mEAAmE;IACnE,uEAAuE;IACvE,kBAAkB;IAClB,oEAAoE;IACpE,6DAA6D;IAC7D,wDAAwD;IACxD,CAAC,CACC,KAAK,EACL,0BAA0B,EAC1B,MAAM,EACN,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,sDAAsD;IACtD,+DAA+D;IAC/D,uBAAuB;IACvB,mEAAmE;IACnE,kEAAkE;IAClE,iEAAiE;IACjE,oEAAoE;IACpE,sEAAsE;IACtE,qEAAqE;IACrE,sEAAsE;IACtE,gEAAgE;IAChE,iEAAiE;IACjE,mCAAmC;IACnC,CAAC,CACC,KAAK,EACL,iBAAiB,EACjB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,wEAAwE,CACzE;IACD,CAAC,CACC,KAAK,EACL,+BAA+B,EAC/B,MAAM,EACN,OAAO,EACP,QAAQ,EACR,wEAAwE,CACzE;IACD,uDAAuD;IACvD,4DAA4D;IAC5D,uCAAuC;IACvC,mEAAmE;IACnE,iEAAiE;IACjE,qEAAqE;IACrE,iEAAiE;IACjE,kEAAkE;IAClE,kEAAkE;IAClE,8DAA8D;IAC9D,oEAAoE;IACpE,iEAAiE;IACjE,qEAAqE;IACrE,kEAAkE;IAClE,sEAAsE;IACtE,uCAAuC;IACvC,CAAC,CACC,KAAK,EACL,qBAAqB,EACrB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,0EAA0E,CAC3E;IACD,CAAC,CACC,KAAK,EACL,yBAAyB,EACzB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,0EAA0E,CAC3E;IACD,kEAAkE;IAClE,4DAA4D;IAC5D,sCAAsC;IACtC,mEAAmE;IACnE,gEAAgE;IAChE,oEAAoE;IACpE,kEAAkE;IAClE,iEAAiE;IACjE,+DAA+D;IAC/D,sEAAsE;IACtE,gEAAgE;IAChE,aAAa;IACb,qEAAqE;IACrE,yDAAyD;IACzD,CAAC,CACC,KAAK,EACL,qBAAqB,EACrB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,yEAAyE,CAC1E;IACD,mDAAmD;IACnD,uDAAuD;IACvD,+DAA+D;IAC/D,kEAAkE;IAClE,oEAAoE;IACpE,+DAA+D;IAC/D,gEAAgE;IAChE,mEAAmE;IACnE,4DAA4D;IAC5D,mDAAmD;IACnD,oEAAoE;IACpE,mEAAmE;IACnE,8DAA8D;IAC9D,kEAAkE;IAClE,mEAAmE;IACnE,sEAAsE;IACtE,kEAAkE;IAClE,mEAAmE;IACnE,mEAAmE;IACnE,CAAC,CACC,KAAK,EACL,4BAA4B,EAC5B,OAAO,EACP,OAAO,EACP,QAAQ,EACR,oFAAoF,CACrF;IACD,sEAAsE;IACtE,kEAAkE;IAClE,uEAAuE;IACvE,sEAAsE;IACtE,uEAAuE;IACvE,sEAAsE;IACtE,sEAAsE;IACtE,wCAAwC;IACxC,CAAC,CACC,KAAK,EACL,cAAc,EACd,MAAM,EACN,OAAO,EACP,QAAQ,EACR,6DAA6D,CAC9D;IACD,kDAAkD;IAClD,+CAA+C;IAC/C,kEAAkE;IAClE,uEAAuE;IACvE,qEAAqE;IACrE,oEAAoE;IACpE,sEAAsE;IACtE,kEAAkE;IAClE,+DAA+D;IAC/D,mEAAmE;IACnE,0DAA0D;IAC1D,CAAC,CACC,KAAK,EACL,uBAAuB,EACvB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,4DAA4D,CAC7D;IACD,CAAC,CACC,KAAK,EACL,+BAA+B,EAC/B,MAAM,EACN,SAAS,EACT,QAAQ,EACR,mFAAmF,CACpF;IACD,qEAAqE;IACrE,wEAAwE;IACxE,oEAAoE;IACpE,yEAAyE;IACzE,yEAAyE;IACzE,kEAAkE;IAClE,kEAAkE;IAClE,yEAAyE;IACzE,wEAAwE;IACxE,+DAA+D;IAC/D,mBAAmB;IACnB,CAAC,CACC,KAAK,EACL,6BAA6B,EAC7B,OAAO,EACP,OAAO,EACP,QAAQ,EACR,kEAAkE,CACnE;IACD,+DAA+D;IAC/D,6CAA6C;IAC7C,qEAAqE;IACrE,uEAAuE;IACvE,qEAAqE;IACrE,gEAAgE;IAChE,kEAAkE;IAClE,8CAA8C;IAC9C,sEAAsE;IACtE,wBAAwB;IACxB,CAAC,CACC,MAAM,EACN,gCAAgC,EAChC,OAAO,EACP,OAAO,EACP,QAAQ,EACR,qEAAqE,CACtE;IACD,CAAC,CACC,MAAM,EACN,kCAAkC,EAClC,OAAO,EACP,OAAO,EACP,QAAQ,EACR,qEAAqE,CACtE;IACD,CAAC,CACC,MAAM,EACN,+BAA+B,EAC/B,OAAO,EACP,OAAO,EACP,QAAQ,EACR,qEAAqE,CACtE;IACD,sEAAsE;IACtE,qEAAqE;IACrE,sEAAsE;IACtE,qEAAqE;IACrE,iEAAiE;IACjE,CAAC,CACC,MAAM,EACN,oBAAoB,EACpB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,kEAAkE,CACnE;IACD,oEAAoE;IACpE,sBAAsB;IACtB,mEAAmE;IACnE,oEAAoE;IACpE,oEAAoE;IACpE,gEAAgE;IAChE,sEAAsE;IACtE,qDAAqD;IACrD,CAAC,CACC,MAAM,EACN,kBAAkB,EAClB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,gEAAgE,CACjE;IACD,oEAAoE;IACpE,oEAAoE;IACpE,oEAAoE;IACpE,uEAAuE;IACvE,sEAAsE;IACtE,8DAA8D;IAC9D,CAAC,CACC,MAAM,EACN,iBAAiB,EACjB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,6DAA6D,CAC9D;IACD,sEAAsE;IACtE,uEAAuE;IACvE,iEAAiE;IACjE,oEAAoE;IACpE,CAAC,CACC,MAAM,EACN,oBAAoB,EACpB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,6DAA6D,CAC9D;IACD,qEAAqE;IACrE,qEAAqE;IACrE,oEAAoE;IACpE,wEAAwE;IACxE,iEAAiE;IACjE,sEAAsE;IACtE,8DAA8D;IAC9D,sEAAsE;IACtE,kEAAkE;IAClE,iEAAiE;IACjE,CAAC,CACC,MAAM,EACN,0BAA0B,EAC1B,YAAY,EACZ,OAAO,EACP,QAAQ,EACR,+DAA+D,CAChE;IACD,CAAC,CACC,MAAM,EACN,6BAA6B,EAC7B,YAAY,EACZ,OAAO,EACP,QAAQ,EACR,+DAA+D,CAChE;IACD,sEAAsE;IACtE,uEAAuE;IACvE,gEAAgE;IAChE,kEAAkE;IAClE,kEAAkE;IAClE,sEAAsE;IACtE,uEAAuE;IACvE,uEAAuE;IACvE,uEAAuE;IACvE,mBAAmB;IACnB,CAAC,CACC,MAAM,EACN,wBAAwB,EACxB,iBAAiB,EACjB,OAAO,EACP,QAAQ,EACR,6DAA6D,CAC9D;IACD,CAAC,CACC,MAAM,EACN,uBAAuB,EACvB,iBAAiB,EACjB,OAAO,EACP,QAAQ,EACR,6DAA6D,CAC9D;IACD,CAAC,CACC,MAAM,EACN,6BAA6B,EAC7B,MAAM,EACN,OAAO,EACP,QAAQ,EACR,+DAA+D,CAChE;IACD,sEAAsE;IACtE,+DAA+D;IAC/D,oEAAoE;IACpE,sEAAsE;IACtE,uEAAuE;IACvE,iEAAiE;IACjE,iEAAiE;IACjE,kEAAkE;IAClE,gEAAgE;IAChE,sEAAsE;IACtE,kEAAkE;IAClE,gEAAgE;IAChE,oEAAoE;IACpE,+DAA+D;IAC/D,sEAAsE;IACtE,sEAAsE;IACtE,QAAQ;IACR,CAAC,CACC,MAAM,EACN,8BAA8B,EAC9B,WAAW,EACX,OAAO,EACP,QAAQ,EACR,qCAAqC,CACtC;IACD,CAAC,CACC,MAAM,EACN,8BAA8B,EAC9B,WAAW,EACX,OAAO,EACP,QAAQ,EACR,2CAA2C,CAC5C;IACD,CAAC,CACC,MAAM,EACN,iCAAiC,EACjC,WAAW,EACX,SAAS,EACT,QAAQ,EACR,qCAAqC,CACtC;IACD,CAAC,CACC,MAAM,EACN,cAAc,EACd,WAAW,EACX,OAAO,EACP,QAAQ,EACR,qCAAqC,CACtC;IACD,CAAC,CACC,MAAM,EACN,sBAAsB,EACtB,WAAW,EACX,OAAO,EACP,QAAQ,EACR,qCAAqC,CACtC;IACD,sEAAsE;IACtE,wBAAwB;IACxB,gEAAgE;IAChE,sEAAsE;IACtE,kEAAkE;IAClE,oEAAoE;IACpE,mEAAmE;IACnE,+DAA+D;IAC/D,YAAY;IACZ,CAAC,CACC,MAAM,EACN,+BAA+B,EAC/B,OAAO,EACP,OAAO,EACP,QAAQ,EACR,0FAA0F,CAC3F;CACF,CAAC;AAEF,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,mBAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAEtD,uEAAuE;AACvE,SAAgB,SAAS,CAAC,EAAU;IAClC,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AACtB,CAAC;AAED,sEAAsE;AACtE,SAAgB,aAAa,CAAC,KAAiB;IAC7C,OAAO,IAAI,GAAG,CACZ,mBAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,KAAK,OAAO,IAAI,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,GAAG,CACpE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CACV,CACF,CAAC;AACJ,CAAC"}
|
|
1
|
+
{"version":3,"file":"check-rules.js","sourceRoot":"","sources":["../../src/check-rules.ts"],"names":[],"mappings":";AAAA,wEAAwE;AACxE,sDAAsD;AACtD,EAAE;AACF,sEAAsE;AACtE,qEAAqE;AACrE,iCAAiC;AACjC,8DAA8D;AAC9D,kEAAkE;AAClE,oEAAoE;AACpE,yEAAyE;AACzE,8DAA8D;AAC9D,yCAAyC;AACzC,+DAA+D;AAC/D,mEAAmE;AACnE,uEAAuE;AACvE,yEAAyE;AACzE,kEAAkE;AAClE,2DAA2D;AAC3D,wEAAwE;;;AAqmDxE,8BAEC;AAGD,sCAMC;AAjlDD,MAAM,CAAC,GAAG,CACR,EAAU,EACV,IAAY,EACZ,MAAmB,EACnB,QAA6B,EAC7B,KAAiB,EACjB,IAAY,EACD,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AAE9D,qCAAqC;AACxB,QAAA,WAAW,GAAgB;IACtC,qEAAqE;IACrE,CAAC,CACC,IAAI,EACJ,sBAAsB,EACtB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,mBAAmB,CACpB;IACD,CAAC,CACC,IAAI,EACJ,2BAA2B,EAC3B,MAAM,EACN,OAAO,EACP,QAAQ,EACR,mBAAmB,CACpB;IACD,CAAC,CAAC,IAAI,EAAE,iBAAiB,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,mBAAmB,CAAC;IAC1E,CAAC,CAAC,IAAI,EAAE,kBAAkB,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,mBAAmB,CAAC;IAC3E,CAAC,CACC,IAAI,EACJ,mBAAmB,EACnB,MAAM,EACN,SAAS,EACT,QAAQ,EACR,wBAAwB,CACzB;IACD,CAAC,CACC,KAAK,EACL,qBAAqB,EACrB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,mBAAmB,CACpB;IACD,CAAC,CACC,KAAK,EACL,iBAAiB,EACjB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,yBAAyB,CAC1B;IACD,qEAAqE;IACrE,CAAC,CAAC,IAAI,EAAE,gBAAgB,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,iBAAiB,CAAC;IAC1E,CAAC,CACC,IAAI,EACJ,mCAAmC,EACnC,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,IAAI,EACJ,2BAA2B,EAC3B,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,IAAI,EACJ,0BAA0B,EAC1B,SAAS,EACT,SAAS,EACT,QAAQ,EACR,iBAAiB,CAClB;IACD,qEAAqE;IACrE,CAAC,CACC,KAAK,EACL,mBAAmB,EACnB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,sBAAsB,EACtB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,4BAA4B,EAC5B,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,4BAA4B,EAC5B,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,0BAA0B,EAC1B,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,sBAAsB,EACtB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,yBAAyB,EACzB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,wEAAwE;IACxE,qEAAqE;IACrE,uEAAuE;IACvE,qDAAqD;IACrD,CAAC,CACC,KAAK,EACL,wBAAwB,EACxB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,sEAAsE;IACtE,uEAAuE;IACvE,wEAAwE;IACxE,8CAA8C;IAC9C,CAAC,CACC,KAAK,EACL,6BAA6B,EAC7B,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,uEAAuE;IACvE,8DAA8D;IAC9D,iEAAiE;IACjE,+DAA+D;IAC/D,iEAAiE;IACjE,sEAAsE;IACtE,iEAAiE;IACjE,mEAAmE;IACnE,iEAAiE;IACjE,8DAA8D;IAC9D,mEAAmE;IACnE,qEAAqE;IACrE,kCAAkC;IAClC,mEAAmE;IACnE,0DAA0D;IAC1D,CAAC,CACC,KAAK,EACL,2BAA2B,EAC3B,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,uBAAuB,EACvB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,4BAA4B,EAC5B,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,qEAAqE;IACrE,CAAC,CACC,KAAK,EACL,gBAAgB,EAChB,eAAe,EACf,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,sBAAsB,EACtB,eAAe,EACf,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,eAAe,EACf,eAAe,EACf,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,sBAAsB,EACtB,eAAe,EACf,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,qEAAqE;IACrE,CAAC,CACC,KAAK,EACL,kBAAkB,EAClB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,mCAAmC,CACpC;IACD,CAAC,CACC,KAAK,EACL,mBAAmB,EACnB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,mCAAmC,CACpC;IACD,CAAC,CACC,KAAK,EACL,8BAA8B,EAC9B,SAAS,EACT,OAAO,EACP,QAAQ,EACR,mCAAmC,CACpC;IACD,CAAC,CACC,KAAK,EACL,oBAAoB,EACpB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,mCAAmC,CACpC;IACD,CAAC,CACC,KAAK,EACL,qBAAqB,EACrB,SAAS,EACT,SAAS,EACT,OAAO,EACP,iBAAiB,CAClB;IACD,CAAC,CAAC,KAAK,EAAE,gBAAgB,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,iBAAiB,CAAC;IAC3E,qEAAqE;IACrE,CAAC,CACC,KAAK,EACL,eAAe,EACf,aAAa,EACb,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,kBAAkB,EAClB,aAAa,EACb,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CAAC,KAAK,EAAE,YAAY,EAAE,aAAa,EAAE,OAAO,EAAE,QAAQ,EAAE,iBAAiB,CAAC;IAC3E,CAAC,CACC,KAAK,EACL,6BAA6B,EAC7B,aAAa,EACb,SAAS,EACT,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,oBAAoB,EACpB,aAAa,EACb,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,kEAAkE;IAClE,iEAAiE;IACjE,qEAAqE;IACrE,mEAAmE;IACnE,kEAAkE;IAClE,CAAC,CACC,MAAM,EACN,yBAAyB,EACzB,aAAa,EACb,OAAO,EACP,QAAQ,EACR,uCAAuC,CACxC;IACD,+DAA+D;IAC/D,gEAAgE;IAChE,qEAAqE;IACrE,qEAAqE;IACrE,gEAAgE;IAChE,+DAA+D;IAC/D,gEAAgE;IAChE,mEAAmE;IACnE,kEAAkE;IAClE,sBAAsB;IACtB,CAAC,CACC,MAAM,EACN,8BAA8B,EAC9B,aAAa,EACb,OAAO,EACP,QAAQ,EACR,mDAAmD,CACpD;IACD,uEAAuE;IACvE,sEAAsE;IACtE,mEAAmE;IACnE,uEAAuE;IACvE,uEAAuE;IACvE,+DAA+D;IAC/D,mEAAmE;IACnE,+DAA+D;IAC/D,oEAAoE;IACpE,qBAAqB;IACrB,CAAC,CACC,MAAM,EACN,qCAAqC,EACrC,SAAS,EACT,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,kEAAkE;IAClE,uEAAuE;IACvE,8DAA8D;IAC9D,+DAA+D;IAC/D,sEAAsE;IACtE,qEAAqE;IACrE,gEAAgE;IAChE,uDAAuD;IACvD,CAAC,CACC,MAAM,EACN,sBAAsB,EACtB,aAAa,EACb,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,gEAAgE;IAChE,uEAAuE;IACvE,gEAAgE;IAChE,uEAAuE;IACvE,uEAAuE;IACvE,gEAAgE;IAChE,CAAC,CACC,MAAM,EACN,oCAAoC,EACpC,aAAa,EACb,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,qEAAqE;IACrE,oEAAoE;IACpE,8DAA8D;IAC9D,gEAAgE;IAChE,qEAAqE;IACrE,kEAAkE;IAClE,CAAC,CACC,MAAM,EACN,iBAAiB,EACjB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,qEAAqE;IACrE,iEAAiE;IACjE,2DAA2D;IAC3D,oEAAoE;IACpE,mEAAmE;IACnE,sDAAsD;IACtD,CAAC,CACC,MAAM,EACN,uBAAuB,EACvB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,iEAAiE;IACjE,uEAAuE;IACvE,gEAAgE;IAChE,CAAC,CACC,MAAM,EACN,8BAA8B,EAC9B,aAAa,EACb,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,uEAAuE;IACvE,sEAAsE;IACtE,sEAAsE;IACtE,qEAAqE;IACrE,cAAc;IACd,CAAC,CACC,MAAM,EACN,6BAA6B,EAC7B,MAAM,EACN,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,uEAAuE;IACvE,mEAAmE;IACnE,qEAAqE;IACrE,wBAAwB;IACxB,CAAC,CACC,MAAM,EACN,kBAAkB,EAClB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,wEAAwE;IACxE,oEAAoE;IACpE,wEAAwE;IACxE,wEAAwE;IACxE,oEAAoE;IACpE,mDAAmD;IACnD,CAAC,CACC,MAAM,EACN,iBAAiB,EACjB,aAAa,EACb,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,wEAAwE;IACxE,iEAAiE;IACjE,wEAAwE;IACxE,sEAAsE;IACtE,kEAAkE;IAClE,uEAAuE;IACvE,CAAC,CACC,MAAM,EACN,gCAAgC,EAChC,aAAa,EACb,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,iEAAiE;IACjE,mEAAmE;IACnE,oEAAoE;IACpE,iEAAiE;IACjE,iEAAiE;IACjE,6BAA6B;IAC7B,CAAC,CACC,MAAM,EACN,gCAAgC,EAChC,aAAa,EACb,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,mEAAmE;IACnE,sEAAsE;IACtE,oEAAoE;IACpE,CAAC,CACC,MAAM,EACN,oCAAoC,EACpC,aAAa,EACb,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,mEAAmE;IACnE,oEAAoE;IACpE,mEAAmE;IACnE,kEAAkE;IAClE,0DAA0D;IAC1D,CAAC,CACC,MAAM,EACN,gCAAgC,EAChC,aAAa,EACb,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,mEAAmE;IACnE,sEAAsE;IACtE,sEAAsE;IACtE,oEAAoE;IACpE,CAAC,CACC,MAAM,EACN,iCAAiC,EACjC,aAAa,EACb,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,sEAAsE;IACtE,iEAAiE;IACjE,uDAAuD;IACvD,CAAC,CACC,MAAM,EACN,8BAA8B,EAC9B,aAAa,EACb,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,mEAAmE;IACnE,uEAAuE;IACvE,4DAA4D;IAC5D,uEAAuE;IACvE,6CAA6C;IAC7C,CAAC,CACC,MAAM,EACN,iCAAiC,EACjC,aAAa,EACb,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,+DAA+D;IAC/D,oEAAoE;IACpE,uEAAuE;IACvE,yCAAyC;IACzC,CAAC,CACC,MAAM,EACN,4BAA4B,EAC5B,aAAa,EACb,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,oEAAoE;IACpE,oEAAoE;IACpE,mEAAmE;IACnE,CAAC,CACC,MAAM,EACN,iCAAiC,EACjC,aAAa,EACb,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,gEAAgE;IAChE,qEAAqE;IACrE,+DAA+D;IAC/D,4BAA4B;IAC5B,CAAC,CACC,MAAM,EACN,2BAA2B,EAC3B,aAAa,EACb,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,gEAAgE;IAChE,qEAAqE;IACrE,qCAAqC;IACrC,CAAC,CACC,MAAM,EACN,iCAAiC,EACjC,aAAa,EACb,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,oEAAoE;IACpE,8DAA8D;IAC9D,oEAAoE;IACpE,CAAC,CACC,MAAM,EACN,uBAAuB,EACvB,aAAa,EACb,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,uEAAuE;IACvE,mEAAmE;IACnE,kEAAkE;IAClE,yCAAyC;IACzC,CAAC,CACC,MAAM,EACN,uBAAuB,EACvB,aAAa,EACb,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,uEAAuE;IACvE,oEAAoE;IACpE,mEAAmE;IACnE,8DAA8D;IAC9D,uEAAuE;IACvE,kCAAkC;IAClC,CAAC,CACC,MAAM,EACN,6BAA6B,EAC7B,aAAa,EACb,OAAO,EACP,QAAQ,EACR,2DAA2D,CAC5D;IACD,qEAAqE;IACrE,CAAC,CACC,KAAK,EACL,uBAAuB,EACvB,YAAY,EACZ,OAAO,EACP,QAAQ,EACR,wBAAwB,CACzB;IACD,CAAC,CACC,KAAK,EACL,oBAAoB,EACpB,YAAY,EACZ,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,mBAAmB,EACnB,YAAY,EACZ,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CAAC,KAAK,EAAE,aAAa,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE,iBAAiB,CAAC;IAC3E,CAAC,CAAC,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,OAAO,EAAE,QAAQ,EAAE,iBAAiB,CAAC;IACxE,qEAAqE;IACrE,CAAC,CACC,KAAK,EACL,qBAAqB,EACrB,OAAO,EACP,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,yBAAyB,EACzB,OAAO,EACP,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,iCAAiC,EACjC,OAAO,EACP,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,wBAAwB,EACxB,OAAO,EACP,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,iCAAiC,EACjC,OAAO,EACP,SAAS,EACT,QAAQ,EACR,iBAAiB,CAClB;IACD,qEAAqE;IACrE,CAAC,CACC,KAAK,EACL,yBAAyB,EACzB,UAAU,EACV,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,oBAAoB,EACpB,UAAU,EACV,SAAS,EACT,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,wBAAwB,EACxB,UAAU,EACV,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,qEAAqE;IACrE,CAAC,CACC,KAAK,EACL,uBAAuB,EACvB,WAAW,EACX,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,4BAA4B,EAC5B,WAAW,EACX,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,8BAA8B,EAC9B,WAAW,EACX,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,qEAAqE;IACrE,CAAC,CACC,KAAK,EACL,yBAAyB,EACzB,iBAAiB,EACjB,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,8BAA8B,EAC9B,iBAAiB,EACjB,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,CAAC,CACC,KAAK,EACL,kCAAkC,EAClC,iBAAiB,EACjB,OAAO,EACP,QAAQ,EACR,iBAAiB,CAClB;IACD,uEAAuE;IACvE,CAAC,CACC,KAAK,EACL,uBAAuB,EACvB,OAAO,EACP,OAAO,EACP,QAAQ,EACR,kCAAkC,CACnC;IACD,CAAC,CACC,KAAK,EACL,yBAAyB,EACzB,OAAO,EACP,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,CAAC,CACC,KAAK,EACL,4BAA4B,EAC5B,OAAO,EACP,OAAO,EACP,QAAQ,EACR,kCAAkC,CACnC;IACD,CAAC,CACC,KAAK,EACL,qCAAqC,EACrC,OAAO,EACP,OAAO,EACP,QAAQ,EACR,kCAAkC,CACnC;IACD,CAAC,CACC,KAAK,EACL,2BAA2B,EAC3B,OAAO,EACP,OAAO,EACP,QAAQ,EACR,iCAAiC,CAClC;IACD,6EAA6E;IAC7E,CAAC,CACC,KAAK,EACL,0BAA0B,EAC1B,OAAO,EACP,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,CAAC,CACC,KAAK,EACL,4BAA4B,EAC5B,OAAO,EACP,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,CAAC,CACC,KAAK,EACL,2BAA2B,EAC3B,OAAO,EACP,OAAO,EACP,QAAQ,EACR,kCAAkC,CACnC;IACD,wEAAwE;IACxE,oEAAoE;IACpE,oCAAoC;IACpC,CAAC,CACC,KAAK,EACL,yBAAyB,EACzB,OAAO,EACP,SAAS,EACT,QAAQ,EACR,kCAAkC,CACnC;IACD,CAAC,CACC,KAAK,EACL,6BAA6B,EAC7B,OAAO,EACP,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,CAAC,CACC,KAAK,EACL,oBAAoB,EACpB,OAAO,EACP,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,qEAAqE;IACrE,yEAAyE;IACzE,uEAAuE;IACvE,8DAA8D;IAC9D,sDAAsD;IACtD,CAAC,CACC,KAAK,EACL,wBAAwB,EACxB,UAAU,EACV,SAAS,EACT,OAAO,EACP,oCAAoC,CACrC;IACD,CAAC,CACC,KAAK,EACL,wBAAwB,EACxB,UAAU,EACV,SAAS,EACT,OAAO,EACP,oCAAoC,CACrC;IACD,CAAC,CACC,KAAK,EACL,qBAAqB,EACrB,UAAU,EACV,OAAO,EACP,QAAQ,EACR,oCAAoC,CACrC;IACD,CAAC,CACC,KAAK,EACL,8BAA8B,EAC9B,UAAU,EACV,OAAO,EACP,QAAQ,EACR,oCAAoC,CACrC;IACD,oEAAoE;IACpE,qEAAqE;IACrE,kEAAkE;IAClE,CAAC,CAAC,KAAK,EAAE,iBAAiB,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,iBAAiB,CAAC;IAC5E,uEAAuE;IACvE,mEAAmE;IACnE,mEAAmE;IACnE,uEAAuE;IACvE,0DAA0D;IAC1D,qEAAqE;IACrE,uEAAuE;IACvE,oEAAoE;IACpE,CAAC,CACC,KAAK,EACL,kCAAkC,EAClC,UAAU,EACV,SAAS,EACT,OAAO,EACP,oCAAoC,CACrC;IACD,CAAC,CACC,KAAK,EACL,sBAAsB,EACtB,UAAU,EACV,OAAO,EACP,OAAO,EACP,oCAAoC,CACrC;IACD,CAAC,CACC,KAAK,EACL,sBAAsB,EACtB,UAAU,EACV,OAAO,EACP,QAAQ,EACR,oCAAoC,CACrC;IACD,yEAAyE;IACzE,sEAAsE;IACtE,oEAAoE;IACpE,oEAAoE;IACpE,sEAAsE;IACtE,0BAA0B;IAC1B,CAAC,CACC,KAAK,EACL,gBAAgB,EAChB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iCAAiC,CAClC;IACD,CAAC,CACC,KAAK,EACL,yBAAyB,EACzB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iCAAiC,CAClC;IACD,CAAC,CACC,KAAK,EACL,6BAA6B,EAC7B,SAAS,EACT,OAAO,EACP,QAAQ,EACR,iCAAiC,CAClC;IACD,CAAC,CACC,KAAK,EACL,sBAAsB,EACtB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,uEAAuE;IACvE,sBAAsB;IACtB,6DAA6D;IAC7D,uEAAuE;IACvE,qEAAqE;IACrE,gEAAgE;IAChE,uEAAuE;IACvE,gEAAgE;IAChE,CAAC,CACC,MAAM,EACN,0BAA0B,EAC1B,SAAS,EACT,OAAO,EACP,QAAQ,EACR,8DAA8D,CAC/D;IACD,uEAAuE;IACvE,iEAAiE;IACjE,+DAA+D;IAC/D,8DAA8D;IAC9D,kEAAkE;IAClE,oEAAoE;IACpE,qEAAqE;IACrE,gEAAgE;IAChE,CAAC,CACC,KAAK,EACL,uBAAuB,EACvB,cAAc,EACd,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,CAAC,CACC,KAAK,EACL,2BAA2B,EAC3B,cAAc,EACd,SAAS,EACT,QAAQ,EACR,8CAA8C,CAC/C;IACD,CAAC,CACC,KAAK,EACL,wBAAwB,EACxB,cAAc,EACd,OAAO,EACP,QAAQ,EACR,8CAA8C,CAC/C;IACD,sEAAsE;IACtE,mEAAmE;IACnE,6DAA6D;IAC7D,+DAA+D;IAC/D,oEAAoE;IACpE,iEAAiE;IACjE,2DAA2D;IAC3D,sEAAsE;IACtE,gEAAgE;IAChE,kEAAkE;IAClE,CAAC,CACC,MAAM,EACN,mBAAmB,EACnB,cAAc,EACd,OAAO,EACP,QAAQ,EACR,+DAA+D,CAChE;IACD,CAAC,CACC,MAAM,EACN,oBAAoB,EACpB,cAAc,EACd,OAAO,EACP,QAAQ,EACR,+DAA+D,CAChE;IACD,CAAC,CACC,MAAM,EACN,yBAAyB,EACzB,cAAc,EACd,OAAO,EACP,QAAQ,EACR,+DAA+D,CAChE;IACD,yEAAyE;IACzE,sEAAsE;IACtE,uEAAuE;IACvE,yEAAyE;IACzE,oEAAoE;IACpE,sEAAsE;IACtE,QAAQ;IACR,CAAC,CACC,KAAK,EACL,kBAAkB,EAClB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,qCAAqC,CACtC;IACD,yEAAyE;IACzE,sEAAsE;IACtE,uEAAuE;IACvE,mEAAmE;IACnE,gEAAgE;IAChE,+DAA+D;IAC/D,CAAC,CACC,KAAK,EACL,oBAAoB,EACpB,SAAS,EACT,OAAO,EACP,QAAQ,EACR,kCAAkC,CACnC;IACD,0EAA0E;IAC1E,kBAAkB;IAClB,qEAAqE;IACrE,mEAAmE;IACnE,qEAAqE;IACrE,oEAAoE;IACpE,uEAAuE;IACvE,oEAAoE;IACpE,sEAAsE;IACtE,qEAAqE;IACrE,uEAAuE;IACvE,sEAAsE;IACtE,qDAAqD;IACrD,CAAC,CACC,KAAK,EACL,2BAA2B,EAC3B,cAAc,EACd,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,CAAC,CACC,KAAK,EACL,sBAAsB,EACtB,cAAc,EACd,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,CAAC,CACC,KAAK,EACL,qBAAqB,EACrB,cAAc,EACd,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,uEAAuE;IACvE,sEAAsE;IACtE,sEAAsE;IACtE,oEAAoE;IACpE,sEAAsE;IACtE,sEAAsE;IACtE,qEAAqE;IACrE,sEAAsE;IACtE,mEAAmE;IACnE,uEAAuE;IACvE,kBAAkB;IAClB,oEAAoE;IACpE,6DAA6D;IAC7D,wDAAwD;IACxD,CAAC,CACC,KAAK,EACL,0BAA0B,EAC1B,MAAM,EACN,OAAO,EACP,QAAQ,EACR,wCAAwC,CACzC;IACD,sDAAsD;IACtD,+DAA+D;IAC/D,uBAAuB;IACvB,mEAAmE;IACnE,kEAAkE;IAClE,iEAAiE;IACjE,oEAAoE;IACpE,sEAAsE;IACtE,qEAAqE;IACrE,sEAAsE;IACtE,gEAAgE;IAChE,iEAAiE;IACjE,mCAAmC;IACnC,CAAC,CACC,KAAK,EACL,iBAAiB,EACjB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,wEAAwE,CACzE;IACD,CAAC,CACC,KAAK,EACL,+BAA+B,EAC/B,MAAM,EACN,OAAO,EACP,QAAQ,EACR,wEAAwE,CACzE;IACD,uDAAuD;IACvD,4DAA4D;IAC5D,uCAAuC;IACvC,mEAAmE;IACnE,iEAAiE;IACjE,qEAAqE;IACrE,iEAAiE;IACjE,kEAAkE;IAClE,kEAAkE;IAClE,8DAA8D;IAC9D,oEAAoE;IACpE,iEAAiE;IACjE,qEAAqE;IACrE,kEAAkE;IAClE,sEAAsE;IACtE,uCAAuC;IACvC,CAAC,CACC,KAAK,EACL,qBAAqB,EACrB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,0EAA0E,CAC3E;IACD,CAAC,CACC,KAAK,EACL,yBAAyB,EACzB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,0EAA0E,CAC3E;IACD,iEAAiE;IACjE,2BAA2B;IAC3B,6DAA6D;IAC7D,+DAA+D;IAC/D,kEAAkE;IAClE,oEAAoE;IACpE,qEAAqE;IACrE,qEAAqE;IACrE,mEAAmE;IACnE,oEAAoE;IACpE,gEAAgE;IAChE,mEAAmE;IACnE,8DAA8D;IAC9D,0DAA0D;IAC1D,gDAAgD;IAChD,CAAC,CACC,MAAM,EACN,oBAAoB,EACpB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,oDAAoD,CACrD;IACD,CAAC,CACC,MAAM,EACN,uBAAuB,EACvB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,oDAAoD,CACrD;IACD,kEAAkE;IAClE,4DAA4D;IAC5D,sCAAsC;IACtC,mEAAmE;IACnE,gEAAgE;IAChE,oEAAoE;IACpE,kEAAkE;IAClE,iEAAiE;IACjE,+DAA+D;IAC/D,sEAAsE;IACtE,gEAAgE;IAChE,aAAa;IACb,qEAAqE;IACrE,yDAAyD;IACzD,CAAC,CACC,KAAK,EACL,qBAAqB,EACrB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,yEAAyE,CAC1E;IACD,mDAAmD;IACnD,uDAAuD;IACvD,+DAA+D;IAC/D,kEAAkE;IAClE,oEAAoE;IACpE,+DAA+D;IAC/D,gEAAgE;IAChE,mEAAmE;IACnE,4DAA4D;IAC5D,mDAAmD;IACnD,oEAAoE;IACpE,mEAAmE;IACnE,8DAA8D;IAC9D,kEAAkE;IAClE,mEAAmE;IACnE,sEAAsE;IACtE,kEAAkE;IAClE,mEAAmE;IACnE,mEAAmE;IACnE,CAAC,CACC,KAAK,EACL,4BAA4B,EAC5B,OAAO,EACP,OAAO,EACP,QAAQ,EACR,oFAAoF,CACrF;IACD,sEAAsE;IACtE,kEAAkE;IAClE,uEAAuE;IACvE,sEAAsE;IACtE,uEAAuE;IACvE,sEAAsE;IACtE,sEAAsE;IACtE,wCAAwC;IACxC,CAAC,CACC,KAAK,EACL,cAAc,EACd,MAAM,EACN,OAAO,EACP,QAAQ,EACR,6DAA6D,CAC9D;IACD,kDAAkD;IAClD,+CAA+C;IAC/C,kEAAkE;IAClE,uEAAuE;IACvE,qEAAqE;IACrE,oEAAoE;IACpE,sEAAsE;IACtE,kEAAkE;IAClE,+DAA+D;IAC/D,mEAAmE;IACnE,0DAA0D;IAC1D,CAAC,CACC,KAAK,EACL,uBAAuB,EACvB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,4DAA4D,CAC7D;IACD,CAAC,CACC,KAAK,EACL,+BAA+B,EAC/B,MAAM,EACN,SAAS,EACT,QAAQ,EACR,mFAAmF,CACpF;IACD,qEAAqE;IACrE,wEAAwE;IACxE,oEAAoE;IACpE,yEAAyE;IACzE,yEAAyE;IACzE,kEAAkE;IAClE,kEAAkE;IAClE,yEAAyE;IACzE,wEAAwE;IACxE,+DAA+D;IAC/D,mBAAmB;IACnB,CAAC,CACC,KAAK,EACL,6BAA6B,EAC7B,OAAO,EACP,OAAO,EACP,QAAQ,EACR,kEAAkE,CACnE;IACD,+DAA+D;IAC/D,6CAA6C;IAC7C,qEAAqE;IACrE,uEAAuE;IACvE,qEAAqE;IACrE,gEAAgE;IAChE,kEAAkE;IAClE,8CAA8C;IAC9C,sEAAsE;IACtE,wBAAwB;IACxB,CAAC,CACC,MAAM,EACN,gCAAgC,EAChC,OAAO,EACP,OAAO,EACP,QAAQ,EACR,qEAAqE,CACtE;IACD,CAAC,CACC,MAAM,EACN,kCAAkC,EAClC,OAAO,EACP,OAAO,EACP,QAAQ,EACR,qEAAqE,CACtE;IACD,CAAC,CACC,MAAM,EACN,+BAA+B,EAC/B,OAAO,EACP,OAAO,EACP,QAAQ,EACR,qEAAqE,CACtE;IACD,sEAAsE;IACtE,qEAAqE;IACrE,sEAAsE;IACtE,qEAAqE;IACrE,iEAAiE;IACjE,CAAC,CACC,MAAM,EACN,oBAAoB,EACpB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,kEAAkE,CACnE;IACD,oEAAoE;IACpE,sBAAsB;IACtB,mEAAmE;IACnE,oEAAoE;IACpE,oEAAoE;IACpE,gEAAgE;IAChE,sEAAsE;IACtE,qDAAqD;IACrD,CAAC,CACC,MAAM,EACN,kBAAkB,EAClB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,gEAAgE,CACjE;IACD,oEAAoE;IACpE,oEAAoE;IACpE,oEAAoE;IACpE,uEAAuE;IACvE,sEAAsE;IACtE,8DAA8D;IAC9D,CAAC,CACC,MAAM,EACN,iBAAiB,EACjB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,6DAA6D,CAC9D;IACD,sEAAsE;IACtE,uEAAuE;IACvE,iEAAiE;IACjE,oEAAoE;IACpE,CAAC,CACC,MAAM,EACN,oBAAoB,EACpB,MAAM,EACN,OAAO,EACP,QAAQ,EACR,6DAA6D,CAC9D;IACD,qEAAqE;IACrE,qEAAqE;IACrE,oEAAoE;IACpE,wEAAwE;IACxE,iEAAiE;IACjE,sEAAsE;IACtE,8DAA8D;IAC9D,sEAAsE;IACtE,kEAAkE;IAClE,iEAAiE;IACjE,CAAC,CACC,MAAM,EACN,0BAA0B,EAC1B,YAAY,EACZ,OAAO,EACP,QAAQ,EACR,+DAA+D,CAChE;IACD,CAAC,CACC,MAAM,EACN,6BAA6B,EAC7B,YAAY,EACZ,OAAO,EACP,QAAQ,EACR,+DAA+D,CAChE;IACD,sEAAsE;IACtE,uEAAuE;IACvE,gEAAgE;IAChE,kEAAkE;IAClE,kEAAkE;IAClE,sEAAsE;IACtE,uEAAuE;IACvE,uEAAuE;IACvE,uEAAuE;IACvE,mBAAmB;IACnB,CAAC,CACC,MAAM,EACN,wBAAwB,EACxB,iBAAiB,EACjB,OAAO,EACP,QAAQ,EACR,6DAA6D,CAC9D;IACD,CAAC,CACC,MAAM,EACN,uBAAuB,EACvB,iBAAiB,EACjB,OAAO,EACP,QAAQ,EACR,6DAA6D,CAC9D;IACD,CAAC,CACC,MAAM,EACN,6BAA6B,EAC7B,MAAM,EACN,OAAO,EACP,QAAQ,EACR,+DAA+D,CAChE;IACD,sEAAsE;IACtE,+DAA+D;IAC/D,oEAAoE;IACpE,sEAAsE;IACtE,uEAAuE;IACvE,iEAAiE;IACjE,iEAAiE;IACjE,kEAAkE;IAClE,gEAAgE;IAChE,sEAAsE;IACtE,kEAAkE;IAClE,gEAAgE;IAChE,oEAAoE;IACpE,+DAA+D;IAC/D,sEAAsE;IACtE,sEAAsE;IACtE,QAAQ;IACR,CAAC,CACC,MAAM,EACN,8BAA8B,EAC9B,WAAW,EACX,OAAO,EACP,QAAQ,EACR,qCAAqC,CACtC;IACD,CAAC,CACC,MAAM,EACN,8BAA8B,EAC9B,WAAW,EACX,OAAO,EACP,QAAQ,EACR,2CAA2C,CAC5C;IACD,CAAC,CACC,MAAM,EACN,iCAAiC,EACjC,WAAW,EACX,SAAS,EACT,QAAQ,EACR,qCAAqC,CACtC;IACD,CAAC,CACC,MAAM,EACN,cAAc,EACd,WAAW,EACX,OAAO,EACP,QAAQ,EACR,qCAAqC,CACtC;IACD,CAAC,CACC,MAAM,EACN,sBAAsB,EACtB,WAAW,EACX,OAAO,EACP,QAAQ,EACR,qCAAqC,CACtC;IACD,sEAAsE;IACtE,wBAAwB;IACxB,gEAAgE;IAChE,sEAAsE;IACtE,kEAAkE;IAClE,oEAAoE;IACpE,mEAAmE;IACnE,+DAA+D;IAC/D,YAAY;IACZ,CAAC,CACC,MAAM,EACN,+BAA+B,EAC/B,OAAO,EACP,OAAO,EACP,QAAQ,EACR,0FAA0F,CAC3F;CACF,CAAC;AAEF,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,mBAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;AAEtD,uEAAuE;AACvE,SAAgB,SAAS,CAAC,EAAU;IAClC,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AACtB,CAAC;AAED,sEAAsE;AACtE,SAAgB,aAAa,CAAC,KAAiB;IAC7C,OAAO,IAAI,GAAG,CACZ,mBAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,KAAK,OAAO,IAAI,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,GAAG,CACpE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CACV,CACF,CAAC;AACJ,CAAC"}
|
package/dist/src/check.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/check.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/check.ts"],"names":[],"mappings":"AAmZA,OAAO,EAKL,KAAK,cAAc,EACpB,MAAM,mBAAmB,CAAC;AAW3B,OAAO,KAAK,QAAQ,MAAM,kBAAkB,CAAC;AA4D7C,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,OAAO,GAAG,SAAS,CAAC;IAC9B,OAAO,EAAE,MAAM,CAAC;IAChB;yEACqE;IACrE,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AAED,qDAAqD;AACrD,MAAM,WAAW,YAAY;IAC3B;;;;;OAKG;IACH,UAAU,CAAC,EAAE,QAAQ,GAAG,OAAO,CAAC;IAChC;;;;;OAKG;IACH,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB;;;;OAIG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACtC;;;;;OAKG;IACH,cAAc,CAAC,EAAE,cAAc,CAAC;CACjC;AA+CD,wBAAgB,YAAY,CAC1B,GAAG,EAAE,MAAM,EACX,OAAO,GAAE,YAAiB,GACzB,UAAU,EAAE,CAmoNd;AAoBD,wBAAgB,uBAAuB,CAAC,GAAG,EAAE,MAAM,GAAG,UAAU,EAAE,CAwFjE;AA4BD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AACH,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,QAAQ,GAAG,UAAU,EAAE,CAwQnE;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,uBAAuB,CAAC,QAAQ,EAAE,QAAQ,GAAG,UAAU,EAAE,CA+ExE;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,QAAQ,GAAG,UAAU,EAAE,CA0EjE;AAED;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,eAAe,CAAC,QAAQ,EAAE,QAAQ,GAAG,UAAU,EAAE,CA6FhE;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,eAAe,CAAC,QAAQ,EAAE,QAAQ,GAAG,UAAU,EAAE,CAoBhE;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,QAAQ,GAAG,UAAU,EAAE,CA8CnE;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,wBAAgB,qBAAqB,CACnC,GAAG,EAAE,MAAM,EACX,QAAQ,EAAE,QAAQ,GACjB,UAAU,EAAE,CAuNd"}
|
package/dist/src/check.js
CHANGED
|
@@ -365,6 +365,17 @@
|
|
|
365
365
|
// demo_world participant seeds (gated), record stores → entity-
|
|
366
366
|
// class stores (gated), in-construct record cross-references
|
|
367
367
|
// (ungated); field-level discipline stays app-side
|
|
368
|
+
// C144–C146 the license facets (smart TODO.external-refs/04; the
|
|
369
|
+
// entitlement facet + catalog): the catalog-key shape
|
|
370
|
+
// (^std:[a-z0-9-]+$), at most one license_key per package (the
|
|
371
|
+
// parser's earlier declarations surface here), and the
|
|
372
|
+
// license_holder required with the key — a package without a key
|
|
373
|
+
// is public content and every leg keys on the key's presence
|
|
374
|
+
// C147–C148 the executable test programs (smart TODO.twin-demo/03;
|
|
375
|
+
// the model-drive bindings): the preparation/stimulus entry-order
|
|
376
|
+
// and step/point shape, and the hold/fresh_within duration
|
|
377
|
+
// discipline (a stimulus point declares fresh_within — §14.12's
|
|
378
|
+
// no-stale-semantics doctrine)
|
|
368
379
|
//
|
|
369
380
|
// Levels (TODO.roadmap/17): the DEFAULT level runs the normal-level
|
|
370
381
|
// rules at their catalog severities. --audit additionally runs the
|
|
@@ -2725,6 +2736,30 @@ function checkPackage(dir, options = {}) {
|
|
|
2725
2736
|
}
|
|
2726
2737
|
}
|
|
2727
2738
|
}
|
|
2739
|
+
// ── C144–C146: the license facets (smart TODO.external-refs/04; the ──
|
|
2740
|
+
// entitlement facet + catalog) ──────────────────────────────────────
|
|
2741
|
+
// The manifest declares the package's licensed nature: one
|
|
2742
|
+
// `license_key` (the entitlement catalog key the platform's license
|
|
2743
|
+
// gate reads) and its `license_holder` (the copyright owner). A
|
|
2744
|
+
// package without a key is public content — the OIML models stay
|
|
2745
|
+
// license-free — so every leg keys on the key's presence, and a bare
|
|
2746
|
+
// holder stays legal (attribution without an entitlement claim). The
|
|
2747
|
+
// parse is permissive (the scheme_type precedent); the linter owns the
|
|
2748
|
+
// shape. Manifest-level like C77–C85: runs without composing content.
|
|
2749
|
+
{
|
|
2750
|
+
const m = standard.packageManifest;
|
|
2751
|
+
if (m && m.licenseKey !== undefined) {
|
|
2752
|
+
if (!/^std:[a-z0-9-]+$/.test(m.licenseKey)) {
|
|
2753
|
+
err('C144', `package "${m.id}": license_key "${m.licenseKey}" is not a catalog key — the key shape is std: followed by a lowercase kebab id, ^std:[a-z0-9-]+$ (license-key-shape)`);
|
|
2754
|
+
}
|
|
2755
|
+
for (const dup of m.licenseKeyDuplicates ?? []) {
|
|
2756
|
+
err('C145', `package "${m.id}": license_key declared again ("${dup}" before "${m.licenseKey}") — a package declares at most one license key; the last declaration wins (license-key-unique)`);
|
|
2757
|
+
}
|
|
2758
|
+
if (!m.licenseHolder) {
|
|
2759
|
+
err('C146', `package "${m.id}": license_key "${m.licenseKey}" without a license_holder — a licensed package declares its copyright owner (license-holder-required)`);
|
|
2760
|
+
}
|
|
2761
|
+
}
|
|
2762
|
+
}
|
|
2728
2763
|
// ── C122: scheme-type-resolves (smart TODO.roadmap/40 batch 2; the ──
|
|
2729
2764
|
// packages-as-SSOT epic) ────────────────────────────────────────────
|
|
2730
2765
|
// The ISO/IEC 17067 register is composable: a manifest's `scheme_type`
|
|
@@ -3141,6 +3176,97 @@ function checkPackage(dir, options = {}) {
|
|
|
3141
3176
|
}
|
|
3142
3177
|
}
|
|
3143
3178
|
}
|
|
3179
|
+
// ── C147–C148: the executable test programs (smart TODO.twin-demo/03 —
|
|
3180
|
+
// the model-drive bindings) ──
|
|
3181
|
+
// The conformance test's `preparation { … }` / `stimulus { … }` facets
|
|
3182
|
+
// are the machine-executable half of the test declaration: the
|
|
3183
|
+
// preparation program (warm-up, preload discipline, zero check) and the
|
|
3184
|
+
// ordered measurement program (drive, argument expressions over the
|
|
3185
|
+
// subject's declared parameters, hold, the read's freshness bound, the
|
|
3186
|
+
// per-point acceptance reference). C147 test-program-shape: every
|
|
3187
|
+
// program entry's order is a positive integer unique in the program; a
|
|
3188
|
+
// preparation step carries a prose action AND/OR a drive reference; a
|
|
3189
|
+
// step's verify block carries read AND tolerance; a stimulus point
|
|
3190
|
+
// carries a drive and an acceptance reference. C148
|
|
3191
|
+
// test-program-duration: a hold / fresh_within value parses as a
|
|
3192
|
+
// duration window (the serve contract's vocabulary — shorthand 30min or
|
|
3193
|
+
// ISO 8601 fixed-length PT30M), and a stimulus point declares
|
|
3194
|
+
// fresh_within (§14.12's no-stale-semantics doctrine: a measurement
|
|
3195
|
+
// point's read carries its freshness bound, like C63's live bindings).
|
|
3196
|
+
// Drive/acceptance/tolerance REFERENCE RESOLUTION (the world-vocabulary
|
|
3197
|
+
// operation names, the requirement nodes) is the consumer-side
|
|
3198
|
+
// conformance leg's job — the kernel checks syntax/shape only (the
|
|
3199
|
+
// C92/C93 vs R39 split). Packages without test programs are untouched —
|
|
3200
|
+
// the loops are empty.
|
|
3201
|
+
{
|
|
3202
|
+
for (const ct of standard.conformanceTests ?? []) {
|
|
3203
|
+
const prep = ct.preparation;
|
|
3204
|
+
if (prep) {
|
|
3205
|
+
const orders = new Set();
|
|
3206
|
+
for (const step of prep.entries) {
|
|
3207
|
+
const at = step.order !== null
|
|
3208
|
+
? `preparation step ${step.order}`
|
|
3209
|
+
: 'a preparation step';
|
|
3210
|
+
if (step.order === null ||
|
|
3211
|
+
!Number.isInteger(step.order) ||
|
|
3212
|
+
step.order < 1) {
|
|
3213
|
+
err('C147', `conformance_test ${ct.id}: ${at} declares no positive-integer order (got ${step.order === null ? 'none' : step.order}) — the step order is a positive integer (test-program-shape)`);
|
|
3214
|
+
}
|
|
3215
|
+
else if (orders.has(step.order)) {
|
|
3216
|
+
err('C147', `conformance_test ${ct.id}: preparation step order ${step.order} is declared twice — the order is unique within the program (test-program-shape)`);
|
|
3217
|
+
}
|
|
3218
|
+
else {
|
|
3219
|
+
orders.add(step.order);
|
|
3220
|
+
}
|
|
3221
|
+
if (step.action === '' && step.drive === '') {
|
|
3222
|
+
err('C147', `conformance_test ${ct.id}: ${at} declares neither action nor drive — a preparation step carries a prose action AND/OR a drive reference (test-program-shape)`);
|
|
3223
|
+
}
|
|
3224
|
+
if (step.verify &&
|
|
3225
|
+
(step.verify.read === '' || step.verify.tolerance === '')) {
|
|
3226
|
+
err('C147', `conformance_test ${ct.id}: ${at} declares a verify block without ${step.verify.read === '' ? 'read' : 'tolerance'} — the verification names what to read AND the tolerance reference (test-program-shape)`);
|
|
3227
|
+
}
|
|
3228
|
+
if (step.hold !== '' && (0, time_1.parseFreshnessWindow)(step.hold) === null) {
|
|
3229
|
+
err('C148', `conformance_test ${ct.id}: ${at} hold "${step.hold}" is not a parseable duration (shorthand 500ms/5s/1min/1h/1d or ISO 8601 with fixed-length components, e.g. PT30M) (test-program-duration)`);
|
|
3230
|
+
}
|
|
3231
|
+
}
|
|
3232
|
+
}
|
|
3233
|
+
const stim = ct.stimulus;
|
|
3234
|
+
if (stim) {
|
|
3235
|
+
const orders = new Set();
|
|
3236
|
+
for (const point of stim.entries) {
|
|
3237
|
+
const at = point.order !== null
|
|
3238
|
+
? `stimulus point ${point.order}`
|
|
3239
|
+
: 'a stimulus point';
|
|
3240
|
+
if (point.order === null ||
|
|
3241
|
+
!Number.isInteger(point.order) ||
|
|
3242
|
+
point.order < 1) {
|
|
3243
|
+
err('C147', `conformance_test ${ct.id}: ${at} declares no positive-integer order (got ${point.order === null ? 'none' : point.order}) — the point order is a positive integer (test-program-shape)`);
|
|
3244
|
+
}
|
|
3245
|
+
else if (orders.has(point.order)) {
|
|
3246
|
+
err('C147', `conformance_test ${ct.id}: stimulus point order ${point.order} is declared twice — the order is unique within the program (test-program-shape)`);
|
|
3247
|
+
}
|
|
3248
|
+
else {
|
|
3249
|
+
orders.add(point.order);
|
|
3250
|
+
}
|
|
3251
|
+
if (point.drive === '') {
|
|
3252
|
+
err('C147', `conformance_test ${ct.id}: ${at} declares no drive — a stimulus point names the drive operation (test-program-shape)`);
|
|
3253
|
+
}
|
|
3254
|
+
if (point.acceptance === '') {
|
|
3255
|
+
err('C147', `conformance_test ${ct.id}: ${at} declares no acceptance — a stimulus point names the MPE/requirement node it is judged against (test-program-shape)`);
|
|
3256
|
+
}
|
|
3257
|
+
if (point.hold !== '' && (0, time_1.parseFreshnessWindow)(point.hold) === null) {
|
|
3258
|
+
err('C148', `conformance_test ${ct.id}: ${at} hold "${point.hold}" is not a parseable duration (shorthand 500ms/5s/1min/1h/1d or ISO 8601 with fixed-length components, e.g. PT30M) (test-program-duration)`);
|
|
3259
|
+
}
|
|
3260
|
+
if (point.freshWithin === '') {
|
|
3261
|
+
err('C148', `conformance_test ${ct.id}: ${at} declares no fresh_within — a measurement point's read carries its freshness bound (§14.12: no stale semantics) (test-program-duration)`);
|
|
3262
|
+
}
|
|
3263
|
+
else if ((0, time_1.parseFreshnessWindow)(point.freshWithin) === null) {
|
|
3264
|
+
err('C148', `conformance_test ${ct.id}: ${at} fresh_within "${point.freshWithin}" is not a parseable freshness window (shorthand 500ms/5s/1min/1h/1d or ISO 8601 with fixed-length components, e.g. PT5S) (test-program-duration)`);
|
|
3265
|
+
}
|
|
3266
|
+
}
|
|
3267
|
+
}
|
|
3268
|
+
}
|
|
3269
|
+
}
|
|
3144
3270
|
// ── C94: the per-test evaluation-formula traces (smart gap-close E11,
|
|
3145
3271
|
// analysis/architecture-gaps-2026-07.md; the smart contract
|
|
3146
3272
|
// data/schemas/formulas-used.yaml) ──
|