568: core architecture schematic

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01UhhZMBTviDQxZvwnyP89fo

.cargo/config.toml

@@ -1,2 +0,0 @@
-[alias]
-xtask = "run --package xtask --"

.github/workflows/ci.yml

@@ -1,122 +0,0 @@
-name: CI
-
-on:
-  pull_request:
-  push:
-    branches: [main]
-  schedule:
-    # Nightly: the heavy tests on main.
-    - cron: '23 3 * * *'
-  workflow_dispatch:
-
-permissions:
-  contents: read
-
-concurrency:
-  group: ci-${{ github.ref }}
-  cancel-in-progress: ${{ github.event_name == 'pull_request' }}
-
-env:
-  CARGO_TERM_COLOR: always
-
-jobs:
-  # Pull requests that only touch Markdown or docs/ skip the build jobs (they still report, as
-  # skipped). Pushes to main and manual runs always run everything.
-  changes:
-    name: Select checks
-    runs-on: ubuntu-24.04
-    outputs:
-      code: ${{ steps.paths.outputs.code }}
-    steps:
-      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
-        with:
-          fetch-depth: 0
-      - id: paths
-        name: Detect code changes
-        env:
-          EVENT_NAME: ${{ github.event_name }}
-          BASE_SHA: ${{ github.event.pull_request.base.sha }}
-          HEAD_SHA: ${{ github.event.pull_request.head.sha }}
-        run: |
-          if [ "$EVENT_NAME" != "pull_request" ]; then
-            echo "code=true" >> "$GITHUB_OUTPUT"
-            exit 0
-          fi
-          changed=$(git diff --name-only "$BASE_SHA" "$HEAD_SHA")
-          code=false
-          while IFS= read -r f; do
-            case "$f" in
-              docs/features.md|docs/oracle.md) code=true ;;
-              *.md|docs/*) ;;
-              "") ;;
-              *) code=true ;;
-            esac
-          done <<< "$changed"
-          echo "code=$code" >> "$GITHUB_OUTPUT"
-          echo "code changes: $code"
-
-  ci:
-    name: cargo xtask ci
-    needs: changes
-    if: needs.changes.outputs.code == 'true'
-    runs-on: ubuntu-24.04
-    timeout-minutes: 60
-    steps:
-      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
-      - uses: dtolnay/rust-toolchain@stable
-        with:
-          components: rustfmt, clippy
-          targets: wasm32-unknown-unknown
-      - uses: Swatinem/rust-cache@6323deb102c322ba6fcbdcafc7e3dddab59af2b6 # v2.9.2
-        with:
-          # Branches restore main's cache; saving their own would only evict it.
-          save-if: ${{ github.ref == 'refs/heads/main' }}
-      - run: cargo xtask ci
-
-  heavy:
-    # The heavy verification and corpus tests (#[ignore]d) and the doc tests: on main, nightly
-    # and on demand, not on every pull request.
-    name: cargo xtask test --heavy
-    if: contains(fromJSON('["push", "schedule", "workflow_dispatch"]'), github.event_name)
-    runs-on: ubuntu-24.04
-    timeout-minutes: 60
-    steps:
-      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
-      - uses: dtolnay/rust-toolchain@stable
-      - uses: Swatinem/rust-cache@6323deb102c322ba6fcbdcafc7e3dddab59af2b6 # v2.9.2
-        with:
-          save-if: ${{ github.ref == 'refs/heads/main' }}
-      - run: cargo xtask test --heavy
-
-  oracle:
-    # Verification and validation (docs/verification.md): every case against its reference and
-    # its fixture, and docs/oracle.md must be the table the cases produce. Cases marked `slow`
-    # run here too while the whole set stays within a few minutes; `--quick` skips them.
-    name: cargo xtask oracle
-    needs: changes
-    if: needs.changes.outputs.code == 'true'
-    runs-on: ubuntu-24.04
-    timeout-minutes: 45
-    steps:
-      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
-      - uses: dtolnay/rust-toolchain@stable
-      - uses: Swatinem/rust-cache@6323deb102c322ba6fcbdcafc7e3dddab59af2b6 # v2.9.2
-        with:
-          key: oracle
-          save-if: ${{ github.ref == 'refs/heads/main' }}
-      - run: cargo xtask oracle
-      - name: docs/oracle.md is current
-        run: git diff --exit-code docs/oracle.md
-
-  advisories:
-    name: Dependency advisories and sources
-    needs: changes
-    if: needs.changes.outputs.code == 'true'
-    runs-on: ubuntu-24.04
-    timeout-minutes: 20
-    steps:
-      - uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1
-      - uses: dtolnay/rust-toolchain@stable
-      - name: Install cargo-deny
-        run: cargo install cargo-deny --version 0.20.2 --locked
-      - run: cargo deny --locked check --warn unmaintained advisories bans sources

.gitignore

@@ -1,8 +0,0 @@
-/target*/
-/plan/
-/dist/
-/.agent-files/
-/worktrees/
-*~
-.DS_Store
-*.swp