Research

We publish mechanisms and measurements, with their limits.

The lab behind Glovrex. Papers carry a DOI, open problems fit in one sentence, and every number carries a date and a condition.

01

Papers

· Preprint · Zenodo · CC BY 4.0

A Mechanical World Model for Agents: Quotient Identity, Three-Valued Gates, and Signed Reversibility

Abstract

An agent that changes a system works in the order decide, act, report. This paper describes a model in which the order is inverted for the whole stack: a proposed change is given a canonical identity, its inverse is constructed and stored before the change is applied, a gate returns one of three verdicts over it, and the outcome (including refusals) becomes a signed record a third party can re-check offline with no trust in the issuer. Nine layers, six axioms, and the mathematical skeleton that holds them together: canonical identity as a non-invertible quotient projection; a verdict codomain of exactly three arms with evaluation failure deliberately outside it; a domain-separated hash chain binding records to a public log. 19 of 27 components are running code; every layer and axiom carries an implemented/planned/vision tag, and falsifiers are stated before the argument. Nothing here is claimed as an invention: every component has a named ancestor, and only the combination is offered as ours.

DOI 10.5281/zenodo.22168558

02

Open problems

  1. 01

    Generalising software-change integrity to physical-action integrity.

  2. 02

    Machine-level confidence that combines model, sensor, calibration and hardware health (a research question).

  3. 03

    Lifecycle evidence over years of drift and wear.

  4. 04

    Cross-party verification without a trusted server.

03

Method

Combinations
Claims are phrased as combinations of known parts. Every component has a named ancestor.
Dates and conditions
Numbers carry a date and a condition, so they can be re-run and checked.
Absence
When we say we did not find something, that is a statement about how we searched, with its date and method.