Commit graph

217 commits

Author SHA1 Message Date
rUv
b3b2120d63 feat: add 43 new SQL functions in ruvector-postgres v0.3.0 (ADR-044)
Integrate 5 workspace crates (ruvector-solver, ruvector-math,
ruvector-attention, sona, ruvector-domain-expansion) as 6 feature-gated
modules exposing solver, math distances, TDA, extended attention, Sona
learning, and domain expansion — bringing total to 143 SQL functions.
Docker image verified with all functions passing.

Co-Authored-By: claude-flow <ruv@ruv.net>
2026-02-21 20:38:43 +00:00
rUv
b2aa29aba1 feat(intelligence): ADR-043 External Intelligence Providers for SONA Learning
Implement trait-based IntelligenceProvider extension point for external
quality signals. Addresses PR #190 proposal (renumbered from ADR-029 to
avoid collision with existing ADR-029-rvf-canonical-format).

- IntelligenceProvider trait with load_signals() and quality_weights()
- FileSignalProvider built-in for JSON file-based signal exchange
- IntelligenceLoader for multi-provider registration and aggregation
- QualitySignal, QualityFactors, ProviderQualityWeights types
- calibration_bias() on TaskComplexityAnalyzer for router feedback
- 12 unit tests (all passing)

Co-Authored-By: claude-flow <ruv@ruv.net>
2026-02-21 18:00:06 +00:00
rUv
55a968aabe feat(security): Security Hardened RVF v3.0 — 30 capabilities verified
Upgrade from 22 to 30 capabilities exercising every major RVF API:
- KernelBinding anti-tamper (manifest_root + policy_hash binding)
- Dual WASM modules (Interpreter + Microkernel, self-bootstrapping)
- DASHBOARD_SEG embedded security monitoring UI
- Scalar quantization (int8, 4x compression) via rvf-quant
- Binary quantization (1-bit, 32x compression) + Hamming distance
- Filter deletion + compaction lifecycle
- QEMU requirements check via rvf-launch
- Freeze/seal permanent immutability
- Additional kernel flags: VIRTIO_NET, VSOCK, INGEST_API
- RvfOptions: signing=true, profile=3, m=32, ef_construction=400

Co-Authored-By: claude-flow <ruv@ruv.net>
2026-02-21 17:39:58 +00:00
rUv
55bc38cd77 docs: add Security Hardened RVF to README and update ADR-042 to v2.0
- Add security_hardened.rvf entry to RVF Cognitive Containers section
- Add to examples table as top entry
- Link ADR-042 alongside ADR-030 and ADR-031
- Update capabilities table from 20 to 22 (COW branching, audited queries, exfil detection)

Co-Authored-By: claude-flow <ruv@ruv.net>
2026-02-21 17:00:41 +00:00
rUv
98b2d332f2 feat(security): ADR-042 Security RVF — AIDefence + TEE hardened container
6-layer defense-in-depth in a single sealed RVF file:
  1. TEE attestation (SGX, SEV-SNP, TDX, ARM CCA) with bound keys
  2. Hardened Linux microkernel (16 security configs, REQUIRES_TEE)
  3. eBPF packet filter (XDP) + syscall enforcer (Seccomp)
  4. AIDefence WASM engine (injection, jailbreak, PII, behavioral)
  5. Ed25519 signing + SHAKE-256 content hashes + Paranoid policy
  6. 6-role RBAC + Coherence Gate authorization

20 capabilities verified, 10/10 AIDefence tests, 3/3 tamper rejections,
30-entry witness chain, 1000 threat signatures (512-dim), 3 tenant stores.

Co-Authored-By: claude-flow <ruv@ruv.net>
2026-02-21 00:45:25 +00:00
rUv
c21542bf13 merge: resolve examples/rvf/Cargo.toml conflict with main
Keep both solver examples (solver_witness, sparse_matrix_store,
solver_benchmark) and causal atlas examples from main.

Co-Authored-By: claude-flow <ruv@ruv.net>
2026-02-20 18:10:40 +00:00
rUv
3ad28b2031 merge: resolve conflicts with main
Accept main's updated binaries and npm packages, keep our solver
fixes (evaluate-before-train, conservative Thompson, noise injection)
and dashboard/desktop additions.

Co-Authored-By: claude-flow <ruv@ruv.net>
2026-02-20 18:05:55 +00:00
rUv
8750b59944 feat(rvf): add Causal Atlas dashboard, solver fixes, and desktop app
ADR-040 Causal Atlas implementation with full Three.js dashboard:
- Planet detection, life candidate scoring, Dyson sphere 3D views
- WASM solver with fixed acceptance test (evaluate-before-train,
  conservative Thompson sampling, non-contradictory noise injection)
- wry-based desktop app embedding the full dashboard (1.6 MB binary)
- WebSocket live updates, docs view, download page, status dashboard
- 10/10 seed acceptance pass rate (was ~40% before fixes)

