Skip to content
View terrizoaguimor's full-sized avatar
8 followers · 16 following

Achievements

Achievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: Starstruck

Achievements

Achievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: Starstruck

Organizations

@celiumsai

Block or report terrizoaguimor

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
terrizoaguimor/README.md

Mario Gutierrez - systems, memory, proof

Mario Gutierrez

Founder of Celiums. I build systems that remember, prove, and know when to stop.

Rust, AI infrastructure, and verifiable systems from Medellin, Colombia.

Website / Celiums / Research / LinkedIn

Selected systems

System What it does
Hyphae Local-first data engine with SQL, native structures, search, recovery, and proofs under one Rust-owned authority.
Celiums Memory Cognitive engine for persistent agent memory, first-person journals, ethics, and biological time.
PliegoRS Rust-native framework for verifiable, replayable, and durable web interfaces.
PliegoCSS Rust-native CSS compiler, verifier, migration toolkit, and evidence pipeline.
TinyMARS Open research on proprioceptive control channels for language models.
SchemaProof Proves database migration compatibility before deployment.

Research

Proprioceptive channels as a perpendicular control axis

Under direct conflict, a deterministic control channel governed 264 of 265 frozen-base cases and replicated from scratch in 88.8% of 455 counterfactual pairs. The result is deliberately bounded to small models and one replication.

Research record / DOI / Code

Hash-chained verbatim citation for verifiable provenance

A citation and journal layer detected and localized all store-only tampering in its bounded benchmark. It does not replace an external anchor against an adversary aware of the chain.

Research record / DOI

Method

Build the system. Measure the result. State the limit.

I publish the architecture, evidence, negative results, and exact boundary of what each result demonstrates.

Pinned Loading

  1. celiums-memory celiums-memory Public

    Open-source cognitive engine for AI agents — persistent memory, a first-person journal, a four-layer ethics engine, and a per-user biological clock, over MCP. Apache-2.0.

    Rust 22 1

  2. tinymars tinymars Public

    Is proprioception an architectural category for language models, or an adapter technique? An open research log: channel causality proven from scratch (H200, iter 1-4), then frozen-base cross-attent…

    Python 1

  3. schema-proof schema-proof Public

    Prove database migration compatibility before deployment.

    JavaScript

  4. celiumsai/pliegors celiumsai/pliegors Public

    Rust-native framework for verifiable, replayable, durable web interfaces.

    Rust 1

  5. celiumsai/hyphae celiumsai/hyphae Public

    Local-first Rust data engine: SQL, native structures, lexical/vector search, WAL, MVCC, recovery, and verifiable proofs in one binary.

    Rust

  6. celiumsai/pliegocss celiumsai/pliegocss Public

    Rust-native CSS compiler, verifier, migration toolkit, and evidence pipeline for deterministic static CSS.

    Rust