{
  "as_of": "2026-10-01",
  "source_table": "AIEN research status table (consolidated), generated 2026-10-01 by SCOUT (LT-TRUTH)",
  "source_commits": {
    "omega": "38919c8",
    "aienos": "4a116e5",
    "aien_architecture": "8d24c6d",
    "aienos_com": "d43200c"
  },
  "evidence_hierarchy": "code > tests > receipts > frozen profiles > qualification records > docs > website prose",
  "abbreviations": [
    { "short": "QS", "long": "omega docs/turing/TURING_SCIENTIFIC_QUALIFICATION_STATE.md" },
    { "short": "TY2", "long": "omega docs/turing/TURING_YIELD_TY2_RESULT.md" },
    { "short": "explainer", "long": "aien-architecture explainer (#67)" }
  ],
  "caveats": [
    "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."
  ],
  "turing_definition": "The Turing measures net held-out explanatory compression: one operational component of machine understanding.",
  "allowed_statuses": ["PASS", "FAIL", "INCOMPLETE", "BLOCKED", "PARTIAL", "NOT ESTABLISHED", "NOT STARTED"],
  "allowed_ladder_states": ["achieved", "partial", "not achieved", "not attempted"],
  "allowed_classes": ["Implemented", "Partially implemented", "Experimental", "Planned", "Research hypothesis"],
  "current_level": {
    "level": "L2",
    "summary": "L2, Brownian scope only, instrument certification",
    "outside_scope": "Outside Brownian scope the ceiling is L1.",
    "note": "TY-2 does not change the ceiling.",
    "meaning": "The scorer behaves as specified on known stochastic cases. It does not mean AIEN discovered anything.",
    "limitations": "L2 verdicts were checked against the private sealed records on 2026-10-01; the records stay private.",
    "evidence": "QS sections 1 and 6; QS:114-115; QS written at 62f5ba5, updated at 8a56ace, reconciled 07004a8; main 38919c8"
  },
  "ladder": [
    { "level": "L0", "name": "Definition", "state": "achieved", "detail": "Achieved", "basis": "QS:101 \"met\"; definition only" },
    { "level": "L1", "name": "Compression bridge, EXP-001R", "state": "achieved", "detail": "Achieved (tested regime, amended overlap gate, unsigned)", "basis": "QS:102; EXP-001R final_receipt.json" },
    { "level": "L2", "name": "Known stochastic structure, EXP-002A-B-C", "state": "achieved", "detail": "Achieved for Brownian scope only, as instrument certification; verdicts checked against the private sealed records on 2026-10-01", "basis": "QS:103, QS:114" },
    { "level": "L3", "name": "Invariant or unifying structure", "state": "not achieved", "detail": "Not achieved (interventional replication PASS, EXP-002D INCOMPLETE)", "basis": "QS:104" },
    { "level": "L4", "name": "Active experimental choice, EXP-003", "state": "not achieved", "detail": "Not achieved (blocked, not frozen)", "basis": "QS:105" },
    { "level": "L5", "name": "Energy attribution", "state": "partial", "detail": "Partial (protocol and fixture tests; no timed run)", "basis": "QS:106" },
    { "level": "L6", "name": "Turing yield T/J", "state": "not achieved", "detail": "Not achieved (blocked on L5)", "basis": "QS:107" },
    { "level": "L7+", "name": "Sensitivity, replication, multiple domains", "state": "not attempted", "detail": "Not attempted (L7, L8, L9)", "basis": "QS:108-110" }
  ],
  "attempts": [
    {
      "id": "EXP-001",
      "beside": "L1",
      "outcome": "FAIL",
      "summary": "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"
    }
  ],
  "turing_rows": [
    {
      "id": "CAL-0",
      "title": "CAL-0 calibration freeze",
      "status": "PASS",
      "status_detail": "PASS (freeze receipt TURING_PROFILE_V1_FROZEN=PASS) for EXP-001R; EXP-001 v1.0 freeze also passed, then its experiment failed",
      "plain": "The measuring apparatus was locked down before any data was scored, so the rules could not be bent after the fact.",
      "scope": "freeze of apparatus, profile v1.1, candidates, blinding",
      "claim_level": "none by itself (precondition)",
      "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",
      "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"
    },
    {
      "id": "EXP-001",
      "title": "EXP-001 compression bridge, first attempt",
      "status": "FAIL",
      "status_detail": "FAIL, terminal (S2 overlap audit; S1 and S3-S9 NOT_REACHED)",
      "plain": "The first attempt failed its own overlap check, so it produced no measurement. The failure is kept on the record.",
      "scope": "compression bridge, first attempt",
      "claim_level": "none (no measurement produced)",
      "receipt": "calibration/experiments/EXP-001/final_receipt.json, overlap_audit.json",
      "commit": "result d5c97ce9, PR #95 e605a585",
      "date": "2026-09-30",
      "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"
    },
    {
      "id": "EXP-001R",
      "title": "EXP-001R compression bridge, successor",
      "status": "PASS",
      "status_detail": "PASS (S1-S9; EXP_001_COMPRESSION_BRIDGE=PASS)",
      "plain": "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": "successor, profile v1.1, two sealed groups 6,168,907 + 6,199,000 events (12,367,907 total)",
      "claim_level": "L1",
      "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",
      "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"
    },
    {
      "id": "TY-2",
      "title": "TY-2 Turing gain",
      "status": "PASS",
      "status_detail": "PASS (verdict=PASS)",
      "headline": "2,559,679.825 bits of Turing gain",
      "not_yield": "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.",
      "plain": "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": "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)",
      "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",
      "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"
    },
    {
      "id": "EXP-002A",
      "title": "EXP-002A Brownian Wave 1",
      "status": "PASS",
      "status_detail": "PASS (Brownian Wave 1, sealed)",
      "plain": "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": "scorer certification on known stochastic cases; PASS under a successor profile (first profile BLOCKED)",
      "claim_level": "contributes to L2",
      "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",
      "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"
    },
    {
      "id": "EXP-002B",
      "title": "EXP-002B Brownian Wave 1",
      "status": "PASS",
      "status_detail": "PASS without its Occam curve; Occam curve PASS separately under v1.3",
      "plain": "Passed, with its Occam curve passing separately under a later profile. Verdict checked against the private sealed records on 2026-10-01.",
      "scope": "scorer certification on known stochastic cases; PASS under a successor profile (first profile BLOCKED)",
      "claim_level": "contributes to L2",
      "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",
      "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"
    },
    {
      "id": "EXP-002C",
      "title": "EXP-002C Brownian Wave 1",
      "status": "PASS",
      "status_detail": "PASS under v1.2; repeated PASS on fresh sealed worlds under v1.3",
      "plain": "Passed, then passed again on fresh sealed worlds. Verdict checked against the private sealed records on 2026-10-01.",
      "scope": "scorer certification on known stochastic cases; PASS under a successor profile (first profile BLOCKED)",
      "claim_level": "contributes to L2",
      "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",
      "limitations": "Not publicly reproducible until BRN-10 seals; erratum changed record text, no verdict",
      "next_dependency": "BRN-10 seal",
      "evidence": "QS:26; explainer:30"
    },
    {
      "id": "EXP-002D",
      "title": "EXP-002D hostile rules",
      "status": "INCOMPLETE",
      "status_detail": "INCOMPLETE",
      "plain": "One hostile rule could not be evaluated with the Wave 1 prediction format. No wrong verdicts on the rules that were evaluated.",
      "scope": "one hostile rule not evaluable with the Wave 1 prediction format; 0 wrong verdicts on rules evaluated",
      "claim_level": "L3 not met",
      "receipt": "aien-sealed (not read)",
      "commit": "none",
      "date": "2026-09-30",
      "limitations": "Wave 1 format cannot evaluate that rule",
      "next_dependency": "Wave 2 contract",
      "evidence": "QS:27, QS:105; explainer:31,49"
    },
    {
      "id": "EXP-003",
      "title": "EXP-003 active experimental choice",
      "status": "BLOCKED",
      "status_detail": "BLOCKED, not frozen",
      "plain": "Not run. Its contract is still a draft and must wait for the Brownian records to be sealed.",
      "scope": "active experimental choice (protocol section near .tex line 760)",
      "claim_level": "L4 not met",
      "receipt": "none",
      "commit": "none",
      "date": "n/a",
      "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"
    },
    {
      "id": "ENERGY-ATTRIBUTION",
      "title": "Physical energy attribution (H4)",
      "status": "PARTIAL",
      "status_detail": "PARTIAL: protocol pre-registered, code and fixture tests only, no timed run",
      "plain": "The plan for measuring energy is written down and the code has fixture tests, but no timed run on real hardware has happened.",
      "scope": "TY energy attribution stages 1 and 2",
      "claim_level": "L5 partial",
      "receipt": "none (no energy file under evidence/)",
      "commit": "protocol 99c1f696; boundaries 4386897f; PR #86 071a1e17",
      "date": "2026-09-29",
      "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"
    },
    {
      "id": "TURING-YIELD-TJ",
      "title": "Turing yield T/J (H5 physical part)",
      "status": "NOT STARTED",
      "status_detail": "NOT STARTED (blocked on H4)",
      "plain": "Turings per joule cannot be computed until energy is measured, so this has not started.",
      "scope": "n/a",
      "claim_level": "L6 not met",
      "receipt": "none",
      "commit": "none",
      "date": "n/a",
      "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"
    },
    {
      "id": "BROWNIAN-CEILING",
      "title": "Brownian claim ceiling",
      "status": "PARTIAL",
      "status_detail": "L2 only, instrument certification; L3 not met",
      "plain": "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": "Brownian scope",
      "claim_level": "L2",
      "receipt": "n/a",
      "commit": "n/a",
      "date": "2026-10-01",
      "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"
    },
    {
      "id": "GENERAL-DISCOVERY",
      "title": "General scientific discovery claim",
      "status": "NOT ESTABLISHED",
      "status_detail": "NOT ESTABLISHED",
      "plain": "No general claim of scientific discovery is made. Outside the Brownian scope the ceiling stays at L1.",
      "scope": "all",
      "claim_level": "none; outside Brownian scope the ceiling stays L1",
      "receipt": "none",
      "commit": "none",
      "date": "n/a",
      "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"
    }
  ],
  "implementation_rows": [
    { "id": "Resident World / reactions", "class": "Implemented", "status_detail": "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", "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", "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" },
    { "id": "Lifecycle modeling", "class": "Implemented", "status_detail": "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", "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", "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" },
    { "id": "State-space exploration", "class": "Implemented", "status_detail": "Implemented (bounded)", "scope": "BFS over reachable model states, shortest violation trace", "claim_level": "test code, not shipped runtime", "receipt": "via make test-proof; counterexample replays I2, I4 in world_diff.c", "commit": "0d8b057", "date": "n/a", "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" },
    { "id": "Differential checking", "class": "Implemented", "status_detail": "Implemented (host-only)", "scope": "AS_BUILT model vs real rx_world, all op sequences to depth N; TSan target", "claim_level": "host only", "receipt": "make test-proof logs; no committed receipt", "commit": "0d8b057", "date": "n/a", "limitations": "depth bounded; settled states only; visor/search differential unchecked", "next_dependency": "none stated", "evidence": "tests/model/world_diff.c:1-30,701-702" },
    { "id": "Semantic / program artifacts: program id", "class": "Implemented", "status_detail": "Implemented, narrow", "scope": "program identity v2 = canonical body + contract hash; unary u64 ADD/SUB/MUL/AND/OR chains", "claim_level": "narrow", "receipt": "tests/program/test_program_id.c; evidence/PROGRAM_ID/ (2 receipts)", "commit": "omega#75; 9d17fcc", "date": "2026-09-29", "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" },
    { "id": "Semantic / program artifacts: action graph IR", "class": "Implemented", "status_detail": "Implemented", "scope": "goal to typed graph to resident reactions; workflow fusion into MetaSkills", "claim_level": "host", "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", "limitations": "fusion means fewer reactions and CPU, not faster", "next_dependency": "none stated", "evidence": "src/runtime/rx_graph.h:181-196" },
    { "id": "Verification infrastructure", "class": "Implemented", "status_detail": "Implemented", "scope": "per-milestone gate scripts, content-addressed receipts, evidence immutability CI", "claim_level": "host", "receipt": "evidence/omega_verify_qualification_receipt.json; evidence/SHA256SUMS; .github/workflows/evidence-immutable.yml", "commit": "5c23ec9", "date": "n/a", "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" },
    { "id": "Search traces (M23)", "class": "Implemented", "status_detail": "Implemented (corpus half)", "scope": "records every candidate the program search touches; byte-identical replay; sealed holdout commitment", "claim_level": "corpus only", "receipt": "evidence/M23/receipts/m23-corpus-ee498211...json PASS (3072 steps, commit 12b4d6e)", "commit": "a0e59f4", "date": "n/a", "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" },
    { "id": "CEGIS", "class": "Partially implemented", "status_detail": "Partially implemented, unverified (treat as not established)", "scope": "only the word appears in synthesis path; no dedicated module or test found", "claim_level": "none", "receipt": "none", "commit": "none", "date": "n/a", "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" },
    { "id": "Bayesian cost prediction (belief/estimation)", "class": "Experimental", "status_detail": "Experimental", "scope": "Kalman filter, mixtures, predictors, v4 families vs recorded signals", "claim_level": "experimental", "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", "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" },
    { "id": "Capabilities / authority", "class": "Implemented", "status_detail": "Implemented (with conflict)", "scope": "capability roots, 64-bit generations, capability graph, skill router; aienos C authority with containment", "claim_level": "host", "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", "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" },
    { "id": "Evidence receipts", "class": "Partially implemented", "status_detail": "Partially implemented", "scope": "digest-named JSON receipts, run commit and dirty flag; aienos Rust evidence tool (capture, verify, rollback)", "claim_level": "partial", "receipt": "evidence/*.json; aienos ck_gates_*.json; 36 Rust tests in aienos-evidence", "commit": "5c23ec9", "date": "n/a", "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" },
    { "id": "Turing measurement machinery", "class": "Implemented", "status_detail": "Implemented (instrument); science partial", "scope": "field, selector, replay, compression stream (tc_*), Turing Yield units (ty_*) including energy attribution code", "claim_level": "instrument", "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", "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" },
    { "id": "Cortex components", "class": "Implemented", "status_detail": "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", "receipt": "tests/runtime/rx_cortex_canon.c; 2 Rust tests in aienos-cortex store.rs", "commit": "omega 00160d9 (M20)", "date": "n/a", "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" },
    { "id": "General causal discovery", "class": "Research hypothesis", "status_detail": "Research hypothesis", "scope": "none", "claim_level": "none", "receipt": "none", "commit": "none", "date": "n/a", "limitations": "grep \"causal discovery\" in omega: 0 hits; only \"causal crumbs\" (provenance)", "next_dependency": "n/a", "evidence": "omega grep" },
    { "id": "Full active experimentation", "class": "Research hypothesis", "status_detail": "Research hypothesis (blocked)", "scope": "appears only as EXP-003 spec", "claim_level": "none", "receipt": "none", "commit": "none", "date": "n/a", "limitations": "policy interface in protocol .tex:20,45,1281 only", "next_dependency": "EXP-003", "evidence": "QS:29" },
    { "id": "Equality saturation", "class": "Research hypothesis", "status_detail": "Research hypothesis", "scope": "none", "claim_level": "none", "receipt": "none", "commit": "none", "date": "n/a", "limitations": "only prior-art text, no e-graph code", "next_dependency": "n/a", "evidence": "docs/turing/TURING_PRIOR_ART_MATRIX.md:25,55,147" },
    { "id": "General representation discovery", "class": "Research hypothesis", "status_detail": "Research hypothesis", "scope": "none", "claim_level": "none", "receipt": "none", "commit": "none", "date": "n/a", "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" },
    { "id": "SUSY / Zeta rediscovery", "class": "Research hypothesis", "status_detail": "Research hypothesis", "scope": "none", "claim_level": "none", "receipt": "none", "commit": "none", "date": "n/a", "limitations": "0 hits in omega", "next_dependency": "n/a", "evidence": "omega grep" },
    { "id": "Full Physics Zero", "class": "Planned", "status_detail": "Planned", "scope": "specification and plan only; M35 PHYSICS_ZERO_REAL_LAB PLANNED; no AIEN-P0 clean lineage", "claim_level": "none", "receipt": "none", "commit": "none", "date": "n/a", "limitations": "README.md:30 lists it as spec/plan only", "next_dependency": "M35", "evidence": "README.md:30; QS:92; architecture ROADMAP.md:74" },
    { "id": "Self-accelerating RSI via measured abstraction", "class": "Planned", "status_detail": "Planned (doctrine term)", "scope": "no code symbol", "claim_level": "none", "receipt": "none", "commit": "none", "date": "n/a", "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" },
    { "id": "Dirac (DIRAC-0 and sealed exam ladder)", "class": "Planned", "status_detail": "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", "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", "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" },
    { "id": "AEGIS", "class": "Implemented", "status_detail": "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)", "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", "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)" },
    { "id": "ARGUS (ARGUS-0, ARGUS-1)", "class": "Partially implemented", "status_detail": "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", "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", "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" },
    { "id": "FORGE (v1 and V2)", "class": "Partially implemented", "status_detail": "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", "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", "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" },
    { "id": "ATLAS (M1 ATLAS_BOOT and roadmap)", "class": "Implemented", "status_detail": "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", "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", "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" },
    { "id": "Typed result contracts", "class": "Implemented", "status_detail": "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", "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", "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" }
  ]
}