Completed: interrupted-entry contract alignment and UrlResolver rebase verification
Written: 2026-10-25 02:24 UTC.
RE-VERIFY: This is the completion snapshot. The PR remains open and must not be treated as merged. Recheck https://github.com/CodexCoder21Organization/UrlResolver/pull/1525 with gh pr view 1525 -R CodexCoder21Organization/UrlResolver --json state,headRefOid,mergeStateStatus,statusCheckRollup before any later work.
Design decision supplied
The 2026-10-25 follow-up brief states:
Orchestrator decision: align the PR 1525 test with main's merged contract. This is NOT a weakening: every property the test protects stays asserted (prompt return within five seconds, interruption preserved as the failure's type and cause, the caller's interrupt flag restored, zero bytecode requests, zero cache lookups, a later proxy on the same resolver works and downloads once). Only the exception TYPE and MESSAGE move to the contract main already enforces for every other pre-interrupted proxy call.
This supersedes the prior requirement to stop before choosing a contract. The follow-up lane explicitly limits the source change to tests/testColdProxyCallPreservesPreexistingInterruption.kts; no README or implementation edit was made. It authorizes completion of this extra decision/rebase handoff, and prohibits a new handoff or any enqueue/merge/deploy.
Completed work
The fresh checkout recovered all 54 rebased commits from 8d5b3d24317f1b810d8fc4c539756e6c49f58355, still zero behind main 497fa668ccb3a58610adf6f6a05520b9fb6bda80. The sole follow-up code commit, https://github.com/CodexCoder21Organization/UrlResolver/commit/afaf5382bab90ac8a8e24a3daec76fbb4380bd95, changes the named test's exception type and full message and adds the exact cause-message assertion Interrupted before starting sandbox method 'add(II)I'.. Every other assertion remains byte-identical.
The old expectation failed 3/3 first attempts (9 native failures). The alignment passed 3/3 first attempts (3 native attempts). Restoring the old expectation failed 3/3 first attempts (9 native failures); this is a test-contract correction, so no production fix was reverted. The final restored test additionally passed once. Each of the five requested seam tests passed 3/3 first attempts, and both named neighbors passed 1/1: 20/20 requested verification invocations, no retries, all --local. The earlier union is separately recorded as 174/175 first attempts; it was not rerun wholesale.
The target PR was confirmed OPEN, then the exact lease against 88084ead733b3e1c02b6252f28204875debf3b15 succeeded. Remote head is afaf5382bab90ac8a8e24a3daec76fbb4380bd95. The existing PR body was preserved and the requested rebase section appended with conflict-resolution details, invariant audit and both evidence links. Final fetch gives 0 behind / 55 ahead. Repository checkouts are clean with no stashes or unpushed commits.
The PR is OPEN / MERGEABLE / BLOCKED, no longer DIRTY or CONFLICTING. CI is not green: kotlin.build (remote) failed before any upload session or source chunk was created, because execution-duration publication on /root/buildtest-data reported No space left on device. New publications are refused. Other CI checks were in progress at the snapshot. Full output and stacktrace are saved as ci-upload-failure.md. No CI retry, bypass or infrastructure change occurred. The scoped rebase and decision work is complete; this does not claim the larger PR is landed.
Relevant PRs and refs
| Branch / PR |
Remote head / state |
Contents |
| https://github.com/CodexCoder21Organization/UrlResolver/pull/1525 |
afaf5382bab90ac8a8e24a3daec76fbb4380bd95; OPEN / MERGEABLE / BLOCKED |
Rebased 54 commits plus one test alignment; 20 requested local invocations first-attempt clean |
| https://github.com/CodexCoder21Organization/UrlResolver/tree/wip/hd23-rb2-rebased-1525 |
8d5b3d24317f1b810d8fc4c539756e6c49f58355 |
Original saved rebase, superseded by the target head |
| https://github.com/CodexCoder21Organization/UrlResolver/tree/wip/hd23-rb2-evidence-2026-10-25 |
e0c6bae714b2dcbe0488bd7c6a8d1bef216b6432 |
Prior build/union results, resolution and invariant audit |
| https://github.com/CodexCoder21Organization/UrlResolver/tree/wip/hd23-rb3-evidence-2026-10-25/investigations/hd23-rb3 |
Initial evidence commit 1fefccf2df521962da3fb823c222ca19cd005c1f, followed by the final completion snapshot |
Full alignment/control/seam XML, counts, findings and CI-upload failure; evidence only, no PR |
No deployment or Maven publication was performed. Every command in this lane was a local read/build/test, git operation, PR-body update, or existing-handoff update/completion.
Remaining work in this handoff
None. The user explicitly requested that this extra contract-decision/rebase handoff be completed once the above checks and push were done. The larger PR remains open with its CI state recorded accurately.
Reusable observations
Root-level XML attempt-history must be read independently from final test records. A successful retry does not count as a first-attempt pass. The runner omitted successful console output during the cause probe, so a temporary full-message mismatch was needed to expose the actual cause; the final test asserts that complete observed text.
Main's method-entry guard precedes cold admission. The admission wrapper and main's retained cancellation/root cleanup coexist unchanged; the full conflict audit is in the prior evidence.