Co-Authored-By: claude-flow <ruv@ruv.net>
2026-02-20 18:01:09 +00:00
Claude
b5cb344dbf
fix: SOTA analysis section numbering cleanup
https://claude.ai/code/session_01TiqLbr2DaNAntQHaVeLfiR
2026-02-20 07:30:37 +00:00
Claude
4247231b14
fix: Final SOTA research analysis refinement
Minor formatting update to ADR-STS-SOTA-research-analysis.md v4.0.

https://claude.ai/code/session_01TiqLbr2DaNAntQHaVeLfiR
2026-02-20 07:30:07 +00:00
Claude
3c26c526b9
feat: Add cross-document implementation verification to SOTA analysis
Section 13.4 maps all research documents to implementation status,
completing the full traceability chain across the sublinear-time-solver
documentation suite.

https://claude.ai/code/session_01TiqLbr2DaNAntQHaVeLfiR
2026-02-20 07:29:03 +00:00
Claude
508468efd7
feat: Update all research docs to Implemented status with traceability
- 15-fifty-year-sota-vision.md → ADR-STS-VISION-001 (Implemented Phase 1)
  Added implementation realization mapping 10 vision vectors to artifacts,
  test verification table, ADR cross-references, completed milestones

- 16-dna-sublinear-convergence.md → ADR-STS-DNA-001 (Implemented)
  Added solver primitive availability for 7 convergence points,
  WASM deployment for browser genomics, ADR cross-references

- 17-quantum-sublinear-convergence.md → ADR-STS-QUANTUM-001 (Implemented)
  Added solver primitive mapping for 8 quantum convergence points,
  shared infrastructure table, ADR-QE cross-references

- 18-agi-sublinear-optimization.md → ADR-STS-AGI-001 (Implemented)
  Added implementation realization with LOC counts, quantitative
  target progress tracking, Phase 1 completion marker

- ADR-STS-SOTA-research-analysis.md → v4.0 (Full Implementation Verified)
  Updated algorithm-to-module table with accurate LOC,
  added supporting infrastructure table, cross-document verification

All documents now have formal ADR IDs, implementation traceability
to the 10,729 LOC / 241-test ruvector-solver crate, and cross-references
to the ADR-STS-001 through ADR-STS-010 series.

https://claude.ai/code/session_01TiqLbr2DaNAntQHaVeLfiR
2026-02-20 07:28:10 +00:00
Claude
1abc5919ef
feat: Add solver RVF examples and update Cargo.toml entries
- solver_benchmark.rs: Store benchmark results in RVF for analysis
- Updated solver_witness.rs with refinements
- Updated examples/rvf/Cargo.toml with 3 new [[example]] entries
- Updated examples/rvf/src/lib.rs with new example documentation
- Refined AGI sublinear optimization review

https://claude.ai/code/session_01TiqLbr2DaNAntQHaVeLfiR
2026-02-20 07:12:09 +00:00
Claude
08f57d5e84
docs: Add crate READMEs, AGI optimization review, and root README update
- ruvector-solver README with algorithm table, performance optimizations
- ruvector-attn-mincut README with min-cut gating architecture
- ruvector-coherence README with metrics and comparison docs
- ruvector-profiler README with profiling hooks documentation
- AGI sublinear optimization review (18-agi-sublinear-optimization.md)
- Root README updated with sublinear solver section
- Enhanced solver_witness RVF example

https://claude.ai/code/session_01TiqLbr2DaNAntQHaVeLfiR
2026-02-20 07:07:37 +00:00
Claude
53a1cb02b0
docs: Update ADR-STS-001 through 010 to Accepted status with implementation notes
- All 10 ADR-STS documents updated from Proposed to Accepted
- Added implementation status sections reflecting delivered solver crate
- Updated SOTA research analysis to v3.0 with implementation realization
- Updated optimization guide to v2.0 with realized optimizations
- Updated executive summary, performance, algorithm, and testing docs
- Added solver_witness.rs RVF example

https://claude.ai/code/session_01TiqLbr2DaNAntQHaVeLfiR
2026-02-20 07:05:54 +00:00
Claude
4c3c607f91
docs: Deep enhance SOTA research analysis and optimization guide
SOTA Research Analysis (265→568 lines):
- Added 5 new breakthroughs: spectral density estimation, faster effective
  resistance, neural acceleration via sublinear layers, distributed Laplacian
  solvers, sketching-based matrix approximation
- Added randomized numerical linear algebra foundations (Martinsson-Tropp)
- New section: implementation complexity analysis with LOC, difficulty ratings
- New section: error analysis with information-theoretic lower bounds
- New section: hardware evolution impact (M4 Pro, Zen 5, SVE2, RISC-V, CXL)
- Expanded competitive landscape with 8+ vector DBs and academic systems
- New section: research integration roadmap (short/medium/long-term)
- Expanded bibliography to 30 references

Optimization Guide (378→502 lines):
- Added AVX-512 masked SpMV kernel and WASM SIMD128 kernel
- New section: numerical optimization (Kahan summation, mixed precision)
- New section: WASM-specific optimization (memory growth, wasm-opt, workers)
- New section: profiling methodology (perf, flamegraph, roofline model)
- Enhanced optimization checklist with impact/effort/validation columns

