Update elements/neuron/postsynapse.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)
@@ -502,9 +514,9 @@ DAY | bAP:                                                 // second action-cont
 DAY | NOT_bAP:                                             // respond to arrived input (the defining deed)
     a = sat(glutamate, K_AMPA)
     AMPA_current = a × AMPA_surface;  Vm += AMPA_current;  post_budget -= AMPA_cost   // SOURCE 1 AMPA
-    post_fast_trace += AMPA_Ca·AMPA_current
+    post_fast_trace += AMPA_Ca·AMPA_current                                          // @cut affords: channel-opening frequency, response magnitude (quantity of response) [ms]
     if Vm > Mg_eject and glutamate > 0:                                              // SOURCE 2 NMDA (Mg relieved)
-        post_fast_trace += NMDA_Ca(glutamate) × sat(astro_Dserine, K_Ds)·rise_speed();  post_budget -= NMDA_cost
+        post_fast_trace += NMDA_Ca(glutamate) × sat(astro_Dserine, K_Ds)·rise_speed();  post_budget -= NMDA_cost   // @cut affords: THE pre-post-astro COINCIDENCE — joint three-component read (glutamate × depolarisation × D-serine gain); the meeting-site owning none of its inputs [ms, three-component space]
         // D-serine sets the GAIN (how strongly POST responds), not a coincidence gate — dialed by the astrocyte
         retro_NO += NO_emit(post_fast_trace);  post_budget -= NO_synth_cost           // EMIT + "responsive target"
     if Vm > eCB_thr:
@@ -518,14 +530,14 @@ DAY | NOT_bAP · recovered:                                 // Ca extrusion + Mg
 // ===== PREPARATION (shape the next response AND the NIGHT) =====
 DAY | quiet:                                               // sustained quiet
     // for NIGHT: climb the tag; dopamine is the integrable coincidence (#3)
-    if post_fast_trace > Ca_TAG: post_possible_tag += post_fast_trace;  post_budget -= pka_cost
+    if post_fast_trace > Ca_TAG: post_possible_tag += post_fast_trace;  post_budget -= pka_cost   // @cut affords: participation / consistency of co-activity (running average) [min]
     if dopamine > dop_thr and post_possible_tag > tag_thr:
-        post_tag += dopamine × post_possible_tag           // token minted for NIGHT
+        post_tag += dopamine × post_possible_tag           // token minted for NIGHT   // @cut affords: structural-consolidation need (precision pathway; dopamine-gated) [hr→night]
     // for the NEXT RESPONSE: STP fill / STD drift
     if post_fast_trace > Ca_STP:
         if post_budget < traffic_cost:                     // FUEL shortfall → endurance (a PREPARATION deposit)
             if post_fast_trace > traj_thr and post_fast_trace_rising:
-                post_endurance_need += post_fast_trace
+                post_endurance_need += post_fast_trace     // @cut affords: stamina / sustained-load need (endurance pathway) [min]
         else if AMPA_surface < post_structure.slot_ceiling:
             AMPA_surface += Ca_insert(post_fast_trace);  post_budget -= traffic_cost
         // else: surface at slot_ceiling → structure-limited (not endurance)
@@ -577,7 +589,7 @@ NIGHT | replay + measure + prime:
             post_fast_trace += NMDA_Ca(glutamate) × sat(astro_Dserine, K_Ds)   // SAME NMDA machinery (D-serine = gain)
         if post_budget < traffic_cost:                     // SAME capacity check → endurance evidence
             if post_fast_trace > traj_thr: post_endurance_need += post_fast_trace   // SAME trace, fed by replay
-    post_participation = level(post_fast_trace)            // read replayed response as participation
+    post_participation = level(post_fast_trace)            // read replayed response as participation   // @cut IS A READING: level() buckets the continuous trace into HIGH/MEDIUM/LOW — a chosen 3-bin quantity cut, kept executable because the build/release decision depends on it (see logic_of_aggregations: participation cut)
     // MEDIUM: prime responsiveness (AMPA occupancy) from the standing tag
     post_spont_thr = spont_thr_base − thr_gain × post_tag
     if post_tag > prime_thr:

elements/neuron/appunti/2026-07-08-the-unexpressed-objects.md

@@ -43,7 +43,22 @@ input, not an output. It is the name we lay over a *collection* of chains —
 nothing to what is read; behaviours are all there is on the mechanism's side. "Synapse" adds no
 behaviour and no verification — it adds only a grouping in our account. This is the cleanest form of
 *verified but not expressed*: the object is not even verified; **behaviours** are verified, at cuts,
