Skip to content

Clarify faithful behavioral proof guidance - #68630

Merged
PureWeen merged 4 commits into
dotnet:mainfrom
PureWeen:pureween-behavioral-proof-guidance
Aug 25, 2026
Merged

Clarify faithful behavioral proof guidance#68630
PureWeen merged 4 commits into
dotnet:mainfrom
PureWeen:pureween-behavioral-proof-guidance

Conversation

@PureWeen

Copy link
Copy Markdown
Member

Summary

  • require behavioral findings and bug-fix verification to exercise the smallest faithful path through the component or browser mechanism that owns or produces disputed preconditions
  • distinguish injected callback/event and isolated component diagnostics from proof that the real producer can reach the path
  • extend the Components workflow to behavioral investigation and review while preserving lower faithful validation boundaries and shipped-fix E2E coverage

Behavioral proof evaluation

  • An injected callback failure with a producer that cannot emit the callback and a passing E2E scenario requires withdrawing or narrowing the regression claim.
  • A producer that emits the disputed precondition followed by a user-visible E2E failure supports an actionable finding.

Validation

  • git diff --check
  • independent rubber-duck review found no material ambiguity or overbreadth after refinement

Documentation-only change; no build or test run applies.

Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>
Copilot AI lite review requested due to automatic review settings August 18, 2026 21:28
@PureWeen
PureWeen requested review from a team and wtgodbe as code owners August 18, 2026 21:28

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR clarifies guidance for Components behavioral investigations/reviews by defining what constitutes “faithful” behavioral proof and by emphasizing validation at the smallest boundary that still includes the real producer mechanism (component or browser) and a user-visible outcome.

Changes:

  • Expands the Components-area workflow to explicitly cover behavioral investigation and review, not just implementation.
  • Adds concrete guidance distinguishing injected callbacks/events and isolated component diagnostics from proof that the real producer can reach the disputed path.
  • Mirrors the “smallest faithful path” guidance into .github/copilot-instructions.md to align behavioral review and bug-fix verification expectations.
Show a summary per file
File Description
src/Components/AGENTS.md Updates the Components workflow guidance to require “smallest faithful validation boundary” for behavioral investigations/reviews and clarifies what constitutes actionable behavioral proof.
.github/copilot-instructions.md Adds aligned behavioral-proof guidance for review findings and bug-fix verification (smallest faithful path; avoid overstating verification when validation is impractical).

Review details

💡 Add a code-review agent skill for context-aware, tailored reviews. Learn more in the docs.

  • Files reviewed: 2/2 changed files
  • Comments generated: 0
  • Review effort level: Lite

Copilot AI added 2 commits August 18, 2026 16:40
Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>
Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>
@PureWeen
PureWeen merged commit 47320c1 into dotnet:main Aug 25, 2026
14 checks passed
@dotnet-milestone-bot dotnet-milestone-bot Bot added this to the 12.0-preview1 milestone Aug 26, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants