| name | grow-gyri |
| description | Open the brain and grow certified gyri for any domain: expand → certify → project tissue → wire the activation graph → it fires and myelinates |
grow-gyri — self-extension under proof
The §19 operation as one call. A KbcBrain (ee_v2.kbc.brain) is a durable
organism over a KB: tissue/ (gyri, brain-agent from_dir format), neurodb
(kuzu salience graph), asks/ (per-query MAP lattices — the proofs).
from ee_v2.kbc import KB
from ee_v2.kbc.brain import KbcBrain
brain = KbcBrain(kb, brain_dir)
await brain.grow("xyz", seat_factory)
rep = await brain.ask(query, seat_factory)
What ask() does (§19b): stimulus → the graph fires neurons NUMERICALLY (the
synthesizer never selects — rule-05 on attention) → each fired gyrus = one
seat over its Membrane-rendered tissue → typed constructions admitted through
one shared lattice (repair ladder: residue → retry → ONT) → combine() (an
uncertified neuron cannot enter) → the SES tower: promote → reify → the
cross-territory construction certifies at depth 1 — the synthesis itself is
PROVEN → teach: admitted outcomes amplify the fired regions + hebbian wiring
(the prover is the teacher; use myelinates; the recompilation law consolidates).
Laws: growth is proof-gated (no incoherent gyri admit); strengthening is
admission-gated (no self-reinforcing delusion); gyri are first-class
addressable (a region whose name matches the query always enters stimulus).
Proven: test_brain.py (deterministic, real kuzu+swipl) + live receipts in
experiments/brain_live/.