model-map.json

{
  "description": "Maps source ranges to the state-machine transitions and decision concerns they implement. A mutant is model-covered when its location falls inside an annotated range; everything else is model-outside (plumbing, adapters, defensive code). The report publishes the covered-vs-outside split so a high score is never mistaken for coverage of code the model does not speak to.",
  "files": {
    "src/domain/lifecycle.ts": [
      { "start": 58, "end": 61, "transitions": ["T1"] },
      {
        "start": 70,
        "end": 119,
        "transitions": [
          "T2",
          "T3",
          "T4",
          "T5",
          "T6",
          "T7",
          "T8",
          "T9",
          "T10",
          "T11",
          "T12",
          "T13",
          "T14",
          "T15",
          "T16"
        ]
      }
    ],
    "src/workflows/paymentIntent.ts": [
      { "start": 119, "end": 122, "transitions": ["T3"] },
      { "start": 124, "end": 138, "transitions": ["T2"] },
      { "start": 140, "end": 143, "transitions": ["T4", "T5", "T6"] },
      { "start": 145, "end": 157, "transitions": ["T7", "T8", "T9", "T10"] },
      { "start": 159, "end": 180, "transitions": ["T11", "T12", "T13"] },
      { "start": 182, "end": 189, "transitions": ["T14"] },
      { "start": 191, "end": 198, "transitions": ["T15", "T16"] },
      { "start": 200, "end": 203, "transitions": ["T3", "T6", "T8", "T9", "T10"] }
    ],
    "src/domain/approval.ts": [{ "whole": true, "concern": "approval-threshold" }],
    "src/domain/fees.ts": [{ "whole": true, "concern": "fee-schedule" }],
    "src/domain/settlement.ts": [{ "whole": true, "concern": "value-conservation" }],
    "src/domain/accounting.ts": [{ "whole": true, "concern": "ledger-legs" }],
    "src/domain/idempotency.ts": [{ "whole": true, "concern": "idempotency-key" }],
    "src/domain/money/minor.ts": [{ "whole": true, "concern": "money-arithmetic" }],
    "src/domain/money/allocate.ts": [{ "whole": true, "concern": "value-conservation" }],
    "src/domain/money/fee.ts": [{ "whole": true, "concern": "fee-schedule" }],
    "src/domain/scheduling/retry.ts": [{ "whole": true, "concern": "retry-policy" }]
  }
}