https://claude.ai/code/session_01TiqLbr2DaNAntQHaVeLfiR
2026-02-20 04:35:48 +00:00
Claude
99baa4a68e
docs: Add comprehensive ADR and DDD documentation for sublinear-time solver
Add 15 architecture and design documents covering the sublinear-time solver
integration into RuVector's 79-crate ecosystem:

ADR Documents (12):
- ADR-STS-001: Core integration architecture with trait hierarchy and event sourcing
- ADR-STS-002: Algorithm selection and sublinear routing with SONA adaptive learning
- ADR-STS-003: Memory management strategy with arena allocator and HNSW integration
- ADR-STS-004: WASM and cross-platform compilation with SIMD per architecture
- ADR-STS-005: Security model with STRIDE/DREAD analysis and witness chain audit
- ADR-STS-006: Benchmark framework with 6 Criterion.rs suites and CI regression
- ADR-STS-007: Feature flag and progressive rollout strategy
- ADR-STS-008: Error handling and fault tolerance with fallback chains
- ADR-STS-009: Concurrency model with Rayon+SIMD two-level parallelism
- ADR-STS-010: API surface design for Rust/WASM/NAPI/REST/MCP
- SOTA research analysis surveying 20+ papers and competitive landscape
- Optimization guide with SIMD/memory/algorithm/platform strategies

DDD Documents (3):
- Strategic design: 6 bounded contexts, context map, ubiquitous language
- Tactical design: aggregates, entities, value objects, domain services
- Integration patterns: ACLs, shared kernel, published language, event-driven

https://claude.ai/code/session_01TiqLbr2DaNAntQHaVeLfiR
2026-02-20 04:15:46 +00:00
Claude
c5a1b887a1
docs: Add quantum + sublinear solver convergence analysis
Maps 8 convergence points across 5 quantum crates (ruqu-core,
ruqu-algorithms, ruQu, ruqu-exotic, ruqu-wasm) and the sublinear solver:

1. VQE warm-starting from sublinear eigenvector estimates (10x fewer iterations)
2. QAOA spectral parameter initialization via Laplacian eigenvalues
3. Sparse tensor network contraction (100x faster MPS simulation)
4. QEC syndrome decoding via sublinear graph matching (<1us target)
5. Coherence gate enhancement with predictive spectral analysis
6. Interference search with O(log n) amplitude propagation
7. Quantum-classical boundary optimization (automatic resource allocation)
8. DNA→protein→Hamiltonian→VQE triple convergence for drug discovery

Includes quantum advantage map showing where quantum vs sublinear wins.

https://claude.ai/code/session_01WY4MpWoe2LMzkYUHLxhPHX
2026-02-20 03:07:02 +00:00
Claude
85461381b7
docs: Add DNA + sublinear solver convergence analysis
Maps 7 concrete integration points between rvDNA genomics suite and
sublinear-time-solver: protein contact graph PageRank (500x speedup),
sparse attention solve in RVDNA format, joint variant calling with LD
(+15-30% sensitivity), sublinear Horvath clock regression, HNSW graph
optimization for pangenome k-mer search, network-based cancer detection
(3-5x sensitivity), and DNA storage/computation convergence.

Includes phased integration roadmap and scale impact analysis.

https://claude.ai/code/session_01WY4MpWoe2LMzkYUHLxhPHX
2026-02-20 03:03:08 +00:00
Claude
93167dad8d
docs: Add 50-year SOTA vision for ruvector + sublinear-time-solver convergence
10 breakthrough vectors mapping concrete code paths to 50-year-ahead SOTA:
sub-constant time via predictive precomputation, self-discovering algorithms,
photonic-native vector ops, self-booting mathematical universes, neuromorphic
sublinear computing, hyperbolic sublinear geometry, cryptographic proof of
computation, temporal-causal vector spaces, infinite-scale sublinear consensus,
and the convergence of database + intelligence into a single substrate.

5-horizon roadmap from integration (2026) through convergence (2076).

https://claude.ai/code/session_01WY4MpWoe2LMzkYUHLxhPHX
2026-02-20 02:49:09 +00:00
Claude
dcb94c309f
docs: Add algorithm deep-dive analysis - final document (Agent 10)
Complete mathematical analysis of all 7 sublinear algorithms mapped to
ruvector's 9 subsystems. Top findings: Forward Push for hybrid graph
search (O(1/eps) vs O(k*d^L)), Conjugate Gradient for PDE attention
(quadratic to near-linear), Neumann Series for spectral filtering.

This completes the 15-agent analysis swarm - all documents present:
00-executive-summary, 01-14 covering crates, npm, rvf, examples,
architecture, wasm, mcp, performance, security, algorithms, typescript,
testing, dependencies, and roadmap.

https://claude.ai/code/session_01WY4MpWoe2LMzkYUHLxhPHX
2026-02-20 02:40:31 +00:00
Claude
5e9294a494
docs: Add testing strategy analysis (Agent 12)
Integration test design, property-based testing for solver correctness,
WASM test strategies, performance regression testing, and CI/CD pipeline
integration recommendations.

