skills/partnerprof-guide/references/npz_input_contract.json

{
  "logical_cnf": {
    "complete_manifest_example": {
      "arrays": [
        {
          "dtype": "int32",
          "name": "variables",
          "semantic": "Boolean variable IDs 1..3",
          "shape": [
            3
          ]
        },
        {
          "dtype": "int32",
          "name": "clauses",
          "semantic": "Padded CNF clauses; positive=true, negative=false, zero=padding; OR within row and AND between rows.",
          "shape": [
            3,
            2
          ]
        }
      ],
      "logical_cnf": {
        "clause_array": "clauses",
        "padding_literal": 0,
        "variable_array": "variables"
      },
      "problem_family": "custom",
      "request": {
        "mode": "ADMISSIBILITY",
        "requested_state": {
          "encoding": "binary_assignment"
        }
      },
      "schema": "PartnerProf-NPZ-Manifest/1.0"
    },
    "exact_schema": {
      "clause_array": "clauses",
      "padding_literal": 0,
      "variable_array": "variables"
    },
    "example_arrays": {
      "clauses": [
        [
          1,
          0
        ],
        [
          -2,
          0
        ],
        [
          3,
          0
        ]
      ],
      "variables": [
        1,
        2,
        3
      ]
    },
    "rules": [
      "variable_array is a one-dimensional signed/unsigned integer array containing exact IDs 1..N in order.",
      "clause_array is a two-dimensional integer array; each row is one OR clause and all rows are combined by AND.",
      "Positive literal means true, negative literal means false, and zero is padding only — never a literal.",
      "Every nonzero literal must reference an ID in 1..N."
    ],
    "when_required": "Required when requested_state.encoding is binary_assignment, or when the archive carries a CNF variable/clauses representation. Such an archive is rejected by generic numeric_archive_admissibility."
  },
  "manifest": {
    "allowed": [
      "schema",
      "problem_family",
      "arrays",
      "request",
      "external_comparison",
      "logical_cnf"
    ],
    "array_allowed": [
      "name",
      "dtype",
      "shape",
      "semantic",
      "unit"
    ],
    "array_required": [
      "name",
      "dtype",
      "shape",
      "semantic"
    ],
    "array_rule": "Archive names must exactly equal manifest names; dtype and shape must exactly match. Only bool, signed/unsigned integer and floating arrays are accepted; object arrays are rejected.",
    "required": [
      "schema",
      "problem_family",
      "arrays",
      "request"
    ]
  },
  "ok": true,
  "prepare_endpoint": "/api/v3/large-inputs/npz/prepare",
  "request_body": {
    "npz_base64": "standard base64 NPZ bytes",
    "npz_manifest": "this contract",
    "poly_request": "PartnerProf-PolyRequest/1.0 with source.kind=npz and source.sha3_512 over decoded bytes"
  },
  "run_endpoint": "/api/v3/tasks/start",
  "safety": {
    "max_compression_ratio": 100,
    "max_decoded_bytes": 393216,
    "max_members": 128,
    "max_uncompressed_bytes": 16777216,
    "pickle": "disabled"
  },
  "schema": "PartnerProf-NPZ-Manifest/1.0",
  "semantics": "Arrays are losslessly bound to the request-local certified archive field. Their values are not silently averaged, optimized or interpreted as scalar conclusions. The finite compute slice is declared in poly_request."
}