Projects and results
Explore the experiments, software and mathematical questions within ORBIT. Each item has its own purpose and evidence: a working package, a prototype and an open conjecture are not interchangeable status labels.
AI behaviour
Can observations from a multi-turn interaction warn of a developing failure early enough to change its outcome?
CARF specifies how candidate trajectory measurements would be tested and used. Controlled synthetic work is internally reported; prospective warning and operational deployment are not established.
Worked experimentCurrent evidence and limitationsChange the conditions in an illustrative experiment and inspect the planned comparisons. It does not run an agent or produce measured results.
Explore the designStatistics
Fixed-sample intervals and sequential evidence answer different questions. The sampling design and the chosen method determine the guarantee.
Design-aware confidence intervals for 2 × 2 tables. Exact conditional, Mid-P, score and asymptotic constructions are explicitly distinguished.
Methods, examples and source codeSequential-evidence work within the Inference direction. A sequential validity claim requires its own construction and assumptions; a fixed-sample interval alone does not provide it. A release record is not currently linked here.
Ask for the current evidence recordMathematics
Exact computation can expose structure. A proof must still establish a precise statement under its stated hypotheses.
Mathematical discovery through representations, counterexample searches and proof engineering.
Programme and worked questionCan three consecutive positive integers all be powerful? Paper I excludes indices divisible by 17 or 41 in its stated shifted-square recurrence setting. The full conjecture remains open.
Problem, current result and exact scopeShared capability
A mathematical proof, a statistical algorithm and a release-policy check have different objects and different limits.
A formal-control demonstrator for declared release policies in a trusted research environment. It is not a number-theory result or evidence that an integrated CARF operational system is deployed. The public repository documents its fixed predicate and implementation boundary; an evaluation record beyond that narrow demonstrator is not linked here.
View the public source repositoryAsk for the evaluation recordProgramme
The three directions connect through a research hypothesis, not a claim that one result establishes the others.