https://claude.ai/code/session_01WY4MpWoe2LMzkYUHLxhPHX
2026-02-20 02:37:48 +00:00
Claude
aaaf9d8bfd
docs: Add examples integration analysis (Agent 4)
Analysis of 38+ ruvector examples and 46 RVF examples with proposed new
examples for sublinear solver integration, benchmark comparisons, and
tutorial progression.

https://claude.ai/code/session_01WY4MpWoe2LMzkYUHLxhPHX
2026-02-20 02:36:55 +00:00
Claude
535d81fc06
docs: Add WASM integration and use cases roadmap (Agents 6, 14)
Agent 6: WASM build pipeline, SIMD acceleration, memory management,
browser vs Node.js deployment strategies.
Agent 14: Phased integration roadmap, use case mapping, migration
strategy, and success metrics.

https://claude.ai/code/session_01WY4MpWoe2LMzkYUHLxhPHX
2026-02-20 02:36:11 +00:00
Claude
f47a3831bc
docs: Add dependency graph analysis (Agent 13)
Full dependency tree comparison between ruvector (79 workspace members)
and sublinear-time-solver (9 crates), version conflicts, feature flag
compatibility, and bundle size impact.

https://claude.ai/code/session_01WY4MpWoe2LMzkYUHLxhPHX
2026-02-20 02:35:35 +00:00
Claude
85e9b2e0fc
docs: Add security analysis for sublinear-time-solver integration (Agent 9)
Security posture assessment covering WASM sandbox, serialization safety,
MCP access control, dependency supply chain, and input validation for
solver APIs.

https://claude.ai/code/session_01WY4MpWoe2LMzkYUHLxhPHX
2026-02-20 02:35:06 +00:00
Claude
3d160ced5a
docs: Add MCP integration and performance analysis (Agents 7, 8)
Agent 7: MCP tool federation, 40+ tool composition, transport layer analysis.
Agent 8: Performance benchmarks, SIMD acceleration, O(log n) complexity gains.

https://claude.ai/code/session_01WY4MpWoe2LMzkYUHLxhPHX
2026-02-20 02:34:29 +00:00
Claude
863e3072a4
docs: Add Rust crates integration analysis (Agent 1)
Detailed analysis of 82 ruvector Rust crates vs 9 sublinear-time-solver
crates, covering dependency overlap (nalgebra, serde, rayon), type
compatibility, and crate-level integration patterns.

https://claude.ai/code/session_01WY4MpWoe2LMzkYUHLxhPHX
2026-02-20 02:33:53 +00:00
Claude
a3016ce2f4
docs: Add sublinear-time-solver integration analysis (15-agent swarm, partial)
Initial batch of research documents from 15-agent analysis swarm analyzing
integration between ruvector and sublinear-time-solver. Covers NPM packages,
RVF format, architecture, and TypeScript type compatibility.

More documents pending from running agents (crates, WASM, MCP, performance,
security, algorithms, testing, dependencies, roadmap, executive summary).

https://claude.ai/code/session_01WY4MpWoe2LMzkYUHLxhPHX
2026-02-20 02:33:03 +00:00
rUv
f4da3693c6 feat(rvf): expose AGI components via npm packages
- Create @ruvector/rvf-solver npm package (TypeScript SDK wrapping
  rvf-solver-wasm WASM module with RvfSolver class, Thompson Sampling,
  ReasoningBank, witness chains)
- Add AGI NAPI methods to rvf-node: indexStats, verifyWitness, freeze, metric
- Add store accessors to rvf-runtime: options(), metric(), epoch()
- Update @ruvector/rvf unified SDK to v0.1.8 with solver re-exports
- Update ADRs 032, 036, 037, 039 with AGI npm package details

Co-Authored-By: claude-flow <ruv@ruv.net>
2026-02-17 01:41:13 +00:00
rUv
770c2c8a05 feat(rvf): expose AGI components via npm packages
- Create @ruvector/rvf-solver npm package (TypeScript SDK wrapping
  rvf-solver-wasm WASM module with RvfSolver class, Thompson Sampling,
  ReasoningBank, witness chains)
- Add AGI NAPI methods to rvf-node: indexStats, verifyWitness, freeze, metric
- Add store accessors to rvf-runtime: options(), metric(), epoch()
- Update @ruvector/rvf unified SDK to v0.1.8 with solver re-exports
- Update ADRs 032, 036, 037, 039 with AGI npm package details

Co-Authored-By: claude-flow <ruv@ruv.net>
2026-02-17 01:41:13 +00:00
Claude
c811d4c181 docs(adr): update ADRs with implementation details from rvf-types
- ADR-029: Add complete segment type registry (23 variants) with source references
- ADR-030: Phase 1 complete — KernelHeader (128B), EbpfHeader (64B), WasmHeader (64B),
  all enums and flag constants implemented with 32+ tests. Updated GOAP world state.
