An operator, not a neuron map
We construct a context-dependent response matrix H(c) = V G(c) Kᵀ. This resembles query–key–value factorization, but it is a signed linear response—there is no softmax, spike model, or learning here.
One hidden circuit. Three observable signals. Four places to poke. The same measured response can hide radically different internal coordinates.
Open the experiment ↘Switch hidden hypotheses. Apply controlled inputs. See whether the evidence can choose between them.
A passive observation at context 0 cannot tell these two hypotheses apart.
Each cell answers: If I perturb input port j, how much does output i change? Hypotheses are known to the observer; the hidden truth is not.
| # | Context | Port | Measured outputs | P(A) |
|---|---|---|---|---|
| No pulses recorded yet. The instrument is waiting. | ||||
Now there is no candidate catalog. The learner sees only the inputs it requested and the three noisy responses. Can it predict what a different intervention will do?
The observer estimates H(c) = H₀ + cH₁ by Bayesian linear regression. It learns 24 coefficients from the observations only; a rank-two projection is an optional compression, not a recovered anatomical graph.
The measured grid contains only columns probed at the selected context. The predicted grid comes solely from fitted coefficients. Unmeasured columns are estimates—not observations.
Evaluate predictions at withheld contexts −0.5, +0.5 and +1.5, including extrapolation outside the trained context range. The reference is used only when you request an audit, never to choose a training probe.
No audit requested. A low training error is not evidence of future-answer accuracy.
The Operaattori-equations fixture uses a seven-compartment illustrative morphology. All 72 stored scalar responses matched the original Operaattori runtime exactly in the pinned upstream validation run (maximum difference 0 mV). This validates the saved synthetic forward computations, not a real reconstructed neuron or biological QKV. Its three outputs are features of one soma voltage trace. The browser interpolates a saved response grid; it does not run the cable model live.
Probe a synthetic cable neuron with sequences, not a static response table. Can a learned operator predict the complete voltage trace after histories it has never seen?
Loading test trace…
This is not blind stimulus-source recovery: the drives are observed, the dendritic state is hidden. The held-out protocol changes pulse ordering, history count, and late-probe timing.
Loading matched-history experiment…
Conditioner strength was deliberately tuned to equalize one pre-probe soma sample. The probe is identical for both histories, and each curve subtracts its own no-probe baseline. Matching one scalar does not equate full past soma traces or guarantee that the histories are observationally indistinguishable to stronger readers.
Loading the upstream temporal test receipt…
A known external source can manufacture correlations between sensors. Here we control that source.
These are Pearson correlations of simulated sensor recordings. A shared audio-like nuisance waveform is added to each sensor. Move its level and see what happens to the apparent network.
Right panel uses the exact known synthetic nuisance for subtraction (an oracle), not an estimated physical filter. Neither heatmap identifies neural wiring.
The experiment distinguishes a measurable operator from the coordinates used to realize it.
We construct a context-dependent response matrix H(c) = V G(c) Kᵀ. This resembles query–key–value factorization, but it is a signed linear response—there is no softmax, spike model, or learning here.
Two circuits agree when c = 0. The active observer chooses the context and input port with the largest predicted response disagreement. Only pulses at informative contexts can identify the specimen.
Under any invertible latent basis change R, set V′ = VR, K′ = KR⁻ᵀ and G′ = R⁻¹GR. The observable H(c) stays exactly the same. No amount of repetition distinguishes those coordinates.
An experimentally controlled synthetic inverse problem, a Bayesian two-hypothesis observer, and a mathematical impossibility case. Deterministic seed, Gaussian noise, and known candidate models make the outcomes reproducible.
Not actual EEG, not a recovered biological QKV circuit, not a new theorem, and not blind neural source separation. Its aim is to calibrate an observer before applying inverse models to real recordings or detailed compartment simulations.
Built from questions raised by BrainLoops, HeadAsResonator, LensLuotainTarget, Operaattori and TransientWaveCompiler. The mechanisms here are self-contained toy equations, not imported biological results.