From 554578343b90163936d9f389c6b6f0e283dc6aaa Mon Sep 17 00:00:00 2001 From: ocrampal Date: Fri, 10 Jul 2026 11:47:21 +0200 Subject: [PATCH] Update 2026-06-29-tripartite-synapse_v17.md --- .../2026-06-29-tripartite-synapse_v17.md | 24 ++++++++++++++----- 1 file changed, 18 insertions(+), 6 deletions(-) diff --git a/elements/neuron/appunti/2026-06-29-tripartite-synapse_v17.md b/elements/neuron/appunti/2026-06-29-tripartite-synapse_v17.md index 672e3ea..6267e4d 100644 --- a/elements/neuron/appunti/2026-06-29-tripartite-synapse_v17.md +++ b/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: + ... // @cut affords: [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)