{
  "spec_version": "1.0",
  "object": {
    "formal_statement": "QWED-AI/QweD-frontend@5f70502c (PR #98) is safe to merge"
  },
  "context": {
    "interpretation": {
      "theory": "deterministic security verification",
      "logic": "evidence-context-policy pipeline"
    },
    "proof": {
      "verifier": "QWED Security",
      "verifier_version": "qwed-security-ruleset/13",
      "configuration": {
        "repo": "QWED-AI/QweD-frontend",
        "head_sha": "5f70502c1dcbada8a037882ce88969fdd4ba979f",
        "files_scanned": 1,
        "attestation_token": "eyJhbGciOiJSUzI1NiIsImtpZCI6IjU2NWFkMDg2NGY3NWJkYmIiLCJ0eXAiOiJKV1QifQ.eyJpc3MiOiIyNzU5NTA0IiwiYXVkIjoicXdlZC1hdHRlc3RhdGlvbiIsImlhdCI6MTc5MjQwODEzMiwiZXhwIjoxNzkyNDA4NDMyLCJxd2VkIjp7InJlc3VsdCI6eyJzdGF0dXMiOiJWRVJJRklFRCIsImFnZW50X21lc3NhZ2UiOiJWRVJJRklFRCBhZ2FpbnN0IHRoZSBRV0VEIGRldGVybWluaXN0aWMgcnVsZSBzZXQ6IG5vIHNlY3VyaXR5IGJvdW5kYXJ5IHZpb2xhdGlvbnMgZGV0ZWN0ZWQgaW4gdGhlIHNjYW5uZWQgZmlsZXMuIFRoaXMgYXR0ZXN0cyB0byB0aGUgYWJzZW5jZSBvZiBrbm93bi1wYXR0ZXJuIHZpb2xhdGlvbnMgZm9yIHRoaXMgcnVsZSBzZXQgYW5kIGNvbW1pdCBcdTIwMTQgaXQgaXMgbm90IGEgZ3VhcmFudGVlIHRoYXQgdGhlIGNvZGUgaXMgZnJlZSBvZiBhbGwgdnVsbmVyYWJpbGl0aWVzLiIsImlzX2F1dGhvcml0YXRpdmUiOnRydWV9LCJwcm9vZl9oYXNoIjoic2hhMjU2OjhiZGQ0M2Y2Mzg0Mjc1NzMxYjE3ZGMyZmZhYTA5MGFkYjJjY2Y1ZDZmOTY2OTI5MjdlYjM0YzBlNWEwNzVhODIiLCJib3VuZGFyeSI6bnVsbH19.H2gqaicu2a8FxiAfdQ1UVZ8DlSyGyxyr9SZa_1wrbYFdAPKmNkClIviOlDOd_pf6BpKnrbb5ybdC2Wg114U6n4AuWw5G-K7LFMzZ7yTUkaoN_MgkwpIDpPyTMN5_lsrUFkgb2xF1ggTkKAdm3SYOHGSm8JvTC7epQPwrPeq84hzg5plgQqj4z1Qz9HFxlv1AAWQNRsytYe-fx419SBfgfiE06doX20P9PvKYjXCV3tsoDivZPL_6bdHXVPWz0IVmHFWIP29cuJZWmX9ON1F10Q54yU-cSuWmfMaRGAt6N8WS3-K9L9mwHhjNDIrTAUInVEnTHVo4h7FPaOvzTRZoHw",
        "attestation_fingerprint": "33952cba7c467874",
        "attestation_jwks_url": "https://qwed-security-334760594829.us-central1.run.app/.well-known/jwks.json",
        "attestation_kid": "565ad0864f75bdbb"
      },
      "theory_scope": "PR security scan against QWED deterministic rule set",
      "trusted_dependencies": [
        "qwed-security"
      ],
      "outcome_treatment": "unknown/timeout/error resolve to UNVERIFIABLE or BLOCKED"
    },
    "evidence": {
      "evidence": {
        "status": "VERIFIED",
        "agent_message": "VERIFIED against the QWED deterministic rule set: no security boundary violations detected in the scanned files. This attests to the absence of known-pattern violations for this rule set and commit — it is not a guarantee that the code is free of all vulnerabilities.",
        "developer_fields": {
          "total_findings": 0,
          "advisory_checks": []
        },
        "is_authoritative": true,
        "proof_ref": "sha256:8bdd43f6384275731b17dc2ffaa090adb2ccf5d6f96692927eb34c0e5a075a82",
        "scan_evidence": {
          "repo": "QWED-AI/QweD-frontend",
          "head_sha": "5f70502c1dcbada8a037882ce88969fdd4ba979f",
          "pr_number": 98,
          "files_scanned": 1,
          "engine_results": 2,
          "conclusion": "success",
          "rule_set": "qwed-security-ruleset/13",
          "engines": [
            "entropy_scan",
            "pattern_scan"
          ]
        },
        "repo": "QWED-AI/QweD-frontend",
        "head_sha": "5f70502c1dcbada8a037882ce88969fdd4ba979f",
        "files_scanned": 1
      },
      "proof_ref": "sha256:4d4202f6be4f00f70c4bd02a97ece29cf6f3a1753a6e9fea3dd68561cc17bc1c"
    },
    "decision": {
      "admission": "ADMIT"
    }
  },
  "verdict": "VERIFIED"
}