harness/core
4
0
Fork 1
Code Issues Pull requests 14 Projects Releases 200 Packages 1 Wiki Activity Actions

test: fix publisher hang in outdated Peter counterexamples #270

Merged
akira merged 1 commit from fix/peter-ci-counterexample into main 2026-11-05 11:10:26 +00:00
Conversation 0 Commits 1 Files changed 1 +9 -9
akira commented 2026-11-05 11:10:06 +00:00
Collaborator
Copy link

Publisher run15238 timed out at900s. Counterexamples still assumed no independent assessment after PR269. Exercise explicit global hold instead; retain separate successful admission coverage. Targeted4tests pass; typecheck/build pass. Mandatory review passed fingerprint be4cba244f766d4837c09d5c1e6b932543a54264c574a8fc291e7b353c9ef704 zero findings. Full local suite not green: platform/observer/startup issues remain, not hidden or bypassed. No production code change.

Publisher run15238 timed out at900s. Counterexamples still assumed no independent assessment after PR269. Exercise explicit global hold instead; retain separate successful admission coverage. Targeted4tests pass; typecheck/build pass. Mandatory review passed fingerprint be4cba244f766d4837c09d5c1e6b932543a54264c574a8fc291e7b353c9ef704 zero findings. Full local suite not green: platform/observer/startup issues remain, not hidden or bypassed. No production code change.
akira merged commit cf6bb33ca6 into main 2026-11-05 11:10:26 +00:00
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels
No items
No labels
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
harness/core!270
No description provided.