TECHNOLOGY / NEURO-SYMBOLIC BY DESIGN

Trust isn't a feature. It's the architecture.

Axial is neuro-symbolic by design. A language model handles perception; a deterministic engine makes every structural decision. The two are kept apart on purpose — because a life-safety calculation can never be a probability.

01 THE PIPELINE

One pipeline. A hard line down the middle.

Everything to the left of the line is perception — reading the messy reality of a project. Everything to the right is determination — exact, reproducible Eurocode mathematics. Nothing crosses.

INPUT
Model & documents
GSA / CSV, drawings, specs.
PERCEPTION · LLM
Extract parameters
Sections, grades, loads, restraints.
ENGINE · PYTHON
Run EC3 maths
Deterministic. Hard-coded clauses.
OUTPUT
Verdict + ledger
PASS / MARGINAL / FAIL, sealed.
LEFT OF THE LINE Probabilistic — may be wrong, always reviewable.
RIGHT OF THE LINE Deterministic — same input, same verdict, forever.
02 THE DETERMINISTIC ENGINE

The maths is code, not a model.

Each Eurocode clause is implemented as hard-coded Python against the Blue Book section data and BS EN 10025 material properties. There is no temperature, no sampling, no learned weights in the calculation path — so the result is reproducible and auditable, line by line.

— REPRODUCIBLE — AUDITABLE — NO HALLUCINATION — BS 4-1 SECTION DATA
engines/ec3/ltb.py DETERMINISTIC 
def verify_ltb(member, restraints):
    # EN 1993-1-1 Cl.6.3.2 — LTB
    Wy   = blue_book[member.section].Wpl_y
    fy   = en10025(member.grade, member.t)
    λ_LT = slenderness(member, restraints)
    χ_LT = buckling_curve(λ_LT)
    M_bRd = χ_LT * Wy * fy / γ_M1
    util  = M_Ed / M_bRd
    return Verdict(util, fail=util > 1.0)
#   → util = 1.18  ·  FAIL
03 EC3 STEEL · YEAR ONE

The eight checks, in full.

Every steel member is taken through the complete ultimate- and serviceability-limit-state suite, to EN 1993-1-1 and the UK National Annex.

#CHECKCLAUSEWHAT IT VERIFIES
{{ c.n }} {{ c.name }} {{ c.clause }} {{ c.desc }}
04 THE IMMUTABLE LEDGER

Each verdict seals the last.

Every entry stores the hash of the one before it. Change a single value anywhere in the history and every subsequent hash breaks — so tampering is not just discouraged, it's mathematically evident.

ENTRY #{{ blk.n }} {{ blk.label }}
{{ blk.member }}
{{ blk.clause }}
PREV
{{ blk.prev }}
HASH
{{ blk.hash }}
CHAIN INTACT
4,812 entries verified end-to-end.
05 STANDARDS & TRUST

Grounded in the codes that govern.

Axial doesn't invent rules. It implements the published standards exactly — and produces the evidence a Category-3 independent verifier and the regulator expect.

{{ s.code }} {{ s.desc }}

Verification you can put your name to.

Bring the deterministic engine and the golden-thread ledger to your practice.

Request early access SEE IT IN THE PRODUCT