Derivation
What follows from the represented facts, rules and constraints?
EXECUTABLE SEMANTIC ASSURANCE
Executable assurance for consequential automated decisions.
ContingencyLogic researches how systems can distinguish what follows, which rules are authoritative, whether a conclusion is warranted, who may rely on it for a defined purpose, and whether it may drive action.
Independent research programme · Transport + telecom · Working demonstrator available
FROM DERIVATION TO PERMISSION
01DerivationWhat follows?
02AuthorityWhich rule may govern?
03WarrantIs the conclusion sufficiently supported?
04RelianceWho may rely on it, and for what?
05ActionIs the downstream action permitted?
THE CONTROL PROBLEM
Observability is not control.
Logs and traces can show what an automated system did. They do not, by themselves, establish whether the governing rule was authoritative, whether the evidence was sufficient, whether a conclusion was warranted, or whether the action should have been permitted.
ContingencyLogic investigates executable controls for keeping those questions separate before consequential action occurs.
CORE THESIS
Five questions. Not one confidence score.
The research deliberately avoids collapsing formal correctness, semantic authority, evidential support and operational permission into a single notion of “trust”.
Authority
Which source or rule is entitled to govern this question in this context?
Warrant
Does the current evidence justify the conclusion at the required assurance level?
Reliance
May this particular consumer rely on the result for this particular purpose?
Action
Does warranted reliance actually permit the proposed downstream action?
WORKING EVIDENCE
Research artefacts, not only a concept diagram.
Executable Contract Studio
A browser-based demonstrator for modelling, validation, provenance and generated artefacts.
Open Studio v1.1 ↗Transport + telecom
The same research proposition is challenged with materially different domain semantics rather than assumed to be universal.
Uncertainty remains explicit
Missing meaning is not silently invented merely because a system is expected to return an answer.
Source boundaries remain visible
Authoritative source material, modelling patterns, generated projections and research assumptions remain distinguishable.
RESEARCH DOMAINS
Depth in transport. Portability tested in telecom.
Digital Traffic Regulation Orders
D-TRO provides a regulated-domain test of the gap between a legal source, its machine-readable digital extract, a downstream interpretation, reliance and action.
Explore the D-TRO research →Frameworx / ODA research domain
Synthetic telecom content is used to test whether assurance responsibilities survive transfer into intent-driven, cross-domain operational settings.
Explore the telecom research →COLLABORATION
Built to be challenged.
We are interested in academic, transport and telecom collaborators who can formalise, falsify, compare or operationally test the research—not simply endorse it.