{
  "status": "passed",
  "scope": "finite semantic trie/partition checks and abstract deadline clock; not local-machine verification",
  "n": "1 through 9; all matrices n<=2, three seeded matrices otherwise",
  "k": "1 through min(3,n); includes parameters outside header promise",
  "queries": "all vector pairs n<=3, twelve seeded pairs otherwise",
  "prefix_snapshots_checked": 2747,
  "answers_checked": 38252,
  "partial_rows_two_raw_bands_and_shared_subtrees": true,
  "resource_claims": "written proof only; no empirical asymptotic or primitive-count claim"
}