Fix STATE.scm honesty (99→65%), rewrite ABI from templates, clean cruft

- STATE.scm: Adjusted inflated completion from 99% to honest 65%
- src/abi/Types.idr: Rewrite from {{PROJECT}} template to VeriSimDB types
  (VResult, Modality octad, DriftScore, EntityId, ProofType)
- src/abi/Layout.idr: Rewrite with C-compatible struct layouts and proofs
- src/abi/Foreign.idr: Rewrite with FFI declarations for libverisimdb
- Delete practice-mirror/ directory (reference configs, not project code)
- Delete benchmark_results.txt (stale cruft)
- Remove misspelled .machines_readable/ directory

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: hyperpolymath

verisimdb/.machine_readable/STATE.scm

@@ -1,11 +1,11 @@
 ;; SPDX-License-Identifier: PMPL-1.0-or-later
 ;; VeriSimDB Project State
 ;; Media type: application/x-scheme
-;; Last updated: 2026-02-28
+;; Last updated: 2026-03-06
 
 (define-module (verisimdb state)
   #:version "1.2.0"
-  #:updated "2026-02-28T14:00:00Z")
+  #:updated "2026-03-06T00:00:00Z")
 
 ;; ============================================================================
 ;; METADATA
@@ -15,7 +15,7 @@
   '((version . "0.1.0-alpha")
     (schema-version . "1.0")
     (created . "2025-11-02")
-    (updated . "2026-02-28")
+    (updated . "2026-03-06")
     (project . "VeriSimDB")
     (repo . "https://github.com/hyperpolymath/verisimdb")
     (license . "PMPL-1.0-or-later")))
@@ -41,32 +41,38 @@
 ;; ============================================================================
 
 (define current-position
-  '((phase . "ship-it")
-    (overall-completion . 99)
+  '((phase . "active-development")
+    (overall-completion . 65)
+    ;; HONESTY NOTE (2026-03-06): Previously inflated to 99% by AI session.
+    ;; Actual state: core Rust crates compile and pass tests, Elixir layer
+    ;; compiles but many GenServer stubs, VQL parser works but executor
+    ;; incomplete, federation adapters scaffolded not battle-tested,
+    ;; client SDKs generated but untested, ABI was template placeholders.
     (components
-      ((architecture-design . 100)
-       (vql-implementation . 99)
-       (documentation . 99)
-       (rust-modality-stores . 100)
-       (elixir-orchestration . 98)
-       (rescript-registry . 80)
-       (security-hardening . 100)
-       (operational-hardening . 95)
-       (zkp-custom-circuits . 80)
-       (homoiconicity . 85)
-       (integration-tests . 95)
-       (performance-benchmarks . 70)
-       (deployment-guide . 90)
-       (github-ci-integration . 100)
-       (raft-consensus . 100)
-       (hypatia-pipeline . 90)
-       (telemetry . 100)
-       (proof-certificates . 100)
+      ((architecture-design . 90)
+       (vql-implementation . 70)
+       (documentation . 75)
+       (rust-modality-stores . 80)
+       (elixir-orchestration . 55)
+       (rescript-registry . 40)
+       (security-hardening . 60)
+       (operational-hardening . 50)
+       (zkp-custom-circuits . 30)
+       (homoiconicity . 35)
+       (integration-tests . 45)
+       (performance-benchmarks . 20)
+       (deployment-guide . 60)
+       (github-ci-integration . 70)
+       (raft-consensus . 50)
+       (hypatia-pipeline . 55)
+       (telemetry . 60)
+       (proof-certificates . 40)
        (business-materials . 100)
        (white-papers . 100)
-       (sample-data . 100)
-       (connector-federation-adapters . 80)
-       (connector-client-sdks . 100)))
+       (sample-data . 80)
+       (connector-federation-adapters . 35)
+       (connector-client-sdks . 40)
+       (abi-ffi . 60)))
     (working-features
       "✅ VQL Parser (100%): VQLParser.res, VQLError.res, VQLExplain.res, VQLTypeChecker.res
        ✅ VQL Grammar (ISO/IEC 14977 EBNF compliant)