∮Research
Programmes, evidence, and archives.
Current work connects learned structure, mathematical identifiability, situation understanding, and robot workflow engineering. Canonical results, working questions, source previews, and historical records retain their separate evidence.
- 01
Main research · Canon 24
Unified Latent Representation
ULR is the current Main research programme. Canon 24 and Ledger 105 conclude that no additional neural-specific ULR ontology is currently established (M8: NO); the programme continues by testing whether a typed organisational residual links Sharing, Identity, observer-relative Role, and Formation.
- 02
Active · simulation preview and open-source work
Robotics and engineering
RobotTransformation is a personal simulation source preview with unresolved verification failures. AntBot navigation is a merged open-source contribution; earlier assembly and cognitive-robotics studies remain linked with their evidence.
- 03
Active · identifiability and foundations
Mathematical foundations
Current work studies mathematical identifiability, exact certificates, and the conceptual foundations of relevance. The earlier RelationWorld book remains available as a separate research record.
- 04
Audited · scalar single-mode result
Delay-robust control
For the scalar recurrence e[t+1] = ρe[t] − K_c e[t−d], ρ + |K_c| < 1 is sufficient for Schur stability for every integer delay d ≥ 1. This does not establish coupled multimode or deployed-controller stability; the B-operator bound and PD-gain mapping remain open.
- 05
Audited · archived programme
Ontology Neural Networks
The original higher-order/cohomological thesis was audited to a scoped No-Go boundary. The paper remains the historical record; a modest direction-channel signal, a scalar delayed-recurrence Schur-stability result, and the audit method survive. A coupled system-level control certificate is not established, and active development has moved to ULR.
- 06
Historical · archived programme
Perception theory
Soft Cognitive Cohesion is preserved as a sealed historical programme at CV-1.17. Its mathematics and 98-claim ledger remain available, while active main research has moved to ULR.