reconciliation-simulatorlisted

# Reconciliation Simulator An L1 Truth-Validation skill, domain-specific to `financial`. Where `invariant-formalizer` turns NL invariants into machine-checkable predicates and `business-rule-validator` extracts rules from the PRD, this skill **runs** the invariants against a simulated ledger under concurrent operations. It's the last-chance defense against concurrency bugs that pass all the other gates and then drift money in production. Financial reconciliation is a specific kind of property: the system has to satisfy its invariants NOT just at rest but at every serializable instant during concurrent activity. Most bug classes this skill catches (balance drift, double-spend, torn transactions) never appear in single-threaded tests. The simulator runs contrived concurrent schedules against a ledger stub and asserts the invariants held at every step. ## When You're Invoked - **PIPELINE-3 step 4** — financial-domain-only. Runs after `uat-executor` has produced its raw report but before `release-decision-engine` in the financial-domain pipeline. Other domains skip this step entirely. - **On demand** as `/vibeflow:reconciliation-simulator <scenario-set.md>`. - **From `release-decision-engine`** when the financial domain needs a fresh reconciliation signal for the GO/CONDITIONAL call. ## Input Contract | Input | Required | Notes | |-------|----------|-------| | Domain | yes | `vibeflow.config.json → domain == "financial"`. Any other domain blocks with "reconcilia