Repository navigation
content: bounded provider recovery and joined browser/Weather proof harnesses - #227
Merged
Merged
Conversation
Contributor
Author
|
Dependency triage (read-only; no alert suppression):
Track a compatible resolver backport or coordinated dependency/toolchain upgrade before a publicly exposed release. The current libp2p requirement and Rust 1.85 pin prevent treating this as a simple lockfile bump. No exploit was run, and these findings do not replace the pending real cache-recovery and joined-client proofs. |
Contributor
Author
|
Follow-up dependency reachability check at ebf0d07 (no dependency or alert-policy changes):
No real exploit was executed. The exact-head protected-network trial remains in progress: https://github.com/VOLPAROSSA/volparossa/actions/runs/38190664934 . |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Current candidate and verified baseline
9441b451fixes the newly diagnosed route-loss propagation: a correlated helper rejection (Kernel,Capacity,Unavailable) releases only the unissued request's reservation, retaining existing sibling flows. Lost/cancelled/corrupt handoffs and ambiguous cleanup still retire the route. The existing bounded attempt count, deadlines, selected relay route and genuine MPTCP requirement are unchanged. Eleven focused Rust tests, formatting and independent review pass; dependencies and lockfile are unchanged.Protected standalone provider run 38204038877 passes on exact
9441b4514ae0c66c6353158fdeb45579773c32fa. Independent schema-three validation and a complete raw-evidence rebuild agree with the aggregate, SHA-2560d8cbd696240dd7d12f73545c4ef305b5b73e6a845620388a88bad3819d449a3. Named fetch reconstructs nine chunks / 2,097,275 bytes from two providers. Native/HTTPS each reconstruct sixty chunks / 15,728,640 bytes from three providers, with 5.139/4.655-second bulk overlap. Late recovery completes in 11.096 seconds with gate release at 4.975 seconds; cancellation and zero-owned-object cleanup pass. Guest-root network state is unchanged. This run makes no weather requests and contains no pressure fixture; worker allowance stays twelve, peak three, with no pressure or continuation events. CodeQL and Quality run 38204014574 both pass for this exact revision. The separate pressure-proof branchfeature/content-pressure-acceptanceretains failed run 38205593860 on52a3a787. It completes the actual sixty-chunk transfer and observes CPU-only allowance contraction from ten to one plus two useful serial continuations (31 chunks / 8,126,464 bytes), but its evidence checker incorrectly requires generic discovery when the phase uses authenticated targeted refresh. Cleanup succeeds with zero owned objects and equal guest-root network state; late recovery and cancellation are not reached. The failed aggregate remains failed, SHA-256c1bacb39e85b50e2fd2093e4aff00cd8f87e8b3b3561cdf3e92f0c1c383848ef.Fixture-only correction
0f391c77a2b9ee72ec2df26cb398a03041ed314bdistinguishes generic queries from targeted lookup starts/finishes and verified nonempty client responses. A lookup finish alone is insufficient; all pressure, continuation, three-provider, privacy, route and cleanup gates remain. The component is now schema two, within aggregate schema four; the old raw result is not upgraded. 117 focused checks, ten existing inert cancellation checks and independent review pass.Protected full-sequence trial 38207713645 passes on that exact revision. Independent raw reconstruction matches the complete schema-four aggregate and schema-two pressure component, with aggregate SHA-256
d25eb8460f7edc8f428c9d438db805b254f334608aa9842edc7f8b878c420872. Real CPU-only pressure reduces allowance from twelve to one after three peak leases. Two serial continuations return thirty verified chunks / 7,864,320 bytes; the whole sixty-chunk / 15,728,640-byte object completes through three providers without origin fallback. Targeted refresh records three starts, finishes and verified nonempty replies; generic DHT queries remain zero. Healthy native/HTTPS transfer, late recovery (5.371-second gate, 12.887-second fetch), cancellation (116 ms independent cache delivery, 10 ms EOF), privacy and zero-owned-object cleanup pass. Guest-root network state is unchanged. This proves useful continuation under measured pressure, not pressure subsiding or improved owner-task performance.The pressure fixture and its evidence are now included in this PR. Head
c48fba8cadds only the status ledger to the tested0f391c77; hosted Quality 38209378939 and all CodeQL checks pass for this exact head. No Weather inputs or source requests were part of the protected trial.0e23140badds a separate signed-service readiness prerequisite using the existing typed discovery API: at most two requests in thirty seconds, no desired provider/address injection, B off, unchanged route and cold content cache. All preparation events remain separate from the unchanged six-second measured gate and 300-second fetch.Two Rust socket tests, seventeen late-provider tests, nineteen aggregate tests and ten existing inert cancellation checks pass. Independent review confirms cleanup and explicit historical/current evidence versions. Continuation diagnostics in
1fb13275pass twelve focused Rust tests and sixteen extractor tests; returned progress is not a claim that failed/cancelled receives wrote nothing.Protected run 38199501353 passes on exact source
0e23140b903c58b5abf80502923d40f705b773c0. Local current-schema validation independently passes; aggregate SHA-25686466078298fcab6b6ae951fbd369b8ce0b28a2bda566cf238aa69a0deebd4a6.9b132f6conly adds the omitted exact version pin for the readiness dev path dependency and records fresh UI evidence; runtime source and Cargo.lock are unchanged. The prior Quality run stopped at that wildcard-dependency gate. The pin matches existing conventions and locked offline metadata; compatible hosted Quality run 38200580494 and CodeQL now pass for that revision. The local cargo-deny 0.18.3 cannot parse the existing license configuration and was not used to waive this check.Documentation-only
726fe694passes hosted Quality and CodeQL. Those results are not carried forward as proof for the later runtime correction.Joined trial stopped before Weather
The later local joined VM on
9b132f6c, using immutable Overmorrow bundle profile 3, fails atcontent-provider-named-fetchbefore any Weather acquisition or rendering. Its aggregate reportsCONTENT_NAME_FETCH_FAILED; SHA-256a2c9379b12f96623c95e527b57ffb4e6873337a0f35420be0e60ef2c1ca8c5e7. Both providers register and metadata verification reaches body retrieval. One body MPTCP socket is ready; the second receives a definite helperKernelrejection. The client incorrectly converts that rejection toAcquireUnconfirmedand destroys the shared route, disrupting the sibling flow. The original kernel syscall/errno is not retained; it is not attributed to port collision, expiry or load.The narrow route-preservation correction is now published as
9441b451with focused passing regressions, as described above. The original failed run remains failed; the new protected run is attributed separately. Cleanup completes with zero owned objects; the VM, scratch and forwarded port are removed. Readable development-host network hashes match; firewall access was unavailable and is explicitly not verified equal. No new weather-source request occurred.A subsequent joined attempt on the proven
9441b451, with the unchanged verified bundle, is aborted with exit 143 during the guest build because of development-host memory pressure. It reaches neither topology execution nor Weather acquisition and is not automatically restarted. The owned VM, runner, SSH supervisor, scratch and forwarded port are removed; base image and source are unchanged. DNS, routes, rules, addresses, forwarding, namespace names and WireGuard names match. Full host-network equality is not proven: firewall comparison is unavailable and the link hash differs; dynamic bridge timers are present, but the original raw values were not retained to establish the cause. The next preparation step is a reproducible hosted input recipe, not publication of the private bundle.Retained live evidence
d3d9c18with passing component and CodeQL checks and retains exact typed-table proof; it does not establish joined core delivery or separate product DOM containers.Remaining gates
0f391c77.0a9f81a54eb594af9884aebcdf79c03d8efb767447973f7ad40acb92844bf645) with the corrected verifier and fresh full Browser09 proof.9441b451(earlier baseline).c48fba8c.Ready to integrate the independently reviewed provider/cache milestone. Joined Weather/browser delivery, hosted decoder admission and native mobile execution remain follow-up work; no full alpha/C02 or arbitrary HTTPS cache claim. The ledger's instruction to join the pressure fixture to this PR has now been completed. See docs/IMPLEMENTATION_STATUS.md; existing dependency advisories remain tracked, not suppressed.