SemanticVerifier.Schema (semantic_verifier v0.1.1)

Schema definitions and validators for Semantic IR structures powered by NimbleOptions. Ensures strict structural integrity before passing AST/IR to Z3 formal verifiers.

Summary

Functions

validate(ir_map)

Validates a raw Semantic IR map against root, frame, and branch schemas. Returns {:ok, normalized_ir} or {:error, error_message}.

Functions

validate(ir_map)

@spec validate(map()) :: {:ok, map()} | {:error, String.t()}

Validates a raw Semantic IR map against root, frame, and branch schemas. Returns {:ok, normalized_ir} or {:error, error_message}.