Dev & Infrastructure
Verification is the structural bottleneck — AI accelerates generation faster than institutions can check.
Signals
IEEE Spectrum: Viazovska's proofs verified via human-AI collaboration in two weeks.
Formal verification scaling changes the feedback loop for high-stakes claims.
Fowler/DX: 92.6% adoption, 27% AI code without review, bimodal outcomes.
27% of production code generated without organizational processes built around human-authored code.
Tamper-evident audit log response to XZ Utils. Commonhaus Foundation governance for critical OSS.
XZ was governance vulnerability, not code. Same failure: legitimacy/telos erosion in open-source infrastructure.
CALM framework: architecture patterns as machine-readable specs. Six-month review to two-hour deployment.
Compliance/security review are coordination-cost taxes. CALM encodes decisions into verifiable patterns.
US-Israel strikes on Iran disrupt carriers. Manufacturing prices highest since 2022.
Two geopolitical stress signals converging. Coordination-cost inflation active.
Control Surfaces
| Lever | Status | Change | Evidence |
|---|---|---|---|
| AI code verification | Degrading | 27% unreviewed vs near-zero 18mo ago | DX via Fowler |
| OSS governance | Improving slowly | Commonhaus response to XZ | The New Stack |
| Formal verification | Accelerating | Fields Medal problems | IEEE Spectrum |
| Supply chain stability | Deteriorating | Iran + tariffs, 2022 highs | Supply Chain Dive |
Watchlist
- ConfirmationEnterprise breach from AI code bypassing review
- InvalidationFormal verification standard in CI/CD within 12mo
- ObservablePMI and carrier routing Mar-Apr 2026
Falsifiers
- AI verification introduces subtle errors passing review
- CALM produces security regressions
- Supply chain disruptions transient
Key Unknowns
- What % of 27% AI code is in critical paths
- Error rate in AI-assisted verification
- Commonhaus legal enforceability
Noise Filter
- Qwen 3.5 2B on Android— Consumer benchmark
- easy-torch-tpu— Tooling release
Get The Signal daily
Cross-domain structural analysis, delivered every morning.