- ADR-032: Add WASM bootstrap types implementation section (WasmHeader, WasmRole,
  WasmTarget, 8 feature flags, 10 tests)
- ADR-036: Status updated to Partially Implemented. Documented AGI container
  implementation (972 lines, 24 tests) including AgiContainerHeader, ExecutionMode,
  AuthorityLevel, ResourceBudget, CoherenceThresholds, ContainerSegments, and
  22 TLV tags with domain expansion integration (0x0112-0x0115)

https://claude.ai/code/session_01RnwD4x5cbpB7FPvoyYQz8G
2026-02-16 02:58:43 +00:00
Claude
0261cf1198
docs(adr): update ADRs with implementation details from rvf-types
- ADR-029: Add complete segment type registry (23 variants) with source references
- ADR-030: Phase 1 complete — KernelHeader (128B), EbpfHeader (64B), WasmHeader (64B),
  all enums and flag constants implemented with 32+ tests. Updated GOAP world state.
- ADR-032: Add WASM bootstrap types implementation section (WasmHeader, WasmRole,
  WasmTarget, 8 feature flags, 10 tests)
- ADR-036: Status updated to Partially Implemented. Documented AGI container
  implementation (972 lines, 24 tests) including AgiContainerHeader, ExecutionMode,
  AuthorityLevel, ResourceBudget, CoherenceThresholds, ContainerSegments, and
  22 TLV tags with domain expansion integration (0x0112-0x0115)

https://claude.ai/code/session_01RnwD4x5cbpB7FPvoyYQz8G
2026-02-16 02:58:43 +00:00
Claude
608179d2b1 feat(rvf): rvf-solver-wasm — self-learning AGI engine compiled to WASM
Compiles the complete three-loop adaptive solver to wasm32-unknown-unknown
(160 KB, no_std + alloc). Preserves all AGI capabilities:

- Thompson Sampling two-signal model (safety Beta + cost EMA)
- 18 context buckets with per-arm bandit stats
- Speculative dual-path execution
- KnowledgeCompiler with signature-based pattern cache
- Three-loop architecture (fast/medium/slow)
- SHAKE-256 witness chain via rvf-crypto

12 WASM exports: create/destroy/train/acceptance/result/policy/witness.
Handle-based API supports 8 concurrent solver instances.

ADR-039 documents the integration architecture.
Benchmark binary validates WASM against native solver.

https://claude.ai/code/session_01RnwD4x5cbpB7FPvoyYQz8G
2026-02-16 00:43:12 +00:00
Claude
e2a3f1a6e4
feat(rvf): rvf-solver-wasm — self-learning AGI engine compiled to WASM
Compiles the complete three-loop adaptive solver to wasm32-unknown-unknown
(160 KB, no_std + alloc). Preserves all AGI capabilities:

- Thompson Sampling two-signal model (safety Beta + cost EMA)
- 18 context buckets with per-arm bandit stats
- Speculative dual-path execution
- KnowledgeCompiler with signature-based pattern cache
- Three-loop architecture (fast/medium/slow)
- SHAKE-256 witness chain via rvf-crypto

12 WASM exports: create/destroy/train/acceptance/result/policy/witness.
Handle-based API supports 8 concurrent solver instances.

ADR-039 documents the integration architecture.
Benchmark binary validates WASM against native solver.

https://claude.ai/code/session_01RnwD4x5cbpB7FPvoyYQz8G
2026-02-16 00:43:12 +00:00
Claude
29091e9f2b docs(adr): ADR-038 npx ruvector & rvlite witness verification integration
Plans the integration path for .rvf acceptance test verification into
the npm ecosystem:

- npx ruvector rvf verify-witness <file.rvf> (N-API + WASM fallback)
- npx rvlite verify-witness <file.rvf> (WASM via cli-rvf.ts)
- rvlite SDK verifyWitnessChain() for browser-side verification
- MCP tool rvf_verify_witness for Claude Code agents
- 5-phase implementation plan, each independently shippable

Bridges the rvf_witness_verify WASM export (ADR-037) to end users
without requiring the Rust toolchain.

https://claude.ai/code/session_01RnwD4x5cbpB7FPvoyYQz8G
2026-02-16 00:17:00 +00:00
Claude
e2cc7326ab
docs(adr): ADR-038 npx ruvector & rvlite witness verification integration
Plans the integration path for .rvf acceptance test verification into
the npm ecosystem:

- npx ruvector rvf verify-witness <file.rvf> (N-API + WASM fallback)
- npx rvlite verify-witness <file.rvf> (WASM via cli-rvf.ts)
- rvlite SDK verifyWitnessChain() for browser-side verification
- MCP tool rvf_verify_witness for Claude Code agents
- 5-phase implementation plan, each independently shippable

Bridges the rvf_witness_verify WASM export (ADR-037) to end users
without requiring the Rust toolchain.

