Add L1–L5 algebraic kernels for CPU-only 1.58-bit inference (Walsh–Hadamard, ACDC, tropical sparse, holographic memory) with property-based tests, air-gapped boot validation, and D4 persona documentation

.github/workflows/ci.yml

@@ -0,0 +1,104 @@
+# ─── BitNet CPU kernel CI ──────────────────────────────────────────────────────
+#
+# Builds the bitnet.cpp project with all L2-L5 math kernels enabled and runs
+# the kernel unit test suite. No model download (full smoke/perplexity happens
+# locally or in a separate nightly workflow).
+#
+# Why this exists:
+#   - Clang ≥ 18 is required for SIMD kernels (per CLAUDE.md).
+#   - 3rdparty/llama.cpp is a fork (branch `merge-dev`); submodule init is
+#     critical for the build.
+#   - GCC 14 may not be installed in the runner image; we explicitly install
+#     libstdc++-14-dev so Clang 18 can find its system C++ headers.
+#
+# Trigger: every push to main, every PR.
+
+name: kernel-ci
+
+on:
+  push:
+    branches: [main]
+  pull_request:
+    branches: [main]
+  workflow_dispatch:
+
+jobs:
+  build-and-test:
+    name: build + test (Ubuntu, clang-18)
+    runs-on: ubuntu-24.04
+    timeout-minutes: 30
+
+    steps:
+      - name: Checkout (with submodules)
+        uses: actions/checkout@v4
+        with:
+          submodules: recursive
+          fetch-depth: 1
+
+      - name: Apply dispatch patch (combined 05)
+        run: |
+          echo "Applying combined patch 05 (L3 ACDC + L5 HRR + L4 K_i8 cache + FaseIII rect + LLaMA gate)..."
+          chmod +x ./scripts/apply-dispatch-patches.sh
+          ./scripts/apply-dispatch-patches.sh
+          echo "Verifying idempotence..."
+          ./scripts/apply-dispatch-patches.sh --check
+        shell: bash
+
+      - name: Install build dependencies
+        run: |
+          sudo apt-get update
+          sudo apt-get install -y \
+            clang-18 \
+            cmake \
+            ninja-build \
+            libstdc++-14-dev \
+            python3 \
+            python3-pip \
+            python3-scipy \
+            python3-numpy
+
+      - name: Install safetensors (PyPI only; not in Ubuntu 24.04 apt)
+        run: python3 -m pip install --break-system-packages --no-cache-dir safetensors
+
+      - name: Configure (Release, all kernels)
+        run: |
+          cmake -B build -G Ninja \
+            -DCMAKE_C_COMPILER=clang-18 \
+            -DCMAKE_CXX_COMPILER=clang++-18 \
+            -DCMAKE_BUILD_TYPE=Release \
+            -DBITNET_L2_WHT=ON \
+            -DBITNET_L3_ACDC=ON \
+            -DBITNET_L4_TROPICAL=ON \
+            -DBITNET_L5_HRR=ON \
+            -DBITNET_L6_RAG=ON \
+            -DBITNET_BUILD_TESTS=ON
+
+      - name: Build (compiles L1 + L2-L6 + dispatch into libggml)
+        run: cmake --build build --config Release -j$(nproc)
+
+      - name: Build all kernel unit tests
+        run: cmake --build build --config Release -j$(nproc) --target test_bitnet_common test_wht test_acdc test_tropical test_sparse_attention test_kv_i8_cache test_hrr_cleanup test_hrr_attention test_acdc_properties test_l4_sparse_properties test_hrr_properties test_dense_is_default test_acdc_rect test_adaptive_k test_rag_retrieval
+
+      - name: ctest (runs all add_test() targets — common, L2, L3, L4, L4_sparse, L4_cache, L4_adaptive, L5_attn, L5_cleanup, 4 property tests, dense-is-default, acdc_rect, L6_rag)
+        run: cd build && ctest --output-on-failure
+
+      - name: Air-gapped boot test (AC-11, NO-07)
+        # Verifies that the built llama-cli binary runs without making any
+        # network syscalls.  This enforces persona D4 (no telemetry, no cloud)
+        # at the CI level.  The script is in tests/test_air_gapped_boot.sh;
+        # it auto-skips if no model file is provided (which is the case in CI).
+        # Result: SKIPPED is acceptable in CI; PASS requires a real model and
+        # is expected in the local release workflow.
+        run: |
+          if [ -x tests/test_air_gapped_boot.sh ]; then
+            chmod +x tests/test_air_gapped_boot.sh
+            bash tests/test_air_gapped_boot.sh 2>&1 | tee /tmp/air_gapped.log
+            # Exit code 0 if PASS or SKIPPED, 1 if FAIL
+            rc=${PIPESTATUS[0]}
+            if [ $rc -ne 0 ]; then
+              echo "::warning::air-gapped boot test FAILED (rc=$rc); see /tmp/air_gapped.log"
+              exit $rc
+            fi
+          else
+            echo "::warning::tests/test_air_gapped_boot.sh not executable; skipping"
+          fi

