skills/partnerprof-guide/references/dimacs_control_sample.json

{
  "expected": {
    "assignment_by_variable": {
      "1": 1,
      "2": 0,
      "3": 1
    },
    "proof": "Each variable is forced by one declared unit clause; no search, averaging, or replay is required.",
    "state_event": "REALIZED_STATE"
  },
  "ok": true,
  "prepare_request": {
    "dimacs_cnf": "p cnf 3 3\n1 0\n-2 0\n3 0\n",
    "poly_request": {
      "compute_slice": {
        "dimension": 64,
        "step": "uni"
      },
      "poly": {
        "constraints": [
          {
            "between": "AND",
            "source": "DIMACS:clauses",
            "within": "OR"
          }
        ],
        "dependencies": [
          {
            "source": "DIMACS:literals"
          }
        ],
        "state_symbols": [
          {
            "source": "DIMACS:variables"
          }
        ]
      },
      "request": {
        "mode": "ADMISSIBILITY",
        "requested_state": {
          "encoding": "binary_assignment"
        }
      },
      "schema": "PartnerProf-PolyRequest/1.0",
      "source": {
        "kind": "dimacs_cnf",
        "sha3_512": "556f7e6074e1094df50ee0b1707bc60717bf60165caf21d534d51027abe1139941f06a5e2716eb1e03f9537c8f367d1030a352ec5b5dcd720f034536f609c462"
      }
    }
  },
  "purpose": "Verify prepare → explicit confirmation → private CML-selected elimination → state event → certificate input-reference.",
  "schema": "PartnerProf-DIMACS-ControlSample/1.0",
  "workflow": [
    {
      "action": "Submit prepare_request and review accepted counts, certificate and prepared_task_id.",
      "endpoint": "/api/v3/large-inputs/dimacs/prepare"
    },
    {
      "action": "Submit only the returned prepared_task_id with confirm_execution: true; retain the returned run_id for status, progress and result.",
      "endpoint": "/api/v3/tasks/start"
    }
  ]
}