thundergraph-model 1.3.3__tar.gz → 1.4.0__tar.gz

{thundergraph_model-1.3.3 → thundergraph_model-1.4.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: thundergraph-model
-Version: 1.3.3
+Version: 1.4.0
 Summary: Executable systems modeling in Python
 License-File: LICENSE
 Requires-Python: >=3.11

{thundergraph_model-1.3.3 → thundergraph_model-1.4.0}/docs/user_docs/_build/html/_modules/index.html

@@ -205,6 +205,7 @@
 <li class="toctree-l1"><a class="reference internal" href="../user/concepts_system.html">Concept: Systems</a></li>
 <li class="toctree-l1"><a class="reference internal" href="../user/concepts_requirements.html">Concept: Requirements</a></li>
 <li class="toctree-l1"><a class="reference internal" href="../user/concepts_evaluation.html">Concept: Evaluation</a></li>
+<li class="toctree-l1"><a class="reference internal" href="../user/concepts_behavior.html">Concept: Behavioral Modeling</a></li>
 <li class="toctree-l1"><a class="reference internal" href="../user/concepts_external_compute.html">Concept: External Compute (Concrete Binding)</a></li>
 <li class="toctree-l1"><a class="reference internal" href="../user/faq.html">FAQ</a></li>
 </ul>
@@ -239,6 +240,7 @@
 <li class="toctree-l1"><a class="reference internal" href="../drafts/execution_pipeline.html">Execution Pipeline (Compile -&gt; Instantiate -&gt; Graph -&gt; Evaluate)</a></li>
 <li class="toctree-l1"><a class="reference internal" href="../drafts/glossary.html">Glossary</a></li>
 <li class="toctree-l1"><a class="reference internal" href="../drafts/repository_map.html">Repository Map (thundergraph-model)</a></li>
+<li class="toctree-l1"><a class="reference internal" href="../drafts/concepts_behavior_internal.html">Behavioral Modeling: States and Actions</a></li>
 </ul>
 
 </div>

{thundergraph_model-1.3.3 → thundergraph_model-1.4.0}/docs/user_docs/_build/html/_modules/tg_model/execution/configured_model.html

@@ -205,6 +205,7 @@
 <li class="toctree-l1"><a class="reference internal" href="../../../user/concepts_system.html">Concept: Systems</a></li>
 <li class="toctree-l1"><a class="reference internal" href="../../../user/concepts_requirements.html">Concept: Requirements</a></li>
 <li class="toctree-l1"><a class="reference internal" href="../../../user/concepts_evaluation.html">Concept: Evaluation</a></li>
+<li class="toctree-l1"><a class="reference internal" href="../../../user/concepts_behavior.html">Concept: Behavioral Modeling</a></li>
 <li class="toctree-l1"><a class="reference internal" href="../../../user/concepts_external_compute.html">Concept: External Compute (Concrete Binding)</a></li>
 <li class="toctree-l1"><a class="reference internal" href="../../../user/faq.html">FAQ</a></li>
 </ul>
@@ -547,7 +548,7 @@
         <span class="n">requirement_value_slots</span><span class="p">,</span>
     <span class="p">)</span>
 
-    <span class="n">connections</span> <span class="o">=</span> <span class="n">_instantiate_connections</span><span class="p">(</span><span class="n">compiled</span><span class="p">,</span> <span class="n">root_instance</span><span class="p">,</span> <span class="n">path_registry</span><span class="p">,</span> <span class="n">root_type</span><span class="p">)</span>
+    <span class="n">connections</span> <span class="o">=</span> <span class="n">_instantiate_all_connections</span><span class="p">(</span><span class="n">root_instance</span><span class="p">,</span> <span class="n">path_registry</span><span class="p">,</span> <span class="n">root_type</span><span class="p">)</span>
     <span class="n">allocations</span> <span class="o">=</span> <span class="n">_instantiate_allocations</span><span class="p">(</span><span class="n">compiled</span><span class="p">,</span> <span class="n">root_instance</span><span class="p">,</span> <span class="n">path_registry</span><span class="p">,</span> <span class="n">root_type</span><span class="p">)</span>
     <span class="n">references</span> <span class="o">=</span> <span class="n">_instantiate_all_references</span><span class="p">(</span><span class="n">root_instance</span><span class="p">,</span> <span class="n">path_registry</span><span class="p">,</span> <span class="n">root_type</span><span class="p">)</span> <span class="o">+</span> <span class="n">ref_accumulator</span>
 
@@ -821,12 +822,29 @@
     <span class="n">path_registry</span><span class="p">:</span> <span class="nb">dict</span><span class="p">[</span><span class="nb">str</span><span class="p">,</span> <span class="n">ElementInstance</span> <span class="o">|</span> <span class="n">ValueSlot</span><span class="p">],</span>
     <span class="n">out</span><span class="p">:</span> <span class="nb">list</span><span class="p">[</span><span class="n">ReferenceBinding</span><span class="p">],</span>
 <span class="p">)</span> <span class="o">-&gt;</span> <span class="kc">None</span><span class="p">:</span>
