Skip to content

Require intercepted support to exist at assessment time #494

Closed

Description

@devantler

🤖 Generated by the Agentic Engineer

Problem

The offline assessor bounds positive runtime support to the proof assessment time, but intercepted support observed later can still support a candidate recommendation.

Proposed direction

Repair the owning observation or output boundary, with a regression that fails on current main before changing the implementation. Preserve the existing conservative behavior and public interface.

Acceptance criteria

  • Require successful intercepted support to have existed by the bound assessment time.
  • Retain earlier/equal successful support and independently scoped known-failure contraction.
  • Exercise the copied assessor and preserve assessment-only authority, unauthenticated evidence and disabled execution/mutation.

Size: S/M. Part of #223.

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

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

Fields

Priority

None yet

Effort

None yet

Projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions