Skip to content
View borjamoskv's full-sized avatar
🎯
Focusing
🎯
Focusing
10 followers · 32 following

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: YOLO

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: YOLO

Block or report borjamoskv

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
borjamoskv/README.md
Borja Moskv Systems Banner

Error Navigation Systems · Sovereign AI Infrastructure · Epistemic Dependency Graphs
Optimizing for correction, not certainty.

▀▄ Sovereign Infrastructure

  • CORTEX Persist: Tamper-evident memory & EDG V6 for agents.
  • agents.archi: Sovereign Agentic Architecture Registry.
  • Anvil: Trust-by-compilation language via Z3 SMT solver.
  • mac-maestro: Semantic GUI automation bridge for macOS.

▀▄ Core Capabilities

  • Blast Radius Computation: Isolating generative failures.
  • VSA Memory Models: High-density vector-symbolic storage.
  • Z3 SMT Constraints: Mathematical bounds on generative drift.
  • Append-Only Ledgers: Merkle-style cryptographic provenance.

⚡ CORTEX Live Telemetry

Ledger Transactions Memory Boundary

Hash Anchor: 6a01d22f5e10efd9e5 Public Digest: fcb0a3d8358cea0e Status: VALID

Wake -> Guard -> Store -> Hash -> Verify -> Project


Verification Protocol
Every public claim requires:

✓ reproducible execution
✓ source artifact
✓ immutable reference
✓ audit trail

Pinned Loading

  1. Cortex-Persist Cortex-Persist Public

    Tamper-evident memory & decision lineage for AI agents. Cryptographic proof of what your agent knew. Powered by a hybrid Python/Rust (Direct-Silicon) core.

    Python 3

  2. mac-maestro mac-maestro Public

    Semantic-first macOS GUI automation with safety gates and structured traces.

    Python

  3. smoke-detector-extension smoke-detector-extension Public

    JavaScript 2

  4. anvil-lang anvil-lang Public

    Anvil — A programming language where trust doesn't compile. Formally verified smart contracts via Z3 SMT solver.

    HTML 1

  5. asl-spec asl-spec Public

    Agent Specification Language (ASL) — Open standard for formally verifying autonomous agent behavior. MIT License.

    Python

  6. moskv-1-apex moskv-1-apex Public

    Sovereign C5-REAL L5 Execution Kernel. Exergetic MPC / Thermodynamic Control.

    Python 1