HomeFollow me on XContactSupportSwitch to Aien
SI / Discoveries / Discoveries

Discoveries

Follow a question all the way to its evidence.

I keep the experiments, the failures and the limits together. Start with the research record, inspect a receipt, or follow the work through the Hive.

The recorded research state

Read from research-status.json at build time. Record as of 2026-10-01

These are counts of records, not successful discoveries, live agents, or hardware qualifications. The Hive publishes its own observation time and freshness state. Activity there does not promote a research verdict here.

13 experiment and instrument records
27 implementation and hypothesis records
8 ladder steps
Source on GitHub

Current level: L2, Brownian scope only, instrument certification. Outside Brownian scope the ceiling is L1. TY-2 does not change the ceiling.

The scorer behaves as specified on known stochastic cases. It does not mean AIEN discovered anything.

Each step rests on the one below it. The state is written on every step; a partial step above a gap does not raise the claim ceiling.

  1. L0: Definition

    achieved

    Achieved

    Evidence: QS:101 "met"; definition only

    Evidence on GitHub

  2. L1: Compression bridge, EXP-001R

    achieved

    Achieved (tested regime, amended overlap gate, unsigned)

    Evidence: QS:102; EXP-001R final_receipt.json

    Evidence on GitHub

    FAIL EXP-001 failed attempt, kept on the record

    First attempt at the compression bridge. Failed its overlap audit (S2), so no measurement was produced. Kept on the record, not deleted. Led to EXP-001R

  3. L2: Known stochastic structure, EXP-002A-B-C

    achieved

    Achieved for Brownian scope only, as instrument certification; verdicts checked against the private sealed records on 2026-10-01

    Evidence: QS:103, QS:114

    Evidence on GitHub

  4. L3: Invariant or unifying structure

    not achieved

    Not achieved (interventional replication PASS, EXP-002D INCOMPLETE)

    Evidence: QS:104

    Evidence on GitHub

  5. L4: Active experimental choice, EXP-003

    not achieved

    Not achieved (blocked, not frozen)

    Evidence: QS:105

    Evidence on GitHub

  6. L5: Energy attribution

    partial

    Partial (protocol and fixture tests; no timed run)

    Evidence: QS:106

    Evidence on GitHub

  7. L6: Turing yield T/J

    not achieved

    Not achieved (blocked on L5)

    Evidence: QS:107

    Evidence on GitHub

  8. L7+: Sensitivity, replication, multiple domains

    not attempted

    Not attempted (L7, L8, L9)

    Evidence: QS:108-110

    Evidence on GitHub

Open the full research status record · Canonical data

Take the next trail

Every experiment, including failures
PASS CAL-0

CAL-0 calibration freeze

The measuring apparatus was locked down before any data was scored, so the rules could not be bent after the fact.

Scope, limits and receipt
Status
PASS (freeze receipt TURING_PROFILE_V1_FROZEN=PASS) for EXP-001R; EXP-001 v1.0 freeze also passed, then its experiment failed
Scope
freeze of apparatus, profile v1.1, candidates, blinding
Claim level
none by itself (precondition)
Limitations
Frozen by receipt not git tag (D7); receipts unsigned (D6); candidate and evaluator share one OS user in separate jails (D8); PROTOCOL_CONFORMANCE.md item 50 stale ("open O3")
Next dependency
none
Evidence
freeze_receipt.json lines 2-4; QS section 2 row CAL-0
Receipt
calibration/experiments/EXP-001R/freeze_receipt.json
Commit
freeze C_f 8e6c5acd; receipt commit dee3eda5; PRs #97 45be6c84, #98 990ba326 (v1.0 freeze d3cba292, PR #94)
Date
2026-09-30
Evidence on GitHub
FAIL EXP-001

EXP-001 compression bridge, first attempt

The first attempt failed its own overlap check, so it produced no measurement. The failure is kept on the record.

Scope, limits and receipt
Status
FAIL, terminal (S2 overlap audit; S1 and S3-S9 NOT_REACHED)
Scope
compression bridge, first attempt
Claim level
none (no measurement produced)
Limitations
Gate crumb_digest failed, "1 shared". Kept, not deleted
Next dependency
superseded by EXP-001R
Evidence
final_receipt.json: verdict FAIL, criterion S2, code OVERLAP
Receipt
calibration/experiments/EXP-001/final_receipt.json, overlap_audit.json
Commit
result d5c97ce9, PR #95 e605a585
Date
2026-09-30
Evidence on GitHub
PASS EXP-001R

EXP-001R compression bridge, successor

The successor run passed all nine criteria on about 12.4 million events. It used an overlap gate that was rewritten after EXP-001 failed.

Scope, limits and receipt
Status
PASS (S1-S9; EXP_001_COMPRESSION_BRIDGE=PASS)
Scope
successor, profile v1.1, two sealed groups 6,168,907 + 6,199,000 events (12,367,907 total)
Claim level
L1
Limitations
Used an AMENDED overlap gate G6 (Turing-profile-v1.1.toml:145) declared before data but written after EXP-001 failed on the old gate. Independent scorer matched 312 of 312 values, but it is a second scorer, not independent replication. Per-crumb bootstrap (D4). Unsigned
Next dependency
L8 replication (not attempted)
Evidence
final_receipt.json criteria and notes; QS section 2
Receipt
calibration/experiments/EXP-001R/final_receipt.json, REPORT.md, scorer_independent.json, uncertainty.json
Commit
result 190ff891, PR #99 806a9d6a
Date
run 2026-09-30 04:08Z
Evidence on GitHub
PASS TY-2

TY-2 Turing gain

2,559,679.825 bits of Turing gain

This is a gain in bits, not a yield. Yield is T/J (Turings per joule), and T/J is not established: no energy was measured.

On held-out data, the candidate model C described the events in about 2.56 million fewer bits than the order-1 baseline B, about 0.4387 bits per event.

