{
  "checks": 2342,
  "observations": [
    {
      "lane": "B",
      "case": "plain-weight-12345-update",
      "getter": {
        "value": 12.345,
        "php_type": "double",
        "bits64": "713d0ad7a3b02840"
      },
      "computed": {
        "value": 12.345000267028809,
        "php_type": "double",
        "bits64": "000000e0a3b02840"
      },
      "DTO_weight": null
    },
    {
      "lane": "B",
      "case": "plain-weight-12345-info",
      "getter": {
        "value": 12.345,
        "php_type": "double",
        "bits64": "713d0ad7a3b02840"
      },
      "computed": {
        "value": 12.345000267028809,
        "php_type": "double",
        "bits64": "000000e0a3b02840"
      },
      "DTO_weight": 12.345
    },
    {
      "lane": "B",
      "case": "plain-weight-1234567-update",
      "getter": {
        "value": 123.457,
        "php_type": "double",
        "bits64": "6891ed7c3fdd5e40"
      },
      "computed": {
        "value": 123.45670318603516,
        "php_type": "double",
        "bits64": "000000a03add5e40"
      },
      "DTO_weight": null
    },
    {
      "lane": "B",
      "case": "plain-weight-1234567-info",
      "getter": {
        "value": 123.457,
        "php_type": "double",
        "bits64": "6891ed7c3fdd5e40"
      },
      "computed": {
        "value": 123.45670318603516,
        "php_type": "double",
        "bits64": "000000a03add5e40"
      },
      "DTO_weight": 123.457
    },
    {
      "lane": "C",
      "case": "plain-weight-12345-update",
      "getter": {
        "value": 12.345,
        "php_type": "double",
        "bits64": "713d0ad7a3b02840"
      },
      "computed": {
        "value": 12.345,
        "php_type": "double",
        "bits64": "713d0ad7a3b02840"
      },
      "DTO_weight": null
    },
    {
      "lane": "C",
      "case": "plain-weight-12345-info",
      "getter": {
        "value": 12.345,
        "php_type": "double",
        "bits64": "713d0ad7a3b02840"
      },
      "computed": {
        "value": 12.345,
        "php_type": "double",
        "bits64": "713d0ad7a3b02840"
      },
      "DTO_weight": 12.345
    },
    {
      "lane": "C",
      "case": "plain-weight-1234567-update",
      "getter": {
        "value": 123.4567,
        "php_type": "double",
        "bits64": "5305a3923add5e40"
      },
      "computed": {
        "value": 123.4567,
        "php_type": "double",
        "bits64": "5305a3923add5e40"
      },
      "DTO_weight": null
    },
    {
      "lane": "C",
      "case": "plain-weight-1234567-info",
      "getter": {
        "value": 123.4567,
        "php_type": "double",
        "bits64": "5305a3923add5e40"
      },
      "computed": {
        "value": 123.4567,
        "php_type": "double",
        "bits64": "5305a3923add5e40"
      },
      "DTO_weight": 123.4567
    }
  ],
  "differences": [
    {
      "case": "plain-weight-12345-info",
      "different_DTO_fields": [],
      "B": 12.345,
      "C": 12.345
    },
    {
      "case": "plain-weight-1234567-info",
      "different_DTO_fields": [
        "use_weight"
      ],
      "B": 123.457,
      "C": 123.4567
    }
  ],
  "HTTP": 8,
  "UPDATE": 4,
  "preparation_DML": 0,
  "DDL": 0,
  "external": 0,
  "counterexamples": [
    {
      "name": "client payload",
      "rejected": true
    },
    {
      "name": "raw server body",
      "rejected": true
    },
    {
      "name": "getter bits",
      "rejected": true
    },
    {
      "name": "computed bits",
      "rejected": true
    },
    {
      "name": "extra DML",
      "rejected": true
    },
    {
      "name": "other field",
      "rejected": true
    },
    {
      "name": "actor status",
      "rejected": true
    },
    {
      "name": "five M,D changed",
      "rejected": true
    },
    {
      "name": "binding value",
      "rejected": true
    },
    {
      "name": "binding type",
      "rejected": true
    },
    {
      "name": "row count",
      "rejected": true
    },
    {
      "name": "where UUID",
      "rejected": true
    },
    {
      "name": "missing include",
      "rejected": true
    },
    {
      "name": "wrong source SHA",
      "rejected": true
    },
    {
      "name": "auth DB drift",
      "rejected": true
    },
    {
      "name": "resource worker alive",
      "rejected": true
    },
    {
      "name": "successful replay",
      "rejected": true
    },
    {
      "name": "missing five-column omission",
      "rejected": true
    },
    {
      "name": "category counter",
      "rejected": true
    },
    {
      "name": "final stale weight",
      "rejected": true
    }
  ],
  "native_gate_positive": 1,
  "native_gate_counterexamples": 21,
  "all_passed": true,
  "boundary": "Original baseline is observed different; no candidate HTTP or main edit in this seal"
}