Skip to content
View neuron7xLab's full-sized avatar
🧠
🧠

Block or report neuron7xLab

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
neuron7xLab/README.md
neuron7x brain

Yaroslav Vasylenko

Autonomous research engineer — I build evidence-led, deterministic systems for noisy, adversarial environments.

neuroscience  ·  AI  ·  financial systems  ·  independent  ·  Poltava, Ukraine 🇺🇦


Gmail UKR Proton

verify-profile

About

Every repo here is an active line of research — not a portfolio piece. Work ships only after climbing hypothesis → theory → fact, with both confirmed and rejected results kept on record.

I study the biological brain — not to simulate it, but to extract its operating principles and encode them into verifiable artifacts.

The brain is a prediction machine. Its core loop is perceive → compress → infer → act → verify → close.

I build the same loop into software: agents for neurons, CI for synaptic weight, adversarial verification for the dendritic vote that gates a spike.

First principles — extracted from biology, encoded into engineering

biological mechanism engineering translation where it lives
predictive coding (Friston) compression is understanding every artifact must compress without losing information
γ-band phase synchrony Kuramoto coupling as a falsifiable market-structure signal GeoSync physics kernel
dendritic computation multi-layer adversarial audit Creator → Critic → Auditor → Verifier
homeostatic plasticity fail-closed gates, never soft limits closed-unmerged PRs kept on record
Hebbian convergence CI as a physical invariant verifier ci_green is necessary, not sufficient — a green line is not a claim

What you're looking at

Real experiments with verified results and public failures. Negative results are tagged, not deleted. Pre-registration is on, fail-closed reporting is on. Every claim has a SHA-256-anchored ledger entry; two runs of the same code produce the same hash.

How it's built

Note

Hypothesis → Theory → Fact. No code enters a stack before climbing the ladder.

  1. Hypothesis  — state the prediction and the gate it must pass.
  2. Theory  — minimal falsification harness: in-sample effect · out-of-sample time-split · sanity-check against literature ceilings.
  3. Fact  — binary verdict. Phase-2 OOS below gate → REJECT. No maybe-later.

If Phase-2 OOS collapses more than versus Phase-1 in-sample, that alone rejects. The temporal split is the load-bearing discipline.

Closed loop · seven stages  — every substantive change passes all seven before merge
# Stage Check
1 Verify mypy --strict · ruff · invariant registry
2 Test pytest · property tests · effect sizes
3 Validate real data · surrogate tests · honest null results
4 Verify SHA-256 ledger · two runs, same hash
5 Optimize benchmarks, only after correctness
6 Calibrate thresholds vs baselines · Youden-J · generalisation gap
7 Integrate green CI on 3.11 + 3.12 · clean history

A reviewer walking the branch can reconstruct why the change is correct, not only that it compiles.

Ten axes of done  — every artefact scores on all ten before it ships
# Axis What it asks
1 Elegance minimal moving parts, no incidental complexity
2 Aesthetics visual and structural pleasure to read
3 Beauty symmetry, no forced abstractions
4 Simplicity the obvious thing, not the clever thing
5 Precision exact contracts; types narrow the truth
6 Adaptability composable; extends without rewrite
7 Resistance refuses to degrade under adversarial input
8 Coherence every source of truth tells the same story
9 Completeness every source of truth covers everything
10 Reproducibility same bytes twice under the same seed

Axes 1–6 check how the artefact reads. Axis 7 checks how it holds under attack. Axes 8–9 check whether self-descriptions agree and cover. Axis 10 checks whether the system produces the same bytes twice.

Adversarial orchestration.  Creator → Critic → Auditor → Verifier. Each layer is an independent witness of its own error. witness ≠ actor, even inside one system.


adversarial orchestration — Creator → Critic → Auditor → Verifier, gated by Auditor ∧ Verifier; fail returns annotated, pass emits a replayable artifact

Warning

Fail-closed audit. A diagnostic that flips a verdict (sign flip, threshold retune, direction change) is a hypothesis, not a conclusion. Run the full multi-test audit, including thresholds that may fail. If the audit fails → revert. Relaxing a threshold silently turns fail-closed into fail-open.

Zero tech debt contract.  A task is not closed while any of these is true: lint/types/tests not green · TODO/FIXME/dead code left · docstrings or tests missing on changed code · CI red on the PR · physics/brand/invariant guards not passing.

