Research overview
Constraint graphs, tension, and information transfer.
The research program is evidence-first: build small mechanisms, expose their telemetry, run controlled comparisons, and report measured results.
Claim discipline: Claims are bounded to the linked experiment scale. Broad capability claims require benchmark receipts.
Focus
Graph-Based Reasoning
Represent reasoning work as nodes, edges, activation, constraints, pressure, and revision history.
Focus
Constraint Propagation
Study how local updates change neighboring claims, model states, or proof traces over time.
Focus
Tension Dynamics
Track mismatch, contradiction pressure, and relaxation as measurable telemetry rather than hidden vibes.
Focus
Interpretable AI Systems
Prefer inspectable fields, replayable traces, provenance, and benchmark receipts over loose claims.
Claim discipline
Architecture advantages are treated as hypotheses until backed by benchmark receipts, replayable experiments, or source-linked evidence.