Audit budget constraint binding
Audit whether a claimed budget constraint genuinely blocks value after dependency-feasible portfolio reallocation, separating current-plan inefficiency from scarcity with scenario CVaR and a discrete budget shadow price.
What it's for
Tests whether ‘we have no budget’ is the real constraint—or whether the current portfolio can create more value through a dependency-valid reallocation first.
What you give it
Inputs split into evidence read from your connected systems, calibration your team owns, and numerical controls that affect precision but never the result's meaning.
| Field | Type | Role | Required |
|---|---|---|---|
| budget | number ≥ 0 | Your calibration | Yes |
| budget_increment | number > 0 | Your calibration | Yes |
| initiatives | array of objects (5 fields) ≥ 1 item | Evidence | Yes |
| max_detail_rows | integer ≥ 1, ≤ 500 | Numerical control | Optional |
| maximum_exact_states | integer ≥ 2, ≤ 16777216 | Numerical control | Optional |
| risk_aversion | number ≥ 0 | Your calibration | Optional |
| scenario_probabilities | array of number ≥ 2 items | Evidence | Yes |
| tail_probability | number ≥ 0.001, ≤ 0.5 | Your calibration | Optional |
Each initiatives
record
| Field | Type | Required |
|---|---|---|
| cost | number (≥ 0) | Yes |
| current_selected | boolean | Optional |
| dependency_ids | array of string | Yes |
| id | string (non-empty) | Yes |
| net_value_scenarios | array of number (≥ 2 items) | Yes |
{
"budget": 500000,
"budget_increment": 300000,
"initiatives": [
{
"cost": 500000,
"current_selected": true,
"dependency_ids": [],
"id": "legacy-retention",
"net_value_scenarios": [
300000,
550000,
700000
]
},
{
"cost": 500000,
"current_selected": false,
"dependency_ids": [],
"id": "growth-engine",
"net_value_scenarios": [
400000,
800000,
1200000
]
},
{
"cost": 300000,
"current_selected": false,
"dependency_ids": [
"growth-engine"
],
"id": "enterprise-layer",
"net_value_scenarios": [
-100000,
300000,
900000
]
}
],
"risk_aversion": 0.5,
"scenario_probabilities": [
0.2,
0.5, Truncated for display — the full payload is 47 lines.
What you get back
This is the actual output of running the example above — computed by the same function the platform calls, not an illustration.
{
"assumptions": [
"Initiative costs consume one governed budget horizon; aligned net-value scenarios already include all incremental economic costs and opportunity costs, so constrained cash is not subtracted again from value.",
"Dependencies are complete and acyclic, initiatives are indivisible, scenario columns describe the same joint future, and omitted capacity, exclusivity, tax, financing, or strategic constraints can change whether budget appears binding.",
"A positive reallocation gain diagnoses current-plan inefficiency separately from budget scarcity; only exact mode certifies the represented subset optimum, while heuristic mode has no global optimality certificate.",
"Git activity cannot supply governed costs or business value by itself, and this portfolio audit must not be used for person-level performance or employment decisions."
],
"configuration": {
"budget": 500000,
"budget_increment": 300000,
"initiative_count": 3,
"maximum_exact_states": 262144,
"represented_state_count": 8,
"risk_aversion": 0.5,
"scenario_count": 3,
"solver_mode": "exact_enumeration",
"state_count_is_capped": false,
"tail_probability": 0.1
},
"decision": "budget_constraint_genuinely_binding",
"initiative_diagnostics": [
{
"constrained_selected": true,
"cost": 500000,
"current_selected": false,
"dependency_ids": [],
"expected_net_value": 840000,
"initiative_id": "growth-engine",
"selection_changed_by_reallocation": true,
"standalone_risk_adjusted_value": 1040000,
"unconstrained_selected": true
},
{
"constrained_selected": false,
"cost": 500000,
"current_selected": true,
"dependency_ids": [],
"expected_net_value": 545000,
"initiative_id": "legacy-retention",
"selection_changed_by_reallocation": true,
"standalone_risk_adjusted_value": 695000,
"unconstrained_selected": true
},
{ Truncated for display — the full payload is 85 lines.
How it works
Constrained optimization — Pick the best feasible option under real limits — budget, headcount, dependencies, capacity — rather than ranking a list and hoping it fits.
- 1 Freeze the current selected portfolio, indivisible initiative costs, complete dependency DAG, aligned net-value scenarios, budget, and one decision-sized budget increment.
- 2 Re-optimize at the current budget, the incremented budget, and without the budget while preserving dependencies; score each portfolio by expected net value minus the governed CVaR-loss penalty.
- 3 Call budget genuinely binding only when the unconstrained dependency-feasible solution costs more and creates materially more modeled value; report current-plan infeasibility and reallocation gain separately.
Before you trust it
Every tool in the catalog ships with the conditions under which its answer is meaningful — and the conditions under which it should abstain instead of guessing.
Assumptions & guardrails
- Objectives use commensurable locally governed value units, constraints reflect real feasibility, and uncertainty covers plausible adverse inputs.
- Costs and net values share one horizon and currency, net values already include all economic costs without double counting constrained cash, dependencies are complete, and scenario columns are common joint futures.
- The recommendation is optimal only for its stated objective, feasible set, evidence, and solver guarantee; it is not a universal management optimum.
- A nonbinding result does not mean funding is abundant, and Git activity cannot establish cost or value; this audit diagnoses a submitted portfolio and cannot justify person-level action.
Minimum evidence
- initiatives: at least 1 rows/items
- scenario_probabilities: at least 2 rows/items
- budget: required and organization-defined
- budget_increment: required and organization-defined
How to validate it
Backtest the chosen action against simple feasible baselines on held-out scenarios, sweep costs/constraints/risk tolerance, and require constraint feasibility under adverse inputs.
Calibrating it to your org
Same for everyone
The mathematical kernel, validation rules, method version, and JSON output semantics are organization-independent; no tenant-trained coefficients or company benchmark is embedded in the function.
Specific to you
- aligned incremental net-value scenarios for every eligible initiative and a decision-sized budget increment
- portfolio eligibility, current-plan vintage, dependency completeness, budget/cost/value perimeter, horizon/currency, joint scenarios/probabilities, risk aversion, tail, materiality, and exact-solver promotion
Calibration workflow
- 1 Define the management decision, target outcome, aggregate unit, privacy boundary, cadence, and prediction/intervention horizon for this organization.
- 2 Build a tenant-scoped historical cohort using only information available before each prediction or decision; preserve zero periods, censoring, assignment probabilities, and unresolved outcomes when the method requires them.
- 3 Estimate statistical parameters on training history, but obtain costs, utilities, risk tolerance, practical-effect thresholds, capacity, and policy constraints from accountable decision owners.
- 4 Validate on later time windows or held-out aggregate units at the deployment grain, against a simple baseline and the function-specific validation strategy.
- 5 Deploy only if the returned decision clears evidence, overlap, calibration, robustness, and guardrail checks; warning, unsupported, schema-gap, and fallback decisions are abstentions.
- 6 Monitor realized outcomes, data drift, coverage, and decision regret; recalibrate at a governed cadence or after a detected regime/definition change, never merely because a stakeholder dislikes the result.
Call it from your AI
You don't wire up 388 tools in your MCP client. The GitRevio MCP server exposes 18 tools, three of which let an agent search the catalog, read a tool's schema, and run it — so the assistant finds this one on its own.
gitrevio_capabilities_search
{ "q": "audit whether a claimed budget constraint" }
→ finds "audit_budget_constraint_binding"
gitrevio_capability_describe
{ "capability_id": "audit_budget_constraint_binding" }
→ returns the input schema and agent guidance shown on this page
gitrevio_capability_run
{ "capability_id": "audit_budget_constraint_binding", "arguments": { ... } }
→ returns the result shown above Works in Claude Desktop, Claude Code, Cursor, Cline, Continue.dev, Goose and Aider. See the MCP server.
Related tools
Optimize product mix
Optimize one discrete quantity option per product across a shared cash budget and multiple capacity pools using aligned contribution scenarios, expected value, CVaR downside, and an explicit exact or heuristic solver boundary.
Solve distributionally robust product portfolio
Solve a budgeted product portfolio under ambiguity in scenario probabilities, acyclic dependencies, mutually exclusive choices, and governed pairwise cannibalization or synergy using a total-variation uncertainty set.
Allocate budget with CVAR constraint
Maximize expected portfolio return while keeping probability-weighted loss CVaR below a finance-owned tail-risk ceiling across aligned joint scenarios.
Audit financing term sheet integrity
Audit startup financing terms as exact share, price, proceeds and ownership identities: include pre-money option-pool increases and converting instruments in the pricing denominator, keep secondary purchases out of company cash and post-money share creation, reconcile primary issuance, post-money equity value and reported investor ownership, and retain evidence failures and impossible fees or secondary sales.
Audit fundraising pipeline integrity
Audit a fundraising pipeline as point-in-time evidence rather than CRM theater: reconstruct monotone stage events, terminal status and primary proceeds, retain open opportunities as censored, reject forecasts made after resolution, detect duplicate active investor accounts, and gate the portfolio on mature-forecast support, Brier loss and calibration gap.
Audit technology diligence evidence integrity
Audit a frozen technology diligence case against buyer-declared system/domain/claim scope, management assertions and fresh, rights-cleared, independently reviewed point-in-time evidence.