Skip to content
View anulum's full-sized avatar
💭
Im publishing projects derived from "God of the Math" in here
💭
Im publishing projects derived from "God of the Math" in here

Highlights

  • Pro

Block or report anulum

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.

Content in all repositories owned by your account will be closed.
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
anulum/README.md

Miroslav Šotek: evidence, computation, control

English Deutsch Slovenčina 中文 日本語

Website ORCID CV PDF PyPI GitHub Sponsors Email

Projects · Current focus · Ecosystem · Research output · Standards · Collaboration

Independent researcher and systems engineer at the Anulum Institute in Switzerland. I build evidence-governed infrastructure for AI systems, multi-agent engineering, scientific computing, neuromorphic hardware, quantum simulation, and control: mathematical models carried through reproducible software, native acceleration, formal models, and executable hardware paths. Claims are only as good as the measurements, artefacts, or verification that support them.

AI assurance
Grounding, contradiction detection, action review, audit evidence
Agent infrastructure
Coordination, claims, durable messaging, memory, fleet control
Scientific systems
Plasma physics, oscillators, quantum workloads, numerical validation
Compute to hardware
Rust acceleration, FPGA RTL, WebGPU, formal verification

Start here

Projects for the software and its evidence · Papers for every publication and software archive with BibTeX · Contact for a technical proposal. Cold readers: anulum.li/start/ picks an entry point by profile. Every registered project, filterable by group, reactor family and evidence, with a clickable map: anulum.li/portfolio/.

Projects

Each card links to inspectable artefacts, not summary claims. Evidence links are pinned to the commit they were verified at. Release and CI badges report registry and workflow state; they are operational signals, not scientific-quality scores.

Synapse Channel · Usable now
Control plane for coding-agent fleets: claims, roles, durable mailboxes, receipts, audit, and federation.
Documentation · Validation · Coordination specification · Threat model
PyPI CI
Director-AI · Research active
Real-time LLM guardrail: NLI/RAG grounding, claim review, native acceleration, optional claim-level streaming halt, declared capability boundaries.
Documentation · Validation · Public benchmarks · Capability matrix
PyPI CI
Rigor Foundry · Usable now
Evidence-bound repository inventory, audit candidates, review binding, and remediation planning.
Documentation
PyPI CI
Remanentia · Usable now
Auditable memory for AI agents and knowledge systems: hybrid retrieval, graphs, consolidation, CLI, MCP, and API surfaces.
Documentation
PyPI CI
SC-NeuroCore · Research active
Stochastic and neuromorphic framework: Python models, Rust SIMD paths, Verilog RTL, HDC/VSA, compiler surfaces, and hardware evidence.
Documentation · Validation · Synthesis results · Traceability matrix
PyPI CI
SCPN Fusion Core · SCPN Control · Research active
Tokamak physics, solvers, and validation campaigns with real-data paths (Fusion Core); control-grade runtime with fail-closed admission and replay evidence (Control).
Validation · DIII-D validation record · Software DOI
PyPI PyPI CI
SCPN Quantum Control · Experimental
Evidence-governed quantum simulation of coupled-oscillator synchronisation: preregistration, hardware result packs, raw counts, and explicit non-advantage boundaries.
Preregistration · Result-pack contract · Software DOI
PyPI CI
SCPN Phase Orchestrator · Research active
Evidence-first synchronisation analysis and review-only control proposals for coupled rhythmic systems; matched-false-alarm evaluation, negative results, and bounded transfer claims.
Submission index · Negative-result preprint · Grid regime-map preprint
PyPI CI
Label Meaning
Usable now Installable, documented, and CI-backed; still evolving
Research active Real code and ongoing science; not a stability promise
Experimental Exploratory; interfaces and claims are not fixed
Evidence-bound Public claims are tied to measurements or artefacts

Current focus

Portfolio state verified 2026-09-14.

Reactor portfolio
Consolidating shared kernels and governed device truth across 25 public reactor repositories.
Agentic assurance
Joining coordination, memory, response assurance, action review, and repository evidence without collapsing ownership boundaries.
Research to hardware
Carrying scientific models through native acceleration, formal checks, RTL, hardware runs, and inspectable result packs.

Latest releases

