Skip to content
View francescomaiomascio's full-sized avatar
🧊
working on ICE
🧊
working on ICE

Block or report francescomaiomascio

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 supported. This note will be visible to only you.
Report abuse

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

Report abuse

FRANCESCO MAIOMASCIO

Sovereign Runtime Architect | Deterministic Systems | Formal Authority


YAI — Sovereign Architecture

YAI is not an AI framework.
It is a runtime with law.

A layered execution system where:

  • State is durable
  • Authority is explicit
  • Events are replayable
  • Boundaries are formalized
  • Providers are trust-scoped
  • Intelligence is sandboxed

If it cannot be reconstructed from logs, it does not exist.

law → axioms, invariants, formal specs (TLA+)
kernel → authority, bootstrap, enforcement (C11)
engine → deterministic execution + scaling surface (C11)
mind → orchestration + cognition (Rust)
docs → specs, datasets, stress tests

Law

  • Axioms (Execution / Authority / State / Adaptability)
  • Determinism invariants
  • Governance invariants
  • External effect boundaries
  • Formal TLA+ specs

Kernel (C11)

  • Bootstrap boundary
  • Session management
  • Enforcement FSM
  • Vault binding
  • Transport + identity

Engine (C11)

  • Storage gate
  • Agent enforcement
  • Runtime bridge
  • Deterministic event flow
  • Cortex (statistical scaling surface — no ML)

Mind (Rust)

  • Provider lifecycle
  • Memory (semantic / episodic / vector)
  • RAG pipeline
  • RPC + UDS
  • LLM adapters (gated, audited, authority-aware)

DOCTRINE

"Code is ephemeral. State is truth. Authority must be earned."

YAI enforces:

  • Deterministic replay
  • Hard-fail on violation
  • Formal trust store for providers
  • Audit-first lifecycle
  • Capability-gated orchestration

LLMs do not execute. They propose. The Kernel authorizes.


TECH STACK

C11 • Rust • TLA+ • SQLite • ONNX • UDS • Deterministic Logging

No frameworks. No black boxes. No magic.


SYSTEM STATUS

Status Determinism Authority


RESEARCH AREAS

  • Runtime sovereignty
  • Hardware-aligned enforcement
  • Formal boundary design
  • Event-derived state systems
  • Cognitive orchestration under authority constraints

Website HuggingFace LinkedIn X Bluesky


YAI is structural research. It prioritizes invariants over speed, authority over automation, and determinism over convenience.

Pinned Loading

  1. yai-yx yai-yx Public

    YX (YAI Experience) is a high-performance cockpit for YAI—real-time observability, governed operations, and traceable execution.

    JavaScript

  2. project-standard-core-public project-standard-core-public Public

    Public proof surface for a policy-first project standard showing how software projects can be governed before tooling, CI/CD, or automation exist.