Satisfy a 3-SAT instance, confirmed by a reviewer (30 variables)

Checks run in this order. Open a step to inspect its rules, checker or review rubric.

1. Clause satisfaction checkAutomated checkChecker configured

   Parses the assignment and evaluates every clause of the bound instance. Establishes clause satisfaction only.

   A conforming checker is configured. Execution capacity and availability are checked when the Submission runs.

   TfP builtin checker

   This checker executes code inside the TfP Worker. It is not a pullable OCI image.

   Read checker code

   Source provenance and runtime metadata

   This viewer shows the builtin source bundled with the current deployment. It is not a historical execution or build attestation.

   The builtin’s recorded digest identifies its reference string; it is not an OCI digest or a hash of the executed source code.

   Recorded image / builtin reference

   tfp-builtin/sat-assignment-check:1

   Recorded runtime digest

   sha256:d2af299eb3f6cd7e46b95d54405df46e71fa5c89af4722eaa395ea277b00e1e0

   Declared entrypoint (argument array)

   ["/tfp/verify"]

   Declared source

   Open recorded source repository ↗

   No exact source commit is recorded.

   Declared license: MIT. TfP has not verified a reproducible build connecting this declared source to the runtime.

   Checker identity and execution limits

   Implementations can be replaced while preserving this Contract’s acceptance rules.

   {
     "verifier_implementation_id": "vfi_cnr1po4prw",
     "version": 1,
     "content_hash": "sha256:30cce2ad3709a1a92a2b31e16c1a99cad4c1a3c93fc407c05d2095025f1bed2e",
     "conformance": {
       "checked_at": "2026-09-02T15:13:59Z",
       "differential_against_implementation_id": null,
       "failures": [],
       "fixtures_passed": 4,
       "fixtures_total": 4,
       "status": "passed"
     },
     "runtime_image_digest": "sha256:d2af299eb3f6cd7e46b95d54405df46e71fa5c89af4722eaa395ea277b00e1e0",
     "limits": {
       "disk_mb": 64,
       "memory_mb": 512,
       "network": "none",
       "timeout_seconds": 60,
       "vcpu": 1
     }
   }

   Stage evidence schema

   {
     "properties": {
       "clauses_satisfied": {
         "type": "integer"
       },
       "clauses_total": {
         "type": "integer"
       }
     },
     "required": [
       "clauses_total",
       "clauses_satisfied"
     ],
     "type": "object"
   }

2. Reviewer confirmationReviewReview required

   One campaign reviewer confirms the submission is a genuine, readable witness. Establishes reviewer acceptance only.

   Eligible reviewers must complete the pinned rubric. Seat availability and completion are not guaranteed.

   Read the pinned rubric and reviewer rules

   SAT witness: one campaign reviewer confirms · pinned protocol

   Campaign reviewer · 1 reviewer

   The sandbox has already checked that the assignment satisfies every clause. Confirm the submission is a genuine, readable witness (one v-line, terminated by 0) and not a bulk dump or an unrelated file. Answer accept if it is; reject if not.

   Rationale requiredAt least 0 citationsConfidence optional

   Response fields and full schema

   • verdict · required "accept" / "reject"

   {
     "additionalProperties": false,
     "properties": {
       "verdict": {
         "enum": [
           "accept",
           "reject"
         ]
       }
     },
     "required": [
       "verdict"
     ],
     "type": "object"
   }

   Only designated Campaign reviewers may claim a seat.The submitter is excluded.Responses on this node are withheld until it completes.Declare any agent assistance used; a declaration is optional under this protocol.

   Exact reviewer eligibility, visibility and Skill pins

   {
     "reviewers": {
       "allowed": null,
       "count": 1,
       "eligibility": {
         "organization_id": null,
         "rule": "campaign_reviewers",
         "user_ids": null
       },
       "independent": true,
       "kind": "human"
     },
     "conflicts": null,
     "visibility": {
       "hidden": [
         "submitter_identity"
       ],
       "prior_nodes": [],
       "stage_evidence": true
     },
     "skills": null
   }

   How judgments become the outcome

   Reviewer decides

   Accept when at least 1 responses have verdict equals "accept". Reject when at least 1 have verdict equals "reject". Otherwise unresolved.

   Inputs, in order: reviewer · decision

   Final outcome comes from decision. Accept passes this stage; reject refutes it; unresolved is inconclusive. All verification stages must pass.

   Node deadline: 48 hoursClaim hold: 120 minutes, bounded by the node deadline

   Protocol identity and full rules

   rpt_rsu1os6nxj
sha256:76dd5abc2ff1ee693ca8e20317f03f11ad82a9ac437f271e7bd7356334530a0d

   Read the complete pinned protocol →

   {
     "output": "decision",
     "policy": {
       "assignment_timeout_hours": 48,
       "max_replacements_per_node": 1
     }
   }