Module normalized 

Proof-facing normalized types for the bounded verified core.

These types deliberately carve out the pure authorization subset the executable spec and future Lean refinement work can talk about without depending on the full runtime object graph.

Structs

NormalizedCapability

Proof-facing capability token projection.

NormalizedEvaluationVerdict

Proof-facing evaluation output.

NormalizedMonetaryAmount

Proof-facing monetary cap.

NormalizedPromptGrant

Proof-facing prompt grant.

NormalizedRequest

Proof-facing request shape for the current evaluated tool call.

NormalizedResourceGrant

Proof-facing resource grant.

NormalizedScope

Proof-facing scope.

NormalizedToolGrant

Proof-facing tool grant.

NormalizedVerifiedCapability

Proof-facing verified-capability output.

Enums

NormalizationError

Errors raised while projecting runtime objects into the normalized proof-facing surface.

NormalizedConstraint

Constraint subset currently admitted into the normalized proof-facing AST.

NormalizedOperation

Proof-facing operation enum.

NormalizedRuntimeAssuranceTier

Proof-facing runtime assurance tier.

NormalizedVerdict

Proof-facing verdict enum.