Research
Papers and experiments behind the books, with the evidence supporting their claims and the questions still open.
Current priorities
Tarski Coherence
Which degree-1 Hodge-Tarski statements hold for finite lattices beyond vector spaces?
external reviewFormally verified resultsBABEL v2
Do structural signals predict execution failure on independently authored workflows?
active draftConjectural
Further work
The Disclosure Deficit
Which fee-family results remain after removing the topology, safety, and prediction claims?
active draftNot assessedSHEAF
Does the local-to-global sheaf framework extend to heterogeneous agents?
active draftConjecturalCompositional Incoherence Is a Parity
When is compositional incoherence invisible to bounded-radius certification?
technical reportConjecturalThe Golden Gate
Can semantic-control systems be evaluated for accepting, refusing, requesting evidence, preserving choice, and abstaining for the correct checkable reason?
active draftNot assessedInterpolant Envelope
When can a finite disputed predicate be safely defined in shared vocabulary, partially certified, or disproved by same-reduct countermodels?
technical reportFormally verified resultsNo Free Precedent
Under what explicit reason, authority, scope, closure, and epoch may one forum finding govern a later case?
technical reportFormally verified results