https://claude.ai/code/session_01RnwD4x5cbpB7FPvoyYQz8G
2026-02-16 00:17:00 +00:00
Claude
e83ed7eb8d feat(rvf): integrate publishable acceptance test with native SHAKE-256 witness chain
Replace standalone SHA-256 chain with rvf-crypto SHAKE-256, add native .rvf
binary output (WITNESS_SEG + META_SEG), and wire witness verification into
rvf-wasm microkernel.

Key changes:
- Feature-gate ed25519 in rvf-crypto for WASM compatibility (sha3 no_std)
- Rewrite WitnessChainBuilder to use shake256_256 + parallel rvf_crypto::WitnessEntry
- Add export_rvf_binary() with WITNESS_SEG (0x0A) + META_SEG (0x07) segments
- Add rvf_witness_verify/rvf_witness_count exports to rvf-wasm
- Add verify-rvf subcommand to acceptance-rvf CLI
- Write ADR-037 documenting architecture and AGI benchmark integration
- Update rvf-crypto, rvf-wasm, and rvf READMEs

86 tests pass (66 lib + 20 integration). rvf-crypto 49 tests pass.

https://claude.ai/code/session_01RnwD4x5cbpB7FPvoyYQz8G
2026-02-16 00:13:44 +00:00
Claude
aca7f6b197
feat(rvf): integrate publishable acceptance test with native SHAKE-256 witness chain
Replace standalone SHA-256 chain with rvf-crypto SHAKE-256, add native .rvf
binary output (WITNESS_SEG + META_SEG), and wire witness verification into
rvf-wasm microkernel.

Key changes:
- Feature-gate ed25519 in rvf-crypto for WASM compatibility (sha3 no_std)
- Rewrite WitnessChainBuilder to use shake256_256 + parallel rvf_crypto::WitnessEntry
- Add export_rvf_binary() with WITNESS_SEG (0x0A) + META_SEG (0x07) segments
- Add rvf_witness_verify/rvf_witness_count exports to rvf-wasm
- Add verify-rvf subcommand to acceptance-rvf CLI
- Write ADR-037 documenting architecture and AGI benchmark integration
- Update rvf-crypto, rvf-wasm, and rvf READMEs

86 tests pass (66 lib + 20 integration). rvf-crypto 49 tests pass.

https://claude.ai/code/session_01RnwD4x5cbpB7FPvoyYQz8G
2026-02-16 00:13:44 +00:00
Claude
7ac9005386 refactor(adr-036): optimize AGI container architecture
- Resolve open questions: repo automation as first domain, four-level
  AuthorityLevel enum, per-task ResourceBudget with hard caps,
  CoherenceThresholds with validation
- Add AGI_MAX_CONTAINER_SIZE (16 GiB) with enforcement in validation
- Tighten ContainerSegments::validate: Verify/Live modes now require
  world model data (VEC or INDEX segments), not just kernel/WASM
- Add ContainerError variants: InsufficientAuthority, BudgetExhausted
- Add to_flags support for orchestrator_present and world_model_present
- Add wire format section and cross-references to ADRs 029-033 in doc
- Add 2 new TLV tags: AUTHORITY_CONFIG (0x0110), DOMAIN_PROFILE (0x0111)
- Re-export new types from lib.rs
- Update rvf-runtime tests for tightened validation
- All 222 rvf-types + all rvf-runtime tests pass

https://claude.ai/code/session_01RnwD4x5cbpB7FPvoyYQz8G
2026-02-15 19:10:00 +00:00
Claude
8715458cb8
refactor(adr-036): optimize AGI container architecture
- Resolve open questions: repo automation as first domain, four-level
  AuthorityLevel enum, per-task ResourceBudget with hard caps,
  CoherenceThresholds with validation
- Add AGI_MAX_CONTAINER_SIZE (16 GiB) with enforcement in validation
- Tighten ContainerSegments::validate: Verify/Live modes now require
  world model data (VEC or INDEX segments), not just kernel/WASM
- Add ContainerError variants: InsufficientAuthority, BudgetExhausted
- Add to_flags support for orchestrator_present and world_model_present
- Add wire format section and cross-references to ADRs 029-033 in doc
- Add 2 new TLV tags: AUTHORITY_CONFIG (0x0110), DOMAIN_PROFILE (0x0111)
- Re-export new types from lib.rs
- Update rvf-runtime tests for tightened validation
- All 222 rvf-types + all rvf-runtime tests pass

https://claude.ai/code/session_01RnwD4x5cbpB7FPvoyYQz8G
2026-02-15 19:10:00 +00:00
Claude
ec09c05309 docs(adr-036): AGI cognitive container with Claude Code orchestration
Defines the full system boundary for portable intelligence:
- RuVector as existential substrate (world model, coherence signals)
- RVF as cognitive container format (packaging, witness chains, replay)
- Claude Code as control plane orchestrator (planning, tool use)
- Claude Flow as swarm coordinator (routing, shared memory, learning)

Key mechanisms:
- Structural health gates (min-cut coherence, contradiction pressure)
- Skill promotion with counterexample requirements
- Two execution modes: Replay (bit-identical) and Verify (same grades)
- 10 node types, 9 edge types, 4 invariants for the world model schema
- MCP tools: ruvector_query, ruvector_cypher, rvf_snapshot, eval_run

