@primmel/primmel 1.12.0 → 1.14.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 +115 -0
- package/dist/src/check-rules.js.map +1 -1
- package/dist/src/check.d.ts.map +1 -1
- package/dist/src/check.js +896 -0
- package/dist/src/check.js.map +1 -1
- package/dist/src/model-diff.d.ts.map +1 -1
- package/dist/src/model-diff.js +40 -0
- package/dist/src/model-diff.js.map +1 -1
- package/dist/src/ser-des/config/applicationDeclaration.d.ts +5 -0
- package/dist/src/ser-des/config/applicationDeclaration.d.ts.map +1 -0
- package/dist/src/ser-des/config/applicationDeclaration.js +102 -0
- package/dist/src/ser-des/config/applicationDeclaration.js.map +1 -0
- package/dist/src/ser-des/config/aspect.d.ts +5 -0
- package/dist/src/ser-des/config/aspect.d.ts.map +1 -0
- package/dist/src/ser-des/config/aspect.js +128 -0
- package/dist/src/ser-des/config/aspect.js.map +1 -0
- package/dist/src/ser-des/config/calculation.d.ts.map +1 -1
- package/dist/src/ser-des/config/calculation.js +134 -18
- package/dist/src/ser-des/config/calculation.js.map +1 -1
- package/dist/src/ser-des/config/calculationContext.d.ts +5 -0
- package/dist/src/ser-des/config/calculationContext.d.ts.map +1 -0
- package/dist/src/ser-des/config/calculationContext.js +62 -0
- package/dist/src/ser-des/config/calculationContext.js.map +1 -0
- package/dist/src/ser-des/config/certificateTemplate.d.ts +5 -0
- package/dist/src/ser-des/config/certificateTemplate.d.ts.map +1 -0
- package/dist/src/ser-des/config/certificateTemplate.js +195 -0
- package/dist/src/ser-des/config/certificateTemplate.js.map +1 -0
- package/dist/src/ser-des/config/commonTestCondition.d.ts +5 -0
- package/dist/src/ser-des/config/commonTestCondition.d.ts.map +1 -0
- package/dist/src/ser-des/config/commonTestCondition.js +75 -0
- package/dist/src/ser-des/config/commonTestCondition.js.map +1 -0
- package/dist/src/ser-des/config/evaluationDimension.d.ts +5 -0
- package/dist/src/ser-des/config/evaluationDimension.d.ts.map +1 -0
- package/dist/src/ser-des/config/evaluationDimension.js +128 -0
- package/dist/src/ser-des/config/evaluationDimension.js.map +1 -0
- package/dist/src/ser-des/config/evaluationProfile.d.ts +5 -0
- package/dist/src/ser-des/config/evaluationProfile.d.ts.map +1 -0
- package/dist/src/ser-des/config/evaluationProfile.js +61 -0
- package/dist/src/ser-des/config/evaluationProfile.js.map +1 -0
- package/dist/src/ser-des/config/formulaNote.d.ts +5 -0
- package/dist/src/ser-des/config/formulaNote.d.ts.map +1 -0
- package/dist/src/ser-des/config/formulaNote.js +66 -0
- package/dist/src/ser-des/config/formulaNote.js.map +1 -0
- package/dist/src/ser-des/config/identitySlot.d.ts +5 -0
- package/dist/src/ser-des/config/identitySlot.d.ts.map +1 -0
- package/dist/src/ser-des/config/identitySlot.js +120 -0
- package/dist/src/ser-des/config/identitySlot.js.map +1 -0
- package/dist/src/ser-des/config/index.d.ts.map +1 -1
- package/dist/src/ser-des/config/index.js +200 -0
- package/dist/src/ser-des/config/index.js.map +1 -1
- package/dist/src/ser-des/config/partAnnex.d.ts +5 -0
- package/dist/src/ser-des/config/partAnnex.d.ts.map +1 -0
- package/dist/src/ser-des/config/partAnnex.js +91 -0
- package/dist/src/ser-des/config/partAnnex.js.map +1 -0
- package/dist/src/ser-des/config/promiseSet.d.ts +5 -0
- package/dist/src/ser-des/config/promiseSet.d.ts.map +1 -0
- package/dist/src/ser-des/config/promiseSet.js +46 -0
- package/dist/src/ser-des/config/promiseSet.js.map +1 -0
- package/dist/src/ser-des/config/selectionRules.d.ts +9 -0
- package/dist/src/ser-des/config/selectionRules.d.ts.map +1 -0
- package/dist/src/ser-des/config/selectionRules.js +372 -0
- package/dist/src/ser-des/config/selectionRules.js.map +1 -0
- package/dist/src/ser-des/config/storyline.d.ts +7 -0
- package/dist/src/ser-des/config/storyline.d.ts.map +1 -0
- package/dist/src/ser-des/config/storyline.js +264 -0
- package/dist/src/ser-des/config/storyline.js.map +1 -0
- package/dist/src/ser-des/config/subject.d.ts +18 -1
- package/dist/src/ser-des/config/subject.d.ts.map +1 -1
- package/dist/src/ser-des/config/subject.js +270 -61
- package/dist/src/ser-des/config/subject.js.map +1 -1
- package/dist/src/ser-des/config/testReport.d.ts +7 -0
- package/dist/src/ser-des/config/testReport.d.ts.map +1 -0
- package/dist/src/ser-des/config/testReport.js +322 -0
- package/dist/src/ser-des/config/testReport.js.map +1 -0
- package/dist/src/ser-des/config/verificationPathway.d.ts +5 -0
- package/dist/src/ser-des/config/verificationPathway.d.ts.map +1 -0
- package/dist/src/ser-des/config/verificationPathway.js +361 -0
- package/dist/src/ser-des/config/verificationPathway.js.map +1 -0
- package/dist/src/ser-des/config/workflowConfig.d.ts +5 -0
- package/dist/src/ser-des/config/workflowConfig.d.ts.map +1 -0
- package/dist/src/ser-des/config/workflowConfig.js +129 -0
- package/dist/src/ser-des/config/workflowConfig.js.map +1 -0
- package/dist/src/ser-des/package.d.ts +10 -0
- package/dist/src/ser-des/package.d.ts.map +1 -1
- package/dist/src/ser-des/package.js +166 -12
- package/dist/src/ser-des/package.js.map +1 -1
- package/dist/src/ser-des/parse.d.ts.map +1 -1
- package/dist/src/ser-des/parse.js +29 -0
- package/dist/src/ser-des/parse.js.map +1 -1
- package/dist/src/ser-des/types.d.ts +37 -0
- package/dist/src/ser-des/types.d.ts.map +1 -1
- package/dist/src/types/ApplicationDeclaration.d.ts +23 -0
- package/dist/src/types/ApplicationDeclaration.d.ts.map +1 -0
- package/dist/src/types/ApplicationDeclaration.js +32 -0
- package/dist/src/types/ApplicationDeclaration.js.map +1 -0
- package/dist/src/types/Aspect.d.ts +30 -0
- package/dist/src/types/Aspect.d.ts.map +1 -0
- package/dist/src/types/Aspect.js +41 -0
- package/dist/src/types/Aspect.js.map +1 -0
- package/dist/src/types/Calculation.d.ts +35 -0
- package/dist/src/types/Calculation.d.ts.map +1 -1
- package/dist/src/types/CalculationContext.d.ts +17 -0
- package/dist/src/types/CalculationContext.d.ts.map +1 -0
- package/dist/src/types/CalculationContext.js +34 -0
- package/dist/src/types/CalculationContext.js.map +1 -0
- package/dist/src/types/CertificateTemplate.d.ts +46 -0
- package/dist/src/types/CertificateTemplate.d.ts.map +1 -0
- package/dist/src/types/CertificateTemplate.js +46 -0
- package/dist/src/types/CertificateTemplate.js.map +1 -0
- package/dist/src/types/CommonTestCondition.d.ts +15 -0
- package/dist/src/types/CommonTestCondition.d.ts.map +1 -0
- package/dist/src/types/CommonTestCondition.js +22 -0
- package/dist/src/types/CommonTestCondition.js.map +1 -0
- package/dist/src/types/EvaluationDimension.d.ts +32 -0
- package/dist/src/types/EvaluationDimension.d.ts.map +1 -0
- package/dist/src/types/EvaluationDimension.js +38 -0
- package/dist/src/types/EvaluationDimension.js.map +1 -0
- package/dist/src/types/EvaluationProfile.d.ts +10 -0
- package/dist/src/types/EvaluationProfile.d.ts.map +1 -0
- package/dist/src/types/EvaluationProfile.js +25 -0
- package/dist/src/types/EvaluationProfile.js.map +1 -0
- package/dist/src/types/IdentitySlot.d.ts +24 -0
- package/dist/src/types/IdentitySlot.d.ts.map +1 -0
- package/dist/src/types/IdentitySlot.js +34 -0
- package/dist/src/types/IdentitySlot.js.map +1 -0
- package/dist/src/types/PartAnnex.d.ts +18 -0
- package/dist/src/types/PartAnnex.d.ts.map +1 -0
- package/dist/src/types/PartAnnex.js +29 -0
- package/dist/src/types/PartAnnex.js.map +1 -0
- package/dist/src/types/PromiseSet.d.ts +8 -0
- package/dist/src/types/PromiseSet.d.ts.map +1 -0
- package/dist/src/types/PromiseSet.js +35 -0
- package/dist/src/types/PromiseSet.js.map +1 -0
- package/dist/src/types/SelectionRules.d.ts +73 -0
- package/dist/src/types/SelectionRules.d.ts.map +1 -0
- package/dist/src/types/SelectionRules.js +55 -0
- package/dist/src/types/SelectionRules.js.map +1 -0
- package/dist/src/types/Standard.d.ts +73 -0
- package/dist/src/types/Standard.d.ts.map +1 -1
- package/dist/src/types/Storyline.d.ts +62 -0
- package/dist/src/types/Storyline.d.ts.map +1 -0
- package/dist/src/types/Storyline.js +51 -0
- package/dist/src/types/Storyline.js.map +1 -0
- package/dist/src/types/Subject.d.ts +64 -1
- package/dist/src/types/Subject.d.ts.map +1 -1
- package/dist/src/types/Symbol.d.ts +17 -0
- package/dist/src/types/Symbol.d.ts.map +1 -1
- package/dist/src/types/TestReport.d.ts +71 -0
- package/dist/src/types/TestReport.d.ts.map +1 -0
- package/dist/src/types/TestReport.js +73 -0
- package/dist/src/types/TestReport.js.map +1 -0
- package/dist/src/types/VerificationPathway.d.ts +63 -0
- package/dist/src/types/VerificationPathway.d.ts.map +1 -0
- package/dist/src/types/VerificationPathway.js +56 -0
- package/dist/src/types/VerificationPathway.js.map +1 -0
- package/dist/src/types/WorkflowConfig.d.ts +34 -0
- package/dist/src/types/WorkflowConfig.d.ts.map +1 -0
- package/dist/src/types/WorkflowConfig.js +47 -0
- package/dist/src/types/WorkflowConfig.js.map +1 -0
- package/dist-browser/index.mjs +2391 -934
- package/dist-cli/primmel.mjs +9364 -5469
- package/package.json +1 -1
|
@@ -0,0 +1,35 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
// ─────────────────────────────────────────────────────────────────────
|
|
3
|
+
// The promise set (smart TODO.roadmap/40 batch 3; the packages-as-SSOT
|
|
4
|
+
// epic) — the rec's promise REGISTER as a file-grade construct. The
|
|
5
|
+
// subject's is.promises block cannot span files (a same-id subject
|
|
6
|
+
// redeclaration in one package overwrites; mergeSubject is the
|
|
7
|
+
// extends-chain merge only), so the 46 rec promise registers
|
|
8
|
+
// (payload/promises.yaml, the verbatim-payload codec exclusion this
|
|
9
|
+
// construct retires) need their own file-level home:
|
|
10
|
+
//
|
|
11
|
+
// promise_set loadcell { # id = the owning subject
|
|
12
|
+
// promise e_max_values {
|
|
13
|
+
// target e_max
|
|
14
|
+
// statement "Maximum capacity E_max per model — …"
|
|
15
|
+
// certificate { # the print projection (C131)
|
|
16
|
+
// attribute e_max # XOR attribute | attributes
|
|
17
|
+
// # {…} | dimension | none
|
|
18
|
+
// type string
|
|
19
|
+
// label "E_max values"
|
|
20
|
+
// obligation mandatory # mandatory | optional —
|
|
21
|
+
// # parse-enforced
|
|
22
|
+
// }
|
|
23
|
+
// source { doc "urn:oiml:pub:r:60-1:2021" clause "3.5.5" }
|
|
24
|
+
// }
|
|
25
|
+
// }
|
|
26
|
+
//
|
|
27
|
+
// The promise sub-grammar is the subject's OWN (readPromiseEntry /
|
|
28
|
+
// dumpPromiseEntry, config/subject.ts) reused verbatim — level,
|
|
29
|
+
// conditions, verified_by and all. C42–C44 fire on the set's entries
|
|
30
|
+
// exactly as on subject promises (the set id binds the subject;
|
|
31
|
+
// characteristic resolution gates on that subject composing — the C58
|
|
32
|
+
// doctrine). C131 checks the certificate projection.
|
|
33
|
+
// ─────────────────────────────────────────────────────────────────────
|
|
34
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
35
|
+
//# sourceMappingURL=PromiseSet.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"PromiseSet.js","sourceRoot":"","sources":["../../../src/types/PromiseSet.ts"],"names":[],"mappings":";AAAA,wEAAwE;AACxE,uEAAuE;AACvE,oEAAoE;AACpE,mEAAmE;AACnE,+DAA+D;AAC/D,6DAA6D;AAC7D,oEAAoE;AACpE,qDAAqD;AACrD,EAAE;AACF,qEAAqE;AACrE,6BAA6B;AAC7B,qBAAqB;AACrB,yDAAyD;AACzD,yEAAyE;AACzE,wEAAwE;AACxE,oEAAoE;AACpE,sBAAsB;AACtB,+BAA+B;AAC/B,oEAAoE;AACpE,4DAA4D;AAC5D,UAAU;AACV,iEAAiE;AACjE,QAAQ;AACR,MAAM;AACN,EAAE;AACF,mEAAmE;AACnE,gEAAgE;AAChE,qEAAqE;AACrE,gEAAgE;AAChE,sEAAsE;AACtE,qDAAqD;AACrD,wEAAwE"}
|
|
@@ -0,0 +1,73 @@
|
|
|
1
|
+
/** The lab criterion's applicability condition. */
|
|
2
|
+
export interface LabSelectionAppliesWhen {
|
|
3
|
+
/** The model field the condition reads (attribute or dimension id —
|
|
4
|
+
* C139, gated). */
|
|
5
|
+
modelField: string;
|
|
6
|
+
/** The value set variant ([] when unused). */
|
|
7
|
+
in: string[];
|
|
8
|
+
/** The equality variant ('' when unused). */
|
|
9
|
+
equals: string;
|
|
10
|
+
/** The presence variant (null when unused). */
|
|
11
|
+
notNull: boolean | null;
|
|
12
|
+
}
|
|
13
|
+
/** The lab criterion's capability match. */
|
|
14
|
+
export interface LabSelectionMatch {
|
|
15
|
+
/** has_capability | capability_from_field | capability_covers_value |
|
|
16
|
+
* capability_prefix_match | always_pass (parse-enforced). */
|
|
17
|
+
operator: string;
|
|
18
|
+
/** has_capability's capability label ('' when unused). */
|
|
19
|
+
requiredCapability: string;
|
|
20
|
+
/** The prefix variants' capability prefix ('' when unused). */
|
|
21
|
+
requiredCapabilityPrefix: string;
|
|
22
|
+
/** The field-derived variants' model field (C139, gated). */
|
|
23
|
+
modelField: string;
|
|
24
|
+
/** capability_covers_value's lab-side prefix ('' when unused). */
|
|
25
|
+
labCapabilityPrefix: string;
|
|
26
|
+
}
|
|
27
|
+
export interface LabSelectionCriterion {
|
|
28
|
+
id: string;
|
|
29
|
+
/** required | preferred (parse-enforced; '' when unstated). */
|
|
30
|
+
weight: string;
|
|
31
|
+
/** dimension | parameter | operational (parse-enforced; '' when
|
|
32
|
+
* unstated). */
|
|
33
|
+
parameterType: string;
|
|
34
|
+
label: string;
|
|
35
|
+
description: string;
|
|
36
|
+
appliesWhen: LabSelectionAppliesWhen | null;
|
|
37
|
+
match: LabSelectionMatch | null;
|
|
38
|
+
}
|
|
39
|
+
export interface SampleSelectionRule {
|
|
40
|
+
/** May start with a digit (`7.1.2-…`) — quoted at emission when the
|
|
41
|
+
* bare-id grammar rejects it. */
|
|
42
|
+
id: string;
|
|
43
|
+
/** The source step reference — a heterogeneous free string. */
|
|
44
|
+
step: string;
|
|
45
|
+
rule: string;
|
|
46
|
+
rationale: string;
|
|
47
|
+
/** The prose predicate — never resolved. */
|
|
48
|
+
applicability: string;
|
|
49
|
+
/** The pseudo-code selector — never resolved. */
|
|
50
|
+
selector: string;
|
|
51
|
+
/** full_evaluation | partial_evaluation | deduplicate | humidity |
|
|
52
|
+
* digital_additional (parse-enforced; '' when unstated). */
|
|
53
|
+
testKind: string;
|
|
54
|
+
/** The single-sample flag (null when unstated — never canonicalizes
|
|
55
|
+
* to false). */
|
|
56
|
+
singleSample: boolean | null;
|
|
57
|
+
/** The additional-test notes, keyed by test id. */
|
|
58
|
+
additionalTests: Record<string, string>;
|
|
59
|
+
/** The post-condition prose ('' when unstated). */
|
|
60
|
+
post: string;
|
|
61
|
+
}
|
|
62
|
+
export interface SpecimenGovernanceRule {
|
|
63
|
+
id: string;
|
|
64
|
+
rule: string;
|
|
65
|
+
rationale: string;
|
|
66
|
+
/** The prose predicate — never resolved. */
|
|
67
|
+
applicability: string;
|
|
68
|
+
/** The OCL-ish constraint — documentary, never resolved. */
|
|
69
|
+
constraint: string;
|
|
70
|
+
/** The post-condition prose ('' when unstated). */
|
|
71
|
+
post: string;
|
|
72
|
+
}
|
|
73
|
+
//# sourceMappingURL=SelectionRules.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"SelectionRules.d.ts","sourceRoot":"","sources":["../../../src/types/SelectionRules.ts"],"names":[],"mappings":"AAqDA,mDAAmD;AACnD,MAAM,WAAW,uBAAuB;IACtC;wBACoB;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,8CAA8C;IAC9C,EAAE,EAAE,MAAM,EAAE,CAAC;IACb,6CAA6C;IAC7C,MAAM,EAAE,MAAM,CAAC;IACf,+CAA+C;IAC/C,OAAO,EAAE,OAAO,GAAG,IAAI,CAAC;CACzB;AAED,4CAA4C;AAC5C,MAAM,WAAW,iBAAiB;IAChC;kEAC8D;IAC9D,QAAQ,EAAE,MAAM,CAAC;IACjB,0DAA0D;IAC1D,kBAAkB,EAAE,MAAM,CAAC;IAC3B,+DAA+D;IAC/D,wBAAwB,EAAE,MAAM,CAAC;IACjC,6DAA6D;IAC7D,UAAU,EAAE,MAAM,CAAC;IACnB,kEAAkE;IAClE,mBAAmB,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,qBAAqB;IACpC,EAAE,EAAE,MAAM,CAAC;IACX,+DAA+D;IAC/D,MAAM,EAAE,MAAM,CAAC;IACf;qBACiB;IACjB,aAAa,EAAE,MAAM,CAAC;IACtB,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,uBAAuB,GAAG,IAAI,CAAC;IAC5C,KAAK,EAAE,iBAAiB,GAAG,IAAI,CAAC;CACjC;AAED,MAAM,WAAW,mBAAmB;IAClC;sCACkC;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,+DAA+D;IAC/D,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,4CAA4C;IAC5C,aAAa,EAAE,MAAM,CAAC;IACtB,iDAAiD;IACjD,QAAQ,EAAE,MAAM,CAAC;IACjB;iEAC6D;IAC7D,QAAQ,EAAE,MAAM,CAAC;IACjB;qBACiB;IACjB,YAAY,EAAE,OAAO,GAAG,IAAI,CAAC;IAC7B,mDAAmD;IACnD,eAAe,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACxC,mDAAmD;IACnD,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,sBAAsB;IACrC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,4CAA4C;IAC5C,aAAa,EAAE,MAAM,CAAC;IACtB,4DAA4D;IAC5D,UAAU,EAAE,MAAM,CAAC;IACnB,mDAAmD;IACnD,IAAI,EAAE,MAAM,CAAC;CACd"}
|
|
@@ -0,0 +1,55 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
// ─────────────────────────────────────────────────────────────────────
|
|
3
|
+
// The selection rules (smart TODO.roadmap/40 batch 3; the
|
|
4
|
+
// packages-as-SSOT epic) — three constructs, one file (the
|
|
5
|
+
// schemeType.ts two-construct precedent): the laboratory-selection
|
|
6
|
+
// criteria (model parameter value → required lab capability), the
|
|
7
|
+
// sample-selection rules (the Recommendation's specimen-selection
|
|
8
|
+
// procedure), and the specimen-governance rules (the documentary
|
|
9
|
+
// cross-run invariants):
|
|
10
|
+
//
|
|
11
|
+
// lab_selection_criterion humidity-testing {
|
|
12
|
+
// weight required # required|preferred (parse-enforced)
|
|
13
|
+
// parameter_type dimension # dimension|parameter|operational (parse-enforced, optional)
|
|
14
|
+
// label "Humidity testing capability"
|
|
15
|
+
// description "…"
|
|
16
|
+
// applies_when { model_field humidity_symbol in { CH SH } } # or: equals <v> | not_null true
|
|
17
|
+
// match {
|
|
18
|
+
// operator has_capability # 5 operators, parse-enforced (the closed engine vocabulary)
|
|
19
|
+
// required_capability "humidity-testing"
|
|
20
|
+
// }
|
|
21
|
+
// }
|
|
22
|
+
//
|
|
23
|
+
// sample_selection_rule D.2.6-partial-evaluation-flags {
|
|
24
|
+
// step "D.2.6" # quoted — heterogeneous free strings
|
|
25
|
+
// rule "…"
|
|
26
|
+
// rationale "R 60-2 §2.4.6"
|
|
27
|
+
// applicability "selected.length > 0" # prose predicate — never resolved
|
|
28
|
+
// selector "WHERE same_e_max(…) …" # pseudo-code — never resolved
|
|
29
|
+
// test_kind partial_evaluation # 5 kinds, parse-enforced
|
|
30
|
+
// single_sample true
|
|
31
|
+
// additional_tests { temperature_mdlo "…" creep_dr "…" }
|
|
32
|
+
// }
|
|
33
|
+
//
|
|
34
|
+
// specimen_governance_rule unit-continuity {
|
|
35
|
+
// rule "…"
|
|
36
|
+
// rationale "R 60-2, 2.4"
|
|
37
|
+
// applicability "always"
|
|
38
|
+
// constraint "test_runs.group_by(test_kind).all { |g| … }" # OCL-ish, documentary
|
|
39
|
+
// post "Violations invalidate the affected runs …"
|
|
40
|
+
// }
|
|
41
|
+
//
|
|
42
|
+
// C139 selection-rule-references: the lab criterion's
|
|
43
|
+
// applies_when/match model_field resolve against the attribute and
|
|
44
|
+
// dimension registers (per-register gated); the operator-conditional
|
|
45
|
+
// required facets (has_capability ⇒ required_capability;
|
|
46
|
+
// capability_from_field / capability_covers_value ⇒
|
|
47
|
+
// required_capability_prefix + model_field; capability_prefix_match ⇒
|
|
48
|
+
// prefix + model_field; always_pass ⇒ nothing else); the capability
|
|
49
|
+
// strings are free-form lab-side labels — never resolved. The
|
|
50
|
+
// sample/governance entries carry shape legs only (rule / rationale /
|
|
51
|
+
// applicability non-empty); the design.specimens back-reference stays
|
|
52
|
+
// smart-side (R13).
|
|
53
|
+
// ─────────────────────────────────────────────────────────────────────
|
|
54
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
55
|
+
//# sourceMappingURL=SelectionRules.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"SelectionRules.js","sourceRoot":"","sources":["../../../src/types/SelectionRules.ts"],"names":[],"mappings":";AAAA,wEAAwE;AACxE,0DAA0D;AAC1D,2DAA2D;AAC3D,mEAAmE;AACnE,kEAAkE;AAClE,kEAAkE;AAClE,iEAAiE;AACjE,yBAAyB;AACzB,EAAE;AACF,+CAA+C;AAC/C,gFAAgF;AAChF,uGAAuG;AACvG,0CAA0C;AAC1C,sBAAsB;AACtB,mGAAmG;AACnG,cAAc;AACd,uGAAuG;AACvG,+CAA+C;AAC/C,QAAQ;AACR,MAAM;AACN,EAAE;AACF,2DAA2D;AAC3D,gFAAgF;AAChF,eAAe;AACf,gCAAgC;AAChC,6EAA6E;AAC7E,0EAA0E;AAC1E,oEAAoE;AACpE,yBAAyB;AACzB,6DAA6D;AAC7D,MAAM;AACN,EAAE;AACF,+CAA+C;AAC/C,eAAe;AACf,8BAA8B;AAC9B,6BAA6B;AAC7B,uFAAuF;AACvF,uDAAuD;AACvD,MAAM;AACN,EAAE;AACF,sDAAsD;AACtD,mEAAmE;AACnE,qEAAqE;AACrE,yDAAyD;AACzD,oDAAoD;AACpD,sEAAsE;AACtE,oEAAoE;AACpE,8DAA8D;AAC9D,sEAAsE;AACtE,sEAAsE;AACtE,oBAAoB;AACpB,wEAAwE"}
|
|
@@ -23,6 +23,18 @@ import type Role from './Role';
|
|
|
23
23
|
import type StateMachine from './StateMachine';
|
|
24
24
|
import type { AttributeDefinition, Behavior, Capability, ClassificationDimension, ConditionSet, Instrument, Subject } from './Subject';
|
|
25
25
|
import type { ArtifactDefinition, ArtifactInstance } from './Artifact';
|
|
26
|
+
import type IdentitySlot from './IdentitySlot';
|
|
27
|
+
import type Aspect from './Aspect';
|
|
28
|
+
import type PromiseSet from './PromiseSet';
|
|
29
|
+
import type ApplicationDeclaration from './ApplicationDeclaration';
|
|
30
|
+
import type CalculationContext from './CalculationContext';
|
|
31
|
+
import type EvaluationDimensions from './EvaluationDimension';
|
|
32
|
+
import type EvaluationProfile from './EvaluationProfile';
|
|
33
|
+
import type CertificateTemplate from './CertificateTemplate';
|
|
34
|
+
import type WorkflowConfig from './WorkflowConfig';
|
|
35
|
+
import type VerificationPathway from './VerificationPathway';
|
|
36
|
+
import type { LabSelectionCriterion, SampleSelectionRule, SpecimenGovernanceRule } from './SelectionRules';
|
|
37
|
+
import type { TestReportChecklist, TestReportSkeleton } from './TestReport';
|
|
26
38
|
import type { ConnectorProfile } from './Twin';
|
|
27
39
|
import type { Monitor } from './Monitor';
|
|
28
40
|
import type { Passport } from './Passport';
|
|
@@ -41,6 +53,9 @@ import type { AutoInclusion, DocumentPrecedence } from './FrameworkDocument';
|
|
|
41
53
|
import type DecisionRule from './DecisionRule';
|
|
42
54
|
import type DocumentModule from './DocumentModule';
|
|
43
55
|
import type InformativeAnnex from './InformativeAnnex';
|
|
56
|
+
import type PartAnnex from './PartAnnex';
|
|
57
|
+
import type Storyline from './Storyline';
|
|
58
|
+
import type { DemoWorld } from './Storyline';
|
|
44
59
|
import type { Instance } from './Instance';
|
|
45
60
|
import type { Dual, QuantityRegister } from './Quantity';
|
|
46
61
|
import type Dataspace from './Dataspace';
|
|
@@ -51,9 +66,11 @@ import type { ConformanceClass } from './ConformanceClass';
|
|
|
51
66
|
import type { PackageManifest } from './Package';
|
|
52
67
|
import type Subform from './Subform';
|
|
53
68
|
import type Symbol from './Symbol';
|
|
69
|
+
import type { FormulaNote } from './Symbol';
|
|
54
70
|
import type Table from './Table';
|
|
55
71
|
import type Term from './Term';
|
|
56
72
|
import type TestPointSet from './TestPointSet';
|
|
73
|
+
import type CommonTestCondition from './CommonTestCondition';
|
|
57
74
|
import type TextContent from './Text';
|
|
58
75
|
import type Verdict from './Verdict';
|
|
59
76
|
import type ViewProfile from './ViewProfile';
|
|
@@ -88,6 +105,9 @@ export default interface Standard {
|
|
|
88
105
|
forms: Form[];
|
|
89
106
|
subforms: Subform[];
|
|
90
107
|
symbols: Symbol[];
|
|
108
|
+
/** The symbol-annotation register (smart TODO.roadmap/40 batch 4) —
|
|
109
|
+
* one note text applying to many symbols. */
|
|
110
|
+
formulaNotes: FormulaNote[];
|
|
91
111
|
calculations: Calculation[];
|
|
92
112
|
/** Canonical verdict quantities (derive once, reference everywhere). */
|
|
93
113
|
verdicts: Verdict[];
|
|
@@ -95,6 +115,9 @@ export default interface Standard {
|
|
|
95
115
|
referenceMaterials: ReferenceMaterial[];
|
|
96
116
|
/** Named shared test-point sets referenced by conformance tests. */
|
|
97
117
|
testPointSets: TestPointSet[];
|
|
118
|
+
/** The model-wide common test-conditions register (smart
|
|
119
|
+
* TODO.roadmap/40 batch 4) — one entry per condition. */
|
|
120
|
+
commonTestConditions: CommonTestCondition[];
|
|
98
121
|
/** Laboratory testing-competence kind registry (TODO.roadmap/48) — the
|
|
99
122
|
* vocabulary of conformance-test required_competence and laboratory
|
|
100
123
|
* accreditation_scope entries. */
|
|
@@ -128,6 +151,47 @@ export default interface Standard {
|
|
|
128
151
|
behaviors: Behavior[];
|
|
129
152
|
conditionSets: ConditionSet[];
|
|
130
153
|
subjects: Subject[];
|
|
154
|
+
identitySlots: IdentitySlot[];
|
|
155
|
+
aspects: Aspect[];
|
|
156
|
+
/** The rec promise registers (smart TODO.roadmap/40 batch 3) — the
|
|
157
|
+
* file-grade home of the subject-promise sub-grammar (the set id
|
|
158
|
+
* binds the owning subject); a subject's is.promises cannot span
|
|
159
|
+
* files, so the rec registers get their own construct. */
|
|
160
|
+
promiseSets: PromiseSet[];
|
|
161
|
+
/** The applicant-facing documentation register (smart TODO.roadmap/40
|
|
162
|
+
* batch 3) — singleton per rec; NOT the Batch-1 CS participant-
|
|
163
|
+
* declaration machinery. */
|
|
164
|
+
applicationDeclarations: ApplicationDeclaration[];
|
|
165
|
+
/** The evaluation-side wiring + classification cluster (smart
|
|
166
|
+
* TODO.roadmap/40 batch 3): the calculation context (variable →
|
|
167
|
+
* subject-chain source), the form-facing classification field
|
|
168
|
+
* schema, and the named dimension-value presets. */
|
|
169
|
+
calculationContexts: CalculationContext[];
|
|
170
|
+
evaluationDimensions: EvaluationDimensions[];
|
|
171
|
+
evaluationProfiles: EvaluationProfile[];
|
|
172
|
+
/** The certificate rendering contract (smart TODO.roadmap/40 batch 3)
|
|
173
|
+
* — singleton per package; the number format, the dimension-label
|
|
174
|
+
* pattern, the explicit characteristic rows, the ANR section. */
|
|
175
|
+
certificateTemplates: CertificateTemplate[];
|
|
176
|
+
/** The certification workflow step registers (smart TODO.roadmap/40
|
|
177
|
+
* batch 3): the core layer carries the OIML-CS skeleton, the rec
|
|
178
|
+
* packages overlay it (the B3.1 deep merge). */
|
|
179
|
+
workflowConfigs: WorkflowConfig[];
|
|
180
|
+
/** The verification pathways beyond type evaluation (smart
|
|
181
|
+
* TODO.roadmap/40 batch 3) — VIML 2.09/2.12–2.14. */
|
|
182
|
+
verificationPathways: VerificationPathway[];
|
|
183
|
+
/** The selection rules (smart TODO.roadmap/40 batch 3): the
|
|
184
|
+
* laboratory-selection criteria, the sample-selection rules, and
|
|
185
|
+
* the specimen-governance rules. */
|
|
186
|
+
labSelectionCriteria: LabSelectionCriterion[];
|
|
187
|
+
sampleSelectionRules: SampleSelectionRule[];
|
|
188
|
+
specimenGovernanceRules: SpecimenGovernanceRule[];
|
|
189
|
+
/** The test-report skeletons + the OIML-CS checklist (smart
|
|
190
|
+
* TODO.roadmap/40 batch 3): the rec's evaluation-report structure,
|
|
191
|
+
* and PD-05 §4.4.3's required-content register with the rec-overlay
|
|
192
|
+
* composition points. */
|
|
193
|
+
testReportSkeletons: TestReportSkeleton[];
|
|
194
|
+
testReportChecklists: TestReportChecklist[];
|
|
131
195
|
instances: Instance[];
|
|
132
196
|
artifactDefinitions: ArtifactDefinition[];
|
|
133
197
|
artifactInstances: ArtifactInstance[];
|
|
@@ -147,6 +211,15 @@ export default interface Standard {
|
|
|
147
211
|
decisionRules: DecisionRule[];
|
|
148
212
|
documentModules: DocumentModule[];
|
|
149
213
|
informativeAnnexes: InformativeAnnex[];
|
|
214
|
+
/** The rec's own annex-volume index (smart TODO.roadmap/40 batch 4) —
|
|
215
|
+
* a verdict-neutral documentary register (the normative/informative
|
|
216
|
+
* mark is the point); NOT the external-guidance informative_annex. */
|
|
217
|
+
partAnnexes: PartAnnex[];
|
|
218
|
+
/** The demo seeds (smart TODO.roadmap/40 batch 4) — one demo_world per
|
|
219
|
+
* package (the participant registry) and one storyline per flow;
|
|
220
|
+
* documentary records (field-level checking stays app-side). */
|
|
221
|
+
demoWorlds: DemoWorld[];
|
|
222
|
+
storylines: Storyline[];
|
|
150
223
|
connectorProfiles: ConnectorProfile[];
|
|
151
224
|
monitors: Monitor[];
|
|
152
225
|
passports: Passport[];
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"Standard.d.ts","sourceRoot":"","sources":["../../../src/types/Standard.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,QAAQ,MAAM,YAAY,CAAC;AACvC,OAAO,KAAK,WAAW,MAAM,eAAe,CAAC;AAC7C,OAAO,KAAK,OAAO,MAAM,WAAW,CAAC;AACrC,OAAO,KAAK,cAAc,MAAM,kBAAkB,CAAC;AACnD,OAAO,KAAK,eAAe,MAAM,mBAAmB,CAAC;AACrD,OAAO,KAAK,UAAU,MAAM,cAAc,CAAC;AAC3C,OAAO,KAAK,iBAAiB,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAC;AAClE,OAAO,SAAS,MAAM,UAAU,CAAC;AACjC,OAAO,KAAK,MAAM,MAAM,UAAU,CAAC;AACnC,OAAO,KAAK,IAAI,MAAM,QAAQ,CAAC;AAC/B,OAAO,KAAK,OAAO,MAAM,WAAW,CAAC;AACrC,OAAO,KAAK,IAAI,MAAM,QAAQ,CAAC;AAC/B,OAAO,KAAK,UAAU,MAAM,cAAc,CAAC;AAC3C,OAAO,KAAK,QAAQ,MAAM,YAAY,CAAC;AACvC,OAAO,KAAK,IAAI,MAAM,QAAQ,CAAC;AAC/B,OAAO,KAAK,OAAO,MAAM,WAAW,CAAC;AACrC,OAAO,KAAK,YAAY,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AACzC,OAAO,KAAK,SAAS,MAAM,aAAa,CAAC;AACzC,OAAO,KAAK,SAAS,MAAM,aAAa,CAAC;AACzC,OAAO,KAAK,IAAI,MAAM,QAAQ,CAAC;AAC/B,OAAO,KAAK,YAAY,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EACV,mBAAmB,EACnB,QAAQ,EACR,UAAU,EACV,uBAAuB,EACvB,YAAY,EACZ,UAAU,EACV,OAAO,EACR,MAAM,WAAW,CAAC;AACnB,OAAO,KAAK,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AACvE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,QAAQ,CAAC;AAC/C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,KAAK,iBAAiB,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,eAAe,MAAM,mBAAmB,CAAC;AACrD,OAAO,KAAK,eAAe,MAAM,mBAAmB,CAAC;AACrD,OAAO,KAAK,eAAe,MAAM,eAAe,CAAC;AACjD,OAAO,KAAK,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AACxE,OAAO,KAAK,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,UAAU,CAAC;AAClE,OAAO,UAAU,EAAE,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAC9D,OAAO,KAAK,iBAAiB,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAC7E,OAAO,KAAK,YAAY,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,cAAc,MAAM,kBAAkB,CAAC;AACnD,OAAO,KAAK,gBAAgB,MAAM,oBAAoB,CAAC;AACvD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,KAAK,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AACzD,OAAO,KAAK,SAAS,MAAM,aAAa,CAAC;AACzC,OAAO,KAAK,MAAM,MAAM,UAAU,CAAC;AACnC,OAAO,KAAK,iBAAiB,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACnE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAC3D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,WAAW,CAAC;AACjD,OAAO,KAAK,OAAO,MAAM,WAAW,CAAC;AACrC,OAAO,KAAK,MAAM,MAAM,UAAU,CAAC;AACnC,OAAO,KAAK,KAAK,MAAM,SAAS,CAAC;AACjC,OAAO,KAAK,IAAI,MAAM,QAAQ,CAAC;AAC/B,OAAO,KAAK,YAAY,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,WAAW,MAAM,QAAQ,CAAC;AACtC,OAAO,KAAK,OAAO,MAAM,WAAW,CAAC;AACrC,OAAO,KAAK,WAAW,MAAM,eAAe,CAAC;AAE7C,MAAM,CAAC,OAAO,WAAW,QAAQ;IAC/B,IAAI,EAAE,QAAQ,CAAC;IACf,8EAA8E;IAC9E,eAAe,CAAC,EAAE,eAAe,GAAG,IAAI,CAAC;IAEzC,KAAK,EAAE,IAAI,EAAE,CAAC;IACd,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,KAAK,EAAE,UAAU,EAAE,CAAC;IACpB,SAAS,EAAE,OAAO,EAAE,CAAC;IACrB;;+BAE2B;IAC3B,aAAa,EAAE,YAAY,EAAE,CAAC;IAC9B,WAAW,EAAE,SAAS,EAAE,CAAC;IACzB,IAAI,EAAE,QAAQ,EAAE,CAAC;IACjB,MAAM,EAAE,SAAS,EAAE,CAAC;IACpB,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,SAAS,EAAE,QAAQ,EAAE,CAAC;IACtB,KAAK,EAAE,IAAI,EAAE,CAAC;IACd,SAAS,EAAE,QAAQ,EAAE,CAAC;IAGtB,KAAK,EAAE,IAAI,EAAE,CAAC;IACd,MAAM,EAAE,KAAK,EAAE,CAAC;IAChB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,KAAK,EAAE,IAAI,EAAE,CAAC;IACd,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,YAAY,EAAE,WAAW,EAAE,CAAC;IAI5B,QAAQ,EAAE,OAAO,EAAE,CAAC;IAGpB,KAAK,EAAE,IAAI,EAAE,CAAC;IACd,KAAK,EAAE,IAAI,EAAE,CAAC;IACd,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,YAAY,EAAE,WAAW,EAAE,CAAC;IAC5B,wEAAwE;IACxE,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,sEAAsE;IACtE,kBAAkB,EAAE,iBAAiB,EAAE,CAAC;IACxC,oEAAoE;IACpE,aAAa,EAAE,YAAY,EAAE,CAAC;IAC9B;;uCAEmC;IACnC,eAAe,EAAE,cAAc,EAAE,CAAC;IAClC;;;oEAGgE;IAChE,mBAAmB,EAAE,kBAAkB,EAAE,CAAC;IAC1C,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B;6DACyD;IACzD,UAAU,EAAE,OAAO,gBAAgB,EAAE,YAAY,EAAE,CAAC;IACpD;;wEAEoE;IACpE,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B;;;kDAG8C;IAC9C,kBAAkB,EAAE,iBAAiB,EAAE,CAAC;IACxC,aAAa,EAAE,YAAY,EAAE,CAAC;IAC9B,gBAAgB,EAAE,eAAe,EAAE,CAAC;IACpC,kBAAkB,EAAE,gBAAgB,EAAE,CAAC;IAGvC,YAAY,EAAE,WAAW,EAAE,CAAC;IAC5B,kBAAkB,EAAE,gBAAgB,EAAE,CAAC;IAGvC,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,oBAAoB,EAAE,mBAAmB,EAAE,CAAC;IAC5C,YAAY,EAAE,UAAU,EAAE,CAAC;IAC3B,SAAS,EAAE,QAAQ,EAAE,CAAC;IACtB,aAAa,EAAE,YAAY,EAAE,CAAC;IAG9B,QAAQ,EAAE,OAAO,EAAE,CAAC;
|
|
1
|
+
{"version":3,"file":"Standard.d.ts","sourceRoot":"","sources":["../../../src/types/Standard.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,QAAQ,MAAM,YAAY,CAAC;AACvC,OAAO,KAAK,WAAW,MAAM,eAAe,CAAC;AAC7C,OAAO,KAAK,OAAO,MAAM,WAAW,CAAC;AACrC,OAAO,KAAK,cAAc,MAAM,kBAAkB,CAAC;AACnD,OAAO,KAAK,eAAe,MAAM,mBAAmB,CAAC;AACrD,OAAO,KAAK,UAAU,MAAM,cAAc,CAAC;AAC3C,OAAO,KAAK,iBAAiB,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAC;AAClE,OAAO,SAAS,MAAM,UAAU,CAAC;AACjC,OAAO,KAAK,MAAM,MAAM,UAAU,CAAC;AACnC,OAAO,KAAK,IAAI,MAAM,QAAQ,CAAC;AAC/B,OAAO,KAAK,OAAO,MAAM,WAAW,CAAC;AACrC,OAAO,KAAK,IAAI,MAAM,QAAQ,CAAC;AAC/B,OAAO,KAAK,UAAU,MAAM,cAAc,CAAC;AAC3C,OAAO,KAAK,QAAQ,MAAM,YAAY,CAAC;AACvC,OAAO,KAAK,IAAI,MAAM,QAAQ,CAAC;AAC/B,OAAO,KAAK,OAAO,MAAM,WAAW,CAAC;AACrC,OAAO,KAAK,YAAY,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AACzC,OAAO,KAAK,SAAS,MAAM,aAAa,CAAC;AACzC,OAAO,KAAK,SAAS,MAAM,aAAa,CAAC;AACzC,OAAO,KAAK,IAAI,MAAM,QAAQ,CAAC;AAC/B,OAAO,KAAK,YAAY,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,EACV,mBAAmB,EACnB,QAAQ,EACR,UAAU,EACV,uBAAuB,EACvB,YAAY,EACZ,UAAU,EACV,OAAO,EACR,MAAM,WAAW,CAAC;AACnB,OAAO,KAAK,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AACvE,OAAO,KAAK,YAAY,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,MAAM,MAAM,UAAU,CAAC;AACnC,OAAO,KAAK,UAAU,MAAM,cAAc,CAAC;AAC3C,OAAO,KAAK,sBAAsB,MAAM,0BAA0B,CAAC;AACnE,OAAO,KAAK,kBAAkB,MAAM,sBAAsB,CAAC;AAC3D,OAAO,KAAK,oBAAoB,MAAM,uBAAuB,CAAC;AAC9D,OAAO,KAAK,iBAAiB,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,mBAAmB,MAAM,uBAAuB,CAAC;AAC7D,OAAO,KAAK,cAAc,MAAM,kBAAkB,CAAC;AACnD,OAAO,KAAK,mBAAmB,MAAM,uBAAuB,CAAC;AAC7D,OAAO,KAAK,EACV,qBAAqB,EACrB,mBAAmB,EACnB,sBAAsB,EACvB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAC5E,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,QAAQ,CAAC;AAC/C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,KAAK,iBAAiB,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,eAAe,MAAM,mBAAmB,CAAC;AACrD,OAAO,KAAK,eAAe,MAAM,mBAAmB,CAAC;AACrD,OAAO,KAAK,eAAe,MAAM,eAAe,CAAC;AACjD,OAAO,KAAK,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AACxE,OAAO,KAAK,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,UAAU,CAAC;AAClE,OAAO,UAAU,EAAE,EAAE,kBAAkB,EAAE,MAAM,cAAc,CAAC;AAC9D,OAAO,KAAK,iBAAiB,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAC7E,OAAO,KAAK,YAAY,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,cAAc,MAAM,kBAAkB,CAAC;AACnD,OAAO,KAAK,gBAAgB,MAAM,oBAAoB,CAAC;AACvD,OAAO,KAAK,SAAS,MAAM,aAAa,CAAC;AACzC,OAAO,KAAK,SAAS,MAAM,aAAa,CAAC;AACzC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,KAAK,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AACzD,OAAO,KAAK,SAAS,MAAM,aAAa,CAAC;AACzC,OAAO,KAAK,MAAM,MAAM,UAAU,CAAC;AACnC,OAAO,KAAK,iBAAiB,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACnE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAC3D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,WAAW,CAAC;AACjD,OAAO,KAAK,OAAO,MAAM,WAAW,CAAC;AACrC,OAAO,KAAK,MAAM,MAAM,UAAU,CAAC;AACnC,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AAC5C,OAAO,KAAK,KAAK,MAAM,SAAS,CAAC;AACjC,OAAO,KAAK,IAAI,MAAM,QAAQ,CAAC;AAC/B,OAAO,KAAK,YAAY,MAAM,gBAAgB,CAAC;AAC/C,OAAO,KAAK,mBAAmB,MAAM,uBAAuB,CAAC;AAC7D,OAAO,KAAK,WAAW,MAAM,QAAQ,CAAC;AACtC,OAAO,KAAK,OAAO,MAAM,WAAW,CAAC;AACrC,OAAO,KAAK,WAAW,MAAM,eAAe,CAAC;AAE7C,MAAM,CAAC,OAAO,WAAW,QAAQ;IAC/B,IAAI,EAAE,QAAQ,CAAC;IACf,8EAA8E;IAC9E,eAAe,CAAC,EAAE,eAAe,GAAG,IAAI,CAAC;IAEzC,KAAK,EAAE,IAAI,EAAE,CAAC;IACd,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,KAAK,EAAE,UAAU,EAAE,CAAC;IACpB,SAAS,EAAE,OAAO,EAAE,CAAC;IACrB;;+BAE2B;IAC3B,aAAa,EAAE,YAAY,EAAE,CAAC;IAC9B,WAAW,EAAE,SAAS,EAAE,CAAC;IACzB,IAAI,EAAE,QAAQ,EAAE,CAAC;IACjB,MAAM,EAAE,SAAS,EAAE,CAAC;IACpB,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,SAAS,EAAE,QAAQ,EAAE,CAAC;IACtB,KAAK,EAAE,IAAI,EAAE,CAAC;IACd,SAAS,EAAE,QAAQ,EAAE,CAAC;IAGtB,KAAK,EAAE,IAAI,EAAE,CAAC;IACd,MAAM,EAAE,KAAK,EAAE,CAAC;IAChB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,KAAK,EAAE,IAAI,EAAE,CAAC;IACd,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,YAAY,EAAE,WAAW,EAAE,CAAC;IAI5B,QAAQ,EAAE,OAAO,EAAE,CAAC;IAGpB,KAAK,EAAE,IAAI,EAAE,CAAC;IACd,KAAK,EAAE,IAAI,EAAE,CAAC;IACd,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB;kDAC8C;IAC9C,YAAY,EAAE,WAAW,EAAE,CAAC;IAC5B,YAAY,EAAE,WAAW,EAAE,CAAC;IAC5B,wEAAwE;IACxE,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,sEAAsE;IACtE,kBAAkB,EAAE,iBAAiB,EAAE,CAAC;IACxC,oEAAoE;IACpE,aAAa,EAAE,YAAY,EAAE,CAAC;IAC9B;8DAC0D;IAC1D,oBAAoB,EAAE,mBAAmB,EAAE,CAAC;IAC5C;;uCAEmC;IACnC,eAAe,EAAE,cAAc,EAAE,CAAC;IAClC;;;oEAGgE;IAChE,mBAAmB,EAAE,kBAAkB,EAAE,CAAC;IAC1C,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B;6DACyD;IACzD,UAAU,EAAE,OAAO,gBAAgB,EAAE,YAAY,EAAE,CAAC;IACpD;;wEAEoE;IACpE,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B;;;kDAG8C;IAC9C,kBAAkB,EAAE,iBAAiB,EAAE,CAAC;IACxC,aAAa,EAAE,YAAY,EAAE,CAAC;IAC9B,gBAAgB,EAAE,eAAe,EAAE,CAAC;IACpC,kBAAkB,EAAE,gBAAgB,EAAE,CAAC;IAGvC,YAAY,EAAE,WAAW,EAAE,CAAC;IAC5B,kBAAkB,EAAE,gBAAgB,EAAE,CAAC;IAGvC,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,oBAAoB,EAAE,mBAAmB,EAAE,CAAC;IAC5C,YAAY,EAAE,UAAU,EAAE,CAAC;IAC3B,SAAS,EAAE,QAAQ,EAAE,CAAC;IACtB,aAAa,EAAE,YAAY,EAAE,CAAC;IAG9B,QAAQ,EAAE,OAAO,EAAE,CAAC;IAMpB,aAAa,EAAE,YAAY,EAAE,CAAC;IAC9B,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB;;;+DAG2D;IAC3D,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B;;iCAE6B;IAC7B,uBAAuB,EAAE,sBAAsB,EAAE,CAAC;IAClD;;;yDAGqD;IACrD,mBAAmB,EAAE,kBAAkB,EAAE,CAAC;IAC1C,oBAAoB,EAAE,oBAAoB,EAAE,CAAC;IAC7C,kBAAkB,EAAE,iBAAiB,EAAE,CAAC;IACxC;;sEAEkE;IAClE,oBAAoB,EAAE,mBAAmB,EAAE,CAAC;IAC5C;;qDAEiD;IACjD,eAAe,EAAE,cAAc,EAAE,CAAC;IAClC;0DACsD;IACtD,oBAAoB,EAAE,mBAAmB,EAAE,CAAC;IAC5C;;yCAEqC;IACrC,oBAAoB,EAAE,qBAAqB,EAAE,CAAC;IAC9C,oBAAoB,EAAE,mBAAmB,EAAE,CAAC;IAC5C,uBAAuB,EAAE,sBAAsB,EAAE,CAAC;IAClD;;;8BAG0B;IAC1B,mBAAmB,EAAE,kBAAkB,EAAE,CAAC;IAC1C,oBAAoB,EAAE,mBAAmB,EAAE,CAAC;IAK5C,SAAS,EAAE,QAAQ,EAAE,CAAC;IAKtB,mBAAmB,EAAE,kBAAkB,EAAE,CAAC;IAC1C,iBAAiB,EAAE,gBAAgB,EAAE,CAAC;IAItC,iBAAiB,EAAE,gBAAgB,EAAE,CAAC;IACtC,KAAK,EAAE,IAAI,EAAE,CAAC;IAKd,kBAAkB,EAAE,iBAAiB,EAAE,CAAC;IAMxC,gBAAgB,EAAE,eAAe,EAAE,CAAC;IACpC,gBAAgB,EAAE,eAAe,EAAE,CAAC;IAKpC,gBAAgB,EAAE,eAAe,EAAE,CAAC;IACpC,mBAAmB,EAAE,iBAAiB,EAAE,CAAC;IACzC,gBAAgB,EAAE,eAAe,EAAE,CAAC;IAKpC,iBAAiB,EAAE,gBAAgB,EAAE,CAAC;IACtC,gBAAgB,EAAE,eAAe,EAAE,CAAC;IAKpC,kBAAkB,EAAE,iBAAiB,EAAE,CAAC;IACxC,mBAAmB,EAAE,kBAAkB,EAAE,CAAC;IAC1C,cAAc,EAAE,aAAa,EAAE,CAAC;IAKhC,aAAa,EAAE,YAAY,EAAE,CAAC;IAQ9B,eAAe,EAAE,cAAc,EAAE,CAAC;IAClC,kBAAkB,EAAE,gBAAgB,EAAE,CAAC;IACvC;;2EAEuE;IACvE,WAAW,EAAE,SAAS,EAAE,CAAC;IACzB;;qEAEiE;IACjE,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,UAAU,EAAE,SAAS,EAAE,CAAC;IAMxB,iBAAiB,EAAE,gBAAgB,EAAE,CAAC;IAKtC,QAAQ,EAAE,OAAO,EAAE,CAAC;IAMpB,SAAS,EAAE,QAAQ,EAAE,CAAC;IAMtB,UAAU,EAAE,SAAS,EAAE,CAAC;IAQxB,aAAa,EAAE,YAAY,EAAE,CAAC;IAQ9B,YAAY,EAAE,YAAY,EAAE,CAAC;IAM7B,KAAK,EAAE,WAAW,EAAE,CAAC;IAMrB,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,QAAQ,EAAE,MAAM,EAAE,CAAC;IAOnB,UAAU,EAAE,uBAAuB,EAAE,CAAC;IAEtC,IAAI,EAAE,UAAU,GAAG,IAAI,CAAC;CACzB"}
|
|
@@ -0,0 +1,62 @@
|
|
|
1
|
+
/** A demo-record scalar (the quantity.ts dumpScalarToken conventions:
|
|
2
|
+
* numbers bare, whitespace/brace-carrying strings quoted). */
|
|
3
|
+
export type RecordScalar = string | number;
|
|
4
|
+
/** A demo-record field value: a scalar or a braced list of scalars. */
|
|
5
|
+
export type RecordValue = RecordScalar | RecordScalar[];
|
|
6
|
+
/** One record-shaped entry of a demo_world participants section. */
|
|
7
|
+
export interface ParticipantsEntry {
|
|
8
|
+
id: string;
|
|
9
|
+
/** The field map, in authored order. */
|
|
10
|
+
fields: Record<string, RecordValue>;
|
|
11
|
+
}
|
|
12
|
+
/** One OPEN participants section (operated_schemes, organizations, … —
|
|
13
|
+
* the section names are program content, not grammar). */
|
|
14
|
+
export interface ParticipantsSection {
|
|
15
|
+
id: string;
|
|
16
|
+
entries: ParticipantsEntry[];
|
|
17
|
+
}
|
|
18
|
+
/** demo_world <id> — one per package: the file-level metadata and the
|
|
19
|
+
* participant registry the storylines' parties resolve against. */
|
|
20
|
+
export interface DemoWorld {
|
|
21
|
+
id: string;
|
|
22
|
+
/** The package id this world seeds ('' = undeclared). */
|
|
23
|
+
standard: string;
|
|
24
|
+
description: string;
|
|
25
|
+
participants: ParticipantsSection[];
|
|
26
|
+
}
|
|
27
|
+
/** The storyline's party binding (the laboratory + authority pair). */
|
|
28
|
+
export interface StorylineParty {
|
|
29
|
+
laboratory: string;
|
|
30
|
+
authority: string;
|
|
31
|
+
}
|
|
32
|
+
/** One subject-plane entry (manufacturer / family / group / model /
|
|
33
|
+
* sample — the slot kinds are open, the same open-record doctrine as
|
|
34
|
+
* the participants sections). */
|
|
35
|
+
export interface StorylineSubjectEntry {
|
|
36
|
+
kind: string;
|
|
37
|
+
id: string;
|
|
38
|
+
fields: Record<string, RecordValue>;
|
|
39
|
+
}
|
|
40
|
+
/** One workflow record (application, test_request, test_report,
|
|
41
|
+
* evaluation, certificate, …) — `record <store> <id> { … }`. */
|
|
42
|
+
export interface StorylineRecord {
|
|
43
|
+
/** The record's store (entity-class store name; resolves at check
|
|
44
|
+
* time, C129 — per-register gated). */
|
|
45
|
+
store: string;
|
|
46
|
+
id: string;
|
|
47
|
+
fields: Record<string, RecordValue>;
|
|
48
|
+
}
|
|
49
|
+
/** storyline <id> — one per flow: the narrative spine plus the flat
|
|
50
|
+
* demo records. */
|
|
51
|
+
export default interface Storyline {
|
|
52
|
+
id: string;
|
|
53
|
+
name: string;
|
|
54
|
+
/** The id-minting prefix (^[a-z0-9-]+$ — C129). */
|
|
55
|
+
idPrefix: string;
|
|
56
|
+
party: StorylineParty;
|
|
57
|
+
subject: StorylineSubjectEntry[];
|
|
58
|
+
records: StorylineRecord[];
|
|
59
|
+
/** The per-flow provenance notes (repeatable). */
|
|
60
|
+
notes: string[];
|
|
61
|
+
}
|
|
62
|
+
//# sourceMappingURL=Storyline.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"Storyline.d.ts","sourceRoot":"","sources":["../../../src/types/Storyline.ts"],"names":[],"mappings":"AAiDA;+DAC+D;AAC/D,MAAM,MAAM,YAAY,GAAG,MAAM,GAAG,MAAM,CAAC;AAE3C,uEAAuE;AACvE,MAAM,MAAM,WAAW,GAAG,YAAY,GAAG,YAAY,EAAE,CAAC;AAExD,oEAAoE;AACpE,MAAM,WAAW,iBAAiB;IAChC,EAAE,EAAE,MAAM,CAAC;IACX,wCAAwC;IACxC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;CACrC;AAED;2DAC2D;AAC3D,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,iBAAiB,EAAE,CAAC;CAC9B;AAED;oEACoE;AACpE,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,yDAAyD;IACzD,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,mBAAmB,EAAE,CAAC;CACrC;AAED,uEAAuE;AACvE,MAAM,WAAW,cAAc;IAC7B,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED;;kCAEkC;AAClC,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;CACrC;AAED;iEACiE;AACjE,MAAM,WAAW,eAAe;IAC9B;4CACwC;IACxC,KAAK,EAAE,MAAM,CAAC;IACd,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;CACrC;AAED;oBACoB;AACpB,MAAM,CAAC,OAAO,WAAW,SAAS;IAChC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,mDAAmD;IACnD,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,cAAc,CAAC;IACtB,OAAO,EAAE,qBAAqB,EAAE,CAAC;IACjC,OAAO,EAAE,eAAe,EAAE,CAAC;IAC3B,kDAAkD;IAClD,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB"}
|
|
@@ -0,0 +1,51 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
// ─────────────────────────────────────────────────────────────────────
|
|
3
|
+
// The demo world and the storyline (smart TODO.roadmap/40 batch 4; the
|
|
4
|
+
// packages-as-SSOT epic) — the sample-data demo seeds as native
|
|
5
|
+
// constructs (today a verbatim codec-exclusion payload):
|
|
6
|
+
//
|
|
7
|
+
// demo_world r60_demo { # one per package — file-level
|
|
8
|
+
// standard oiml-r60 # metadata + the participant
|
|
9
|
+
// description "…" # registry
|
|
10
|
+
// participants {
|
|
11
|
+
// operated_schemes { # OPEN section blocks — the
|
|
12
|
+
// scheme-example { … } # grammar does NOT enumerate
|
|
13
|
+
// } # section names (they are
|
|
14
|
+
// organizations { … } # program-content)
|
|
15
|
+
// }
|
|
16
|
+
// }
|
|
17
|
+
//
|
|
18
|
+
// storyline ex1_acme_lc500 { # one per flow
|
|
19
|
+
// name "EX1/Example TL — ACME LC-500i"
|
|
20
|
+
// id_prefix sample-ex1
|
|
21
|
+
// party { laboratory lab_example authority ia_example }
|
|
22
|
+
// subject {
|
|
23
|
+
// manufacturer mfr-acme { company "ACME" city "…" }
|
|
24
|
+
// family fam-acme-lc500 { family_designation "LC-500i series" }
|
|
25
|
+
// model mod-acme-lc500-i { … }
|
|
26
|
+
// sample smp-ex1-1 { … }
|
|
27
|
+
// }
|
|
28
|
+
// record application app-ex1 { status SUBMITTED … }
|
|
29
|
+
// record test_request tr-ex1 { … }
|
|
30
|
+
// record test_report trep-ex1 { … }
|
|
31
|
+
// record evaluation eval-ex1 { … }
|
|
32
|
+
// record certificate cert-ex1 { … } # absent on uncertified flows
|
|
33
|
+
// note "…" # the per-flow provenance,
|
|
34
|
+
// # native at last (repeatable)
|
|
35
|
+
// }
|
|
36
|
+
//
|
|
37
|
+
// THE DELIBERATE NON-UNIFICATION (the dossier's hazard 6): storyline
|
|
38
|
+
// subjects are NOT expressed via the kernel `instance` construct —
|
|
39
|
+
// instance's C17/C18 scope/version-pin discipline (definition_versions,
|
|
40
|
+
// chain levels) is heavier than demo seeds carry, and the sample-data
|
|
41
|
+
// compiler consumes the flat manufacturer/family/model/sample records
|
|
42
|
+
// directly. Storyline records stay DOCUMENTARY: field-level checking
|
|
43
|
+
// (the schema's per-slot required discipline) is app-side — the kernel
|
|
44
|
+
// checks only the shape legs of C129.
|
|
45
|
+
//
|
|
46
|
+
// The legacy flow shapes (r129's legacyEvaluation/legacyTestReport)
|
|
47
|
+
// retire to sources/attic/ in Phase 3 — these constructs cover the
|
|
48
|
+
// modern flow shape only.
|
|
49
|
+
// ─────────────────────────────────────────────────────────────────────
|
|
50
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
51
|
+
//# sourceMappingURL=Storyline.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"Storyline.js","sourceRoot":"","sources":["../../../src/types/Storyline.ts"],"names":[],"mappings":";AAAA,wEAAwE;AACxE,uEAAuE;AACvE,gEAAgE;AAChE,yDAAyD;AACzD,EAAE;AACF,0EAA0E;AAC1E,wEAAwE;AACxE,sDAAsD;AACtD,qBAAqB;AACrB,uEAAuE;AACvE,wEAAwE;AACxE,qEAAqE;AACrE,8DAA8D;AAC9D,QAAQ;AACR,MAAM;AACN,EAAE;AACF,0DAA0D;AAC1D,2CAA2C;AAC3C,2BAA2B;AAC3B,4DAA4D;AAC5D,gBAAgB;AAChB,0DAA0D;AAC1D,sEAAsE;AACtE,qCAAqC;AACrC,+BAA+B;AAC/B,QAAQ;AACR,wDAAwD;AACxD,uCAAuC;AACvC,wCAAwC;AACxC,uCAAuC;AACvC,yEAAyE;AACzE,sEAAsE;AACtE,yEAAyE;AACzE,MAAM;AACN,EAAE;AACF,qEAAqE;AACrE,mEAAmE;AACnE,wEAAwE;AACxE,sEAAsE;AACtE,sEAAsE;AACtE,qEAAqE;AACrE,uEAAuE;AACvE,sCAAsC;AACtC,EAAE;AACF,oEAAoE;AACpE,mEAAmE;AACnE,0BAA0B;AAC1B,wEAAwE"}
|
|
@@ -190,6 +190,37 @@ export interface Instrument {
|
|
|
190
190
|
modelGroup: ModelGroupDef | null;
|
|
191
191
|
referenceIds: string[];
|
|
192
192
|
}
|
|
193
|
+
/**
|
|
194
|
+
* One declared component of a `pair_list` block (smart TODO.roadmap/40
|
|
195
|
+
* batch 4) — the key-domain entries an attribute's pair list quantifies
|
|
196
|
+
* over (e.g. the interfering components of R 144's
|
|
197
|
+
* `interfering_components`).
|
|
198
|
+
*/
|
|
199
|
+
export interface PairListComponent {
|
|
200
|
+
id: string;
|
|
201
|
+
/** The component's display name ('' = undeclared). */
|
|
202
|
+
name: string;
|
|
203
|
+
/** Clause-URN provenance (null = undeclared). */
|
|
204
|
+
source: SourceRef | null;
|
|
205
|
+
}
|
|
206
|
+
/**
|
|
207
|
+
* The `pair_list { … }` block of an attribute_definition whose
|
|
208
|
+
* value_type is pair-list (smart TODO.roadmap/40 batch 4): the key and
|
|
209
|
+
* value slots name the pair's two columns, the optional key_dimension
|
|
210
|
+
* names the applicability dimension whose values are the key domain
|
|
211
|
+
* (resolves at check time, C124 — per-register gated), and the
|
|
212
|
+
* component blocks declare the domain's entries.
|
|
213
|
+
*/
|
|
214
|
+
export interface PairListDecl {
|
|
215
|
+
/** The pair's key slot (an attribute-aspect id, e.g. component). */
|
|
216
|
+
key: string;
|
|
217
|
+
/** The pair's value slot (e.g. max_concentration). */
|
|
218
|
+
value: string;
|
|
219
|
+
/** The key-domain dimension id ('' = undeclared). */
|
|
220
|
+
keyDimension: string;
|
|
221
|
+
/** The declared key-domain entries. */
|
|
222
|
+
components: PairListComponent[];
|
|
223
|
+
}
|
|
193
224
|
/** attribute_definition <id> — define an attribute ONCE (INV-2). */
|
|
194
225
|
export interface AttributeDefinition {
|
|
195
226
|
id: string;
|
|
@@ -225,6 +256,8 @@ export interface AttributeDefinition {
|
|
|
225
256
|
/** The correspondence annotations (MN 114 v3.1, clause 19.4) — the
|
|
226
257
|
* generalization of this element's `irdi` facet to every scheme. */
|
|
227
258
|
correspondences?: import('./Correspondence').Correspondence[];
|
|
259
|
+
/** The pair-list block (value_type pair-list; null = absent). */
|
|
260
|
+
pairList?: PairListDecl | null;
|
|
228
261
|
}
|
|
229
262
|
/** capability <id> — mixin: what the instrument CAN do (OCP mechanism). */
|
|
230
263
|
export interface Capability {
|
|
@@ -338,12 +371,39 @@ export interface PromiseLevel {
|
|
|
338
371
|
/** kind=symbolic: the claimed symbolic level (e.g. an accuracy class). */
|
|
339
372
|
symbolic?: string;
|
|
340
373
|
}
|
|
374
|
+
/**
|
|
375
|
+
* The certificate print projection of a promise (smart TODO.roadmap/40
|
|
376
|
+
* batch 3; the packages-as-SSOT epic) — how the promise-as-verified
|
|
377
|
+
* prints on the certificate (doctrine ch. 15 §15.2). The row binds its
|
|
378
|
+
* content by XOR: `attribute` (one attribute_definition) | `attributes`
|
|
379
|
+
* (a list) | `dimension` (a classification dimension) | NONE (a
|
|
380
|
+
* statement row — text only). The `type` is the renderer's closed
|
|
381
|
+
* vocabulary (string | integer | number | quantity | statement) —
|
|
382
|
+
* check-time enforced (C131), kept parse-total against renderer growth.
|
|
383
|
+
*/
|
|
384
|
+
export interface PromiseCertificateProjection {
|
|
385
|
+
/** → attribute_definition (XOR with attributes/dimension; '' =
|
|
386
|
+
* undeclared). */
|
|
387
|
+
attribute: string;
|
|
388
|
+
/** → attribute_definitions, plural (XOR). */
|
|
389
|
+
attributes: string[];
|
|
390
|
+
/** → classification dimension (XOR; '' = undeclared). */
|
|
391
|
+
dimension: string;
|
|
392
|
+
/** string | integer | number | quantity | statement (C131, error). */
|
|
393
|
+
type: string;
|
|
394
|
+
/** The printed row's label (default spelling inline; alternates ride
|
|
395
|
+
* l10n `text` blocks — the term/form precedent). */
|
|
396
|
+
label: string;
|
|
397
|
+
/** mandatory | optional (parse-enforced; '' = undeclared). */
|
|
398
|
+
obligation: string;
|
|
399
|
+
}
|
|
341
400
|
/**
|
|
342
401
|
* is.promises entry (TODO.roadmap/08) — one manufacturer claim on a
|
|
343
402
|
* characteristic or a behavior (doctrine ch. 02 §2.3): possibly
|
|
344
403
|
* envelope-shaped, possibly conditional; the manufacturer binds itself and
|
|
345
404
|
* evaluation verifies. The certificate prints promises-as-verified
|
|
346
|
-
* (ch. 15 §15.2)
|
|
405
|
+
* (ch. 15 §15.2) — the `certificate` block is the print projection
|
|
406
|
+
* (smart TODO.roadmap/40 batch 3).
|
|
347
407
|
*
|
|
348
408
|
* A promise is NOT a declared attribute value: a claim stated as one bare
|
|
349
409
|
* parameter value ("t_min = −10 °C") stays an `origin: declared` attribute
|
|
@@ -376,6 +436,9 @@ export interface SubjectPromise {
|
|
|
376
436
|
verifiedBy: string[];
|
|
377
437
|
/** Clause provenance of the claim. */
|
|
378
438
|
source?: SourceRef | null;
|
|
439
|
+
/** The certificate print projection (smart TODO.roadmap/40 batch 3);
|
|
440
|
+
* null when the promise does not print. */
|
|
441
|
+
certificate?: PromiseCertificateProjection | null;
|
|
379
442
|
}
|
|
380
443
|
/** is { … } — identity/design aspects. */
|
|
381
444
|
export interface SubjectIs {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"Subject.d.ts","sourceRoot":"","sources":["../../../src/types/Subject.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAChD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,QAAQ,CAAC;AACjD,OAAO,KAAK,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,QAAQ,CAAC;AACrD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAErD,MAAM,WAAW,SAAS;IACxB,GAAG,EAAE,MAAM,CAAC;IACZ,MAAM,EAAE,MAAM,CAAC;IACf;;uDAEmD;IACnD,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,8EAA8E;AAC9E,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,+CAA+C;IAC/C,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,gCAAgC;IAChC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,SAAS,GAAG,IAAI,CAAC;CAC3B;AAED,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,sEAAsE;IACtE,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB;;;OAGG;IACH,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACzD;;;;;OAKG;IACH,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB;;;OAGG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,uBAAuB;IACtC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd;;;OAGG;IACH,WAAW,EAAE,MAAM,CAAC;IACpB;;;OAGG;IACH,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;IACzB,MAAM,EAAE,cAAc,EAAE,CAAC;IACzB;;;;;;OAMG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,sDAAsD;IACtD,IAAI,CAAC,EAAE,OAAO,OAAO,EAAE,GAAG,EAAE,CAAC;CAC9B;AAED,MAAM,WAAW,aAAa;IAC5B,UAAU,EAAE,MAAM,CAAC;IACnB,wBAAwB,EAAE,MAAM,EAAE,CAAC;IACnC,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,+DAA+D;IAC/D,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,gCAAgC;IAChC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,iCAAiC;IACjC,OAAO,CAAC,EAAE,SAAS,EAAE,CAAC;IACtB,iDAAiD;IACjD,eAAe,CAAC,EAAE,SAAS,EAAE,CAAC;CAC/B;AAED;;;;;;GAMG;AACH,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE;QACP,YAAY,EAAE,MAAM,CAAC;QACrB,oBAAoB,EAAE,MAAM,CAAC;KAC9B,GAAG,IAAI,CAAC;IACT,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;CAC1B;AAED;;;;GAIG;AACH,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;CAC1B;AAED;;;;;GAKG;AACH,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,gEAAgE;IAChE,OAAO,EAAE,MAAM,CAAC;IAChB,uDAAuD;IACvD,MAAM,EAAE,MAAM,CAAC;IACf,6EAA6E;IAC7E,aAAa,EAAE,kBAAkB,EAAE,CAAC;IACpC,WAAW,EAAE,KAAK,CAAC;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC5D,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;CAC1B;AAED,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,MAAM,CAAC;IAChB,sDAAsD;IACtD,IAAI,CAAC,EAAE,OAAO,OAAO,EAAE,GAAG,EAAE,CAAC;IAC7B,iEAAiE;IACjE,eAAe,CAAC,EAAE,OAAO,kBAAkB,EAAE,cAAc,EAAE,CAAC;IAC9D,UAAU,CAAC,EAAE,OAAO,WAAW,EAAE,SAAS,EAAE,CAAC;IAC7C,2DAA2D;IAC3D,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB;;;OAGG;IACH,SAAS,CAAC,EAAE,mBAAmB,GAAG,IAAI,CAAC;IACvC,UAAU,EAAE,MAAM,CAAC;IACnB,gCAAgC;IAChC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,sDAAsD;IACtD,MAAM,CAAC,EAAE,SAAS,GAAG,IAAI,CAAC;IAC1B,QAAQ,EAAE,cAAc,EAAE,CAAC;IAC3B,UAAU,EAAE,uBAAuB,EAAE,CAAC;IACtC;;;;;OAKG;IACH,UAAU,EAAE,MAAM,CAAC;IACnB,iFAAiF;IACjF,UAAU,EAAE,mBAAmB,EAAE,CAAC;IAClC,wEAAwE;IACxE,SAAS,EAAE,cAAc,EAAE,CAAC;IAC5B,qFAAqF;IACrF,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,8BAA8B;IAC9B,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,8CAA8C;IAC9C,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,kDAAkD;IAClD,YAAY,CAAC,EAAE,SAAS,GAAG,IAAI,CAAC;IAChC,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,uBAAuB,EAAE,MAAM,EAAE,CAAC;IAClC,uBAAuB,EAAE,MAAM,EAAE,CAAC;IAClC,UAAU,EAAE,aAAa,GAAG,IAAI,CAAC;IACjC,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB;AAED,oEAAoE;AACpE,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;IACzB,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB;;;OAGG;IACH,WAAW,EAAE,OAAO,GAAG,IAAI,CAAC;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,oEAAoE;IACpE,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,wDAAwD;IACxD,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB;wDACoD;IACpD,UAAU,CAAC,EAAE,SAAS,EAAE,CAAC;IACzB;8EAC0E;IAC1E,IAAI,CAAC,EAAE,OAAO,OAAO,EAAE,GAAG,EAAE,CAAC;IAC7B;yEACqE;IACrE,eAAe,CAAC,EAAE,OAAO,kBAAkB,EAAE,cAAc,EAAE,CAAC;
|
|
1
|
+
{"version":3,"file":"Subject.d.ts","sourceRoot":"","sources":["../../../src/types/Subject.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAChD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,QAAQ,CAAC;AACjD,OAAO,KAAK,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,QAAQ,CAAC;AACrD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAErD,MAAM,WAAW,SAAS;IACxB,GAAG,EAAE,MAAM,CAAC;IACZ,MAAM,EAAE,MAAM,CAAC;IACf;;uDAEmD;IACnD,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,8EAA8E;AAC9E,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,+CAA+C;IAC/C,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,gCAAgC;IAChC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,SAAS,GAAG,IAAI,CAAC;CAC3B;AAED,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,sEAAsE;IACtE,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB;;;OAGG;IACH,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACzD;;;;;OAKG;IACH,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB;;;OAGG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,uBAAuB;IACtC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd;;;OAGG;IACH,WAAW,EAAE,MAAM,CAAC;IACpB;;;OAGG;IACH,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;IACzB,MAAM,EAAE,cAAc,EAAE,CAAC;IACzB;;;;;;OAMG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,sDAAsD;IACtD,IAAI,CAAC,EAAE,OAAO,OAAO,EAAE,GAAG,EAAE,CAAC;CAC9B;AAED,MAAM,WAAW,aAAa;IAC5B,UAAU,EAAE,MAAM,CAAC;IACnB,wBAAwB,EAAE,MAAM,EAAE,CAAC;IACnC,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,+DAA+D;IAC/D,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,gCAAgC;IAChC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,iCAAiC;IACjC,OAAO,CAAC,EAAE,SAAS,EAAE,CAAC;IACtB,iDAAiD;IACjD,eAAe,CAAC,EAAE,SAAS,EAAE,CAAC;CAC/B;AAED;;;;;;GAMG;AACH,MAAM,WAAW,mBAAmB;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE;QACP,YAAY,EAAE,MAAM,CAAC;QACrB,oBAAoB,EAAE,MAAM,CAAC;KAC9B,GAAG,IAAI,CAAC;IACT,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;CAC1B;AAED;;;;GAIG;AACH,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;CAC1B;AAED;;;;;GAKG;AACH,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,gEAAgE;IAChE,OAAO,EAAE,MAAM,CAAC;IAChB,uDAAuD;IACvD,MAAM,EAAE,MAAM,CAAC;IACf,6EAA6E;IAC7E,aAAa,EAAE,kBAAkB,EAAE,CAAC;IACpC,WAAW,EAAE,KAAK,CAAC;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC5D,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;CAC1B;AAED,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,MAAM,CAAC;IAChB,sDAAsD;IACtD,IAAI,CAAC,EAAE,OAAO,OAAO,EAAE,GAAG,EAAE,CAAC;IAC7B,iEAAiE;IACjE,eAAe,CAAC,EAAE,OAAO,kBAAkB,EAAE,cAAc,EAAE,CAAC;IAC9D,UAAU,CAAC,EAAE,OAAO,WAAW,EAAE,SAAS,EAAE,CAAC;IAC7C,2DAA2D;IAC3D,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB;;;OAGG;IACH,SAAS,CAAC,EAAE,mBAAmB,GAAG,IAAI,CAAC;IACvC,UAAU,EAAE,MAAM,CAAC;IACnB,gCAAgC;IAChC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,sDAAsD;IACtD,MAAM,CAAC,EAAE,SAAS,GAAG,IAAI,CAAC;IAC1B,QAAQ,EAAE,cAAc,EAAE,CAAC;IAC3B,UAAU,EAAE,uBAAuB,EAAE,CAAC;IACtC;;;;;OAKG;IACH,UAAU,EAAE,MAAM,CAAC;IACnB,iFAAiF;IACjF,UAAU,EAAE,mBAAmB,EAAE,CAAC;IAClC,wEAAwE;IACxE,SAAS,EAAE,cAAc,EAAE,CAAC;IAC5B,qFAAqF;IACrF,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,8BAA8B;IAC9B,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,8CAA8C;IAC9C,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,kDAAkD;IAClD,YAAY,CAAC,EAAE,SAAS,GAAG,IAAI,CAAC;IAChC,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,uBAAuB,EAAE,MAAM,EAAE,CAAC;IAClC,uBAAuB,EAAE,MAAM,EAAE,CAAC;IAClC,UAAU,EAAE,aAAa,GAAG,IAAI,CAAC;IACjC,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB;AAED;;;;;GAKG;AACH,MAAM,WAAW,iBAAiB;IAChC,EAAE,EAAE,MAAM,CAAC;IACX,sDAAsD;IACtD,IAAI,EAAE,MAAM,CAAC;IACb,iDAAiD;IACjD,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;CAC1B;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,YAAY;IAC3B,oEAAoE;IACpE,GAAG,EAAE,MAAM,CAAC;IACZ,sDAAsD;IACtD,KAAK,EAAE,MAAM,CAAC;IACd,qDAAqD;IACrD,YAAY,EAAE,MAAM,CAAC;IACrB,uCAAuC;IACvC,UAAU,EAAE,iBAAiB,EAAE,CAAC;CACjC;AAED,oEAAoE;AACpE,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;IACzB,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB;;;OAGG;IACH,WAAW,EAAE,OAAO,GAAG,IAAI,CAAC;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,oEAAoE;IACpE,UAAU,CAAC,EAAE,MAAM,EAAE,CAAC;IACtB,wDAAwD;IACxD,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB;wDACoD;IACpD,UAAU,CAAC,EAAE,SAAS,EAAE,CAAC;IACzB;8EAC0E;IAC1E,IAAI,CAAC,EAAE,OAAO,OAAO,EAAE,GAAG,EAAE,CAAC;IAC7B;yEACqE;IACrE,eAAe,CAAC,EAAE,OAAO,kBAAkB,EAAE,cAAc,EAAE,CAAC;IAC9D,iEAAiE;IACjE,QAAQ,CAAC,EAAE,YAAY,GAAG,IAAI,CAAC;CAChC;AAED,2EAA2E;AAC3E,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,OAAO,CAAC;IAClB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,qBAAqB,EAAE,MAAM,EAAE,CAAC;IAChC,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB;sDACkD;IAClD,IAAI,CAAC,EAAE,OAAO,OAAO,EAAE,GAAG,EAAE,CAAC;IAC7B,iEAAiE;IACjE,eAAe,CAAC,EAAE,OAAO,kBAAkB,EAAE,cAAc,EAAE,CAAC;CAC/D;AAED,sEAAsE;AACtE,MAAM,WAAW,QAAQ;IACvB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;IACzB,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB;wDACoD;IACpD,UAAU,CAAC,EAAE,SAAS,EAAE,CAAC;IACzB;8EAC0E;IAC1E,IAAI,CAAC,EAAE,OAAO,OAAO,EAAE,GAAG,EAAE,CAAC;IAC7B,iEAAiE;IACjE,eAAe,CAAC,EAAE,OAAO,kBAAkB,EAAE,cAAc,EAAE,CAAC;CAC/D;AAED,oFAAoF;AACpF,MAAM,WAAW,cAAc;IAC7B,YAAY,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,qDAAqD;IACrD,IAAI,CAAC,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,YAAY;IAC3B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,yEAAyE;IACzE,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,wCAAwC;IACxC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,cAAc,EAAE,CAAC;IAC1B,qEAAqE;IACrE,MAAM,CAAC,EAAE,SAAS,GAAG,IAAI,CAAC;IAC1B,+DAA+D;IAC/D,OAAO,CAAC,EAAE,SAAS,EAAE,CAAC;IACtB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB;;gCAE4B;IAC5B,IAAI,CAAC,EAAE,OAAO,OAAO,EAAE,GAAG,EAAE,CAAC;IAC7B,iEAAiE;IACjE,eAAe,CAAC,EAAE,OAAO,kBAAkB,EAAE,cAAc,EAAE,CAAC;CAC/D;AAuBD;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,qBAAqB;IACpC,MAAM,EAAE,MAAM,CAAC;IACf,6EAA6E;IAC7E,UAAU,EAAE,MAAM,CAAC;IACnB,wEAAwE;IACxE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,qEAAqE;IACrE,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,uEAAuE;IACvE,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,qDAAqD;IACrD,MAAM,CAAC,EAAE,SAAS,GAAG,IAAI,CAAC;CAC3B;AAED;;;;;;GAMG;AACH,MAAM,WAAW,YAAY;IAC3B,yCAAyC;IACzC,IAAI,EAAE,MAAM,CAAC;IACb,gDAAgD;IAChD,QAAQ,CAAC,EAAE,aAAa,CAAC;IACzB,2EAA2E;IAC3E,GAAG,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IACtB,GAAG,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IACtB,oDAAoD;IACpD,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,0EAA0E;IAC1E,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,4BAA4B;IAC3C;uBACmB;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,6CAA6C;IAC7C,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,yDAAyD;IACzD,SAAS,EAAE,MAAM,CAAC;IAClB,sEAAsE;IACtE,IAAI,EAAE,MAAM,CAAC;IACb;yDACqD;IACrD,KAAK,EAAE,MAAM,CAAC;IACd,8DAA8D;IAC9D,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,cAAc;IAC7B,gEAAgE;IAChE,EAAE,EAAE,MAAM,CAAC;IACX;;;;OAIG;IACH,MAAM,EAAE,MAAM,CAAC;IACf,4DAA4D;IAC5D,KAAK,EAAE,YAAY,GAAG,IAAI,CAAC;IAC3B;;;;OAIG;IACH,UAAU,EAAE,MAAM,CAAC;IACnB,oCAAoC;IACpC,SAAS,EAAE,MAAM,CAAC;IAClB;;;;OAIG;IACH,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,sCAAsC;IACtC,MAAM,CAAC,EAAE,SAAS,GAAG,IAAI,CAAC;IAC1B;gDAC4C;IAC5C,WAAW,CAAC,EAAE,4BAA4B,GAAG,IAAI,CAAC;CACnD;AAED,0CAA0C;AAC1C,MAAM,WAAW,SAAS;IACxB,kEAAkE;IAClE,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC,kEAAkE;IAClE,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnC,oEAAoE;IACpE,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,qEAAqE;IACrE,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACzC,wEAAwE;IACxE,kBAAkB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC3C;;;;OAIG;IACH,QAAQ,EAAE,cAAc,EAAE,CAAC;IAC3B;;;OAGG;IACH,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB;;;;;OAKG;IACH,SAAS,EAAE,QAAQ,EAAE,CAAC;IACtB;;;;;OAKG;IACH,UAAU,CAAC,EAAE,eAAe,CAAC;CAC9B;AAED,sCAAsC;AACtC,MAAM,WAAW,UAAU;IACzB,uDAAuD;IACvD,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACnC,qEAAqE;IACrE,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IACrC;;;;;OAKG;IACH,KAAK,EAAE,MAAM,CAAC;IACd,qDAAqD;IACrD,eAAe,EAAE,MAAM,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC;IACvD,6DAA6D;IAC7D,oBAAoB,EAAE,MAAM,EAAE,CAAC;IAC/B;;;OAGG;IACH,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B;;;;;OAKG;IACH,MAAM,EAAE,YAAY,EAAE,CAAC;CACxB;AAED,oCAAoC;AACpC,MAAM,WAAW,WAAW;IAC1B,oDAAoD;IACpD,SAAS,EAAE,MAAM,EAAE,CAAC;CACrB;AAED;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC9B,oEAAoE;IACpE,MAAM,EAAE,MAAM,CAAC;IACf,qCAAqC;IACrC,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,mEAAmE;AACnE,MAAM,WAAW,OAAO;IACtB,EAAE,EAAE,MAAM,CAAC;IACX,qEAAqE;IACrE,OAAO,EAAE,MAAM,CAAC;IAChB,EAAE,EAAE,SAAS,CAAC;IACd,GAAG,EAAE,UAAU,CAAC;IAChB,IAAI,EAAE,WAAW,CAAC;IAClB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,wEAAwE;IACxE,gBAAgB,EAAE,eAAe,EAAE,CAAC;CACrC"}
|
|
@@ -48,5 +48,22 @@ interface Symbol {
|
|
|
48
48
|
correspondences?: import('./Correspondence').Correspondence[];
|
|
49
49
|
}
|
|
50
50
|
export default Symbol;
|
|
51
|
+
/**
|
|
52
|
+
* formula_note <id> (smart TODO.roadmap/40 batch 4; the packages-as-
|
|
53
|
+
* SSOT epic) — a symbol-annotation register entry: ONE note text
|
|
54
|
+
* applying to MANY symbols (the reverse applicability of r60's
|
|
55
|
+
* formula_notes register). The per-symbol `note` facet cannot express
|
|
56
|
+
* it without duplicating the text per target and losing the note's
|
|
57
|
+
* identity (its id). Lives in specification/symbols.prl beside the
|
|
58
|
+
* symbols it annotates.
|
|
59
|
+
*/
|
|
60
|
+
export interface FormulaNote {
|
|
61
|
+
id: string;
|
|
62
|
+
/** The note text. */
|
|
63
|
+
text: string;
|
|
64
|
+
/** The symbols the note applies to (resolve at check time, C126 —
|
|
65
|
+
* per-register gated, the C58 doctrine). */
|
|
66
|
+
appliesTo: string[];
|
|
67
|
+
}
|
|
51
68
|
export type ResolvableSymbol = Resolvable<Symbol, 'ref'>;
|
|
52
69
|
//# sourceMappingURL=Symbol.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"Symbol.d.ts","sourceRoot":"","sources":["../../../src/types/Symbol.ts"],"names":[],"mappings":"AAAA,OAAO,UAAU,MAAM,cAAc,CAAC;AACtC,OAAO,SAAS,MAAM,aAAa,CAAC;AACpC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAC3C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAE3C,MAAM,MAAM,UAAU,GACpB,QAAQ,GAAG,SAAS,GAAG,QAAQ,GAAG,SAAS,GAAG,MAAM,GAAG,YAAY,GAAG,OAAO,CAAC;AAEhF,yEAAyE;AACzE,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB;AAED,UAAU,MAAM;IACd,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,6EAA6E;IAC7E,MAAM,EAAE,UAAU,GAAG,IAAI,CAAC;IAC1B,mEAAmE;IACnE,IAAI,EAAE,MAAM,CAAC;IACb,kDAAkD;IAClD,YAAY,EAAE,MAAM,CAAC;IACrB,mDAAmD;IACnD,MAAM,EAAE,MAAM,CAAC;IACf,kDAAkD;IAClD,QAAQ,EAAE,MAAM,CAAC;IACjB,4CAA4C;IAC5C,SAAS,EAAE,MAAM,CAAC;IAClB,2CAA2C;IAC3C,WAAW,EAAE,MAAM,CAAC;IACpB,iDAAiD;IACjD,OAAO,EAAE,MAAM,CAAC;IAChB,8EAA8E;IAC9E,SAAS,EAAE,SAAS,GAAG,IAAI,CAAC;IAC5B,uEAAuE;IACvE,UAAU,CAAC,EAAE,SAAS,EAAE,CAAC;IACzB,kCAAkC;IAClC,OAAO,EAAE,aAAa,GAAG,IAAI,CAAC;IAC9B,8CAA8C;IAC9C,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,GAAG,EAAE,SAAS,EAAE,CAAC;IACjB,sDAAsD;IACtD,IAAI,CAAC,EAAE,OAAO,OAAO,EAAE,GAAG,EAAE,CAAC;IAC7B,iEAAiE;IACjE,eAAe,CAAC,EAAE,OAAO,kBAAkB,EAAE,cAAc,EAAE,CAAC;CAC/D;AAED,eAAe,MAAM,CAAC;AAEtB,MAAM,MAAM,gBAAgB,GAAG,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC"}
|
|
1
|
+
{"version":3,"file":"Symbol.d.ts","sourceRoot":"","sources":["../../../src/types/Symbol.ts"],"names":[],"mappings":"AAAA,OAAO,UAAU,MAAM,cAAc,CAAC;AACtC,OAAO,SAAS,MAAM,aAAa,CAAC;AACpC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAC3C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAE3C,MAAM,MAAM,UAAU,GACpB,QAAQ,GAAG,SAAS,GAAG,QAAQ,GAAG,SAAS,GAAG,MAAM,GAAG,YAAY,GAAG,OAAO,CAAC;AAEhF,yEAAyE;AACzE,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,EAAE,CAAC;CAClB;AAED,UAAU,MAAM;IACd,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,UAAU,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,6EAA6E;IAC7E,MAAM,EAAE,UAAU,GAAG,IAAI,CAAC;IAC1B,mEAAmE;IACnE,IAAI,EAAE,MAAM,CAAC;IACb,kDAAkD;IAClD,YAAY,EAAE,MAAM,CAAC;IACrB,mDAAmD;IACnD,MAAM,EAAE,MAAM,CAAC;IACf,kDAAkD;IAClD,QAAQ,EAAE,MAAM,CAAC;IACjB,4CAA4C;IAC5C,SAAS,EAAE,MAAM,CAAC;IAClB,2CAA2C;IAC3C,WAAW,EAAE,MAAM,CAAC;IACpB,iDAAiD;IACjD,OAAO,EAAE,MAAM,CAAC;IAChB,8EAA8E;IAC9E,SAAS,EAAE,SAAS,GAAG,IAAI,CAAC;IAC5B,uEAAuE;IACvE,UAAU,CAAC,EAAE,SAAS,EAAE,CAAC;IACzB,kCAAkC;IAClC,OAAO,EAAE,aAAa,GAAG,IAAI,CAAC;IAC9B,8CAA8C;IAC9C,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,GAAG,EAAE,SAAS,EAAE,CAAC;IACjB,sDAAsD;IACtD,IAAI,CAAC,EAAE,OAAO,OAAO,EAAE,GAAG,EAAE,CAAC;IAC7B,iEAAiE;IACjE,eAAe,CAAC,EAAE,OAAO,kBAAkB,EAAE,cAAc,EAAE,CAAC;CAC/D;AAED,eAAe,MAAM,CAAC;AAEtB;;;;;;;;GAQG;AACH,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,MAAM,CAAC;IACX,qBAAqB;IACrB,IAAI,EAAE,MAAM,CAAC;IACb;iDAC6C;IAC7C,SAAS,EAAE,MAAM,EAAE,CAAC;CACrB;AAED,MAAM,MAAM,gBAAgB,GAAG,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC"}
|