skills/partnerprof-guide/references/large_inputs_contract.json

{
  "compute_slice": {
    "dimension": {
      "max": 65536,
      "meaning": "finite technical representation, not a field topology or termination limit",
      "min": 4
    },
    "max_steps": {
      "bounded_test_only": true,
      "ordinary_realization": "omit",
      "rule": "Never infer or auto-fill a count. It may be supplied only when the user explicitly requests a bounded technical test."
    },
    "step": {
      "meaning": "state transition representation, not a required step count or scalar result",
      "values": [
        "uni",
        "positive technical value"
      ]
    },
    "timeout_s": {
      "ordinary_realization": "omit",
      "rule": "Infrastructure watchdog is service-managed and outside the declared reality."
    }
  },
  "npz_transport": {
    "archive_limits": {
      "max_compression_ratio": 100,
      "max_members": 128,
      "max_uncompressed_bytes": 16777216
    },
    "encoding": "base64 NPZ bytes in npz_base64",
    "manifest_schema": "PartnerProf-NPZ-Manifest/1.0",
    "max_source_bytes": 393216,
    "rule": "Every named array must exactly declare name, dtype, shape and semantic; object arrays and unknown manifest fields are rejected."
  },
  "ok": true,
  "required": [
    "source",
    "poly.state_symbols",
    "poly.dependencies",
    "poly.constraints",
    "request.mode",
    "request.requested_state",
    "compute_slice.dimension"
  ],
  "result_semantics": "Preparation writes immutable input evidence. Confirmed run is selected by private CML; direct conflicts are eliminated before CML_A, otherwise CML_A processes the numeric state-symbol slice. A result certificate references the input certificate after a returned state event.",
  "schema": "PartnerProf-PolyRequest/1.0",
  "supported_prepare": {
    "dimacs_cnf": "/api/v3/large-inputs/dimacs/prepare",
    "npz": "/api/v3/large-inputs/npz/prepare"
  },
  "termination": {
    "default": "field_terminal",
    "events": [
      "REALIZED_STATE",
      "DIRECT_CONFLICT",
      "NO_ADMISSIBLE_CONTINUATION",
      "explicit_field_terminal_state"
    ],
    "watchdog_boundary": "An infrastructure interruption yields a technical unresolved event, never proof of impossibility."
  }
}