-and the object is just the name over a chosen set of them.
+and the object is just the name over a chosen set of them. An object is therefore *not constituted by
+components* — it is not built out of parts. It is a name over behaviours. Dopamine, the retrograde
+messengers, the astrocytic spike, the shipment lines all enter the behaviours we call "the synapse";
+listing three "constituents" would draw a false boundary and reimport the classical picture (object =
+sum of parts) we are leaving behind.
+
+**Components are objects too — there is no privileged level.** It is tempting to think the *components*
+(PRE, POST, ASTROSYNAPSE) are the real objects and the synapse an emergent name over them. They are
+not. A component is itself only a name over the behaviours readable at the **finest grain** — "PRE" is
+the name over the ms-emission cut, the recovery cut, the tag cut, and so on, all read at the
+single-component space level. So "PRE" and "the synapse" and "the assembly" are the *same kind of
+thing* — names over collections of cut-behaviours — differing only in which cuts they gather (finer or
+coarser). None is the bedrock the others are built from. The only bedrock is the expression as
+possibility; everything above it, component included, is a name over cuts. The pseudocode's `pre_*`
+variables are not "PRE the object" — they are the possibility of cutting behaviours at the finest
+grain, which we name "PRE" for convenience.
 
 **The name is one; the cuts are many.** Because "synapse" names the collection, it stays fixed
 whichever cuts the collection gathers — synapse at ms, synapse at night, synapse as third party to
@@ -75,15 +90,16 @@ honestly chosen.
 
 Two riders. First, ordinary cause and effect still holds *within a single cut* (at the ms synapse
 cut, this release causes that response); what has no clean analogue is cause/effect *between the
-named objects* — the synapse does not cause its parts, it is a name over their behaviours. Second,
+named objects* — the synapse does not cause anything and is caused by nothing, because it is not a
+thing in the mechanism; it is a name over behaviours. Second,
 the useful cuts are not arbitrary: they fall at the **joints**, where the system's own coupling is
