Local Alpha
Evidence-governed software submissions
A working local Alpha applies evidence-governed controls to software submissions and staging publication. Internal qualification recorded 184 passing test executions across 168 distinct test methods.
Controlled experiment
Measurement and accountability
A separate controlled experiment in October 2026 demonstrated a connection between model-derived measurement and permitted or refused action branches.
Bounded formal model
Trusted Continuance
The current formal work concerns a bounded Trusted Continuance model under stated assumptions. Implementation testing and formal results have distinct scopes, described with the relevant work.
Explore the current programme↗Provisional application
Patent application
I am named as inventor on Australian provisional patent application AU2026905978, filed 2 July 2026, concerning evidence-governed runtime continuance of machine agents.