@primmel/primmel 1.17.0 → 1.17.2

package/dist/src/check.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/check.ts"],"names":[],"mappings":"AAsYA,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,CA+8Md;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"}
+{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../../src/check.ts"],"names":[],"mappings":"AAwYA,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,CA49Md;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

@@ -108,7 +108,9 @@
 //      warns, naming the doctrine: a violated run-validity precondition
 //      voids the run, it never fails the instrument
 //   C42 promise-target-resolves: a promise's target is a declared
-//      characteristic (of the owning subject) or behavior
+//      characteristic (of the owning subject), behavior, attribute (the
+//      C44 path), classification dimension, or symbol-registry id (the
+//      register doctrine — smart R15's resolution set)
 //   C43 promise-verifiable: no verified_by declared AND no verifying
 //      requirement/test derivable (requirements/tests binding the same
 //      target) — a warning at authoring (TODO.roadmap/08)
@@ -995,9 +997,17 @@ function checkPackage(dir, options = {}) {
                         err('C44', `subject ${s.id}: promise "${label}" only restates the declared attribute value "${p.target}" — a promise claims a characteristic or behavior (optionally conditioned); bare values stay origin: declared attributes (promise-not-bare-value)`);
                     }
                 }
+                else if (dimIds.has(p.target) || symbolIds.has(p.target)) {
+                    // A claim ABOUT a classification dimension or a symbol-named
+                    // quantity is a legal target (the register doctrine — smart's
+                    // linker R15 resolves a promise target to a declared attribute,
+                    // dimension, characteristic (symbol id), or behavior). Like the
+                    // attribute path, no C43 derivation runs: dimensions/symbols
+                    // carry no requirement-binding channel here.
+                }
                 else {
                     // C42 — the target resolves to nothing the subject can claim.
-                    err('C42', `subject ${s.id}: promise "${label}" target "${p.target}" is not a declared characteristic or behavior (promise-target-resolves)`);
+                    err('C42', `subject ${s.id}: promise "${label}" target "${p.target}" is not a declared characteristic, behavior, attribute, dimension, or symbol (promise-target-resolves)`);
                 }
                 continue;
             }
@@ -1084,11 +1094,15 @@ function checkPackage(dir, options = {}) {
                         err('C44', `${where} only restates the declared attribute value "${p.target}" — a promise claims a characteristic or behavior (optionally conditioned); bare values stay origin: declared attributes (promise-not-bare-value)`);
                     }
                 }
+                else if (dimIds.has(p.target) || symbolIds.has(p.target)) {
+                    // Dimension/symbol targets — the same widening as the subject
+                    // leg above (smart R15's resolution set).
+                }
                 else if (owner) {
                     // C42 — gated on the owning subject composing: without it the
                     // characteristic register is out of scope and the target's
                     // characteristic-ness is unknowable.
-                    err('C42', `${where} target "${p.target}" is not a declared characteristic or behavior (promise-target-resolves)`);
+                    err('C42', `${where} target "${p.target}" is not a declared characteristic, behavior, attribute, dimension, or symbol (promise-target-resolves)`);
                 }
                 continue;
             }
@@ -3881,7 +3895,8 @@ function checkPackage(dir, options = {}) {
     // a declared classification dimension and every value to one of that
     // dimension's declared values (per-register gated, the smart R4/R8
     // applicability mirror; an OPEN dimension — no declared value set —
-    // accepts any value).
+    // accepts any value). A set-cardinality dimension's preset is a value
+    // LIST (r144's measurand_components) — each entry resolves.
     {
         for (const p of standard.evaluationProfiles ?? []) {
             const where = `evaluation_profile ${p.id}`;
@@ -3891,8 +3906,10 @@ function checkPackage(dir, options = {}) {
                     continue;
                 }
                 const values = dimIds.get(dim);
-                if (values && values.size > 0 && !values.has(value)) {
-                    err('C135', `${where}: dimensions entry "${dim}" names value "${value}", which the dimension does not declare (evaluation-profile-coherence)`);
+                for (const v of Array.isArray(value) ? value : [value]) {
+                    if (values && values.size > 0 && !values.has(v)) {
+                        err('C135', `${where}: dimensions entry "${dim}" names value "${v}", which the dimension does not declare (evaluation-profile-coherence)`);
+                    }
                 }
             }
         }