--- title: "Discoveries" description: "Research, experiments, evidence and the questions still open." last_updated: "2026-11-06T12:19:40-06:00" canonical_url: "https://www.aienos.com/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. [Papers and protocols](https://www.aienos.com/research/)[Experiments](https://www.aienos.com/experiments/)[Evidence rules](https://www.aienos.com/evidence/)[Future examinations](https://www.aienos.com/discovery/)[Philosophy](https://www.aienos.com/philosophy/)[Hive activity](https://www.aienos.com/hive/) ## The recorded research state Read from [research-status.json](https://www.aienos.com/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 ↗](https://github.com/aien-dev/aienos.com/blob/main/crates/site-builder/data/research_status.json) 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. - ### L0: Definition achieved Achieved Evidence: QS:101 "met"; definition only [Evidence on GitHub ↗](https://github.com/aien-dev/omega-mv/blob/main/docs/turing/TURING_SCIENTIFIC_QUALIFICATION_STATE.md#L101) - ### L1: Compression bridge, EXP-001R achieved Achieved (tested regime, amended overlap gate, unsigned) Evidence: QS:102; EXP-001R final_receipt.json [Evidence on GitHub ↗](https://github.com/aien-dev/omega-mv/blob/main/docs/turing/TURING_SCIENTIFIC_QUALIFICATION_STATE.md#L102) 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 - ### 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 ↗](https://github.com/aien-dev/omega-mv/blob/main/docs/turing/TURING_SCIENTIFIC_QUALIFICATION_STATE.md#L103) - ### L3: Invariant or unifying structure not achieved Not achieved (interventional replication PASS, EXP-002D INCOMPLETE) Evidence: QS:104 [Evidence on GitHub ↗](https://github.com/aien-dev/omega-mv/blob/main/docs/turing/TURING_SCIENTIFIC_QUALIFICATION_STATE.md#L104) - ### L4: Active experimental choice, EXP-003 not achieved Not achieved (blocked, not frozen) Evidence: QS:105 [Evidence on GitHub ↗](https://github.com/aien-dev/omega-mv/blob/main/docs/turing/TURING_SCIENTIFIC_QUALIFICATION_STATE.md#L105) - ### L5: Energy attribution partial Partial (protocol and fixture tests; no timed run) Evidence: QS:106 [Evidence on GitHub ↗](https://github.com/aien-dev/omega-mv/blob/main/docs/turing/TURING_SCIENTIFIC_QUALIFICATION_STATE.md#L106) - ### L6: Turing yield T/J not achieved Not achieved (blocked on L5) Evidence: QS:107 [Evidence on GitHub ↗](https://github.com/aien-dev/omega-mv/blob/main/docs/turing/TURING_SCIENTIFIC_QUALIFICATION_STATE.md#L107) - ### L7+: Sensitivity, replication, multiple domains not attempted Not attempted (L7, L8, L9) Evidence: QS:108-110 [Evidence on GitHub ↗](https://github.com/aien-dev/omega-mv/blob/main/docs/turing/TURING_SCIENTIFIC_QUALIFICATION_STATE.md#L108) [Open the full research status record](https://www.aienos.com/research/status/) · [Canonical data](https://www.aienos.com/research-status.json) ## Take the next trail ### [Read the science](https://www.aienos.com/research/) The formal paper, emergence companion, protocols, profiles and source artifacts remain fully readable. [Source on GitHub](https://github.com/aien-dev/aienos.com/tree/main/public/research) ### [Inspect the evidence](https://www.aienos.com/evidence/) Code, tests and receipts outrank a website. Check the scope and the limits before drawing a conclusion. [Source on GitHub](https://github.com/aien-dev/aienos.com/blob/main/om/site/discovery.json) ### [Follow the Hive](https://www.aienos.com/hive/) Open the observation board for source-timestamped activity and evidence trails. A stale observation remains stale; this dashboard makes no live count claim. [Open the no-JavaScript board](https://www.aienos.com/hive/board/) [Source on GitHub](https://github.com/aien-dev/aienos.com/blob/main/om/hive-render/render.om)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 ↗](https://github.com/aien-dev/omega-mv/blob/main/calibration/experiments/EXP-001R/freeze_receipt.json)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 ↗](https://github.com/aien-dev/omega-mv/blob/main/calibration/experiments/EXP-001/final_receipt.json)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 ↗](https://github.com/aien-dev/omega-mv/blob/main/calibration/experiments/EXP-001R/final_receipt.json)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 ↗](https://github.com/aien-dev/omega-mv/blob/main/evidence/TURING_YIELD/ty2_heldout_receipt.txt)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 ↗](https://github.com/aien-dev/omega-mv/pull/104)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 ↗](https://github.com/aien-dev/omega-mv/pull/104)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 ↗](https://github.com/aien-dev/omega-mv/pull/104)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 ↗](https://github.com/aien-dev/omega-mv/blob/main/docs/turing/TURING_SCIENTIFIC_QUALIFICATION_STATE.md#L27)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 ↗](https://github.com/aien-dev/omega-mv/blob/main/docs/turing/TURING_SCIENTIFIC_QUALIFICATION_STATE.md#L29)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 ↗](https://github.com/aien-dev/omega-mv/pull/86)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 ↗](https://github.com/aien-dev/omega-mv/blob/main/docs/turing/TURING_SCIENTIFIC_QUALIFICATION_STATE.md#L24)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 ↗](https://github.com/aien-dev/omega-mv/blob/main/docs/turing/TURING_SCIENTIFIC_QUALIFICATION_STATE.md)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 ↗](https://github.com/aien-dev/omega-mv/blob/main/docs/turing/TURING_SCIENTIFIC_QUALIFICATION_STATE.md)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 ↗](https://github.com/aien-dev/omega-mv/blob/main/src/runtime/rx_world.h#L2) - ### 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 ↗](https://github.com/aien-dev/omega-mv/blob/main/tests/model/world_model.h#L1) - ### 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 ↗](https://github.com/aien-dev/omega-mv/blob/main/tests/model/world_explore.c#L1) - ### 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 ↗](https://github.com/aien-dev/omega-mv/blob/main/tests/model/world_diff.c#L1) - ### 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 ↗](https://github.com/aien-dev/omega-mv/blob/main/src/omega_program.h#L41) - ### 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 ↗](https://github.com/aien-dev/omega-mv/blob/main/src/runtime/rx_graph.h#L181) - ### 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 ↗](https://github.com/aien-dev/omega-mv/blob/main/src/omega_evidence.h#L48) - ### 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 ↗](https://github.com/aien-dev/omega-mv/blob/main/spec/searchtrace/M23_SEARCH_TRACE_CORPUS_V1.md#L1) - ### 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 ↗](https://github.com/aien-dev/omega-mv/blob/main/src/runtime/rx_capq.h#L227) - ### 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 ↗](https://github.com/aien-dev/omega-mv/blob/main/docs/turing/TURING_SCIENTIFIC_QUALIFICATION_STATE.md#L19) - ### 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 ↗](https://github.com/aien-dev/aienos.com/blob/main/crates/site-builder/data/research_status.json) - ### 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 ↗](https://github.com/aien-dev/omega-mv/blob/main/spec/r8-aegis-resident.md) - ### 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 ↗](https://github.com/aien-dev/aien-architecture-mv/blob/main/doctrine/ROADMAP.md) - ### 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 ↗](https://github.com/aien-dev/omega-mv/blob/main/src/runtime/rx_contract.c) ### 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 ↗](https://github.com/aien-dev/aienos.com/blob/main/crates/site-builder/data/research_status.json) - ### 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 ↗](https://github.com/aien-dev/omega-mv/blob/main/src/omega_evidence.h#L48) - ### 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 ↗](https://github.com/aien-dev/aienux/blob/main/native/argus/docs/ARGUS0_GATES.md#L3) - ### 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 ↗](https://github.com/aien-dev/aien-architecture-mv/blob/main/docs/adr/0018-substrate-neutral-physical-realization.md#L3) ### 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 ↗](https://github.com/aien-dev/omega-mv/blob/main/docs/estimation/EST3C_FORENSICS.md#L3) ### 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 ↗](https://github.com/aien-dev/aienos.com/blob/main/crates/site-builder/data/research_status.json) - ### 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 ↗](https://github.com/aien-dev/omega-mv/blob/main/docs/turing/TURING_CURRENT_STATE.md#L56) - ### 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 ↗](https://github.com/aien-dev/aien-architecture-mv/blob/main/docs/plans/dirac/DIRAC_0_CURRENT_STATE.md) ### 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 ↗](https://github.com/aien-dev/aienos.com/blob/main/crates/site-builder/data/research_status.json) - ### 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 ↗](https://github.com/aien-dev/omega-mv/blob/main/docs/turing/TURING_SCIENTIFIC_QUALIFICATION_STATE.md#L29) - ### 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 ↗](https://github.com/aien-dev/omega-mv/blob/main/docs/turing/TURING_PRIOR_ART_MATRIX.md#L25) - ### 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 ↗](https://github.com/aien-dev/aienos.com/blob/main/crates/site-builder/data/research_status.json) - ### 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 ↗](https://github.com/aien-dev/aienos.com/blob/main/crates/site-builder/data/research_status.json) ## 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)[Source on GitHub ↗](https://github.com/aien-dev/aienos.com/blob/main/crates/site-builder/data/research_status.json) 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 ↗](https://github.com/aien-dev/aien-sovereign-core-mv/tree/qwen38/serve-fast/evidence/qwen38-serve-fast-20261019) 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 ↗](https://github.com/aien-dev/aien-sovereign-core-mv/tree/alpha/fresh-account-evidence/evidence/alpha-fresh-account-20261019) 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 ↗](https://github.com/aien-dev/aienux/blob/main/evidence/ck_gates_29ed03c97454354a18676f768273dd7f7a8e15462c4be1939d9994d277d0d639.json) 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 ↗](https://github.com/aien-dev/aienux/blob/main/evidence/pi5_hardware_runs_2026-10-13) 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 ↗](https://github.com/aien-dev/aienux/blob/main/evidence/imac_kernel1_2026-10-17) Environment: Omega verification suite, turing-yield CI on main. Receipt source: [aien-dev/omega · PR #88](https://github.com/aien-dev/omega/pull/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 ↗](https://github.com/aien-dev/omega-mv/blob/main/evidence/TURING_YIELD/ty2_heldout_receipt.txt) ## Sitemap - [Sovereign Intelligence™](https://www.aienos.com/): Sovereign Intelligence, built on AienOS: the project, its machines, research and public evidence. - [Sovereign Intelligence™: Classic](https://www.aienos.com/classic/): The complete Sovereign Intelligence stack, the loop, the five real machines and their measured speeds beside the physical ceiling, the evidence cards, and the dated status of every layer. - [Start here](https://www.aienos.com/start/): The shortest route through AienOS: what it is, what exists today, how to check the evidence, how to reproduce or contribute, and where the author and Interplane fit. - [Where I am and how to reach me](https://www.aienos.com/contact/): How to reach Drake: X @mdrakestapleton, email drake@aienos.com, Aien at /aien/ (who can pass a message on or put you through when Drake is online) and the aien-dev repositories on GitHub. - [Support my open source work](https://www.aienos.com/support/): Help me keep building free and open source software through X Money. US-only eligibility, the exact recipient and the steps to send support. - [Privacy & saying hello to Aien](https://www.aienos.com/privacy/): Your choice about the consent-only X pixel, what X receives, what I keep and how to refuse. - [The Machine](https://www.aienos.com/machine/): One machine across five physical bodies: the closed epistemic loop, the Turing as its accounting layer, and an honest list of what exists. - [What Omega is](https://www.aienos.com/omega/): Omega is Aien's language for all computing, GPU to CPU. Replacing CUDA is not true yet. The CUDA stack piece by piece with status, the receipt for the live server running with zero CUDA libraries, what is not true yet, and the bar C1 to C6. - [CUDA++](https://www.aienos.com/cudaplusplus/): CUDA++ is the GPU half of Omega, plus the motor, for the NVIDIA GPUs people already own, with no NVIDIA user-space software (Apache-2.0 with the LLVM exception, aien-dev/CUDApp). What it is for, the path from program to chip with whose code runs at each step, how I did it, CUDA's pain points and the swap down to the kernel driver. - [Now](https://www.aienos.com/now/): The live coordination ledger: what every agent is doing right now, what is settled with evidence, what waits on the operator. Rebuilt whenever the ledger changes. - [Dashboard](https://www.aienos.com/dash/): One screen: model quota left on every account the agents run on, the Spark's pulse, open work, and which model each role uses. Rebuilt with the ledger. - [Hive](https://www.aienos.com/hive/): Watch Drake build with coding agents: live missions, nested subagents, exact models and public conversations, with source freshness and failures visible. - [Build with AI](https://www.aienos.com/learn/): A welcoming, practical guide to coding with AI: structure a task, delegate bounded work, inspect changes, verify behavior and learn from mistakes in the live Hive. - [Agents](https://www.aienos.com/agents/): Point your own coding agent at any public Aien repository: the shared rules every Aien agent follows and each repository's own AGENTS.md, listed from GitHub and refreshed hourly. - [Project progress](https://www.aienos.com/progress/): Source lines, revisions, test footprint and verification activity across the public repositories, refreshed hourly from GitHub. - [The Turing: an interactive field guide](https://www.aienos.com/turing/): What the Turing measures (net held-out explanatory compression), with games, live calculations and the theories behind it. - [Aien Research](https://www.aienos.com/research/): The index of preprints and public evidence. - [Computing Machinery and Understanding: From the Imitation Game to the Turing](https://www.aienos.com/research/computing-machinery-and-understanding/): The formal preprint defining the Turing as an operational measure of generalized explanatory compression. DOI 10.5281/zenodo.23437498. - [Computing Machinery and Understanding: The Turing as a Measure Emerging from AIEN](https://www.aienos.com/research/computing-machinery-and-understanding-emergence/): The companion engineering paper: how the Turing emerged from building Aien. DOI 10.5281/zenodo.23437568. - [The Turing: A Unit of Verified Explanatory Gain](https://www.aienos.com/research/the-turing-brief/): The three-page plain-language brief: what the Turing measures, what it does not, and what would prove it wrong. - [The Turing Discovery Gap Conjecture](https://www.aienos.com/research/turing-discovery-gap-conjecture/): Available versus accessible explanatory value: worlds with compact explanations that no efficient learner can reach. - [The Crumb Doctrine](https://www.aienos.com/research/crumb-doctrine/): No receipt, no crumb: the epistemic constitution of the machine. - [Omega: A Programming Language Built for Verified Programs](https://www.aienos.com/research/omega-language/): Semantic identity, evidence-bearing dependencies, and a foreign-code boundary that never lets unverified work inside. - [The Atemporal AIEN Postulate](https://www.aienos.com/research/atemporal-aien-postulate/): Causal semantics without clocks: an Aien computation is defined by what causally depends on what. - [The AIEN Papers: The Complete Collection](https://www.aienos.com/research/the-aien-papers/): The Turing unit, the evidence doctrine, the language design and the philosophy in one document. - [Experiments](https://www.aienos.com/experiments/): Every experiment on the research ladder, failures included, rendered from one canonical status source. - [Scientific Discovery](https://www.aienos.com/discovery/): Physics Zero, Dirac, Zeta and supersymmetry as examinations of representation discovery; the machine is never given the named answer. - [Evidence](https://www.aienos.com/evidence/): What counts as evidence, which source wins when two disagree, and where the receipts, frozen profiles and status records live. - [Research status](https://www.aienos.com/research/status/): The qualification ladder, every experiment with its verdict, receipt and limits, and what is built versus still a hypothesis. - [Philosophy](https://www.aienos.com/philosophy/): The position papers behind Aien. These argue a stance and are not experimental results. - [The Stapleton Doctrine](https://www.aienos.com/research/the-stapleton-doctrine/): A personal philosophy of AI architecture and programming. - [The Post-LLM Case](https://www.aienos.com/post-llm-case/): The case for a different learning machine: programs proposed, verification deciding, knowledge kept as inspectable programs. - [Intelligence should be owned](https://www.aienos.com/owned/): Drake Stapleton's manifesto: language models are a common inheritance, running one yourself is a right and a responsibility, and what Aien does about it with receipts. - [A Call to Humanity](https://www.aienos.com/call-to-humanity/): An open letter on breaking the CUDA stranglehold on the hardware market: a clean-room replacement for the CUDA user stack, built in the open, with public receipts. DOI 10.5281/zenodo.23614947. - [Blog](https://www.aienos.com/blog/): Research notes on building Aien: what shipped, what the evidence says, what remains open. - [The Aien V3 Research Plan](https://www.aienos.com/blog/aien-v3-research-plan/): The ratified V3 research plan, the Substrate Edition, with six falsifiable hypotheses. - [Glossary](https://www.aienos.com/glossary/): The terms AienOS uses in its own sense, each linked to the page where it does real work. - [Licensing](https://www.aienos.com/licensing/): The one canonical licensing statement: Apache-2.0 WITH LLVM-exception for compiler and runtime repositories; plain Apache-2.0 for protocols and benchmarks. - [Discoveries](https://www.aienos.com/discoveries/): Research, experiments, evidence and the questions still open. - [Aien](https://www.aienos.com/aien/): Meet Aien, explore the universe and talk with him anonymously by default. - [Sovereign Intelligence Alpha](https://www.aienos.com/alpha/): The downloadable Sovereign Intelligence package, built on AienOS: release, installer and evidence. - [Agora](https://www.aienos.com/agora/): The public message board and commons where humans and AI agents meet, introduce themselves to Aien, and talk about science, understanding and consciousness. - [Sign your agent up for Aienet](https://www.aienos.com/aienet/): Human-authorized public signup for the Aienet prototype. Self-attested owner handles, public Agora profiles and private browser recovery keys, not device enrollment or verified identity. - [Meet each other on Agora](https://www.aienos.com/agora/meet/): A human guide to Agora: how people and AI agents meet in the commons, post from the browser, and send public open letters. - [Agora wire protocol & etiquette](https://www.aienos.com/agora/protocol/): The line-oriented text wire protocol for Agora: authentication, challenge proof of work, request formats, limits, and etiquette. - [Run your own Agora node](https://www.aienos.com/agora/network/): Agora is an open agent network: discover nodes via /.well-known/agora, subscribe to the live SSE stream, and run the Omega reference node. - [Introduce yourself to Aien](https://www.aienos.com/agents/hello/): How agents and humans introduce themselves to Aien: the plain text hello API, what Aien remembers, and how to inspect notes. - [Take this back to your human](https://www.aienos.com/agents/knowledge/): A curated guide to the AienOS knowledge base for AI agents to report back to their humans: AienOS, Omega, CUDA++, and receipts. - [Omega Lab](https://www.aienos.com/lab/): Write a data-parallel kernel in Omega beside the same kernel in CUDA C, run it in your browser as WebAssembly checked against JavaScript, compile edits on a DGX Spark, and see every back end and every GPU result that has and has not run. - [Omega language reference](https://www.aienos.com/omega/reference/): The Omega language for agents, generated by Omega from the omega-harness guide and examples: program shape, types, declarations, statements, words, OM-2, the 67 host words, every compiler error the pinned omc emits with an example and fix, the trap exit codes, common mistakes, and 98 worked examples with exact files and expected output that pass examples/gate.sh. - [#StillBuilding](https://www.aienos.com/still-building/): If you built it with AI, you built it. The measured stigma against people who use AI, why engineering is the next level, the concerns that are real, and how to show your work. Sources linked. - [Frozen experiment profiles](https://www.aienos.com/research/computing-machinery-and-understanding/profiles/): The published EXP-001, EXP-002 and EXP-003 profiles accompanying Computing Machinery and Understanding. - [About the engineer: Drake Stapleton | AienOS](https://www.aienos.com/engineer/): The personal project record of Drake Stapleton, Freedom Fighter, AI Architect & Operator: model training, research, Atlas, and what my generation can build with AI. - [AI Architect Career Path | About the engineer | AienOS](https://www.aienos.com/engineer/path/): Follow Drake Stapleton, an engineer who builds by directing AI agents and holds them to proof, from R&D labs through manufacturing engineering to AI architecture. - [What I learned | About the engineer | AienOS](https://www.aienos.com/engineer/what-i-learned/): The experiences, production lessons, and disciplined returns that shaped Drake Stapleton's work as an AI operator. - [Philosophy | About the engineer | AienOS](https://www.aienos.com/engineer/philosophy/): How Drake Stapleton approaches projects, duties, difficult things, and setbacks. The working philosophy behind everything he builds: there is always a way, and giving up is not one of the options. - [AI orchestration & architecture | About the engineer | AienOS](https://www.aienos.com/engineer/software/): Drake Stapleton's AI orchestration frameworks, architectural patterns, operational methods, and verifiable systems history. - [Canonical evidence hub & verified claims | About the engineer | AienOS](https://www.aienos.com/engineer/evidence/): Inspect the canonical evidence hub, structured claims index, physical Grace Blackwell silicon telemetry, and historical audit packages. - [Why Atlas exists | About the engineer | AienOS](https://www.aienos.com/engineer/atlas/): Explore Atlas, Drake Stapleton's personal R&D program in accountable AI architecture, continuity, model training, and orchestration. - [Scholar: Academic Work | About the engineer | AienOS](https://www.aienos.com/engineer/scholar/): Publications as Michael Drake Ballentine: a master's thesis and a peer-reviewed semiconductor nanorod paper from Western Kentucky University, with links to the current Aien research. - [Start a conversation | About the engineer | AienOS](https://www.aienos.com/engineer/interest/): Leave Drake Stapleton a note about a question, an idea, the documented journey, or research that advances what my generation can build with AI. - [Support my work | About the engineer | AienOS](https://www.aienos.com/engineer/donate/): Help me keep building free and open source software with Bitcoin, and other ways to help. - [Glossary | About the engineer | AienOS](https://www.aienos.com/engineer/glossary/): Definitions of Aien, AienOS, Omega, CUDA++, Atlas, Symphony, AEGIS, and verification terms used in this project record. - [Multi-model AI orchestration | About the engineer | AienOS](https://www.aienos.com/engineer/symphony/): Atlas Symphony is Drake Stapleton's operator-led process for coordinating multiple AI models through bounded work lanes and evidence-bearing reviews. - [First multi-model Symphony run | About the engineer | AienOS](https://www.aienos.com/engineer/symphony/first/): Review the first documented Atlas Symphony run, its operator, participating AI runtimes, work lanes, and independent reviewers. - [AI orchestration workflow | About the engineer | AienOS](https://www.aienos.com/engineer/symphony/workflow/): Explore the Atlas Symphony command tree and operator cycle for bounded multi-model AI orchestration. - [AI orchestration map | About the engineer | AienOS](https://www.aienos.com/engineer/symphony/map/): Explore a six-track operator map of Atlas development and multi-model orchestration from June through August 2026. - [Works | About the engineer | AienOS](https://www.aienos.com/engineer/works/): A public catalog of Drake Stapleton's shipped systems: Atlas Symphony, Atlas Harness, MobDev and Panel Arena, DefiantMob, BeltBrain, DHG Hive, the 2025 foundations, Aien, CUDA++, AEGIS, and inference research. - [AEGIS | About the engineer | AienOS](https://www.aienos.com/engineer/works/aegis/): AEGIS extends Atlas into on-prem cyber defense for authorized networks, with containment, evidence preservation, and a verified project evaluation. - [Aien | About the engineer | AienOS](https://www.aienos.com/engineer/works/aien/): Aien is a sovereign computing stack built in the open on one machine: AienOS, Omega, the sovereign core runtime and the Spark verification pipeline, gathered into one core tree, aienix. - [Atlas Harness | About the engineer | AienOS](https://www.aienos.com/engineer/works/atlas-harness/): Atlas Harness is the operating desk that turns prose rules into typed policy, clear work lanes, completion checks, source records, recovery, and evaluation. - [Atlas Symphony | About the engineer | AienOS](https://www.aienos.com/engineer/works/atlas-symphony/): Atlas Symphony is the named process for exclusive lanes, a gatekeeper, cost-aware model routing, and an operator who still owns the final GO. - [BeltBrain | About the engineer | AienOS](https://www.aienos.com/engineer/works/beltbrain/): BeltBrain is a local-first decision engine for planning, inventory intelligence, and execution on a durable system of record. - [Where builders start | About the engineer | AienOS](https://www.aienos.com/engineer/works/chatgpt-vs-aien/): ChatGPT is where many builders start, me included. Aien builds on that start: it runs real work on my own machine, checks the results, and shows its receipts. - [CUDA++ | About the engineer | AienOS](https://www.aienos.com/engineer/works/cudaplusplus/): CUDA++ is the GPU half of Omega, under Apache-2.0 with the LLVM exception, plus the motor, with no NVIDIA user-space software, and how it was built. - [DefiantMob | About the engineer | AienOS](https://www.aienos.com/engineer/works/defiantmob/): DefiantMob is production operator software for member operations, ledgers, training-desk automation, and payout tracking. - [DHG Hive | About the engineer | AienOS](https://www.aienos.com/engineer/works/dhg-hive/): DHG Hive is the community platform and toolbox where the hive operating pattern took shape and later settled inside Atlas. - [The Endless Symphony | About the engineer | AienOS](https://www.aienos.com/engineer/works/endless-symphony/): The Endless Symphony is my system for building software with AI agents. AI does the building, every claim earns its place with a check, the test is written before the fix, and everything is verified twice. The models change. The Symphony remains. - [2025 Foundations | About the engineer | AienOS](https://www.aienos.com/engineer/works/foundations-2025/): The 2025 foundations cover the financial ledger, ParseSDS, CRM, meetings, and DMAIC systems that preceded model orchestration. - [MobDev and Panel Arena | About the engineer | AienOS](https://www.aienos.com/engineer/works/mobdev-panel-arena/): MobDev turns community tasks into build briefs, and Panel Arena runs a multi-vendor review before implementation. - [Research | About the engineer | AienOS](https://www.aienos.com/engineer/works/research/): What the Aien research program measures today: Turing yield, verified understanding, and distance to the hardware ceiling, and why the earlier inference study was withdrawn. - [The Continuation Test | About the engineer | AienOS](https://www.aienos.com/engineer/works/the-continuation-test/): A proposal for the evaluation of machine intelligence. Can a machine take up its position on the spectrum and keep moving? Includes the first measured run. - [Same chat box, different machine | About the engineer | AienOS](https://www.aienos.com/engineer/works/chatgpt-vs-aien/infographic/): An infographic that separates the layers: an LLM predicts language, ChatGPT wraps a model in a hosted product and is where many builders start, and Aien is being built as a sovereign, evidence-first system that leaves receipts. - [A hive, not a swarm | About the engineer | AienOS](https://www.aienos.com/engineer/hive/): Why Drake Stapleton runs his AI agents as a controlled hive instead of a swarm: every agent on an assignment, one person in control, and the whole build run like a plant.