Skip to content

Check complete reported runtime enforcement coverage #456

Closed

Description

@devantler

🤖 Generated by the Agentic Engineer

A positive-only runtime test does not establish that disallowed execution was intercepted across the declared paths.

Acceptance: require both positive and intercepted-negative reports tied to the same runtime control revision and covering all declared paths; missing/unknown/unsupported reports HOLD; every output labels those reports unauthenticated. Size: M.

Part of #223.

Activity

  1. self-assigned this
    on Oct 4, 2026
  2. added theissue type on Oct 4, 2026
  3. added a commit that references this issue on Oct 4, 2026
  4. devantler commented on Oct 4, 2026

    @devantler
    ContributorAuthor

    🤖 Generated by the Agentic Engineer

    Delivered through PR #462, merged as 89ec0f1. Fresh fetch and an isolated main checkout confirmed HEAD equals origin/main; the Go assessment suite, independently copied installed consumer and manifest validation all pass on that commit.

    Both positive and intercepted-negative runtime reports must bind the declared controls and independently cover every declared path. Missing, unknown, foreign or incomplete coverage holds.

    All outputs remain assessment-only: executionAdmitted, mutationPerformed and reportedEvidenceAuthenticated are false. These are offline reported-fact assessments, not authenticated native enforcement. Parent #223 remains open for that integration.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Fields

Priority

None yet

Start date

None yet

Target date

None yet

Effort

None yet

Projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions