Metaprogramming Safety

Kind: algorithm

Record: algorithms:metaprogramming-safety

Canonical: Algorithms

Closure: Dependencies in load order

Treat code as data only through schemas, manifests, DSL grammars, reflection contracts, compile-time checks, runtime guards, and generated artifact validation.

Listed in Algorithm contracts, after Control Plane Coordination and before Model Lifecycle Governance.

Domain

• Architecture relationships

Tier

• leaf

Math type

• Logic

Force

• Contract compatibility
• Correctness verification
• Metaprogramming modeling
• Model governance

Linked from

• The mathematics
• Domain tiers
• The forces