You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Required checks depend on upstream binary releases. The original incident involved transient GitHub Releases disconnects and 503s before Conftest, Gitleaks, Vale or OSV could run. Under #1168 / ADR-106, this issue now replaces repository-authored transport with a qualified maintained client and reviewed artifact identity.
PR #1140 is closed without merging. Its custom HTTP/socket/redirect/framing implementation is rejected; do not resurrect it or reproduce it around another HTTP library.
Replace acquisition for Conftest, Gitleaks, Vale and OSV with fixed-argv maintained curl invocation, local input support and finite native retry/transfer/size/process budgets.
Delete tools/http_download.py after migrating all its consumers; remove obsolete production HTTP code and transport-only tests/suppressions while retaining meaningful native-client and installer regression coverage.
Move Conftest/Gitleaks integrity selection from live checksum metadata into reviewed per-platform raw/installed digests; preserve Vale/OSV pins and existing OSV safeguards.
No repository retry loop, Retry-After parser, redirect traversal, socket reader, proxy/TLS/framing or HTTP timeout logic remains. Native client behavior supersedes the original exception-by-exception retry request.
No insecure TLS, credential-in-URL, user curlrc, credential forwarding across origins or broad retry-all-errors. Enterprise host egress policy belongs to maintained proxy/firewall infrastructure.
Integrity/type/archive/signature/identity failures are terminal outside transport retries; availability fallback selects only approved identical bytes.
Safe stable diagnostics and required-lane hard failures remain. Unsupported client/platform preflight fails clearly.
Verification and follow-on boundaries
Execute T01, T02, T08–T10 and T23 in docs/decisions/package-artifacts/operations.md against the actual qualified client. Preserve installer integrity tests; T08 exercises native HTTP behavior with controlled fixtures.
#1219 owns subsequent shared local-cache concurrency improvements; #1220 and #1221 own the separate Isabelle and vocabulary acquisition paths. This issue is not a larger downloader, a runtime module-registry rewrite or a vulnerability-gate weakening.
Implementation starts after maintainer acceptance of #1168. Native GitHub dependencies encode the gate and prerequisites.
Problem and outcome
Required checks depend on upstream binary releases. The original incident involved transient GitHub Releases disconnects and 503s before Conftest, Gitleaks, Vale or OSV could run. Under #1168 / ADR-106, this issue now replaces repository-authored transport with a qualified maintained client and reviewed artifact identity.
PR #1140 is closed without merging. Its custom HTTP/socket/redirect/framing implementation is rejected; do not resurrect it or reproduce it around another HTTP library.
Scope and acceptance
tools/http_download.pyafter migrating all its consumers; remove obsolete production HTTP code and transport-only tests/suppressions while retaining meaningful native-client and installer regression coverage.Verification and follow-on boundaries
Execute T01, T02, T08–T10 and T23 in
docs/decisions/package-artifacts/operations.mdagainst the actual qualified client. Preserve installer integrity tests; T08 exercises native HTTP behavior with controlled fixtures.#1219 owns subsequent shared local-cache concurrency improvements; #1220 and #1221 own the separate Isabelle and vocabulary acquisition paths. This issue is not a larger downloader, a runtime module-registry rewrite or a vulnerability-gate weakening.
Implementation starts after maintainer acceptance of #1168. Native GitHub dependencies encode the gate and prerequisites.