@primmel/primmel 1.13.0 → 1.15.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 +86 -0
- package/dist/src/check-rules.js.map +1 -1
- package/dist/src/check.d.ts.map +1 -1
- package/dist/src/check.js +805 -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 +38 -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/approval.d.ts.map +1 -1
- package/dist/src/ser-des/config/approval.js +56 -9
- package/dist/src/ser-des/config/approval.js.map +1 -1
- 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/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/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/gateway.d.ts.map +1 -1
- package/dist/src/ser-des/config/gateway.js +57 -0
- package/dist/src/ser-des/config/gateway.js.map +1 -1
- 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 +159 -0
- package/dist/src/ser-des/config/index.js.map +1 -1
- package/dist/src/ser-des/config/process.d.ts.map +1 -1
- package/dist/src/ser-des/config/process.js +46 -0
- package/dist/src/ser-des/config/process.js.map +1 -1
- 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/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 +177 -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/config/workflowStage.d.ts +5 -0
- package/dist/src/ser-des/config/workflowStage.d.ts.map +1 -0
- package/dist/src/ser-des/config/workflowStage.js +96 -0
- package/dist/src/ser-des/config/workflowStage.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 +164 -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 +26 -0
- package/dist/src/ser-des/parse.js.map +1 -1
- package/dist/src/ser-des/types.d.ts +29 -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/Approval.d.ts +5 -0
- package/dist/src/types/Approval.d.ts.map +1 -1
- 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/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/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/Gateway.d.ts +22 -0
- package/dist/src/types/Gateway.d.ts.map +1 -1
- 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/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 +58 -0
- package/dist/src/types/Standard.d.ts.map +1 -1
- package/dist/src/types/Subject.d.ts +31 -1
- package/dist/src/types/Subject.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/src/types/WorkflowStage.d.ts +22 -0
- package/dist/src/types/WorkflowStage.d.ts.map +1 -0
- package/dist/src/types/WorkflowStage.js +37 -0
- package/dist/src/types/WorkflowStage.js.map +1 -0
- package/dist/src/types/process.d.ts +21 -0
- package/dist/src/types/process.d.ts.map +1 -1
- package/dist-browser/index.mjs +2215 -1025
- package/dist-cli/primmel.mjs +8589 -5285
- package/package.json +1 -1
|
@@ -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,19 @@ 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 WorkflowStage from './WorkflowStage';
|
|
36
|
+
import type VerificationPathway from './VerificationPathway';
|
|
37
|
+
import type { LabSelectionCriterion, SampleSelectionRule, SpecimenGovernanceRule } from './SelectionRules';
|
|
38
|
+
import type { TestReportChecklist, TestReportSkeleton } from './TestReport';
|
|
26
39
|
import type { ConnectorProfile } from './Twin';
|
|
27
40
|
import type { Monitor } from './Monitor';
|
|
28
41
|
import type { Passport } from './Passport';
|
|
@@ -139,6 +152,51 @@ export default interface Standard {
|
|
|
139
152
|
behaviors: Behavior[];
|
|
140
153
|
conditionSets: ConditionSet[];
|
|
141
154
|
subjects: Subject[];
|
|
155
|
+
identitySlots: IdentitySlot[];
|
|
156
|
+
aspects: Aspect[];
|
|
157
|
+
/** The rec promise registers (smart TODO.roadmap/40 batch 3) — the
|
|
158
|
+
* file-grade home of the subject-promise sub-grammar (the set id
|
|
159
|
+
* binds the owning subject); a subject's is.promises cannot span
|
|
160
|
+
* files, so the rec registers get their own construct. */
|
|
161
|
+
promiseSets: PromiseSet[];
|
|
162
|
+
/** The applicant-facing documentation register (smart TODO.roadmap/40
|
|
163
|
+
* batch 3) — singleton per rec; NOT the Batch-1 CS participant-
|
|
164
|
+
* declaration machinery. */
|
|
165
|
+
applicationDeclarations: ApplicationDeclaration[];
|
|
166
|
+
/** The evaluation-side wiring + classification cluster (smart
|
|
167
|
+
* TODO.roadmap/40 batch 3): the calculation context (variable →
|
|
168
|
+
* subject-chain source), the form-facing classification field
|
|
169
|
+
* schema, and the named dimension-value presets. */
|
|
170
|
+
calculationContexts: CalculationContext[];
|
|
171
|
+
evaluationDimensions: EvaluationDimensions[];
|
|
172
|
+
evaluationProfiles: EvaluationProfile[];
|
|
173
|
+
/** The certificate rendering contract (smart TODO.roadmap/40 batch 3)
|
|
174
|
+
* — singleton per package; the number format, the dimension-label
|
|
175
|
+
* pattern, the explicit characteristic rows, the ANR section. */
|
|
176
|
+
certificateTemplates: CertificateTemplate[];
|
|
177
|
+
/** The certification workflow step registers (smart TODO.roadmap/40
|
|
178
|
+
* batch 3): the core layer carries the OIML-CS skeleton, the rec
|
|
179
|
+
* packages overlay it (the B3.1 deep merge). */
|
|
180
|
+
workflowConfigs: WorkflowConfig[];
|
|
181
|
+
/** The named pipeline stages (smart TODO.roadmap/40 batch 5) — the
|
|
182
|
+
* workflow constructs grouped per stage: member processes, the
|
|
183
|
+
* bracketing (documentary) events, the approvals and gateways. */
|
|
184
|
+
workflowStages: WorkflowStage[];
|
|
185
|
+
/** The verification pathways beyond type evaluation (smart
|
|
186
|
+
* TODO.roadmap/40 batch 3) — VIML 2.09/2.12–2.14. */
|
|
187
|
+
verificationPathways: VerificationPathway[];
|
|
188
|
+
/** The selection rules (smart TODO.roadmap/40 batch 3): the
|
|
189
|
+
* laboratory-selection criteria, the sample-selection rules, and
|
|
190
|
+
* the specimen-governance rules. */
|
|
191
|
+
labSelectionCriteria: LabSelectionCriterion[];
|
|
192
|
+
sampleSelectionRules: SampleSelectionRule[];
|
|
193
|
+
specimenGovernanceRules: SpecimenGovernanceRule[];
|
|
194
|
+
/** The test-report skeletons + the OIML-CS checklist (smart
|
|
195
|
+
* TODO.roadmap/40 batch 3): the rec's evaluation-report structure,
|
|
196
|
+
* and PD-05 §4.4.3's required-content register with the rec-overlay
|
|
197
|
+
* composition points. */
|
|
198
|
+
testReportSkeletons: TestReportSkeleton[];
|
|
199
|
+
testReportChecklists: TestReportChecklist[];
|
|
142
200
|
instances: Instance[];
|
|
143
201
|
artifactDefinitions: ArtifactDefinition[];
|
|
144
202
|
artifactInstances: ArtifactInstance[];
|
|
@@ -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,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;
|
|
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,aAAa,MAAM,iBAAiB,CAAC;AACjD,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;;uEAEmE;IACnE,cAAc,EAAE,aAAa,EAAE,CAAC;IAChC;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"}
|
|
@@ -371,12 +371,39 @@ export interface PromiseLevel {
|
|
|
371
371
|
/** kind=symbolic: the claimed symbolic level (e.g. an accuracy class). */
|
|
372
372
|
symbolic?: string;
|
|
373
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
|
+
}
|
|
374
400
|
/**
|
|
375
401
|
* is.promises entry (TODO.roadmap/08) — one manufacturer claim on a
|
|
376
402
|
* characteristic or a behavior (doctrine ch. 02 §2.3): possibly
|
|
377
403
|
* envelope-shaped, possibly conditional; the manufacturer binds itself and
|
|
378
404
|
* evaluation verifies. The certificate prints promises-as-verified
|
|
379
|
-
* (ch. 15 §15.2)
|
|
405
|
+
* (ch. 15 §15.2) — the `certificate` block is the print projection
|
|
406
|
+
* (smart TODO.roadmap/40 batch 3).
|
|
380
407
|
*
|
|
381
408
|
* A promise is NOT a declared attribute value: a claim stated as one bare
|
|
382
409
|
* parameter value ("t_min = −10 °C") stays an `origin: declared` attribute
|
|
@@ -409,6 +436,9 @@ export interface SubjectPromise {
|
|
|
409
436
|
verifiedBy: string[];
|
|
410
437
|
/** Clause provenance of the claim. */
|
|
411
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;
|
|
412
442
|
}
|
|
413
443
|
/** is { … } — identity/design aspects. */
|
|
414
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;;;;;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
|
|
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"}
|
|
@@ -0,0 +1,71 @@
|
|
|
1
|
+
import type { ApplicabilityEntry } from './Form';
|
|
2
|
+
/** One form entry of a skeleton section (or subsection). */
|
|
3
|
+
export interface TestReportFormEntry {
|
|
4
|
+
/** The form construct id (e.g. r60-3/sec-4.1 — C140). */
|
|
5
|
+
id: string;
|
|
6
|
+
/** The generated-file stem — NOT derivable from the id. */
|
|
7
|
+
file: string;
|
|
8
|
+
title: string;
|
|
9
|
+
/** The binding conformance_test id ('' when unstated — C140). */
|
|
10
|
+
conformanceTest: string;
|
|
11
|
+
/** The binding requirement ids (C140). */
|
|
12
|
+
requirements: string[];
|
|
13
|
+
/** always | conditional (parse-enforced; '' when unstated). */
|
|
14
|
+
required: string;
|
|
15
|
+
/** The conditional-inclusion rule ([] when unconditional). */
|
|
16
|
+
applicability: ApplicabilityEntry[];
|
|
17
|
+
/** The documentary note ('' when unstated). */
|
|
18
|
+
notes: string;
|
|
19
|
+
}
|
|
20
|
+
/** A titled subsection of a skeleton section. */
|
|
21
|
+
export interface TestReportSubsection {
|
|
22
|
+
/** The subsection title (the heading — subsections carry no id). */
|
|
23
|
+
title: string;
|
|
24
|
+
description: string;
|
|
25
|
+
applicability: ApplicabilityEntry[];
|
|
26
|
+
forms: TestReportFormEntry[];
|
|
27
|
+
}
|
|
28
|
+
/** A clause-keyed skeleton section. */
|
|
29
|
+
export interface TestReportSection {
|
|
30
|
+
/** The clause token (e.g. `4`). */
|
|
31
|
+
id: string;
|
|
32
|
+
title: string;
|
|
33
|
+
description: string;
|
|
34
|
+
forms: TestReportFormEntry[];
|
|
35
|
+
subsections: TestReportSubsection[];
|
|
36
|
+
}
|
|
37
|
+
export interface TestReportSkeleton {
|
|
38
|
+
/** e.g. `r60-3/test-report`. */
|
|
39
|
+
id: string;
|
|
40
|
+
title: string;
|
|
41
|
+
description: string;
|
|
42
|
+
/** The documentary note ('' when unstated — the r91 stub's facet). */
|
|
43
|
+
note: string;
|
|
44
|
+
sections: TestReportSection[];
|
|
45
|
+
}
|
|
46
|
+
/** One checklist entry. Every facet is NULL when unstated (never '')
|
|
47
|
+
* — the overlay deep merge reads null as "the overlay does not name
|
|
48
|
+
* this key" and keeps the base value. */
|
|
49
|
+
export interface TestReportChecklistEntry {
|
|
50
|
+
id: string;
|
|
51
|
+
/** The PD-05 element letter (a–r today; C141 warns outside — the
|
|
52
|
+
* element count can grow). */
|
|
53
|
+
element: string | null;
|
|
54
|
+
description: string | null;
|
|
55
|
+
/** shall | may (parse-enforced when present). */
|
|
56
|
+
obligation: string | null;
|
|
57
|
+
/** The note qualifying the description (the may-entry's). */
|
|
58
|
+
descriptionNote: string | null;
|
|
59
|
+
/** The engine-expression source — documentary, never resolved. */
|
|
60
|
+
source: string | null;
|
|
61
|
+
/** The engine-expression validation — documentary, never resolved. */
|
|
62
|
+
validation: string | null;
|
|
63
|
+
}
|
|
64
|
+
export interface TestReportChecklist {
|
|
65
|
+
/** e.g. `oiml-cs-trf`. */
|
|
66
|
+
id: string;
|
|
67
|
+
/** The deep-merge overlay marker (B3.1; consumed by composition). */
|
|
68
|
+
overlay: boolean;
|
|
69
|
+
entries: TestReportChecklistEntry[];
|
|
70
|
+
}
|
|
71
|
+
//# sourceMappingURL=TestReport.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"TestReport.d.ts","sourceRoot":"","sources":["../../../src/types/TestReport.ts"],"names":[],"mappings":"AAuEA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,QAAQ,CAAC;AAEjD,4DAA4D;AAC5D,MAAM,WAAW,mBAAmB;IAClC,yDAAyD;IACzD,EAAE,EAAE,MAAM,CAAC;IACX,2DAA2D;IAC3D,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,iEAAiE;IACjE,eAAe,EAAE,MAAM,CAAC;IACxB,0CAA0C;IAC1C,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,+DAA+D;IAC/D,QAAQ,EAAE,MAAM,CAAC;IACjB,8DAA8D;IAC9D,aAAa,EAAE,kBAAkB,EAAE,CAAC;IACpC,+CAA+C;IAC/C,KAAK,EAAE,MAAM,CAAC;CACf;AAED,iDAAiD;AACjD,MAAM,WAAW,oBAAoB;IACnC,oEAAoE;IACpE,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,aAAa,EAAE,kBAAkB,EAAE,CAAC;IACpC,KAAK,EAAE,mBAAmB,EAAE,CAAC;CAC9B;AAED,uCAAuC;AACvC,MAAM,WAAW,iBAAiB;IAChC,mCAAmC;IACnC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,mBAAmB,EAAE,CAAC;IAC7B,WAAW,EAAE,oBAAoB,EAAE,CAAC;CACrC;AAED,MAAM,WAAW,kBAAkB;IACjC,gCAAgC;IAChC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,sEAAsE;IACtE,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,iBAAiB,EAAE,CAAC;CAC/B;AAED;;0CAE0C;AAC1C,MAAM,WAAW,wBAAwB;IACvC,EAAE,EAAE,MAAM,CAAC;IACX;mCAC+B;IAC/B,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,iDAAiD;IACjD,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,6DAA6D;IAC7D,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,kEAAkE;IAClE,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,sEAAsE;IACtE,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;CAC3B;AAED,MAAM,WAAW,mBAAmB;IAClC,0BAA0B;IAC1B,EAAE,EAAE,MAAM,CAAC;IACX,qEAAqE;IACrE,OAAO,EAAE,OAAO,CAAC;IACjB,OAAO,EAAE,wBAAwB,EAAE,CAAC;CACrC"}
|
|
@@ -0,0 +1,73 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
// ─────────────────────────────────────────────────────────────────────
|
|
3
|
+
// The test-report skeleton + the OIML-CS test-report checklist (smart
|
|
4
|
+
// TODO.roadmap/40 batch 3; the packages-as-SSOT epic) — two constructs,
|
|
5
|
+
// one file (the schemeType.ts precedent).
|
|
6
|
+
//
|
|
7
|
+
// The skeleton is the rec's evaluation-report structure — sections by
|
|
8
|
+
// clause, forms (the entry id IS the form construct id), and
|
|
9
|
+
// subsections:
|
|
10
|
+
//
|
|
11
|
+
// test_report_skeleton r60-3/test-report {
|
|
12
|
+
// title "OIML R 60 Type Evaluation Report"
|
|
13
|
+
// description "…"
|
|
14
|
+
// note "…" # optional (the r91 stub)
|
|
15
|
+
// section 4 { # the clause token
|
|
16
|
+
// title "Evaluation Report"
|
|
17
|
+
// description "…"
|
|
18
|
+
// form r60-3/sec-4.1 { # id = the form construct (C140)
|
|
19
|
+
// file "04-01-authority-info" # the generated-file stem — NOT derivable from the id
|
|
20
|
+
// title "Issuing Authority"
|
|
21
|
+
// required always # always|conditional (parse-enforced)
|
|
22
|
+
// }
|
|
23
|
+
// form r60-3/sec-4.3.2-b {
|
|
24
|
+
// file "04-03-02-b-performance-digital"
|
|
25
|
+
// title "Summary of Performance Test Results (Digital)"
|
|
26
|
+
// required conditional # ⇒ applicability or notes (C140, warning)
|
|
27
|
+
// applicability { technology: [digital, digital-with-processing] }
|
|
28
|
+
// }
|
|
29
|
+
// subsection "Base Metrological Tests" {
|
|
30
|
+
// description "…"
|
|
31
|
+
// form r60-3/table-6.5 {
|
|
32
|
+
// file "load-cell-errors"
|
|
33
|
+
// title "…"
|
|
34
|
+
// conformance_test /conf/metrological-tests/measurement-error-repeatability-mdlo
|
|
35
|
+
// requirements { /req/metrological/mpe }
|
|
36
|
+
// required always
|
|
37
|
+
// }
|
|
38
|
+
// }
|
|
39
|
+
// }
|
|
40
|
+
// }
|
|
41
|
+
//
|
|
42
|
+
// The checklist is PD-05 §4.4.3's 18-element (a–r) required-content
|
|
43
|
+
// register, single-sourced in the oiml-cs package with the rec packages
|
|
44
|
+
// overlaying the four composition-point entries' rec-bound
|
|
45
|
+
// source/validation strings (the B3.1 deep merge — entry scalars land
|
|
46
|
+
// in place, the base order survives):
|
|
47
|
+
//
|
|
48
|
+
// test_report_checklist oiml-cs-trf { # the oiml-cs package
|
|
49
|
+
// entry sample_identification {
|
|
50
|
+
// element "h"
|
|
51
|
+
// description "Specific samples tested, including their identification"
|
|
52
|
+
// obligation shall # shall|may (parse-enforced)
|
|
53
|
+
// }
|
|
54
|
+
// }
|
|
55
|
+
// # a rec package:
|
|
56
|
+
// test_report_checklist oiml-cs-trf {
|
|
57
|
+
// overlay true
|
|
58
|
+
// entry sample_identification { validation "form_contains('04-07-sample-selection')" }
|
|
59
|
+
// }
|
|
60
|
+
//
|
|
61
|
+
// C140 test-report-skeleton-references: the form entry id → the form
|
|
62
|
+
// construct, conformance_test → conformance_test, requirements →
|
|
63
|
+
// requirement (all per-register gated — the smart R29/R35 mirrors);
|
|
64
|
+
// required conditional ⇒ applicability or notes present (warning).
|
|
65
|
+
// C141 checklist-entry-shape: the element letter ∈ a–r (check-time
|
|
66
|
+
// WARNING — PD-05's element count can grow), the entry ids unique per
|
|
67
|
+
// checklist, and an overlay entry must name an upstream entry id (the
|
|
68
|
+
// orphan-overlay error — the census's R2 residue failure mode). The
|
|
69
|
+
// source/validation strings are engine expressions — documentary,
|
|
70
|
+
// never resolved.
|
|
71
|
+
// ─────────────────────────────────────────────────────────────────────
|
|
72
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
73
|
+
//# sourceMappingURL=TestReport.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"TestReport.js","sourceRoot":"","sources":["../../../src/types/TestReport.ts"],"names":[],"mappings":";AAAA,wEAAwE;AACxE,sEAAsE;AACtE,wEAAwE;AACxE,0CAA0C;AAC1C,EAAE;AACF,sEAAsE;AACtE,6DAA6D;AAC7D,eAAe;AACf,EAAE;AACF,6CAA6C;AAC7C,+CAA+C;AAC/C,sBAAsB;AACtB,qEAAqE;AACrE,8DAA8D;AAC9D,kCAAkC;AAClC,wBAAwB;AACxB,4EAA4E;AAC5E,iGAAiG;AACjG,oCAAoC;AACpC,iFAAiF;AACjF,UAAU;AACV,iCAAiC;AACjC,gDAAgD;AAChD,gEAAgE;AAChE,sFAAsF;AACtF,2EAA2E;AAC3E,UAAU;AACV,+CAA+C;AAC/C,0BAA0B;AAC1B,iCAAiC;AACjC,oCAAoC;AACpC,sBAAsB;AACtB,2FAA2F;AAC3F,mDAAmD;AACnD,4BAA4B;AAC5B,YAAY;AACZ,UAAU;AACV,QAAQ;AACR,MAAM;AACN,EAAE;AACF,oEAAoE;AACpE,wEAAwE;AACxE,2DAA2D;AAC3D,sEAAsE;AACtE,sCAAsC;AACtC,EAAE;AACF,iEAAiE;AACjE,oCAAoC;AACpC,oBAAoB;AACpB,8EAA8E;AAC9E,wEAAwE;AACxE,QAAQ;AACR,MAAM;AACN,qBAAqB;AACrB,wCAAwC;AACxC,mBAAmB;AACnB,2FAA2F;AAC3F,MAAM;AACN,EAAE;AACF,qEAAqE;AACrE,iEAAiE;AACjE,oEAAoE;AACpE,mEAAmE;AACnE,mEAAmE;AACnE,sEAAsE;AACtE,sEAAsE;AACtE,oEAAoE;AACpE,kEAAkE;AAClE,kBAAkB;AAClB,wEAAwE"}
|
|
@@ -0,0 +1,63 @@
|
|
|
1
|
+
import type { ApplicabilityEntry } from './Form';
|
|
2
|
+
import type { SourceRef } from './Subject';
|
|
3
|
+
/** The validity window (the scheme_lifecycle window sub-grammar). */
|
|
4
|
+
export interface VerificationWindow {
|
|
5
|
+
years: number;
|
|
6
|
+
months: number;
|
|
7
|
+
}
|
|
8
|
+
/** One re-verification trigger. */
|
|
9
|
+
export interface VerificationTrigger {
|
|
10
|
+
id: string;
|
|
11
|
+
/** timer | signal (parse-enforced; '' when unstated). */
|
|
12
|
+
kind: string;
|
|
13
|
+
/** The out-of-cycle signal event — required iff kind signal (C138). */
|
|
14
|
+
event: string;
|
|
15
|
+
/** The lifecycle state-machine transition action (C138, gated). */
|
|
16
|
+
action: string;
|
|
17
|
+
/** The dimension applicability ([] = unconditional). */
|
|
18
|
+
applicability: ApplicabilityEntry[];
|
|
19
|
+
description: string;
|
|
20
|
+
source: SourceRef | null;
|
|
21
|
+
}
|
|
22
|
+
/** One verification mark. */
|
|
23
|
+
export interface VerificationMark {
|
|
24
|
+
id: string;
|
|
25
|
+
mark: string;
|
|
26
|
+
location: string;
|
|
27
|
+
clause: string;
|
|
28
|
+
}
|
|
29
|
+
export default interface VerificationPathway {
|
|
30
|
+
/** e.g. `initial-verification`. */
|
|
31
|
+
id: string;
|
|
32
|
+
/** initial | subsequent | periodic | in-service (parse-enforced). */
|
|
33
|
+
kind: string;
|
|
34
|
+
label: string;
|
|
35
|
+
description: string;
|
|
36
|
+
/** The pre-test visual inspection prose ('' when unstated). */
|
|
37
|
+
visualInspection: string;
|
|
38
|
+
/** The per-kind test set — conformance_test ids. */
|
|
39
|
+
tests: string[];
|
|
40
|
+
/** The conformity-assessment scope (null when unstated). */
|
|
41
|
+
assessment: {
|
|
42
|
+
covers: string[];
|
|
43
|
+
description: string;
|
|
44
|
+
} | null;
|
|
45
|
+
/** The limits mode block (null when unstated). */
|
|
46
|
+
limits: {
|
|
47
|
+
mode: string;
|
|
48
|
+
description: string;
|
|
49
|
+
source: SourceRef | null;
|
|
50
|
+
} | null;
|
|
51
|
+
/** The marking block (null when unstated). */
|
|
52
|
+
marking: {
|
|
53
|
+
marks: VerificationMark[];
|
|
54
|
+
securing: string[];
|
|
55
|
+
} | null;
|
|
56
|
+
/** The validity block (null when unstated). */
|
|
57
|
+
validity: {
|
|
58
|
+
window: VerificationWindow | null;
|
|
59
|
+
triggers: VerificationTrigger[];
|
|
60
|
+
} | null;
|
|
61
|
+
source: SourceRef | null;
|
|
62
|
+
}
|
|
63
|
+
//# sourceMappingURL=VerificationPathway.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"VerificationPathway.d.ts","sourceRoot":"","sources":["../../../src/types/VerificationPathway.ts"],"names":[],"mappings":"AAsDA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,QAAQ,CAAC;AACjD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAE3C,qEAAqE;AACrE,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,mCAAmC;AACnC,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,yDAAyD;IACzD,IAAI,EAAE,MAAM,CAAC;IACb,uEAAuE;IACvE,KAAK,EAAE,MAAM,CAAC;IACd,mEAAmE;IACnE,MAAM,EAAE,MAAM,CAAC;IACf,wDAAwD;IACxD,aAAa,EAAE,kBAAkB,EAAE,CAAC;IACpC,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;CAC1B;AAED,6BAA6B;AAC7B,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,CAAC,OAAO,WAAW,mBAAmB;IAC1C,mCAAmC;IACnC,EAAE,EAAE,MAAM,CAAC;IACX,qEAAqE;IACrE,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,+DAA+D;IAC/D,gBAAgB,EAAE,MAAM,CAAC;IACzB,oDAAoD;IACpD,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,4DAA4D;IAC5D,UAAU,EAAE;QAAE,MAAM,EAAE,MAAM,EAAE,CAAC;QAAC,WAAW,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;IAC7D,kDAAkD;IAClD,MAAM,EAAE;QACN,IAAI,EAAE,MAAM,CAAC;QACb,WAAW,EAAE,MAAM,CAAC;QACpB,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;KAC1B,GAAG,IAAI,CAAC;IACT,8CAA8C;IAC9C,OAAO,EAAE;QAAE,KAAK,EAAE,gBAAgB,EAAE,CAAC;QAAC,QAAQ,EAAE,MAAM,EAAE,CAAA;KAAE,GAAG,IAAI,CAAC;IAClE,+CAA+C;IAC/C,QAAQ,EAAE;QACR,MAAM,EAAE,kBAAkB,GAAG,IAAI,CAAC;QAClC,QAAQ,EAAE,mBAAmB,EAAE,CAAC;KACjC,GAAG,IAAI,CAAC;IACT,MAAM,EAAE,SAAS,GAAG,IAAI,CAAC;CAC1B"}
|
|
@@ -0,0 +1,56 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
// ─────────────────────────────────────────────────────────────────────
|
|
3
|
+
// The verification pathway (smart TODO.roadmap/40 batch 3; the
|
|
4
|
+
// packages-as-SSOT epic) — the metrological-control pathways beyond
|
|
5
|
+
// type evaluation (OIML V 1:2022, 2.09 verification; 2.12 initial /
|
|
6
|
+
// 2.13 subsequent / 2.14 mandatory periodic; the in-service inspection
|
|
7
|
+
// kind is the Recommendation's own): the per-kind test set REUSING the
|
|
8
|
+
// conformance machinery, the assessment scope, the limits mode, the
|
|
9
|
+
// marking/securing applied after a pass, and the validity window with
|
|
10
|
+
// its re-verification triggers bound to lifecycle state-machine
|
|
11
|
+
// actions:
|
|
12
|
+
//
|
|
13
|
+
// verification_pathway initial-verification {
|
|
14
|
+
// kind initial # initial|subsequent|periodic|in-service (parse-enforced)
|
|
15
|
+
// label "Initial verification"
|
|
16
|
+
// description "…"
|
|
17
|
+
// visual_inspection "…" # optional
|
|
18
|
+
// tests { /conf/field/stationary-field-test … } # → conformance_test (C138)
|
|
19
|
+
// assessment {
|
|
20
|
+
// covers { /req/metrological/mpe-stationary … } # → requirement (C138)
|
|
21
|
+
// description "…"
|
|
22
|
+
// }
|
|
23
|
+
// limits {
|
|
24
|
+
// mode same-as-type-evaluation # same-as-type-evaluation|override (parse-enforced)
|
|
25
|
+
// description "…"
|
|
26
|
+
// source { doc "urn:oiml:pub:r:91-1:2025" clause "8.2.3" }
|
|
27
|
+
// }
|
|
28
|
+
// marking {
|
|
29
|
+
// mark verification-mark { mark "verification mark" location "…" clause "8.2.4" }
|
|
30
|
+
// securing { "sealing of adjustment means (7.13 a)" "…" }
|
|
31
|
+
// }
|
|
32
|
+
// validity {
|
|
33
|
+
// window { years 1 } # the scheme_lifecycle window sub-grammar (≥1 of years/months — C138)
|
|
34
|
+
// trigger validity-elapsed { kind timer action validity_elapsed description "…" }
|
|
35
|
+
// trigger tyre-change {
|
|
36
|
+
// kind signal # timer|signal (parse-enforced)
|
|
37
|
+
// event tyre-change # required iff kind signal (C138)
|
|
38
|
+
// action invalidating_signal_received # → a lifecycle state_machine transition action (C138, gated)
|
|
39
|
+
// applicability { mode_of_use: [moving] }
|
|
40
|
+
// source { doc "urn:oiml:pub:r:91-1:2025" clause "6.15.3 Note 2" }
|
|
41
|
+
// }
|
|
42
|
+
// }
|
|
43
|
+
// source { doc "urn:oiml:pub:r:91-1:2025" clause "8.2" }
|
|
44
|
+
// }
|
|
45
|
+
//
|
|
46
|
+
// The YAML `reference:` facet is DROPPED (derivable from `source` — the
|
|
47
|
+
// Batch-2 decision on abstract processes).
|
|
48
|
+
//
|
|
49
|
+
// C138 verification-pathway-references: tests → conformance_test,
|
|
50
|
+
// covers → requirement (per-register gated), the trigger action → a
|
|
51
|
+
// transition action of an in-scope lifecycle state_machine (the R22
|
|
52
|
+
// mirror), event required iff kind signal, the window carries ≥1 of
|
|
53
|
+
// years/months.
|
|
54
|
+
// ─────────────────────────────────────────────────────────────────────
|
|
55
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
56
|
+
//# sourceMappingURL=VerificationPathway.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"VerificationPathway.js","sourceRoot":"","sources":["../../../src/types/VerificationPathway.ts"],"names":[],"mappings":";AAAA,wEAAwE;AACxE,+DAA+D;AAC/D,oEAAoE;AACpE,oEAAoE;AACpE,uEAAuE;AACvE,uEAAuE;AACvE,oEAAoE;AACpE,sEAAsE;AACtE,gEAAgE;AAChE,WAAW;AACX,EAAE;AACF,gDAAgD;AAChD,kGAAkG;AAClG,mCAAmC;AACnC,sBAAsB;AACtB,mDAAmD;AACnD,kFAAkF;AAClF,mBAAmB;AACnB,6EAA6E;AAC7E,wBAAwB;AACxB,QAAQ;AACR,eAAe;AACf,4FAA4F;AAC5F,wBAAwB;AACxB,iEAAiE;AACjE,QAAQ;AACR,gBAAgB;AAChB,wFAAwF;AACxF,gEAAgE;AAChE,QAAQ;AACR,iBAAiB;AACjB,8GAA8G;AAC9G,wFAAwF;AACxF,8BAA8B;AAC9B,wEAAwE;AACxE,0EAA0E;AAC1E,8GAA8G;AAC9G,kDAAkD;AAClD,2EAA2E;AAC3E,UAAU;AACV,QAAQ;AACR,6DAA6D;AAC7D,MAAM;AACN,EAAE;AACF,wEAAwE;AACxE,2CAA2C;AAC3C,EAAE;AACF,kEAAkE;AAClE,oEAAoE;AACpE,oEAAoE;AACpE,oEAAoE;AACpE,gBAAgB;AAChB,wEAAwE"}
|
|
@@ -0,0 +1,34 @@
|
|
|
1
|
+
/** One workflow step. The optional scalar facets are NULL when
|
|
2
|
+
* unstated (never '') — the overlay deep merge reads null as "the
|
|
3
|
+
* overlay does not name this key" and keeps the base value. */
|
|
4
|
+
export interface WorkflowStep {
|
|
5
|
+
/** The step id. */
|
|
6
|
+
id: string;
|
|
7
|
+
/** intake | dispatch | testing | evaluation | issuance
|
|
8
|
+
* (parse-enforced; null when an overlay entry restates none). */
|
|
9
|
+
phase: string | null;
|
|
10
|
+
/** The owning role id (snake_case; resolves against the role
|
|
11
|
+
* register — C137; null when unstated). */
|
|
12
|
+
actor: string | null;
|
|
13
|
+
/** The UI label (null when unstated). */
|
|
14
|
+
label: string | null;
|
|
15
|
+
/** The prose description (null when unstated). */
|
|
16
|
+
description: string | null;
|
|
17
|
+
/** The data-class ids (or documentary composite strings) the step
|
|
18
|
+
* reads ([] appends nothing under the overlay merge). */
|
|
19
|
+
inputs: string[];
|
|
20
|
+
/** The data-class ids (or documentary composite strings) the step
|
|
21
|
+
* produces ([] appends nothing under the overlay merge). */
|
|
22
|
+
outputs: string[];
|
|
23
|
+
/** The gate predicates — prose, never resolved (C137). */
|
|
24
|
+
gates: string[];
|
|
25
|
+
}
|
|
26
|
+
export default interface WorkflowConfig {
|
|
27
|
+
/** Conventionally `certification` (singleton per layer). */
|
|
28
|
+
id: string;
|
|
29
|
+
/** The deep-merge overlay marker (B3.1; consumed by composition). */
|
|
30
|
+
overlay: boolean;
|
|
31
|
+
/** The steps, in declared order. */
|
|
32
|
+
steps: WorkflowStep[];
|
|
33
|
+
}
|
|
34
|
+
//# sourceMappingURL=WorkflowConfig.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"WorkflowConfig.d.ts","sourceRoot":"","sources":["../../../src/types/WorkflowConfig.ts"],"names":[],"mappings":"AA6CA;;gEAEgE;AAChE,MAAM,WAAW,YAAY;IAC3B,mBAAmB;IACnB,EAAE,EAAE,MAAM,CAAC;IACX;sEACkE;IAClE,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB;gDAC4C;IAC5C,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,yCAAyC;IACzC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,kDAAkD;IAClD,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B;8DAC0D;IAC1D,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB;iEAC6D;IAC7D,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,0DAA0D;IAC1D,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED,MAAM,CAAC,OAAO,WAAW,cAAc;IACrC,4DAA4D;IAC5D,EAAE,EAAE,MAAM,CAAC;IACX,qEAAqE;IACrE,OAAO,EAAE,OAAO,CAAC;IACjB,oCAAoC;IACpC,KAAK,EAAE,YAAY,EAAE,CAAC;CACvB"}
|
|
@@ -0,0 +1,47 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
// ─────────────────────────────────────────────────────────────────────
|
|
3
|
+
// The workflow config (smart TODO.roadmap/40 batch 3; the
|
|
4
|
+
// packages-as-SSOT epic) — the rec's certification workflow as a
|
|
5
|
+
// register of steps with explicit actor handoffs (smart's
|
|
6
|
+
// workflow.service.ts gating), a different thing from the
|
|
7
|
+
// `process`/`process_model` abstract-process machinery and from
|
|
8
|
+
// `state_machine` lifecycles:
|
|
9
|
+
//
|
|
10
|
+
// workflow_config certification { # singleton per layer
|
|
11
|
+
// step application {
|
|
12
|
+
// phase intake # intake|dispatch|testing|evaluation|issuance (parse-enforced)
|
|
13
|
+
// actor applicant # → role register (C137)
|
|
14
|
+
// label "Type Evaluation Application"
|
|
15
|
+
// description "…"
|
|
16
|
+
// inputs { applicant_info model_family_matrix documentation }
|
|
17
|
+
// outputs { Application }
|
|
18
|
+
// gates { "Application.status = SUBMITTED" "…" }
|
|
19
|
+
// }
|
|
20
|
+
// …
|
|
21
|
+
// }
|
|
22
|
+
//
|
|
23
|
+
// # a rec package overlays the core skeleton:
|
|
24
|
+
// workflow_config certification {
|
|
25
|
+
// overlay true # the deep-merge marker (B3.1)
|
|
26
|
+
// step test-request-dispatch {
|
|
27
|
+
// gates { "Each TestRequest.required_forms subset of R 60-3 form identifiers" }
|
|
28
|
+
// }
|
|
29
|
+
// }
|
|
30
|
+
//
|
|
31
|
+
// The OVERLAY composition is the point: the core layer carries the
|
|
32
|
+
// 5-step OIML-CS skeleton and each rec package appends its bound gate
|
|
33
|
+
// criteria — `workflowConfigs` rides OVERLAY_DEEP_MERGE_FIELDS, so an
|
|
34
|
+
// overlay-marked entry merges FIELD-WISE (steps union by id preserving
|
|
35
|
+
// first-seen order, gates append as a union, scalars override), the
|
|
36
|
+
// smart layer-composer's contract.
|
|
37
|
+
//
|
|
38
|
+
// C137 workflow-config-references: `actor` resolves against the role
|
|
39
|
+
// register (per-register gated; role ids are snake_case — the YAML
|
|
40
|
+
// hyphenation is the emitter's); `inputs`/`outputs` entries resolve
|
|
41
|
+
// against the data-class register ONLY when the entry is a single clean
|
|
42
|
+
// token (composite strings like "TestReport containing FormInstance"
|
|
43
|
+
// stay documentary — skipped, never errored); `gates` are prose
|
|
44
|
+
// predicates — never resolved (the R26 field-resolution precedent).
|
|
45
|
+
// ─────────────────────────────────────────────────────────────────────
|
|
46
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
47
|
+
//# sourceMappingURL=WorkflowConfig.js.map
|