{
  "name": "Scriptor",
  "id": "scriptor",
  "composition": [
    "sola-zero-v5",
    "public-contract-docs"
  ],
  "build": "e6d405156e69f9f5",
  "publicDocumentation": true,
  "ownerApiAuthentication": "key+external-factor",
  "runnerConfigured": false,
  "formalProof": false,
  "requirements": 31,
  "requirementsWithBothLinks": 13,
  "requirementsWithMissingLinks": 18,
  "tests": {
    "tests": 31,
    "failures": 0,
    "errors": 0,
    "skipped": 0
  },
  "generator": {
    "jmarkdocRevision": "e0278b9559ad3744f0d3471853bb3977811263a7",
    "traceExtractor": "javac annotation processor"
  },
  "documentationGeneration": "reviewed build pipeline",
  "documents": {
    "html": "/docs/contracts.html",
    "pdf": "/docs/contracts.pdf",
    "traces": "/docs/traces.html",
    "json": "/docs/requirements.json",
    "provenance": "/docs/provenance.json",
    "verification": "/docs/verification.json"
  }
}