Revise spec

Author: bocchino

docs/fpp-spec.html

@@ -4083,20 +4083,19 @@ <h5 id="Definitions_Topology-Definitions_Semantics_Resolving-to-a-Partially-Numb
 <li>
 <p>For each
 <a href="#Specifiers_Connection-Graph-Specifiers_Syntax">connection endpoint</a>
-<em>E</em> of a connection computed in step 3, do the following:</p>
+<em>E</em> of a connection computed in step 3, let the port instance
+identifier in <em>E</em> be <em>Q</em> <code>.</code> <em>I</em>, and do the following:</p>
 <div class="olist loweralpha">
 <ol class="loweralpha" type="a">
 <li>
 <p>If <em>E</em> is a <a href="#Specifiers_Connection-Graph-Specifiers_Semantics">component
-instance endpoint</a> with the form <em>Q</em> <code>.</code> <em>I</em>,
-check that the <a href="#Ports_Port-Interface-Instances">associated port interface</a>
+instance endpoint</a>, check that the <a href="#Ports_Port-Interface-Instances">associated
+port interface</a>
 of the component instance contains the port instance <em>I</em>.</p>
 </li>
 <li>
-<p>Otherwise if the <a href="#Instance-Member-Identifiers_Port-Instance-Identifiers">port instance identifier</a>
-<em>P</em> appearing in <em>E</em> has the form <em>Q</em>
-<code>.</code> <em>I</em>, where <em>Q</em> refers to a topology <em>T'</em>, and
-<em>I</em> names a port of <em>T'</em>, then</p>
+<p>Otherwise if <em>E</em> is a <a href="#Specifiers_Connection-Graph-Specifiers_Semantics">topology
+instance endpoint</a>, where <em>Q</em> refers to a topology <em>T'</em>, then</p>
 <div class="olist lowerroman">
 <ol class="lowerroman" type="i">
 <li>
@@ -6591,12 +6590,14 @@ <h4 id="Specifiers_Connection-Graph-Specifiers_Semantics">7.2.2. Semantics</h4>
 identifier</a> appearing in <em>E</em>.</p>
 </li>
 <li>
-<p>The port interface instance <em>Q</em> must exist in the enclosing
-topology,
+<p>The port interface instance <em>Q</em> must exist in the enclosing topology,
 after
 <a href="#Definitions_Topology-Definitions_Semantics_Resolving-to-a-Partially-Numbered-Topology">resolution to a partially numbered topology</a>.
-If <em>Q</em> is a component instance, then <em>E</em> is a <strong>component instance endpoint</strong>.
-Otherwise <em>Q</em> is a topology, and <em>E</em> is a <strong>topology endpoint</strong>.</p>
+If <em>Q</em> refers to a component instance, then <em>E</em> is a <strong>component instance
+endpoint</strong>.
+Otherwise if <em>Q</em> refers to a topology, then <em>E</em> is a <strong>topology endpoint</strong>.
+Otherwise <em>Q</em> refers to a bound port interface instance template parameter,
+and <em>E</em> is a <strong>parameter endpoint</strong>.</p>
 </li>
 <li>
 <p>The optional expression <em>e</em> following <em>I</em>, if it is present,
@@ -13806,7 +13807,7 @@ <h3 id="Analysis-and-Translation_Translation-Tools">25.4. Translation Tools</h3>
 </div>
 <div id="footer">
 <div id="footer-text">
-Last updated 2026-04-14 12:04:20 -0700
+Last updated 2026-04-14 12:16:35 -0700
 </div>
 </div>
 <script src="code-prettify/run_prettify.js"></script>

docs/spec/Definitions/Topology-Definitions.adoc

@@ -136,17 +136,16 @@ refers to one of the port interface instances computed in the previous step.
 
 . For each 
 <<Specifiers_Connection-Graph-Specifiers_Syntax,connection endpoint>>
-_E_ of a connection computed in step 3, do the following:
+_E_ of a connection computed in step 3, let the port instance
+identifier in _E_ be _Q_ `.` _I_, and do the following:
 
 .. If _E_ is a <<Specifiers_Connection-Graph-Specifiers_Semantics,component 
-instance endpoint>> with the form _Q_ `.` _I_,
-check that the <<Ports_Port-Interface-Instances,associated port interface>>
+instance endpoint>>, check that the <<Ports_Port-Interface-Instances,associated 
+port interface>>
 of the component instance contains the port instance _I_.
 
-.. Otherwise if the <<Instance-Member-Identifiers_Port-Instance-Identifiers,port instance identifier>>
-_P_ appearing in _E_ has the form _Q_ 
-`.` _I_, where _Q_ refers to a topology _T'_, and
-_I_ names a port of _T'_, then
+.. Otherwise if _E_ is a <<Specifiers_Connection-Graph-Specifiers_Semantics,topology
+instance endpoint>>, where _Q_ refers to a topology _T'_, then
 
 ... Check that the associated port interface of _T'_ contains the 
     port instance _I_,

docs/spec/Specifiers/Connection-Graph-Specifiers.adoc

@@ -100,13 +100,15 @@ unmatched.
    <<Instance-Member-Identifiers_Port-Instance-Identifiers,port instance
 identifier>> appearing in _E_.
 
-... The port interface instance _Q_ must exist in the enclosing 
-topology,
+... The port interface instance _Q_ must exist in the enclosing topology,
 after 
 <<Definitions_Topology-Definitions_Semantics_Resolving-to-a-Partially-Numbered-Topology,
 resolution to a partially numbered topology>>.
-If _Q_ is a component instance, then _E_ is a *component instance endpoint*.
-Otherwise _Q_ is a topology, and _E_ is a *topology endpoint*.
+If _Q_ refers to a component instance, then _E_ is a *component instance 
+endpoint*.
+Otherwise if _Q_ refers to a topology, then _E_ is a *topology endpoint*.
+Otherwise _Q_ refers to a bound port interface instance template parameter,
+and _E_ is a *parameter endpoint*.
 
 ... The optional expression _e_ following _I_, if it is present,
 represents a port number, i.e., an index into an