Gateway ceiling theory registers duplicate boundary cases #709
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Full bounded offline discovery for #707 reported two duplicate xUnit test IDs in GatewayCeilingPagingTests.A_tie_cluster_at_a_page_boundary_is_exact_or_refused_never_truncated_or_endless: size983/n5000 and size984/n5000. The duplicate registrations were discarded; both original cases still execute, so no unique behavioral case is presently shown lost. Existing test data remain unchanged under the CI-only scope.
Acceptance: reconcile duplicate InlineData/constants without changing unique boundary cases or assertions; verify theory discovery has unique IDs and the complete gateway suite passes without these duplicate-ID warnings. No production paging defect is established by this finding. Preserve #707 resource-bound validation and test execution floor.
Approved test-only fix committed locally as
8ff9f38b. Removed only the two duplicate InlineData registrations; all nine unique boundary cases passed. Independent review confirmed that the removed values equal existing L-1/L cases. Combined solution and hosted CI remain publication/closure gates.Combined reviewed test/CI fixes published in PR #711, head
76bdca90e9. Complete local coverage: 14,631 passed, 572 skipped, zero failures across 62 assembly TRX files; 12,000-test floor passed. Completed results from the interrupted invocation were retained and only five unfinished assemblies resumed with identical settings/code. Cancellation mutation verified RED; independent combined review clear. Hosted CI run 975 is active; issues stay open pending CI and merge.Merged PR #711 as
19bc13bf6aafter hosted CI run 975 passed on exact head76bdca90e9. Merged tree equals tested tree. Restore, Release build, README drift check, serialized full test step, 12,000 executed-test floor and TRX upload all succeeded; gate counted 14,630 executed tests across 62 reports. Local coverage also passed with 14,631 tests and 572 skips. Existing skip-summary diagnostic defect is tracked separately in #712. No retries or assertion deadline changes.