The Week

The stand-down this paper called “holding” a week ago collapsed into open war across the Gulf, Ukraine’s strike campaign choked a second Russian sea, and a machine claimed a proof mathematicians could not reach — while markets, watching all of it, shrugged.

The week’s largest reversal was the one last week’s review got most confident about. Seven days ago the US–Iran channel was “holding since Monday,” Doha open, “positive progress” reported. This week it disintegrated day by day. Iran spent the Khamenei funeral converting Hormuz warnings into action, forcing ships back on Monday and setting an LNG tanker ablaze off Oman on Tuesday; Washington called the tanker strikes a “clear violation” and answered with airstrikes on Wednesday, Iran hit Bahrain and Kuwait, and by Thursday Trump declared the interim ceasefire “over” and told reporters he was “not sure” he wanted a deal at all. Friday brought the largest exchange yet — CENTCOM’s ~90 strikes against Iran firing ten ballistic missiles at Jordan’s Azraq base — and by Sunday Iran had formally declared the Strait closed and was striking US installations across four Arab states. The one moderating signal was Saturday’s private admission of “a mistake” and Vance’s presence in Oman — but the US deadline passed into full escalation, and by Sunday Iranian officials were privately warning Khamenei the naval blockade is economically devastating the country. The funeral that was meant to steady the succession concluded Friday in Mashhad against this backdrop; no successor surfaced in the record, and Mojtaba Khamenei vanished from coverage after Monday’s account of his February injuries.

Ukraine’s campaign, meanwhile, added a whole new front. Last week it was refineries — 42% of design capacity. This week it stayed there and then went to sea. The Omsk refinery, Russia’s largest, was struck 2,500 km deep and formally halted by Wednesday; Zelensky declared there was no major refinery left unstruck, and the domestic tell shifted from front-line attrition to daily life — 12–18 hour fuel queues, six regions with no functioning filling stations by Friday. Then the maritime phase: 35 Azov vessels struck in 96 hours by Friday, 76 ships in six days by Sunday, the Don–Azov canal halted and Kerch Strait passage suspended. The IEA cut its Russian output forecast, and Deputy PM Novak publicly conceded refinery shutdowns for the first time. Russia’s reply was to bomb harder: 419 aerial assets on Kyiv Monday with not one ballistic missile intercepted, and by Sunday Zelensky claiming signals from inside Putin’s own circle favouring an end to the war — the first hint of elite dissent.

Between the two wars sat the NATO summit in Ankara, and it confirmed the transactional frame this paper has tracked for a month. It opened Monday as a “cash machine”, Zelensky was barred from addressing it to avoid provoking Trump, and it closed Thursday with a genuine ledger — €70bn in aid, a licence for Ukraine to build Patriots itself, Baltic air-policing upgraded to shoot-down authority — wrapped in Trump erraticism: a renewed Greenland annexation demand from a summit rather than a rally, a trade cutoff with Spain, lifted Turkey sanctions, and Erdoğan handing every leader a pistol. The deeper anxiety Europe named at Ankara was concrete: with the US industrial base drained by two simultaneous wars, it may no longer be able to arm its allies at all. Last week’s “Russia testing NATO” warning about Poland stayed a warning; no provocation materialised in the record.

The week’s quieter story ran closest to this reader. OpenAI shipped the GPT-5.6 family Thursday — Sol taking Terminal-Bench SOTA and beating Fable 5 on agentic exams while Fable held SWE-Bench Pro — and then, on Saturday, Sol Ultra reportedly produced a complete proof of the Cycle Double Cover Conjecture, open since the late 1970s, with both proof and prompt published and community verification still pending. Sunday’s edition framed the week’s “quieter argument” as how much code a developer should still write by hand — the right frame, since GPT-5.6’s headline feature is programmatic tool calling and its most striking claim is a machine doing mathematics no human had.

The rest of the ledger was thin and, tellingly, calm where it should have been jittery. Across a week in which a Gulf war expanded and Hormuz was declared closed, markets never flinched: VIX fell 5.1% into the weekend, gold drew no safe-haven bid, and Brent held near $78 — the read being tactical disruption, not terminal. Lindsey Graham died Sunday at 71 of sudden illness. And the Le Pen appeal, billed Tuesday as deciding France’s 2027 race, dropped out of the record — the verdict due that day went unreported in every edition after it.

Threads

Questions

From last week:

• “Does a challenger to Burnham materialize when Labour nominations open on 9 July — and does the coverage pick the story back up at all?” — Open. No Labour coverage this week at all, despite nominations opening Wednesday. The story stayed dark for a third straight week.
• “Does Iran name a successor as Supreme Leader once the six-day funeral concludes, and does the injured Mojtaba Khamenei figure in the outcome?” — Open. The funeral concluded Friday with the burial in Mashhad, but no successor surfaced in the record and Mojtaba disappeared from coverage after Monday. The succession remains unnamed — plausibly because the war reignited around it.
• “Does Norway beat Brazil in the round of 16 on 5 July?” — Open. No coverage this week; the match fell just before this edition’s window and no daily reported the result.

Posed this week:

• Does the GPT-5.6 Sol Ultra proof of the Cycle Double Cover Conjecture survive expert verification, or is it retracted / found flawed once mathematicians examine the published proof?
• Does Hormuz reopen to civilian transit — does any party restore or guarantee passage through the strait Iran declared “closed” on 12 July — or does the closure harden into a sustained blockade?
• Did the Paris appeals court’s Le Pen verdict actually land on 7 July, and if so which way — and does next week’s coverage report it at all?