test_new_grammar_features.007

// Test file for new grammar features

// 1. Test dynamic_lexer annotation
@dynamic_lexer("rust")

// 2. Test optimization hint
@optimize("regex", "fast_path")

// 3. Test semantic hint
@semantic("highlight", "keyword")

// 4. Test semantic codegen hint
@semantic("codegen", "optimized")

// 5. Test runtime semantic hint
@runtime_semantic("dynamic")

// 6. Test semantic inference hint
@semantic_inference("automatic")

// 7. Test formal proof hint
@formal_proof("lexing_equivalence", "proof1")

// 8. Test semantic consistency hint
@semantic_consistency("strict")

// 9. Test embedded DSL block
dsl python {
    def hello():
        print("Hello from Python DSL!")
}

// 10. Test existing features still work
@total data x = 42

agent TestAgent {
    control {
        on receive(msg) -> {
            send_final(msg, "target")
        }
    }
}