@primmel/primmel 1.11.1 → 1.13.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 +71 -0
- package/dist/src/check-rules.js.map +1 -1
- package/dist/src/check.d.ts.map +1 -1
- package/dist/src/check.js +457 -3
- package/dist/src/check.js.map +1 -1
- package/dist/src/model-diff.d.ts.map +1 -1
- package/dist/src/model-diff.js +22 -0
- package/dist/src/model-diff.js.map +1 -1
- 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/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/documentModule.d.ts +5 -0
- package/dist/src/ser-des/config/documentModule.d.ts.map +1 -0
- package/dist/src/ser-des/config/documentModule.js +109 -0
- package/dist/src/ser-des/config/documentModule.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/index.d.ts.map +1 -1
- package/dist/src/ser-des/config/index.js +98 -0
- package/dist/src/ser-des/config/index.js.map +1 -1
- package/dist/src/ser-des/config/informativeAnnex.d.ts +5 -0
- package/dist/src/ser-des/config/informativeAnnex.d.ts.map +1 -0
- package/dist/src/ser-des/config/informativeAnnex.js +185 -0
- package/dist/src/ser-des/config/informativeAnnex.js.map +1 -0
- 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/process.d.ts.map +1 -1
- package/dist/src/ser-des/config/process.js +369 -3
- package/dist/src/ser-des/config/process.js.map +1 -1
- package/dist/src/ser-des/config/processModel.d.ts +13 -0
- package/dist/src/ser-des/config/processModel.d.ts.map +1 -0
- package/dist/src/ser-des/config/processModel.js +163 -0
- package/dist/src/ser-des/config/processModel.js.map +1 -0
- package/dist/src/ser-des/config/schemeType.d.ts +7 -0
- package/dist/src/ser-des/config/schemeType.d.ts.map +1 -0
- package/dist/src/ser-des/config/schemeType.js +232 -0
- package/dist/src/ser-des/config/schemeType.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.map +1 -1
- package/dist/src/ser-des/config/subject.js +93 -0
- package/dist/src/ser-des/config/subject.js.map +1 -1
- package/dist/src/ser-des/package.d.ts.map +1 -1
- package/dist/src/ser-des/package.js +36 -8
- 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 +13 -0
- package/dist/src/ser-des/parse.js.map +1 -1
- package/dist/src/ser-des/types.d.ts +22 -0
- package/dist/src/ser-des/types.d.ts.map +1 -1
- package/dist/src/types/Calculation.d.ts +35 -0
- package/dist/src/types/Calculation.d.ts.map +1 -1
- 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/DocumentModule.d.ts +27 -0
- package/dist/src/types/DocumentModule.d.ts.map +1 -0
- package/dist/src/types/DocumentModule.js +38 -0
- package/dist/src/types/DocumentModule.js.map +1 -0
- package/dist/src/types/InformativeAnnex.d.ts +44 -0
- package/dist/src/types/InformativeAnnex.d.ts.map +1 -0
- package/dist/src/types/InformativeAnnex.js +35 -0
- package/dist/src/types/InformativeAnnex.js.map +1 -0
- package/dist/src/types/Package.d.ts +7 -3
- package/dist/src/types/Package.d.ts.map +1 -1
- 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/ProcessModel.d.ts +27 -0
- package/dist/src/types/ProcessModel.d.ts.map +1 -0
- package/dist/src/types/ProcessModel.js +31 -0
- package/dist/src/types/ProcessModel.js.map +1 -0
- package/dist/src/types/SchemeType.d.ts +51 -0
- package/dist/src/types/SchemeType.d.ts.map +1 -0
- package/dist/src/types/SchemeType.js +41 -0
- package/dist/src/types/SchemeType.js.map +1 -0
- package/dist/src/types/Standard.d.ts +36 -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 +33 -0
- 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/process.d.ts +99 -1
- package/dist/src/types/process.d.ts.map +1 -1
- package/dist-browser/index.mjs +1791 -988
- package/dist-cli/primmel.mjs +2131 -56
- package/package.json +1 -1
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"SchemeType.d.ts","sourceRoot":"","sources":["../../../src/types/SchemeType.ts"],"names":[],"mappings":"AAuCA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAE3C,2DAA2D;AAC3D,MAAM,MAAM,oBAAoB,GAC9B,QAAQ,GAAG,eAAe,GAAG,aAAa,GAAG,cAAc,CAAC;AAE9D,kEAAkE;AAClE,MAAM,WAAW,kBAAkB;IACjC,sEAAsE;IACtE,EAAE,EAAE,MAAM,CAAC;IACX,qCAAqC;IACrC,MAAM,EAAE,oBAAoB,CAAC;IAC7B,wDAAwD;IACxD,GAAG,EAAE,MAAM,CAAC;IACZ,iDAAiD;IACjD,KAAK,EAAE,MAAM,CAAC;IACd,4CAA4C;IAC5C,MAAM,EAAE,SAAS,CAAC;CACnB;AAED,wDAAwD;AACxD,MAAM,MAAM,iBAAiB,GAC3B,cAAc,GAAG,OAAO,GAAG,oBAAoB,GAAG,oBAAoB,CAAC;AAEzE,mEAAmE;AACnE,MAAM,WAAW,kBAAkB;IACjC,qDAAqD;IACrD,QAAQ,EAAE,OAAO,CAAC;IAClB,sEAAsE;IACtE,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB;AAED,mEAAmE;AACnE,MAAM,CAAC,OAAO,WAAW,UAAU;IACjC,sCAAsC;IACtC,EAAE,EAAE,MAAM,CAAC;IACX,0CAA0C;IAC1C,KAAK,EAAE,MAAM,CAAC;IACd,yCAAyC;IACzC,MAAM,EAAE,MAAM,CAAC;IACf,8BAA8B;IAC9B,WAAW,EAAE,MAAM,CAAC;IACpB,0CAA0C;IAC1C,QAAQ,EAAE,MAAM,CAAC;IACjB,2DAA2D;IAC3D,iBAAiB,EAAE,iBAAiB,GAAG,EAAE,CAAC;IAC1C,uEAAuE;IACvE,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,qEAAqE;IACrE,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,6DAA6D;IAC7D,YAAY,EAAE,kBAAkB,GAAG,IAAI,CAAC;IACxC,wBAAwB;IACxB,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,4CAA4C;IAC5C,MAAM,EAAE,SAAS,CAAC;CACnB"}
|
|
@@ -0,0 +1,41 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
// ─────────────────────────────────────────────────────────────────────
|
|
3
|
+
// The ISO/IEC 17067 scheme-type register (smart TODO.roadmap/40 batch 2;
|
|
4
|
+
// the packages-as-SSOT epic) — the Table-1 activity menus and the seven
|
|
5
|
+
// scheme types:
|
|
6
|
+
//
|
|
7
|
+
// scheme_activity_kind testing {
|
|
8
|
+
// family determination # common | determination |
|
|
9
|
+
// # attestation | surveillance
|
|
10
|
+
// row "II a)"
|
|
11
|
+
// label "testing (of product items …)"
|
|
12
|
+
// source { doc "urn:iso-iec:…:17067:2013" clause "5.2" }
|
|
13
|
+
// }
|
|
14
|
+
//
|
|
15
|
+
// scheme_type type_5 {
|
|
16
|
+
// label "scheme type 5"
|
|
17
|
+
// clause "5.3.7"
|
|
18
|
+
// description "The surveillance part of this scheme allows …"
|
|
19
|
+
// sampling "Surveillance samples are taken periodically …"
|
|
20
|
+
// attestation_object ongoing_production
|
|
21
|
+
// determination { testing inspection … }
|
|
22
|
+
// attestation { issue_statement … }
|
|
23
|
+
// surveillance {
|
|
24
|
+
// required true
|
|
25
|
+
// activities { market_sampling factory_sampling … }
|
|
26
|
+
// }
|
|
27
|
+
// notes { "If the surveillance includes audit of the …" }
|
|
28
|
+
// source { doc "…" clause "5.3.7" }
|
|
29
|
+
// }
|
|
30
|
+
//
|
|
31
|
+
// The `family` and `attestation_object` vocabularies are parse-enforced
|
|
32
|
+
// (the fail-closed precedent — the dataspace/policy vocabularies); the
|
|
33
|
+
// menu memberships and the manifest's `scheme_type` token resolve at
|
|
34
|
+
// check time against the composed register (C122 scheme-type-resolves,
|
|
35
|
+
// per-register gated — the C58 doctrine), and C98's hard-coded
|
|
36
|
+
// no-surveillance set defers to the register's surveillance.required
|
|
37
|
+
// when the register is in scope (the register-free fallback stays). The
|
|
38
|
+
// codecs stay total.
|
|
39
|
+
// ─────────────────────────────────────────────────────────────────────
|
|
40
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
41
|
+
//# sourceMappingURL=SchemeType.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"SchemeType.js","sourceRoot":"","sources":["../../../src/types/SchemeType.ts"],"names":[],"mappings":";AAAA,wEAAwE;AACxE,yEAAyE;AACzE,wEAAwE;AACxE,gBAAgB;AAChB,EAAE;AACF,mCAAmC;AACnC,kEAAkE;AAClE,oEAAoE;AACpE,kBAAkB;AAClB,2CAA2C;AAC3C,6DAA6D;AAC7D,MAAM;AACN,EAAE;AACF,yBAAyB;AACzB,4BAA4B;AAC5B,qBAAqB;AACrB,kEAAkE;AAClE,+DAA+D;AAC/D,4CAA4C;AAC5C,6CAA6C;AAC7C,wCAAwC;AACxC,qBAAqB;AACrB,sBAAsB;AACtB,0DAA0D;AAC1D,QAAQ;AACR,8DAA8D;AAC9D,wCAAwC;AACxC,MAAM;AACN,EAAE;AACF,wEAAwE;AACxE,uEAAuE;AACvE,qEAAqE;AACrE,uEAAuE;AACvE,+DAA+D;AAC/D,qEAAqE;AACrE,wEAAwE;AACxE,qBAAqB;AACrB,wEAAwE"}
|
|
@@ -15,6 +15,7 @@ import type MapProfile from './MapProfile';
|
|
|
15
15
|
import type Metadata from './Metadata';
|
|
16
16
|
import type Note from './Note';
|
|
17
17
|
import type Process from './process';
|
|
18
|
+
import type ProcessModel from './ProcessModel';
|
|
18
19
|
import type { Subprocess } from './flow';
|
|
19
20
|
import type Provision from './Provision';
|
|
20
21
|
import type Reference from './Reference';
|
|
@@ -34,9 +35,15 @@ import type GovernanceOrgan from './GovernanceOrgan';
|
|
|
34
35
|
import type DeclarationKind from './Declaration';
|
|
35
36
|
import type { DeclarationGate, DeclarationStatus } from './Declaration';
|
|
36
37
|
import type { SchemeDefinition, SchemeLifecycle } from './Scheme';
|
|
38
|
+
import SchemeType, { SchemeActivityKind } from './SchemeType';
|
|
37
39
|
import type FrameworkDocument from './FrameworkDocument';
|
|
38
40
|
import type { AutoInclusion, DocumentPrecedence } from './FrameworkDocument';
|
|
39
41
|
import type DecisionRule from './DecisionRule';
|
|
42
|
+
import type DocumentModule from './DocumentModule';
|
|
43
|
+
import type InformativeAnnex from './InformativeAnnex';
|
|
44
|
+
import type PartAnnex from './PartAnnex';
|
|
45
|
+
import type Storyline from './Storyline';
|
|
46
|
+
import type { DemoWorld } from './Storyline';
|
|
40
47
|
import type { Instance } from './Instance';
|
|
41
48
|
import type { Dual, QuantityRegister } from './Quantity';
|
|
42
49
|
import type Dataspace from './Dataspace';
|
|
@@ -47,9 +54,11 @@ import type { ConformanceClass } from './ConformanceClass';
|
|
|
47
54
|
import type { PackageManifest } from './Package';
|
|
48
55
|
import type Subform from './Subform';
|
|
49
56
|
import type Symbol from './Symbol';
|
|
57
|
+
import type { FormulaNote } from './Symbol';
|
|
50
58
|
import type Table from './Table';
|
|
51
59
|
import type Term from './Term';
|
|
52
60
|
import type TestPointSet from './TestPointSet';
|
|
61
|
+
import type CommonTestCondition from './CommonTestCondition';
|
|
53
62
|
import type TextContent from './Text';
|
|
54
63
|
import type Verdict from './Verdict';
|
|
55
64
|
import type ViewProfile from './ViewProfile';
|
|
@@ -61,6 +70,10 @@ export default interface Standard {
|
|
|
61
70
|
provisions: Provision[];
|
|
62
71
|
pages: Subprocess[];
|
|
63
72
|
processes: Process[];
|
|
73
|
+
/** The abstract-process models (smart TODO.roadmap/40 batch 2): the
|
|
74
|
+
* file-level pipelines (sequence + participant/expert registers) the
|
|
75
|
+
* processes belong to. */
|
|
76
|
+
processModels: ProcessModel[];
|
|
64
77
|
dataclasses: DataClass[];
|
|
65
78
|
regs: Registry[];
|
|
66
79
|
events: EventNode[];
|
|
@@ -80,6 +93,9 @@ export default interface Standard {
|
|
|
80
93
|
forms: Form[];
|
|
81
94
|
subforms: Subform[];
|
|
82
95
|
symbols: Symbol[];
|
|
96
|
+
/** The symbol-annotation register (smart TODO.roadmap/40 batch 4) —
|
|
97
|
+
* one note text applying to many symbols. */
|
|
98
|
+
formulaNotes: FormulaNote[];
|
|
83
99
|
calculations: Calculation[];
|
|
84
100
|
/** Canonical verdict quantities (derive once, reference everywhere). */
|
|
85
101
|
verdicts: Verdict[];
|
|
@@ -87,10 +103,19 @@ export default interface Standard {
|
|
|
87
103
|
referenceMaterials: ReferenceMaterial[];
|
|
88
104
|
/** Named shared test-point sets referenced by conformance tests. */
|
|
89
105
|
testPointSets: TestPointSet[];
|
|
106
|
+
/** The model-wide common test-conditions register (smart
|
|
107
|
+
* TODO.roadmap/40 batch 4) — one entry per condition. */
|
|
108
|
+
commonTestConditions: CommonTestCondition[];
|
|
90
109
|
/** Laboratory testing-competence kind registry (TODO.roadmap/48) — the
|
|
91
110
|
* vocabulary of conformance-test required_competence and laboratory
|
|
92
111
|
* accreditation_scope entries. */
|
|
93
112
|
competenceKinds: CompetenceKind[];
|
|
113
|
+
/** The ISO/IEC 17067 scheme-type register (smart TODO.roadmap/40 batch
|
|
114
|
+
* 2): the Table-1 activity menus (scheme_activity_kind) and the seven
|
|
115
|
+
* scheme types a manifest's `scheme_type` token resolves against
|
|
116
|
+
* (C122; C98's no-surveillance set defers to the register). */
|
|
117
|
+
schemeActivityKinds: SchemeActivityKind[];
|
|
118
|
+
schemeTypes: SchemeType[];
|
|
94
119
|
/** The relation registry (docs/primmel/18): the declared `ref`
|
|
95
120
|
* predicates every typed reference resolves against. */
|
|
96
121
|
predicates: import('./RefPredicate').RefPredicate[];
|
|
@@ -131,6 +156,17 @@ export default interface Standard {
|
|
|
131
156
|
documentPrecedences: DocumentPrecedence[];
|
|
132
157
|
autoInclusions: AutoInclusion[];
|
|
133
158
|
decisionRules: DecisionRule[];
|
|
159
|
+
documentModules: DocumentModule[];
|
|
160
|
+
informativeAnnexes: InformativeAnnex[];
|
|
161
|
+
/** The rec's own annex-volume index (smart TODO.roadmap/40 batch 4) —
|
|
162
|
+
* a verdict-neutral documentary register (the normative/informative
|
|
163
|
+
* mark is the point); NOT the external-guidance informative_annex. */
|
|
164
|
+
partAnnexes: PartAnnex[];
|
|
165
|
+
/** The demo seeds (smart TODO.roadmap/40 batch 4) — one demo_world per
|
|
166
|
+
* package (the participant registry) and one storyline per flow;
|
|
167
|
+
* documentary records (field-level checking stays app-side). */
|
|
168
|
+
demoWorlds: DemoWorld[];
|
|
169
|
+
storylines: Storyline[];
|
|
134
170
|
connectorProfiles: ConnectorProfile[];
|
|
135
171
|
monitors: Monitor[];
|
|
136
172
|
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,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,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,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,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;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;IAKpB,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;
|
|
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,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;IAKpB,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 {
|
|
@@ -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;;;;;;;;;;GAUG;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;CAC3B;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"}
|
|
@@ -60,6 +60,73 @@ export interface SegregationEntry {
|
|
|
60
60
|
/** Verbatim-faithful normative statement of the constraint. */
|
|
61
61
|
statement: string;
|
|
62
62
|
}
|
|
63
|
+
/**
|
|
64
|
+
* One evidence-record slot of an abstract process (smart TODO.roadmap/40
|
|
65
|
+
* batch 2 — the OIML-CS abstract-process model): a record the process's
|
|
66
|
+
* run must produce into the evidence store (the application record, the
|
|
67
|
+
* review report). `required` false marks an optional slot.
|
|
68
|
+
*/
|
|
69
|
+
export interface EvidenceEntry {
|
|
70
|
+
id: string;
|
|
71
|
+
description: string;
|
|
72
|
+
required: boolean;
|
|
73
|
+
}
|
|
74
|
+
/**
|
|
75
|
+
* The decision facet of an abstract process (smart TODO.roadmap/40 batch
|
|
76
|
+
* 2): the process applies a framework `decision_rule` (its voting/
|
|
77
|
+
* recommendation machinery), cited with the governing clause. The rule
|
|
78
|
+
* reference resolves against the composed decision_rule register at check
|
|
79
|
+
* time (C121); the codec stays total.
|
|
80
|
+
*/
|
|
81
|
+
export interface ProcessDecision {
|
|
82
|
+
/** decision_rule id. */
|
|
83
|
+
rule: string;
|
|
84
|
+
/** The clause governing the decision (e.g. "PD-03, 5.3.2"). */
|
|
85
|
+
clause: string;
|
|
86
|
+
}
|
|
87
|
+
/**
|
|
88
|
+
* The declaration facet of an abstract process (smart TODO.roadmap/40
|
|
89
|
+
* batch 2): the process signs or updates a framework Declaration
|
|
90
|
+
* (`declaration_kind`). The action vocabulary (sign | update) and the
|
|
91
|
+
* kind's resolution against the declaration_kind register are check-time
|
|
92
|
+
* (C121); the codec stays total.
|
|
93
|
+
*/
|
|
94
|
+
export interface ProcessDeclaration {
|
|
95
|
+
/** declaration_kind id. */
|
|
96
|
+
kind: string;
|
|
97
|
+
/** 'sign' | 'update' ('' = undeclared). */
|
|
98
|
+
action: string;
|
|
99
|
+
}
|
|
100
|
+
/**
|
|
101
|
+
* One calendar window constraining an abstract process (smart
|
|
102
|
+
* TODO.roadmap/40 batch 2 — e.g. PD-01 8.2/8.3: the written appeal
|
|
103
|
+
* reaches the Executive Secretary within ONE MONTH of the appellant
|
|
104
|
+
* being informed). `kind` is max_elapsed (a deadline) or min_elapsed (a
|
|
105
|
+
* cooling-off); `anchor` and `applies_to` name the record date fields
|
|
106
|
+
* opening resp. constrained by the window (field resolution is the
|
|
107
|
+
* consumer's business — the R26 precedent); the duration reuses the
|
|
108
|
+
* scheme_lifecycle window sub-grammar (exactly one of years/months);
|
|
109
|
+
* `breach` names the state-machine action a breach fires ('' = none).
|
|
110
|
+
* Shape and vocabulary are check-time (C121); the codec stays total.
|
|
111
|
+
*/
|
|
112
|
+
export interface ProcessWindow {
|
|
113
|
+
id: string;
|
|
114
|
+
/** 'max_elapsed' | 'min_elapsed' ('' = undeclared). */
|
|
115
|
+
kind: string;
|
|
116
|
+
/** The clause stating the window (e.g. "PD-01, 8.2/8.3"). */
|
|
117
|
+
clause: string;
|
|
118
|
+
/** The record date field opening the window. */
|
|
119
|
+
anchor: string;
|
|
120
|
+
/** The record date field the window constrains. */
|
|
121
|
+
applies_to: string;
|
|
122
|
+
/** Window duration, years component (0 = undeclared). */
|
|
123
|
+
windowYears: number;
|
|
124
|
+
/** Window duration, months component (0 = undeclared). */
|
|
125
|
+
windowMonths: number;
|
|
126
|
+
/** The state-machine action a breach fires ('' = none). */
|
|
127
|
+
breach: string;
|
|
128
|
+
description: string;
|
|
129
|
+
}
|
|
63
130
|
/** The eight step kinds of the v3 step vocabulary. */
|
|
64
131
|
export type ProcessStepKind = 'action' | 'approval' | 'gateway' | 'parallel_gateway' | 'start_event' | 'end_event' | 'timer_event' | 'signal_event';
|
|
65
132
|
/**
|
|
@@ -185,7 +252,10 @@ export default interface Process {
|
|
|
185
252
|
measure: string[];
|
|
186
253
|
parent: string;
|
|
187
254
|
children: string[];
|
|
188
|
-
/** IS: the I/O signature (null = undeclared).
|
|
255
|
+
/** IS: the I/O signature (null = undeclared). A signature parameter's
|
|
256
|
+
* type token is OPTIONAL (smart TODO.roadmap/40 batch 2): a bare name
|
|
257
|
+
* is an untyped entity-store reference — the abstract-process model's
|
|
258
|
+
* signatures quantify over record stores, not quantity kinds. */
|
|
189
259
|
signature: ProcessSignature | null;
|
|
190
260
|
/** IS: OCL invariants over the signature and registers. */
|
|
191
261
|
invariants: string[];
|
|
@@ -236,6 +306,34 @@ export default interface Process {
|
|
|
236
306
|
childComposition: 'all' | 'gateway';
|
|
237
307
|
/** DOES: the executable body. null = abstract process (always valid). */
|
|
238
308
|
does: ProcessFlow | null;
|
|
309
|
+
/** IS: the one-paragraph functional summary of the abstract process. */
|
|
310
|
+
summary: string;
|
|
311
|
+
/**
|
|
312
|
+
* IS: the role ids bound to the process's performance (YAML `roles:`).
|
|
313
|
+
* Kept DISTINCT from `executor` (the typing token actor|machine):
|
|
314
|
+
* multi-role processes exist, so the binding list never collapses into
|
|
315
|
+
* the executor token. Resolve against the role register at check time
|
|
316
|
+
* (C121).
|
|
317
|
+
*/
|
|
318
|
+
roles: string[];
|
|
319
|
+
/** IS: the governance_organ ids acting in the process (C121). */
|
|
320
|
+
organs: string[];
|
|
321
|
+
/** IS: the participant_kind ids acting in the process (C121). */
|
|
322
|
+
participantKinds: string[];
|
|
323
|
+
/** HAS: the evidence-record slots the process's run must produce. */
|
|
324
|
+
evidence: EvidenceEntry[];
|
|
325
|
+
/** IS: the decision facet — the framework decision_rule applied. */
|
|
326
|
+
decision: ProcessDecision | null;
|
|
327
|
+
/** IS: the declaration facet — the Declaration signed/updated. */
|
|
328
|
+
declaration: ProcessDeclaration | null;
|
|
329
|
+
/** The declaration_gate this process discharges ('' = none; C121). */
|
|
330
|
+
dischargesGate: string;
|
|
331
|
+
/** The concrete processes realizing this abstract one (documentary). */
|
|
332
|
+
realizedBy: string[];
|
|
333
|
+
/** The approvals authorizing the process's outcome (documentary). */
|
|
334
|
+
approvedBy: string[];
|
|
335
|
+
/** HAS: the calendar windows constraining the process's records. */
|
|
336
|
+
windows: ProcessWindow[];
|
|
239
337
|
/**
|
|
240
338
|
* Clause-URN provenance (the same facet requirement/provision carry):
|
|
241
339
|
* `source { doc "urn:…" clause "…" [fragment "…"] }`. null = undeclared.
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"process.d.ts","sourceRoot":"","sources":["../../../src/types/process.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC1C,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAC;AAClC,OAAO,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AACpC,OAAO,KAAK,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACzE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAChD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,SAAS,MAAM,aAAa,CAAC;AACpC,OAAO,IAAI,MAAM,QAAQ,CAAC;AAoB1B,0DAA0D;AAC1D,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,uEAAuE;IACvE,IAAI,EAAE,MAAM,CAAC;IACb;;;;;;;OAOG;IACH,OAAO,CAAC,EAAE,aAAa,CAAC;CACzB;AAED,gFAAgF;AAChF,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,gBAAgB,EAAE,CAAC;IAC3B,OAAO,EAAE,gBAAgB,EAAE,CAAC;CAC7B;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,uEAAuE;IACvE,IAAI,EAAE,MAAM,CAAC;IACb,2EAA2E;IAC3E,MAAM,EAAE,MAAM,CAAC;IACf,uEAAuE;IACvE,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,+EAA+E;IAC/E,MAAM,EAAE,MAAM,CAAC;IACf,gFAAgF;IAChF,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,+DAA+D;IAC/D,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,sDAAsD;AACtD,MAAM,MAAM,eAAe,GACvB,QAAQ,GACR,UAAU,GACV,SAAS,GACT,kBAAkB,GAClB,aAAa,GACb,WAAW,GACX,aAAa,GACb,cAAc,CAAC;AAEnB;;;;;;;;GAQG;AACH,MAAM,WAAW,kBAAkB;IACjC,uCAAuC;IACvC,KAAK,EAAE,MAAM,CAAC;IACd,uDAAuD;IACvD,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,eAAe,CAAC;IACtB,QAAQ,EAAE,SAAS,GAAG,OAAO,GAAG,EAAE,CAAC;IACnC,sCAAsC;IACtC,IAAI,EAAE,MAAM,CAAC;IACb,2EAA2E;IAC3E,OAAO,EAAE,MAAM,CAAC;IAChB,+CAA+C;IAC/C,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,gDAAgD;IAChD,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB;;;OAGG;IACH,IAAI,EAAE,MAAM,CAAC;IACb,6DAA6D;IAC7D,MAAM,EAAE,MAAM,CAAC;IACf,sEAAsE;IACtE,MAAM,EAAE,MAAM,CAAC;IACf;;;;;OAKG;IACH,KAAK,EAAE,MAAM,CAAC;IACd;;;;;;OAMG;IACH,KAAK,EAAE,MAAM,CAAC;IACd,8EAA8E;IAC9E,MAAM,EAAE,kBAAkB,EAAE,CAAC;IAC7B,gFAAgF;IAChF,OAAO,EAAE,kBAAkB,EAAE,CAAC;IAC9B,WAAW,EAAE,MAAM,CAAC;CACrB;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;CACnB;AAED;;;GAGG;AACH,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,WAAW,EAAE,CAAC;IACrB,KAAK,EAAE,eAAe,EAAE,CAAC;CAC1B;AAED,MAAM,CAAC,OAAO,WAAW,OAAO;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,IAAI,GAAG,IAAI,CAAC;IACnB,MAAM,EAAE,QAAQ,EAAE,CAAC;IACnB,KAAK,EAAE,QAAQ,EAAE,CAAC;IAClB,SAAS,EAAE,SAAS,EAAE,CAAC;IACvB;;;;;;;;;;OAUG;IACH,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,IAAI,EAAE,UAAU,GAAG,IAAI,CAAC;IACxB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,EAAE,CAAC;IAKnB
|
|
1
|
+
{"version":3,"file":"process.d.ts","sourceRoot":"","sources":["../../../src/types/process.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC1C,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAC;AAClC,OAAO,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AACpC,OAAO,KAAK,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACzE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAChD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,SAAS,MAAM,aAAa,CAAC;AACpC,OAAO,IAAI,MAAM,QAAQ,CAAC;AAoB1B,0DAA0D;AAC1D,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,uEAAuE;IACvE,IAAI,EAAE,MAAM,CAAC;IACb;;;;;;;OAOG;IACH,OAAO,CAAC,EAAE,aAAa,CAAC;CACzB;AAED,gFAAgF;AAChF,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,gBAAgB,EAAE,CAAC;IAC3B,OAAO,EAAE,gBAAgB,EAAE,CAAC;CAC7B;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,uEAAuE;IACvE,IAAI,EAAE,MAAM,CAAC;IACb,2EAA2E;IAC3E,MAAM,EAAE,MAAM,CAAC;IACf,uEAAuE;IACvE,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,+EAA+E;IAC/E,MAAM,EAAE,MAAM,CAAC;IACf,gFAAgF;IAChF,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,+DAA+D;IAC/D,SAAS,EAAE,MAAM,CAAC;CACnB;AAED;;;;;GAKG;AACH,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,eAAe;IAC9B,wBAAwB;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,+DAA+D;IAC/D,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,kBAAkB;IACjC,2BAA2B;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,2CAA2C;IAC3C,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,uDAAuD;IACvD,IAAI,EAAE,MAAM,CAAC;IACb,6DAA6D;IAC7D,MAAM,EAAE,MAAM,CAAC;IACf,gDAAgD;IAChD,MAAM,EAAE,MAAM,CAAC;IACf,mDAAmD;IACnD,UAAU,EAAE,MAAM,CAAC;IACnB,yDAAyD;IACzD,WAAW,EAAE,MAAM,CAAC;IACpB,0DAA0D;IAC1D,YAAY,EAAE,MAAM,CAAC;IACrB,2DAA2D;IAC3D,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,sDAAsD;AACtD,MAAM,MAAM,eAAe,GACvB,QAAQ,GACR,UAAU,GACV,SAAS,GACT,kBAAkB,GAClB,aAAa,GACb,WAAW,GACX,aAAa,GACb,cAAc,CAAC;AAEnB;;;;;;;;GAQG;AACH,MAAM,WAAW,kBAAkB;IACjC,uCAAuC;IACvC,KAAK,EAAE,MAAM,CAAC;IACd,uDAAuD;IACvD,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,eAAe,CAAC;IACtB,QAAQ,EAAE,SAAS,GAAG,OAAO,GAAG,EAAE,CAAC;IACnC,sCAAsC;IACtC,IAAI,EAAE,MAAM,CAAC;IACb,2EAA2E;IAC3E,OAAO,EAAE,MAAM,CAAC;IAChB,+CAA+C;IAC/C,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,gDAAgD;IAChD,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB;;;OAGG;IACH,IAAI,EAAE,MAAM,CAAC;IACb,6DAA6D;IAC7D,MAAM,EAAE,MAAM,CAAC;IACf,sEAAsE;IACtE,MAAM,EAAE,MAAM,CAAC;IACf;;;;;OAKG;IACH,KAAK,EAAE,MAAM,CAAC;IACd;;;;;;OAMG;IACH,KAAK,EAAE,MAAM,CAAC;IACd,8EAA8E;IAC9E,MAAM,EAAE,kBAAkB,EAAE,CAAC;IAC7B,gFAAgF;IAChF,OAAO,EAAE,kBAAkB,EAAE,CAAC;IAC9B,WAAW,EAAE,MAAM,CAAC;CACrB;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;CACnB;AAED;;;GAGG;AACH,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,WAAW,EAAE,CAAC;IACrB,KAAK,EAAE,eAAe,EAAE,CAAC;CAC1B;AAED,MAAM,CAAC,OAAO,WAAW,OAAO;IAC9B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,IAAI,GAAG,IAAI,CAAC;IACnB,MAAM,EAAE,QAAQ,EAAE,CAAC;IACnB,KAAK,EAAE,QAAQ,EAAE,CAAC;IAClB,SAAS,EAAE,SAAS,EAAE,CAAC;IACvB;;;;;;;;;;OAUG;IACH,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,IAAI,EAAE,UAAU,GAAG,IAAI,CAAC;IACxB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,EAAE,CAAC;IAKnB;;;sEAGkE;IAClE,SAAS,EAAE,gBAAgB,GAAG,IAAI,CAAC;IACnC,2DAA2D;IAC3D,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB;;;;;;;OAOG;IACH,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB;;;;;;;OAOG;IACH,WAAW,EAAE,gBAAgB,EAAE,CAAC;IAChC;;;;OAIG;IACH,aAAa,EAAE,gBAAgB,EAAE,CAAC;IAClC,kEAAkE;IAClE,QAAQ,EAAE,MAAM,CAAC;IACjB,qDAAqD;IACrD,SAAS,EAAE,gBAAgB,EAAE,CAAC;IAC9B,kDAAkD;IAClD,KAAK,EAAE,MAAM,CAAC;IACd;;;;OAIG;IACH,SAAS,EAAE,aAAa,GAAG,IAAI,CAAC;IAChC;;;;;;;OAOG;IACH,gBAAgB,EAAE,KAAK,GAAG,SAAS,CAAC;IACpC,yEAAyE;IACzE,IAAI,EAAE,WAAW,GAAG,IAAI,CAAC;IAMzB,wEAAwE;IACxE,OAAO,EAAE,MAAM,CAAC;IAChB;;;;;;OAMG;IACH,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,iEAAiE;IACjE,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,iEAAiE;IACjE,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,qEAAqE;IACrE,QAAQ,EAAE,aAAa,EAAE,CAAC;IAC1B,oEAAoE;IACpE,QAAQ,EAAE,eAAe,GAAG,IAAI,CAAC;IACjC,kEAAkE;IAClE,WAAW,EAAE,kBAAkB,GAAG,IAAI,CAAC;IACvC,sEAAsE;IACtE,cAAc,EAAE,MAAM,CAAC;IACvB,wEAAwE;IACxE,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,qEAAqE;IACrE,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,oEAAoE;IACpE,OAAO,EAAE,aAAa,EAAE,CAAC;IAEzB;;;OAGG;IACH,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;IACzB;;;OAGG;IACH,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,MAAM,MAAM,iBAAiB,GAAG,UAAU,CACxC,OAAO,EACP,OAAO,GAAG,QAAQ,GAAG,OAAO,GAAG,WAAW,GAAG,MAAM,CACpD,CAAC"}
|