{
  "status": "COMPLETE_SEALED_ROOT_REVIEW",
  "interfaces": 9,
  "HTTP": {
    "B": 13,
    "C": 13,
    "total": 26,
    "nonempty_positive": 18,
    "boundary": 8
  },
  "native_assertions": 104,
  "business_reds": 0,
  "business_fix_files": {},
  "business_source_identity": {
    "scope": "current main snapshot at sealing, no business source change in this batch",
    "HEAD": "bb530e9b78894faa0f83d0d92416a152a468b1c2",
    "files": {
      "cores/BaseModel.php": "15b09472d9152906bd3f6cfa6b98ea87b1952abcc9587e7e72526fff73ab78c6",
      "app/common/database/DmBuilder.php": "58e1e79ce69881cc305c6fd33adec0e9a3d030ac15b4c00ae464cbaa4cce2b59",
      "app/common/model/store/User.php": "6ac89814a87b12578055dda7eb69193188a59594f8d4d9cd62035e14e93404fe",
      "app/common/model/store/Api.php": "1581e77fcf357b10b5e6ea87970df14ecbebd1610affa5fc01125fd4238025ce",
      "app/common/model/store/Menu.php": "ee2e48f30fdc4906ab4da9c11a3fe688f51c95def330a857dcdc4011d63fe082",
      "app/common/model/store/MenuApi.php": "67f49a44f7933d037d3773bae9515437206f8e2762864ae7ace1e0fbd9968cbd",
      "app/common/model/store/Role.php": "571322b5b374828014e20df7c3e7525e3649b8601a72b2df75714b9ab25673b1",
      "app/common/model/store/UserRole.php": "6ee443d455a3640c4604cb277b2222228898a20c357c58b4f2d1af2713d01cde",
      "app/common/model/store/UserRelation.php": "5daace89eb9a0812e2e21c3c4a81ba0876bad62adef4457fff223825af79aeb1",
      "app/common/model/store/RoleMenu.php": "4d8c07ee0e76c534fc81bb646eb7fbca10a731b5cb63798be97bea98d11db282",
      "app/common/service/store/User.php": "190ffeb62606b680fea8190f0bbd94d6bd288d7dcb8bcba17c35fb66bcdc8656",
      "app/admin/controller/Controller.php": "8653e10519b7f199f0898efb4a32bde4ff52188fa728e50492cb3e566f5ad578",
      "app/admin/controller/store/Api.php": "b010a84c6d61cd30d413181825432ba0467f79f7781372e687bad14c0efb4f53",
      "app/admin/controller/store/Menu.php": "e298bcead2cc1c75616d8b663090180a6f2ef10d180a99f09bfc0061b9cec007",
      "app/admin/model/store/Api.php": "8ca8c1199eb6b11d7a2b9620c4937c2e81589305050b6ec420da2c2d2cead377",
      "app/admin/model/store/Menu.php": "c400fbea01d38d71dc49e8357cc75fccae5d7dad46eee88b48977a64df60b26c",
      "app/admin/service/admin/User.php": "ef378d16edf08e3cd94f16cd65f157057952b0f0cc890414f1cfcd8851d4fd6f",
      "app/store/controller/store/User.php": "b73e60a78a0fd09086dcaad4beecdc6a536536ffd808525577740b69d7ab3dd7",
      "app/store/model/store/User.php": "dba668b556b181d511833df32a86543e42bd21de052cf82f35ddaf47ed81d304",
      "app/store/model/store/UserRole.php": "42699a382cb5282189fb101d178bbab1f70bd48c8539d6f593dda467377cfaa9",
      "app/store/model/store/RoleMenu.php": "d7a12ee936fed5ab7ecb83ef521cd494f771d3a22a9fec9a60173236804e5e87",
      "app/store/model/store/Menu.php": "e12561a52b1cb089b22bdece31ce7aa638879ad7e9842e48f1993d5df61faeae",
      "app/store/service/store/User.php": "5754330b0868080357480c7f48079872334467386b8ee1d181dad6d72adaaf6b",
      "app/store/service/store/Role.php": "ff2dce85ad911543c82cf63195966955f24d8513e1494718956d14488a827ba0",
      "app/store/service/Auth.php": "1c9e577538a04c785d15675afa1aeafce0baef8d0a2e6d35c84b42b8ef32e4c8",
      "app/terminal/controller/store/User.php": "9db1ea068180c09df028b43c0a13ed46bff60e381033579689d2113a1327e713",
      "app/terminal/model/store/User.php": "3c00990af1c856566bda609dbcb42717da8518c65ecbbcefa4425ad08f35b843",
      "app/terminal/model/store/UserRole.php": "2560e8a68cf3d9baec3549f95b5cf2991f1ae3df2075edf772a279d1db39390b",
      "app/terminal/model/store/RoleMenu.php": "2e34a338ae47928c0a463905b3eb9c2433ec94936dc283e8f0127b6ccef94925",
      "app/terminal/model/store/Menu.php": "300fc22cfd9abe3eb00a0d2d3a29ab744a999eeaed9c8868e77662906ca47447",
      "app/terminal/service/store/User.php": "6179e0518209e378f841e98d31943eddf8294f0795ca14fcb385e4b3df86adc2",
      "app/terminal/service/store/Role.php": "3a347462d9041f19f7186e749ffdf9ab22c62a06db5e61d3539d6fe15165f20d",
      "app/terminal/service/Auth.php": "49ccc3712cc551aa42f66e5d5eb7c792f2c2c79935b6042ee3b403804a85462d"
    }
  },
  "full_original_DTO_passes": 26,
  "complete_BC_own_positive_pairs": 6,
  "complete_BC_boundary_pairs": 4,
  "natural_positive_per_engine_not_BC_equal": 6,
  "independent_fixed_messages": {
    "success": "success",
    "not_logged": "请先登录后再访问",
    "source": [
      "cores/BaseController.php:118",
      "app/store/controller/Controller.php:141"
    ]
  },
  "SQL": {
    "B": {
      "counts": {
        "HTTP": 13,
        "HTTP_DML": 0,
        "DDL": 0,
        "preparation_INSERT": 2,
        "preparation_UPDATE": 0,
        "preparation_DELETE": 0,
        "business_SELECT": 25,
        "metadata_session": 25,
        "independent_after_original_table_sets": 377,
        "independent_before_original_table_sets": 377,
        "independent_natural_sets_each_before_and_after": 52
      },
      "scenario_business_SELECT": {
        "PILOT_OP_NA_STORE_INFO": 4,
        "PILOT_OP_NA_STORE_LIST": 4,
        "PILOT_OP_NA_STORE_ALL": 1,
        "PILOT_OP_NA_TERMINAL_INFO": 4,
        "PILOT_OP_NA_TERMINAL_LIST": 4,
        "PILOT_OP_NA_TERMINAL_ALL": 1,
        "PILOT_OP_NA_ADMIN_API_INDEX": 1,
        "PILOT_OP_NA_ADMIN_MENU_INDEX": 2,
        "PILOT_OP_NA_ADMIN_MENU_INFO": 1,
        "PILOT_OP_NA_STORE_CROSS_SEARCH": 1,
        "PILOT_OP_NA_TERMINAL_EMPTY_TYPE": 1,
        "PILOT_OP_NA_ADMIN_MISSING_MENU": 1
      },
      "SQL_evidence_layer": "framework Db::listen getRealSql/getLastSql debug interpolation, NOT PDO prepared queryString or server trace; separate independent physical PDO readbacks",
      "final_all29_and_natural4_exact": true,
      "operator_generated_IDs": {
        "store": 10074,
        "terminal": 10075
      },
      "natural_credentials_values_consumed": 0
    },
    "C": {
      "counts": {
        "HTTP": 13,
        "HTTP_DML": 0,
        "DDL": 0,
        "preparation_INSERT": 2,
        "preparation_UPDATE": 0,
        "preparation_DELETE": 0,
        "business_SELECT": 25,
        "metadata_session": 75,
        "independent_after_original_table_sets": 377,
        "independent_before_original_table_sets": 377,
        "independent_natural_sets_each_before_and_after": 52
      },
      "scenario_business_SELECT": {
        "PILOT_OP_NA_STORE_INFO": 4,
        "PILOT_OP_NA_STORE_LIST": 4,
        "PILOT_OP_NA_STORE_ALL": 1,
        "PILOT_OP_NA_TERMINAL_INFO": 4,
        "PILOT_OP_NA_TERMINAL_LIST": 4,
        "PILOT_OP_NA_TERMINAL_ALL": 1,
        "PILOT_OP_NA_ADMIN_API_INDEX": 1,
        "PILOT_OP_NA_ADMIN_MENU_INDEX": 2,
        "PILOT_OP_NA_ADMIN_MENU_INFO": 1,
        "PILOT_OP_NA_STORE_CROSS_SEARCH": 1,
        "PILOT_OP_NA_TERMINAL_EMPTY_TYPE": 1,
        "PILOT_OP_NA_ADMIN_MISSING_MENU": 1
      },
      "SQL_evidence_layer": "framework Db::listen getRealSql/getLastSql debug interpolation, NOT PDO prepared queryString or server trace; separate independent physical PDO readbacks",
      "final_all29_and_natural4_exact": true,
      "operator_generated_IDs": {
        "store": 10010,
        "terminal": 10011
      },
      "natural_credentials_values_consumed": 0
    }
  },
  "raw_remote_each_lane": "/tmp/cdx-ai-operator-dictionary-read9-20261011/private/evidence",
  "raw_ignored_local": "/Users/wiscourper/Documents/workspace/zhct/zhctprompt/work_ai_api/2026-09-30-dm8-interface-acceptance/parallel-ai-operator-dictionary-read9-20261011/private-evidence",
  "raw": {
    "B": {
      "cases-NA.json": {
        "sha256": "205debcb9de763dddfd5ad48d2ff0597b14f41f64c6238f72869e3cdc3df9e83",
        "bytes": 3791
      },
      "final-original.json": {
        "sha256": "10a4fc27743c719cb365e965b014be6b5b982648b492325bb22ba7694d813fe7",
        "bytes": 351105
      },
      "fixture-journal.json": {
        "sha256": "f2356be93ab49b46ee4c833c34023da0ed0b2f6ca54ceb345bf3bbfb6e9560a6",
        "bytes": 702199
      },
      "private-sql.jsonl": {
        "sha256": "0b7a1362db9db35582f45a9263e5bb4c08939abf3368c8eaa4f82a3182af028e",
        "bytes": 13845
      },
      "private-wire.jsonl": {
        "sha256": "08f36ca0607485b387a07af112b53c48b056756e2b3544a633b05c5f53a69dde",
        "bytes": 2802701
      },
      "queries.jsonl": {
        "sha256": "58520616837d1c3ac5dc0371739ab4cab7b1886fa8330407f5a902f22e1f3a98",
        "bytes": 34094
      },
      "run-NA.json": {
        "sha256": "32d7db2184d566c4e32e236ce749f40de9a45e6aec91d02d2953363112a376cd",
        "bytes": 352596
      }
    },
    "C": {
      "cases-NA.json": {
        "sha256": "205debcb9de763dddfd5ad48d2ff0597b14f41f64c6238f72869e3cdc3df9e83",
        "bytes": 3791
      },
      "final-original.json": {
        "sha256": "6e88cfc542e519973a191f5e6f2d666f686848b4c59256b1a6a63b1a61005d4f",
        "bytes": 82960
      },
      "fixture-journal.json": {
        "sha256": "5f622673480c1dcbc00af1c742d5eb47194fcc9c0e01a681b1704b034062bdc0",
        "bytes": 165941
      },
      "private-sql.jsonl": {
        "sha256": "20897e59ec2f829f16b708cc5fbb66d977f5b54ebfc2d1b0f3474ef65aace16a",
        "bytes": 27960
      },
      "private-wire.jsonl": {
        "sha256": "8210c7f3cdda69697bd1f46b14fea436792e9ff06ca519361be2715cc292c0ed",
        "bytes": 823352
      },
      "queries.jsonl": {
        "sha256": "50b18f4898140587a0430bfbb437a5f3035199032b0985fc53a228a4042df842",
        "bytes": 77670
      },
      "run-NA.json": {
        "sha256": "ef7a4a3671ba640ca303e40de135ead8878e3500fb26e86eef65fc4a8b8c3e4a",
        "bytes": 84451
      }
    }
  },
  "cleanup": {
    "B": {
      "lane": "B",
      "worker_pid": 1910,
      "port": 18501,
      "port_closed": true,
      "pid_gone": true,
      "source_removed": true,
      "private_cache_cli_header_native_removed": true,
      "evidence_files": 7,
      "evidence_0600": true,
      "evidence_dir_0700": true,
      "cache_files_before_cleanup": 0,
      "preserved_master_original18102": true
    },
    "C": {
      "lane": "C",
      "worker_pid": 2051128,
      "port": 18502,
      "port_closed": true,
      "pid_gone": true,
      "source_removed": true,
      "private_cache_cli_header_native_removed": true,
      "evidence_files": 7,
      "evidence_0600": true,
      "evidence_dir_0700": true,
      "cache_files_before_cleanup": 0,
      "preserved_master_original18102": true
    }
  },
  "limits": [
    "empty own permissions/role/users subbranches only",
    "natural dictionaries differ across engines: per-engine full source proof, not BC equality",
    "no real login/Passport/permission grant/account write/Store database/config external SDK/payment/balance",
    "elapsed includes independent source audits, not production performance acceptance"
  ],
  "counterexample_tests": 6
}