Skip to content

[2520] Prove expiry transition state is scoped - #2745

Open
Chris0Jeky wants to merge 1 commit into
mainfrom
issue-2520/scope-proof
Open

[2520] Prove expiry transition state is scoped#2745
Chris0Jeky wants to merge 1 commit into
mainfrom
issue-2520/scope-proof

Conversation

@Chris0Jeky

Copy link
Copy Markdown
Owner

Summary

  • add a service-level regression for archived-board skip transition state
  • prove one service instance logs the repeated count once then emits the debug continuation
  • prove a fresh service instance starts its own informational transition

Proof

  • focused detector passes 1/1 after compile
  • controlled static-field mutation made the focused detector fail (1 info instead of 2), then production code was restored byte-for-byte
  • AutomationProposalServiceTests: 152 passed
  • dotnet test -c Release -m:1 on the focused class
  • git diff --check

The production service is unchanged; this is a test-only proof slice.

Refs #2520

No issue close or merge requested; this PR is intentionally left open for review.

@chatgpt-codex-connector

Copy link
Copy Markdown

You have reached your Codex usage limits for code reviews. You can see your limits in the Codex usage dashboard.
To continue using code reviews, add credits to your account and enable them for code reviews in your settings.

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

Labels

None yet

Projects

Status: Pending

Development

Successfully merging this pull request may close these issues.

1 participant