Research feed · Papers · Notes · Open questions

What we ship.
What we are exploring.

A single chronological feed of technical reports, lab notes, and open research questions from Helios Brain. Every artefact is dated and traceable. Categorised by mission area, not by content type.

Position PaperHB-PP-2026-01

June 2026 · 14 pages

The Locus of Competence: Composable, Governed Intelligence and the Architecture of Defensible Decisions

Machine competence does not have to live inside a model's parameters. A capable system can be split into a general policy that decides what to do and a library of specialized, inspectable, executable components that do i…

CompositionGovernanceCausality

Read ↗

Technical ReportHB-TR-2026-05

May 2026 · 32 pages

The Living World Model: A Bitemporal Evidence Substrate

A bitemporal evidence substrate makes a world model 'living'. Each fact carries valid time (when it was true) and transaction time (when we believed it). An append-only ledger separates source of truth from a derived mem…

MemoryBitemporalProvenance

Read ↗

Technical ReportHB-TR-2026-04

April 2026 · 28 pages

Certifiable Safety and Semantic Interoperability via Neurosymbolic Ontology and SMT

High-risk environments need ontologies that are typed, axiomatised, and checkable. We use language models to propose and SMT solvers to dispose: schema generation, semantic bridge axioms, and safety properties become sat…

NeurosymbolicSMTOntology

Read ↗

Technical ReportHB-TR-2026-03

March 2026 · 26 pages

Differentiable Agent-Based World Models for Counterfactual Policy Analysis

Discrete agent choices block gradient flow in classical agent-based models. We relax via Gumbel-softmax, calibrate by simulated minimum distance, define interventions as program transformations, and treat counterfactuals…

ABMCausalityGumbel-softmax

Read ↗

Technical ReportHB-TR-2026-02

February 2026 · 24 pages

ΘΕΜΙΣ: A Cryptographically Verifiable Governance Ledger for Auditable Decision Systems

ΘΕΜΙΣ interposes a verification gate and an append-only, hash-linked, Ed25519-signed ledger between decision engines and consequential actions. A neurosymbolic firewall checks policies via SMT. A PII gateway enforces egr…

GovernanceCryptographySMT

Read ↗

ManifestoHB-001

February 2026 · 18 pages

The Athens Position

On why governed, living world models, built inside European institutions, are a better foundation for organisational intelligence than autoregressive assistants alone. Five claims, defended.

ManifestoPositionEurope

Read ↗

Technical SpecificationHB-002

February 2026 · 42 pages

Helios Substrate · Specification v1

The formal specification of the Helios substrate: typed ontology, bitemporal evidence, provenance contracts, and the closed-loop learning protocol that connects them. Implementation-independent.

SpecificationOntologyProvenance

Read ↗

Research PreviewHB-003

January 2026 · 24 pages

The Refusal Calculus

When should a decision system refuse to answer? We propose a calculus of provable refusal: certify that a query lies outside the model's evidence, and return a citable bound rather than a hedged extrapolation.

ReasoningCalibrationSafety

Read ↗

ConstitutionHB-004

December 2025 · 12 pages

Living Intelligence · Principles

The seven principles by which a Helios world model is built, governed, and held accountable. Our equivalent of a constitution: short enough to enforce, long enough to mean something.

PrinciplesGovernanceAccountability

Read ↗

Governance DocumentHB-005

November 2025 · 36 pages

EU AI Act · Compliance Framework

How a Helios world model maps to the obligations of the EU AI Act across risk classification, transparency, human oversight, robustness, and post-market monitoring. Auditor-ready.

EU AI ActDORAGDPR Art. 22

Read ↗

Talk to research

A different conversation.

For collaborators, due-diligence analysts, and technical contributors. A member of the research team will reply.

What we ship.What we are exploring.

The Locus of Competence: Composable, Governed Intelligence and the Architecture of Defensible Decisions

The Living World Model: A Bitemporal Evidence Substrate

Certifiable Safety and Semantic Interoperability via Neurosymbolic Ontology and SMT

Differentiable Agent-Based World Models for Counterfactual Policy Analysis

ΘΕΜΙΣ: A Cryptographically Verifiable Governance Ledger for Auditable Decision Systems

The Athens Position

Helios Substrate · Specification v1

The Refusal Calculus

Living Intelligence · Principles

EU AI Act · Compliance Framework

A different conversation.

What we ship.
What we are exploring.