Archive/DiscordChatExporter
1
0
Fork 0
mirror of https://github.com/Tyrrrz/DiscordChatExporter.git synced 2026-06-10 00:02:37 -06:00
Code Issues Actions Packages Projects Releases Wiki Activity
DiscordChatExporter/docs/plans/2026-06-04-073-feat-operator-proof-json-summary-plan.md
Copilot dbc887d81c feat(scrape): JSON summary export for operator proof runs 
Auto-enable DCE_RUN_SUMMARY_* when proof scrapes, support --log-file,
and recover summary JSON from the teed proof log when file write fails.
2026-06-03 10:35:48 -05:00

2.1 KiB
Raw Blame History

title type status date origin
feat: Operator proof JSON scrape summary export feat complete 2026-06-04 /lfg — plan 072 deferred operator-proof JSON summary parity with validation

feat: Operator proof JSON scrape summary export

Summary

Mirror operator-validation JSON summary behavior in run-operator-proof.sh: auto-enable DCE_RUN_SUMMARY_* when scraping, write *.summary.json beside the proof log, and recover from the teed log when the file is missing.

Problem Frame

Validation and host runner now emit machine-readable scrape totals (plans 069–072). run-operator-proof.sh is the one-target handoff → scrape → prove path but still only produces human-readable logs. Operators running KotOR yes_general proof cannot get .summary.json without switching to validation.

Requirements

ID Requirement
R1 Optional --log-file PATH; default logs/operator-proof-<UTC>.log
R2 When scraping (not dry-run, not salvage-only), export DCE_RUN_SUMMARY_JSON=1 and *.summary.json beside log
R3 Log JSON summary file: at proof start when export enabled
R4 After tee, recover summary via recover_json_summary_if_missing when file missing
R5 Dry-run and salvage-only do not enable JSON export
R6 run-operator-proof-smoke.sh asserts dry-run skips JSON summary
R7 DCE_MIN_FREE_MB=0 ./scripts/run-all-smokes.sh → 22/22

Implementation Units

U1. Operator proof wiring

Files: scripts/run-operator-proof.sh, scripts/tests/run-operator-proof-smoke.sh

Approach: Match validation pattern; export env before tee; recovery after tee.

U2. Docs

Files: docs/recurring-scrape-merge-readiness.md, docs/recurring-scrape-operator-checklist.md

Approach: Plan 073 stamp; note .summary.json beside proof logs.

Verification

DCE_MIN_FREE_MB=0 ./scripts/run-all-smokes.sh

Scope Boundaries

Deferred

  • Live KotOR catch-up on host
  • Per-target separate summary files in multi-target proof loops
  • print-scrape-summary.sh CLI to pretty-print JSON