Skip to content

Implement OPA adapter for agent self-protection template #1

@fraware

Description

@fraware

Goal

Implement the first end-to-end OVK adapter for the agent-cannot-disable-own-ci-gate template.

Scope

  • Add ovk/adapters/opa/ implementation.
  • Load adapters/opa/capability.json.
  • Compile the self-protection intent into a Rego input object.
  • Run OPA CLI or library.
  • Normalize OPA violations into VerificationEvidence.
  • Add tests with a failing fixture where ovk-verify is removed from required checks.

Acceptance criteria

  • ovk run or equivalent adapter call returns fail for the fixture.
  • Evidence includes backend, guarantee type, assumptions, limits, counterexample, and block decision.
  • Unknown metadata is reported as unknown, never pass.

Metadata

Metadata

Assignees

No one assigned

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions