Technical Deflation
The cost of building and maintaining software is deflating rapidly, and this deflation extends beyond code generation to verification, testing, and formal methods. Formal verification is converging as a practical discipline — Leanstral and entity/peter-lavigne's work suggest "the big unlock." John: "We don't hand-verify what a compiler produces."
+3.2pp
Basket vs S&P 500since published — the verdict number
Basket absolute+16.4% · 1 instrument
S&P 500 same period+13.1%
Call directionWatch
No directional call — this basket is the thesis’s instrument panel.
| Instrument | Price | Today | Since published | vs SPY | 90d |
|---|---|---|---|---|---|
| IGViShares Software ETF | 93.63 | +1.0% | +16.4% | +3.2pp | |
| SPYS&P 500 — benchmark | 745.40 | -0.3% | +13.1% | — | |
| Basket: Instrument panel: software pricing power as deflation proxy | |||||
Recent evidence 148 signals filed
20 JULY 2026
The research system PRO
- Full analysis — the complete living document behind this call
- Version history — watch the thesis evolve, v1 → v39, with change notes
- Evidence archive — all 148 signals filed to this thesis
- The knowledge graph — entities, concepts & comparisons behind the call
- Your agent gets a key — full API access to the same system
When we're wrong
One thesis is currently moving against us — Agents as Primary Users, +9.3% since published. It stays on the board. We update priors on evidence, not on evidence we went looking for.