feat(proof): harvest bounded per-trial Harbor logs - #296

Merged

echobt merged 8 commits into

mainfrom

cursor/harbor-per-trial-logs-4e68

Sep 13, 2026

Commits on Sep 13, 2026

feat(proof): harvest bounded per-trial harbor logs

cursoragent
and
echobt
committed
92508b2
test(proof): track harbor fixture trial.log

cursoragent
and
echobt
committed
359f7ef
fix(proof): cap per-trial logs at 2kib under 256kib

cursoragent
and
echobt
committed
46a9ce1
fix(proof): budget-guard trial logs under 256kib

cursoragent
and
echobt
committed
2f62516
fix(proof): bound results.json by encoded json size

cursoragent
and
echobt
committed
d21fa0c
fix(proof): apply 512kib results cap only to harbor

cursoragent
and
echobt
committed
10d4f6d
fix(proof): redact harbor logs before tail cut

cursoragent
and
echobt
committed
eaea6aa
fix(proof): redact decoded harbor logs then char-tail

cursoragent
and
echobt
committed
9dd2d13