Date Project Release Change
2026-09-05 SYNAPSE CHANNEL v0.99.26 Dashboard feeds return unconfigured-store responses without starting report worker processes; configured-store reconstruction retains process isolation.
2026-09-05 SYNAPSE CHANNEL v0.99.25 Add a repeatable JavaScript SDK integration check against an isolated, authenticated Python hub, covering delivery, claim conflicts, release, snapshots, and reconnect.
2026-09-05 SCPN-Phase-Orchestrator v1.4.3 Generate identical capability inventory ordering from Git checkouts and exported source trees.
2026-09-04 SYNAPSE CHANNEL v0.99.24 Keep managed Codex pane bridges waiter-reachable while an already-running provider is blocked by an update chooser, report the pending wake and pane compatibility state explicitly, and coalesce later routing hints until the same live pane becomes safe to…
2026-09-04 SCPN-Phase-Orchestrator v1.4.2 A fourth sealed L3 request now binds only pulsed_electron_beam_icf to the exact SCPN-ICF-BEAM-CORE review.

Rendered from anulum.li/news (the projects' CHANGELOG files) and Zenodo on 2026-09-14.

Latest publication

Date Type Output DOI
2026-08-26 Preprint A domain-specific modal-growth detector clears a matched false-alarm bar on power-grid instability, and an eigenvalue regime map shows when its form transfers 10.5281/zenodo.22113116

Rendered from anulum.li/news (the projects' CHANGELOG files) and Zenodo on 2026-09-14.

Timeline

Period Publicly supported milestone
1996 onward Self-published concept-development horizon across the broader research programme
1998 Founder role at ANULUM CH&LI begins in the self-entered public ORCID record
2018 Public GitHub account established
2025 Public SCPN previews, framework indexes, and technical reports deposited on Zenodo
2026 Public software and research portfolio expands across AI assurance, agent infrastructure, neuromorphic computing, plasma control, and quantum simulation

Timeline entries distinguish registry facts from self-published chronology. They do not imply academic affiliation, external validation, funding, or awards.

How the stack is used

flowchart LR
    A["01 · Inspect<br/>Rigor Foundry"] --> B["02 · Guard<br/>Director-AI"] --> C["03 · Coordinate<br/>Synapse Channel"] --> D["04 · Compute<br/>SC-NeuroCore · SCPN"]
Loading
01 · Inspect
Rigor Foundry identifies broken, unproven, or unsafe-to-claim surfaces.
02 · Guard
Director-AI evaluates model output before it is trusted.
03 · Coordinate
Synapse Channel manages claims, mailboxes, plans, and receipts.
04 · Compute
SC-NeuroCore and SCPN execute scientific, physical, and hardware-facing work.

Research, validation, and product readiness remain separate. Active development is not a readiness claim.

Portfolio ecosystem

39 mapped repositories 5 portfolios 34 public projects 6 private systems

Anulum portfolio ecosystem with five independent repository groups

The map contains 39 portfolio repositories: 33 public repositories and six private product surfaces. HushLine is a standalone public utility outside the five portfolios. Connections represent contract, integration, evidence, and audit flow. They do not merge ownership or imply scientific validation, operational readiness, or actuation authority. The interactive version of this map, with every registered project as a row that filters by group, reactor family, visibility, lifecycle and evidence, is anulum.li/portfolio/; each portfolio below links to its own view of it. Counts verified 2026-09-14. The account lists more public repositories than the map: the 34 mapped public projects plus this profile repository and a few forks kept for reference.

Access key: PUBLIC · PUBLIC / ARCHITECTURE-ONLY · PRIVATE · PRIVATE / PROPRIETARY

01 · SCPN Reactor Systems   25 public repositories

Live view of this portfolio on anulum.li, filterable and with the map: anulum.li/portfolio/#g=SCPN-REACTOR-SYSTEMS

Device-family physics, shared numerical kernels, reactor models, geometry, and configuration ownership. Repository presence does not by itself establish validated physics or machine readiness. Each device family has an interactive portal on anulum.li with physics, an explorer, a glossary, and sources; the reactor systems hub lists every core with its evidence maturity and the comparison page sets their level-0 anchors side by side.

Shared foundations

Repository Scope Access
SCPN Reactor Kernels Shared deterministic physics, geometry, and numerical kernels for the reactor portfolio PUBLIC
SCPN Fusion Core Tokamak physics, solvers, validation campaigns, transport, and control research PUBLIC

Closed magnetic confinement · toroidal devices that hold the plasma on closed magnetic surfaces

Repository Scope Access
SCPN Tokamak Core Configuration and diagnostic-plan truth for conventional and spherical tokamaks PUBLIC
SCPN Stellarator Core Stellarator, heliotron, and torsatron systems PUBLIC
SCPN RFP Core Reversed-field-pinch fusion systems PUBLIC
SCPN Spheromak Core Self-organised spheromak compact toroids PUBLIC
SCPN FRC Core Field-reversed-configuration fusion systems PUBLIC

Open and non-toroidal magnetic confinement · mirror, magnetic-cusp and levitated-dipole configurations with open field lines

Repository Scope Access
SCPN Mirror Core Simple, tandem, and gas-dynamic magnetic mirrors PUBLIC
SCPN Magnetic Cusp Core Purely magnetic cusp-confinement systems PUBLIC
SCPN Levitated Dipole Core Levitated-dipole confinement systems PUBLIC

Self-magnetic and pulsed pinches · devices where the driving current itself confines the plasma

Repository Scope Access
SCPN Z-Pinch Core Classical and sheared-flow Z-pinches, level-0 physics, and deterministic geometry PUBLIC
SCPN Theta Pinch Core Theta-pinch devices, diagnostic contracts, and cited level-0 physics PUBLIC
SCPN Dense Plasma Focus Core Coaxial dense-plasma-focus devices, diagnostics, and level-0 physics PUBLIC

Inertial confinement · laser-, beam- and impact-driven compression of fusion targets

Repository Scope Access
SCPN ICF Laser Core Direct-drive, indirect-drive, and staged laser inertial confinement fusion PUBLIC
SCPN ICF Beam Core Ion- and pulsed-electron-beam inertial confinement fusion PUBLIC
SCPN ICF Impact Core Projectile- and impact-driven inertial confinement fusion PUBLIC

Magneto-inertial and magnetised-target systems · compression of magnetised targets by liners, plasma jets or FRC collisions

Repository Scope Access
SCPN MIF Core Pulsed FRC/MIF kinematics, deterministic trigger logic, FPGA RTL, and formal timing evidence PUBLIC
SCPN MIF MagLIF Core Premagnetised, laser-preheated, pulsed-power-driven MagLIF systems PUBLIC
SCPN MIF Plasma Jet Core Converging plasma-jet-liner magneto-inertial fusion systems PUBLIC
SCPN MIF Liner Core Mechanical- and liquid-liner magnetised-target fusion PUBLIC

Electrostatic, beam-target and hybrid systems · inertial-electrostatic wells, colliding beams and fusion–fission hybrids

Repository Scope Access
SCPN IEC Core Gridded and Polywell-style inertial electrostatic confinement PUBLIC
SCPN Beam Target Core Fixed-target and colliding-beam fusion device truth PUBLIC
SCPN Fusion-Fission Hybrid Core Fusion neutron sources coupled to explicitly subcritical fission blankets PUBLIC

Reserved research boundaries · architecture-only repositories with no device physics yet

Repository Scope Access
SCPN Lattice Fusion Core Governed boundary for externally driven lattice-confinement fusion research PUBLIC / ARCHITECTURE-ONLY
SCPN Muon Fusion Core Governed boundary for muon-catalysed fusion research PUBLIC / ARCHITECTURE-ONLY
02 · SCPN Systems Integration and Control   4 repositories

Live view of this portfolio on anulum.li, filterable and with the map: anulum.li/portfolio/#g=SCPN-SYSTEMS-INTEGRATION-AND-CONTROL

Repository Scope Access
SCPN Control Neuro-symbolic controllers, runtime admission, replay, audit, and software action boundaries PUBLIC
SCPN Phase Orchestrator Coupled-rhythm analysis, sealed synchronisation evidence, and review-only control proposals PUBLIC
SCPN Studio Federating Hub for scientific studios, claim boundaries, portfolio visibility, and gated execution PRIVATE
SCPN Studio Platform Domain-neutral SDK for evidence bundles, capability manifests, jobs, identity, and portfolio validation PRIVATE / OPEN-CORE
03 · Agentic Coordination, Assurance and Continuity   8 repositories

Live view of this portfolio on anulum.li, filterable and with the map: anulum.li/portfolio/#g=AGENTIC-COORDINATION-ASSURANCE-AND-CONTINUITY-SYSTEMS

Repository Scope Access
Director-AI LLM hallucination guardrail with NLI/RAG grounding, sealed evidence, and optional streaming contradiction checks PUBLIC / OPEN-CORE
Director Class AI Pre-dispatch review and evidence controls for high-impact autonomous-agent actions PRIVATE / BUSL-1.1
Director AI Cloud Managed multi-tenant accounts, API keys, metering, quotas, and hosted-service gating PRIVATE / BUSL-1.1
Rigor Foundry Evidence-bound inventory, audit candidates, review binding, and remediation planning PUBLIC
Remanentia Auditable AI memory with hybrid retrieval, graphs, consolidation, CLI, MCP, and API surfaces PUBLIC
Remanentia Portal Customer identity, entitlement, and commercial control plane without customer-workload execution PRIVATE
Synapse Channel Local-first agent coordination with plans, claims, durable messaging, audit, and protocol adapters PUBLIC
Synapse Channel Fleet Licensed multi-machine federation, trust management, offline licence admission, and cross-hub operations PRIVATE / PROPRIETARY
04 · SC Neuromorphic Computing Systems   1 public repository

Live view of this portfolio on anulum.li, filterable and with the map: anulum.li/portfolio/#g=SC-NEUROMORPHIC-COMPUTING-SYSTEMS

Repository Scope Access
SC-NeuroCore Stochastic and spiking neural systems with Python APIs, Rust acceleration, HDC/VSA, and RTL-generation workflows PUBLIC
05 · SCPN Quantum Computing Systems   1 public repository

Live view of this portfolio on anulum.li, filterable and with the map: anulum.li/portfolio/#g=SCPN-QUANTUM-COMPUTING-SYSTEMS

Repository Scope Access
SCPN Quantum Control Coupled-oscillator quantum experiments, simulators, optimisation, hardware runs, and hash-bound result packs PUBLIC
Standalone utility   1 public repository
Repository Scope Access
HushLine Deterministic command wrapper that filters, bounds, and optionally redacts stdout and stderr PUBLIC

Research output

Surface Verified route
Complete research index Publications, preprints, software archives, and evidence boundaries
Publications hub anulum.li/papers/: every Zenodo record with BibTeX
Releases and publications stream anulum.li/news/ · RSS
Curriculum vitae One-page PDF · Markdown source · JSON Resume
Research identity ORCID 0009-0009-3560-0851
Software publication 19 projects on PyPI
Quantum-control software Zenodo DOI 10.5281/zenodo.18821929
Fusion software Zenodo DOI 10.5281/zenodo.18820864
Phase-system preprints Matched false-alarm study and grid regime-map study
HushLine software Zenodo DOI 10.5281/zenodo.20775432

PyPI publication

Miroslav Sotek on PyPI

The verified PyPI profile currently contains 19 published projects. They include public Python packages, Rust-accelerated engines, domain kernels, and command-line tools.

Published package index   19 projects

Agent and assurance systems: synapse-channel, director-ai, director-ai-lite, rigor-foundry, remanentia, backfire-kernel, and hushline.

SCPN systems: scpn-phase-orchestrator, spo-kernel, scpn-control, scpn-fusion, scpn-fusion-rs, scpn-mif-core, scpn-quantum-control, scpn-quantum-engine, oscillatools, and scpn-studio-platform.

Neuromorphic systems: sc-neurocore and sc-neurocore-engine.

Languages and platforms

Primary implementation

Python Rust TypeScript JavaScript Go

Extended scientific, formal, hardware, and operations stack

Scientific, native, and formal work

Julia Mojo C++ C Lean Jupyter LaTeX

Hardware, web, and operations

Verilog SystemVerilog WGSL HTML5 CSS3 Shell Docker Linux

The portfolio also contains maintained protobuf/gRPC contracts, Python-Rust bridges built with PyO3 and Maturin, WebAssembly targets, native SIMD paths, scientific notebooks, and multi-language API documentation.

Engineering practice

pytest Ruff mypy Cargo CodeQL REUSE GitHub Actions

Practices are applied according to each repository's risk and scope. Not every repository runs every tool.

Quality dimension Practices used across the portfolio
Correctness Deterministic pytest and Cargo suites, branch-aware coverage gates, parity tests, regression fixtures, and explicit negative cases
Static quality Ruff formatting and linting, strict mypy where declared, Cargo fmt, Clippy with warnings denied, and API-contract checks
Reproducibility Hash-pinned dependency locks, preregistered protocols, raw result packs, content digests, benchmark metadata, and replayable audit records
Security Bandit, CodeQL and scorecards where enabled, threat models, least-authority execution, secret boundaries, and dependency review
Supply chain SPDX headers, REUSE 3.x checks, SBOM generation where applicable, pinned CI actions, signed or digest-bound evidence, and release manifests
Polyglot verification Python/Rust parity, PyO3 and Maturin bridges, Go and Julia tests, Lean builds, WebAssembly targets, and RTL/formal checks where relevant
Documentation Warning-fatal or strict MkDocs/Sphinx builds, generated API references, architecture decisions, validation records, and explicit non-claims
Delivery Repository-local preflight gates, CI workflows, PyPI packages, wheels and source distributions, containers, and benchmark harnesses

Evidence, not slogans

Negative and null results are published when they are real. Public claims stay tied to measurements, preregistered protocols, raw packs, source-bound reviews, or executable verification.

Example: SCPN Quantum Control publishes preregistered protocols and hash-bound result packs rather than converting experimental activity into a readiness or advantage claim.

Working principles

  • Evidence before claims.
  • Reproducible artefacts before presentation.
  • Clear boundaries between research, validation, and product readiness.
  • Cross-language implementations where performance or hardware integration justifies them.
  • Fail closed when provenance, authority, or evidence is incomplete.
  • Negative results and failure records remain part of the research output.

Collaboration

Licensing model

Model Typical boundary
Apache-2.0 Permissive public cores such as Director-AI and Rigor Foundry
AGPL-3.0-or-later Public network-facing and research systems with source-sharing obligations
Open core Public core with separately licensed advanced or managed product surfaces
BUSL-1.1 Selected private commercial systems with a declared future change licence
Commercial licence Alternative terms for organisations that cannot use the public licence
Mode Scope
Research collaboration Reproducible studies in AI assurance, neuromorphic systems, quantum simulation, plasma physics, and control
Technical collaboration Architecture review, validation design, formal or hardware paths, and evidence-bound software engineering
Commercial licensing Dual-licensed and managed product surfaces through the Anulum licensing route
Open-work sponsorship CI, compute, hardware and quantum experiment time, and public documentation through GitHub Sponsors

I welcome technically grounded collaboration in reliable AI infrastructure, multi-agent systems, neuromorphic computing, scientific software, formal verification, quantum simulation, plasma physics, and control.

Engagements are taken selectively. The public GitHub profile currently marks the account as hireable; this is not a guarantee of immediate capacity.

A useful first message includes the problem, constraints, relevant prior art, and what evidence would count as success. Contact me through protoscience@anulum.li or anulum.li.

I respond to technical proposals. I do not take on ungrounded hype work, demo-only science theatre, or claims that cannot be checked.

For sustained open work, GitHub Sponsors funds CI runners, compute, hardware and quantum experiment time, and public documentation rather than marketing.

Transparency: These repositories span research software, developer tools, private systems, and product candidates. Active development does not imply production readiness or scientific validation unless a project provides explicit evidence.

I AM THAT

Anulum

Pinned Loading

  1. synapse-channel synapse-channel Public

    Neutral control plane for coding-agent fleets: claims, roles, mailbox reliability, receipts, audit, federation, dead-letter visibility, sandbox receipts, and cross-agent coordination. This is still…

    Python 4

  2. director-ai director-ai Public

    Real-time LLM hallucination guardrail — NLI + RAG fact-checking with opt-in claim-level streaming contradiction halt. Drop-in for any LLM backend.

    Python 2

  3. rigor-foundry rigor-foundry Public

    Evidence-bound repository auditing and remediation planning.

    Python 3

  4. sc-neurocore sc-neurocore Public

    Universal Stochastic Computing Framework for Neuromorphic Hardware — Rust SIMD engine, Python simulation, Verilog RTL, HDC/VSA, SCPN integration

    Python 15

  5. scpn-quantum-control scpn-quantum-control Public

    Evidence-governed quantum simulation of coupled-oscillator synchronisation — Kuramoto–XY workloads on Superconducting Computers, raw counts + hash-bound result packs, preregistered protocols.

    Python 3

  6. scpn-phase-orchestrator scpn-phase-orchestrator Public

    Evidence-first synchronization analysis and review-only control proposals for coupled rhythmic systems (Kuramoto/UPDE), with reproducible audits.

    Python 2