About Outputs

Public papers, reports and software.

Direct links to public outputs, with their type and status. Project pages hold the fuller methods, results and limitations; unreleased research belongs under Work.

Current public outputs

Read the output, then inspect its context.

Public mathematical paper / releasev1.0.0 · 11 September 2026

Shifted-square obstructions at indices divisible by 17 or 41 in a family of Lucas sequences

Chey G. A. Loveday. Paper I is a self-published article released with an exact-arithmetic verifier, replay checks and Lean 4 sources, under a version tag with checksums and a citation file. No DOI, arXiv deposit, journal submission or peer review is asserted. This is a partial result, not a solution of Erdős 364.

E364 project context Interactive explanation 73-second animation Illustrated guide

Public article / position paperPublished on Overdog

Safety Is Retrospective

Historical safety failures, runtime measurement for AI systems and the limits of retrospective assurance. A public argument, not a peer-reviewed paper or validation of CARF performance.

CARF project context Published writing

Software releasePublic Python package

ExactCIs

Design-aware confidence intervals for 2 × 2 tables. Source code, tests and independent numerical fixtures are public. Exact conditional methods and score-based or other asymptotic methods are labelled separately. No universal-exactness, CARF-validation or clinical-validation claim.

Methods, fixtures and source Statistics programme

Public prototype / demonstratorFormal release-boundary proof of concept

TRE release airlock proof of concept

A public demonstrator for releasing one fixed, tightly specified aggregate output format from synthetic, Trusted Research Environment (TRE) shaped data. The checked statement concerns admissibility under the repository's encoded release predicate, not the correctness of upstream scientific counts. The scope excludes arbitrary TRE outputs, the surrounding platform and general regulatory compliance.

Inspect the predicate and implementation Formal methods in context

The wider CARF R&D implementation and E364 laboratory are not represented here as public software releases. Paper I's public release is a distinct output. Further reports and manuscripts are added once public and citable, with their own evidence and limitations.

Prior scientific record

Seventy-plus peer-reviewed papers, prior to Overdog.

70+Peer-reviewed papers

5,000+Citations

Co-author of more than 70 peer-reviewed papers in statistical genetics and cancer genomics, with more than 5,000 citations as of August 2026, prior to Overdog. These figures describe that earlier scientific record, not publications or validation of the current AI programme.

The full record is on Google Scholar and ORCID. A curated selection of individual papers is pending.

The publication discipline keeps claims tied to their source and status. For explanations and longer reading, use Notes; for access to work not yet public, contact the researcher.