ocrampal/organism
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

logic principles

Browse Source
This commit is contained in:
ocrampal
2026-06-19 10:45:17 +02:00
parent 25211d062a
commit 1ef79f8d68
2 changed files with 77 additions and 203 deletions
Download Patch File Download Diff File Expand all files Collapse all files
elements/neuron/appunti/2026-06-18-tripartite_synapse_v9.md
+77 -46
View File
@@ -438,48 +438,69 @@ Here is the revised abstract pattern, integrating the endurance/budget dimension
---
# The Abstract Pattern (revised)
Here is the updated abstract pattern, with both ceilings now correctly bounding competitive DAY processes.
A component operates within two ceilings set by the previous NIGHT: a **structure** that bounds how strongly each behavior can act, and a **budget capacity** that bounds how long behavior can be sustained. During DAY, in each context, it executes behaviors that draw on budget and deposit fast traces. Fast traces are local records of recent activity that bias the next behavior and open an eligibility window for tagging. Two kinds of evidence accumulate. A **tag** forms when a local eligibility signal coincides with one or more non-local validation signals within the decay window of the trace — driving *strength*. An **endurance need** forms when budget depletion interrupts a behavior that was on a successful trajectory — driving *endurance*. At NIGHT, tags drive structural commits and endurance needs drive budget-capacity commits, both proportional to available material and energy, both drawing from the same finite pool, so that strength and endurance compete. What is not committed — neither strengthened nor given endurance — decays for lack of maintenance, and the resources freed by that decay partially fund what was.
---
# The Abstract Pattern
A component operates within two ceilings set by the previous NIGHT: a **structure** that bounds how strongly each behavior can act, and a **budget capacity** that bounds how much fuel the component can hold. Both ceilings bound an active, competitive DAY process — structure bounds how far behavior strength can be filled toward its maximum, budget capacity bounds how far fuel can be replenished toward its maximum — and in both cases the filling competes against other components for a shared resource. During DAY, in each context, the component executes behaviors that draw on budget and deposit fast traces. Two kinds of evidence accumulate: a **tag**, when a local eligibility signal coincides with non-local validation, driving *strength*; and an **endurance need**, when budget depletion interrupts a behavior on a successful trajectory, driving *endurance*. At NIGHT, tags raise structure and endurance needs raise budget capacity, both proportional to available material and energy, both drawing from the same finite pool, so that strength and endurance compete. What is not committed decays for lack of maintenance, and the resources freed partially fund what was.
---
## DAY — The General Form
Every DAY behavior follows this template:
Every DAY behavior runs within two ceilings and competes for two shared resources.
```
given: STRUCTURE // how strongly each behavior can act (ceiling from NIGHT)
BUDGET_CEILING // how long behavior can be sustained (ceiling from NIGHT)
given: STRUCTURE // bounds behavior strength (ceiling from NIGHT)
BUDGET_CEILING // bounds fuel capacity (ceiling from NIGHT)
in: CONTEXT // local or global triggering condition
if: BUDGET >= cost // operational fuel available
then: behavior executes
BUDGET -= cost // fuel consumed (clamped to BUDGET_CEILING)
FAST_TRACE += f(behavior) // local record deposited
else: behavior suppressed // depletion — fuel was the limit
then: behavior executes, strength bounded by STRUCTURE
BUDGET -= cost
FAST_TRACE += f(behavior) // local record deposited
else: behavior suppressed // fuel was the limit
if behavior was ON A SUCCESSFUL TRAJECTORY:
ENDURANCE_NEED += g(trajectory) // fuel interrupted a forming success
ENDURANCE_NEED += g(trajectory) // fuel interrupted a forming success
```
The fast trace drives two parallel processes, and depletion drives a third.
Two competitive DAY processes fill the two ceilings:
**Strength filling (bounded by STRUCTURE).** Behavior strength rises toward the structural ceiling by competing for local occupancy resources — receptors at the postsynapse, vesicles at the presynapse. A behavior cannot act more strongly than its structure permits, because the occupancy it draws on is itself bounded by the structure.
**Fuel replenishment (bounded by BUDGET_CEILING).** Fuel rises toward the budget ceiling by competing for shared upstream supply — astrocyte lactate, soma shipment. Each component's claim is the gap between its current budget and its ceiling; the shared supply is rationed by these claims:
```
// competitive replenishment — the ceiling bounds the process via the demand
c_demand = BUDGET_CEILING - BUDGET // gap below ceiling = claim on supply
total_demand = sum(c_demand for components on shared supply S)
allocation_factor = min(1, S / (total_demand + ε))
replenishment = c_demand × allocation_factor // rationed share
BUDGET += replenishment // never exceeds ceiling (demand was the gap)
S -= replenishment
```
Neither ceiling is applied as a clamp. Each bounds its process from within: structure is the thing being filled with occupancy, budget_ceiling is the target the replenishment demand reaches toward. A high budget_ceiling is not free even during DAY — it makes a large standing claim on shared fuel, and the component reaches it only if the supply can satisfy that claim against competing claims.
The fast trace drives two parallel processes; depletion drives a third.
**Within the same context** — the fast trace biases the next execution of the same behavior. Short-term modulation. Local, no external signal.
**Across contexts** — the fast trace accumulates into `possible_tagging` when it exceeds the eligibility threshold. The bridge toward strength. Requires the trace to survive into a NOT/CONTINUOUS context.
**Across contexts** — the fast trace accumulates into `possible_tagging` above the eligibility threshold. The bridge toward strength. Requires the trace to survive into a NOT/CONTINUOUS context.
**On depletion** — when budget gates a behavior that was succeeding, `endurance_need` accumulates. The bridge toward endurance. Requires the depletion to have interrupted something valuable, not merely to have occurred.
---
### Tag Formation — Where Non-Locality Enters (drives STRENGTH)
### Tag Formation — Non-Local Coincidence (drives STRENGTH)
The tag requires local eligibility plus non-local validation, with the number of coincidences set by the component's spatial scale. Strength is associative: it asks whether a valuable coincidence completed and was confirmed worth saving.
Strength is associative. The tag requires local eligibility plus non-local validation, the number of coincidences set by the component's spatial scale.
**PRE, DEND, SOMA, AXON, ASTRO — one non-local coincidence:**
```
if FAST_TRACE > eligibility // local: recently active
AND dopamine > threshold // non-local: organism validation
then: TAG += dopamine × possible_tagging
if FAST_TRACE > eligibility and dopamine > threshold:
TAG += dopamine × possible_tagging
```
**POST — three coincidences (astrosynapse, soma, organism):**
@@ -497,18 +518,16 @@ if post_possible_tagging > threshold and dopamine > threshold:
---
### Endurance Formation — Where Interrupted Success Enters (drives ENDURANCE)
### Endurance Formation — Interrupted Success (drives ENDURANCE)
The endurance need requires depletion plus a successful trajectory, with the meaning of "successful trajectory" set by the component's local function. Endurance is homeostatic, not associative: it asks whether fuel — not structure, not significance — was the binding constraint on a forming success. **It requires no dopamine.**
Endurance is homeostatic, not associative. It requires depletion plus a successful trajectory, the meaning of "successful" set by the component's local function. **No dopamine.**
```
if BUDGET < cost // local: depletion occurred
AND trajectory_was_succeeding // local: behavior was on its way to a valuable outcome
then: ENDURANCE_NEED += g(trajectory) // graded by how close to success
// no non-local validation — metabolic sustainability is not the organism's to judge
if BUDGET < cost and trajectory_was_succeeding:
ENDURANCE_NEED += g(trajectory) // graded by closeness to success
```
The per-component definition of *succeeding* differs by what each component is trying to complete:
Per-component definition of *succeeding*:
- **PRE** — release was driving rising postsynaptic engagement
- **POST** — calcium was climbing toward the tagging threshold
- **DEND** — active spines existed distal to where propagation died
@@ -516,7 +535,7 @@ The per-component definition of *succeeding* differs by what each component is t
- **AXON** — propagation failed to engaged boutons, not idle ones
- **ASTRO** — the postsynapse was depolarized and waiting for D-serine when synthesis ran out
In each case the signal is the same shape — fuel ran out at the verge of a valuable outcome — and only the local definition of "verge" varies.
The signal shape is identical everywhere — fuel ran out at the verge of a valuable outcome — only the local definition of "verge" varies.
---
@@ -531,45 +550,45 @@ ENDURANCE_NEED *= decay(τ_mid) // s–min — closes endurance window
TAG *= decay(τ_slow) // hours — closes commitment window
```
Decay is not a separate behavior — it is the passive consequence of molecular processes. Its effect is to enforce time windows without any explicit clock. A coincidence must complete, and a depletion must interrupt a success, while the relevant trace is still elevated. Timing is the competition between accumulation and decay.
Decay is not a separate behavior — it is the passive consequence of molecular processes. It enforces time windows without any clock: a coincidence must complete, and a depletion must interrupt a success, while the relevant trace is still elevated. Timing is the competition between accumulation and decay.
---
## NIGHT — The General Form
NIGHT builds two capacities from two kinds of evidence, both drawing on the same finite material and energy.
NIGHT raises two ceilings from two kinds of evidence, both drawing on the same finite material and energy.
**Strength commit — driven by tag (validated coincidence):**
```
if TAG > threshold:
Δstructure = min(expansion_cost, MATERIAL, ENERGY × fraction)
STRUCTURE += Δstructure × coherence_bonus // bigger container (per-event power)
STRUCTURE += Δstructure × coherence_bonus // raises the strength ceiling
MATERIAL -= Δstructure // RECOVERABLE
ENERGY -= Δstructure × ATP_cost // NOT recoverable
```
The coherence bonus appears when pre, post, and astro tags are all set together — the three synaptic components independently gathered evidence for the same change, amplifying the commit.
Coherence bonus when pre, post, and astro tags are all set together — the three synaptic components independently gathered evidence for the same change.
**Endurance commit — driven by endurance need (interrupted success):**
```
if ENDURANCE_NEED > threshold:
Δcap = min(capacity_cost, MATERIAL, ENERGY × fraction)
BUDGET_CEILING += Δcap // bigger fuel reserve (sustain duration)
BUDGET_CEILING += Δcap // raises the endurance ceiling
MATERIAL -= Δcap // RECOVERABLE (mitochondria recyclable)
ENERGY -= Δcap × biogenesis_cost // NOT recoverable
// no coherence bonus, no dopamine — endurance is per-component homeostatic
```
The two commits compete: material and energy spent on endurance cannot fund strength, and vice versa. A component that is both significant and fuel-limited demands both and is the strongest claimant on the pool, potentially forcing decay elsewhere.
The two commits compete for the same material and energy: building endurance somewhere cannot strengthen elsewhere. A component both significant and fuel-limited demands both and is the strongest claimant, potentially forcing decay elsewhere.
**What is not committed decays — by neglect, for both capacities:**
**What is not committed decays — by neglect, for both ceilings:**
```
STRUCTURE -= decay_rate × Δt_night
STRUCTURE += min(structure_maintenance, maintenance_cost)
BUDGET_CEILING -= capacity_decay_rate × Δt_night
BUDGET_CEILING += min(capacity_maintenance, capacity_cost)
// if maintenance < decay: the ceiling drifts down
// structure: depotentiation by neglect
// budget_ceiling: loss of endurance (mitophagy of idle capacity)
// structure → depotentiation by neglect
// budget_ceiling → loss of endurance (mitophagy of idle capacity)
// recovered material partially funds the commits above
```
@@ -578,23 +597,35 @@ BUDGET_CEILING += min(capacity_maintenance, capacity_cost)
## The Pattern in One View
```
DAY behavior runs within two ceilings (STRUCTURE = strength, BUDGET_CEILING = endurance)
consumes budget, deposits fast trace
fast trace + non-local coincidence → TAG (evidence for strength)
depletion + interrupted success → ENDURANCE_NEED (evidence for endurance)
all traces decay in NOT/CONTINUOUS contexts — windows close
TWO CEILINGS, each bounding a competitive DAY process and raised by NIGHT evidence:
NIGHT TAG → raise STRUCTURE (bigger container, per-event power)
ENDURANCE_NEED → raise BUDGET_CEILING (bigger reserve, sustainable duration)
STRUCTURE (strength) bounds behavior strength;
filled in DAY by competing for occupancy;
raised in NIGHT by TAG (validated coincidence)
BUDGET_CEILING (endurance) bounds fuel capacity;
filled in DAY by competing for shared supply;
raised in NIGHT by ENDURANCE_NEED (interrupted success)
DAY behavior runs within both ceilings, both filled competitively
consumes budget, deposits fast trace
fast trace + non-local coincidence → TAG (evidence for strength)
depletion + interrupted success → ENDURANCE_NEED (evidence for endurance)
traces decay in NOT/CONTINUOUS contexts — windows close
NIGHT TAG → raise STRUCTURE (per-event power)
ENDURANCE_NEED → raise BUDGET_CEILING (sustainable duration)
both draw the SAME material + energy → strength and endurance compete
unmaintained ceilings of either kind decay → freed material funds the rest
The system invests STRENGTH where a valuable coincidence completed and was validated,
and ENDURANCE where fuel — not structure, not significance — was what stood
between activity and success. To be both effective and sustainable, a connection
must win on both, against all others drawing from the same finite pool.
A high ceiling of either kind is never free: structure must be filled by winning
occupancy, budget capacity must be filled by winning shared fuel — both against
competing components, every DAY. The system invests STRENGTH where a valuable
coincidence completed and was validated, and ENDURANCE where fuel — not structure,
not significance — was what stood between activity and success. To be both effective
and sustainable, a connection must win on both, at both timescales, against all
others drawing from the same finite pools.
```
# More details
## SOMA