.gitignore

@@ -44,4 +44,5 @@ __pycache__/
 poetry.toml
 
 build/
-logs/
+build_tests/
+logs/Testing/

.reversa/active-requirements.json

@@ -0,0 +1,57 @@
+{
+  "schema-version": 1,
+  "feature-dir": "_reversa_forward/001-trilha-rigor-produto",
+  "feature-id": "001",
+  "short-name": "trilha-rigor-produto",
+  "started-at": "2026-06-06T19:49:10Z",
+  "current-stage": "audit",
+  "stages-completed": ["requirements", "clarify", "plan", "to-do", "audit"],
+  "paused-features": [],
+  "last-updated": "2026-06-06T20:57:23Z",
+  "last-clarify": {
+    "date": "2026-06-06",
+    "questions-asked": 4,
+    "questions-answered": 4,
+    "open-duvidas": 0,
+    "monitoring-triggers": ["LR-01 (D2 trigger)", "LR-02 (D3 reavaliação Q4 2029)", "LR-03 (D4 persona)"]
+  },
+  "last-plan": {
+    "date": "2026-06-06",
+    "artifacts": ["roadmap.md", "investigation.md", "data-delta.md", "onboarding.md"],
+    "interfaces-omitted": true,
+    "decisions": 12,
+    "principles-checked": 7,
+    "conflicts": 0,
+    "milestones-defined": 5,
+    "sub-milestones-defined": 3
+  },
+  "last-to-do": {
+    "date": "2026-06-06",
+    "version": "1.1 (post-audit fix)",
+    "total-actions": 36,
+    "parallel-actions": 20,
+    "phases": {
+      "preparacao": 4,
+      "testes": 8,
+      "nucleo": 12,
+      "integracao": 7,
+      "polimento": 5
+    },
+    "conditional-actions-gate-d2": ["T009", "T018", "T019", "T034"],
+    "longest-dependency-chain": "T005 -> T024 -> T033 (3 levels)"
+  },
+  "last-audit": {
+    "date": "2026-06-06",
+    "findings-initial": 11,
+    "findings-resolved": 3,
+    "findings-open": 8,
+    "open-by-severity": {
+      "critical": 0,
+      "high": 2,
+      "medium": 4,
+      "low": 2
+    },
+    "resolved-ids": ["A001", "A004", "A011"],
+    "ready-for-coding": true
+  }
+}

.reversa/config.toml

@@ -0,0 +1,15 @@
+[specs]
+layout = "feature-folder"
+granularity = "feature"
+custom_folders = []
+scout_suggestion = ""
+decided_at = "2026-06-06T16:30:00Z"
+
+[project]
+name = "BitNet CPU-Universal"
+output_folder = "_reversa_sdd"
+forward_folder = "_reversa_forward"
+
+[user]
+name = ""
+chat_language = "pt-BR"