From 47c8607c856e7ce2b1595a43f1277225a3cb815f Mon Sep 17 00:00:00 2001
From: ocrampal <ocrampal@ocrampal.com>
Date: Mon, 9 Mar 2026 17:31:42 +0100
Subject: [PATCH] Ancora da capire come creare la SYN

---
 astrocyte/TUN-AST.md | 105 ++++++++++++++++++++++++++++++++++---------
 neuron/TUN-N.md      |   4 +-
 2 files changed, 84 insertions(+), 25 deletions(-)

diff --git a/astrocyte/TUN-AST.md b/astrocyte/TUN-AST.md
index ceb084d..99619da 100644
--- a/astrocyte/TUN-AST.md
+++ b/astrocyte/TUN-AST.md
@@ -9,51 +9,112 @@ La novita' e' lo SCOPE, nel quale avviene il ragionamento.
 modulator: TUN-AST
  contained_by: AST
 
- modulates: AST/expansion/BEH-SYN
-   #
-
- tub_scope:
-  - preAst ( +[N/BEH-AXO/BEH-PRE] )
-  - postAst ( +[N/BEH-BD/BEH-POST] )
-  # qui vanno tutte le pre e post che fanno capo ad una Asta nella dichiarazione di relazione fatta in WTA
-
  tub_local:
-  - ??? (fullness: 50x, active: 0x, emptiness: 0x) 
-
- tub_intricated:
-  - BEH-SYN ( contained_by: AST )
-
-```
+  - SomeTraces (fullness: 50x, active: 0x, emptiness: 0x) 
+ ```
 
 Forse con questi tub_modulation riesco a risolvere il problema dello SCOPE, perche' mi servono a mettere assieme scope diversi, quelli di PRE, POST e SYN.
 
-### ??: Context
+### IntegrateTunPossibility: Context
 
 ....
 
 ```Gen
-context: Fixed
+context: IntegrateTunPossibility
 
  contained_by: TUN-AST
  in_context: Fixed
  rf: 60x
 
- condition: ( ??? Empty ) # 
-  out_context: ???
+ condition: NOT ( someTraces Empty )
+  out_context: TunPossibile
 ```
 
-### Activate: Episode
+### TUN-AST-SYN: Modulator
+
+L'associazione PRE<->POST fatta con SYN dall'interprete/enliver, e' possibile perche' in POST e PRE si fa riferimento a NT che vengono immessi in SYN. Ovviamente tutto concettuale, ma in enliving il concettuale viene attualizzato.
+ATTENZIONE: In effetti devo fare un'associazione come ASTx in base alla dichiarazione in WTA: 
+
+- NEU-001.AXO -[excites]-> NEU-003.BD-001 ~AST-001
+
+Quindi AST deve lavorare per ogni dichiarazione, casomai privilegiando alcune possibilita' che sono piu' impellenti di altre. Lo devo pensare come un AST sovraintende a tante possibili SYN che pero' sono legate ad una dichiarazione specifica che guida quali accoppiamenti fare, poi AST dal proprio punto di vista controlla se ha abbastanza SYN possibili.
+
+```Gen
+
+modulator: TUN-AST-SYN
+ contained_by: TUN-AST
+
+ modulates: 
+  - AST/expansion/BEH-SYN
+  - N/BD/expansion/BEH-PRE
+  - N/BD/expansion/BEH-POST
+
+ tub_modulation:
+  - fullSyn ( fullness: 500x, active: BEH-SYN/fullness, empty: 0x )
+  - actSyn ( indef, active: BEH-SYN/active, empty: 0x )
+
+ tub_scope:
+  - preAst ( +[N/BEH-AXO/BEH-PRE] )
+  - postAst ( +[N/BEH-BD/BEH-POST] )
+  # qui vanno tutte le pre e post che fanno capo ad una Ast nella dichiarazione di relazione fatta in WTA
+
+ tub_local:
+  - ??? (fullness: 50x, active: 0x, emptiness: 0x) 
+
+ tub_intricated:
+  - GoodTraces ( contained_by: BEH-?? )
+  - BadTraces ( contained_by: BEH-?? )
+
+  context_intricated:
+  - TunPossible ( contained_by: TUN-AST )
+
+```
+
+### CheckDirection: Context
+
+Qui devo capire queste tracce chi le lascia e se sono esclusive?
+
+```Gen
+context: CheckDirection
+
+ contained_by: TUN-AST-SYN
+ in_context: TunPossible
+ rf: 60x
+
+ condition: ( GoodTraces Full ) AND NOT ( fullSyn full )
+  out_context: ActivateSyn
+
+ condition: ( BadTraces Full )
+  out_context: DeActivateSyn
+```
+
+#### ActivateSyn: Episode
 
 ....
 
 ```Gen
-episode: activate
-  contained_by: TUN-AST
+episode: activateSyn
+  contained_by: TUN-AST-SYN
+
+  in_context: TunPossible
+  rf: ( active: 6x )
+
+   hypothesis: ( GoodTraces Full ) AND NOT ( fullSyn full )
+    action: [GoodTraces decrease, ]
+     trace: None
+```
+
+#### DeActivateSyn: Episode
+
+....
+
+```Gen
+episode: deActivateSyn
+  contained_by: TUN-AST-SYN
 
   in_context: ???
   rf: ( active: 6x )
 
-  scope: synapse 
    hypothesis: NOT (?? empty)
     action: [??? decrease]
      trace: None
diff --git a/neuron/TUN-N.md b/neuron/TUN-N.md
index aef32a2..9e4102d 100644
--- a/neuron/TUN-N.md
+++ b/neuron/TUN-N.md
@@ -1,8 +1,6 @@
 # TUN-N: Modulator
 
-MTP-MTD Behavior:
-
-Il TUN-N assieme a BEH-N sono entrambi attivi durante Day. TUN sente la stasi di BEH-N, quando e’ lontano da uno spiketrain, e contestualizza i comportamenti di TUN.
+**MTP-MTD Behavior**: Il TUN-N assieme a BEH-N sono entrambi attivi durante Day. TUN sente la stasi di BEH-N, quando e’ lontano da uno spiketrain, e contestualizza i comportamenti di TUN.
 
 Il TUN contiene quei behavior di modulazione che non cambiano la somma (fullness + active). La modulazione TUN sposta da fullness a active e viceversa. Ovvero non c’e’ creazione di nuove “forma” di possibilita’. Nel caso di SYN, lo spostamento e’ da possible a “a disposizione” di SYN.