What leadership is being shown
The deterministic EAC currently visible in the reporting package.
Project-controls assurance, compiled
Find the surprise before the executive meeting.
Drop in the files behind the monthly close. EQ-Proof separates deterministic forecast contradictions from declared change and risk exposure, then traces every material exception to its source equation.
Primavera P6 XERCost CSVUser equationsSource SHA-256Replayable evidence
EXECUTIVE GATECLOSE BLOCKED3 governance blockers
REPORTED EAC$407M
DETERMINISTIC GAP$11M
RISK-ADJUSTED POSITION ABOVE REPORTED$76M
CIfull test matrix enforced
4Python runtimes
0telemetry calls
2deterministic evidence families
92%+branch coverage gate
The executive story
One submitted close. Three materially different truths.
The demo does not decorate a dashboard. It reconstructs the decision in layers and preserves the distinction between contradiction, declared exposure and governance failure.
What AC + ETC actually supports
The governed detail is already $11M above the submitted forecast.
What the declared bridge implies
Pending change and configured risk put the position $76M above reported EAC.
Decision cockpit
Hyperscale monthly close
EXECUTIVE CLOSE GATE
CLOSE BLOCKED
Compiling evidence…
—assurance
—blockers
—exceptions
—records
The assurance score is a transparent severity heuristic, not a probability.
Reported EAC
—What the submitted close claims
Defensible EAC
—Actual cost + remaining forecast
Deterministic gap
—Governed AC + ETC minus reported EAC
Risk-adjusted position
—Declared change + configured risk uplift; not a simulation
Variance intelligence
Where the exposure comes from
Cross-domain health
Control failures by system
Executable lineage
Source → equation → declared impact
Action register
Ranked by severity and materiality
| Severity | Source record | Control | Residual | Declared impact | Required action |
|---|
Tested controls
Equation catalogue
Project-specific governance
Write your own equation
Safe expression mode: arithmetic, one comparison, declared fields, and allow-listed functions.
Why this is different
Not another dashboard. A reproducible decision system.
Operational
Ordinary P6 XER and cost exports become a repeatable close gate with machine-usable exit codes and an assignable exception register.
Traceable
Every material conclusion retains source hashes, the executed equation manifest, the source record, the residual and the prescribed action.
Extensible
The tested catalogue and project-specific equations use the same safe evaluator, without requiring a new workbook or source-system integration.
Defensible
The product states exactly what its arithmetic proves, separates deterministic from risk-adjusted claims, and refuses invented causal or probabilistic certainty.
Built to survive the next question.Inspect the semantic model, architecture, tests and signed evidence—not just the screenshot.