Enquiries

Enquiries are most useful where correctness has to be demonstrated: protocol review, rescue work, and verification, including numerical systems where the failure mode is a plausible number rather than a crash.

Typical questions: is the claim true before an investment; can a system whose team has gone be continued; what is proved, assumed, and untested; where did this number come from?

Engagements begin with a bounded triage: written findings and a go/no-go, then a scoped remediation. Remote from Aberystwyth, Wales.

Work samples: DarkWow (protocol), Rholo (rescue/port), Azoth (numerical provenance), Mudra (proof of trace).