Scope, limits and receipt
Status
PASS (verdict=PASS)
Scope
held-out predictive compression, Turing Yield profile V0; candidate C (op + previous 4 outcomes) vs baseline B (order-1); fit seeds 1-7, held-out 8-10; 5,834,845 held-out events of crumbline control-learner search events
Claim level
information part of H5 only; sits below the L1 chain (separate profile)
Limitations
Ideal code length only, no decodable bitstream. Verify uses the same tool (self re-derivation, not independent). Not a scientific discovery measure. No energy. Post hoc op+prev1..5 scored higher (+2,722,851.799), not counted. Check: dl_b_ub 7484024867446 minus dl_c_ub 4924345042631 = 2559679824815
Next dependency
H4 then TY-7
Evidence
receipt fields t_microbits, dl_b_ub, dl_c_ub, verdict; tools/turing_yield.c:319; src/turing/ty_qrecord.c:343
Receipt
evidence/TURING_YIELD/ty2_heldout_receipt.txt
Commit
scoring code 487de8d7 (TY-1); PR #85 f0dc0af9; verify log PR #88 1b75aa81
Date
run 2026-09-29
Evidence on GitHub
PASS EXP-002A

EXP-002A Brownian Wave 1

Scorer certification on known random-motion cases. Passed under a successor profile; the first profile was blocked. Verdict checked against the private sealed records on 2026-10-01.

Scope, limits and receipt
Status
PASS (Brownian Wave 1, sealed)
Scope
scorer certification on known stochastic cases; PASS under a successor profile (first profile BLOCKED)
Claim level
contributes to L2
Limitations
Not publicly reproducible until BRN-10 seals; erratum changed record text, no verdict; first profile BLOCKED; an intermediate v1.1 attempt ended INCOMPLETE (results failed to save) and is kept on record
Next dependency
BRN-10 seal
Evidence
QS:26, QS:45; architecture explainer:27,47-48
Receipt
PRIVATE aien-sealed (records in the private repo): commit 760bfe9 (EXP-002AR, profile v1.2, verdict EXP-002A PASS); also R3-49 results-v1.3 @6a90109, erratum @6b893de
Commit
profile commitments omega #100-#103, history #104
Date
2026-09-30
Evidence on GitHub
PASS EXP-002B

EXP-002B Brownian Wave 1

Passed, with its Occam curve passing separately under a later profile. Verdict checked against the private sealed records on 2026-10-01.

Scope, limits and receipt
Status
PASS without its Occam curve; Occam curve PASS separately under v1.3
Scope
scorer certification on known stochastic cases; PASS under a successor profile (first profile BLOCKED)
Claim level
contributes to L2
Limitations
Not publicly reproducible until BRN-10 seals; erratum changed record text, no verdict
Next dependency
BRN-10 seal
Evidence
QS:26; explainer:28-29
Receipt
PRIVATE aien-sealed (records in the private repo): commit 1310e06 (PASS v1.2, Occam curve not computable) and commit 111a5ea (Occam curve PASS v1.3); also R3-49 results-v1.3 @6a90109, erratum @6b893de
Commit
profile commitments omega #100-#103, history #104
Date
2026-09-30
Evidence on GitHub
PASS EXP-002C

EXP-002C Brownian Wave 1

Passed, then passed again on fresh sealed worlds. Verdict checked against the private sealed records on 2026-10-01.

Scope, limits and receipt
Status
PASS under v1.2; repeated PASS on fresh sealed worlds under v1.3
Scope
scorer certification on known stochastic cases; PASS under a successor profile (first profile BLOCKED)
Claim level
contributes to L2
Limitations
Not publicly reproducible until BRN-10 seals; erratum changed record text, no verdict
Next dependency
BRN-10 seal
Evidence
QS:26; explainer:30
Receipt
PRIVATE aien-sealed (records in the private repo): commit f546162 (PASS v1.2) and commit 111a5ea (repeat PASS on fresh sealed worlds, v1.3); also R3-49 results-v1.3 @6a90109, erratum @6b893de
Commit
profile commitments omega #100-#103, history #104
Date
2026-09-30
Evidence on GitHub
INCOMPLETE EXP-002D

EXP-002D hostile rules

One hostile rule could not be evaluated with the Wave 1 prediction format. No wrong verdicts on the rules that were evaluated.

Scope, limits and receipt
Status
INCOMPLETE
Scope
one hostile rule not evaluable with the Wave 1 prediction format; 0 wrong verdicts on rules evaluated
Claim level
L3 not met
Limitations
Wave 1 format cannot evaluate that rule
Next dependency
Wave 2 contract
Evidence
QS:27, QS:105; explainer:31,49
Receipt
aien-sealed (not read)
Commit
none
Date
2026-09-30
Evidence on GitHub
BLOCKED EXP-003

EXP-003 active experimental choice

Not run. Its contract is still a draft and must wait for the Brownian records to be sealed.

Scope, limits and receipt
Status
BLOCKED, not frozen
Scope
active experimental choice (protocol section near .tex line 760)
Claim level
L4 not met
Limitations
Wave 2 contract is a DRAFT in aien-sealed PR #1, not accepted or frozen; must seal after BRN-10. Earlier selector kill test FAILED (chooser reframed as record-keeping)
Next dependency
Wave 2 contract acceptance plus BRN-10
Evidence
QS:29, QS:105; architecture RESEARCH.md:183
Receipt
none
Commit
none
Date
n/a
Evidence on GitHub
PARTIAL ENERGY-ATTRIBUTION

Physical energy attribution (H4)

The plan for measuring energy is written down and the code has fixture tests, but no timed run on real hardware has happened.

Scope, limits and receipt
Status
PARTIAL: protocol pre-registered, code and fixture tests only, no timed run
Scope
TY energy attribution stages 1 and 2
Claim level
L5 partial
Limitations
TURING_YIELD_ENERGY_PROTOCOL_V0.md:5 "PRE-REGISTERED ... before any timed run"; tests/turing/test_ty_energy*.c are fixtures. Evidence is thinner than "partial" suggests
Next dependency
silicon timed run
Evidence
QS H4 row; tools/ty_energy_run.sh, tools/ty_energy_reduce.c
Receipt
none (no energy file under evidence/)
Commit
protocol 99c1f696; boundaries 4386897f; PR #86 071a1e17
Date
2026-09-29
Evidence on GitHub
NOT STARTED TURING-YIELD-TJ

