axio

show your working

Axio

spin to begin

Spin, tap, or press Enter to begin.

explore where our ideas align & diverge

welcome

Enter Axio

explore where our ideas align & diverge

Want to look around first?

open explorer →

secure email access

Continue by email.

Axio will send a one-time link. The same form is used whether or not this address already belongs to a staging account.

Email address

Axio stopped safely

This address is invalid

Use the normal Axio address or one explicit review address.

return to Axio

about

Show your working.

Axio is a shared map of how things belong together. Each exact Axiom keeps its Set connection and conditions together, while each account’s separate Assertion shows where people align without flattening their reasoning into one structure.

open explorer

contact

Contact Axio.

A public contact route is not connected in this prototype yet. It will be added here as Axio moves beyond this prototype.

axioSearch shared Sets, then open a Set to contribute.

find a Set

Sort & Filter

Usage

Element Type

Set Relationships

Positive / Negative

Conditions

Relationships

Middle orbit

Parent & Child orbits

Minimum Assertions

Middle relationships Parent & Child relationships Exact Axioms

Sort

ResultsSort ByOrder

Parent & Child orbitsSort ByOrder

Axioms within each AND bundleSort ByOrder

labels

selected Axiom

Set relationship

One Set is inside another Set.

How this works

conditional Axiom

Choose what must be true first

WHEN 1

Every relationship in one WHEN is required together. Separate WHEN groups are alternatives.

current task

Choose a Set

Explore to choose stable identities. Selection stays temporary until review.

CURRENT SET · choose a Set

0 selected

build · checking

user state

local prototype data

checking browser storage…

Local to this browser and preview address; not synced to another device or an Axio account.

V1 scenario lab

Run the isolated three-person severe-weather assertion trace without changing the default Explorer data.

V1 scenario trace

view as

For steps 1–4, choose the named viewer, open the completion pair, and tap its Moon. At zero support the Set and its Moon disappear. Step 5 creates a new current assertion from the past relationship in History.

Then tap the underlined words inside the label itself. The authored words identify the linked Set; no relationship or Moon is created.

orbit display

Middle navigation

Parent and Child orbits

Direct = blue · Indirect = dark blue · Candidate = outline · Rejected = inverted.
Moon = active support. In Set mode, it counts accounts supporting the same inside/outside conclusion across all condition variants. Tap it to inspect an exact Axiom definition; if several variants have support, choose by conditions—not by person. Drag or flick to move/spin it. In Axiom mode, the selected variant shows its own active support count. Condition links help you navigate and never create another Moon. Indirect = one inferred connection. History is past evidence, not a current Moon. Collection membership has no Moon.

CAD geometry Explorer framework.

server-authoritative staging

Your Axio account

Checking the authenticated account…

Checking the frozen release identity…

remove this test account

Removal signs out every session, removes this account’s collection and private current selections, and retracts its current Assertions. Shared Sets, immutable Labels, Axiom definitions, and anonymized Assertion History remain so other accounts’ shared meaning is not rewritten.

Type remove my account to confirm

retained account evidence

Your Assertion History

These are this account’s retained Assertion lifecycles. Past evidence is not current topology and creates no Route, Moon, or count.

You have not asserted an exact Axiom yet.

current Focus

Add a Set

Add a Set related to the current Focus Set.

Relationship to the current Focus

Child SetSelected/new Set inside the current Focus Set Parent SetThe current Focus Set inside the selected/new Set

Adding here changes only this account’s collection. It does not assert an Axiom.

current Focus

Create a new Set

Create a Set related to the current Focus Set.

Selected existing Set:

Set label (plural)

Use a short plural label that will remain readable inside the Set circle.

Relationship to the current Focus

Child SetNew Set inside the current Focus Set Parent SetThe current Focus Set inside the new Set

Axiom for this connection

Choosing a Set fixes only the two endpoints. Choose the exact existing Axiom to support, or explicitly define a different one.

Conditions for this Axiom (optional)

Axioms within one option are required together (AND). Alternative options are sufficient separately (OR). Select every condition through the Explorer by immutable Axiom definition—not by Set pair, Moon count or person.

The new Set will be added to your Sets. Collection membership is not a directional assertion, so it has no Moon.

current Focus

Add a label

Add a shared alternative label for the current Focus Set.

Alternative label (plural)

This adds a shared immutable Label without selecting it. It appears in Label History with 0 current selections until you choose it.

immutable Label

Add a Set reference

Select one exact span of this immutable Label, then choose the Set it names.

Select the exact words

No words selected.

Referenced Set

This is communication and navigation only. It cannot create an Axiom, Moon, Candidate, count, colour, or collection membership.

Same conclusion, different conditions

Choose an Axiom

These Axioms reach the same conclusion through different exact conditions.

No Axiom is preselected or ranked by popularity.

your Assertion

Define this Axiom’s conditions

The Set connection stays the same. Saving different conditions creates or reuses another immutable shared Axiom and moves only your Assertion.

Use as a condition adds a requirement without asserting it. Only your active Assertions can satisfy requirements. Submit below to assert the Focus Axiom with these conditions.