diff --git a/.github/workflows/cap-first-exit-lean.yml b/.github/workflows/cap-first-exit-lean.yml
index 2e7a07303..8b0b37561 100644
--- a/.github/workflows/cap-first-exit-lean.yml
+++ b/.github/workflows/cap-first-exit-lean.yml
@@ -7,6 +7,13 @@ 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'
   workflow_dispatch:
 
 permissions:
diff --git a/.github/workflows/lean-specification-proofs.yml b/.github/workflows/lean-specification-proofs.yml
index 549d83777..a3edad7ac 100644
--- a/.github/workflows/lean-specification-proofs.yml
+++ b/.github/workflows/lean-specification-proofs.yml
@@ -6,6 +6,12 @@ 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'
   workflow_dispatch:
 
 permissions:
@@ -56,4 +62,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 bc4b20382..4e5579e55 100644
--- a/.github/workflows/lean-specifications.yml
+++ b/.github/workflows/lean-specifications.yml
@@ -6,6 +6,12 @@ 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'
   workflow_dispatch:
 
 permissions:
@@ -57,4 +63,4 @@ jobs:
           path: specifications/lean_statements_20261010/.lake/evidence/
           include-hidden-files: true
           if-no-files-found: error
-          retention-days: 14
+          retention-days: 90