Add codegen and runtime support for destroy dimension point syntax

Implement code generation for destroy dimension point statements, completing
the feature through the full compiler pipeline. Add destroy_dimension_point()
to the runtime Position class, and include integration testdata covering all
position reference patterns (local, interface, chained, and self in init).

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

Author: mkanat

define/compiler/codegen/literal/python/action_statements.j2

@@ -32,6 +32,8 @@
 {% endif %}
 {% elif stmt.kind == StatementKind.CREATE_DIMENSION_POINT %}
         {{ pos(stmt.position) }}.create_dimension_point()
+{% elif stmt.kind == StatementKind.DESTROY_DIMENSION_POINT %}
+        {{ pos(stmt.position) }}.destroy_dimension_point()
 {% elif stmt.kind == StatementKind.MOVE_DIMENSION_POINT %}
 {% if stmt.to_position.chain_elements %}
         {{ pos(stmt.position) }}.move_dimension_point_to(

define/compiler/codegen/literal/python/action_statements.py

@@ -52,7 +52,10 @@ def _build_statement(
                 position=self._build_position_expr(stmt.target_position),
             )
         if isinstance(stmt, ast.DestroyDimensionPointStatement):
-            raise NotImplementedError("destroy dimension point codegen")
+            return template_context.ActionStatementContext(
+                kind=template_context.StatementKind.DESTROY_DIMENSION_POINT,
+                position=self._build_position_expr(stmt.target_position),
+            )
         return template_context.ActionStatementContext(
             kind=template_context.StatementKind.MOVE_DIMENSION_POINT,
             position=self._build_position_expr(stmt.source_position),

define/compiler/codegen/literal/python/template_context.py

@@ -26,6 +26,7 @@ class StatementKind(enum.Enum):
     LOCAL_POSITION = enum.auto()
     CREATE_DIMENSION_POINT = enum.auto()
     MOVE_DIMENSION_POINT = enum.auto()
+    DESTROY_DIMENSION_POINT = enum.auto()
 
 
 class ChainAccessor(enum.Enum):

define/compiler/codegen/testdata/destroy_from_chained/.define/project/config.defcl

@@ -0,0 +1,3 @@
+project: {
+  universe_name: "my.domain.com:my_lib"
+}

define/compiler/codegen/testdata/destroy_from_chained/act.dfn

@@ -0,0 +1,13 @@
+define the potential action<my.domain.com:my_lib:/act> {
+    define the position<trigger>.
+    define the position<chain_src> {
+        it may only contain dimension points where {
+            it has the position</mid>.
+        }
+    }
+    it happens when {
+        the position<trigger> has a dimension point.
+    } and it does {
+        destroy the dimension point in position<chain_src>::position</mid>::position</end>.
+    }
+}

define/compiler/codegen/testdata/destroy_from_chained/end.dfn

@@ -0,0 +1 @@
+define the potential position<my.domain.com:my_lib:/end>.

define/compiler/codegen/testdata/destroy_from_chained/expected/__main__.py

@@ -0,0 +1,13 @@
+"""Generated by the Define compiler."""
+
+from define.runtime import literal
+
+import local.my_domain_com.my_lib.test
+
+
+def main():
+    literal.start(local.my_domain_com.my_lib.test.Test())
+
+
+if __name__ == "__main__":
+    main()

define/compiler/codegen/testdata/destroy_from_chained/expected/local/__init__.py

@@ -0,0 +1 @@
+"""Generated by the Define compiler."""

define/compiler/codegen/testdata/destroy_from_chained/expected/local/my_domain_com/__init__.py

@@ -0,0 +1 @@
+"""Generated by the Define compiler."""

define/compiler/codegen/testdata/destroy_from_chained/expected/local/my_domain_com/my_lib/__init__.py

@@ -0,0 +1 @@
+"""Generated by the Define compiler."""