{
  "date_utc": "2026-09-22",
  "manuscript_version": "v1.55",
  "task": "NS-55",
  "starting_main": "bea0ed27c0822e3ce4041fb9d584dd70942cc8ee",
  "classification": [
    "exact identity",
    "proved implication",
    "open input"
  ],
  "actual_build_command": "./manuscript/build.sh",
  "pages": 285,
  "undefined_references": 0,
  "duplicate_references": 0,
  "overfull_boxes": 0,
  "visually_inspected_pages": [
    255,
    256,
    257,
    258,
    259,
    260,
    261,
    262
  ],
  "proof_sha256": "aa94567cd00321e710b902975183ed1e8676786646771d7c2bc5dbf8da173ead",
  "manuscript_sha256": "c8ea3b6714f4a73abbca9dd7a700640008eda859d0c5e57db5eb8b24556ada87",
  "proof_verbatim_occurrences": 1,
  "task_artifact_count": 12,
  "independent_reviews": "Three analytical lanes cross-reviewed; final integration review: 0 MAJOR, 0 MINOR.",
  "new_numerical_window": false,
  "new_tail_metric": false,
  "uniform_floor_proved": false,
  "RH_or_G2_claim": false,
  "open_input": "API: full-window arithmetic affine-potential injectivity. No new signed prime/pole overlap estimate.",
  "scope": "Local-patch counterexamples are not whole-window nullvectors; ordinary-cone semigroup nonpositivity does not assert negative diagonal Weil energy.",
  "integration_main": "56f4caf697b18cc50211ea4481915dce338e85ec",
  "prepublication_commit": "793e15b16ed96811913a643e2839b31f6454d3d0",
  "post_rebase_build": {
    "pages": 285,
    "undefined_references": 0,
    "duplicate_references": 0,
    "overfull_boxes": 0,
    "manuscript_unchanged_by_rebase": true,
    "NS54_and_NS55_retained": true,
    "task_artifact_hashes_verified": 12
  }
}