-<span class="w">    </span><span class="sd">&quot;&quot;&quot;Bind ``references`` edges authored inside a :class:`~tg_model.model.elements.Requirement` package.&quot;&quot;&quot;</span>
+<span class="w">    </span><span class="sd">&quot;&quot;&quot;Bind ``references`` edges authored inside a :class:`~tg_model.model.elements.Requirement` package.</span>
+
+<span class="sd">    Source refs from ``parameter()`` / ``attribute()`` inside a Requirement carry</span>
+<span class="sd">    the block&#39;s ``symbol_path_prefix`` baked into ``ref.path`` (so they can flow</span>
+<span class="sd">    through ``allocate(inputs=...)``). Citation refs do not (they keep</span>
+<span class="sd">    ``self.owner_type`` so they&#39;re locally scoped). Strip ``_symbol_path_prefix``</span>
+<span class="sd">    from each edge endpoint so the result is a clean local-relative path before</span>
+<span class="sd">    prepending the runtime ``block_instance_path``.</span>
+<span class="sd">    &quot;&quot;&quot;</span>
+    <span class="n">symbol_prefix</span><span class="p">:</span> <span class="nb">tuple</span><span class="p">[</span><span class="nb">str</span><span class="p">,</span> <span class="o">...</span><span class="p">]</span> <span class="o">=</span> <span class="nb">tuple</span><span class="p">(</span><span class="n">compiled</span><span class="o">.</span><span class="n">get</span><span class="p">(</span><span class="s2">&quot;_symbol_path_prefix&quot;</span><span class="p">)</span> <span class="ow">or</span> <span class="p">())</span>
+
+    <span class="k">def</span><span class="w"> </span><span class="nf">_instance_path</span><span class="p">(</span><span class="n">raw_path</span><span class="p">:</span> <span class="nb">tuple</span><span class="p">[</span><span class="nb">str</span><span class="p">,</span> <span class="o">...</span><span class="p">])</span> <span class="o">-&gt;</span> <span class="nb">tuple</span><span class="p">[</span><span class="nb">str</span><span class="p">,</span> <span class="o">...</span><span class="p">]:</span>
+        <span class="k">if</span> <span class="n">symbol_prefix</span> <span class="ow">and</span> <span class="n">raw_path</span><span class="p">[:</span> <span class="nb">len</span><span class="p">(</span><span class="n">symbol_prefix</span><span class="p">)]</span> <span class="o">==</span> <span class="n">symbol_prefix</span><span class="p">:</span>
+            <span class="n">local</span> <span class="o">=</span> <span class="n">raw_path</span><span class="p">[</span><span class="nb">len</span><span class="p">(</span><span class="n">symbol_prefix</span><span class="p">):]</span>
+        <span class="k">else</span><span class="p">:</span>
+            <span class="n">local</span> <span class="o">=</span> <span class="n">raw_path</span>
+        <span class="k">return</span> <span class="n">block_instance_path</span> <span class="o">+</span> <span class="n">local</span>
+
     <span class="k">for</span> <span class="n">edge</span> <span class="ow">in</span> <span class="n">compiled</span><span class="o">.</span><span class="n">get</span><span class="p">(</span><span class="s2">&quot;edges&quot;</span><span class="p">,</span> <span class="p">[]):</span>
         <span class="k">if</span> <span class="n">edge</span><span class="o">.</span><span class="n">get</span><span class="p">(</span><span class="s2">&quot;kind&quot;</span><span class="p">)</span> <span class="o">!=</span> <span class="s2">&quot;references&quot;</span><span class="p">:</span>
             <span class="k">continue</span>
-        <span class="n">src_path</span> <span class="o">=</span> <span class="n">block_instance_path</span> <span class="o">+</span> <span class="nb">tuple</span><span class="p">(</span><span class="n">edge</span><span class="p">[</span><span class="s2">&quot;source&quot;</span><span class="p">][</span><span class="s2">&quot;path&quot;</span><span class="p">])</span>
-        <span class="n">tgt_path</span> <span class="o">=</span> <span class="n">block_instance_path</span> <span class="o">+</span> <span class="nb">tuple</span><span class="p">(</span><span class="n">edge</span><span class="p">[</span><span class="s2">&quot;target&quot;</span><span class="p">][</span><span class="s2">&quot;path&quot;</span><span class="p">])</span>
+        <span class="n">src_path</span> <span class="o">=</span> <span class="n">_instance_path</span><span class="p">(</span><span class="nb">tuple</span><span class="p">(</span><span class="n">edge</span><span class="p">[</span><span class="s2">&quot;source&quot;</span><span class="p">][</span><span class="s2">&quot;path&quot;</span><span class="p">]))</span>
+        <span class="n">tgt_path</span> <span class="o">=</span> <span class="n">_instance_path</span><span class="p">(</span><span class="nb">tuple</span><span class="p">(</span><span class="n">edge</span><span class="p">[</span><span class="s2">&quot;target&quot;</span><span class="p">][</span><span class="s2">&quot;path&quot;</span><span class="p">]))</span>
         <span class="n">src_key</span> <span class="o">=</span> <span class="s2">&quot;.&quot;</span><span class="o">.</span><span class="n">join</span><span class="p">(</span><span class="n">src_path</span><span class="p">)</span>
         <span class="n">tgt_key</span> <span class="o">=</span> <span class="s2">&quot;.&quot;</span><span class="o">.</span><span class="n">join</span><span class="p">(</span><span class="n">tgt_path</span><span class="p">)</span>
         <span class="n">src</span> <span class="o">=</span> <span class="n">path_registry</span><span class="o">.</span><span class="n">get</span><span class="p">(</span><span class="n">src_key</span><span class="p">)</span>
@@ -852,43 +870,63 @@
         <span class="p">)</span>
 
 