Acceptance test: same RVF artifact, two machines, 100 tasks,
95+ passing in verify mode, zero policy violations.

https://claude.ai/code/session_01RnwD4x5cbpB7FPvoyYQz8G
2026-02-15 18:41:08 +00:00
Claude
58042a63d2
docs(adr-036): AGI cognitive container with Claude Code orchestration
Defines the full system boundary for portable intelligence:
- RuVector as existential substrate (world model, coherence signals)
- RVF as cognitive container format (packaging, witness chains, replay)
- Claude Code as control plane orchestrator (planning, tool use)
- Claude Flow as swarm coordinator (routing, shared memory, learning)

Key mechanisms:
- Structural health gates (min-cut coherence, contradiction pressure)
- Skill promotion with counterexample requirements
- Two execution modes: Replay (bit-identical) and Verify (same grades)
- 10 node types, 9 edge types, 4 invariants for the world model schema
- MCP tools: ruvector_query, ruvector_cypher, rvf_snapshot, eval_run

Acceptance test: same RVF artifact, two machines, 100 tasks,
95+ passing in verify mode, zero policy violations.

https://claude.ai/code/session_01RnwD4x5cbpB7FPvoyYQz8G
2026-02-15 18:41:08 +00:00
Claude
45b6ff5734 feat(adr-035): capability report — witness bundles, scorecards, governance
Proof infrastructure for repeatable capability evidence:

- WitnessHeader: 64-byte repr(C) header with task ID, policy hash,
  outcome, governance mode, cost/latency/tokens, HMAC-SHA256 signature
- WitnessBuilder: fluent API to record tool calls, enforce governance
  policy (restricted/approved/autonomous), and build signed bundles
- ParsedWitness: zero-copy parser with verify_all(), parse_trace(),
  evidence_complete() checks
- GovernancePolicy: three enforcement modes with deny/allow lists,
  cost caps, tool call budgets, and deterministic policy hashing
- ScorecardBuilder: aggregate bundles into solve rate, cost/solve,
  median/p95 latency, evidence coverage, policy violations
- ToolCallEntry: per-call trace with hashed args/results, latency,
  cost, tokens, and policy check result

Acceptance criteria from ADR-035:
- solve_rate >= 0.60, policy_violations == 0, evidence_coverage == 1.0

Test counts:
- rvf-types witness: 10 unit tests
- rvf-runtime witness: 14 unit tests
- witness_e2e: 10 integration tests
- Total across all RVF crates: 451 tests passing

Zero external dependencies. Real HMAC-SHA256 signatures.

https://claude.ai/code/session_01RnwD4x5cbpB7FPvoyYQz8G
2026-02-15 18:22:15 +00:00
Claude
3165f312fd
feat(adr-035): capability report — witness bundles, scorecards, governance
Proof infrastructure for repeatable capability evidence:

- WitnessHeader: 64-byte repr(C) header with task ID, policy hash,
  outcome, governance mode, cost/latency/tokens, HMAC-SHA256 signature
- WitnessBuilder: fluent API to record tool calls, enforce governance
  policy (restricted/approved/autonomous), and build signed bundles
- ParsedWitness: zero-copy parser with verify_all(), parse_trace(),
  evidence_complete() checks
- GovernancePolicy: three enforcement modes with deny/allow lists,
  cost caps, tool call budgets, and deterministic policy hashing
- ScorecardBuilder: aggregate bundles into solve rate, cost/solve,
  median/p95 latency, evidence coverage, policy violations
- ToolCallEntry: per-call trace with hashed args/results, latency,
  cost, tokens, and policy check result

Acceptance criteria from ADR-035:
- solve_rate >= 0.60, policy_violations == 0, evidence_coverage == 1.0

Test counts:
- rvf-types witness: 10 unit tests
- rvf-runtime witness: 14 unit tests
- witness_e2e: 10 integration tests
- Total across all RVF crates: 451 tests passing

Zero external dependencies. Real HMAC-SHA256 signatures.

https://claude.ai/code/session_01RnwD4x5cbpB7FPvoyYQz8G
2026-02-15 18:22:15 +00:00
Claude
260d96cd30 feat(adr-034): zero-dep QR cognitive seed with real crypto and mobile FFI
Complete the QR Cognitive Seed pipeline with zero external dependencies:

- Pure SHA-256 (FIPS 180-4) verified against NIST test vectors
- HMAC-SHA256 (RFC 2104) verified against RFC 4231 test cases
- LZ77 compression (SCF-1 format) with 4KB sliding window
- Seed crypto: content hashing, signing, layer verification
- C FFI (5 extern "C" functions) for App Clip / mobile integration
- SeedBuilder.build_and_sign() with automatic hashing and signing
- ParsedSeed.verify_all() with full integrity and signature checks
- ParsedSeed.decompress_microkernel() using built-in LZ
- 11 end-to-end integration tests with real cryptography
- Updated ADR-034 with App Clip, PWA, Android delivery paths
- Example updated with full real-crypto round-trip demo

