As of 2026-06-30
Phase 0 · Resolver acceptance

Resolver diff vs CFO Home

One expression grammar. One pure function. 13 metric definitions. Diffed against every KPI on /finance at period 2026-06.

PASSED
Metric-by-metric
Resolver value vs source of truth
Metric
Resolver
Target
Budget · resolver
Budget · target
Favorable
✅
Revenue (YTD)
revenue_ytd
$6.15B
$6.15B
6,195,200,000
6,195,200,000
unfav ✓
✅
Gross Profit (YTD)
gross_profit_ytd
$2.47B
$2.47B
2,479,690,752
2,479,690,752
unfav ✓
✅
Gross Margin
gross_margin_pct
40.2%
40.2%
40.03
40.03
fav ✓
✅
EBITDA (YTD)
ebitda_ytd
$881.8M
$881.8M
887,276,544
887,276,544
unfav ✓
✅
EBITDA Margin
ebitda_margin_pct
14.3%
14.3%
14.32
14.32
fav ✓
✅
Operating Income (YTD)
operating_income_ytd
$648.0M
$648.0M
651,858,944
651,858,944
unfav ✓
✅
Net Income (YTD)
net_income_ytd
$382.4M
$382.4M
385,343,151.1
385,343,151.1
unfav ✓
✅
Diluted EPS (YTD)
eps_ytd
$2.57
$2.57
2.59
2.59
unfav ✓
✅
Free Cash Flow (YTD)
fcf_ytd
$307.6M
$307.6M
317,195,951.1
317,195,951.1
unfav ✓
✅
Ending Cash
cash_pit
$2.38B
$2.38B
2,392,836,544.51
2,392,836,544.51
unfav ✓
✅
Net Working Capital
nwc_pit
$3.17B
$3.17B
2,967,652,363.38
2,967,652,363.38
unfav ✓
Provenance
Did the rendered numbers come from the resolver?
Rebuilds the /finance board and asserts every figure carries resolver provenance — not merely that the resolver agrees with the fixture.
✓ Every figure names the definition that produced it
76 figures, all carrying metric_key + version
✓ Every figure scanned at least one fact row
76 figures, all fact-backed
✓ Every figure arrives pre-formatted (the UI does no formatting)
all figures carry a rendered string
✓ Board renders the full tile set
11 tiles (expected 11)
✓ Consolidated row resolves through the same definitions as the tiles
revenue via revenue_ytd v2, ebitda via ebitda_ytd v1
✓ Modeled rows are marked modeled; resolver-backed rows are not
6 driver rows modeled, 6 division rows resolver-backed
Version selection
effective_from decides, not "currently certified"
A period before 2026-01-01 resolves to v1; a period on/after resolves to v2. Same query, different definition in force.
✓ revenue_ytd
2025-06 → v1 $6.04B · 2026-06 → v2 $6.15B
✓ ebitda_margin_pct
2025-06 → v1 13.8% · 2026-06 → v2 14.3%
Contract tests
Invariants the AST must uphold
Polarity round-trip
favorable = polarity === higher_is_better ? delta >= 0 : delta <= 0
higher_is_better · delta 100 → expected true, got true ✓
higher_is_better · delta -100 → expected false, got false ✓
lower_is_better · delta 100 → expected false, got false ✓
lower_is_better · delta -100 → expected true, got true ✓
higher_is_better · delta 0 → expected true, got true ✓
lower_is_better · delta 0 → expected true, got true ✓
EPS formatting contract
EPS always renders at 2 decimals; implied share count = 148.6M across all EPS-referencing figures.
Formatted: $2.57 · Implied shares: 148,600,000
Back to Finance Home Current KPI Inventory