# GEARM 0.1 SHACL Constraints # Artifact stage: GEARM-A6 # # Derived from GEARM-A1 Concept Registry, GEARM-A2 Relationship Registry, # GEARM-A3 Semantic Invariant Catalogue, GEARM-A4 RDF/OWL Representation, # and GEARM-A5 JSON-LD Context. # # The human-readable GEARM 0.1 specification remains the normative semantic # authority. This artifact implements only machine-checkable portions of # applicable invariants; a SHACL PASS does not establish complete GEARM # conformance where semantic assessment remains required. # # Conservative constraint policy: # - Distinction checks prohibit explicit equivalence collapse only. They DO NOT # assert owl:disjointWith and DO NOT prohibit legitimate instance overlap. # - Specialization checks validate canonical IS-A axioms for the GEARM vocabulary. # - Relationship separation checks prohibit explicit equivalence/subproperty # collapse where that would erase a normative GEARM distinction. # - External/boundary concepts without authoritative IRIs are not fabricated. # - Hybrid invariants not safely reducible to SHACL remain assessment-required. @prefix gearm: . @prefix gearmmeta: . @prefix gearmi: . @prefix gearmsh: . @prefix dcterms: . @prefix owl: . @prefix rdf: . @prefix rdfs: . @prefix sh: . @prefix skos: . @prefix xsd: . a owl:Ontology ; dcterms:title "GEARM 0.1 SHACL Constraints" ; dcterms:description "Conservative executable constraints for machine-checkable portions of GEARM 0.1 semantic invariants." ; owl:versionInfo "0.1" ; gearmmeta:artifactStage "GEARM-A6" ; gearmmeta:artifactVersion "0.1.0-draft" ; gearmmeta:status "draft-machine-artifact" ; gearmmeta:normativeSourcePath "docs/tools/gearm/0.1/gearm-0.1-specification.md" ; gearmmeta:conceptRegistryArtifact "gearm-0.1.concept-registry.yaml" ; gearmmeta:relationshipRegistryArtifact "gearm-0.1.relationship-registry.yaml" ; gearmmeta:invariantCatalogueArtifact "gearm-0.1.invariant-catalogue.yaml" ; gearmsh:rdfOwlArtifact "gearm-0.1.ttl" ; gearmsh:jsonLdContextArtifact "gearm-0.1.context.jsonld" ; gearmsh:invariantCount 180 ; gearmsh:catalogueHybridInvariantCount 120 ; gearmsh:catalogueSemanticAssessmentInvariantCount 60 ; gearmsh:partiallyExecutableInvariantCount 85 ; gearmsh:hybridAssessmentRequiredCount 35 ; gearmsh:assessmentOnlyInvariantCount 60 ; gearmsh:requiresSemanticAssessment true . # ----------------------------------------------------------------------------- # SHACL artifact metadata vocabulary # ----------------------------------------------------------------------------- gearmsh:InvariantCoverage a rdfs:Class ; rdfs:label "Invariant constraint coverage" . gearmsh:PartialExecutable a gearmsh:CoverageStatus ; rdfs:label "Partial executable coverage" . gearmsh:HybridAssessmentRequired a gearmsh:CoverageStatus ; rdfs:label "Hybrid invariant requiring semantic assessment; no safe A6 executable reduction" . gearmsh:AssessmentOnly a gearmsh:CoverageStatus ; rdfs:label "Semantic assessment only" . gearmsh:CoverageStatus a rdfs:Class ; rdfs:label "Constraint coverage status" . gearmsh:implementsInvariant a rdf:Property . gearmsh:coverageStatus a rdf:Property . gearmsh:constraintKind a rdf:Property . gearmsh:validationScope a rdf:Property . gearmsh:requiresSemanticAssessment a rdf:Property . gearmsh:coverageShape a rdf:Property . gearmsh:coverageNote a rdf:Property . gearmsh:rdfOwlArtifact a rdf:Property . gearmsh:jsonLdContextArtifact a rdf:Property . gearmsh:invariantCount a rdf:Property . gearmsh:catalogueHybridInvariantCount a rdf:Property . gearmsh:catalogueSemanticAssessmentInvariantCount a rdf:Property . gearmsh:partiallyExecutableInvariantCount a rdf:Property . gearmsh:hybridAssessmentRequiredCount a rdf:Property . gearmsh:assessmentOnlyInvariantCount a rdf:Property . # Validation scopes are descriptive metadata for the future conformance runner. gearmsh:CanonicalVocabularyScope a gearmsh:ValidationScope ; rdfs:label "Canonical vocabulary integrity" . gearmsh:SemanticMappingScope a gearmsh:ValidationScope ; rdfs:label "Semantic mapping/model integrity" . gearmsh:ValidationScope a rdfs:Class ; rdfs:label "Validation scope" . gearmsh:GEARM_INV_001_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-001 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-001: Information Need SHALL remain semantically distinct from Analytical Intent; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_004_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-004 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-004: Analytical Use Case SHALL remain semantically distinct from Information Need; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_006_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-006 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-006: Analytical Use Case SHALL remain semantically distinct from Analytics Capability; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_011_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-011 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-011: Measure Definition SHALL remain semantically distinct from Measure Observation; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_012_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-012 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-012: Metric Definition SHALL remain semantically distinct from Metric Observation; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_013_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-013 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-013: Indicator Definition SHALL remain semantically distinct from Indicator Observation; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_014_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-014 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-014: Threshold Definition SHALL remain semantically distinct from Threshold Evaluation; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_015_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-015 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-015: Population Definition SHALL remain semantically distinct from Population Snapshot; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_016_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-016 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-016: Classification Definition SHALL remain semantically distinct from Classification Result; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_017_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-017 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-017: Score Definition SHALL remain semantically distinct from Score Occurrence; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_018_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-018 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-018: Signal Definition SHALL remain semantically distinct from Signal Occurrence; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_019_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-019 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-019: Alert Definition SHALL remain semantically distinct from Alert Occurrence; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_020_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-020 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-020: Analytical Process SHALL remain semantically distinct from Analytical Execution; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_021_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-021 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-021: Analytical Output Definition SHALL remain semantically distinct from Analytical Output Occurrence; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_022_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-022 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-022: Consumer SHALL remain semantically distinct from Consumption Event; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_023_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-023 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-023: Decision SHALL remain semantically distinct from Decision Event; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_024_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-024 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-024: Action SHALL remain semantically distinct from Action Event; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_025_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-025 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-025: Outcome SHALL remain semantically distinct from Outcome Observation; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_030_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-030 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-030: Measure SHALL remain semantically distinct from Metric; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_031_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-031 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-031: Metric SHALL remain semantically distinct from Indicator; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_032_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-032 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-032: Indicator SHALL remain semantically distinct from KPI, KRI; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_037_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-037 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-037: Threshold SHALL remain semantically distinct from Threshold Evaluation; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_038_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-038 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-038: Threshold SHALL remain semantically distinct from Alert; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_039_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-039 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-039: Threshold SHALL remain semantically distinct from Decision Policy; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_041_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-041 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-041: Population SHALL remain semantically distinct from Dimension; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_043_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-043 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-043: Dimension SHALL remain semantically distinct from Classification; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_044_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-044 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-044: Score SHALL remain semantically distinct from Metric; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_045_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-045 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-045: Score SHALL remain semantically distinct from Classification; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_046_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-046 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-046: Score SHALL remain semantically distinct from Probability; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_047_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-047 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-047: Indicator SHALL remain semantically distinct from Signal; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_048_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-048 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-048: Signal SHALL remain semantically distinct from Alert; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_049_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-049 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-049: State SHALL remain semantically distinct from Signal; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_061_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-061 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-061: Analytics SHALL remain semantically distinct from Information; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_063_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-063 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-063: Analytics Capability SHALL remain semantically distinct from Analytical Method; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_064_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-064 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-064: Analytics Capability SHALL remain semantically distinct from Analytical Process; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_065_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-065 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-065: Analytical Method SHALL remain semantically distinct from Analytical Process; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_066_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-066 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-066: Analytical Process SHALL remain semantically distinct from Analytical Logic; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_067_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-067 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-067: Analytical Process SHALL remain semantically distinct from Analytical Execution; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_068_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-068 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-068: Analytical Logic SHALL remain semantically distinct from Analytical Semantic Definition; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_070_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-070 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-070: Observation SHALL remain semantically distinct from Inference; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_071_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-071 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-071: Derivation SHALL remain semantically distinct from Inference; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_072_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-072 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-072: Evaluation SHALL remain semantically distinct from Decision; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_073_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-073 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-073: Assessment SHALL remain semantically distinct from Decision; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_074_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-074 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-074: Insight SHALL remain semantically distinct from Recommendation; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_075_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-075 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-075: Prediction SHALL remain semantically distinct from Observation; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_078_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-078 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-078: Scenario SHALL remain semantically distinct from Forecast; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_079_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-079 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-079: Simulation Result SHALL remain semantically distinct from Outcome; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_080_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-080 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-080: Anomaly SHALL remain semantically distinct from Signal; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_120_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-120 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-120: Consumer SHALL remain semantically distinct from Decision Actor; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_121_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-121 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-121: Consumer SHALL remain semantically distinct from Consumption Event; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_122_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-122 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-122: Recommendation Actor SHALL remain semantically distinct from Decision Actor; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_123_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-123 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-123: Recommendation SHALL remain semantically distinct from Decision; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_125_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-125 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-125: Decision SHALL remain semantically distinct from Action; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_126_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-126 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-126: Decision Actor SHALL remain semantically distinct from Action Actor; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_129_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-129 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-129: Action SHALL remain semantically distinct from Outcome; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_130_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-130 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-130: Outcome SHALL remain semantically distinct from Outcome Observation; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_131_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-131 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-131: Outcome SHALL remain semantically distinct from Feedback; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_132_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-132 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-132: Outcome SHALL remain semantically distinct from Analytical Value; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_134_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-134 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-134: Consumption SHALL remain semantically distinct from Analytical Value; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_135_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-135 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-135: Decision SHALL remain semantically distinct from Analytical Value; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_136_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-136 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-136: Decision Quality SHALL remain semantically distinct from Analytical Quality; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_137_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-137 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-137: Decision Quality SHALL remain semantically distinct from Action Quality; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_138_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-138 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-138: Automation SHALL remain semantically distinct from Autonomy; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_161_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-161 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-161: Analytical Lineage SHALL remain semantically distinct from Analytical Provenance; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_162_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-162 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-162: Definition Provenance SHALL remain semantically distinct from Execution Provenance; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_163_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-163 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-163: Semantic Provenance SHALL remain semantically distinct from Logic Provenance; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_164_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-164 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-164: Method Provenance SHALL remain semantically distinct from Logic Provenance; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_166_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-166 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-166: Consumption Provenance SHALL remain semantically distinct from Decision Provenance; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_167_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-167 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-167: Decision Provenance SHALL remain semantically distinct from Action Provenance; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_180_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-180 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-180: Logical Identity SHALL remain semantically distinct from Version Identity; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_183_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-183 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-183: Observation Time SHALL remain semantically distinct from Processing Time; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_184_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-184 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-184: Processing Time SHALL remain semantically distinct from Publication Time; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_185_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-185 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-185: Publication Time SHALL remain semantically distinct from Consumption Time; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_186_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-186 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-186: Consumption Time SHALL remain semantically distinct from Decision Time; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_187_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-187 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-187: Decision Time SHALL remain semantically distinct from Action Time; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_188_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-188 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-188: Action Time SHALL remain semantically distinct from Outcome Observation Time; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_190_ExplicitEquivalenceShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-190 ; gearmsh:constraintKind "explicit-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-190: Definition Graph SHALL remain semantically distinct from Execution Graph; explicit equivalence declarations violate the machine-checkable portion of this invariant." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_033_SpecializationShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-033 ; gearmsh:constraintKind "canonical-specialization" ; gearmsh:validationScope gearmsh:CanonicalVocabularyScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:property [ sh:path rdfs:subClassOf ; sh:hasValue ; sh:message "GEARM-INV-033: canonical GEARM vocabulary SHALL preserve KPI as a specialization of Indicator." ] . gearmsh:GEARM_INV_034_SpecializationShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-034 ; gearmsh:constraintKind "canonical-specialization" ; gearmsh:validationScope gearmsh:CanonicalVocabularyScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:property [ sh:path rdfs:subClassOf ; sh:hasValue ; sh:message "GEARM-INV-034: canonical GEARM vocabulary SHALL preserve KRI as a specialization of Indicator." ] . gearmsh:GEARM_INV_036_SpecializationShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-036 ; gearmsh:constraintKind "canonical-specialization" ; gearmsh:validationScope gearmsh:CanonicalVocabularyScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:property [ sh:path rdfs:subClassOf ; sh:hasValue ; sh:message "GEARM-INV-036: canonical GEARM vocabulary SHALL preserve Threshold as a specialization of Analytical Condition." ] . gearmsh:GEARM_INV_042_SpecializationShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-042 ; gearmsh:constraintKind "canonical-specialization" ; gearmsh:validationScope gearmsh:CanonicalVocabularyScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:property [ sh:path rdfs:subClassOf ; sh:hasValue ; sh:message "GEARM-INV-042: canonical GEARM vocabulary SHALL preserve Cohort as a specialization of Population." ] . gearmsh:GEARM_INV_076_SpecializationShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-076 ; gearmsh:constraintKind "canonical-specialization" ; gearmsh:validationScope gearmsh:CanonicalVocabularyScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:property [ sh:path rdfs:subClassOf ; sh:hasValue ; sh:message "GEARM-INV-076: canonical GEARM vocabulary SHALL preserve Forecast as a specialization of Prediction." ] . gearmsh:GEARM_INV_110_RelationshipSeparationShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-110 ; gearmsh:constraintKind "relationship-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-110: dependsOn is a dependency relationship and SHALL NOT be declared as specialization/IS-A." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_112_RelationshipSeparationShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-112 ; gearmsh:constraintKind "relationship-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-112: invokes SHALL NOT be declared as the specializes/IS-A relationship." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . gearmsh:GEARM_INV_208_RelationshipSeparationShape a sh:NodeShape ; sh:targetNode ; gearmsh:implementsInvariant gearmi:GEARM-INV-208 ; gearmsh:constraintKind "relationship-semantic-collapse" ; gearmsh:validationScope gearmsh:SemanticMappingScope ; gearmsh:requiresSemanticAssessment true ; sh:severity sh:Violation ; sh:sparql [ a sh:SPARQLConstraint ; sh:message "GEARM-INV-208: equivalentTo and specializes are distinct mapping relationships and SHALL NOT be declared equivalent or as subproperties of one another." ; sh:select "SELECT $this\nWHERE {\n VALUES ?other { }\n { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n UNION { $this ?other . }\n UNION { ?other $this . }\n}" ] . # ----------------------------------------------------------------------------- # Invariant coverage index # ----------------------------------------------------------------------------- gearmsh:Coverage_GEARM_INV_001 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-001 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_001_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_002 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-002 ; gearmsh:coverageStatus gearmsh:HybridAssessmentRequired ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as hybrid, but A6 does not encode a sound executable reduction; semantic assessment remains required." . gearmsh:Coverage_GEARM_INV_003 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-003 ; gearmsh:coverageStatus gearmsh:HybridAssessmentRequired ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as hybrid, but A6 does not encode a sound executable reduction; semantic assessment remains required." . gearmsh:Coverage_GEARM_INV_004 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-004 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_004_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_005 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-005 ; gearmsh:coverageStatus gearmsh:HybridAssessmentRequired ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as hybrid, but A6 does not encode a sound executable reduction; semantic assessment remains required." . gearmsh:Coverage_GEARM_INV_006 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-006 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_006_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_007 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-007 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_010 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-010 ; gearmsh:coverageStatus gearmsh:HybridAssessmentRequired ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as hybrid, but A6 does not encode a sound executable reduction; semantic assessment remains required." . gearmsh:Coverage_GEARM_INV_011 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-011 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_011_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_012 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-012 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_012_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_013 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-013 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_013_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_014 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-014 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_014_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_015 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-015 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_015_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_016 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-016 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_016_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_017 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-017 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_017_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_018 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-018 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_018_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_019 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-019 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_019_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_020 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-020 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_020_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_021 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-021 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_021_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_022 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-022 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_022_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_023 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-023 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_023_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_024 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-024 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_024_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_025 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-025 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_025_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_030 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-030 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_030_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_031 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-031 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_031_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_032 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-032 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_032_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_033 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-033 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_033_SpecializationShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_034 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-034 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_034_SpecializationShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_035 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-035 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_036 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-036 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_036_SpecializationShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_037 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-037 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_037_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_038 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-038 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_038_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_039 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-039 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_039_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_040 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-040 ; gearmsh:coverageStatus gearmsh:HybridAssessmentRequired ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as hybrid, but A6 does not encode a sound executable reduction; semantic assessment remains required." . gearmsh:Coverage_GEARM_INV_041 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-041 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_041_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_042 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-042 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_042_SpecializationShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_043 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-043 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_043_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_044 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-044 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_044_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_045 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-045 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_045_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_046 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-046 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_046_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_047 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-047 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_047_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_048 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-048 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_048_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_049 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-049 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_049_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_050 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-050 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_060 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-060 ; gearmsh:coverageStatus gearmsh:HybridAssessmentRequired ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as hybrid, but A6 does not encode a sound executable reduction; semantic assessment remains required." . gearmsh:Coverage_GEARM_INV_061 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-061 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_061_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_062 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-062 ; gearmsh:coverageStatus gearmsh:HybridAssessmentRequired ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as hybrid, but A6 does not encode a sound executable reduction; semantic assessment remains required." . gearmsh:Coverage_GEARM_INV_063 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-063 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_063_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_064 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-064 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_064_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_065 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-065 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_065_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_066 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-066 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_066_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_067 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-067 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_067_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_068 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-068 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_068_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_069 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-069 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_070 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-070 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_070_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_071 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-071 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_071_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_072 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-072 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_072_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_073 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-073 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_073_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_074 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-074 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_074_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_075 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-075 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_075_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_076 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-076 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_076_SpecializationShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_077 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-077 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_078 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-078 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_078_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_079 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-079 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_079_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_080 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-080 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_080_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_081 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-081 ; gearmsh:coverageStatus gearmsh:HybridAssessmentRequired ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as hybrid, but A6 does not encode a sound executable reduction; semantic assessment remains required." . gearmsh:Coverage_GEARM_INV_082 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-082 ; gearmsh:coverageStatus gearmsh:HybridAssessmentRequired ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as hybrid, but A6 does not encode a sound executable reduction; semantic assessment remains required." . gearmsh:Coverage_GEARM_INV_083 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-083 ; gearmsh:coverageStatus gearmsh:HybridAssessmentRequired ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as hybrid, but A6 does not encode a sound executable reduction; semantic assessment remains required." . gearmsh:Coverage_GEARM_INV_084 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-084 ; gearmsh:coverageStatus gearmsh:HybridAssessmentRequired ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as hybrid, but A6 does not encode a sound executable reduction; semantic assessment remains required." . gearmsh:Coverage_GEARM_INV_090 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-090 ; gearmsh:coverageStatus gearmsh:HybridAssessmentRequired ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as hybrid, but A6 does not encode a sound executable reduction; semantic assessment remains required." . gearmsh:Coverage_GEARM_INV_091 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-091 ; gearmsh:coverageStatus gearmsh:HybridAssessmentRequired ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as hybrid, but A6 does not encode a sound executable reduction; semantic assessment remains required." . gearmsh:Coverage_GEARM_INV_092 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-092 ; gearmsh:coverageStatus gearmsh:HybridAssessmentRequired ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as hybrid, but A6 does not encode a sound executable reduction; semantic assessment remains required." . gearmsh:Coverage_GEARM_INV_093 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-093 ; gearmsh:coverageStatus gearmsh:HybridAssessmentRequired ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as hybrid, but A6 does not encode a sound executable reduction; semantic assessment remains required." . gearmsh:Coverage_GEARM_INV_094 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-094 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_095 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-095 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_096 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-096 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_097 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-097 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_098 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-098 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_099 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-099 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_100 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-100 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_101 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-101 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_102 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-102 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_110 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-110 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_110_RelationshipSeparationShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_111 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-111 ; gearmsh:coverageStatus gearmsh:HybridAssessmentRequired ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as hybrid, but A6 does not encode a sound executable reduction; semantic assessment remains required." . gearmsh:Coverage_GEARM_INV_112 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-112 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_112_RelationshipSeparationShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_113 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-113 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_114 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-114 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_115 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-115 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_116 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-116 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_120 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-120 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_120_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_121 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-121 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_121_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_122 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-122 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_122_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_123 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-123 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_123_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_124 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-124 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_125 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-125 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_125_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_126 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-126 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_126_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_127 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-127 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_128 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-128 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_129 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-129 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_129_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_130 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-130 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_130_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_131 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-131 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_131_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_132 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-132 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_132_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_133 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-133 ; gearmsh:coverageStatus gearmsh:HybridAssessmentRequired ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as hybrid, but A6 does not encode a sound executable reduction; semantic assessment remains required." . gearmsh:Coverage_GEARM_INV_134 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-134 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_134_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_135 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-135 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_135_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_136 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-136 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_136_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_137 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-137 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_137_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_138 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-138 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_138_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_139 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-139 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_140 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-140 ; gearmsh:coverageStatus gearmsh:HybridAssessmentRequired ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as hybrid, but A6 does not encode a sound executable reduction; semantic assessment remains required." . gearmsh:Coverage_GEARM_INV_141 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-141 ; gearmsh:coverageStatus gearmsh:HybridAssessmentRequired ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as hybrid, but A6 does not encode a sound executable reduction; semantic assessment remains required." . gearmsh:Coverage_GEARM_INV_142 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-142 ; gearmsh:coverageStatus gearmsh:HybridAssessmentRequired ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as hybrid, but A6 does not encode a sound executable reduction; semantic assessment remains required." . gearmsh:Coverage_GEARM_INV_143 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-143 ; gearmsh:coverageStatus gearmsh:HybridAssessmentRequired ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as hybrid, but A6 does not encode a sound executable reduction; semantic assessment remains required." . gearmsh:Coverage_GEARM_INV_144 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-144 ; gearmsh:coverageStatus gearmsh:HybridAssessmentRequired ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as hybrid, but A6 does not encode a sound executable reduction; semantic assessment remains required." . gearmsh:Coverage_GEARM_INV_145 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-145 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_146 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-146 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_150 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-150 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_151 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-151 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_152 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-152 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_153 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-153 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_160 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-160 ; gearmsh:coverageStatus gearmsh:HybridAssessmentRequired ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as hybrid, but A6 does not encode a sound executable reduction; semantic assessment remains required." . gearmsh:Coverage_GEARM_INV_161 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-161 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_161_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_162 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-162 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_162_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_163 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-163 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_163_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_164 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-164 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_164_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_165 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-165 ; gearmsh:coverageStatus gearmsh:HybridAssessmentRequired ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as hybrid, but A6 does not encode a sound executable reduction; semantic assessment remains required." . gearmsh:Coverage_GEARM_INV_166 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-166 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_166_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_167 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-167 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_167_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_168 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-168 ; gearmsh:coverageStatus gearmsh:HybridAssessmentRequired ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as hybrid, but A6 does not encode a sound executable reduction; semantic assessment remains required." . gearmsh:Coverage_GEARM_INV_169 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-169 ; gearmsh:coverageStatus gearmsh:HybridAssessmentRequired ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as hybrid, but A6 does not encode a sound executable reduction; semantic assessment remains required." . gearmsh:Coverage_GEARM_INV_170 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-170 ; gearmsh:coverageStatus gearmsh:HybridAssessmentRequired ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as hybrid, but A6 does not encode a sound executable reduction; semantic assessment remains required." . gearmsh:Coverage_GEARM_INV_171 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-171 ; gearmsh:coverageStatus gearmsh:HybridAssessmentRequired ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as hybrid, but A6 does not encode a sound executable reduction; semantic assessment remains required." . gearmsh:Coverage_GEARM_INV_172 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-172 ; gearmsh:coverageStatus gearmsh:HybridAssessmentRequired ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as hybrid, but A6 does not encode a sound executable reduction; semantic assessment remains required." . gearmsh:Coverage_GEARM_INV_173 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-173 ; gearmsh:coverageStatus gearmsh:HybridAssessmentRequired ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as hybrid, but A6 does not encode a sound executable reduction; semantic assessment remains required." . gearmsh:Coverage_GEARM_INV_174 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-174 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_175 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-175 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_176 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-176 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_177 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-177 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_178 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-178 ; gearmsh:coverageStatus gearmsh:HybridAssessmentRequired ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as hybrid, but A6 does not encode a sound executable reduction; semantic assessment remains required." . gearmsh:Coverage_GEARM_INV_180 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-180 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_180_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_181 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-181 ; gearmsh:coverageStatus gearmsh:HybridAssessmentRequired ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as hybrid, but A6 does not encode a sound executable reduction; semantic assessment remains required." . gearmsh:Coverage_GEARM_INV_182 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-182 ; gearmsh:coverageStatus gearmsh:HybridAssessmentRequired ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as hybrid, but A6 does not encode a sound executable reduction; semantic assessment remains required." . gearmsh:Coverage_GEARM_INV_183 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-183 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_183_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_184 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-184 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_184_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_185 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-185 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_185_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_186 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-186 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_186_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_187 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-187 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_187_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_188 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-188 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_188_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_189 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-189 ; gearmsh:coverageStatus gearmsh:HybridAssessmentRequired ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as hybrid, but A6 does not encode a sound executable reduction; semantic assessment remains required." . gearmsh:Coverage_GEARM_INV_190 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-190 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_190_ExplicitEquivalenceShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_191 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-191 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_192 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-192 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_193 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-193 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_200 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-200 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_201 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-201 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_202 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-202 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_203 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-203 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_204 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-204 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_205 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-205 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_206 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-206 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_207 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-207 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_208 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-208 ; gearmsh:coverageStatus gearmsh:PartialExecutable ; gearmsh:coverageShape gearmsh:GEARM_INV_208_RelationshipSeparationShape ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A6 implements a bounded machine-checkable portion. Complete invariant conformance still requires semantic assessment." . gearmsh:Coverage_GEARM_INV_209 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-209 ; gearmsh:coverageStatus gearmsh:HybridAssessmentRequired ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as hybrid, but A6 does not encode a sound executable reduction; semantic assessment remains required." . gearmsh:Coverage_GEARM_INV_210 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-210 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_211 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-211 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_212 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-212 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_213 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-213 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_214 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-214 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_220 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-220 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_221 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-221 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_222 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-222 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_223 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-223 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_224 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-224 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_225 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-225 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_226 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-226 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_230 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-230 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_231 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-231 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_232 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-232 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_233 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-233 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . gearmsh:Coverage_GEARM_INV_234 a gearmsh:InvariantCoverage ; gearmsh:implementsInvariant gearmi:GEARM-INV-234 ; gearmsh:coverageStatus gearmsh:AssessmentOnly ; gearmsh:requiresSemanticAssessment true ; gearmsh:coverageNote "A3 classifies this invariant as semantic-assessment; A6 intentionally provides no executable constraint." . # ----------------------------------------------------------------------------- # GEARM-A6 coverage summary # ----------------------------------------------------------------------------- # Total normative invariants: 180 # A3 hybrid invariants: 120 # A3 semantic-assessment invariants: 60 # A6 partially executable invariants: 85 # A6 hybrid invariants without safe executable reduction: 35 # A6 assessment-only invariants: 60 # # A6 deliberately reports partial executable coverage rather than claiming that # SHACL proves complete GEARM semantic conformance.