# tectum.md

## TECTUM

Qui comprendiamo il collegamento fra moduli tipo winnertakeall che mettono a disposizione delle interfacce che devono essere collegate fra moduli. I neuroni sono gia' dichiarati nei moduli, quello che manca sono gli ASTROCYTE. Consideriamo che gli ASTROCYTE sono interni ad un organo.

```Gen
TECTUM

  type: comprehension

  include:
    ../../modules/winnertakeall.md
    ../../elements/astrocyte.md 

  expansion:

    @WTA-001 EXPANSION [ comprehension: WINNERTAKEALL ]
    @WTA-002 EXPANSION [ comprehension: WINNERTAKEALL ]

    @AST-001 EXPANSION [ comprehension: ASTROCYTE ]
    @AST-002 EXPANSION [ comprehension: ASTROCYTE ]

    @ BIND [ comprehension: @WTA-001, comprehension: @AST-001 ]

  istantiation:

    # Qui l'interprete deve controllare che due o piu' "in" non sono ammessi, perche' potrebbero riguardare ASTROCYTE diversi. Da capore come fare il controllo.

    # external

    @: OUT-EXCITATION [out: @WTA-001.@OUT-EXCI-001]
    @: IN-EXCITATION [in: @WTA-003.@OUT-EXCI-001]

    @IN-EXCI-001: BEHAVIOUR [ behaviour: IN_EXCITATION, __GroupPossible: GROUP [
       post: @NEU_001.@D_BRANCH_002._postsynapse, 
       post: @NEU_002.@D_BRANCH_002._postsynapse, 
       astro: @NEU_001.@D_BRANCH_002._astrosynapse ] ]

    # internal

    @: EXCITATION [out: @WTA-001.@OUT-EXCI-001, in: @WTA-003.@IN-EXCI-002]
    @: INHIBITION [out: @WTA-002.@OUT-INHI-001, in: @WTA-003.@IN-INHI-004]

    @: BEHAVIOUR [ behaviour: EXCITATION, __GroupPossible: GROUP [ 
      pre: @NEU_001.@AXON-001._presynapse, 
      post: @NEU_001.@D_BRANCH_001._postsynapse, 
      astro: @NEU_001.@D_BRANCH_001._astrosynapse ] ]
```

## EXCITATION

```Gen

EXCITATION

  type: container

  activity_scope: !NIGHT

  tub_passed: 
    PRESYNAPSE_ALL: out.{}.{}.PRESYNAPSE
    POSTSYNAPSE_ALL: in.{}.{}.POSTSYNAPSE
    ASTROSYNAPSE_ALL: in.{}.ASTROCYTE.ASTROSYNAPSE
#    ASTROSYNAPSE_ALL: in.{}.{}.ASTROSYNAPSE # E' equivalente
```

### Excitation-possible: contextor

Qui devo capire queste tracce chi le lascia e se sono esclusive?

```Gen
Excitation-possible: ( active: 60x )

  type: contextor
  contained_by: EXCITATION

  in_context: Fixed
    condition: ???
      out_context: ActivateAstroPostPre_ctx

    condition: ( BadTraces fullness )
      out_context: DeActivateAstroPostPre_ctx
```

### Excitation-bind: binder

Qui attiviamo la Syn collegando Pre e Post. Lo facciamo per tutte le relazioni fino a quando GoodTraces fullness

```Gen
Excitation-bind: ( active: 6x )

  type: binder
  contained_by: EXCITATION

  in_context: ActivateAstroPostPre_ctx
    within_scope: ASTROCYTE
      hypothesis: ( GoodTraces fullness ) AND NOT ( ASTROSYNAPSE full ) AND NOT ( PRESYNAPSE full ) AND NOT ( POSTSYNAPSE full)
        bind: [PRESYNAPSE_ALL increase, POSTSYNAPSE_ALL increase, ASTROSYNAPSE_ALL increase]
        trace: None?
```

### ClearTraces: accumulator

```Gen
ClearTraces: ( active: 6x ) # stesso RF del bind
  type: accumulator
  contained_by: EXCITATION

  in_context: ActivateAstroPostPre_ctx
    hypothesis: GoodTraces NOT empty
      action: GoodTraces decrease
      trace: None?
```

### Excitation-unbind: binder

Qui deattiviamo la Syn

```Gen
Excitation-unbind: ( active: 6x )

  type: binder
  contained_by: EXCITATION

  # Devo essere sicuro di eliminare i 3 che sono collegati, non a caso.
  in_context: DeActivateSynPostPre_ctx
    hypothesis: (BadTraces fullness)
      unbind: [PRESYNAPSE decrease, POSTSYNAPSE decrease, ASTROSYNAPSE decrease]
      trace: None?
```

## INHIBITION: Container

```Gen

INHIBITION

  type: container

  activity_scope: !NIGHT

  tub_passed: 
    PRESYNAPSE_ALL: out.{}.{}.PRESYNAPSE
    SOMASYNAPSE_ALL: in.{}.{}.SOMASYNAPSE
    ASTROSYNAPSE_ALL: in.{}.ASTROCYTE.ASTROSYNAPSE
#    ASTROSYNAPSE_ALL: in.{}.{}.ASTROSYNAPSE # E' equivalente
```

Da mettere a posto gli in e out

## IN-EXCITATION: Container

**in-excitation**:
Qui mettiamo assieme tutte le PRESYNAPSE di una possibile relazione con un altro modulo  

```Gen

IN-EXCITATION

  type: container

  activity_scope: !NIGHT

```

## OUT-EXCITATION: Container

**out-excitation**:
Qui mettiamo assieme tutte le PRESYNAPSE di una possibile relazione con un altro modulo  

```Gen

OUT-EXCITATION

  type: container

  activity_scope: !NIGHT

  tub_intricated: 
    PRESYNASPE: out.{}.{}.PRESYNAPSE
```

## IN-INHIBITION: Container

**in-inhibition**:
Qui mettiamo assieme tutte le PRESYNAPSE di una possibile relazione con un altro modulo  

```Gen

IN-EXCITATION

  type: container

  activity_scope: !NIGHT

```

## OUT-INHIBITION: Container

**out-inhibition**:
Qui mettiamo assieme tutte le PRESYNAPSE di una possibile relazione con un altro modulo  

```Gen

OUT-INHIBITION

  type: container

  activity_scope: !NIGHT

```