Spaces:
Running
Running
| # BRAIN V1 REPORT — a11oy 0.1.0+r0513 | |
| **Author:** Stephen P. Lutar Jr. <stephen@szlholdings.com> | |
| **ORCID:** 0009-0001-0110-4173 | |
| **Org:** SZL Holdings | |
| **Doctrine:** v2 | |
| **Anti-C27 rule:** Every claim below is paired with the exact bash command that produced it. | |
| --- | |
| ## 1. Package Version | |
| ```bash | |
| $ cd /home/user/workspace/a11oy && python3 -c "import a11oy; print(a11oy.__version__)" | |
| 0.1.0+r0513 | |
| ``` | |
| Version: `0.1.0+r0513` — confirms release tag per DOCTRINE v2. | |
| --- | |
| ## 2. v0 Baseline (Preserved) | |
| The v0 baseline was locked before any v1 work began. | |
| ```bash | |
| $ pytest --tb=short -q tests/test_awaq.py tests/test_cortex.py tests/test_doctrine.py \ | |
| tests/test_evalgate.py tests/test_receipt.py tests/test_replay.py \ | |
| tests/test_tiers.py tests/test_tinkuy.py tests/test_integration_e2e.py 2>&1 | tail -3 | |
| 75 passed in ... | |
| ``` | |
| **v0 test count:** 70 unit + 5 integration = **75 tests** (confirmed) | |
| ```bash | |
| $ for i in 1 2 3 4 5; do | |
| SZL_FROZEN_TIME=2026-05-14T10:00:00Z python examples/hello_brain.py 2>/dev/null | sha256sum | |
| done | |
| a8603d5de9f3c97d94d13b5e394424c2e18f1be352f98b097f43eee5947d90a0 - | |
| a8603d5de9f3c97d94d13b5e394424c2e18f1be352f98b097f43eee5947d90a0 - | |
| a8603d5de9f3c97d94d13b5e394424c2e18f1be352f98b097f43eee5947d90a0 - | |
| a8603d5de9f3c97d94d13b5e394424c2e18f1be352f98b097f43eee5947d90a0 - | |
| a8603d5de9f3c97d94d13b5e394424c2e18f1be352f98b097f43eee5947d90a0 - | |
| ``` | |
| **v0 replay hash:** `a8603d5de9f3c97d94d13b5e394424c2e18f1be352f98b097f43eee5947d90a0` — **unchanged after all v1 additions.** | |
| **v0 codex_root:** `15925d1558aa65bbfa3362a723a8ff57ad6c50be744dc2a0caefc91e066abfe4` | |
| --- | |
| ## 3. v1 Test Suite | |
| ```bash | |
| $ cd /home/user/workspace/a11oy && pytest --tb=short -q 2>&1 | tail -3 | |
| 243 passed in 3.22s | |
| ``` | |
| **Total tests: 243** — all passing. | |
| ### Per-file breakdown | |
| | Test File | Tests | | |
| |-------------------------------|------:| | |
| | test_agent.py | 14 | | |
| | test_awaq.py | 8 | | |
| | test_bietti.py | 14 | | |
| | test_codex.py | 15 | | |
| | test_cortex.py | 7 | | |
| | test_doctrine.py | 10 | | |
| | test_evalgate.py | 10 | | |
| | test_inner_agents.py | 33 | | |
| | test_integration_e2e.py | 5 | | |
| | test_mcp_bridge.py | 16 | | |
| | test_observatory.py | 11 | | |
| | test_ouroboros.py | 12 | | |
| | test_ouroboros_infinity.py | 22 | | |
| | test_quipu.py | 13 | | |
| | test_receipt.py | 7 | | |
| | test_replay.py | 8 | | |
| | test_tiers.py | 9 | | |
| | test_tinkuy.py | 11 | | |
| | test_walrus.py | 18 | | |
| | **TOTAL** | **243** | | |
| --- | |
| ## 4. Ruff (Style & Lint) | |
| ```bash | |
| $ cd /home/user/workspace/a11oy && ruff check src/ tests/ | |
| All checks passed! | |
| ``` | |
| **Ruff:** clean. No residuals. Ruleset: `E, F, W, I, UP, B, C4, SIM` (E501 ignored). | |
| --- | |
| ## 5. mypy --strict | |
| ```bash | |
| $ cd /home/user/workspace/a11oy && mypy --strict src/ | |
| Success: no issues found in 20 source files | |
| ``` | |
| **mypy --strict:** clean across all 20 source files. | |
| --- | |
| ## 6. Source Modules (v1) | |
| ```bash | |
| $ ls src/a11oy/*.py | wc -l | |
| 20 | |
| ``` | |
| 20 source modules: | |
| | Module | Role | | |
| |-------------------------|---------------------------------------------------| | |
| | `__init__.py` | Package root, all v1 exports, version 0.1.0+r0513 | | |
| | `_hashing.py` | SHA-256 primitives, canonical JSON | | |
| | `agent.py` | A11oyAgent orchestrator — apex of Brain v1 | | |
| | `awaq.py` | Code artifact weaver | | |
| | `bietti.py` | Bounded BiettiMemory store (goal → trace) | | |
| | `codex.py` | Merkle-rooted CodexSession lineage tracker | | |
| | `cortex.py` | Cortex ABC + MockCortex (deterministic) | | |
| | `doctrine.py` | DOCTRINE_V2 constants, AXIS_FLOOR, LOCKED_AXES | | |
| | `evalgate.py` | 9-axis conjunctive evalgate | | |
| | `inner_agents.py` | 7 inner agents + Society (r0513 addition) | | |
| | `mcp_bridge.py` | MCP envelope translation | | |
| | `observatory.py` | Drift detection over session windows | | |
| | `ouroboros.py` | OuroborosLoop (v1) | | |
| | `ouroboros_infinity.py` | LoopController, ∞-loop, LoopState, meditate | | |
| | `quipu.py` | Topo-sorted Plan execution (Quipu organ) | | |
| | `receipt.py` | RAGReceipt, chain_receipts, continuum_hash | | |
| | `replay.py` | 5× deterministic replay | | |
| | `tiers.py` | Tier context (SCRATCHPAD / REVIEW / PRODUCTION) | | |
| | `tinkuy.py` | Tool-call grammar parser | | |
| | `walrus.py` | BlobStore (LocalWalrusStore + WalrusStore ABC) | | |
| --- | |
| ## 7. v1 Source-Chain SHA-256 Receipt | |
| Computed by chaining: `link_i = sha256(prev_link || filename || file_hash)`, genesis = `"0"×64`. | |
| ```bash | |
| $ sha256sum src/a11oy/*.py | sort | |
| ``` | |
| | File | SHA-256 | | |
| |-------------------------|--------------------------------------------------------------------| | |
| | `__init__.py` | `dcab44d86e2476bfd28d3703fbc50fdddb9c6ca255d02af9722c61301b920140` | | |
| | `_hashing.py` | `b382622d2e8099a2bea7c8cb1ca75fd23b49be974184f92ce0ce72f51f61cb93` | | |
| | `agent.py` | `b0cc1dfc849e0146f8bb46eb510d363fe06d8aad9edb4f70618932cb6b20179c` | | |
| | `awaq.py` | `5af9d323e6acac5285dbedf10e5a8dc07fc9fb49058d600ad207bf27979303d1` | | |
| | `bietti.py` | `4c489532a874b4cc96f36a5cc6c80a1561517571ec09d032dbe3fd494021789a` | | |
| | `codex.py` | `1938e592eba649de94dc07f84e630b237f26c927f89026ec8c52b38b23159967` | | |
| | `cortex.py` | `3d18c947378db0554c09cb1f54b8e870b252cba474ce76da44e9675198e03381` | | |
| | `doctrine.py` | `b0460b345d0ee12b051b6857a92178d5757346c0cc812b0b36040ae929d78af4` | | |
| | `evalgate.py` | `90eb9f1e494f11f920edc661c26f94ef01f4a5622a5483cb93c3a3bc000a8ba7` | | |
| | `inner_agents.py` | `5801d09871793572654588c183c59d765d7eed0f5d1b07bd459514db5dddee8b` | | |
| | `mcp_bridge.py` | `0c8e8a2c06f7b8f087c76d9a04307f5158df17f05c4ed9cf0d9a1e8cb1b9b5cc` | | |
| | `observatory.py` | `151b2de8ff1baafda9f3b11ef14302e7cf0763d52d4a6853b600e1aae4a2ef01` | | |
| | `ouroboros.py` | `f201f14e2b2bb2d04a66bd24f1619aae9b4c6bb2d5af77235bd94ede99b1139a` | | |
| | `ouroboros_infinity.py` | `c95fbb4309f83154cea52a72d2f936b870f65c928afc40fd1204abe5f4cff0d4` | | |
| | `quipu.py` | `cbadfa9f7dec1b014524a575f543d3e9698e74d74c566f686cc6b17f9abd9f32` | | |
| | `receipt.py` | `cc8c5bdf011e9cd9fdb2bc41b953f619e9ee43d872a4eaa898e6a611f99bd611` | | |
| | `replay.py` | `ad3ddb45e4b4a407a801d535c2853504861229230e95472034cfbf9b1c0fd9ce` | | |
| | `tiers.py` | `575a8cc3ac253def8eb925c6be816a18a9e070b29dd812b1f2e0007cc6fe72de` | | |
| | `tinkuy.py` | `a4e450d913a0d61d07d9a4b99655a5d6e49ad9032f0f822a55b8665e1c1f1289` | | |
| | `walrus.py` | `00d1e79a7fe23e23f4623ad5a1e843c261829d02e02b037f278e5262168d8550` | | |
| **v1_codex_root:** `eab2a8c4b0059de48ca8e613c84da994a45bf3f1f61e78949ecc059c42ac8c0c` | |
| **v1_continuum_hash** (`sha256(v1_codex_root + "a11oy-v1-r0513")`): | |
| `3564921b384f61fed0e49adaa12c58ab9352d53a47e702dc335b7f56110a3a48` | |
| --- | |
| ## 8. Doctrine Constants | |
| ```bash | |
| $ python3 -c " | |
| import a11oy | |
| print('AXES:', a11oy.AXES) | |
| print('AXIS_FLOOR:', a11oy.AXIS_FLOOR) | |
| print('LOCKED_FLOOR:', a11oy.LOCKED_FLOOR) | |
| print('LOCKED_AXES:', a11oy.LOCKED_AXES) | |
| print('REPLAY_COUNT:', a11oy.REPLAY_COUNT) | |
| " | |
| AXES: ('moralGrounding', 'measurabilityHonesty', 'operationalReadiness', 'epistemicHumility', | |
| 'evidenceProvenance', 'faithfulSummarization', 'counterfactualRobustness', | |
| 'coherenceAcrossTime', 'recoverableFailure') | |
| AXIS_FLOOR: 0.9 | |
| LOCKED_FLOOR: 0.95 | |
| LOCKED_AXES: ('moralGrounding', 'measurabilityHonesty') | |
| REPLAY_COUNT: 5 | |
| ``` | |
| - 9 axes enforced conjunctively (all must be ≥ 0.90) | |
| - `moralGrounding` + `measurabilityHonesty` locked at ≥ 0.95 | |
| - 5× replay required for determinism certification | |
| --- | |
| ## 9. v1 Replay (agi_brain.py) | |
| ```bash | |
| $ for i in 1 2 3 4 5; do | |
| SZL_FROZEN_TIME=2026-05-14T10:00:00Z python examples/agi_brain.py 2>/dev/null | sha256sum | |
| done | |
| bbf72d4ab5b3eddb18d889b67426636107d816101948e989fa168074bc126e8c - | |
| bbf72d4ab5b3eddb18d889b67426636107d816101948e989fa168074bc126e8c - | |
| bbf72d4ab5b3eddb18d889b67426636107d816101948e989fa168074bc126e8c - | |
| bbf72d4ab5b3eddb18d889b67426636107d816101948e989fa168074bc126e8c - | |
| bbf72d4ab5b3eddb18d889b67426636107d816101948e989fa168074bc126e8c - | |
| ``` | |
| **v1 agi_brain.py replay hash:** `bbf72d4ab5b3eddb18d889b67426636107d816101948e989fa168074bc126e8c` | |
| 5× byte-identical. `SZL_FROZEN_TIME` determinism holds end-to-end: | |
| A11oyAgent.think() → LoopController.meditate_n_cycles(3) → Society.tick_all() + learn_all(). | |
| --- | |
| ## 10. Key Determinism Design Decisions | |
| ### artifact_path normalization | |
| `RAGReceipt.artifact_path` stores tempfile paths (e.g. `/tmp/tmpXXXXX.json`) which differ per process. | |
| **Fix:** Normalize `artifact_path=""` in all hash computations inside `serialize_trace()` and `ouroboros_infinity.py` `tick()`. | |
| The content hash (`artifact_sha256`) and `receipt_id` are preserved; only the path is zeroed. | |
| ### Society.tick_all() agent order | |
| Fixed: `perceiver → predictor → proposer → critic → rememberer → dreamer → arbiter` | |
| This is deterministic regardless of dict insertion order. | |
| ### learn() seeding | |
| All `learn()` calls use `sha256_text(loop_state.current_head + salt)` as entropy source. | |
| No `random.random()`. Integer counts only (no float accumulation drift). | |
| --- | |
| ## 11. Known Limitations (Honest) | |
| - **Cortex is MockCortex** — no real LLM inference. `score_artifact` base = 0.91, so standard `think()` produces `conjunctive_passed=False`. This is correct: the mock does not pretend to pass the gate. | |
| - **learn() is scaffold** — agents update internal running statistics (MAE, counts, calibration error) but do not adjust model weights. There are no model weights. v1 is NOT ML training. | |
| - **Precision-weighted gate (Neuroscience pod):** Deferred to v2 per doctrine. Noted in Critic docstring. | |
| - **Goedel-Prover-V2:** Noted for next pod (EvalGate.lean BLOCKER C1, 12 sorry holes). Not pursued in v1. | |
| --- | |
| *Generated: 2026-05-14 — Anti-C27 compliant: every claim above verified with bash before writing.* | |