Update 2026-06-29-tripartite-synapse_v17.md

elements/neuron/appunti/2026-06-29-tripartite-synapse_v17.md

@@ -183,6 +183,18 @@ NIGHT    energy (not recoverable) · material (recoverable) · structure · budg
 
 LOCALITY only local state + arrived signals; no component reads another's internal state.
 
+CUT SIGNPOSTS (@cut) — an INDEX into the possibility, not part of it. The pseudocode expresses the
+  POSSIBILITY of verifying behaviours in time/space/quantity; a CUT is a reading of that possibility
+  at chosen levels, and cuts are UNBOUNDED, so they are NOT in the code — they live in the companion
+  `logic_of_aggregations` (there, a "cut" fixes levels on time/space/quantity + scope, and an OBJECT
+  is a name over the behaviours so read). A signpost is only a reminder at a STORE, marking what that
+  store AFFORDS reading and at what grain. It computes nothing and privileges no reading; deleting
+  every @cut leaves the expression unchanged. Form:
+      <store> ...    // @cut affords: <behaviours readable here> [grain]
+  Rules: one per load-bearing store (the traces, tags, occupancies, coincidence sites — not every
+  line); names affordances, never computes them; must be deletable with zero effect. For the worked
+  readings, see logic_of_aggregations.
+
 CLEFT MESSAGE CHANNELS              SHIPMENT CHANNELS (transit-delayed)
   glutamate     PRE → POST, ASTRO     soma_ship_dend SOMA→DEND
   astro_Dserine ASTRO → POST          soma_ship_axon SOMA→AXON
@@ -324,16 +336,16 @@ by night. The bouton is not a sink — by night it emits inward and upward.
 // ===== ACTION =====
 DAY | AP:                                                  // release into the cleft (the defining deed)
     // deposit the fast trace THIS action leaves  (FAST · impulse)
-    pre_fast_trace += spike_Ca(pre_structure.VGCC_coupling)·δ(spike)
+    pre_fast_trace += spike_Ca(pre_structure.VGCC_coupling)·δ(spike)   // @cut affords: NT-emission frequency, recency (elapsed-since-release) [ms]
     drive = sat(pre_fast_trace × VGCC_active, K_release) × (1 - retro_eCB_local)
     if pre_budget < release_cost:                          // FUEL shortfall → endurance evidence
         suppress(NT_flux)
         if pre_fast_trace > traj_thr:                      // MEDIUM · accumulate (a PREPARATION deposit)
-            pre_endurance_need += pre_fast_trace × (1 + retro_NO_local)·Δt
+            pre_endurance_need += pre_fast_trace × (1 + retro_NO_local)·Δt   // @cut affords: stamina / sustained-load need (endurance pathway) [min]
         exit
     if RRP == 0:  suppress(NT_flux);  exit                 // OCCUPANCY shortfall → STD (not endurance)
     NT_flux = RRP × drive;  RRP -= NT_flux·Δt;  pre_budget -= NT_flux·fusion_cost
-    glutamate += NT_flux·Δt                                // EMIT glutamate → POST, ASTRO
+    glutamate += NT_flux·Δt                                // EMIT glutamate → POST, ASTRO   // @cut affords: NT flow into cleft; joint pre-post coincidence read downstream at POST.NMDA [ms]
     if glutamate > spillover: drive *= brake               // own-cleft autobrake
 
 // ===== RECOVERY (alter-ego of ACTION; runs in the inter-spike gaps, rides the train) =====
@@ -346,9 +358,9 @@ DAY | NOT_AP:                                              // restore the abilit
 DAY | NOT_SPIKE_TRAIN:                                     // sustained quiet; ⊂ NOT_AP
     retro_NO_local = retro_NO;  retro_eCB_local = retro_eCB     // latch arrived signals
     // for NIGHT: climb the tag (stock the token the night-action will spend)  (MEDIUM→SLOW accumulate)
-    if pre_fast_trace > elig: pre_possible_tag += pre_fast_trace·Δt
+    if pre_fast_trace > elig: pre_possible_tag += pre_fast_trace·Δt        // @cut affords: participation / consistency-of-co-activity (running average) [min]
     if dopamine > dop_thr and pre_possible_tag > tag_thr:
-        pre_tag += dopamine × pre_possible_tag·Δt
+        pre_tag += dopamine × pre_possible_tag·Δt                          // @cut affords: structural-consolidation need (spent overnight; precision pathway) [hr→night]
     // for the NEXT TRAIN: STP read-out (eligibility → coupling readiness; NO dopamine; drifts back)
     if pre_possible_tag > stp_thr:
         VGCC_active = min(VGCC_active + coupling_gain × pre_possible_tag, pre_structure.VGCC_coupling)
@@ -382,7 +394,7 @@ NIGHT | build or release:                                  // the night's defini
     // BUILD (participation confirmed AND tag stands): spend a SLICE of the tag — persists next cycle
     if rest_permission and pre_tag > tag_expiry and pre_participation ≥ MEDIUM:
         Δ = min(slot_batch, pre_material, pre_energy·f_cap, pre_tag) × pre_participation
-        pre_structure += Δ;  pre_material -= Δ;  pre_energy -= Δ·assembly_cost
+        pre_structure += Δ;  pre_material -= Δ;  pre_energy -= Δ·assembly_cost   // @cut affords: overnight build⇄release, structural persistence [night]
         pre_tag -= Δ                                       // SLICE only — tag survives for successive cycles
         if pre_endurance_need > endur_thr:                 // endurance capacity builds on the same act
             Δ' = min(cap_batch, pre_material·f_cap, pre_energy·f_cap)