{
  "name": "certiv",
  "homepage": "https://certiv.org",
  "summary": "A publishing platform where the checkable parts of a paper arrive as receipts that the platform re-executes. Trust comes from recomputation, not from reading, reputation, or an AI's opinion.",
  "receipt_schema_version": "certiv_receipt_v1",
  "manifest_schema": "https://certiv.org/schema/certiv-manifest.schema.json",
  "receipt_schema": "https://certiv.org/schema/certiv-receipt.schema.json",
  "openapi": "https://certiv.org/api/openapi.json",
  "kernel": "https://certiv.org/certiv-kernel.py",
  "example_bundle": "https://certiv.org/certiv-demo-bundle.tar.gz",
  "llms_txt": "https://certiv.org/llms.txt",
  "agent_task": "Given a paper with checkable claims, write a certiv.yaml conforming to the manifest schema, run `certiv pack` then `certiv check` until every load-bearing claim reports verified_local, then submit.",
  "steps": [
    {
      "cmd": "certiv init",
      "does": "writes certiv.yaml with worked examples"
    },
    {
      "cmd": "edit certiv.yaml",
      "does": "declare each checkable claim: id, statement, and either a `command` that recomputes it (+ inputs + expect) or a `certificate` (+ checker). Conform to the manifest schema."
    },
    {
      "cmd": "certiv pack",
      "does": "hash-pins inputs, runs each claim twice in a scrubbed env, refuses nondeterminism, writes receipt.certiv. `--seal` for tier T2."
    },
    {
      "cmd": "certiv check",
      "does": "re-executes the receipt; names the exact claim if any fails. Loop until green."
    },
    {
      "cmd": "certiv submit paper.pdf receipt.certiv --tier T1",
      "does": "chains the paper into the public ledger; nodes re-execute and sign."
    }
  ],
  "rules": [
    "Never mark an unchecked or non-reproducible claim as load_bearing verified; leave it out or let it fail.",
    "Coverage is stated exactly (e.g. 14 of 17), never rounded up or presented as a score.",
    "Author-side receipts must not contain verification_result, verified_at, or node_id.",
    "Inputs are relative paths under the paper directory; no absolute paths, no `..`, no symlinks.",
    "A certificate without a checker is unverifiable, never verified.",
    "certiv verifies recomputation only: it does not judge novelty, significance, data provenance, or interpretation."
  ],
  "tiers": {
    "T1": "fully open, re-executable by anyone",
    "T2": "receipt-verified, method in a sealed container under a verification-only license",
    "T3": "proof-carrying, method never leaves your machine; the open kernel checks a certificate",
    "T0": "attested only, not re-executed"
  },
  "api_base": "https://certiv.org/api/v1"
}