feat(cache): record transport fields on a failed transfer - #44048

Open

marcelolynch wants to merge 10 commits into

leanprover-community:masterfrom

marcelolynch:cache-transfer-failure-diagnostics

Commits on Sep 22, 2026

feat(cache): record transport fields on a failed transfer

marcelolynch
and
claude
committed
fe3300b
more diag fields
marcelolynch
committed
2f28700
tweak / fix
marcelolynch
committed
3b776b8

Commits on Sep 23, 2026

feat(cache): keep header values out of curl's JSON report

marcelolynch
and
claude
committed
f13b327
test(cache): cover the write-out split and the failure-line suffix

marcelolynch
and
claude
committed
f68feaf
doc(cache): say that transferDiagnostics returns the failure-line suffix

marcelolynch
and
claude
committed
bc6c150
feat(cache): fetch a static curl below 7.83

marcelolynch
and
claude
committed
e8768ce
test(cache): run the write-out check on Windows and skip an old curl

marcelolynch
and
claude
committed
b657fd6
refactor(cache): pick the payload counter inside transferDiagnostics

marcelolynch
and
claude
committed
2bfb5d0
fix(cache): gate `%header{…}` at curl 7.84

marcelolynch
and
claude
committed
376839d