Daily Dossier

No material flip · contested Hormuz flows densify

• Hormuz: Qalibaf — US Gulf energy firms “exposed”; Rezaei — restricted zone + corridor maps “coming days”; traffic ~10/day May-low · Brent ~$97 then eased
• Ukraine: Witkoff “substantive progress” on scheduling trilaterals; Peskov “too early” on venue; no territorial breakthrough
• Patriot: No new US delivery today; PURL = “basic” PAC-2/3 monthly — insufficient into winter ballistic scale-up
• Europe: Russia orders Germany’s St. Petersburg consulate closed by Sep 18 (+ Goethe) after Leipzig drone spat

Evening delta vs morning — not Soft Publish. Escalation watch: Hormuz still highest kinetic risk.

Two wars, one scarce magazine — Hormuz flare + Ukraine talks while Patriot stocks bind the system

• US–Iran maritime flare: IRGC missiles at Navy ships; CENTCOM hit three Iranian tankers; Hormuz “exclusion zone” talk; ~10 ships/day; Brent ~$97 (HIGH)
• Witkoff/Kushner Moscow→Kyiv: substantive talk, no breakthrough; Zelenskyy budgeting another winter + AD/energy/LNG ask
• Binding constraint: air defense — CSIS ~65% US Patriot drawdown since Iran war; Ukraine near empty; EU PAC-3 loan talk links Gulf + Ukraine + NATO Europe

Into Tuesday reopen — Brent ~$97 · ES quiet · software fork still Thu

• FACT late: Equity futures ES −0.08% / NQ +0.36% · WTI $92.45 · Brent $97.11 — quiet holiday tape into cash open
• Hormuz physical: Kpler ~10 commodity ships/day (May low); Sat 2 / Sun 6; no VLCC exit since Wed
• Thu fork: PPI + ORCL AMC + ADBE · Fri CPI + KR — questions, not buys

Desk (not tips): ship-count May lows vs “fully open” talk; software week = backlog-vs-cash (ORCL) meeting ARR-under-succession (ADBE).

Tata Motors opens €3.8B cash tender for Iveco as Exor locks in its stake

• Acceptance open today at EUR 14.1/share (through 26 Oct); Exor 27.06% irrevocable; board recommends; regs cleared
• Capital also chasing scarce capacity: TCS HyperVault, Samsung Biologics/PolyPeptide, Hyundai-POSCO Louisiana steel
• Strategic: cash control of complementary CV geography — not done until acceptance thresholds clear

Claude autoformalizes Fermat’s Last Theorem — Lean-checked in ~11 days

• Anthropic research (Sep 4; circulating hard Sep 7): multi-agent Claude on Prove2Me wrote ~13M lines of Lean, ~29,500 intermediate theorems; Lean-checked; Mathlib FLT statement; only Lean’s three standard axioms
• Not a new proof of FLT — Wiles did that (1995). Inflection = verification: years of human formalization compressed to ~11 days with sparse high-level nudges
• Kevin Buzzard (Imperial / Lean FLT): “extraordinary autoformalization achievement” — step toward checking LLM-generated math

HOLD Reject “AI proved Fermat” hype. Correct frame: machine-checked formalization of an existing landmark proof at unprecedented scale. Anthropic primary →

Retune while the music keeps playing — RL from syndrome rates

• Open: AI retunes from the same error beeps the computer already listens to — no stop-the-world calib
• Changed: RL steers >1,000 Willow control params during computation · ~20% LER cut vs expert
• Surface d=7 LER 7.72×10⁻⁴/cycle · up to 3.5× stability under injected drift
• HOLD Not a new code · injected ≠ all natural drift

Two protected qubits in 20 — cheap Clifford, talks to surface code

• Open: [[20,2,6]] Helix packs 2 logicals into 20 physical; cheap Clifford + bridge to d=5 surface
• Changed: Early-FT architecture on Helios — memory + 2-logical Clifford RB + heterogeneous GHZ, no postselection
• ε₆ ≈ 4.6×10⁻⁵/cycle · ε_C ≈ 2.8×10⁻⁴ vs physical ~1.2×10⁻³
• HOLD No T/magic · not universal FT · company preprint

Moving protected patches — surgery toolkit, modest gate quality

• Open: Moved/entangled error-corrected patches on a 107-qubit chip — compute toolkit, not just storage
• Changed: No-postselection Clifford layer (H, S, CNOT) via lattice surgery on d=3 patches
• Logical CNOT F 0.643(2) · Bell F 0.550–0.624
• HOLD Not high-fid FT · not below-threshold · not universal

