From 98b72fff02578437bd84f109c4c1a20097606611 Mon Sep 17 00:00:00 2001 From: Cursor Agent Date: Thu, 15 Oct 2026 17:35:18 +0000 Subject: [PATCH 1/2] CI: run Lean gates on push to main and weekly; keep spec receipts 90 days Co-authored-by: Dylan Roy --- .github/workflows/cap-first-exit-lean.yml | 9 +++++++++ .github/workflows/lean-specification-proofs.yml | 10 +++++++++- .github/workflows/lean-specifications.yml | 10 +++++++++- 3 files changed, 27 insertions(+), 2 deletions(-) diff --git a/.github/workflows/cap-first-exit-lean.yml b/.github/workflows/cap-first-exit-lean.yml index 2ca2252fe..904d0f5bc 100644 --- a/.github/workflows/cap-first-exit-lean.yml +++ b/.github/workflows/cap-first-exit-lean.yml @@ -7,6 +7,15 @@ name: Cap first exit (Lean kernel evidence, no scientific promotion) - '.github/workflows/cap-first-exit-lean.yml' - 'reviews/d1_cap_elder_partner_second_pass_claude_20260930/REVIEW.md' - 'imports/lifetime_parent_20260925/MARKED_CYLINDER_CAP_PROOF.md' + push: + branches: [main] + paths: + - 'frontiers/cap_first_exit_lean_20261002/**' + - '.github/workflows/cap-first-exit-lean.yml' + - 'reviews/d1_cap_elder_partner_second_pass_claude_20260930/REVIEW.md' + - 'imports/lifetime_parent_20260925/MARKED_CYLINDER_CAP_PROOF.md' + schedule: + - cron: '17 9 * * 0' workflow_dispatch: permissions: diff --git a/.github/workflows/lean-specification-proofs.yml b/.github/workflows/lean-specification-proofs.yml index 2b847d847..50e8f9db9 100644 --- a/.github/workflows/lean-specification-proofs.yml +++ b/.github/workflows/lean-specification-proofs.yml @@ -6,6 +6,14 @@ name: Lean statement proofs (kernel evidence about registered Props only, no sci - 'specifications/lean_statement_proofs_20261011/**' - 'specifications/lean_statements_20261010/**' - '.github/workflows/lean-specification-proofs.yml' + push: + branches: [main] + paths: + - 'specifications/lean_statement_proofs_20261011/**' + - 'specifications/lean_statements_20261010/**' + - '.github/workflows/lean-specification-proofs.yml' + schedule: + - cron: '47 10 * * 0' workflow_dispatch: permissions: @@ -56,4 +64,4 @@ jobs: path: specifications/lean_statement_proofs_20261011/.lake/evidence/ include-hidden-files: true if-no-files-found: error - retention-days: 14 + retention-days: 90 diff --git a/.github/workflows/lean-specifications.yml b/.github/workflows/lean-specifications.yml index 9e20e91aa..85218d70c 100644 --- a/.github/workflows/lean-specifications.yml +++ b/.github/workflows/lean-specifications.yml @@ -6,6 +6,14 @@ name: Lean statement specifications (statements only, no proof, no scientific pr - 'specifications/lean_statements_20261010/**' - '.github/workflows/lean-specifications.yml' - 'formal/lake-manifest.json' + push: + branches: [main] + paths: + - 'specifications/lean_statements_20261010/**' + - '.github/workflows/lean-specifications.yml' + - 'formal/lake-manifest.json' + schedule: + - cron: '37 9 * * 0' workflow_dispatch: permissions: @@ -57,4 +65,4 @@ jobs: path: specifications/lean_statements_20261010/.lake/evidence/ include-hidden-files: true if-no-files-found: error - retention-days: 14 + retention-days: 90 From 04268d2b73de3defe9224e5d7f2b1369a4873efb Mon Sep 17 00:00:00 2001 From: Grok Bot agent 10 Date: Thu, 22 Oct 2026 11:01:20 -0500 Subject: [PATCH 2/2] Drop weekly schedule triggers; keep push-to-main and 90-day retention (GTW 6203987094) --- .github/workflows/cap-first-exit-lean.yml | 2 -- .github/workflows/lean-specification-proofs.yml | 2 -- .github/workflows/lean-specifications.yml | 2 -- 3 files changed, 6 deletions(-) diff --git a/.github/workflows/cap-first-exit-lean.yml b/.github/workflows/cap-first-exit-lean.yml index 904d0f5bc..93a77905c 100644 --- a/.github/workflows/cap-first-exit-lean.yml +++ b/.github/workflows/cap-first-exit-lean.yml @@ -14,8 +14,6 @@ name: Cap first exit (Lean kernel evidence, no scientific promotion) - '.github/workflows/cap-first-exit-lean.yml' - 'reviews/d1_cap_elder_partner_second_pass_claude_20260930/REVIEW.md' - 'imports/lifetime_parent_20260925/MARKED_CYLINDER_CAP_PROOF.md' - schedule: - - cron: '17 9 * * 0' workflow_dispatch: permissions: diff --git a/.github/workflows/lean-specification-proofs.yml b/.github/workflows/lean-specification-proofs.yml index 50e8f9db9..290ca05be 100644 --- a/.github/workflows/lean-specification-proofs.yml +++ b/.github/workflows/lean-specification-proofs.yml @@ -12,8 +12,6 @@ name: Lean statement proofs (kernel evidence about registered Props only, no sci - 'specifications/lean_statement_proofs_20261011/**' - 'specifications/lean_statements_20261010/**' - '.github/workflows/lean-specification-proofs.yml' - schedule: - - cron: '47 10 * * 0' workflow_dispatch: permissions: diff --git a/.github/workflows/lean-specifications.yml b/.github/workflows/lean-specifications.yml index 85218d70c..3962e01af 100644 --- a/.github/workflows/lean-specifications.yml +++ b/.github/workflows/lean-specifications.yml @@ -12,8 +12,6 @@ name: Lean statement specifications (statements only, no proof, no scientific pr - 'specifications/lean_statements_20261010/**' - '.github/workflows/lean-specifications.yml' - 'formal/lake-manifest.json' - schedule: - - cron: '37 9 * * 0' workflow_dispatch: permissions: