@primmel/primmel 1.3.2 → 1.4.1
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/index.d.ts +40 -4
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +112 -1
- package/dist/index.js.map +1 -1
- package/dist/src/check-allowlist.d.ts +56 -0
- package/dist/src/check-allowlist.d.ts.map +1 -0
- package/dist/src/check-allowlist.js +307 -0
- package/dist/src/check-allowlist.js.map +1 -0
- package/dist/src/check-rules.d.ts +17 -0
- package/dist/src/check-rules.d.ts.map +1 -0
- package/dist/src/check-rules.js +351 -0
- package/dist/src/check-rules.js.map +1 -0
- package/dist/src/check.d.ts +115 -0
- package/dist/src/check.d.ts.map +1 -0
- package/dist/src/check.js +4164 -0
- package/dist/src/check.js.map +1 -0
- package/dist/src/export/rdf-competency-questions.d.ts +11 -0
- package/dist/src/export/rdf-competency-questions.d.ts.map +1 -0
- package/dist/src/export/rdf-competency-questions.js +99 -0
- package/dist/src/export/rdf-competency-questions.js.map +1 -0
- package/dist/src/export/rdf-shapes.d.ts +3 -0
- package/dist/src/export/rdf-shapes.d.ts.map +1 -0
- package/dist/src/export/rdf-shapes.js +225 -0
- package/dist/src/export/rdf-shapes.js.map +1 -0
- package/dist/src/export/rdf-vocabulary.d.ts +125 -0
- package/dist/src/export/rdf-vocabulary.d.ts.map +1 -0
- package/dist/src/export/rdf-vocabulary.js +230 -0
- package/dist/src/export/rdf-vocabulary.js.map +1 -0
- package/dist/src/export/rdf.d.ts +92 -0
- package/dist/src/export/rdf.d.ts.map +1 -0
- package/dist/src/export/rdf.js +707 -0
- package/dist/src/export/rdf.js.map +1 -0
- package/dist/src/export/reqif.d.ts +81 -0
- package/dist/src/export/reqif.d.ts.map +1 -0
- package/dist/src/export/reqif.js +703 -0
- package/dist/src/export/reqif.js.map +1 -0
- package/dist/src/instance-resolution.d.ts +68 -0
- package/dist/src/instance-resolution.d.ts.map +1 -0
- package/dist/src/instance-resolution.js +239 -0
- package/dist/src/instance-resolution.js.map +1 -0
- package/dist/src/mapping-coverage.d.ts +220 -0
- package/dist/src/mapping-coverage.d.ts.map +1 -0
- package/dist/src/mapping-coverage.js +528 -0
- package/dist/src/mapping-coverage.js.map +1 -0
- package/dist/src/model-diff.d.ts +198 -0
- package/dist/src/model-diff.d.ts.map +1 -0
- package/dist/src/model-diff.js +914 -0
- package/dist/src/model-diff.js.map +1 -0
- package/dist/src/operational-state.d.ts +112 -0
- package/dist/src/operational-state.d.ts.map +1 -0
- package/dist/src/operational-state.js +162 -0
- package/dist/src/operational-state.js.map +1 -0
- package/dist/src/package-diff.d.ts +36 -0
- package/dist/src/package-diff.d.ts.map +1 -0
- package/dist/src/package-diff.js +104 -0
- package/dist/src/package-diff.js.map +1 -0
- package/dist/src/ser-des/config/acceptance.d.ts +10 -0
- package/dist/src/ser-des/config/acceptance.d.ts.map +1 -0
- package/dist/src/ser-des/config/acceptance.js +163 -0
- package/dist/src/ser-des/config/acceptance.js.map +1 -0
- package/dist/src/ser-des/config/activityArchetype.d.ts +5 -0
- package/dist/src/ser-des/config/activityArchetype.d.ts.map +1 -0
- package/dist/src/ser-des/config/activityArchetype.js +78 -0
- package/dist/src/ser-des/config/activityArchetype.js.map +1 -0
- package/dist/src/ser-des/config/artifact.d.ts +16 -0
- package/dist/src/ser-des/config/artifact.d.ts.map +1 -0
- package/dist/src/ser-des/config/artifact.js +392 -0
- package/dist/src/ser-des/config/artifact.js.map +1 -0
- package/dist/src/ser-des/config/calculation.d.ts.map +1 -1
- package/dist/src/ser-des/config/calculation.js +214 -12
- package/dist/src/ser-des/config/calculation.js.map +1 -1
- package/dist/src/ser-des/config/comment.d.ts +34 -0
- package/dist/src/ser-des/config/comment.d.ts.map +1 -0
- package/dist/src/ser-des/config/comment.js +121 -0
- package/dist/src/ser-des/config/comment.js.map +1 -0
- package/dist/src/ser-des/config/competenceKind.d.ts +8 -0
- package/dist/src/ser-des/config/competenceKind.d.ts.map +1 -0
- package/dist/src/ser-des/config/competenceKind.js +266 -0
- package/dist/src/ser-des/config/competenceKind.js.map +1 -0
- package/dist/src/ser-des/config/composition.d.ts +6 -0
- package/dist/src/ser-des/config/composition.d.ts.map +1 -0
- package/dist/src/ser-des/config/composition.js +165 -0
- package/dist/src/ser-des/config/composition.js.map +1 -0
- package/dist/src/ser-des/config/conformanceClass.d.ts +9 -0
- package/dist/src/ser-des/config/conformanceClass.d.ts.map +1 -0
- package/dist/src/ser-des/config/conformanceClass.js +128 -0
- package/dist/src/ser-des/config/conformanceClass.js.map +1 -0
- package/dist/src/ser-des/config/conformanceTest.d.ts +6 -0
- package/dist/src/ser-des/config/conformanceTest.d.ts.map +1 -0
- package/dist/src/ser-des/config/conformanceTest.js +929 -0
- package/dist/src/ser-des/config/conformanceTest.js.map +1 -0
- package/dist/src/ser-des/config/constraint.d.ts +5 -0
- package/dist/src/ser-des/config/constraint.d.ts.map +1 -0
- package/dist/src/ser-des/config/constraint.js +108 -0
- package/dist/src/ser-des/config/constraint.js.map +1 -0
- package/dist/src/ser-des/config/data.d.ts.map +1 -1
- package/dist/src/ser-des/config/data.js +105 -12
- package/dist/src/ser-des/config/data.js.map +1 -1
- package/dist/src/ser-des/config/design.d.ts +9 -0
- package/dist/src/ser-des/config/design.d.ts.map +1 -0
- package/dist/src/ser-des/config/design.js +847 -0
- package/dist/src/ser-des/config/design.js.map +1 -0
- package/dist/src/ser-des/config/discrepancyRecord.d.ts +5 -0
- package/dist/src/ser-des/config/discrepancyRecord.d.ts.map +1 -0
- package/dist/src/ser-des/config/discrepancyRecord.js +109 -0
- package/dist/src/ser-des/config/discrepancyRecord.js.map +1 -0
- package/dist/src/ser-des/config/dual.d.ts +9 -0
- package/dist/src/ser-des/config/dual.d.ts.map +1 -0
- package/dist/src/ser-des/config/dual.js +84 -0
- package/dist/src/ser-des/config/dual.js.map +1 -0
- package/dist/src/ser-des/config/field-parser.d.ts +92 -7
- package/dist/src/ser-des/config/field-parser.d.ts.map +1 -1
- package/dist/src/ser-des/config/field-parser.js +844 -29
- package/dist/src/ser-des/config/field-parser.js.map +1 -1
- package/dist/src/ser-des/config/form.d.ts.map +1 -1
- package/dist/src/ser-des/config/form.js +356 -134
- package/dist/src/ser-des/config/form.js.map +1 -1
- package/dist/src/ser-des/config/formulasUsed.d.ts +9 -0
- package/dist/src/ser-des/config/formulasUsed.d.ts.map +1 -0
- package/dist/src/ser-des/config/formulasUsed.js +126 -0
- package/dist/src/ser-des/config/formulasUsed.js.map +1 -0
- package/dist/src/ser-des/config/index.d.ts.map +1 -1
- package/dist/src/ser-des/config/index.js +180 -1
- package/dist/src/ser-des/config/index.js.map +1 -1
- package/dist/src/ser-des/config/instance.d.ts +22 -0
- package/dist/src/ser-des/config/instance.d.ts.map +1 -0
- package/dist/src/ser-des/config/instance.js +266 -0
- package/dist/src/ser-des/config/instance.js.map +1 -0
- package/dist/src/ser-des/config/invariant.d.ts +9 -0
- package/dist/src/ser-des/config/invariant.d.ts.map +1 -0
- package/dist/src/ser-des/config/invariant.js +143 -0
- package/dist/src/ser-des/config/invariant.js.map +1 -0
- package/dist/src/ser-des/config/mapProfile.d.ts.map +1 -1
- package/dist/src/ser-des/config/mapProfile.js +199 -14
- package/dist/src/ser-des/config/mapProfile.js.map +1 -1
- package/dist/src/ser-des/config/metadata.js +6 -6
- package/dist/src/ser-des/config/metadata.js.map +1 -1
- package/dist/src/ser-des/config/monitor.d.ts +9 -0
- package/dist/src/ser-des/config/monitor.d.ts.map +1 -0
- package/dist/src/ser-des/config/monitor.js +322 -0
- package/dist/src/ser-des/config/monitor.js.map +1 -0
- package/dist/src/ser-des/config/note.d.ts.map +1 -1
- package/dist/src/ser-des/config/note.js +16 -1
- package/dist/src/ser-des/config/note.js.map +1 -1
- package/dist/src/ser-des/config/packageManifest.d.ts +5 -0
- package/dist/src/ser-des/config/packageManifest.d.ts.map +1 -0
- package/dist/src/ser-des/config/packageManifest.js +349 -0
- package/dist/src/ser-des/config/packageManifest.js.map +1 -0
- package/dist/src/ser-des/config/passport.d.ts +9 -0
- package/dist/src/ser-des/config/passport.d.ts.map +1 -0
- package/dist/src/ser-des/config/passport.js +191 -0
- package/dist/src/ser-des/config/passport.js.map +1 -0
- package/dist/src/ser-des/config/process.d.ts +5 -3
- package/dist/src/ser-des/config/process.d.ts.map +1 -1
- package/dist/src/ser-des/config/process.js +915 -8
- package/dist/src/ser-des/config/process.js.map +1 -1
- package/dist/src/ser-des/config/quantity.d.ts +21 -0
- package/dist/src/ser-des/config/quantity.d.ts.map +1 -0
- package/dist/src/ser-des/config/quantity.js +114 -0
- package/dist/src/ser-des/config/quantity.js.map +1 -0
- package/dist/src/ser-des/config/quantityRegister.d.ts +9 -0
- package/dist/src/ser-des/config/quantityRegister.d.ts.map +1 -0
- package/dist/src/ser-des/config/quantityRegister.js +202 -0
- package/dist/src/ser-des/config/quantityRegister.js.map +1 -0
- package/dist/src/ser-des/config/reference.d.ts.map +1 -1
- package/dist/src/ser-des/config/reference.js +6 -0
- package/dist/src/ser-des/config/reference.js.map +1 -1
- package/dist/src/ser-des/config/referenceMaterial.d.ts +5 -0
- package/dist/src/ser-des/config/referenceMaterial.d.ts.map +1 -0
- package/dist/src/ser-des/config/referenceMaterial.js +296 -0
- package/dist/src/ser-des/config/referenceMaterial.js.map +1 -0
- package/dist/src/ser-des/config/requirement.d.ts +16 -0
- package/dist/src/ser-des/config/requirement.d.ts.map +1 -0
- package/dist/src/ser-des/config/requirement.js +579 -0
- package/dist/src/ser-des/config/requirement.js.map +1 -0
- package/dist/src/ser-des/config/role.d.ts.map +1 -1
- package/dist/src/ser-des/config/role.js +12 -0
- package/dist/src/ser-des/config/role.js.map +1 -1
- package/dist/src/ser-des/config/series.d.ts +9 -0
- package/dist/src/ser-des/config/series.d.ts.map +1 -0
- package/dist/src/ser-des/config/series.js +121 -0
- package/dist/src/ser-des/config/series.js.map +1 -0
- package/dist/src/ser-des/config/sourceDiscrepancy.d.ts +11 -0
- package/dist/src/ser-des/config/sourceDiscrepancy.d.ts.map +1 -0
- package/dist/src/ser-des/config/sourceDiscrepancy.js +83 -0
- package/dist/src/ser-des/config/sourceDiscrepancy.js.map +1 -0
- package/dist/src/ser-des/config/stateMachine.d.ts.map +1 -1
- package/dist/src/ser-des/config/stateMachine.js +189 -38
- package/dist/src/ser-des/config/stateMachine.js.map +1 -1
- package/dist/src/ser-des/config/subform.d.ts.map +1 -1
- package/dist/src/ser-des/config/subform.js +25 -33
- package/dist/src/ser-des/config/subform.js.map +1 -1
- package/dist/src/ser-des/config/subject.d.ts +58 -0
- package/dist/src/ser-des/config/subject.d.ts.map +1 -0
- package/dist/src/ser-des/config/subject.js +2093 -0
- package/dist/src/ser-des/config/subject.js.map +1 -0
- package/dist/src/ser-des/config/symbol.d.ts.map +1 -1
- package/dist/src/ser-des/config/symbol.js +130 -6
- package/dist/src/ser-des/config/symbol.js.map +1 -1
- package/dist/src/ser-des/config/table.d.ts.map +1 -1
- package/dist/src/ser-des/config/table.js +373 -7
- package/dist/src/ser-des/config/table.js.map +1 -1
- package/dist/src/ser-des/config/term.d.ts.map +1 -1
- package/dist/src/ser-des/config/term.js +107 -0
- package/dist/src/ser-des/config/term.js.map +1 -1
- package/dist/src/ser-des/config/testPointSet.d.ts +5 -0
- package/dist/src/ser-des/config/testPointSet.d.ts.map +1 -0
- package/dist/src/ser-des/config/testPointSet.js +199 -0
- package/dist/src/ser-des/config/testPointSet.js.map +1 -0
- package/dist/src/ser-des/config/testSequence.d.ts +9 -0
- package/dist/src/ser-des/config/testSequence.d.ts.map +1 -0
- package/dist/src/ser-des/config/testSequence.js +206 -0
- package/dist/src/ser-des/config/testSequence.js.map +1 -0
- package/dist/src/ser-des/config/text.d.ts +5 -0
- package/dist/src/ser-des/config/text.d.ts.map +1 -0
- package/dist/src/ser-des/config/text.js +106 -0
- package/dist/src/ser-des/config/text.js.map +1 -0
- package/dist/src/ser-des/config/twin.d.ts +31 -0
- package/dist/src/ser-des/config/twin.d.ts.map +1 -0
- package/dist/src/ser-des/config/twin.js +362 -0
- package/dist/src/ser-des/config/twin.js.map +1 -0
- package/dist/src/ser-des/config/verdict.d.ts +5 -0
- package/dist/src/ser-des/config/verdict.d.ts.map +1 -0
- package/dist/src/ser-des/config/verdict.js +159 -0
- package/dist/src/ser-des/config/verdict.js.map +1 -0
- package/dist/src/ser-des/config/viewProfile.d.ts.map +1 -1
- package/dist/src/ser-des/config/viewProfile.js +7 -0
- package/dist/src/ser-des/config/viewProfile.js.map +1 -1
- package/dist/src/ser-des/includes.d.ts.map +1 -1
- package/dist/src/ser-des/includes.js +5 -2
- package/dist/src/ser-des/includes.js.map +1 -1
- package/dist/src/ser-des/index.d.ts +12 -0
- package/dist/src/ser-des/index.d.ts.map +1 -1
- package/dist/src/ser-des/index.js +42 -0
- package/dist/src/ser-des/index.js.map +1 -1
- package/dist/src/ser-des/package.d.ts +53 -0
- package/dist/src/ser-des/package.d.ts.map +1 -0
- package/dist/src/ser-des/package.js +404 -0
- package/dist/src/ser-des/package.js.map +1 -0
- package/dist/src/ser-des/parse-block.d.ts.map +1 -1
- package/dist/src/ser-des/parse-block.js +7 -1
- package/dist/src/ser-des/parse-block.js.map +1 -1
- package/dist/src/ser-des/parse.d.ts.map +1 -1
- package/dist/src/ser-des/parse.js +45 -0
- package/dist/src/ser-des/parse.js.map +1 -1
- package/dist/src/ser-des/prm.d.ts +53 -0
- package/dist/src/ser-des/prm.d.ts.map +1 -0
- package/dist/src/ser-des/prm.js +257 -0
- package/dist/src/ser-des/prm.js.map +1 -0
- package/dist/src/ser-des/resolve.d.ts.map +1 -1
- package/dist/src/ser-des/resolve.js +1 -0
- package/dist/src/ser-des/resolve.js.map +1 -1
- package/dist/src/ser-des/tokenize.d.ts +11 -0
- package/dist/src/ser-des/tokenize.d.ts.map +1 -1
- package/dist/src/ser-des/tokenize.js +28 -1
- package/dist/src/ser-des/tokenize.js.map +1 -1
- package/dist/src/ser-des/types.d.ts +56 -1
- package/dist/src/ser-des/types.d.ts.map +1 -1
- package/dist/src/spelling.d.ts +35 -0
- package/dist/src/spelling.d.ts.map +1 -0
- package/dist/src/spelling.js +140 -0
- package/dist/src/spelling.js.map +1 -0
- package/dist/src/text-coverage.d.ts +164 -0
- package/dist/src/text-coverage.d.ts.map +1 -0
- package/dist/src/text-coverage.js +679 -0
- package/dist/src/text-coverage.js.map +1 -0
- package/dist/src/time.d.ts +55 -0
- package/dist/src/time.d.ts.map +1 -0
- package/dist/src/time.js +223 -0
- package/dist/src/time.js.map +1 -0
- package/dist/src/type-expr.d.ts +31 -0
- package/dist/src/type-expr.d.ts.map +1 -0
- package/dist/src/type-expr.js +110 -0
- package/dist/src/type-expr.js.map +1 -0
- package/dist/src/types/Acceptance.d.ts +31 -0
- package/dist/src/types/Acceptance.d.ts.map +1 -0
- package/dist/src/types/Acceptance.js +12 -0
- package/dist/src/types/Acceptance.js.map +1 -0
- package/dist/src/types/ActivityArchetype.d.ts +14 -0
- package/dist/src/types/ActivityArchetype.d.ts.map +1 -0
- package/dist/src/types/ActivityArchetype.js +17 -0
- package/dist/src/types/ActivityArchetype.js.map +1 -0
- package/dist/src/types/Artifact.d.ts +117 -0
- package/dist/src/types/Artifact.d.ts.map +1 -0
- package/dist/src/types/Artifact.js +35 -0
- package/dist/src/types/Artifact.js.map +1 -0
- package/dist/src/types/Calculation.d.ts +49 -0
- package/dist/src/types/Calculation.d.ts.map +1 -1
- package/dist/src/types/Comment.d.ts +23 -0
- package/dist/src/types/Comment.d.ts.map +1 -0
- package/dist/src/types/Comment.js +3 -0
- package/dist/src/types/Comment.js.map +1 -0
- package/dist/src/types/CompetenceKind.d.ts +70 -0
- package/dist/src/types/CompetenceKind.d.ts.map +1 -0
- package/dist/src/types/CompetenceKind.js +3 -0
- package/dist/src/types/CompetenceKind.js.map +1 -0
- package/dist/src/types/Composition.d.ts +80 -0
- package/dist/src/types/Composition.d.ts.map +1 -0
- package/dist/src/types/Composition.js +44 -0
- package/dist/src/types/Composition.js.map +1 -0
- package/dist/src/types/ConformanceClass.d.ts +22 -0
- package/dist/src/types/ConformanceClass.d.ts.map +1 -0
- package/dist/src/types/ConformanceClass.js +7 -0
- package/dist/src/types/ConformanceClass.js.map +1 -0
- package/dist/src/types/ConformanceTest.d.ts +206 -0
- package/dist/src/types/ConformanceTest.d.ts.map +1 -0
- package/dist/src/types/ConformanceTest.js +3 -0
- package/dist/src/types/ConformanceTest.js.map +1 -0
- package/dist/src/types/Constraint.d.ts +34 -0
- package/dist/src/types/Constraint.d.ts.map +1 -0
- package/dist/src/types/Constraint.js +3 -0
- package/dist/src/types/Constraint.js.map +1 -0
- package/dist/src/types/Design.d.ts +147 -0
- package/dist/src/types/Design.d.ts.map +1 -0
- package/dist/src/types/Design.js +10 -0
- package/dist/src/types/Design.js.map +1 -0
- package/dist/src/types/DiscrepancyRecord.d.ts +42 -0
- package/dist/src/types/DiscrepancyRecord.d.ts.map +1 -0
- package/dist/src/types/DiscrepancyRecord.js +3 -0
- package/dist/src/types/DiscrepancyRecord.js.map +1 -0
- package/dist/src/types/Form.d.ts +132 -1
- package/dist/src/types/Form.d.ts.map +1 -1
- package/dist/src/types/FormulasUsed.d.ts +95 -0
- package/dist/src/types/FormulasUsed.d.ts.map +1 -0
- package/dist/src/types/FormulasUsed.js +64 -0
- package/dist/src/types/FormulasUsed.js.map +1 -0
- package/dist/src/types/Instance.d.ts +105 -0
- package/dist/src/types/Instance.d.ts.map +1 -0
- package/dist/src/types/Instance.js +40 -0
- package/dist/src/types/Instance.js.map +1 -0
- package/dist/src/types/Invariant.d.ts +82 -0
- package/dist/src/types/Invariant.d.ts.map +1 -0
- package/dist/src/types/Invariant.js +50 -0
- package/dist/src/types/Invariant.js.map +1 -0
- package/dist/src/types/MapProfile.d.ts +36 -1
- package/dist/src/types/MapProfile.d.ts.map +1 -1
- package/dist/src/types/Monitor.d.ts +144 -0
- package/dist/src/types/Monitor.d.ts.map +1 -0
- package/dist/src/types/Monitor.js +74 -0
- package/dist/src/types/Monitor.js.map +1 -0
- package/dist/src/types/Note.d.ts +4 -1
- package/dist/src/types/Note.d.ts.map +1 -1
- package/dist/src/types/Package.d.ts +161 -0
- package/dist/src/types/Package.d.ts.map +1 -0
- package/dist/src/types/Package.js +3 -0
- package/dist/src/types/Package.js.map +1 -0
- package/dist/src/types/Passport.d.ts +125 -0
- package/dist/src/types/Passport.d.ts.map +1 -0
- package/dist/src/types/Passport.js +84 -0
- package/dist/src/types/Passport.js.map +1 -0
- package/dist/src/types/Quantity.d.ts +99 -0
- package/dist/src/types/Quantity.d.ts.map +1 -0
- package/dist/src/types/Quantity.js +24 -0
- package/dist/src/types/Quantity.js.map +1 -0
- package/dist/src/types/Reference.d.ts +2 -0
- package/dist/src/types/Reference.d.ts.map +1 -1
- package/dist/src/types/ReferenceMaterial.d.ts +53 -0
- package/dist/src/types/ReferenceMaterial.d.ts.map +1 -0
- package/dist/src/types/ReferenceMaterial.js +14 -0
- package/dist/src/types/ReferenceMaterial.js.map +1 -0
- package/dist/src/types/Requirement.d.ts +111 -0
- package/dist/src/types/Requirement.d.ts.map +1 -0
- package/dist/src/types/Requirement.js +10 -0
- package/dist/src/types/Requirement.js.map +1 -0
- package/dist/src/types/Role.d.ts +4 -0
- package/dist/src/types/Role.d.ts.map +1 -1
- package/dist/src/types/Series.d.ts +31 -0
- package/dist/src/types/Series.d.ts.map +1 -0
- package/dist/src/types/Series.js +14 -0
- package/dist/src/types/Series.js.map +1 -0
- package/dist/src/types/SourceDiscrepancy.d.ts +21 -0
- package/dist/src/types/SourceDiscrepancy.d.ts.map +1 -0
- package/dist/src/types/SourceDiscrepancy.js +13 -0
- package/dist/src/types/SourceDiscrepancy.js.map +1 -0
- package/dist/src/types/Standard.d.ts +68 -0
- package/dist/src/types/Standard.d.ts.map +1 -1
- package/dist/src/types/StateMachine.d.ts +43 -0
- package/dist/src/types/StateMachine.d.ts.map +1 -1
- package/dist/src/types/StateMachine.js +7 -0
- package/dist/src/types/StateMachine.js.map +1 -1
- package/dist/src/types/Subject.d.ts +432 -0
- package/dist/src/types/Subject.d.ts.map +1 -0
- package/dist/src/types/Subject.js +13 -0
- package/dist/src/types/Subject.js.map +1 -0
- package/dist/src/types/Symbol.d.ts +31 -1
- package/dist/src/types/Symbol.d.ts.map +1 -1
- package/dist/src/types/Table.d.ts +43 -0
- package/dist/src/types/Table.d.ts.map +1 -1
- package/dist/src/types/Term.d.ts +29 -0
- package/dist/src/types/Term.d.ts.map +1 -1
- package/dist/src/types/TestPointSet.d.ts +33 -0
- package/dist/src/types/TestPointSet.d.ts.map +1 -0
- package/dist/src/types/TestPointSet.js +11 -0
- package/dist/src/types/TestPointSet.js.map +1 -0
- package/dist/src/types/TestSequence.d.ts +105 -0
- package/dist/src/types/TestSequence.d.ts.map +1 -0
- package/dist/src/types/TestSequence.js +65 -0
- package/dist/src/types/TestSequence.js.map +1 -0
- package/dist/src/types/Text.d.ts +21 -0
- package/dist/src/types/Text.d.ts.map +1 -0
- package/dist/src/types/Text.js +38 -0
- package/dist/src/types/Text.js.map +1 -0
- package/dist/src/types/Time.d.ts +43 -0
- package/dist/src/types/Time.d.ts.map +1 -0
- package/dist/src/types/Time.js +14 -0
- package/dist/src/types/Time.js.map +1 -0
- package/dist/src/types/Twin.d.ts +155 -0
- package/dist/src/types/Twin.d.ts.map +1 -0
- package/dist/src/types/Twin.js +102 -0
- package/dist/src/types/Twin.js.map +1 -0
- package/dist/src/types/Verdict.d.ts +40 -0
- package/dist/src/types/Verdict.d.ts.map +1 -0
- package/dist/src/types/Verdict.js +14 -0
- package/dist/src/types/Verdict.js.map +1 -0
- package/dist/src/types/ViewProfile.d.ts +6 -0
- package/dist/src/types/ViewProfile.d.ts.map +1 -1
- package/dist/src/types/data.d.ts +27 -0
- package/dist/src/types/data.d.ts.map +1 -1
- package/dist/src/types/process.d.ts +231 -0
- package/dist/src/types/process.d.ts.map +1 -1
- package/dist-browser/index.mjs +6699 -661
- package/dist-cli/primmel.mjs +21462 -0
- package/package.json +61 -5
|
@@ -1,5 +1,10 @@
|
|
|
1
1
|
import type Approval from './Approval';
|
|
2
2
|
import type Calculation from './Calculation';
|
|
3
|
+
import type Comment from './Comment';
|
|
4
|
+
import type CompetenceKind from './CompetenceKind';
|
|
5
|
+
import type ConformanceTest from './ConformanceTest';
|
|
6
|
+
import type Constraint from './Constraint';
|
|
7
|
+
import type DiscrepancyRecord from './DiscrepancyRecord';
|
|
3
8
|
import type { DataClass, Enum, Registry, Variable } from './data';
|
|
4
9
|
import EventNode from './events';
|
|
5
10
|
import type Figure from './Figure';
|
|
@@ -15,13 +20,33 @@ import type Provision from './Provision';
|
|
|
15
20
|
import type Reference from './Reference';
|
|
16
21
|
import type Role from './Role';
|
|
17
22
|
import type StateMachine from './StateMachine';
|
|
23
|
+
import type { AttributeDefinition, Behavior, Capability, ConditionSet, Instrument, Subject } from './Subject';
|
|
24
|
+
import type { ArtifactDefinition, ArtifactInstance } from './Artifact';
|
|
25
|
+
import type { ConnectorProfile } from './Twin';
|
|
26
|
+
import type { Monitor } from './Monitor';
|
|
27
|
+
import type { Passport } from './Passport';
|
|
28
|
+
import type { Invariant } from './Invariant';
|
|
29
|
+
import type { TestSequence } from './TestSequence';
|
|
30
|
+
import type { FormulasUsed } from './FormulasUsed';
|
|
31
|
+
import type ActivityArchetype from './ActivityArchetype';
|
|
32
|
+
import type { Instance } from './Instance';
|
|
33
|
+
import type { Dual, QuantityRegister } from './Quantity';
|
|
34
|
+
import type ReferenceMaterial from './ReferenceMaterial';
|
|
35
|
+
import type { Requirement, RequirementClass } from './Requirement';
|
|
36
|
+
import type { ConformanceClass } from './ConformanceClass';
|
|
37
|
+
import type { PackageManifest } from './Package';
|
|
18
38
|
import type Subform from './Subform';
|
|
19
39
|
import type Symbol from './Symbol';
|
|
20
40
|
import type Table from './Table';
|
|
21
41
|
import type Term from './Term';
|
|
42
|
+
import type TestPointSet from './TestPointSet';
|
|
43
|
+
import type TextContent from './Text';
|
|
44
|
+
import type Verdict from './Verdict';
|
|
22
45
|
import type ViewProfile from './ViewProfile';
|
|
23
46
|
export default interface Standard {
|
|
24
47
|
meta: Metadata;
|
|
48
|
+
/** v2 package manifest — present when loaded from a package (loadPackage). */
|
|
49
|
+
packageManifest?: PackageManifest | null;
|
|
25
50
|
roles: Role[];
|
|
26
51
|
provisions: Provision[];
|
|
27
52
|
pages: Subprocess[];
|
|
@@ -40,12 +65,55 @@ export default interface Standard {
|
|
|
40
65
|
links: Link[];
|
|
41
66
|
mapProfiles: MapProfile[];
|
|
42
67
|
viewProfiles: ViewProfile[];
|
|
68
|
+
comments: Comment[];
|
|
43
69
|
terms: Term[];
|
|
44
70
|
forms: Form[];
|
|
45
71
|
subforms: Subform[];
|
|
46
72
|
symbols: Symbol[];
|
|
47
73
|
calculations: Calculation[];
|
|
74
|
+
/** Canonical verdict quantities (derive once, reference everywhere). */
|
|
75
|
+
verdicts: Verdict[];
|
|
76
|
+
/** Certified reference materials with machine-checked constraints. */
|
|
77
|
+
referenceMaterials: ReferenceMaterial[];
|
|
78
|
+
/** Named shared test-point sets referenced by conformance tests. */
|
|
79
|
+
testPointSets: TestPointSet[];
|
|
80
|
+
/** Laboratory testing-competence kind registry (TODO.roadmap/48) — the
|
|
81
|
+
* vocabulary of conformance-test required_competence and laboratory
|
|
82
|
+
* accreditation_scope entries. */
|
|
83
|
+
competenceKinds: CompetenceKind[];
|
|
84
|
+
/** Domain constraints (TODO.roadmap/51 — BUG.R60-SSOT gap 7): the
|
|
85
|
+
* subject's own intrinsic validity rules (stereotype «inv») — the
|
|
86
|
+
* Recommendation-level counterpart of the metamodel invariants. */
|
|
87
|
+
constraints: Constraint[];
|
|
88
|
+
/** Corpus-level source-discrepancy records (TODO.roadmap/54 — gap 13's
|
|
89
|
+
* corpus-level extension of the source_discrepancy facet): conflicts
|
|
90
|
+
* between source fragments that no model node owns (document-vs-
|
|
91
|
+
* document) — the corpus's errata memory. */
|
|
92
|
+
discrepancyRecords: DiscrepancyRecord[];
|
|
48
93
|
stateMachines: StateMachine[];
|
|
94
|
+
conformanceTests: ConformanceTest[];
|
|
95
|
+
conformanceClasses: ConformanceClass[];
|
|
96
|
+
requirements: Requirement[];
|
|
97
|
+
requirementClasses: RequirementClass[];
|
|
98
|
+
instruments: Instrument[];
|
|
99
|
+
attributeDefinitions: AttributeDefinition[];
|
|
100
|
+
capabilities: Capability[];
|
|
101
|
+
behaviors: Behavior[];
|
|
102
|
+
conditionSets: ConditionSet[];
|
|
103
|
+
subjects: Subject[];
|
|
104
|
+
instances: Instance[];
|
|
105
|
+
artifactDefinitions: ArtifactDefinition[];
|
|
106
|
+
artifactInstances: ArtifactInstance[];
|
|
107
|
+
quantityRegisters: QuantityRegister[];
|
|
108
|
+
duals: Dual[];
|
|
109
|
+
activityArchetypes: ActivityArchetype[];
|
|
110
|
+
connectorProfiles: ConnectorProfile[];
|
|
111
|
+
monitors: Monitor[];
|
|
112
|
+
passports: Passport[];
|
|
113
|
+
invariants: Invariant[];
|
|
114
|
+
testSequences: TestSequence[];
|
|
115
|
+
formulasUsed: FormulasUsed[];
|
|
116
|
+
texts: TextContent[];
|
|
49
117
|
root: Subprocess | null;
|
|
50
118
|
}
|
|
51
119
|
//# sourceMappingURL=Standard.d.ts.map
|
|
@@ -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,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,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,WAAW,MAAM,eAAe,CAAC;AAE7C,MAAM,CAAC,OAAO,WAAW,QAAQ;IAC/B,IAAI,EAAE,QAAQ,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,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,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,QAAQ,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,KAAK,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AACzD,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;;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,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;IAErB,IAAI,EAAE,UAAU,GAAG,IAAI,CAAC;CACzB"}
|
|
@@ -1,4 +1,16 @@
|
|
|
1
1
|
import Resolvable from './Resolvable';
|
|
2
|
+
/**
|
|
3
|
+
* The two state-machine families (TODO.roadmap/07, doctrine ch. 04 §4.5):
|
|
4
|
+
* - lifecycle — the workflow family: machines bound to workflow ENTITIES
|
|
5
|
+
* (an application's draft → submitted → under_review → … chain). This
|
|
6
|
+
* is the v2 default; a machine without a `kind` line is lifecycle.
|
|
7
|
+
* - operational — the instrument family: the subject's HAS state (the
|
|
8
|
+
* off → warming → ready → measuring → fault chain), bound to a subject
|
|
9
|
+
* via `has.state` and operated on by process steps via `fires`.
|
|
10
|
+
* The families are strictly disjoint: the linter (C38
|
|
11
|
+
* state-family-separation) rejects every cross-reference between them.
|
|
12
|
+
*/
|
|
13
|
+
export type StateMachineKind = 'lifecycle' | 'operational';
|
|
2
14
|
export interface StateMachineState {
|
|
3
15
|
name: string;
|
|
4
16
|
}
|
|
@@ -6,10 +18,36 @@ export interface CascadeSet {
|
|
|
6
18
|
field: string;
|
|
7
19
|
value: string;
|
|
8
20
|
}
|
|
21
|
+
/**
|
|
22
|
+
* The closed workflow side-effect vocabulary (smart repo task 52,
|
|
23
|
+
* BUG.R60-SSOT.md gap 12): a cascade carrying an `action` is a SEMANTIC
|
|
24
|
+
* side-effect — the runtime dispatches it to a named handler. The
|
|
25
|
+
* vocabulary is deliberately small and closed: new actions are new
|
|
26
|
+
* handlers, not branches (OCP). A cascade without an `action` is the
|
|
27
|
+
* mechanical v2-G10 form (set/create field updates).
|
|
28
|
+
*/
|
|
29
|
+
export type CascadeAction = 'lock' | 'submit' | 'notify' | 'record';
|
|
30
|
+
export declare const CASCADE_ACTIONS: readonly CascadeAction[];
|
|
9
31
|
export interface Cascade {
|
|
32
|
+
/** Semantic side-effect action (task 52); null for the mechanical form. */
|
|
33
|
+
action: CascadeAction | null;
|
|
10
34
|
targetEntity: string;
|
|
11
35
|
where: string;
|
|
36
|
+
/**
|
|
37
|
+
* The machine-routing facet (smart gap-close E12,
|
|
38
|
+
* analysis/cascade-machine-routing-design.md §4): the transition action
|
|
39
|
+
* of the TARGET entity's machine the status write routes through.
|
|
40
|
+
* Required on a status-writing step (a mechanical `set` containing
|
|
41
|
+
* `status`, or a semantic `submit`/`lock`) whose target declares a
|
|
42
|
+
* machine — self-steps excepted; forbidden everywhere else (C95
|
|
43
|
+
* cascade-transition-resolve owns the contract). '' when absent.
|
|
44
|
+
*/
|
|
45
|
+
via: string;
|
|
46
|
+
/** Action-cascade parameters (the `with { … }` block). */
|
|
47
|
+
with: Record<string, string>;
|
|
12
48
|
set: CascadeSet[];
|
|
49
|
+
/** Create-a-record cascade (v2 G10); null for plain set cascades. */
|
|
50
|
+
create: Record<string, string> | null;
|
|
13
51
|
}
|
|
14
52
|
export interface Transition {
|
|
15
53
|
from: string;
|
|
@@ -28,6 +66,11 @@ export interface Transition {
|
|
|
28
66
|
*/
|
|
29
67
|
interface StateMachine {
|
|
30
68
|
entityName: string;
|
|
69
|
+
/**
|
|
70
|
+
* The machine family (TODO.roadmap/07): 'lifecycle' (default — workflow
|
|
71
|
+
* entities) or 'operational' (a subject's HAS state machine).
|
|
72
|
+
*/
|
|
73
|
+
kind: StateMachineKind;
|
|
31
74
|
initialState: string;
|
|
32
75
|
states: StateMachineState[];
|
|
33
76
|
transitions: Transition[];
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"StateMachine.d.ts","sourceRoot":"","sources":["../../../src/types/StateMachine.ts"],"names":[],"mappings":"AAAA,OAAO,UAAU,MAAM,cAAc,CAAC;AAEtC,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,OAAO;IACtB,YAAY,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,UAAU,EAAE,CAAC;
|
|
1
|
+
{"version":3,"file":"StateMachine.d.ts","sourceRoot":"","sources":["../../../src/types/StateMachine.ts"],"names":[],"mappings":"AAAA,OAAO,UAAU,MAAM,cAAc,CAAC;AAEtC;;;;;;;;;;GAUG;AACH,MAAM,MAAM,gBAAgB,GAAG,WAAW,GAAG,aAAa,CAAC;AAE3D,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;;;;;;GAOG;AACH,MAAM,MAAM,aAAa,GAAG,MAAM,GAAG,QAAQ,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAEpE,eAAO,MAAM,eAAe,EAAE,SAAS,aAAa,EAKnD,CAAC;AAEF,MAAM,WAAW,OAAO;IACtB,2EAA2E;IAC3E,MAAM,EAAE,aAAa,GAAG,IAAI,CAAC;IAC7B,YAAY,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,MAAM,CAAC;IACd;;;;;;;;OAQG;IACH,GAAG,EAAE,MAAM,CAAC;IACZ,0DAA0D;IAC1D,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC7B,GAAG,EAAE,UAAU,EAAE,CAAC;IAClB,qEAAqE;IACrE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,IAAI,CAAC;CACvC;AAED,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB;AAED;;;;;;GAMG;AACH,UAAU,YAAY;IAEpB,UAAU,EAAE,MAAM,CAAC;IACnB;;;OAGG;IACH,IAAI,EAAE,gBAAgB,CAAC;IACvB,YAAY,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,iBAAiB,EAAE,CAAC;IAC5B,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B,YAAY,EAAE,MAAM,EAAE,CAAC;CACxB;AAED,eAAe,YAAY,CAAC;AAE5B,MAAM,MAAM,sBAAsB,GAAG,UAAU,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"StateMachine.js","sourceRoot":"","sources":["../../../src/types/StateMachine.ts"],"names":[],"mappings":""}
|
|
1
|
+
{"version":3,"file":"StateMachine.js","sourceRoot":"","sources":["../../../src/types/StateMachine.ts"],"names":[],"mappings":";;;AAkCa,QAAA,eAAe,GAA6B;IACvD,MAAM;IACN,QAAQ;IACR,QAAQ;IACR,QAAQ;CACT,CAAC"}
|
|
@@ -0,0 +1,432 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Subject-chain constructs (Primmel v2, gap G1).
|
|
3
|
+
*
|
|
4
|
+
* The MeasuringInstrument taxonomy — what an instrument IS and CAN DO:
|
|
5
|
+
* subject type + variants, classification dimensions, family criteria,
|
|
6
|
+
* model groups ("inner families"), attribute definitions (the INV-2
|
|
7
|
+
* schema layer), capability mixins, behaviors, and operating condition sets.
|
|
8
|
+
*
|
|
9
|
+
* Maps 1:1 to the OIML SMART domain model layer (data/<rec>/model/*.yaml).
|
|
10
|
+
*/
|
|
11
|
+
import type { QuantityValue } from './Quantity';
|
|
12
|
+
import type { ApplicabilityEntry } from './Form';
|
|
13
|
+
import type { Endpoint, ServeBinding } from './Twin';
|
|
14
|
+
import type { CompositionDecl } from './Composition';
|
|
15
|
+
export interface SourceRef {
|
|
16
|
+
doc: string;
|
|
17
|
+
clause: string;
|
|
18
|
+
/** Optional sentence sub-address (TODO.roadmap/26 — `fragment "s1"` →
|
|
19
|
+
* the sentence address urn:…#clause-2.2/s1, the reserved finer
|
|
20
|
+
* address space of the .prd fragment grammar). */
|
|
21
|
+
fragment?: string;
|
|
22
|
+
}
|
|
23
|
+
/** instrument <Id> — the subject type definition (one per Recommendation). */
|
|
24
|
+
export interface SubjectVariant {
|
|
25
|
+
id: string;
|
|
26
|
+
/** Display name (e.g. "Digital load cell"). */
|
|
27
|
+
name?: string;
|
|
28
|
+
definition: string;
|
|
29
|
+
/** Free-text editorial note. */
|
|
30
|
+
note?: string;
|
|
31
|
+
source?: SourceRef | null;
|
|
32
|
+
}
|
|
33
|
+
export interface DimensionValue {
|
|
34
|
+
id: string;
|
|
35
|
+
/** Display label of the value (certificate classification labels). */
|
|
36
|
+
label: string;
|
|
37
|
+
description: string;
|
|
38
|
+
/**
|
|
39
|
+
* Per-value payload (e.g. n_lc_limits per accuracy class). Values are
|
|
40
|
+
* scalars, or nested blocks (e.g. n_lc_limits { lower: 50000 upper: unlimited }).
|
|
41
|
+
*/
|
|
42
|
+
payload: Record<string, string | Record<string, string>>;
|
|
43
|
+
/**
|
|
44
|
+
* Category subsumption (TODO.refactor/07): other value ids of THIS
|
|
45
|
+
* dimension this value implies (e.g. R 91 average-speed implies
|
|
46
|
+
* fixed-distance). The applicability engine walks the implication
|
|
47
|
+
* closure when matching; the graph must be acyclic.
|
|
48
|
+
*/
|
|
49
|
+
implies: string[];
|
|
50
|
+
/**
|
|
51
|
+
* Id of the term in the Recommendation's terminology.yaml that defines
|
|
52
|
+
* this value (TODO.refactor/13 R17 — terminology cross-link).
|
|
53
|
+
*/
|
|
54
|
+
termRef?: string;
|
|
55
|
+
}
|
|
56
|
+
export interface ClassificationDimension {
|
|
57
|
+
id: string;
|
|
58
|
+
label: string;
|
|
59
|
+
scope: string;
|
|
60
|
+
/**
|
|
61
|
+
* single (default): one value per subject. set: the subject holds a
|
|
62
|
+
* value SET (multi-select, e.g. R 144 measurand_components).
|
|
63
|
+
*/
|
|
64
|
+
cardinality: string;
|
|
65
|
+
/**
|
|
66
|
+
* Join separator for set-valued dimensions when rendering labels
|
|
67
|
+
* (certificate dimension_labels). Empty = default '+'.
|
|
68
|
+
*/
|
|
69
|
+
labelSeparator: string;
|
|
70
|
+
description: string;
|
|
71
|
+
source: SourceRef | null;
|
|
72
|
+
values: DimensionValue[];
|
|
73
|
+
}
|
|
74
|
+
export interface ModelGroupDef {
|
|
75
|
+
definition: string;
|
|
76
|
+
identicalCharacteristics: string[];
|
|
77
|
+
identicalAttributes: string[];
|
|
78
|
+
/** Dimension whose values partition the family into groups. */
|
|
79
|
+
groupBy?: string;
|
|
80
|
+
/** Free-text editorial note. */
|
|
81
|
+
note?: string;
|
|
82
|
+
/** Source provenance entries. */
|
|
83
|
+
sources?: SourceRef[];
|
|
84
|
+
/** Sample-selection provenance (clause refs). */
|
|
85
|
+
sampleSelection?: SourceRef[];
|
|
86
|
+
}
|
|
87
|
+
/**
|
|
88
|
+
* First-class measurand block (TODO.roadmap/19, gap audit G8 — the
|
|
89
|
+
* metamodel Measurand class): the VIM 2.3 measurand with its measurement
|
|
90
|
+
* CONTEXT when the measurand is a property of another object than the
|
|
91
|
+
* instrument (R 91: the speed of a remote vehicle, identified per
|
|
92
|
+
* R 91-1, 6.6). `measurand_kind` stays as the shorthand form.
|
|
93
|
+
*/
|
|
94
|
+
export interface InstrumentMeasurand {
|
|
95
|
+
kind: string;
|
|
96
|
+
description: string;
|
|
97
|
+
context: {
|
|
98
|
+
targetObject: string;
|
|
99
|
+
identificationMethod: string;
|
|
100
|
+
} | null;
|
|
101
|
+
source: SourceRef | null;
|
|
102
|
+
}
|
|
103
|
+
/**
|
|
104
|
+
* A domain-profile component class (metamodel v0.6.0 Structure target;
|
|
105
|
+
* TODO.roadmap/19, gap audit G3) — e.g. R 91's ego_speed_meter (itself a
|
|
106
|
+
* SpeedMeter) or detection_field (a profile-specific class).
|
|
107
|
+
*/
|
|
108
|
+
export interface InstrumentComponent {
|
|
109
|
+
id: string;
|
|
110
|
+
classId: string;
|
|
111
|
+
definition: string;
|
|
112
|
+
source: SourceRef | null;
|
|
113
|
+
}
|
|
114
|
+
/**
|
|
115
|
+
* A Structure relation (metamodel v0.6.0 Structure; TODO.roadmap/19, gap
|
|
116
|
+
* audit G3): designed composition of the subject — partOf / consists_of /
|
|
117
|
+
* connectsTo with a typed target and propagation rules declaring what
|
|
118
|
+
* travels across the link (down = whole → parts, up = part → whole).
|
|
119
|
+
*/
|
|
120
|
+
export interface StructureEntry {
|
|
121
|
+
id: string;
|
|
122
|
+
predicate: string;
|
|
123
|
+
/** The whole / source end — a subject type id or variant id. */
|
|
124
|
+
subject: string;
|
|
125
|
+
/** Typed target — a component id or a subject type. */
|
|
126
|
+
target: string;
|
|
127
|
+
/** Optional dimension filter when the relation holds only for a category. */
|
|
128
|
+
applicability: ApplicabilityEntry[];
|
|
129
|
+
propagation: Array<{
|
|
130
|
+
property: string;
|
|
131
|
+
direction: string;
|
|
132
|
+
}>;
|
|
133
|
+
note: string;
|
|
134
|
+
source: SourceRef | null;
|
|
135
|
+
}
|
|
136
|
+
export interface Instrument {
|
|
137
|
+
id: string;
|
|
138
|
+
extends: string;
|
|
139
|
+
/** Measurand kind the instrument measures (e.g. force). */
|
|
140
|
+
measurandKind?: string;
|
|
141
|
+
/**
|
|
142
|
+
* First-class measurand block with measurement context (TODO.roadmap/19,
|
|
143
|
+
* gap audit G8) — the measurand-on-another-object form.
|
|
144
|
+
*/
|
|
145
|
+
measurand?: InstrumentMeasurand | null;
|
|
146
|
+
definition: string;
|
|
147
|
+
/** Free-text editorial note. */
|
|
148
|
+
note?: string;
|
|
149
|
+
/** Source provenance of the instrument definition. */
|
|
150
|
+
source?: SourceRef | null;
|
|
151
|
+
variants: SubjectVariant[];
|
|
152
|
+
dimensions: ClassificationDimension[];
|
|
153
|
+
/**
|
|
154
|
+
* Channel dimension id (a dimension with cardinality set, e.g.
|
|
155
|
+
* measurand_components). When declared, requirements marked
|
|
156
|
+
* `channel <id>` are verified PER SELECTED VALUE of the channel
|
|
157
|
+
* (evaluation config per_channel in data/schemas/evaluation-dimensions.yaml).
|
|
158
|
+
*/
|
|
159
|
+
perChannel: string;
|
|
160
|
+
/** Domain-profile component classes (Structure targets; TODO.roadmap/19, G3). */
|
|
161
|
+
components: InstrumentComponent[];
|
|
162
|
+
/** Structure relations — designed composition (TODO.roadmap/19, G3). */
|
|
163
|
+
structure: StructureEntry[];
|
|
164
|
+
/** Metamodel class the family instantiates (e.g. MeasuringInstrumentModelFamily). */
|
|
165
|
+
familyMetamodelClass?: string;
|
|
166
|
+
/** Family definition text. */
|
|
167
|
+
familyDefinition?: string;
|
|
168
|
+
/** Free-text editorial note on the family. */
|
|
169
|
+
familyNote?: string;
|
|
170
|
+
/** Source provenance of the family definition. */
|
|
171
|
+
familySource?: SourceRef | null;
|
|
172
|
+
familyCriteria: string[];
|
|
173
|
+
familyDefaultDimensions: string[];
|
|
174
|
+
familyDefaultParameters: string[];
|
|
175
|
+
modelGroup: ModelGroupDef | null;
|
|
176
|
+
referenceIds: string[];
|
|
177
|
+
}
|
|
178
|
+
/** attribute_definition <id> — define an attribute ONCE (INV-2). */
|
|
179
|
+
export interface AttributeDefinition {
|
|
180
|
+
id: string;
|
|
181
|
+
symbol: string;
|
|
182
|
+
name: string;
|
|
183
|
+
definition: string;
|
|
184
|
+
source: SourceRef | null;
|
|
185
|
+
quantityKind: string;
|
|
186
|
+
unit: string;
|
|
187
|
+
valueType: string;
|
|
188
|
+
origin: string;
|
|
189
|
+
scope: string;
|
|
190
|
+
category: string;
|
|
191
|
+
/**
|
|
192
|
+
* Whether the attribute is a classification-dimension mirror.
|
|
193
|
+
* null = undeclared (the source omits the flag entirely).
|
|
194
|
+
*/
|
|
195
|
+
isDimension: boolean | null;
|
|
196
|
+
enumRef: string;
|
|
197
|
+
/** Inline enum values (when the attribute defines its own axis). */
|
|
198
|
+
enumValues?: string[];
|
|
199
|
+
/** Free-text editorial note (rationale, provenance). */
|
|
200
|
+
note?: string;
|
|
201
|
+
irdi: string;
|
|
202
|
+
derived: string;
|
|
203
|
+
referenceIds: string[];
|
|
204
|
+
}
|
|
205
|
+
/** capability <id> — mixin: what the instrument CAN do (OCP mechanism). */
|
|
206
|
+
export interface Capability {
|
|
207
|
+
id: string;
|
|
208
|
+
label: string;
|
|
209
|
+
description: string;
|
|
210
|
+
abstract: boolean;
|
|
211
|
+
extends: string[];
|
|
212
|
+
requires: string[];
|
|
213
|
+
hasParameters: string[];
|
|
214
|
+
satisfiesRequirements: string[];
|
|
215
|
+
verifiedByTests: string[];
|
|
216
|
+
referenceIds: string[];
|
|
217
|
+
}
|
|
218
|
+
/** behavior <id> — a response characteristic requirements bind to. */
|
|
219
|
+
export interface Behavior {
|
|
220
|
+
id: string;
|
|
221
|
+
kind: string;
|
|
222
|
+
stimulus: string;
|
|
223
|
+
response: string;
|
|
224
|
+
source: SourceRef | null;
|
|
225
|
+
verifiedBy: string[];
|
|
226
|
+
referenceIds: string[];
|
|
227
|
+
}
|
|
228
|
+
/** condition_set <id> — one operating-condition tier (reference/rated/limiting). */
|
|
229
|
+
export interface ConditionEntry {
|
|
230
|
+
quantityKind: string;
|
|
231
|
+
value: string;
|
|
232
|
+
unit: string;
|
|
233
|
+
tolerance: string;
|
|
234
|
+
/** Free-text provenance/usage note for the entry. */
|
|
235
|
+
note?: string;
|
|
236
|
+
}
|
|
237
|
+
export interface ConditionSet {
|
|
238
|
+
id: string;
|
|
239
|
+
role: string;
|
|
240
|
+
/** Subject type the conditions apply to (defaults to the instrument). */
|
|
241
|
+
subject?: string;
|
|
242
|
+
/** Free-text description of the set. */
|
|
243
|
+
description?: string;
|
|
244
|
+
entries: ConditionEntry[];
|
|
245
|
+
/** Structured provenance (doc URN + clause) — first of `sources`. */
|
|
246
|
+
source?: SourceRef | null;
|
|
247
|
+
/** All provenance entries (a set may cite several clauses). */
|
|
248
|
+
sources?: SourceRef[];
|
|
249
|
+
referenceIds: string[];
|
|
250
|
+
}
|
|
251
|
+
/**
|
|
252
|
+
* has.characteristics entry: a symbol'd quantity derived from behavior I/O
|
|
253
|
+
* (TODO.roadmap/10) — the quantitative interface of the subject (doctrine
|
|
254
|
+
* ch. 02 §2.7): DEFINED in the primary model, referenced everywhere else.
|
|
255
|
+
* The map key is the characteristic's id. Two entry forms:
|
|
256
|
+
* - shorthand: `creep c_c = ocl{…}` (symbol + derivation only);
|
|
257
|
+
* - block: `<id> { symbol … derivation … behavior … quantity_kind …
|
|
258
|
+
* unit … source { … } }` — the full register entry: the behavior the
|
|
259
|
+
* characteristic quantifies (closing the behavior→I/O→characteristic
|
|
260
|
+
* chain), the quantity kind + unit of the derived value, and clause
|
|
261
|
+
* provenance.
|
|
262
|
+
* The linter's C48–C50 enforce the one-home rule, the behavior link, and
|
|
263
|
+
* derivation-input resolution.
|
|
264
|
+
*/
|
|
265
|
+
export interface SubjectCharacteristic {
|
|
266
|
+
symbol: string;
|
|
267
|
+
/** Derivation from behavior I/O (typically ocl{…}); empty = C7 violation. */
|
|
268
|
+
derivation: string;
|
|
269
|
+
/** Id of the declared behavior this characteristic quantifies (C49). */
|
|
270
|
+
behavior?: string;
|
|
271
|
+
/** Quantity kind of the derived value (e.g. mass, dimensionless). */
|
|
272
|
+
quantityKind?: string;
|
|
273
|
+
/** Measurement unit of the derived value; absent for dimensionless. */
|
|
274
|
+
unit?: string;
|
|
275
|
+
/** Clause provenance of the canonical derivation. */
|
|
276
|
+
source?: SourceRef | null;
|
|
277
|
+
}
|
|
278
|
+
/**
|
|
279
|
+
* The claimed level of a promise (TODO.roadmap/08) — exactly one shape:
|
|
280
|
+
* quantity — a QuantityValue claim (block form: value + unit, INV-1);
|
|
281
|
+
* range — an envelope claim (bounds + shared unit; a bound may be
|
|
282
|
+
* symbolic, e.g. "unlimited");
|
|
283
|
+
* symbolic — a symbolic level claim (e.g. accuracy class C6).
|
|
284
|
+
*/
|
|
285
|
+
export interface PromiseLevel {
|
|
286
|
+
/** 'quantity' | 'range' | 'symbolic'. */
|
|
287
|
+
kind: string;
|
|
288
|
+
/** kind=quantity: the claimed QuantityValue. */
|
|
289
|
+
quantity?: QuantityValue;
|
|
290
|
+
/** kind=range: the lower/upper envelope bound (either may be symbolic). */
|
|
291
|
+
min?: string | number;
|
|
292
|
+
max?: string | number;
|
|
293
|
+
/** kind=range: the shared unit id of the bounds. */
|
|
294
|
+
unit?: string;
|
|
295
|
+
/** kind=symbolic: the claimed symbolic level (e.g. an accuracy class). */
|
|
296
|
+
symbolic?: string;
|
|
297
|
+
}
|
|
298
|
+
/**
|
|
299
|
+
* is.promises entry (TODO.roadmap/08) — one manufacturer claim on a
|
|
300
|
+
* characteristic or a behavior (doctrine ch. 02 §2.3): possibly
|
|
301
|
+
* envelope-shaped, possibly conditional; the manufacturer binds itself and
|
|
302
|
+
* evaluation verifies. The certificate prints promises-as-verified
|
|
303
|
+
* (ch. 15 §15.2).
|
|
304
|
+
*
|
|
305
|
+
* A promise is NOT a declared attribute value: a claim stated as one bare
|
|
306
|
+
* parameter value ("t_min = −10 °C") stays an `origin: declared` attribute
|
|
307
|
+
* (linter C44 promise-not-bare-value enforces the distinctness).
|
|
308
|
+
*/
|
|
309
|
+
export interface SubjectPromise {
|
|
310
|
+
/** Block-form entry id; '' for the statement-only shorthand. */
|
|
311
|
+
id: string;
|
|
312
|
+
/**
|
|
313
|
+
* The claimed characteristic (a has.characteristics key of the owning
|
|
314
|
+
* subject) or a declared behavior id. Empty on the statement-only
|
|
315
|
+
* shorthand (linter C43 flags the promise as unverifiable).
|
|
316
|
+
*/
|
|
317
|
+
target: string;
|
|
318
|
+
/** The claimed level; null when the claim is prose-only. */
|
|
319
|
+
level: PromiseLevel | null;
|
|
320
|
+
/**
|
|
321
|
+
* OCL over dimensions/conditions gating the claim (envelope claims:
|
|
322
|
+
* "holds class C6 ACROSS the rated range −10…+40 °C"). Empty =
|
|
323
|
+
* unconditional.
|
|
324
|
+
*/
|
|
325
|
+
conditions: string;
|
|
326
|
+
/** Prose statement of the claim. */
|
|
327
|
+
statement: string;
|
|
328
|
+
/**
|
|
329
|
+
* Declared verifying requirement/test ids. When absent the linter
|
|
330
|
+
* derives candidates (requirements/tests binding the same target); no
|
|
331
|
+
* verification found or declared warns at authoring (C43).
|
|
332
|
+
*/
|
|
333
|
+
verifiedBy: string[];
|
|
334
|
+
/** Clause provenance of the claim. */
|
|
335
|
+
source?: SourceRef | null;
|
|
336
|
+
}
|
|
337
|
+
/** is { … } — identity/design aspects. */
|
|
338
|
+
export interface SubjectIs {
|
|
339
|
+
/** Free-form key/value metadata (name, definition, source, …). */
|
|
340
|
+
metadata: Record<string, string>;
|
|
341
|
+
/** Pedigree key/value pairs (manufacturer, source clauses, …). */
|
|
342
|
+
provenance: Record<string, string>;
|
|
343
|
+
/** Designed composition entries (slot — rich model lands later). */
|
|
344
|
+
structure: string[];
|
|
345
|
+
/** Type-defining values fixed by design: name → qualifier string. */
|
|
346
|
+
designParameters: Record<string, string>;
|
|
347
|
+
/** Designed operating-condition tiers: tier name → condition_set id. */
|
|
348
|
+
designedConditions: Record<string, string>;
|
|
349
|
+
/**
|
|
350
|
+
* Manufacturer claims on characteristics/behavior (TODO.roadmap/08) —
|
|
351
|
+
* rich entries with target/level/conditions/statement/verified_by;
|
|
352
|
+
* the legacy quoted-string form parses as a statement-only promise.
|
|
353
|
+
*/
|
|
354
|
+
promises: SubjectPromise[];
|
|
355
|
+
/**
|
|
356
|
+
* Ids of the artifact_definition constructs (types/Artifact.ts,
|
|
357
|
+
* TODO.roadmap/09) declaring the outputs the subject must produce.
|
|
358
|
+
*/
|
|
359
|
+
artifacts: string[];
|
|
360
|
+
/**
|
|
361
|
+
* The subject's declared API surface (types/Twin.ts, TODO.roadmap/32 —
|
|
362
|
+
* doctrine ch. 14 §14.4): endpoint declarations nested in `is { … }`
|
|
363
|
+
* (§14.11) — "this product offers this interface" is part of the type
|
|
364
|
+
* definition, like a marking or a software identification (§14.3).
|
|
365
|
+
*/
|
|
366
|
+
endpoints: Endpoint[];
|
|
367
|
+
/**
|
|
368
|
+
* The composition facet (types/Composition.ts, TODO.integration/14):
|
|
369
|
+
* a COMPOSITE subject's `composed_of` — the component twins it is
|
|
370
|
+
* made of and the projection decomposition. Absent on non-composite
|
|
371
|
+
* subjects.
|
|
372
|
+
*/
|
|
373
|
+
composedOf?: CompositionDecl;
|
|
374
|
+
}
|
|
375
|
+
/** has { … } — exhibition aspects. */
|
|
376
|
+
export interface SubjectHas {
|
|
377
|
+
/** Exhibited named values: name → qualifier string. */
|
|
378
|
+
attributes: Record<string, string>;
|
|
379
|
+
/** Exhibited classification membership: dimension id → value ids. */
|
|
380
|
+
dimensions: Record<string, string[]>;
|
|
381
|
+
/**
|
|
382
|
+
* The subject's operational state MACHINE (`has.state <machineRef>`) —
|
|
383
|
+
* implemented in task 07. This binds the machine, not the current
|
|
384
|
+
* node: the current node is instance-level run data, folded per run by
|
|
385
|
+
* `foldTrajectory` (see operational-state.ts).
|
|
386
|
+
*/
|
|
387
|
+
state: string;
|
|
388
|
+
/** Quantities derived from behavior I/O, by name. */
|
|
389
|
+
characteristics: Record<string, SubjectCharacteristic>;
|
|
390
|
+
/** Actual conditions experienced (logged) — free entries. */
|
|
391
|
+
environmentalContext: string[];
|
|
392
|
+
/**
|
|
393
|
+
* Ids of the artifact_instance constructs (types/Artifact.ts,
|
|
394
|
+
* TODO.roadmap/09) — produced outputs recorded as evidence.
|
|
395
|
+
*/
|
|
396
|
+
artifactInstances: string[];
|
|
397
|
+
/**
|
|
398
|
+
* serve bindings (types/Twin.ts, TODO.roadmap/32 — doctrine ch. 14
|
|
399
|
+
* §14.4): aspect → endpoint operation bindings with freshness windows.
|
|
400
|
+
* Served values are timestamped; a stale value degrades verdicts to
|
|
401
|
+
* `indeterminate` (§14.5 — never fail, never a silent pass).
|
|
402
|
+
*/
|
|
403
|
+
serves: ServeBinding[];
|
|
404
|
+
}
|
|
405
|
+
/** does { … } — process aspects. */
|
|
406
|
+
export interface SubjectDoes {
|
|
407
|
+
/** References to declared `behavior` constructs. */
|
|
408
|
+
behaviors: string[];
|
|
409
|
+
}
|
|
410
|
+
/**
|
|
411
|
+
* Aspect key found under the wrong family (or undeclared) at parse time.
|
|
412
|
+
* Recorded on the Subject for the linter (C6); never dumped.
|
|
413
|
+
*/
|
|
414
|
+
export interface MisplacedAspect {
|
|
415
|
+
/** Family block the aspect was found in ('is' | 'has' | 'does'). */
|
|
416
|
+
family: string;
|
|
417
|
+
/** The aspect keyword as written. */
|
|
418
|
+
aspect: string;
|
|
419
|
+
}
|
|
420
|
+
/** subject <Id> — the v3 subject declaration (anatomy grammar). */
|
|
421
|
+
export interface Subject {
|
|
422
|
+
id: string;
|
|
423
|
+
/** Parent subject id (aspect blocks merge per aspect-kind rules). */
|
|
424
|
+
extends: string;
|
|
425
|
+
is: SubjectIs;
|
|
426
|
+
has: SubjectHas;
|
|
427
|
+
does: SubjectDoes;
|
|
428
|
+
referenceIds: string[];
|
|
429
|
+
/** Parse-time lint capture (C6): aspect keys under the wrong family. */
|
|
430
|
+
misplacedAspects: MisplacedAspect[];
|
|
431
|
+
}
|
|
432
|
+
//# sourceMappingURL=Subject.d.ts.map
|
|
@@ -0,0 +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;CAC1B;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,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;CACxB;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;CACxB;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;CACxB;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;CACxB;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"}
|
|
@@ -0,0 +1,13 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
/**
|
|
3
|
+
* Subject-chain constructs (Primmel v2, gap G1).
|
|
4
|
+
*
|
|
5
|
+
* The MeasuringInstrument taxonomy — what an instrument IS and CAN DO:
|
|
6
|
+
* subject type + variants, classification dimensions, family criteria,
|
|
7
|
+
* model groups ("inner families"), attribute definitions (the INV-2
|
|
8
|
+
* schema layer), capability mixins, behaviors, and operating condition sets.
|
|
9
|
+
*
|
|
10
|
+
* Maps 1:1 to the OIML SMART domain model layer (data/<rec>/model/*.yaml).
|
|
11
|
+
*/
|
|
12
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
13
|
+
//# sourceMappingURL=Subject.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"Subject.js","sourceRoot":"","sources":["../../../src/types/Subject.ts"],"names":[],"mappings":";AAAA;;;;;;;;;GASG"}
|