Error correction on a chip that isn’t a textbook grid

• Open: Clever routing + noise-canceling pulses on heavy-hex; taller/wider helps specific info; some scorekeeping can fake success
• Changed: Anisotropic surface-code scaling on Heron — not isotropic below-threshold Λ
• HOLD Not Google-style below-threshold · ~30% is projection · not logical gates

Continuous twist on an encoded qubit — Steane logical Z(θ)

• Open: Dial a continuous twist on an encoded qubit by twisting all physical pieces the same way, then check errors
• Changed: Continuously tunable non-Clifford logical Z on [[7,1,3]] Steane via transversal RZ(θ) + EC
• HOLD Not FT universality · not magic-state factory · not distance scaling

Visible mistakes beat invisible ones — D-Wave + Yale ~500 ns erasure CZ

• Open: These qubits usually “lose the photon” (machine can see it) — gate keeps visible-over-invisible error mix
• Changed: First hardware-validated ~500 ns CZ on dual-rail cavity erasure qubits during two-qubit ops
• Numbers: erasure ≈ 0.5%/gate · residual Pauli < 0.1% · bit-flips ~ 10⁻⁶
• HOLD Not logical qubit / not below-threshold QEC / not advantage

Lowell closer to Kauaʻi — airport already seeing tropical-storm winds

• Still Category 2 (110 mph) · about 170 miles SW of Līhuʻe
• Kauaʻi schools and county offices closed Tuesday · more rain expected
• No confirmed damage yet

Canada matching surtaxes on U.S. goods now in force

• CBSA CN 26-23 · effective Sep 8 · 15% / 25% / 50% on listed U.S.-origin goods
• Finance list ~$27.6B · steel/aluminum can go 25%→50%
• HOLD: exact 12:01 a.m. timezone · U.S. retaliation tonight · border volume impact

Plane hit a cleaning van and a car after leaving the runway

• Flight recorders recovered · cause still unknown
• Local reports: 5 dead — not confirmed as ground-vehicle deaths
• Path details under the full card

Acton unharmed · Havas no bond · Tue court expected

• Weapons recovered, not brandished · two on mobility scooters knocked down
• Acton Monday: “rough day” · thanks troopers
• HOLD: felony vs misdemeanor assault degree

von Glahn response filed — leave Missouri map block in place

• Response + amici on docket · no Kavanaugh stay yet

Israel airspace whipped to ~95¢ · Fed/ceasefire/Lula quiet

• Israel Sep 30: mid ~$0.955 tight (was mid-50s / 17¢ spread this afternoon) — causation HOLD
• Fed ~47.5/51.5 · ceasefire-Oct-31 ~76.5¢ · Lula ~58.5¢ — no material delta

Elon tweet derby · aliens · OpenAI AGI / #1 model

• 180–199 tweets ~48¢ · aliens ~4¢ · AGI announce ~22¢ · best model ~10¢

No flip — Henderson still no practice · START Stevenson

• START: Stevenson (Mon still not cleared) · Price SEA flex/RB2
• FADE: Henderson until real practice + Wed inactive list
• LATER: Kittle trending active Thu · Jeanty/Washington · Etienne · don’t crown Lloyd

TOR@ATH ~9:05 · NE@SEA Wed Opening Night

• TOR −196/−208 · ATH +164 · total 8.5 — lines-only
• SEA −3.5 / 44.5 promoted to NOW · SMU/STL/CIN odds pulled

Spider-Noir done · MobLand S3 early · Inbetweeners cameras rolling

• Prime canceled Spider-Noir after one season — Cage’s Marvel show is done
• Paramount+ renewed MobLand for Season 3 before Season 2 (Sep 18) — Hardy/Mirren stay put
• Netflix Inbetweeners reunion: cameras rolling today + first look of original cast

Finales + premiere (Labor Day)

• 7:00 CT Beat Shazam S8 finale (Fox) — includes the 100th episode
• 8:00 CT Librarians S2 finale (TNT) — last new ep of the season
• 8:00 CT O.J. Unseen premiere (ID / Max) — new series opens

Desk also has America’s Tailgate (CBS 7 CT) — full 4 on the Entertainment page.

1949 whale song · snails flown home · SmartBlink teen

• WHOI found a 1949 humpback tape (story published Feb 10)
• ~1,000 snails flown home to Norfolk Island (~July)
• ISEF winner SmartBlink holds the walk light for slower pedestrians