@primmel/primmel 1.8.0 → 1.8.2
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 +11 -1
- package/dist/src/check-rules.js.map +1 -1
- package/dist/src/check.d.ts.map +1 -1
- package/dist/src/check.js +16 -0
- package/dist/src/check.js.map +1 -1
- package/dist/src/ser-des/config/calculation.d.ts.map +1 -1
- package/dist/src/ser-des/config/calculation.js +9 -2
- package/dist/src/ser-des/config/calculation.js.map +1 -1
- package/dist/src/ser-des/config/field-parser.d.ts.map +1 -1
- package/dist/src/ser-des/config/field-parser.js +6 -0
- package/dist/src/ser-des/config/field-parser.js.map +1 -1
- package/dist/src/ser-des/config/stateMachine.d.ts.map +1 -1
- package/dist/src/ser-des/config/stateMachine.js +9 -1
- package/dist/src/ser-des/config/stateMachine.js.map +1 -1
- package/dist/src/ser-des/config/subject.d.ts.map +1 -1
- package/dist/src/ser-des/config/subject.js +17 -0
- package/dist/src/ser-des/config/subject.js.map +1 -1
- package/dist/src/ser-des/config/symbol.d.ts.map +1 -1
- package/dist/src/ser-des/config/symbol.js +14 -2
- package/dist/src/ser-des/config/symbol.js.map +1 -1
- package/dist/src/ser-des/config/term.d.ts.map +1 -1
- package/dist/src/ser-des/config/term.js +6 -0
- package/dist/src/ser-des/config/term.js.map +1 -1
- package/dist/src/ser-des/index.d.ts +2 -0
- package/dist/src/ser-des/index.d.ts.map +1 -1
- package/dist/src/ser-des/index.js +13 -1
- package/dist/src/ser-des/index.js.map +1 -1
- package/dist-browser/index.mjs +459 -441
- package/dist-cli/primmel.mjs +48 -5
- 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,EAmiClC,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
|
@@ -5,7 +5,7 @@
|
|
|
5
5
|
// The machine-readable registry of every check `primmel check` runs —
|
|
6
6
|
// the single source the CLI prints (`primmel check --rules`) and the
|
|
7
7
|
// docs reference. Each rule has:
|
|
8
|
-
// id — the per-rule id (C1…
|
|
8
|
+
// id — the per-rule id (C1…C109) issues report under;
|
|
9
9
|
// name — the rule's short name (as used in issue messages);
|
|
10
10
|
// family — base | anatomy | process | instantiation | mapping |
|
|
11
11
|
// composition | quantities | state | promises | artifacts |
|
|
@@ -366,6 +366,16 @@ exports.CHECK_RULES = [
|
|
|
366
366
|
R('C106', 'dataspace-governance-provenance', 'dataspace', 'warning', 'normal', 'TODO.primmel/10, MN 114 clause 19.1'),
|
|
367
367
|
R('C107', 'policy-shape', 'dataspace', 'error', 'normal', 'TODO.primmel/10, MN 114 clause 19.2'),
|
|
368
368
|
R('C108', 'correspondence-shape', 'dataspace', 'error', 'normal', 'TODO.primmel/10, MN 114 clause 19.4'),
|
|
369
|
+
// ── C109: state-machine-initial-present (the editor wave-03 finding,
|
|
370
|
+
// primmel/editor#19) ──
|
|
371
|
+
// The spec's state machine syntax marks `initial` required (the
|
|
372
|
+
// starting state for new entities). The parser stays total (a machine
|
|
373
|
+
// without the line loads with initialState '') and the serializer
|
|
374
|
+
// stays honest (it omits the line — never the dangling keyword that
|
|
375
|
+
// reparsed as `initial states`), so the refusal lives HERE, at the
|
|
376
|
+
// language's own validation layer — the C95 contract-ownership
|
|
377
|
+
// doctrine.
|
|
378
|
+
R('C109', 'state-machine-initial-present', 'state', 'error', 'normal', 'spec sources/state-machines §2 (initial: Required), primmel/editor#19 (wave-03 findings)'),
|
|
369
379
|
];
|
|
370
380
|
const byId = new Map(exports.CHECK_RULES.map(r => [r.id, r]));
|
|
371
381
|
/** The catalog entry for a rule id, or undefined for an unknown id. */
|
|
@@ -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;;;AAgkCxE,8BAEC;AAGD,sCAMC;AA5iCD,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,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,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,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;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;;;AAilCxE,8BAEC;AAGD,sCAMC;AA7jCD,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,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,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,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":"AA8TA,OAAO,EAKL,KAAK,cAAc,EACpB,MAAM,mBAAmB,CAAC;AAW3B,OAAO,KAAK,QAAQ,MAAM,kBAAkB,CAAC;AAsD7C,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,CAy/Id;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;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,wBAAgB,qBAAqB,CACnC,GAAG,EAAE,MAAM,EACX,QAAQ,EAAE,QAAQ,GACjB,UAAU,EAAE,CA6Kd"}
|
package/dist/src/check.js
CHANGED
|
@@ -287,6 +287,10 @@
|
|
|
287
287
|
// (the trust_ref stays opaque — the checker never resolves the
|
|
288
288
|
// trust plane), governance cited, policies well-formed, and one
|
|
289
289
|
// correspondence per scheme per element
|
|
290
|
+
// C109 state-machine-initial-present: every state machine declares
|
|
291
|
+
// its initial state (the spec marks it required; the serializer
|
|
292
|
+
// omits the line rather than emitting the dangling keyword — the
|
|
293
|
+
// editor wave-03 finding, primmel/editor#19)
|
|
290
294
|
//
|
|
291
295
|
// Levels (TODO.roadmap/17): the DEFAULT level runs the normal-level
|
|
292
296
|
// rules at their catalog severities. --audit additionally runs the
|
|
@@ -3094,6 +3098,18 @@ function checkPackage(dir, options = {}) {
|
|
|
3094
3098
|
// by `self.state = #…` preconditions (C39). The operational and
|
|
3095
3099
|
// lifecycle families are strictly disjoint (C38).
|
|
3096
3100
|
const machineById = new Map((standard.stateMachines ?? []).map(sm => [sm.entityName, sm]));
|
|
3101
|
+
// C109 — state-machine-initial-present: the spec marks `initial`
|
|
3102
|
+
// required (state-machines §2: "Initial state. Required."), for both
|
|
3103
|
+
// families. The parser stays total (a missing line loads as ''), the
|
|
3104
|
+
// serializer omits the line rather than emitting the dangling keyword
|
|
3105
|
+
// (the editor wave-03 finding: `initial ` reparsed as
|
|
3106
|
+
// `initial states`), so the refusal lives here — the language's own
|
|
3107
|
+
// validation layer.
|
|
3108
|
+
for (const sm of standard.stateMachines ?? []) {
|
|
3109
|
+
if (!sm.initialState) {
|
|
3110
|
+
err('C109', `state_machine ${sm.entityName}: declares no initial state — initial is required (state-machine-initial-present)`);
|
|
3111
|
+
}
|
|
3112
|
+
}
|
|
3097
3113
|
const operationalIds = new Set((standard.stateMachines ?? [])
|
|
3098
3114
|
.filter(sm => sm.kind === 'operational')
|
|
3099
3115
|
.map(sm => sm.entityName));
|