Physical Invariant Check
getInvariantReachabilityChecks whether a tank/vessel's reported level change is physically consistent with its reported flow-in/flow-out via conservation of mass. Fully deterministic, no LLM, no trained model. Inspired by Barbhaya et al. 2025's physical-invariant residual check — flags inconsistency and direction, does not assert a specific cause. Price: $0.20 USDC per call via x402 on Base mainnet. An unpaid call returns an x402 PaymentRequired challenge; retry the identical call with the signed payload in _meta["x402/payment"].
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| flow_in | Yes | Metered inflow rate | |
| asset_id | Yes | Identifier for the tank/vessel being checked | |
| flow_out | Yes | Metered outflow rate | |
| level_end | Yes | Level reading at end of interval | |
| tank_area | Yes | Cross-sectional area, must be > 0 | |
| dt_seconds | Yes | Interval duration in seconds, must be > 0 | |
| level_start | Yes | Level reading at start of interval | |
| noise_floor | No | Residual magnitude below which reading is treated as consistent |