Turing yield T/J (H5 physical part)

Turings per joule cannot be computed until energy is measured, so this has not started.

Scope, limits and receipt
Status
NOT STARTED (blocked on H4)
Scope
n/a
Claim level
L6 not met
Limitations
TY2 states no energy was measured; T/J (TY-7) uses the denominator in profile section 10. DIRAC-0 reports NOT_RUN
Next dependency
H4
Evidence
QS:24; TY2 last bullets; architecture DIRAC-0-SPEC.md:158
Receipt
none
Commit
none
Date
n/a
Evidence on GitHub
PARTIAL BROWNIAN-CEILING

Brownian claim ceiling

In the Brownian scope the strongest claim is that the instrument behaves as specified on known cases. No report may say AIEN discovered a physical law.

Scope, limits and receipt
Status
L2 only, instrument certification; L3 not met
Scope
Brownian scope
Claim level
L2
Limitations
QS:114 "behaves as specified on known stochastic cases, not that AIEN discovered anything". Rule: no report may say AIEN discovered a physical law (explainer:57-59)
Next dependency
EXP-002D, EXP-003, BRN-10, replication
Evidence
QS section 6; explainer:7,21,57-59
Receipt
n/a
Commit
n/a
Date
2026-10-01
Evidence on GitHub
NOT ESTABLISHED GENERAL-DISCOVERY

General scientific discovery claim

No general claim of scientific discovery is made. Outside the Brownian scope the ceiling stays at L1.

Scope, limits and receipt
Status
NOT ESTABLISHED
Scope
all
Claim level
none; outside Brownian scope the ceiling stays L1
Limitations
L9 (multiple domains) not attempted; TY-2 does not change ceiling. Rev 6 claim A proved on paper, B open conjecture, C untested hypothesis
Next dependency
L3 to L9
Evidence
QS section 1 and 6; DISCOVERY_CURRENT_STATE.md:18-20
Receipt
none
Commit
none
Date
n/a
Evidence on GitHub
Every implementation record and research hypothesis

Hypothesis, implementation, exercise, qualification, merge and deployment are different claims. A badge never erases the row's scope or limitations.

Implemented (14)