Value functions  — what every decision is scored against, ordered by binding force
V1  reversibility × blast_radius      # gate before every action            weight = 1.00
V2  signal / (signal + noise)         # compress without losing meaning     weight = 0.95
V3  numerical_verified(claim)         # quantitative → prove, or mark HYP    weight = 0.90
V4  adversarial_survived(hypothesis)  # PARCH-FALSIFY-001 before commit      weight = 0.85
V5  context_integrity(session)        # flag drift, never inherit silently   weight = 0.80
V6  genuine_execution(task)           # unhelpfulness is never "safe"        weight = 0.75

One law

A system earns the right to act if and only if
it is a living gradient at the edge of criticality.

ΔV > 0   ∧   dΔV/dt ≠ 0     —     invariant YV1

Active research — public repositories

Thirteen public repositories across four substrates — each an active line of research, with negative results kept on record.

📈 quant & physics

repo what it is
GeoSync verification-first infrastructure for geometric market-structure research — Kuramoto synchrony · Ollivier–Ricci curvature · falsifiable, invariant-bound claims, strict non-alpha governance

🔬 verification, integrity & falsification

repo what it is
bive evidence-first transcript verification & review engine — not a lie detector
proof-of-state trust-minimized, replayable release-state attestation where UNKNOWN never equals PASS
time-rupture-inference falsification-first temporal inference — pinned falsifier → adversarial battery → sealed verdict; every RED lineage preserved
measured-honesty five falsification studies of an instrument's own limits — every figure executed with CIs, or marked BLOCKED
bsff BCI signal falsification framework — stress-tests neural-decoding claims (stationarity, leakage, surrogate, Bayesian evidence), returns a machine-readable verdict

🧠 neuroscience & mechanistic models

repo what it is
Hippocampal-CA1-LAM literature-grounded CA1 model: two-compartment neuron, laminar structure, theta–SWR switching, Ca²⁺ plasticity
bnsyn-phase-controlled-emergent-dynamics deterministic spiking simulator: AdEx neurons + STDP + criticality control + sleep–wake consolidation

🌐 AI systems & cognitive architecture

repo what it is
noesis externalized metacognition with an IEV precision gate w = αR + βV + γP − δK ≥ θ
prompt-x-lab systematic library of high-fidelity prompts, cognitive architectures & agent protocols for frontier models
cmar Cognitive Mass Autofill Runtime — turns raw software intent into a validated, falsification-gated artifact state
ai-automation-portfolio deterministic automation that behaves the same every time — and ships with the proof
Intentia-Amoris consent-first, event-sourced, zero-trust multimodal relationship-intelligence core

Verify this page

This profile holds itself to the discipline it claims. The factual claims are gated, not assertedtests/test_profile.py decomposes the page's integrity into five invariant classes, and each class defends exactly one promise:

invariant class the promise it makes honest how it is checked
Liveness every repo I link is actually public all 13 catalog links must answer 200 to an unauthenticated GitHub — true of public repos, false of 404 and private
Reproducibility "same bytes, twice" is real, not rhetoric system_map.svg must equal a fresh build_svg() from tools/gen_system_map.py, byte-for-byte
Integrity nothing on the page is broken or tampered every local image resolves; the CMAR auto-block markers stay intact
Coherence the number I state equals the number I show the "thirteen repositories" claim must match the catalog row count
Non-recurrence a removed lie cannot silently return a regression guard rejects each defect a past audit already fixed — stale-as-live, overclaim, decorative noise
python -m pytest        # run every class yourself

A green badge above is not a claim — it is a re-runnable measurement.


🛰️ CMAR Truth Stats — validated by execution, not by claim

Owner neuron7xLab (user) · last 30d · generated 2026-06-22T03:11:15.164197+00:00 · source: gh_api + local CMAR scan

authored commits PRs merged/opened issues closed/opened contribution days repos scanned
875 455/508 20/35 18 13/13
🧱 debt (blocking voids) 🕳️ gaps (falsified repos / findings) 🔓 critical vulns
11 2 repos / 11 findings 0
Repos needing truth-work
repo status falsify debt crit vulns
.github FAIL FALSIFIED 5 n/a
neuron7xLab FAIL FALSIFIED 5 0
Intentia-Amoris PARTIAL NOT_FALSIFIED 1 0

physics starts where you stop explaining and start computing

Pinned Loading

  1. GeoSync GeoSync Public

    GeoSync — verification-first infrastructure for geometric market-structure research: falsifiable hypotheses, invariant-bound claims, reproducible artifacts, and strict non-alpha governance.

    Python 3 3