propagate_uncertainty
Check dimensions, then compare first-order GUM with seeded fixed-sample Monte Carlo for an explicit model of 1–16 inputs. Return uncertainty budgets, coverage intervals and convergence/linearization findings. Conditional on supplied distributions; no affine units. CPU, direct-only; no planner binding.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| seed | No | Default 1. Same seed, same result. | |
| samples | No | Monte Carlo draws, default 1000000 (JCGM 101 typical value for 2 significant digits). | |
| coverage | No | Coverage probability, default 0.95. | |
| variables | Yes | ||
| expression | Yes | Model with + - * / ^, parentheses, pi and sqrt exp ln log10 sin cos tan asin acos atan abs. Literals are dimensionless; no implicit multiplication. | |
| result_unit | No | Output unit; must match the model dimension. | |
| correlations | No | Correlations between normal inputs with standard_uncertainty > 0. |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| gum | Yes | ||
| seed | Yes | ||
| unit | Yes | ||
| notes | Yes | ||
| budget | Yes | ||
| engine | Yes | ||
| method | Yes | ||
| status | Yes | ||
| samples | Yes | ||
| verdict | Yes | ||
| coverage | Yes | ||
| dimension | Yes | ||
| statement | Yes | ||
| diagnostic | Yes | ||
| elapsed_ms | Yes | ||
| provenance | Yes | ||
| validation | Yes | ||
| assumptions | Yes | ||
| monte_carlo | Yes | ||
| recommended | Yes | ||
| contract_version | Yes | ||
| correlation_variance_share | Yes |