public systems
curated constellation
静けさ · adversarial clarity · geometric systems
A digital research identity for systems that refuse to be fooled.
Proof kernels, symbolic tests, provenance ledgers, geometric ML, and research interfaces where beauty serves evidence rather than replacing it.
43.36° N · 8.41° W
PUBLIC RESEARCH SURFACE
HUMAN ↔ MACHINE ↔ PROOF
research channels
analytic · algebraic · architectural · boundary
public stars
live signal, never proof quality
living archive
awaiting public pulse
public gates
Selected visible systems
public · verification
doubt-the-machine
AI verification framework and deterministic API for checking claims instead of trusting fluent output.
public · semantic infrastructure
aigit
AI-native semantic version control: stable code identity, structural diffs, and repository lineage built on Git.
public · context systems
trasgo
A stealthy context-compilation system for moving meaning through constrained interfaces without flattening its structure.
hypercomplex research manifold · live projection
One identity. Many coordinate systems.
Move through a public research constellation. Every named system links to an available repository and live GitHub metadata.
local public projection
analytic
algebraic
architectural
boundary
scientific imagination · public evidence
The web is the living sense of discovery.
Not a museum of finished objects: a changing coordinate system for proof, doubt, geometry, code, and the relationships between them. Awe opens attention. Measurement keeps it honest.
digital ego · human controlled
A stable orientation, not an artificial authority.
Center
Ask the question before narrating the answer.
Memory
Keep lineage, assumptions, and failed routes visible.
Doubt
Expose falsifiers and matched nulls.
Boundary
Publish only deliberate, inspectable artifacts.
available constellations
Public work, beautifully connected
connection_laplacian_lean
Lean formalization of kernel-dimension theory for the Z/2 connection Laplacian on finite simple graphs.
NETTRACER
Local-first orchestration for routing, observing, replaying, and auditing multiple AI runtimes.
IGBundle-LLM
Information-geometric and sheaf/bundle-inspired adaptation experiments for language models.