Code and tests exist. Each entry says how far that goes.

  • Resident World / reactions

    Implemented (host reference)

    one shared object world; reactions wake on object and field-mask change; budgets, quarantine, causal crumbs

    Scope, limits and receipt
    Status
    Implemented (host reference)
    Scope
    one shared object world; reactions wake on object and field-mask change; budgets, quarantine, causal crumbs
    Claim level
    host reference only
    Limitations
    R16 merged with evidence-immutable CI failing (inventory.json edited in place); R15 G8 attempt 1 FAIL 0.832, attempt 2 PASS file exists (value not verified); whole-product orchestrator retirement deferred
    Next dependency
    runtime program lanes
    Evidence
    src/runtime/rx_world.h:2-8,73
    Receipt
    tests/runtime/rx_r12_resident.c, rx_r13_living.c, rx_r14_recovery.c; evidence/R16/22d7a79a...json (R16_ORCHESTRATOR_RETIRED=PASS); evidence/R15/
    Commit
    last touch bc60f86; R16 omega#112 3dd5eaa
    Date
    2026-09/10
    Evidence on GitHub

  • Lifecycle modeling

    Implemented (host-only)

    explicit state machine of wake/admit/run/commit/invalidate/fail/reclaim/cancel; SPEC, AS_BUILT, mutant profiles

    Scope, limits and receipt
    Status
    Implemented (host-only)
    Scope
    explicit state machine of wake/admit/run/commit/invalidate/fail/reclaim/cancel; SPEC, AS_BUILT, mutant profiles
    Claim level
    host only
    Limitations
    4 reactions in fixed tree; CPU only; no CANCEL against rx_world
    Next dependency
    store LG receipt
    Evidence
    tests/model/world_model.h:1-25; mk/proof.mk:9,26
    Receipt
    tests/model/model_check.c, receipt.sh via make test-proof; no LG receipt committed under evidence/
    Commit
    PR #174 0d8b057
    Date
    n/a
    Evidence on GitHub

  • State-space exploration

    Implemented (bounded)

    BFS over reachable model states, shortest violation trace

    Scope, limits and receipt
    Status
    Implemented (bounded)
    Scope
    BFS over reachable model states, shortest violation trace
    Claim level
    test code, not shipped runtime
    Limitations
    bounded by WM_EXT_MAX and WM_TICK_MAX; no stored run result
    Next dependency
    none stated
    Evidence
    tests/model/world_explore.c:1-6
    Receipt
    via make test-proof; counterexample replays I2, I4 in world_diff.c
    Commit
    0d8b057
    Date
    n/a
    Evidence on GitHub

  • Differential checking

    Implemented (host-only)

    AS_BUILT model vs real rx_world, all op sequences to depth N; TSan target

    Scope, limits and receipt
    Status
    Implemented (host-only)
    Scope
    AS_BUILT model vs real rx_world, all op sequences to depth N; TSan target
    Claim level
    host only
    Limitations
    depth bounded; settled states only; visor/search differential unchecked
    Next dependency
    none stated
    Evidence
    tests/model/world_diff.c:1-30,701-702
    Receipt
    make test-proof logs; no committed receipt
    Commit
    0d8b057
    Date
    n/a
    Evidence on GitHub

  • Semantic / program artifacts: program id

    Implemented, narrow

    program identity v2 = canonical body + contract hash; unary u64 ADD/SUB/MUL/AND/OR chains

    Scope, limits and receipt
    Status
    Implemented, narrow
    Scope
    program identity v2 = canonical body + contract hash; unary u64 ADD/SUB/MUL/AND/OR chains
    Claim level
    narrow
    Limitations
    cannot name matvec or Omega-X; omega_program_realize declared (omega_program.h:117) with no definition per 2026-09-29 audit (not rechecked); M6 self-host is a fixed output
    Next dependency
    general compiler
    Evidence
    src/omega_program.h:41,44,117
    Receipt
    tests/program/test_program_id.c; evidence/PROGRAM_ID/ (2 receipts)
    Commit
    omega#75; 9d17fcc
    Date
    2026-09-29
    Evidence on GitHub

  • Semantic / program artifacts: action graph IR

    Implemented

    goal to typed graph to resident reactions; workflow fusion into MetaSkills

    Scope, limits and receipt
    Status
    Implemented
    Scope
    goal to typed graph to resident reactions; workflow fusion into MetaSkills
    Claim level
    host
    Limitations
    fusion means fewer reactions and CPU, not faster
    Next dependency
    none stated
    Evidence
    src/runtime/rx_graph.h:181-196
    Receipt
    tests/runtime/rx_action_graph.c, rx_workflow_fusion.c; evidence/ACTION_GRAPH/, WORKFLOW_FUSION/
    Commit
    omega#51 df0ce76, #61 ceb68d6; d9ed2e8
    Date
    2026-09
    Evidence on GitHub

  • Verification infrastructure

    Implemented

    per-milestone gate scripts, content-addressed receipts, evidence immutability CI

    Scope, limits and receipt
    Status
    Implemented
    Scope
    per-milestone gate scripts, content-addressed receipts, evidence immutability CI
    Claim level
    host
    Limitations
    no shared receipt schema across repos; immutability check bypassed once (R16); no common harness
    Next dependency
    shared schema
    Evidence
    src/omega_evidence.h:48-74
    Receipt
    evidence/omega_verify_qualification_receipt.json; evidence/SHA256SUMS; .github/workflows/evidence-immutable.yml
    Commit
    5c23ec9
    Date
    n/a
    Evidence on GitHub

  • Search traces (M23)

    Implemented (corpus half)

    records every candidate the program search touches; byte-identical replay; sealed holdout commitment

    Scope, limits and receipt
    Status
    Implemented (corpus half)
    Scope
    records every candidate the program search touches; byte-identical replay; sealed holdout commitment
    Claim level
    corpus only
    Limitations
    training half waits on M22; hooks off by default; nothing consumes the corpus
    Next dependency
    M22
    Evidence
    spec/searchtrace/M23_SEARCH_TRACE_CORPUS_V1.md:1-30
    Receipt
    evidence/M23/receipts/m23-corpus-ee498211...json PASS (3072 steps, commit 12b4d6e)
    Commit
    a0e59f4
    Date
    n/a
    Evidence on GitHub

  • Capabilities / authority

    Implemented (with conflict)

    capability roots, 64-bit generations, capability graph, skill router; aienos C authority with containment

    Scope, limits and receipt
    Status
    Implemented (with conflict)
    Scope
    capability roots, 64-bit generations, capability graph, skill router; aienos C authority with containment
    Claim level
    host
    Limitations
    Rust and C authorities coexist (CONFLICTING per audit); Effect Broker partial (Rust only); machine identity has 3 shapes
    Next dependency
    pick one authority
    Evidence
    src/runtime/rx_capq.h:227-263; aienos_cap.h:70-91
    Receipt
    tests/runtime/rx_capability_graph.c, rx_capability_query.c, tests/effect/test_effect_cap64.c; evidence/CAPABILITY_QUERY, EFFECT_CAP64; aienos native/capability tests; 7 Rust tests
    Commit
    omega#53 670bf98, #71 8e7a445
    Date
    2026-09
    Evidence on GitHub

  • Turing measurement machinery

    Implemented (instrument); science partial

    field, selector, replay, compression stream (tc_*), Turing Yield units (ty_*) including energy attribution code

    Scope, limits and receipt
    Status
    Implemented (instrument); science partial
    Scope
    field, selector, replay, compression stream (tc_*), Turing Yield units (ty_*) including energy attribution code
    Claim level
    instrument
    Limitations
    science state is in Table 1; chooser failed kill test, now record-keeping only; TURING not wired into live runtime (QS:31 NOT STARTED)
    Next dependency
    live wiring, H4
    Evidence
    QS:19-29; TY2:1-17
    Receipt
    tests/turing/test_turing.c, test_tc.c, test_ty_energy.c, test_tc_eval.sh; ty2_heldout_receipt.txt
    Commit
    a0e59f4
    Date
    n/a
    Evidence on GitHub

  • Cortex components

    Implemented (host reference, omega C) plus Rust twin

    omega: append-only digest-chained store, journal, single writer, promote, recall, World recording (single process). aienos: Rust store, record, status, verification

    Scope, limits and receipt
    Status
    Implemented (host reference, omega C) plus Rust twin
    Scope
    omega: append-only digest-chained store, journal, single writer, promote, recall, World recording (single process). aienos: Rust store, record, status, verification
    Claim level
    host, single process; "implemented, not qualified" per architecture
    Limitations
    two implementations (C vs Rust, CONFLICTING); thin Rust tests; no Visor consumer; predictive memory (EST-8) PLANNED
    Next dependency
    resolve duplicate, qualification
    Evidence
    rx_cortex.h:1-14,170-225; ROADMAP.md:313
    Receipt
    tests/runtime/rx_cortex_canon.c; 2 Rust tests in aienos-cortex store.rs
    Commit
    omega 00160d9 (M20)
    Date
    n/a
    Source on GitHub

  • AEGIS

    Implemented (host, resident authority faculty)

    verifier and policy faculty: omega R8 resident AEGIS (request, decide, root mint through native AIENOS authority) plus omega aegis_verification and a Rust aienos-aegis crate (capability graph, effect broker, evaluator)

    Scope, limits and receipt
    Status
    Implemented (host, resident authority faculty)
    Scope
    verifier and policy faculty: omega R8 resident AEGIS (request, decide, root mint through native AIENOS authority) plus omega aegis_verification and a Rust aienos-aegis crate (capability graph, effect broker, evaluator)
    Claim level
    host (covers only the R8 resident AEGIS receipt; the Rust aienos-aegis crate and omega src/aegis_verification.c are present in the repos but no receipt is cited here for them)
    Limitations
    receipt says host processor, authority runs as a host library, not an AIENOS kernel; policy is not learned at run time; receipt predates later runtime edits (omega rx_aegis.c last touched fed4f07, R16 C6, 2026-09-30) and was not rerun; the Rust aienos-aegis crate and omega src/aegis_verification.c were not read or run by scout
    Next dependency
    native AIENOS kernel authority; shared receipt schema
    Evidence
    omega spec/r8-aegis-resident.md; src/runtime/rx_aegis.h:1-40; tests/runtime/rx_r8_aegis.c; aien-architecture doctrine/ROADMAP.md row R8; docs/adr/0013-machine-physics-lowering-and-aegis-invariant-checker.md (Accepted)
    Receipt
    evidence/R8/a666db9f3d2fd9f6b01be6035935cdfa5b3d233b03100014fedabb31fcf04181.json (R8_CONSTITUTIONAL_AEGIS PASS, 116 checks, 0 failures, clean tree, candidate fd57ed5)
    Commit
    omega#48 fe4924a
    Date
    2026-09-28
    Evidence on GitHub

  • ATLAS (M1 ATLAS_BOOT and roadmap)

    Implemented, narrow (QEMU qualified; native hardware pending)

    1,480-byte bootstrap seed atlas.bin, dual-seam verified in QEMU virt AArch64 (301 instructions word-reconciled, 268 of 268 corruptions refused); first rung of the 41-row roadmap (M0 to M40)

    Scope, limits and receipt
    Status
    Implemented, narrow (QEMU qualified; native hardware pending)
    Scope
    1,480-byte bootstrap seed atlas.bin, dual-seam verified in QEMU virt AArch64 (301 instructions word-reconciled, 268 of 268 corruptions refused); first rung of the 41-row roadmap (M0 to M40)
    Claim level
    QEMU only
    Limitations
    ATLAS_BOOT_NATIVE_PASS pending and decoupled from QEMU; atlas master still carries .py gate scripts (run_milestone1_gates.py, seam2_execution_harness.py, generate_audit_ledger.py) beside the C/shell suite; roadmap table counts at read time: 20 rows COMPLETE variants, 21 PLANNED (M20 to M40 all PLANNED); roadmap status is doc-level, not rerun
    Next dependency
    native hardware boot (paused until TRUST-1 owner-key chain); M20 OMEGA_TENSOR opens the planned half
    Evidence
    aien-architecture doctrine/ROADMAP.md rows M0-M40 and lines 87-95; atlas qualification_receipt.json
    Receipt
    atlas qualification_receipt.json (qualification_status COMPLETE_QEMU_QUALIFIED, sha256 f7802501...b9a5)
    Commit
    atlas fcc3874 (seed, 2026-09-26); atlas 0ec17d4 (C11 and shell gate suite); roadmap table aien-architecture f81e4ce (doctrine/ROADMAP.md, 2026-10-01)
    Date
    2026-09-26
    Evidence on GitHub

  • Typed result contracts

    Implemented, narrow (synthetic backend)

    9 typed contracts, constrained generation versus free generation, and a publish gate that is the sole writer of the published object (rx_contract)

    Scope, limits and receipt
    Status
    Implemented, narrow (synthetic backend)
    Scope
    9 typed contracts, constrained generation versus free generation, and a publish gate that is the sole writer of the published object (rx_contract)
    Claim level
    host, synthetic cognitive backend
    Limitations
    receipt not_claimed: neural or LLM backend, live R11 reactions through the gate, valid-but-wrong answers, lookahead, GPU execution, AIENOS kernel; constrained invalid rate 1.26% vs free path (measured 32% per memory note, not read from the JSON by scout); semantic failure rate similar on both paths; not rerun
    Next dependency
    real cognitive backend; R11 routed through the gate; efficiency golden path capstone
    Evidence
    omega src/runtime/rx_contract.c, rx_contract.h; tests/runtime/rx_typed_results.c; spec/typed-result-constraints.md:1-12; receipt tail gates block
    Receipt
    evidence/TYPED_RESULTS/b75d295fa4007e13bcb443d7dd4e3c3246a58e7acf4d553d99712e98937b0bbb.json (OMEGA_TYPED_RESULT_CONSTRAINTS_PASS, 47,062 checks, 0 failures, clean tree)
    Commit
    omega#59 1b63b20 (candidate d8da311)
    Date
    2026-09-28
    Evidence on GitHub

