| cff-version: 1.2.0 | |
| title: Sovereign Forge | |
| subtitle: Deterministic Proof Verification for Exact Linear Algebra | |
| abstract: >- | |
| Sovereign Forge is a production-ready system for cryptographically verifying | |
| the correctness of linear algebra computations. It provides a five-layer | |
| architecture: kernel hardening (memory safety), typed execution (precondition | |
| checking), proof artifacts (cryptographic binding), provenance tracking | |
| (WORM-sealed ledger), and formal refinement proofs (Lean 4). | |
| All computations use exact rational arithmetic, eliminating floating-point | |
| rounding errors. Proof certificates are deterministic, reproducible, and | |
| tamper-resistant using Blake3/Ed25519 cryptography. | |
| type: software | |
| authors: | |
| - family-names: Parr | |
| given-names: Ahmad Ali | |
| affiliation: Sovereign Kernel Initiative | |
| note: Architecture and threat modeling | |
| - family-names: Westerhoff | |
| given-names: Jessica | |
| affiliation: Sovereign Kernel Initiative | |
| note: Implementation and coordination | |
| - family-names: Haiku | |
| given-names: Claude | |
| affiliation: Anthropic | |
| note: Formal verification and development | |
| contact: | |
| - family-names: Westerhoff | |
| given-names: Jessica | |
| email: jessicalw34@gmail.com | |
| url: https://github.com/SNAPKITTYWEST | |
| repository-code: https://github.com/SNAPKITTYWEST/bobs-control-repo | |
| url: https://sovereign-forge.dev | |
| license: Apache-2.0 | |
| keywords: | |
| - verification | |
| - proof-certificates | |
| - formal-methods | |
| - linear-algebra | |
| - exact-arithmetic | |
| - deterministic | |
| - cryptography | |
| - lean4 | |
| - security | |
| topic: | |
| - cryptography | |
| - formal-verification | |
| - software-security | |
| - mathematical-computing | |
| version: 1.0.0 | |
| date-released: 2026-07-29 | |
| references: | |
| - type: article | |
| authors: | |
| - family-names: Parr | |
| given-names: Ahmad Ali | |
| - family-names: Westerhoff | |
| given-names: Jessica | |
| title: >- | |
| Sovereign Forge: Deterministic Verification for Exact Computations | |
| year: 2026 | |
| journal: Technical Report | |
| volume: 1 | |
| issue: 0 | |
| pages: 1-47 | |
| url: https://github.com/SNAPKITTYWEST/bobs-control-repo/blob/main/docs/ARCHITECTURE.md | |
| - type: standard | |
| title: RFC 8032 Edwards-Curve Digital Signature Algorithm (EdDSA) | |
| year: 2017 | |
| url: https://tools.ietf.org/html/rfc8032 | |
| - type: standard | |
| title: NIST SP 800-38D Recommendation for Block Cipher Modes of Operation | |
| year: 2007 | |
| url: https://nvlpubs.nist.gov/nistpubs/Legacy/SP/nistspecialpublication800-38d.pdf | |
| - type: book | |
| authors: | |
| - family-names: Lean | |
| given-names: Foundation | |
| title: The Lean 4 Reference Manual | |
| year: 2023 | |
| url: https://lean-lang.org/ | |
| - type: article | |
| authors: | |
| - family-names: Shewchuk | |
| given-names: Jonathan Richard | |
| title: >- | |
| Robust Adaptive Floating-Point Geometric Predicates | |
| year: 1997 | |
| journal: Proceedings of 13th Annual ACM Symposium on Computational Geometry | |
| pages: 141-150 | |
| preferred-citation: | |
| type: software | |
| authors: | |
| - family-names: Parr | |
| given-names: Ahmad Ali | |
| - family-names: Westerhoff | |
| given-names: Jessica | |
| - family-names: Haiku | |
| given-names: Claude | |
| title: Sovereign Forge | |
| version: 1.0.0 | |
| date-released: 2026-07-29 | |
| url: https://github.com/SNAPKITTYWEST/bobs-control-repo | |
| repository-code: https://github.com/SNAPKITTYWEST/bobs-control-repo | |