Proof settings
User-scoped configuration for the Proof module: how source kinds are labelled and shown when binding, and the default budget Replay Proof uses.
What you can configure
- Source kinds — the display label, hint text, ordering, and visibility of the source kinds offered when you bind (URL, Local file, Prior workbook, API endpoint, Manual note). You can also add your own labels.
- Proof-budget defaults — the default, minimum, and maximum driver budget that Replay Proof uses (minimum ≥ 1, maximum ≥ minimum, default within range; the dialog blocks invalid values).
Built-in source kinds keep their behavior
The five built-in source kinds have a fixed underlying type — you can rename their label and hint, hide them, or reorder them, but you cannot change what they do (for example, “RFP Document” and “EPC Contract” can both be local-file kinds). Renaming labels is purely cosmetic and does not affect existing bindings.
Where settings are stored
Settings are written to %AppData%\ModelxcelPro\causality-settings.json on your machine — they are user-scoped, not part of the workbook, so they travel with your profile rather than the file. (The proof ledger itself is the opposite: it lives inside the workbook; see the Proof & Trust overview.) The settings file can be shared across machines; built-in kinds keep stable identifiers so they survive sharing and upgrades.