-<span class="k">def</span><span class="w"> </span><span class="nf">_instantiate_connections</span><span class="p">(</span>
-    <span class="n">compiled</span><span class="p">:</span> <span class="nb">dict</span><span class="p">[</span><span class="nb">str</span><span class="p">,</span> <span class="n">Any</span><span class="p">],</span>
+<span class="k">def</span><span class="w"> </span><span class="nf">_instantiate_all_connections</span><span class="p">(</span>
     <span class="n">root</span><span class="p">:</span> <span class="n">PartInstance</span><span class="p">,</span>
     <span class="n">path_registry</span><span class="p">:</span> <span class="nb">dict</span><span class="p">[</span><span class="nb">str</span><span class="p">,</span> <span class="n">ElementInstance</span> <span class="o">|</span> <span class="n">ValueSlot</span><span class="p">],</span>
     <span class="n">root_type</span><span class="p">:</span> <span class="nb">type</span><span class="p">,</span>
 <span class="p">)</span> <span class="o">-&gt;</span> <span class="nb">list</span><span class="p">[</span><span class="n">ConnectionBinding</span><span class="p">]:</span>
-<span class="w">    </span><span class="sd">&quot;&quot;&quot;Resolve compiled connection edges into ConnectionBindings.&quot;&quot;&quot;</span>
-    <span class="n">connections</span><span class="p">:</span> <span class="nb">list</span><span class="p">[</span><span class="n">ConnectionBinding</span><span class="p">]</span> <span class="o">=</span> <span class="p">[]</span>
+<span class="w">    </span><span class="sd">&quot;&quot;&quot;Resolve ``connect`` edges from every part type in the instance tree.</span>
 
-    <span class="k">for</span> <span class="n">edge</span> <span class="ow">in</span> <span class="n">compiled</span><span class="o">.</span><span class="n">get</span><span class="p">(</span><span class="s2">&quot;edges&quot;</span><span class="p">,</span> <span class="p">[]):</span>
-        <span class="k">if</span> <span class="n">edge</span><span class="p">[</span><span class="s2">&quot;kind&quot;</span><span class="p">]</span> <span class="o">!=</span> <span class="s2">&quot;connect&quot;</span><span class="p">:</span>
-            <span class="k">continue</span>
+<span class="sd">    Mirrors :func:`_instantiate_all_references`. Connections are no longer required</span>
+<span class="sd">    to be authored on the configured root — composed sub-Parts may declare their own</span>
+<span class="sd">    internal port wiring via ``model.connect(...)``. Each part contributes the</span>
+<span class="sd">    connect edges from its own ``definition_type.compile()`` artifact, and the</span>
+<span class="sd">    source/target port paths are resolved against that part&#39;s ``instance_path``.</span>
+<span class="sd">    &quot;&quot;&quot;</span>
+    <span class="n">out</span><span class="p">:</span> <span class="nb">list</span><span class="p">[</span><span class="n">ConnectionBinding</span><span class="p">]</span> <span class="o">=</span> <span class="p">[]</span>
+    <span class="n">stack</span><span class="p">:</span> <span class="nb">list</span><span class="p">[</span><span class="n">PartInstance</span><span class="p">]</span> <span class="o">=</span> <span class="p">[</span><span class="n">root</span><span class="p">]</span>
+    <span class="k">while</span> <span class="n">stack</span><span class="p">:</span>
+        <span class="n">part</span> <span class="o">=</span> <span class="n">stack</span><span class="o">.</span><span class="n">pop</span><span class="p">()</span>
+        <span class="n">compiled</span> <span class="o">=</span> <span class="n">part</span><span class="o">.</span><span class="n">definition_type</span><span class="o">.</span><span class="n">compile</span><span class="p">()</span>
+        <span class="k">for</span> <span class="n">edge</span> <span class="ow">in</span> <span class="n">compiled</span><span class="o">.</span><span class="n">get</span><span class="p">(</span><span class="s2">&quot;edges&quot;</span><span class="p">,</span> <span class="p">[]):</span>
+            <span class="k">if</span> <span class="n">edge</span><span class="p">[</span><span class="s2">&quot;kind&quot;</span><span class="p">]</span> <span class="o">!=</span> <span class="s2">&quot;connect&quot;</span><span class="p">:</span>
+                <span class="k">continue</span>
 
-        <span class="n">src_path</span> <span class="o">=</span> <span class="n">root</span><span class="o">.</span><span class="n">instance_path</span> <span class="o">+</span> <span class="nb">tuple</span><span class="p">(</span><span class="n">edge</span><span class="p">[</span><span class="s2">&quot;source&quot;</span><span class="p">][</span><span class="s2">&quot;path&quot;</span><span class="p">])</span>
-        <span class="n">tgt_path</span> <span class="o">=</span> <span class="n">root</span><span class="o">.</span><span class="n">instance_path</span> <span class="o">+</span> <span class="nb">tuple</span><span class="p">(</span><span class="n">edge</span><span class="p">[</span><span class="s2">&quot;target&quot;</span><span class="p">][</span><span class="s2">&quot;path&quot;</span><span class="p">])</span>
-        <span class="n">src_key</span> <span class="o">=</span> <span class="s2">&quot;.&quot;</span><span class="o">.</span><span class="n">join</span><span class="p">(</span><span class="n">src_path</span><span class="p">)</span>
-        <span class="n">tgt_key</span> <span class="o">=</span> <span class="s2">&quot;.&quot;</span><span class="o">.</span><span class="n">join</span><span class="p">(</span><span class="n">tgt_path</span><span class="p">)</span>
+            <span class="n">src_path</span> <span class="o">=</span> <span class="n">part</span><span class="o">.</span><span class="n">instance_path</span> <span class="o">+</span> <span class="nb">tuple</span><span class="p">(</span><span class="n">edge</span><span class="p">[</span><span class="s2">&quot;source&quot;</span><span class="p">][</span><span class="s2">&quot;path&quot;</span><span class="p">])</span>
+            <span class="n">tgt_path</span> <span class="o">=</span> <span class="n">part</span><span class="o">.</span><span class="n">instance_path</span> <span class="o">+</span> <span class="nb">tuple</span><span class="p">(</span><span class="n">edge</span><span class="p">[</span><span class="s2">&quot;target&quot;</span><span class="p">][</span><span class="s2">&quot;path&quot;</span><span class="p">])</span>
+            <span class="n">src_key</span> <span class="o">=</span> <span class="s2">&quot;.&quot;</span><span class="o">.</span><span class="n">join</span><span class="p">(</span><span class="n">src_path</span><span class="p">)</span>
+            <span class="n">tgt_key</span> <span class="o">=</span> <span class="s2">&quot;.&quot;</span><span class="o">.</span><span class="n">join</span><span class="p">(</span><span class="n">tgt_path</span><span class="p">)</span>
 
-        <span class="n">src</span> <span class="o">=</span> <span class="n">path_registry</span><span class="o">.</span><span class="n">get</span><span class="p">(</span><span class="n">src_key</span><span class="p">)</span>
-        <span class="n">tgt</span> <span class="o">=</span> <span class="n">path_registry</span><span class="o">.</span><span class="n">get</span><span class="p">(</span><span class="n">tgt_key</span><span class="p">)</span>
+            <span class="n">src</span> <span class="o">=</span> <span class="n">path_registry</span><span class="o">.</span><span class="n">get</span><span class="p">(</span><span class="n">src_key</span><span class="p">)</span>
+            <span class="n">tgt</span> <span class="o">=</span> <span class="n">path_registry</span><span class="o">.</span><span class="n">get</span><span class="p">(</span><span class="n">tgt_key</span><span class="p">)</span>
 
-        <span class="k">if</span> <span class="ow">not</span> <span class="nb">isinstance</span><span class="p">(</span><span class="n">src</span><span class="p">,</span> <span class="n">PortInstance</span><span class="p">):</span>
-            <span class="k">raise</span> <span class="ne">ValueError</span><span class="p">(</span><span class="sa">f</span><span class="s2">&quot;Connection source &#39;</span><span class="si">{</span><span class="n">src_key</span><span class="si">}</span><span class="s2">&#39; is not a PortInstance&quot;</span><span class="p">)</span>
-        <span class="k">if</span> <span class="ow">not</span> <span class="nb">isinstance</span><span class="p">(</span><span class="n">tgt</span><span class="p">,</span> <span class="n">PortInstance</span><span class="p">):</span>
-            <span class="k">raise</span> <span class="ne">ValueError</span><span class="p">(</span><span class="sa">f</span><span class="s2">&quot;Connection target &#39;</span><span class="si">{</span><span class="n">tgt_key</span><span class="si">}</span><span class="s2">&#39; is not a PortInstance&quot;</span><span class="p">)</span>
+            <span class="k">if</span> <span class="ow">not</span> <span class="nb">isinstance</span><span class="p">(</span><span class="n">src</span><span class="p">,</span> <span class="n">PortInstance</span><span class="p">):</span>
+                <span class="k">raise</span> <span class="ne">ValueError</span><span class="p">(</span><span class="sa">f</span><span class="s2">&quot;Connection source &#39;</span><span class="si">{</span><span class="n">src_key</span><span class="si">}</span><span class="s2">&#39; is not a PortInstance&quot;</span><span class="p">)</span>
+            <span class="k">if</span> <span class="ow">not</span> <span class="nb">isinstance</span><span class="p">(</span><span class="n">tgt</span><span class="p">,</span> <span class="n">PortInstance</span><span class="p">):</span>
+                <span class="k">raise</span> <span class="ne">ValueError</span><span class="p">(</span><span class="sa">f</span><span class="s2">&quot;Connection target &#39;</span><span class="si">{</span><span class="n">tgt_key</span><span class="si">}</span><span class="s2">&#39; is not a PortInstance&quot;</span><span class="p">)</span>
 
-        <span class="n">conn_id</span> <span class="o">=</span> <span class="n">derive_declaration_id</span><span class="p">(</span><span class="n">root_type</span><span class="p">,</span> <span class="s2">&quot;connect&quot;</span><span class="p">,</span> <span class="o">*</span><span class="n">edge</span><span class="p">[</span><span class="s2">&quot;source&quot;</span><span class="p">][</span><span class="s2">&quot;path&quot;</span><span class="p">],</span> <span class="o">*</span><span class="n">edge</span><span class="p">[</span><span class="s2">&quot;target&quot;</span><span class="p">][</span><span class="s2">&quot;path&quot;</span><span class="p">])</span>
-        <span class="n">connections</span><span class="o">.</span><span class="n">append</span><span class="p">(</span>
-            <span class="n">ConnectionBinding</span><span class="p">(</span>
-                <span class="n">stable_id</span><span class="o">=</span><span class="n">conn_id</span><span class="p">,</span>
-                <span class="n">source</span><span class="o">=</span><span class="n">src</span><span class="p">,</span>
-                <span class="n">target</span><span class="o">=</span><span class="n">tgt</span><span class="p">,</span>
-                <span class="n">carrying</span><span class="o">=</span><span class="n">edge</span><span class="o">.</span><span class="n">get</span><span class="p">(</span><span class="s2">&quot;carrying&quot;</span><span class="p">),</span>
+            <span class="c1"># Include the part&#39;s own instance path in the id so connects authored</span>
+            <span class="c1"># inside different sub-parts of the same root remain unique.</span>
+            <span class="n">owner_segments</span> <span class="o">=</span> <span class="n">part</span><span class="o">.</span><span class="n">instance_path</span><span class="p">[</span><span class="mi">1</span><span class="p">:]</span>  <span class="c1"># skip the root_type name itself</span>
+            <span class="n">conn_id</span> <span class="o">=</span> <span class="n">derive_declaration_id</span><span class="p">(</span>
+                <span class="n">root_type</span><span class="p">,</span>
+                <span class="s2">&quot;connect&quot;</span><span class="p">,</span>
+                <span class="o">*</span><span class="n">owner_segments</span><span class="p">,</span>
+                <span class="o">*</span><span class="n">edge</span><span class="p">[</span><span class="s2">&quot;source&quot;</span><span class="p">][</span><span class="s2">&quot;path&quot;</span><span class="p">],</span>
+                <span class="o">*</span><span class="n">edge</span><span class="p">[</span><span class="s2">&quot;target&quot;</span><span class="p">][</span><span class="s2">&quot;path&quot;</span><span class="p">],</span>
             <span class="p">)</span>
-        <span class="p">)</span>
+            <span class="n">out</span><span class="o">.</span><span class="n">append</span><span class="p">(</span>
+                <span class="n">ConnectionBinding</span><span class="p">(</span>
+                    <span class="n">stable_id</span><span class="o">=</span><span class="n">conn_id</span><span class="p">,</span>
+                    <span class="n">source</span><span class="o">=</span><span class="n">src</span><span class="p">,</span>
+                    <span class="n">target</span><span class="o">=</span><span class="n">tgt</span><span class="p">,</span>
+                    <span class="n">carrying</span><span class="o">=</span><span class="n">edge</span><span class="o">.</span><span class="n">get</span><span class="p">(</span><span class="s2">&quot;carrying&quot;</span><span class="p">),</span>
+                <span class="p">)</span>
+            <span class="p">)</span>
+        <span class="c1"># Recurse into composed child Parts (NOT ports / value slots / requirement packages).</span>
+        <span class="n">stack</span><span class="o">.</span><span class="n">extend</span><span class="p">(</span><span class="n">part</span><span class="o">.</span><span class="n">children</span><span class="p">)</span>
 
-    <span class="k">return</span> <span class="n">connections</span>
+    <span class="k">return</span> <span class="n">out</span>
 
 
 <span class="k">def</span><span class="w"> </span><span class="nf">_instantiate_allocations</span><span class="p">(</span>

{thundergraph_model-1.3.3 → thundergraph_model-1.4.0}/docs/user_docs/_build/html/_modules/tg_model/execution/graph_compiler.html

@@ -205,6 +205,7 @@
 <li class="toctree-l1"><a class="reference internal" href="../../../user/concepts_system.html">Concept: Systems</a></li>
 <li class="toctree-l1"><a class="reference internal" href="../../../user/concepts_requirements.html">Concept: Requirements</a></li>
 <li class="toctree-l1"><a class="reference internal" href="../../../user/concepts_evaluation.html">Concept: Evaluation</a></li>
+<li class="toctree-l1"><a class="reference internal" href="../../../user/concepts_behavior.html">Concept: Behavioral Modeling</a></li>
 <li class="toctree-l1"><a class="reference internal" href="../../../user/concepts_external_compute.html">Concept: External Compute (Concrete Binding)</a></li>
 <li class="toctree-l1"><a class="reference internal" href="../../../user/faq.html">FAQ</a></li>
 </ul>
@@ -793,7 +794,8 @@
         <span class="n">sub</span> <span class="o">=</span> <span class="nb">getattr</span><span class="p">(</span><span class="n">part</span><span class="p">,</span> <span class="n">name</span><span class="p">,</span> <span class="kc">None</span><span class="p">)</span>
         <span class="k">if</span> <span class="nb">isinstance</span><span class="p">(</span><span class="n">sub</span><span class="p">,</span> <span class="n">RequirementPackageInstance</span><span class="p">):</span>
             <span class="n">_compile_requirement_package_tree</span><span class="p">(</span>
-                <span class="n">sub</span><span class="p">,</span> <span class="n">graph</span><span class="p">,</span> <span class="n">handlers</span><span class="p">,</span> <span class="n">model</span><span class="p">,</span> <span class="n">param_overrides_by_pkg</span><span class="p">,</span> <span class="n">allocation_target_by_pkg</span>
+                <span class="n">sub</span><span class="p">,</span> <span class="n">graph</span><span class="p">,</span> <span class="n">handlers</span><span class="p">,</span> <span class="n">model</span><span class="p">,</span> <span class="n">param_overrides_by_pkg</span><span class="p">,</span> <span class="n">allocation_target_by_pkg</span><span class="p">,</span>
+                <span class="n">owner_part</span><span class="o">=</span><span class="n">part</span><span class="p">,</span>
             <span class="p">)</span>
     <span class="k">for</span> <span class="n">child</span> <span class="ow">in</span> <span class="n">part</span><span class="o">.</span><span class="n">children</span><span class="p">:</span>
         <span class="n">_compile_requirement_packages_from_parts</span><span class="p">(</span>
@@ -836,9 +838,14 @@
     <span class="n">param_overrides_by_pkg</span><span class="p">:</span> <span class="nb">dict</span><span class="p">[</span><span class="nb">str</span><span class="p">,</span> <span class="nb">dict</span><span class="p">[</span><span class="nb">str</span><span class="p">,</span> <span class="n">ValueSlot</span><span class="p">]],</span>
     <span class="n">allocation_target_by_pkg</span><span class="p">:</span> <span class="nb">dict</span><span class="p">[</span><span class="nb">str</span><span class="p">,</span> <span class="nb">str</span><span class="p">],</span>
     <span class="n">parent_target_path</span><span class="p">:</span> <span class="nb">str</span> <span class="o">=</span> <span class="s2">&quot;&quot;</span><span class="p">,</span>
+    <span class="n">owner_part</span><span class="p">:</span> <span class="n">PartInstance</span> <span class="o">|</span> <span class="kc">None</span> <span class="o">=</span> <span class="kc">None</span><span class="p">,</span>
 <span class="p">)</span> <span class="o">-&gt;</span> <span class="kc">None</span><span class="p">:</span>
     <span class="kn">from</span><span class="w"> </span><span class="nn">tg_model.model.declarations.values</span><span class="w"> </span><span class="kn">import</span> <span class="n">RollupDecl</span>
 
+    <span class="c1"># Use the owning PartInstance for symbol resolution. Falls back to model.root only when</span>
+    <span class="c1"># no owner is provided, which preserves existing behaviour for root-level packages.</span>
+    <span class="n">_owner</span> <span class="o">=</span> <span class="n">owner_part</span> <span class="k">if</span> <span class="n">owner_part</span> <span class="ow">is</span> <span class="ow">not</span> <span class="kc">None</span> <span class="k">else</span> <span class="n">model</span><span class="o">.</span><span class="n">root</span>
+
     <span class="n">compiled</span> <span class="o">=</span> <span class="n">pkg</span><span class="o">.</span><span class="n">package_type</span><span class="o">.</span><span class="n">compile</span><span class="p">()</span>
     <span class="n">overrides</span> <span class="o">=</span> <span class="n">param_overrides_by_pkg</span><span class="o">.</span><span class="n">get</span><span class="p">(</span><span class="n">pkg</span><span class="o">.</span><span class="n">path_string</span><span class="p">,</span> <span class="p">{})</span>
     <span class="c1"># Resolve the allocation target: own entry takes priority, then inherit from parent.</span>
@@ -864,17 +871,17 @@
             <span class="k">if</span> <span class="n">kind</span> <span class="o">==</span> <span class="s2">&quot;parameter&quot;</span> <span class="ow">and</span> <span class="n">name</span> <span class="ow">in</span> <span class="n">overrides</span><span class="p">:</span>
                 <span class="n">_compile_parameter_override</span><span class="p">(</span><span class="n">slot</span><span class="p">,</span> <span class="n">overrides</span><span class="p">[</span><span class="n">name</span><span class="p">],</span> <span class="n">graph</span><span class="p">,</span> <span class="n">handlers</span><span class="p">)</span>
             <span class="k">else</span><span class="p">:</span>
-                <span class="n">_compile_slot</span><span class="p">(</span><span class="n">slot</span><span class="p">,</span> <span class="n">model</span><span class="o">.</span><span class="n">root</span><span class="p">,</span> <span class="n">graph</span><span class="p">,</span> <span class="n">handlers</span><span class="p">,</span> <span class="n">model</span><span class="p">)</span>
+                <span class="n">_compile_slot</span><span class="p">(</span><span class="n">slot</span><span class="p">,</span> <span class="n">_owner</span><span class="p">,</span> <span class="n">graph</span><span class="p">,</span> <span class="n">handlers</span><span class="p">,</span> <span class="n">model</span><span class="p">)</span>
         <span class="k">elif</span> <span class="n">kind</span> <span class="o">==</span> <span class="s2">&quot;constraint&quot;</span><span class="p">:</span>
             <span class="n">_compile_requirement_package_constraint</span><span class="p">(</span>
-                <span class="n">pkg</span><span class="p">,</span> <span class="n">name</span><span class="p">,</span> <span class="n">node</span><span class="p">,</span> <span class="n">graph</span><span class="p">,</span> <span class="n">handlers</span><span class="p">,</span> <span class="n">model</span><span class="p">,</span> <span class="n">target_path</span>
+                <span class="n">pkg</span><span class="p">,</span> <span class="n">name</span><span class="p">,</span> <span class="n">node</span><span class="p">,</span> <span class="n">graph</span><span class="p">,</span> <span class="n">handlers</span><span class="p">,</span> <span class="n">model</span><span class="p">,</span> <span class="n">target_path</span><span class="p">,</span> <span class="n">owner_part</span><span class="o">=</span><span class="n">_owner</span>
             <span class="p">)</span>
         <span class="k">elif</span> <span class="n">kind</span> <span class="o">==</span> <span class="s2">&quot;requirement_block&quot;</span><span class="p">:</span>
             <span class="n">inner</span> <span class="o">=</span> <span class="nb">getattr</span><span class="p">(</span><span class="n">pkg</span><span class="p">,</span> <span class="n">name</span><span class="p">,</span> <span class="kc">None</span><span class="p">)</span>
             <span class="k">if</span> <span class="nb">isinstance</span><span class="p">(</span><span class="n">inner</span><span class="p">,</span> <span class="n">RequirementPackageInstance</span><span class="p">):</span>
                 <span class="n">_compile_requirement_package_tree</span><span class="p">(</span>
                     <span class="n">inner</span><span class="p">,</span> <span class="n">graph</span><span class="p">,</span> <span class="n">handlers</span><span class="p">,</span> <span class="n">model</span><span class="p">,</span> <span class="n">param_overrides_by_pkg</span><span class="p">,</span>
-                    <span class="n">allocation_target_by_pkg</span><span class="p">,</span> <span class="n">target_path</span><span class="p">,</span>
+                    <span class="n">allocation_target_by_pkg</span><span class="p">,</span> <span class="n">target_path</span><span class="p">,</span> <span class="n">owner_part</span><span class="o">=</span><span class="n">_owner</span><span class="p">,</span>
                 <span class="p">)</span>
 
 
@@ -886,6 +893,7 @@
     <span class="n">handlers</span><span class="p">:</span> <span class="nb">dict</span><span class="p">[</span><span class="nb">str</span><span class="p">,</span> <span class="n">Callable</span><span class="p">],</span>
     <span class="n">model</span><span class="p">:</span> <span class="n">ConfiguredModel</span><span class="p">,</span>
     <span class="n">allocation_target_path</span><span class="p">:</span> <span class="nb">str</span> <span class="o">=</span> <span class="s2">&quot;&quot;</span><span class="p">,</span>
+    <span class="n">owner_part</span><span class="p">:</span> <span class="n">PartInstance</span> <span class="o">|</span> <span class="kc">None</span> <span class="o">=</span> <span class="kc">None</span><span class="p">,</span>
 <span class="p">)</span> <span class="o">-&gt;</span> <span class="kc">None</span><span class="p">:</span>
     <span class="n">constraint_node_id</span> <span class="o">=</span> <span class="sa">f</span><span class="s2">&quot;check:</span><span class="si">{</span><span class="n">pkg</span><span class="o">.</span><span class="n">path_string</span><span class="si">}</span><span class="s2">.</span><span class="si">{</span><span class="n">name</span><span class="si">}</span><span class="s2">&quot;</span>
     <span class="n">graph</span><span class="o">.</span><span class="n">add_node</span><span class="p">(</span>
@@ -906,14 +914,17 @@
             <span class="sa">f</span><span class="s2">&quot;(expected compile-time validation to reject this).&quot;</span>
         <span class="p">)</span>
 
+    <span class="n">_owner</span> <span class="o">=</span> <span class="n">owner_part</span> <span class="k">if</span> <span class="n">owner_part</span> <span class="ow">is</span> <span class="ow">not</span> <span class="kc">None</span> <span class="k">else</span> <span class="n">model</span><span class="o">.</span><span class="n">root</span>
+
     <span class="k">def</span><span class="w"> </span><span class="nf">make_pkg_constraint_handler</span><span class="p">(</span>
         <span class="n">constraint_expr</span><span class="p">:</span> <span class="n">Any</span><span class="p">,</span>
         <span class="n">cm</span><span class="p">:</span> <span class="n">ConfiguredModel</span><span class="p">,</span>
+        <span class="n">sym_owner</span><span class="p">:</span> <span class="n">PartInstance</span><span class="p">,</span>
     <span class="p">)</span> <span class="o">-&gt;</span> <span class="n">Callable</span><span class="p">[</span><span class="o">...</span><span class="p">,</span> <span class="nb">bool</span><span class="p">]:</span>
         <span class="k">def</span><span class="w"> </span><span class="nf">handler</span><span class="p">(</span><span class="n">dep_values</span><span class="p">:</span> <span class="nb">dict</span><span class="p">[</span><span class="nb">str</span><span class="p">,</span> <span class="n">Any</span><span class="p">])</span> <span class="o">-&gt;</span> <span class="nb">bool</span><span class="p">:</span>
             <span class="n">context</span><span class="p">:</span> <span class="nb">dict</span><span class="p">[</span><span class="n">Any</span><span class="p">,</span> <span class="n">Any</span><span class="p">]</span> <span class="o">=</span> <span class="p">{}</span>
             <span class="k">for</span> <span class="n">sym</span> <span class="ow">in</span> <span class="n">constraint_expr</span><span class="o">.</span><span class="n">free_symbols</span><span class="p">:</span>
-                <span class="n">dep_slot</span> <span class="o">=</span> <span class="n">_resolve_symbol_to_slot</span><span class="p">(</span><span class="n">sym</span><span class="p">,</span> <span class="n">cm</span><span class="o">.</span><span class="n">root</span><span class="p">,</span> <span class="n">cm</span><span class="p">)</span>
+                <span class="n">dep_slot</span> <span class="o">=</span> <span class="n">_resolve_symbol_to_slot</span><span class="p">(</span><span class="n">sym</span><span class="p">,</span> <span class="n">sym_owner</span><span class="p">,</span> <span class="n">cm</span><span class="p">)</span>
                 <span class="n">dep_node_id</span> <span class="o">=</span> <span class="sa">f</span><span class="s2">&quot;val:</span><span class="si">{</span><span class="n">dep_slot</span><span class="o">.</span><span class="n">path_string</span><span class="si">}</span><span class="s2">&quot;</span>
                 <span class="k">if</span> <span class="n">dep_node_id</span> <span class="ow">in</span> <span class="n">dep_values</span><span class="p">:</span>
                     <span class="n">context</span><span class="p">[</span><span class="n">sym</span><span class="p">]</span> <span class="o">=</span> <span class="n">dep_values</span><span class="p">[</span><span class="n">dep_node_id</span><span class="p">]</span>
@@ -923,10 +934,10 @@
 
     <span class="k">if</span> <span class="nb">hasattr</span><span class="p">(</span><span class="n">expr</span><span class="p">,</span> <span class="s2">&quot;free_symbols&quot;</span><span class="p">)</span> <span class="ow">and</span> <span class="n">expr</span><span class="o">.</span><span class="n">free_symbols</span><span class="p">:</span>
         <span class="k">for</span> <span class="n">sym</span> <span class="ow">in</span> <span class="n">expr</span><span class="o">.</span><span class="n">free_symbols</span><span class="p">:</span>
-            <span class="n">dep_slot</span> <span class="o">=</span> <span class="n">_resolve_symbol_to_slot</span><span class="p">(</span><span class="n">sym</span><span class="p">,</span> <span class="n">model</span><span class="o">.</span><span class="n">root</span><span class="p">,</span> <span class="n">model</span><span class="p">)</span>
+            <span class="n">dep_slot</span> <span class="o">=</span> <span class="n">_resolve_symbol_to_slot</span><span class="p">(</span><span class="n">sym</span><span class="p">,</span> <span class="n">_owner</span><span class="p">,</span> <span class="n">model</span><span class="p">)</span>
             <span class="n">dep_node_id</span> <span class="o">=</span> <span class="sa">f</span><span class="s2">&quot;val:</span><span class="si">{</span><span class="n">dep_slot</span><span class="o">.</span><span class="n">path_string</span><span class="si">}</span><span class="s2">&quot;</span>
             <span class="n">graph</span><span class="o">.</span><span class="n">add_edge</span><span class="p">(</span><span class="n">dep_node_id</span><span class="p">,</span> <span class="n">constraint_node_id</span><span class="p">)</span>
-        <span class="n">handlers</span><span class="p">[</span><span class="n">constraint_node_id</span><span class="p">]</span> <span class="o">=</span> <span class="n">make_pkg_constraint_handler</span><span class="p">(</span><span class="n">expr</span><span class="p">,</span> <span class="n">model</span><span class="p">)</span>
+        <span class="n">handlers</span><span class="p">[</span><span class="n">constraint_node_id</span><span class="p">]</span> <span class="o">=</span> <span class="n">make_pkg_constraint_handler</span><span class="p">(</span><span class="n">expr</span><span class="p">,</span> <span class="n">model</span><span class="p">,</span> <span class="n">_owner</span><span class="p">)</span>
     <span class="k">elif</span> <span class="nb">hasattr</span><span class="p">(</span><span class="n">expr</span><span class="p">,</span> <span class="s2">&quot;evaluate&quot;</span><span class="p">):</span>
         <span class="n">handlers</span><span class="p">[</span><span class="n">constraint_node_id</span><span class="p">]</span> <span class="o">=</span> <span class="k">lambda</span> <span class="n">dep_values</span><span class="p">,</span> <span class="n">e</span><span class="o">=</span><span class="n">expr</span><span class="p">:</span> <span class="nb">bool</span><span class="p">(</span><span class="n">e</span><span class="o">.</span><span class="n">evaluate</span><span class="p">({}))</span>
     <span class="k">elif</span> <span class="nb">callable</span><span class="p">(</span><span class="n">expr</span><span class="p">):</span>