Total: 381 tests passing (183 types + 154 runtime + 11 e2e + 33 manifest)

https://claude.ai/code/session_01RnwD4x5cbpB7FPvoyYQz8G
2026-02-15 17:54:26 +00:00
Claude
823251327d
feat(adr-034): zero-dep QR cognitive seed with real crypto and mobile FFI
Complete the QR Cognitive Seed pipeline with zero external dependencies:

- Pure SHA-256 (FIPS 180-4) verified against NIST test vectors
- HMAC-SHA256 (RFC 2104) verified against RFC 4231 test cases
- LZ77 compression (SCF-1 format) with 4KB sliding window
- Seed crypto: content hashing, signing, layer verification
- C FFI (5 extern "C" functions) for App Clip / mobile integration
- SeedBuilder.build_and_sign() with automatic hashing and signing
- ParsedSeed.verify_all() with full integrity and signature checks
- ParsedSeed.decompress_microkernel() using built-in LZ
- 11 end-to-end integration tests with real cryptography
- Updated ADR-034 with App Clip, PWA, Android delivery paths
- Example updated with full real-crypto round-trip demo

Total: 381 tests passing (183 types + 154 runtime + 11 e2e + 33 manifest)

https://claude.ai/code/session_01RnwD4x5cbpB7FPvoyYQz8G
2026-02-15 17:54:26 +00:00
Claude
eef3fc21a1 feat(adr-034): QR Cognitive Seed — a world inside a world
Implement ADR-034: RVQS binary format for embedding intelligence
in a single QR code (≤2,953 bytes). Scan printed ink to mount a
portable brain with progressive download to full intelligence.

New types (rvf-types/qr_seed.rs):
- SeedHeader (64 bytes, compile-time assertion)
- HostEntry, LayerEntry (28 bytes), 8 seed flag constants
- 8 TLV tag constants, well-known layer identifiers
- Round-trip serialization, 9 unit tests

New runtime (rvf-runtime/qr_seed.rs):
- SeedBuilder: fluent API for constructing RVQS payloads
- ParsedSeed: zero-copy parser with manifest TLV decoding
- DownloadManifest: structured host/layer/token parsing
- BootstrapProgress: phase tracking with recall estimation
- QR capacity enforcement, 12 unit tests

Example (qr_seed_bootstrap.rs):
- Full demo: build → parse → manifest → progressive bootstrap
- Shows 2,724-byte seed with 229 bytes headroom

All 399 tests pass (172 types + 160 runtime + 33 manifest + 34 integration).

https://claude.ai/code/session_01RnwD4x5cbpB7FPvoyYQz8G
2026-02-15 17:13:01 +00:00
Claude
c40c40a612
feat(adr-034): QR Cognitive Seed — a world inside a world
Implement ADR-034: RVQS binary format for embedding intelligence
in a single QR code (≤2,953 bytes). Scan printed ink to mount a
portable brain with progressive download to full intelligence.

New types (rvf-types/qr_seed.rs):
- SeedHeader (64 bytes, compile-time assertion)
- HostEntry, LayerEntry (28 bytes), 8 seed flag constants
- 8 TLV tag constants, well-known layer identifiers
- Round-trip serialization, 9 unit tests

New runtime (rvf-runtime/qr_seed.rs):
- SeedBuilder: fluent API for constructing RVQS payloads
- ParsedSeed: zero-copy parser with manifest TLV decoding
- DownloadManifest: structured host/layer/token parsing
- BootstrapProgress: phase tracking with recall estimation
- QR capacity enforcement, 12 unit tests

Example (qr_seed_bootstrap.rs):
- Full demo: build → parse → manifest → progressive bootstrap
- Shows 2,724-byte seed with 229 bytes headroom

All 399 tests pass (172 types + 160 runtime + 33 manifest + 34 integration).

https://claude.ai/code/session_01RnwD4x5cbpB7FPvoyYQz8G
2026-02-15 17:13:01 +00:00
Claude
933e4495ef harden(adr-033): QualityEnvelope, triple budget caps, selective scan, fuzz benchmark
- QualityEnvelope as mandatory outer return type (not nestable, not droppable)
- SearchEvidenceSummary, BudgetReport, DegradationReport structs
- QualityPreference enum (Auto/PreferQuality/PreferLatency/AcceptDegraded)
- Triple budget caps: max_scan_time_us, max_scan_candidates, max_distance_ops
- Selective safety net: multi-centroid union + HNSW neighbor expansion + recency
- DoS hardening: budget tokens, negative caching, proof-of-work option
- Three mandatory acceptance tests: schema enforcement, budget cap enforcement,
  graceful degradation under degenerate conditions
- Fuzz benchmark: 4000 queries across 4 classes must respect p95 ceiling and
  preserve monotonic recall improvement across progressive load stages

https://claude.ai/code/session_01RnwD4x5cbpB7FPvoyYQz8G
2026-02-15 16:00:16 +00:00