# Vercy AI instruction — YAML 1.2 (JSON-compatible)
{
  "vercy": "1.0-draft",
  "metaModel": {
    "id": "world.s6-verification-and-zk-attestation",
    "name": "Verification & ZK Attestation",
    "version": "0.2.0-legacy",
    "family": "World Models",
    "category": "Reference example",
    "industry": [
      "Cross-industry"
    ],
    "domain": [
      "security-ownership-access"
    ],
    "tags": [
      "verification",
      "attestation"
    ],
    "status": "legacy example"
  },
  "canonicalUrl": "https://ver.cy/models/world-s6-verification-and-zk-attestation/",
  "structure": {
    "bundles": [
      {
        "name": "predicate",
        "description": "What can be claimed",
        "layersText": "catalogue`: registered predicate types with precise semantics · `grounding`: which owned data backs each predicate instance",
        "findings": []
      },
      {
        "name": "proof",
        "description": "Making a claim convincing",
        "layersText": "generation`: schemes, parameters and issuance of proofs · `freshness`: validity windows, re-proof triggers and revocation state",
        "findings": []
      },
      {
        "name": "verification",
        "description": "Deciding to believe",
        "layersText": "verifierPolicy`: which predicates, schemes and ages a verifier accepts · `outcomes`: verification results with replay protection",
        "findings": []
      }
    ]
  },
  "serviceLayers": {
    "artifactFormats": [],
    "policies": [],
    "crud": {},
    "roles": []
  },
  "legacySource": "/models/docs/security-ownership-access/S6-verification-and-zk-attestation.md",
  "migrationNotes": [
    "Findings, questions, artifacts, CRUD rules and access roles are not explicit in this legacy version."
  ]
}