-denser inside than across (a synapse's three components interact more with each other than with the
-next synapse). We prefer these because they carve where the coupling already is — but they remain
-cuts, still level-choices, still partial. There are affinities here with the scale-relative frontier
-of physics — the renormalization group, non-equilibrium thermodynamics — which also make description
-depend on the scale of the cut; but as the simulation argument showed, those point in the direction
-without solving this system. They tell us cut-relative description is legitimate physics; they do not
-hand us the object.
+denser inside than across (the behaviours we gather as one synapse couple more tightly to each other
+than to those of the next synapse). We prefer these because they carve where the coupling already is
+— but they remain cuts, still level-choices, still partial. There are affinities here with the
+scale-relative frontier of physics — the renormalization group, non-equilibrium thermodynamics —
+which also make description depend on the scale of the cut; but as the simulation argument showed,
+those point in the direction without solving this system. They tell us cut-relative description is
+legitimate physics; they do not hand us the object.
 
 *The pseudocode is itself the finest cut* — it reads behaviours at the single-component level and
 treats every larger whole as context arriving at the boundary (dopamine, the day/night context, the
@@ -101,7 +117,7 @@ and reads the behaviours that cut makes verifiable. The object is nothing over a
 
 ---
 
-## Object 1 — The Synapse (constituted by PRE ⇄ POST ⇄ ASTROSYNAPSE)
+## Object 1 — The Synapse
 
 "The synapse" is a name over the behaviours read across the cuts below. Each cut names its levels —
 time, space, quantity, scope — and reads what becomes verifiable there. None of these is more "the
@@ -174,15 +190,16 @@ choose, by the cut, which of its behaviours we mean.
 
 ## The queue — objects still to build
 
-- **The dendritic branch** (constituted by its spines → DEND). The clearest spatial integrator: how
-  spatially distributed spine alignments sum into one branch behaviour; how attention (ACh) reweights
-  the spatial sum; what "a branch" verifies that no spine does.
-- **The neuron's decision** (constituted by branches → SOMA). Convergence of dendritic integrals into
-  one fire/no-fire; where the neuron's own **frequency** (its firing rate) and **flow** (summed input)
-  become verifiable; the point at which continuous integration turns into a discrete event.
-- **The astrocytic territory** (constituted by processes → ASTROCYTE). Coincidence one scale up —
-  synapse-synapse-synapse co-activity, not pre-post — integrated into the regenerative calcium spike
-  and broadcast back; a higher-order unexpressed object detecting a higher-order coincidence.
+- **The dendritic branch** (the name over cuts read at the branch's spatial grain, DEND). The
+  clearest spatial integrator: how behaviours read at branch-level space — the summed spine input —
+  become verifiable there; how attention (ACh) reweights that spatial read; what is readable at the
+  branch grain that no finer cut reaches.
+- **The neuron's decision** (the name over cuts read at the whole-cell grain, SOMA). Where the
+  neuron's own **frequency** (its firing rate) and **flow** (summed input) become verifiable; the
+  cut at which continuous integration reads out as a discrete event.
+- **The astrocytic territory** (the name over cuts read at the territory grain, ASTROCYTE).
+  Coincidence one scale up — synapse-synapse-synapse co-activity, not pre-post — readable at the
+  territory grain where the regenerative spike integrates local calcium and broadcasts it back.
 - **The pathway loop / assembly** (PRE→POST→DEND→SOMA→AXON→PRE). The largest unexpressed object: how
   a recurrent loop verifies flow and timing around itself, and how the night's replay reads the whole
   loop's coherence as mechanical all-or-nothing (every link primed or the pattern breaks). The

elements/neuron/postsynapse.md

@@ -14,44 +14,51 @@ Expansions and modulations:
 
 ```Gen
 
-include: 
-  post_ampa.md
-  
 POSTSYNAPSE
 
-  type: comprehension
+    type: comprehension
     
-  expansion:
-     _@PostAmpaAll: TUB [ comprehension: POST-AMPA, full: 10x, active: 5x, empty: 2x ]
+    include: post_ampa.md
 
-  intrication:
-    # Scope
-    !DAY: INTRICATION [ ref: &ORGANISM.!DAY ]
-    !NIGHT: INTRICATION [ ref: &ORGANISM.!NIGHT ]
+    // ########################## Intrication ##########################
     
-    # Context  
-    *bAP: INTRICATION [ ref: &SOMA.*bAP ]
-    *TunPossible: INTRICATION [ ref: &NEURON.*TunPossible ]
     
-    # Tub
-    _NT: INTRICATION [ ref: &ASTROSYNAPSE._NT ] 
-    _Vpost: INTRICATION [ ref: ??._VPost ]
+        // Scope
+    !DAY: INTRICATE [ scope: &ORGANISM.!DAY ]
+    !NIGHT: INTRICATE [ scope: &ORGANISM.!NIGHT ]
 
-  instantiation:
-    # Context
+        // Context  
+    *bAP: INTRICATE [ context: &SOMA.*bAP ]
+    *TunPossible: INTRICATE [ context: &NEURON.*TunPossible ]
     
-    # Tub
-    _Ca2: TUB [ full: 60x, active: 30x, empty: 0x ]
-    _Na: TUB [ full: 60x, active: 30x, empty: 0x ]
-    _Nox: TUB [ full: 100x, active: 20x, empty: 0x ] # Nitric Oxide (NO):  A gas that diffuses freely.
-    _eCB: TUB [ full: 100x, active: 20x, empty: 0x ] # Endocannabinoids (e.g., 2-AG)
+        // Tub
+    _NT: INTRICATE [ tub: &ASTROSYNAPSE._NT ] 
+    _Vpost: INTRICATE [ tub: ??._VPost ]
    
-    _posMod: TUB [ full: None, active: ??, empty: 0x)  # riferimento a possible di BEH-PRE
-    _actMod: TUB [ full: None, active: ??, empty: ??)  # riferimento a active di BEH-PRE
+  // ########################## Instantiation ##########################
   
-    # Behaviour
-    $: BEHAVIOUR [ behaviour: MAIN_POST ]
-    $: BEHAVIOUR [ behaviour: TUN-POST-AMPA ]
+        // Context
+
+        // Tub
+    _Ca2: INSTANTIATE [ tub: local, full: 60x, act: 30x, empty: 0x ]
+    _Na: INSTANTIATE [ tub: local, full: 60x, act: 30x, empty: 0x ]
+    _Nox: INSTANTIATE [ tub: local, full: 100x, act: 20x, empty: 0x ] # Nitric Oxide (NO):  A gas that diffuses freely.
+    _eCB: INSTANTIATE [ tub: local, full: 100x, act: 20x, empty: 0x ] # Endocannabinoids (e.g., 2-AG)
+    
+    _posMod: INSTANTIATE [ tub: local, full: None, act: ??, empty: 0x)  # riferimento a possible di BEH-PRE
+    _actMod: INSTANTIATE [ tub: local, full: None, act: ??, empty: ??)  # riferimento a active di BEH-PRE
+
+        // Container
+    void: INSTANTIATE [ scope: !DAY, container: ACTION, context:  *bAP ]
+    void: INSTANTIATE [ scope: !DAY, container: RECOVERY, context:  NOT *bAP,  *Spike_train ]
+    void: INSTANTIATE [ scope: !DAY, container: PREPARE, context: * NOT Spike_train ]
+    void: INSTANTIATE [ scope: !NIGHT, container: ACTION, context:  *Not_rem_1 ]
+    void: INSTANTIATE [ scope: !NIGHT, container: RECOVERY, context:  *Not_rem_2 ]
+    void: INSTANTIATE [ scope: !NIGHT, container: PREPARE, context:  *Rem ]
+
+    // ########################## Expansion ##########################
+    
+    _@PostAmpaAll: INSTANTIATE [ tub: EXPAND [ comprehension: POST-AMPA ], full: 10x, active: 5x, empty: 2x ]
 
 ```
 
@@ -64,7 +71,9 @@ POSTSYNAPSE
 - **_eCB**:
 - **_Nox**:?
 
-### MAIN_POST: !DAY
+## !DAY | ACTION | *bAP 
+
+//### MAIN_POST: !DAY
 ```
 MAIN_POST
   type: behaviour
@@ -89,12 +98,12 @@ MAIN_POST
 
 ```
 
-#### *bAP
+//#### *bAP
 
 ![post-ltp-ltd.png](.attachments/post-ltp-ltd.png)
 
 
-##### CaNDMAEnterMax
+//##### CaNDMAEnterMax
 
 ```Gen
 CaNDMAEnterMax
@@ -108,7 +117,7 @@ CaNDMAEnterMax
       trace: 
 ```
 
-##### CaNDMAEnterMed
+//##### CaNDMAEnterMed
 
 ```Gen
 CaNDMAEnterMed
@@ -121,9 +130,10 @@ CaNDMAEnterMed
       trace: 
 ```
 
-#### NOT *bAP
+## !DAY | RECOVERY | NOT *bAP, *Spike_train
+//#### NOT *bAP
 
-##### CaNDMAEnterLow
+//##### CaNDMAEnterLow
 
 ```Gen
 CaNDMAEnterLow
@@ -136,7 +146,7 @@ CaNDMAEnterLow
       trace: 
 ```
 
-##### CaNDMAEnterMedNotBap
+//##### CaNDMAEnterMedNotBap
 
 ```Gen
 CaNDMAEnterMedNotBap
@@ -149,7 +159,7 @@ CaNDMAEnterMedNotBap
       trace: 
 ```
 
-##### CaClearance
+//##### CaClearance
 
 ```Gen
 CaClearance # Low
@@ -162,7 +172,7 @@ CaClearance # Low
       trace: None
 ```
 
-##### VPostMax
+//##### VPostMax
 ```Gen
 VPostMa
     type: accumulator
@@ -174,7 +184,7 @@ VPostMa
       trace: None
 ```
 
-##### VPostMed
+//##### VPostMed
 ```Gen
 VPostMed
     type: accumulator
@@ -186,7 +196,7 @@ VPostMed
       trace: None
 ```
 
-##### VPostMin
+//##### VPostMin
 ```Gen
 VPostMin
     type: accumulator
@@ -199,7 +209,7 @@ VPostMin
 ```
 
 Il VPost clearance lo facciamo qui nel container dove creaiamo anche i VPost, perche' altrimenti, se lo facessimo in DB, perderemmo l'aspetto temporale della contribuzione dei singoli POST.
-##### VPostClearance
+//##### VPostClearance
 ```Gen
 VPostClearance
     type: accumulator
@@ -213,7 +223,7 @@ VPostClearance
 
 Il NA clearance lo mettiamo qui come sniplet, perche' gli AMPA creano, e questi pompano fuori. Qui non e' un problema di perdere l'integrazione temporale, perche' gli AMPA sono tutti uguali nel loro behavior. Abbiamo messo gli AMPA come container perche' cosi' possiamo modularne la numerosita'.
 
-##### NaClearanceHigh
+//##### NaClearanceHigh
 ```Gen
 NaClearanceHigh
     type: accumulator
@@ -225,7 +235,7 @@ NaClearanceHigh
       trace: None
 ```
 
-##### NaClearanceLow
+//##### NaClearanceLow
 ```Gen
 NaClearanceLow
     type: accumulator
@@ -237,7 +247,7 @@ NaClearanceLow
       trace: None
 ```
 
-### TUN-POST-AMPA: !DAY
+//### TUN-POST-AMPA: !DAY
 ```Gen
 TUN-POST-AMPA
   type: behaviour
@@ -256,9 +266,9 @@ TUN-POST-AMPA
   
   
 ```
-#### *TunPossible
+//#### *TunPossible
 
-##### CheckTunPostAmpa
+//##### CheckTunPostAmpa
 ```Gen
 CheckTunPostAmpa
   type: contextor
@@ -271,7 +281,7 @@ CheckTunPostAmpa
     out_context: *TryTunDownPostAmpa
 ```
 
-##### PossibleUpPostAmpaTun
+//##### PossibleUpPostAmpaTun
 ```Gen
 PossibleUpPostAmpaTun: ( active: 10x )
   type: accumulator
@@ -282,7 +292,7 @@ PossibleUpPostAmpaTun: ( active: 10x )
       trace: 
 ```
 
-##### PossibleDownPostAmpaTun
+//##### PossibleDownPostAmpaTun
 ```Gen
 PossibleDownPostAmpaTun
   type: accumulator
@@ -292,3 +302,12 @@ PossibleDownPostAmpaTun
       action: 
       trace: 
 ```
+
+## !DAY | PREPARE | NOT *Spike_train 
+
+## !NIGHT | ACTION | *Not_rem_1
+
+## !NIGHT | RECOVERY | *Not_rem_2
+
+## !NIGHT | PREPARE | *Rem
+

elements/neuron/presynapse.md

@@ -49,6 +49,10 @@ PRESYNAPSE
   *AP: INTRICATE [ context: &SOMA.*AP ]
   *Spike_train: INTRICATE [ context: &NEURON.*Spike_train ] 
 
+  *Rem: INTRICATE [ context: &HYPOTHALAMUS.*Rem ] 
+  *Not_rem_1: INTRICATE [ context: &HYPOTHALAMUS.*Not_rem_1 ] 
+  *Not_rem_2: INTRICATE [ context: &HYPOTHALAMUS.*Not_rem_2 ] 
+
     // Tub
   _NT: INTRICATE [ tub: &ASTROSYNAPSE._NT ] 
   _pre_budget: INTRICATE [ tub: &ASTROCYTE._pre_budget ] 
@@ -70,10 +74,12 @@ PRESYNAPSE
   _RrpFullDev: INSTANTIATE [ tub: local, full: 60x, act: 30x, empty: 0x ] // serve al DEV
 
     // Container
-  void: INSTANTIATE [ container: ACTION, scope: !DAY, context:  *AP ]
-  void: INSTANTIATE [ container: RECOVER, scope: !DAY, context:  NOT *AP,  *Spike_train ]
-  void: INSTANTIATE [ container: ADJUST, scope: !DAY, context: * NOT Spike_train ]
-  void: INSTANTIATE [ container: DEVELOP, scope: !NIGHT, context:  ]
+  void: INSTANTIATE [ scope: !DAY, container: ACTION, context:  *AP ]
+  void: INSTANTIATE [ scope: !DAY, container: RECOVERY, context:  NOT *AP,  *Spike_train ]
+  void: INSTANTIATE [ scope: !DAY, container: PREPARE, context: * NOT Spike_train ]
+  void: INSTANTIATE [ scope: !NIGHT, container: ACTION, context:  *Not_rem_1 ]
+  void: INSTANTIATE [ scope: !NIGHT, container: RECOVERY, context:  *Not_rem_2 ]
+  void: INSTANTIATE [ scope: !NIGHT, container: PREPARE, context:  *Rem ]
 
   // ########################## Expansion ##########################
 
@@ -81,7 +87,7 @@ PRESYNAPSE
     
 ```
   
-## ACTION | !DAY | *AP 
+## !DAY | ACTION | *AP 
 
 ```Gen
 
@@ -127,11 +133,11 @@ ACTION
 
 ```
   
-## RECOVER | !DAY | NOT *AP, *Spike_train
+## !DAY | RECOVERY | NOT *AP, *Spike_train
 
 ```Gen
 
-RECOVER
+RECOVERY
 
   type: container
 
@@ -208,11 +214,11 @@ RECOVER
 
 ```
   
-## ADJUST | !DAY | NOT *Spike_train 
+## !DAY | PREPARE | NOT *Spike_train 
 
 ```Gen
 
-ADJUST
+PREPARE
 
   type: container
 
@@ -268,7 +274,7 @@ ADJUST
     
 ```
 
-## DEVELOP
+## !NIGHT | ACTION | *Not_rem_1
 
 ```Gen
 
@@ -313,3 +319,7 @@ DEVELOP
   }
 
 ```
+
+## !NIGHT | RECOVERY | *Not_rem_2
+
+## !NIGHT | PREPARE | *Rem