静けさ · adversarial clarity · geometric systems

JESÚS VILELA × DOJO-1

Research systems that survive contact with evidence.

Formal mathematics, geometric AI, adversarial verification, and semantic infrastructure — source/proof lineage on GitHub, model/data/Space execution on Hugging Face.

JESÚS VILELA × DOJO-1 GITHUB ↔ HUGGING FACE HUMAN ↔ MACHINE ↔ PROOF
small kernels explicit falsifiers matched nulls rebuildable evidence
09

GitHub systems
source · proof · lineage

—

Hub artifacts
models · datasets · Spaces

04

research channels
analytic · algebraic · architectural · boundary

●

living archive
resolving public surfaces

源 · source / proof plane

GitHub

Code, theorem footprints, experiments, provenance, correction history, and rebuildable source artifacts.

sourceprooftestslineage
enter source graph ↗

実 · model / data / Space plane

Hugging Face

Public models, datasets, Spaces, and executable research surfaces resolved live from the Hub.

modelsdatasetsSpacesruns
enter Hub surface ↗

rizz² × science · bounded reflexive cycle

Make the claim earn its shape.

One pass to construct. One pass to attack. Style may improve transport; it may not promote evidence.

Interactive research evidence cycle Eight selectable stages from question through evidence gate. 問QUESTION 定DEFINE 対CONTROL 造BUILD 測MEASURE 破ATTACK 復REPLICATE 証GATE

Select a label to inspect what it licenses — and what it does not.

MVP · minimum viable proof

Choose the smallest artifact that can fail.

Enter through an observable, not a mythology. Each gate points to a public artifact with a different falsification surface.

01 · VERIFYdoubt-the-machine

Turn an AI-assisted claim into checks, counterclaims, and explicit failure conditions.

claim → falsifier → verdict 02 · FORMALIZEconnection_laplacian_lean

Reduce mathematical ambition to typed statements another checker can rebuild.

definition → theorem → kernel 03 · STRESSλSAT

Separate certified solver behavior from hypotheses about the structure of hardness.

instance → certificate → scope 04 · MEASUREIGBundle-LLM

Ask whether geometric inductive bias survives matched baselines and bounded evaluation.

operator → baseline → effect 05 · TRANSPORTTrasgo

Move structured context through constrained interfaces while exposing what was lost.

state → codec → remainder 06 · TRACEAIGit

Make semantic lineage reconstructable beside lexical version history.

identity → diff → provenance 07 · ORCHESTRATENETTRACER

Route and replay heterogeneous AI runtimes with observable control boundaries.

request → route → replay 08 · EXECUTEHugging Face surface

Inspect the public models, datasets, and Spaces that form the execution plane.

artifact → run → public evidence

hypercomplex research manifold · live projection

One identity. Many coordinate systems.

Move through one public research constellation projected across GitHub source/proof lineage and Hugging Face model/data/Space artifacts.

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.