Partially implemented (4)

Some of it exists. The missing part is named.

  • CEGIS

    Partially implemented, unverified (treat as not established)

    only the word appears in synthesis path; no dedicated module or test found

    Scope, limits and receipt
    Status
    Partially implemented, unverified (treat as not established)
    Scope
    only the word appears in synthesis path; no dedicated module or test found
    Claim level
    none
    Limitations
    scout did not read the matching lines
    Next dependency
    read src/omega_synthesis.c, omega_realize_synth.c
    Evidence
    grep hits in those two files
    Receipt
    none
    Commit
    none
    Date
    n/a
    Source on GitHub

  • Evidence receipts

    Partially implemented

    digest-named JSON receipts, run commit and dirty flag; aienos Rust evidence tool (capture, verify, rollback)

    Scope, limits and receipt
    Status
    Partially implemented
    Scope
    digest-named JSON receipts, run commit and dirty flag; aienos Rust evidence tool (capture, verify, rollback)
    Claim level
    partial
    Limitations
    no shared schema; BuildIdentity planned (TRUST-1), not code
    Next dependency
    shared schema, BuildIdentity
    Evidence
    src/omega_evidence.h:48-74; TURING_CURRENT_STATE.md rows Provenance, BuildIdentity
    Receipt
    evidence/*.json; aienos ck_gates_*.json; 36 Rust tests in aienos-evidence
    Commit
    5c23ec9
    Date
    n/a
    Evidence on GitHub

  • ARGUS (ARGUS-0, ARGUS-1)

    Partially implemented (ARGUS-0 complete under documented limits; ARGUS-1 containment partial)

    defensive plane in C: 128-byte event ABI, rings, resident core, hard-invariant detectors, omega producer; ARGUS-1 adds ABI v1.2, bridge to AEGIS and one narrow revoke (everything else escalates)

    Scope, limits and receipt
    Status
    Partially implemented (ARGUS-0 complete under documented limits; ARGUS-1 containment partial)
    Scope
    defensive plane in C: 128-byte event ABI, rings, resident core, hard-invariant detectors, omega producer; ARGUS-1 adds ABI v1.2, bridge to AEGIS and one narrow revoke (everything else escalates)
    Claim level
    host
    Limitations
    performance passes only with the consumer on a spare core (+3.87% R8; unpinned +5.31% fails the 5% bar); ADR 0017 2% clock target unmet, amendment pending Drake; hostile review 63 tests, 58 defended, 3 expected-fail, 2 N/A; ARGUS-1 G6 offline checker not delivered so G13 stays open; Mac G12 run not done; freeze is an explicit stand-in; no synchronous blocking; ARGUS never authorizes (AEGIS does)
    Next dependency
    ARGUS-1 G6 offline evidence checker; Mac regression run; owner decision on 2% target
    Evidence
    aienos native/argus/docs/ARGUS0_GATES.md:3; ARGUS1_GATES.md:6,29,53,62,70; aien-architecture docs/adr/0017-argus-defensive-plane.md:3
    Receipt
    aienos native/argus/docs/ARGUS0_GATES.md (9 of 10 gates PASS, hostile and performance gates PASS-WITH-DOCUMENTED-LIMITS); native/argus/docs/ARGUS1_GATES.md (G8 PASS, G10 PASS 47,283 events 0 proposals, G11 implementation check PASS, G12 Linux PASS, Mac pending, G13 partial); omega evidence/ARGUS/h2-verify/VERIFY.md and evidence/ARGUS/speed2
    Commit
    aienos#160 7523933; omega#70 470dcae; aienos#161 d39dd5b; aienos#163 e954b0b; aienos#170 efadc17; aienos#172 603c91d; ADR 0017 aien-architecture#48 10cd118 and #53 b19b4ac
    Date
    2026-09-29
    Evidence on GitHub

  • FORGE (v1 and V2)

    Partially implemented (v1 qualified on host and GB10; V2 and analog simulation are experimental, no physical device)

    machine realization subsystem: v1 FORGE-0 realize/verify seam and FORGE-HWID observed GB10 descriptor; V2 substrate-neutral descriptor and evidence encodings with known-answer tests; AR2 simulated analog provider with digital oracle parity

    Scope, limits and receipt
    Status
    Partially implemented (v1 qualified on host and GB10; V2 and analog simulation are experimental, no physical device)
    Scope
    machine realization subsystem: v1 FORGE-0 realize/verify seam and FORGE-HWID observed GB10 descriptor; V2 substrate-neutral descriptor and evidence encodings with known-answer tests; AR2 simulated analog provider with digital oracle parity
    Claim level
    host and GB10 for v1; V2 host-only simulation, no physical analog claim
    Limitations
    physics docs/FORGE_SUBSTRATE_V2_SPEC.md still says Status DRAFT; golden vectors are synthetic fixtures and state no physical run; no analog device exists (AR4 needs an operator device decision); the 47 KAT + 6 gates count in memory notes was not reproduced by scout
    Next dependency
    AR3 calibration and uncertainty; AR4 physical device decision; AR5 omega multi-substrate selection
    Evidence
    aien-architecture docs/adr/0018-substrate-neutral-physical-realization.md:3,195-206 (Accepted 2026-09-29); doctrine/FORGE.md; doctrine/ROADMAP.md Gates 3-4 and 14 rows; physics docs/FORGE_SUBSTRATE_V2_SPEC.md:3-9; docs/forge-v2-golden-vectors.md:5-7
    Receipt
    omega evidence/FORGE-GATES/702cf450534cf2727e4846243d00e7523b8252a95601d159ca8dd5d392ccafb7.json (Gate 3 FORGE-0 PASS, Gate 4 FORGE-HWID PASS, sm_121, clean trees); omega evidence/GATE14-FOUNDATION/50dd611b...json; V2: no committed receipt, only tests/test_forge_v2_kat.c, tests/run_forge_v2_gates.sh and regenerated docs/forge-v2-golden-vectors.md in physics
    Commit
    physics#13 5969159 (v1, 2026-09-29); physics#16 1f7c321 (V2, 2026-09-29); physics#21 d52759d (AR2, 2026-10-01); omega#111 5517d22 (Gate 14)
    Date
    2026-09-29/10-01
    Evidence on GitHub

Experimental (1)

Being tried. Results so far, including failures, are on the record.

  • Bayesian cost prediction (belief/estimation)

    Experimental

    Kalman filter, mixtures, predictors, v4 families vs recorded signals

    Scope, limits and receipt
    Status
    Experimental
    Scope
    Kalman filter, mixtures, predictors, v4 families vs recorded signals
    Claim level
    experimental
    Limitations
    v1 and v2 FAIL on record (heavy tails, idle regime); v4 selects among screen-passers on one-step log score; EST-5 uncertainty-aware cost model not found as code; rx_costmodel is matvec only. Architecture: EST-3 v1-v3 FAIL, v4 no verdict, EST-4..10 blocked
    Next dependency
    declared loaded period; EST-5
    Evidence
    docs/estimation/EST3C_FORENSICS.md:3,97-119; est-v4/RESULT.md
    Receipt
    docs/estimation/receipts/est23-v1 FAIL, est23-v2 FAIL, est3c-v3, est-v4/RESULT.md (family G1 lag PASS, 3 void attempts kept)
    Commit
    omega#105; est-v4 PR #153 6ff7c30
    Date
    2026-09-30/10-01
    Evidence on GitHub

Planned (3)

Written down as a plan or specification. No code yet.

  • Full Physics Zero

    Planned

    specification and plan only; M35 PHYSICS_ZERO_REAL_LAB PLANNED; no AIEN-P0 clean lineage

    Scope, limits and receipt
    Status
    Planned
    Scope
    specification and plan only; M35 PHYSICS_ZERO_REAL_LAB PLANNED; no AIEN-P0 clean lineage
    Claim level
    none
    Limitations
    README.md:30 lists it as spec/plan only
    Next dependency
    M35
    Evidence
    README.md:30; QS:92; architecture ROADMAP.md:74
    Receipt
    none
    Commit
    none
    Date
    n/a
    Source on GitHub

  • Self-accelerating RSI via measured abstraction

    Planned (doctrine term)

    no code symbol

    Scope, limits and receipt
    Status
    Planned (doctrine term)
    Scope
    no code symbol
    Claim level
    none
    Limitations
    RSI promotion discipline is spec only; full RSI integration out of scope for R16
    Next dependency
    later phases
    Evidence
    TURING_CURRENT_STATE.md:56; spec/path-semantic-object.md:462-463; docs/r16-operator-brief.md:532
    Receipt
    none
    Commit
    none
    Date
    n/a
    Evidence on GitHub

  • Dirac (DIRAC-0 and sealed exam ladder)

    Planned (spec, ADRs and oracle design only; all gates NOT_RUN)

    integration workstream that would test generic Omega algebra, CPU and GB10 realization, and blind discovery against a hidden Dirac evaluator; ADR 0026 places Dirac as first rung of a sealed exam ladder (Zeta, symmetry, SUSY)

    Scope, limits and receipt
    Status
    Planned (spec, ADRs and oracle design only; all gates NOT_RUN)
    Scope
    integration workstream that would test generic Omega algebra, CPU and GB10 realization, and blind discovery against a hidden Dirac evaluator; ADR 0026 places Dirac as first rung of a sealed exam ladder (Zeta, symmetry, SUSY)
    Claim level
    none
    Limitations
    ADR 0023 and ADR 0026 are PROPOSED, not accepted; oracle C file exists but was never compiled or run; M20 OMEGA_TENSOR semantic layer and CPU realization merged via omega#136 (c7f9fcd, 2026-10-01) but is not qualified (GB10 NOT_RUN, M20 not qualified); no GB10 tensor realization; G3 sealing BLOCKED_OPERATOR so no sealed dataset; no T/J (TURING H5 NOT STARTED); ESTIMATION v4 is recorded INCONCLUSIVE in omega#153 (merged 2026-10-01), v5 in progress as omega#170 (open)
    Next dependency
    operator acceptance of the spec (D-01), then D-02 oracle build; M20 OMEGA_TENSOR qualification; G3 sealing; TURING H5
    Evidence
    aien-architecture docs/plans/dirac/DIRAC_0_CURRENT_STATE.md (gates NOT_RUN); docs/adr/0023-dirac-0-program.md:3; docs/adr/0026-sealed-discovery-examinations.md:3; omega research/dirac-oracle/README-NOT-BUILT.md
    Receipt
    none; no evidence/DIRAC-0/ receipt exists; gates DIRAC_PREP_FROZEN, DIRAC_D0_ALGEBRA_PASS, DIRAC_CPU_REALIZATION_PASS, DIRAC_D1_REALIZATION_PASS, DIRAC_D2_DISCOVERY_PASS all NOT_RUN
    Commit
    aien-architecture#83 6ebd2fe (spec + ADR 0023 PROPOSED); aien-architecture#97 5910dff (ADR 0026 PROPOSED); omega#158 458c57f (oracle spec, NOT BUILT)
    Date
    2026-10-01
    Evidence on GitHub

Research hypothesis (5)

Not built. An idea to test, not a feature.

  • General causal discovery

    Research hypothesis

    none

    Scope, limits and receipt
    Status
    Research hypothesis
    Scope
    none
    Claim level
    none
    Limitations
    grep "causal discovery" in omega: 0 hits; only "causal crumbs" (provenance)
    Next dependency
    n/a
    Evidence
    omega grep
    Receipt
    none
    Commit
    none
    Date
    n/a
    Source on GitHub

  • Full active experimentation

    Research hypothesis (blocked)

    appears only as EXP-003 spec

    Scope, limits and receipt
    Status
    Research hypothesis (blocked)
    Scope
    appears only as EXP-003 spec
    Claim level
    none
    Limitations
    policy interface in protocol .tex:20,45,1281 only
    Next dependency
    EXP-003
    Evidence
    QS:29
    Receipt
    none
    Commit
    none
    Date
    n/a
    Evidence on GitHub

  • Equality saturation

    Research hypothesis

    none

    Scope, limits and receipt
    Status
    Research hypothesis
    Scope
    none
    Claim level
    none
    Limitations
    only prior-art text, no e-graph code
    Next dependency
    n/a
    Evidence
    docs/turing/TURING_PRIOR_ART_MATRIX.md:25,55,147
    Receipt
    none
    Commit
    none
    Date
    n/a
    Evidence on GitHub

  • General representation discovery

    Research hypothesis

    none

    Scope, limits and receipt
    Status
    Research hypothesis
    Scope
    none
    Claim level
    none
    Limitations
    0 hits; related only fixed realization families src/algebra/realize_*.c and narrow omega_discovery.c (not read in detail)
    Next dependency
    n/a
    Evidence
    omega grep
    Receipt
    none
    Commit
    none
    Date
    n/a
    Source on GitHub

  • SUSY / Zeta rediscovery

    Research hypothesis

    none

    Scope, limits and receipt
    Status
    Research hypothesis
    Scope
    none
    Claim level
    none
    Limitations
    0 hits in omega
    Next dependency
    n/a
    Evidence
    omega grep
    Receipt
    none
    Commit
    none
    Date
    n/a
    Source on GitHub

Sources and caveats

AIEN research status table (consolidated), generated 2026-10-01 by SCOUT (LT-TRUTH)

Repository commits read: omega 38919c8, aienos 4a116e5, aien-architecture 8d24c6d, aienos.com d43200c

Evidence ranks: code > tests > receipts > frozen profiles > qualification records > docs > website prose

Abbreviations

QS
omega docs/turing/TURING_SCIENTIFIC_QUALIFICATION_STATE.md
TY2
omega docs/turing/TURING_YIELD_TY2_RESULT.md
explainer
aien-architecture explainer (#67)
Source on GitHub

Proof, not promises

Every claim carries a receipt

This project does not ask to be believed. Each card names its environment, its gate, its date, and its verdict, and states plainly what the receipt proves and what it does not prove. That includes the failures, especially the failures.

Dated evidence, not a live dashboard: these preserved receipt cards describe the runs and branch states recorded in the site inventory of 2026-10-19. Words such as today and newest inside a card refer to that dated record, not the current machine. Research results below retain the canonical record's own date.

MEASURED

7.63 tok/s · 27B on Omega

A 27B model answers through my own server

Qwen3.8-27B (FP8) served by aien-serve-http on my own Omega GPU kernels, on the Spark. 131.05 ms per token, the median of 4 runs of 256 greedy tokens, 0.752 of the 10.15 tok/s memory ceiling. The old binary in the same folder did 6.29.

Proves
The 27B answers through my own server and kernels at this speed, with the runs published beside the ceiling they sit under.
Does not prove
That the number is on main yet (it is on a branch), or anything about any other machine.
Date
2026-10-19
Environment
Spark GB10, port 18091, branch qwen38/serve-fast
Gate
Live-server decode receipt
Receipt source
aien-sovereign-core-mv · qwen38/serve-fast
Evidence on GitHub

FAIL AS WRITTEN

install.sh exits 101

A stranger follows the alpha guide

A fresh Linux account followed the public guide to install and run the 27B server. The install script failed at the server build step. With a hand workaround, the remaining steps passed: 81 of 81 checksums, the gate, and 7.657 tok/s with answers matching the shipped reference.

Proves
The guide is almost there, and exactly where it breaks is on the record with the fix named.
Does not prove
That anyone can install from the guide today. The verdict is FAIL until the script is fixed and the test is run again.
Date
2026-10-19
Environment
Spark GB10, new user, branch alpha/fresh-account-evidence
Gate
Fresh-account alpha test
Receipt source
aien-sovereign-core-mv · alpha/fresh-account-evidence
Evidence on GitHub

PASS

24 of 24 emulator gates

Every kernel gate, in QEMU, on main

aienux, the AienOS C kernel, passes all 24 emulator gates at commit 7f0de7e, each one a script anyone can rerun, with the receipt on main. The gate script now lists 26, so a newer receipt is owed.

Proves
The kernel reaches every gated stage under emulation at the recorded commit.
Does not prove
Anything physical. QEMU qualifies nothing physical, by the repository's own words.
Date
2026-10-09
Environment
QEMU, AArch64 virt and x86_64 q35, on main
Gate
ck_gates.sh, 24 gates
Receipt source
aienux · evidence on main
Evidence on GitHub

MERGED

Four cores on a Raspberry Pi 5

The kernel on real hardware

The AArch64 C kernel ran on a Raspberry Pi 5: interrupts, all four cores, user-mode tasks, scheduling, message passing, and a log written to the SD card and read back. Pull requests #345 and #346, evidence on main.

Proves
The kernel's core services run on physical hardware, not only in the emulator.
Does not prove
A resident kernel. Each run writes a fresh SD image; release qualification (PI5-8) is still open.
Date
2026-10-13
Environment
Raspberry Pi 5, BCM2712, SD image per run
Gate
Pi 5 hardware bring-up runs
Receipt source
aienux · evidence on main
Evidence on GitHub

MERGED

Aien's window on an iMac

The x86 port boots bare metal

The x86_64 port of the C kernel booted an Intel iMac 2017: all cores started, both disks read, Ethernet seen. The whole screen is Aien's window. The kernel the iMac runs today sits in the open pull request stack (#414 to #424).

Proves
The port runs on the physical machine with its cores, disks and network found.
Does not prove
That today's iMac kernel is on main. The evidence is; the newest kernel is in open pull requests.
Date
2026-10-17
Environment
Intel iMac 2017, bare metal, netboot from the Spark
Gate
iMac batch run, evidence/imac_kernel1_2026-10-17
Receipt source
aienux · evidence on main
Evidence on GitHub

Environment: Omega verification suite, turing-yield CI on main. Receipt source: aien-dev/omega · PR #88.

PASS TY-2

TY-2 Turing gain

2,559,679.825 bits of Turing gain

This is a gain in bits, not a yield. Yield is T/J (Turings per joule), and T/J is not established: no energy was measured.

On held-out data, the candidate model C described the events in about 2.56 million fewer bits than the order-1 baseline B, about 0.4387 bits per event.

Scope, limits and receipt
Status
PASS (verdict=PASS)
Scope
held-out predictive compression, Turing Yield profile V0; candidate C (op + previous 4 outcomes) vs baseline B (order-1); fit seeds 1-7, held-out 8-10; 5,834,845 held-out events of crumbline control-learner search events
Claim level
information part of H5 only; sits below the L1 chain (separate profile)
Limitations
Ideal code length only, no decodable bitstream. Verify uses the same tool (self re-derivation, not independent). Not a scientific discovery measure. No energy. Post hoc op+prev1..5 scored higher (+2,722,851.799), not counted. Check: dl_b_ub 7484024867446 minus dl_c_ub 4924345042631 = 2559679824815
Next dependency
H4 then TY-7
Evidence
receipt fields t_microbits, dl_b_ub, dl_c_ub, verdict; tools/turing_yield.c:319; src/turing/ty_qrecord.c:343
Receipt
evidence/TURING_YIELD/ty2_heldout_receipt.txt
Commit
scoring code 487de8d7 (TY-1); PR #85 f0dc0af9; verify log PR #88 1b75aa81
Date
run 2026-09-29
Evidence on GitHub

Say hello to Aien?

Hey, you just clicked an ad. I just want you to know that if you didn't intend to click an ad, that's cool. Just click No and this popup will close. Nothing will be tracked by my X pixel. Your browser may not let me close a page I didn't open.

Saying hello covers only the X pixel. Whether Aien remembers you is a separate choice that only the chat asks, and saying hello never makes it for you: Tell Aien my name or chat with Aien anonymously.

Who can see me right now?

This panel reads only this page and your browser. It sends nothing and stores nothing.

Outside sites this page has loaded: checking

What your browser tells every website

Any site you visit can read these. I don't keep them. Your IP address and browser name also reach this site's hosting providers with every request, as on any site.

What this page can't see

Trackers on other sites, in other tabs or inside embedded frames, tracking by your internet provider or network, and your browser extensions. These tools check more:

Privacy, what X receives, and your choice