Skip to content

README.md

Latest commit

 

History

History
42 lines (28 loc) · 1.24 KB

README.md

File metadata and controls

42 lines (28 loc) · 1.24 KB
Raw

:kernel:validation

English | Chinese (Simplified)

The :kernel:validation module owns generic semantic validation over canonical Engineering IR. It provides deterministic diagnostics and continuation policy for rules that are core-wide rather than domain-specific.

Responsibilities

  • Define semantic diagnostic and continuation models in SemanticValidationModel.kt.
  • Validate canonical IR with EngineeringIrValidator.
  • Enforce generic rules such as uniqueness and reference resolvability.
  • Return provenance-rich diagnostics without mutating the canonical model.

Main Types

  • SemanticDiagnostic
  • SemanticRuleId
  • SemanticDiagnosticSeverity
  • SemanticDiagnosticCategory
  • SemanticContinuationDecision
  • SemanticValidationResult
  • EngineeringIrValidator

Dependencies

  • :kernel:engineering-model

Boundaries

This module does not parse source text, lower AST nodes, define domain-specific rules such as Electrical/Runtime compatibility, or produce render output. Domain semantics belong in plugins, and orchestration belongs in :kernel:compiler.

Verification

./gradlew :kernel:validation:test

Windows PowerShell:

java25; .\gradlew.bat :kernel:validation:test