Validation on Ometeotl, an abstract decision meta-model

DiagnosticBuilder

Mon, 01 Jan 0001 00:00:00 +0000

Source:

src/ometeotl_core/validation/diagnostic.py

Local role: Builds user-facing diagnostics from ValidationResult.

Big-picture role: Implements motivated rejection support and repair-ready issue suggestions.

Outputs:

DiagnosticEntry
DiagnosticReport

Validation Policy Profiles

Mon, 01 Jan 0001 00:00:00 +0000

Source:

src/ometeotl_core/validation/policy.py

Local role: Maps high-level hardening profiles to per-stage pipeline modes.

Available profiles:

observe_only
enforce_structure
enforce_domain

Entry point:

build_stage_modes(...)

Big-picture role: Progressive hardening control used by AuthorityCommandHandler and build_runtime(...).

ValidationContext

Mon, 01 Jan 0001 00:00:00 +0000

Source:

src/ometeotl_core/validation/base.py

Local role: Execution context passed to each validator stage.

Big-picture role: Carries policy mode plus actor/world/metadata payload needed by contextual validators.

Inheritance:

frozen dataclass

Parameters and fields:

stage: str
policy_mode: str
actor_id: str
world_id: str
metadata: JsonMap

ValidationIssue

Mon, 01 Jan 0001 00:00:00 +0000

Source:

src/ometeotl_core/validation/base.py

Local role: Atomic validation finding with code, severity, message, and context.

Big-picture role: Standardized issue contract shared by all validation stages and command boundary exports.

Inheritance:

frozen dataclass

Parameters and fields:

code: str
severity: str (error, warning, info)
message: str
object_id: str
path: str
suggestion: str
context: JsonMap

ValidationPipeline

Mon, 01 Jan 0001 00:00:00 +0000

Source:

src/ometeotl_core/validation/pipeline.py

Local role: Orchestrates ordered validator execution and result aggregation.

Big-picture role: Single staged entry point for validation policies across validation and core authority boundaries.

Key modes:

strict
lenient
warn_only

Key behavior:

per-stage mode overrides with stage_modes
error downgrading in warn_only
optional strict raising (ValidationException) when configured
metadata for executed validators and effective stage modes

ValidationResult

Mon, 01 Jan 0001 00:00:00 +0000

Source:

src/ometeotl_core/validation/base.py

Local role: Aggregated result of one validator stage or full pipeline execution.

Big-picture role: Stable structured contract consumed by diagnostics and authority command decisions.

Inheritance:

dataclass

Parameters and fields:

issues: list[ValidationIssue]
stage: str
policy_mode: str
metadata: JsonMap

Derived helpers:

summary
valid
errors
warnings
infos
merged_with(...)

Validators Overview

Mon, 01 Jan 0001 00:00:00 +0000

Sources:

Implemented validator families:

SyntacticValidator: JSON/YAML payload parse validity.
StructuralValidator: object shape, fields, relations, and hierarchy checks.
TemporalValidator: time-window coexistence checks.
SpatialValidator: relevant-space presence checks.
AdmissibilityValidator: goal admissibility under actor-perception constraints.
EpistemicValidator: epistemic status coherence checks.
CompletenessValidator: minimum/recommended/full completeness thresholds.