Autonomous cognition infrastructure

AI governance
you can prove.

Middleware and infrastructure that make AI behavior structurally verifiable — not promised, proven. Built on MaL, a formal framework where mathematics is the system, not a layer applied on top of it.

Live production endpointtheory is marketing · integration is moat
Metis dual machine — icosahedron and dodecahedron
Metis dual machine · icosahedron dodecahedron
Navy
veteran-built
1,410/1,410
benchmarks
<50ms
latency
600+
tests (Acropolis)
2 DOIs
Zenodo · ORCID
self-host
MaLCog compiler
01  /  Products

Infrastructure that converts capability into proof.

Four products. Each drops into deployments you already run — no retraining, no rip-and-replace.

01Hyphasis →PROMPT INJECTION DEFENSE · MIDDLEWARE
Prompt injection defense that doesn't degrade.
DEPLOYS INTO
Energy / utilityHealthcareDefenseFinancial services
Request design-partner access →
HOW IT WORKS

A mathematical decomposition pipeline makes injections structurally inadmissible — not pattern-matched, not classified after the fact. No secondary classifiers, no retraining.

Benchmarks passed1,410 / 1,410
Latencysub-50ms
ArchitectureGeneral / Developer / Public
Endpointapi.metacortexdynamics.com:8443
02Acropolis DaaS →CRYPTOGRAPHIC AUDIT TRAIL · DaaS
Provable compliance records on a post-quantum blockchain.
PROVES
Pipeline integrityEnvironmental complianceFinancial audit
Contact for integration →
HOW IT WORKS

Every record receives a STARK proof and a cryptographic derivation chain. Immutable, auditable, quantum-resistant — proving what happened, not asserting it.

SLH-DSA / SPHINCS+SHA-3 / Poseidon dual-hashSTARK prover / verifierDerivationProofGovernance layerEncrypted mempool
03QueueGate →REPO-NATIVE AI BUILD GOVERNANCEv1.0.0 · controlled eval
Stop letting AI coding agents decide when they're done.

13 lifecycle gates check scope, evidence, risk, integrity, review, merge, closure, and release before agent-generated work is allowed to count. Reason-coded blockers and remediation — not conversational judgment.

● ACTIVE● BLOCKED● EMPTY
13 LIFECYCLE GATES
IntentScopeMandatePacketEvidenceRiskIntegrityReviewMergeClosureReleaseFeedbackEvolution
WHAT IT IS NOT

Not a prompt wrapper, chatbot, IDE plugin, or hosted service. A repo-native lifecycle governance layer — alongside CI and repository permissions, not replacing them.

04MetaCortex Code →GOVERNED AI CODINGv1.0 · controlled pilots
AI coding, with a governed path to merge.

A green-looking result is not closure. MetaCortex Code stops when the repository is actually closed — queue empty, evidence complete, working tree clean — not when a model says it's done.

proposal decision
decision promotion
promotion execution
Request a controlled pilot →
v1.0 INTERNAL BENCHMARK
Bounded tasks completed10 / 10
False allows / false denies0 / 0
Replay-identical10 / 10
Hard-safetyfail-closed
02  /  Systems

Three autonomous systems. One substrate.

ORI, Metis, and Acropolis are peers — not layers, not parent and child. Each is autonomous, each serves a different domain, and all three compile down to MaL.

ORI
AUTONOMOUS RESEARCH

A research platform that reads, hypothesizes, and publishes — targeting ARC-AGI-3 and SciCode benchmarks.

All code written in MaLCog.
Metis
DETERMINISTIC COGNITION

A native deterministic cognitive architecture — not LLM-based. Built on the dual machine: dodecahedron and icosahedron.

QUATERNARY logic
15 operators · 7 witnesses
Self-hosting
Acropolis
POST-QUANTUM L1

A hash-only post-quantum L1 blockchain. STARK proofs, SLH-DSA/SPHINCS+ signatures, SHA-3/Poseidon dual-hash.

5 crates · ~23.7K lines · 600+ tests
MaL — Mathematics as Language
the shared formal substrate · ∀x(Path(x))
HOW IT WORKS · THE STRUCTURAL APPARATUS
15 OPERATORS
THISSAME / NOT-SAMENOIF / THENBECAUSEINSIDE / OUTSIDENEAR / FARCAN / CANNOTMAYBEMUST / LETTOGETHER / ALONEMORE / LESSGOES-WITHMANY / ONEEVERY / SOME
7 WITNESSES
WHATWHEREWHICHWHENFOR-WHATHOWWHENCE
TRIAD · IRREDUCIBLE DECOMPOSITION
□GGenealogical — whence it came
□SStructural — what it is made of
□FFunctional — what it does
03  /  Partners

Build hardened AI deployments with MetaCortex infrastructure.

For digital consultancies and integrators: embed Hyphasis and Acropolis into your client deployments and ship provable AI governance as part of your delivery.

Become a partner →
Embed & co-deliver
Drop-in middleware — no retraining, no client-side rip-and-replace
Provable compliance records your clients can hand to auditors
Defense-grade primitives for regulated verticals
04  /  Research

Published, archived, attributable.

SUBSTACKmetacortexdynamics.substack.comZENODOmetacortex-dynamics communityORCID0009-0004-8164-2159
DOIMaL V1.1 · 10.5281/zenodo.20318684
DOICGP · 10.5281/zenodo.20171365
05  /  About

Devon Generally

PRINCIPAL INVESTIGATOR
Navy veteran · submarine serviceInstrumentation technicianIndependent researcher

No academic lineage. The framework's authority comes from proven theorems, a self-hosting compiler, three autonomous systems, and empirical data — not from where the work was done, but from whether it holds.

An instrumentation background means treating cognition the way you treat a sensor system: define what must be true, build the apparatus that makes it true by construction, and measure. MaL is that apparatus.

06  /  Contact

Start a conversation.

Whether you're evaluating a product, integrating as a partner, or reviewing the research — tell us what you're trying to prove.

contact@metacortexdynamics.com