Europe's flagship regeneration projects and institutions, examined the same way: two futures, side by side — delivery as it stands, subject to institutional and human risk, and delivery on infrastructure whose guarantees are formally proved. Public studies; corrections welcome.
Each study is a working document addressed to the people responsible for a flagship infrastructure project — and open to anyone. It is built on the public record, with every date, figure and quotation sourced, and its heart is a set of interactive comparisons: for each pillar of the project's promise, the future without verified participation beside the future with it, on concrete metrics.
These are not sales documents. They are written to withstand the closest scrutiny, to be corrected and improved by the people who know each project best — in the open.
Together they are the pebble whose ripples reach and improve every aspect of these flagship projects and institutions. None of the districts opens before the 2030s, and none will ever adopt anything unproven. The dependency runs the other way: every “with” benefit in these studies, and the avoidance of every “without” pitfall, rests on four machine-verified mathematical guarantees (including pas de fausses personnes et pas d'argent venu de nulle part) that must be proved: the 4 Theorems.
Funding applications are being lodged in 2026/27, nationally and internationally, with research agencies including ARIA (UK) and European programmes. Nothing has been awarded yet.
Poissy, Massy or the Parc des Princes — decision this autumn. How a territory proves its promised benefits, and how France's 2012 ticketing law finally becomes enforceable.
Open the study → EN · ESEurope's largest urban regeneration, three-quarters owned by Spain's second bank — its jobs promise, its 14-hectare park and the EU anti-fraud obligation reaching every event, small and large — examined twice, without and with proved guarantees.
Open the study → EN · ESSpain's second bank and majority owner of Madrid Nuevo Norte: its fraud defence, its OpenAI alliance and its promise of 106 million people supported — delivered, then proved. The institutional companion to the Madrid study, as Lloyds is to Manchester.
Open the study → EN · FRThe largest bank in France and the euro area: its fraud defence — and the Cour de cassation ruling handed down against it — its settlement leg, Europe's most advanced, its 4.94 million Nickel accounts and its 1.6 million Projet Banlieues beneficiaries — delivered, then proved. The first study in the series on a French bank.
Open the study → ENA 100,000-seat stadium district, a live public consultation and a resale law expected 2027-28: compliance and the community promise made verifiable.
Open the study → ENThe UK's largest retail bank: its fraud defence, its tokenised money and its promise of one million young people — examined twice, without and with proved guarantees.
Open the study → ENIreland's largest regeneration in a century: a financed district with two open questions — who will programme its cultural life, and how an anti-touting law becomes enforceable.
Open the study →The Paris study exists in both languages: français · English. The Manchester, Lloyds and Cork studies are in English, the working language of their respective audiences; the Paris and BNP Paribas studies are in French, each with an English edition: BNP Paribas français · English.