Solve belief state management policy

Solve a finite-horizon partially observable management problem over calibrated latent operating states and quantify the value of adaptive observation.

What it's for

Adds contingent decision policies for situations where noisy telemetry cannot reveal the true operating regime directly.

What you give it

Every tool is a pure function: it computes from what you pass it and reads nothing on its own. Inputs split into evidence you supply from your connected systems, calibration your team owns, and numerical controls that affect precision but never the result's meaning.

Field Type Role Required
actions array of objects (3 fields) Evidence Yes
discount_factor number ≥ 0, ≤ 1 Your calibration Optional
horizon integer ≥ 1, ≤ 5 Your calibration Yes
max_belief_nodes integer ≥ 100, ≤ 1000000 Your calibration Optional
observation_models array of objects (3 fields) Evidence Yes
observations array of string ≥ 1 item Evidence Yes
states array of objects (2 fields) Evidence Yes
transitions array of objects (3 fields) Evidence Yes

Each actions record

Field Type Required
cost number (≥ 0) Optional
id string (non-empty) Yes
state_rewards object Yes
Example input
{
  "actions": [
    {
      "id": "diagnose",
      "state_rewards": {
        "fragile": -1,
        "healthy": -1
      }
    },
    {
      "id": "stabilize",
      "state_rewards": {
        "fragile": 10,
        "healthy": -2
      }
    },
    {
      "id": "accelerate",
      "state_rewards": {
        "fragile": -10,
        "healthy": 10
      }
    }
  ],
  "horizon": 2,
  "observation_models": [
    {
      "action_id": "diagnose",
      "probabilities": {
        "green": 0.95,
        "red": 0.05
      },
      "state_id": "healthy"
    },
    {
      "action_id": "diagnose",
      "probabilities": {
        "green": 0.05,
        "red": 0.95
      },
      "state_id": "fragile"
    },
    {
      "action_id": "stabilize",

Truncated for display — the full payload is 140 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.

Example output
{
  "adaptive_policy_value": 8.2,
  "assumptions": [
    "States describe latent team or portfolio operating regimes, not personal traits or diagnoses.",
    "Transition and observation probabilities are calibrated and stable over the planning horizon.",
    "Rewards include material implementation costs and harms, not output alone."
  ],
  "computation": {
    "discount_factor": 1,
    "expanded_belief_nodes": 4,
    "horizon": 2,
    "optimal_policy_tree_nodes": 7
  },
  "first_action_information_gain_bits": 0.7136,
  "method": "exact_reachable_belief_tree_pomdp_v1",
  "open_loop_benchmark": {
    "actions": [
      "stabilize",
      "stabilize"
    ],
    "value": 8
  },
  "perfect_information_upper_bound": 20,
  "policy_tree": {
    "action_values": {
      "accelerate": 4,
      "diagnose": 8.2,
      "stabilize": 8
    },
    "belief": {
      "fragile": 0.5,
      "healthy": 0.5
    },
    "observation_branches": [
      {
        "next": {
          "action_values": {
            "accelerate": 9,
            "diagnose": -1,
            "stabilize": -1.4
          },
          "belief": {
            "fragile": 0.05,
            "healthy": 0.95

Truncated for display — the full payload is 153 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. 1 Solve a finite-horizon partially observable management problem over calibrated latent operating states and quantify the value of adaptive observation.
  2. 2 Evaluate the method-specific diagnostics and gates returned by the function, then abstain unless the declared decision clears them under locally governed thresholds.

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.
  • The recommendation is optimal only for its stated objective, feasible set, evidence, and solver guarantee; it is not a universal management optimum.

Minimum evidence

  • states: required and organization-defined
  • actions: required and organization-defined
  • observations: at least 1 rows/items
  • transitions: required and organization-defined
  • observation_models: required and organization-defined
  • horizon: required and organization-defined

How to validate it

Use chronological train/calibration/test windows, compare proper scores and decision value with a simple baseline, and recalibrate only from outcomes resolved after prediction time.

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

  • metric/outcome definitions, entity grain, observation window, costs, thresholds, priors, and constraints represented by the function inputs

Calibration workflow

  1. 1 Define the management decision, target outcome, aggregate unit, privacy boundary, cadence, and prediction/intervention horizon for this organization.
  2. 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. 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. 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. 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. 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 20 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": "solve a finitehorizon partially observable management" }
  → finds "solve_belief_state_management_policy"

gitrevio_capability_describe
  { "capability_id": "solve_belief_state_management_policy" }
  → returns the input schema and agent guidance shown on this page

gitrevio_capability_run
  { "capability_id": "solve_belief_state_management_policy", "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

See every tool in Risk, tails & resilience →

Ready to See Your Engineering work clearly?