How Cordon works, and the research programme behind it.
Cordon analyses your own trade-compliance control stack as a composed system. It looks for structural coverage gaps — combinations of conditions where your export-control, sanctions, rules-of-origin, and customs rules, taken together, do not prevent an outcome you would want them to prevent, even though every individual rule is doing what it was written to do.
The engine does not screen against live sanctions lists and does not act as a customs broker. It treats your rule set as a mathematical object: a system of constraints that, taken together, either does or does not close the space of outcomes you have committed to closing. Where the composition leaves an opening, Cordon surfaces the opening and pairs it with a remediation.
The engine is built on a line of research into the structural mathematics of constraint sets — the conditions under which a set of rules, treated as a composed system, does or does not prevent the outcomes it is intended to prevent. The research programme is carried on at Ianura Ltd; its principal author is Corneliu Moisei (ORCID 0009-0009-9974-546X).
Three threads run through the work: the computational primitives that let constraint geometry be computed at all; the cognitive-architecture substrate that lets those primitives compose into analysable systems; and the methods by which that substrate is applied to structural analysis and navigation of real rule sets. In Cordon, those methods are applied to stacks of UK, EU, and US trade-control regimes — OFSI sanctions, HMRC export controls, Export Control Joint Unit dual-use regulation, BIS and OFAC obligations, rules-of-origin, and customs classification — composed together as the single rule set the Customer actually operates under. Collectively these threads form what the research programme calls constraint-native computation.
The engine underlying Vigilia, Cordon, and Remit is the subject of six (6) UK patent applications filed with the UK Intellectual Property Office (UKIPO) by Ianura Ltd, currently pending examination. The filings fall within a single umbrella category: constraint-native computation — the computational primitives, cognitive-architecture substrate, and related methods through which constraint geometry is applied to structural analysis and navigation. Specific filing titles and per-filing category breakdowns are maintained in Ianura Ltd's internal portfolio register and are not disclosed externally while the applications remain pre-publication. No claims are made as to the technical scope of coverage that will ultimately be granted; status is pending and examination is ongoing.
The long-form description of the research programme, and the Ianura Ltd portfolio context, are published on the Ianura research site at ianura.com. For commercial terms applicable to Cordon specifically, see the Terms of Service and the Acceptable Use Policy.