Research status

Where the research stands

The Turing measures net held-out explanatory compression: one operational component of machine understanding.

Every status on this page is rendered from one data file, built from the consolidated research status table. Failed and incomplete experiments are shown, not hidden. As of 2026-10-01.

The research ladder

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.

Read from the bottom up. Each step rests on the one below it. Filled steps are achieved, half-filled steps are partial, hollow steps are not achieved.

L0Definition
achieved
Achieved
Evidence: QS:101 "met"; definition only
L1Compression bridge, EXP-001R
achieved
Achieved (tested regime, amended overlap gate, unsigned)
Evidence: QS:102; EXP-001R final_receipt.json
FAILEXP-001failed 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.
L2Known stochastic structure, EXP-002A-B-CCurrent level
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
L3Invariant or unifying structure
not achieved
Not achieved (interventional replication PASS, EXP-002D INCOMPLETE)
Evidence: QS:104
L4Active experimental choice, EXP-003
not achieved
Not achieved (blocked, not frozen)
Evidence: QS:105
L5Energy attribution
partial
Partial (protocol and fixture tests; no timed run)
Evidence: QS:106
L6Turing yield T/J
not achieved
Not achieved (blocked on L5)
Evidence: QS:107
L7+Sensitivity, replication, multiple domains
not attempted
Not attempted (L7, L8, L9)
Evidence: QS:108-110

Experiment status

One card per result. The badge is the verdict; the lines below say what it covers, what it does not, and what it waits on.

PASSCAL-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.

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

FAILEXP-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.

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

PASSEXP-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.

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

PASSTY-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.

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

PASSEXP-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.

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

PASSEXP-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.

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

PASSEXP-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.

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

INCOMPLETEEXP-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.

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

BLOCKEDEXP-003

EXP-003 active experimental choice

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

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

PARTIALENERGY-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.

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

NOT STARTEDTURING-YIELD-TJ

Turing yield T/J (H5 physical part)

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

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

PARTIALBROWNIAN-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.

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

NOT ESTABLISHEDGENERAL-DISCOVERY

General scientific discovery claim

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

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

What is built and what is still an idea

Implemented work and research hypotheses are kept apart. A hypothesis listed here is a question, not a feature.

Implemented (14)

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

Resident World / reactionsImplemented (host reference)
one shared object world; reactions wake on object and field-mask change; budgets, quarantine, causal crumbs
Limits and evidence
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
Lifecycle modelingImplemented (host-only)
explicit state machine of wake/admit/run/commit/invalidate/fail/reclaim/cancel; SPEC, AS_BUILT, mutant profiles
Limits and evidence
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
State-space explorationImplemented (bounded)
BFS over reachable model states, shortest violation trace
Limits and evidence
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
Differential checkingImplemented (host-only)
AS_BUILT model vs real rx_world, all op sequences to depth N; TSan target
Limits and evidence
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
Semantic / program artifacts: program idImplemented, narrow
program identity v2 = canonical body + contract hash; unary u64 ADD/SUB/MUL/AND/OR chains
Limits and evidence
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
Semantic / program artifacts: action graph IRImplemented
goal to typed graph to resident reactions; workflow fusion into MetaSkills
Limits and evidence
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
Verification infrastructureImplemented
per-milestone gate scripts, content-addressed receipts, evidence immutability CI
Limits and evidence
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
Search traces (M23)Implemented (corpus half)
records every candidate the program search touches; byte-identical replay; sealed holdout commitment
Limits and evidence
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
Capabilities / authorityImplemented (with conflict)
capability roots, 64-bit generations, capability graph, skill router; aienos C authority with containment
Limits and evidence
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
Turing measurement machineryImplemented (instrument); science partial
field, selector, replay, compression stream (tc_*), Turing Yield units (ty_*) including energy attribution code
Limits and evidence
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
Cortex componentsImplemented (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
Limits and evidence
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
AEGISImplemented (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)
Limits and evidence
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
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)
Limits and evidence
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
Typed result contractsImplemented, 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)
Limits and evidence
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

Partially implemented (4)

Some of it exists. The missing part is named.

CEGISPartially implemented, unverified (treat as not established)
only the word appears in synthesis path; no dedicated module or test found
Limits and evidence
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
Evidence receiptsPartially implemented
digest-named JSON receipts, run commit and dirty flag; aienos Rust evidence tool (capture, verify, rollback)
Limits and evidence
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
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)
Limits and evidence
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
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
Limits and evidence
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

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
Limits and evidence
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

Planned (3)

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

Full Physics ZeroPlanned
specification and plan only; M35 PHYSICS_ZERO_REAL_LAB PLANNED; no AIEN-P0 clean lineage
Limits and evidence
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
Self-accelerating RSI via measured abstractionPlanned (doctrine term)
no code symbol
Limits and evidence
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
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)
Limits and evidence
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

Research hypothesis (5)

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

General causal discoveryResearch hypothesis
none
Limits and evidence
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
Full active experimentationResearch hypothesis (blocked)
appears only as EXP-003 spec
Limits and evidence
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
Equality saturationResearch hypothesis
none
Limits and evidence
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
General representation discoveryResearch hypothesis
none
Limits and evidence
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
SUSY / Zeta rediscoveryResearch hypothesis
none
Limits and evidence
Claim level
none
Limitations
0 hits in omega
Next dependency
n/a
Evidence
omega grep
Receipt
none
Commit
none
Date
n/a

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.

Nothing was built, run or re-scored for this table. "Receipt exists" means the file is on main, not that it was rerun.
Brownian sealed records are in the private aien-sealed repo. The EXP-002A, EXP-002B and EXP-002C verdicts were checked against the private sealed records on 2026-10-01; the records themselves stay private until BRN-10 seals.
L2 verdicts were checked against the private sealed records on 2026-10-01; the records stay private. Evidence for the current level: QS sections 1 and 6; QS:114-115; QS written at 62f5ba5, updated at 8a56ace, reconciled 07004a8; main 38919c8

Abbreviations

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