diff --git a/.github/workflows/a261865-proof-audit.yml b/.github/workflows/a261865-proof-audit.yml
index 2dac7912..aadccfc8 100644
--- a/.github/workflows/a261865-proof-audit.yml
+++ b/.github/workflows/a261865-proof-audit.yml
@@ -23,11 +23,15 @@ jobs:
     runs-on: ubuntu-slim
     timeout-minutes: 20
     steps:
-      - name: Checkout A261865 proof commit
+      - name: Checkout repaired A261865 proof commit
         uses: actions/checkout@v4
         with:
           repository: DomTheDeveloper/formal-conjectures
-          ref: 02688846b7a0d44e208cef7581bbdbb3978813c6
+          ref: 46ea24719cc7b65389fe432a7af484d63cfa541f
+
+      - name: Confirm immutable proof source
+        shell: bash
+        run: test "$(git rev-parse HEAD)" = "46ea24719cc7b65389fe432a7af484d63cfa541f"
 
       - name: Check foundational Lean files with AXLE
         shell: bash
@@ -59,12 +63,14 @@ jobs:
               )
               with urllib.request.urlopen(request, timeout=960) as response:
                   result = json.load(response)
-              print(f'===== {filename} =====')
-              print(json.dumps(result, indent=2))
               errors = result.get('lean_messages', {}).get('errors', [])
               tool_errors = result.get('tool_messages', {}).get('errors', [])
-              declarations = result.get('failed_declarations', [])
-              failed |= bool(errors or tool_errors or declarations or not result.get('okay', False))
+              okay = bool(result.get('okay', False))
+              print(f'===== {filename} =====')
+              print(f'okay={okay}')
+              print('lean_errors=' + json.dumps(errors, ensure_ascii=False))
+              print('tool_errors=' + json.dumps(tool_errors, ensure_ascii=False))
+              failed |= bool(errors or tool_errors or not okay)
           if failed:
               sys.exit(1)
           PY
@@ -72,13 +78,17 @@ jobs:
   exact-kernel-audit:
     name: Lean 4.27 exact theorem and axiom audit
     runs-on: ubuntu-latest
-    timeout-minutes: 60
+    timeout-minutes: 90
     steps:
-      - name: Checkout A261865 proof commit
+      - name: Checkout repaired A261865 proof commit
         uses: actions/checkout@v4
         with:
           repository: DomTheDeveloper/formal-conjectures
-          ref: 02688846b7a0d44e208cef7581bbdbb3978813c6
+          ref: 46ea24719cc7b65389fe432a7af484d63cfa541f
+
+      - name: Confirm immutable proof source
+        shell: bash
+        run: test "$(git rev-parse HEAD)" = "46ea24719cc7b65389fe432a7af484d63cfa541f"
 
       - name: Install pinned Lean toolchain
         shell: bash
@@ -112,7 +122,7 @@ jobs:
             FormalConjecturesForMathlib/NumberTheory/SquarefreeRadical.lean
             FormalConjecturesForMathlib/NumberTheory/SquarefreeRadicals.lean
           )
-          if grep -nE '\b(sorry|admit)\b|native_decide|unsafe|^axiom\b' "${files[@]}"; then
+          if grep -nE '\b(sorry|admit)\b|native_decide|unsafe|^axiom\b|Lean\.trustCompiler|Lean\.ofReduce|Lean\.ofReduceBool' "${files[@]}"; then
             echo 'Forbidden proof placeholder or trust escape found.' >&2
             exit 1
           fi
@@ -121,9 +131,18 @@ jobs:
         shell: bash
         run: |
           set -euo pipefail
-          output=$(lake env lean FormalConjectures/OEIS/261865FinalAudit.lean 2>&1)
-          printf '%s\n' "$output"
-          if grep -q 'sorryAx' <<<"$output"; then
-            echo 'The exact numbered theorem depends on sorryAx.' >&2
+          lake env lean FormalConjectures/OEIS/261865FinalAudit.lean \
+            2>&1 | tee a261865-kernel-audit.log
+          if grep -E 'sorryAx|Lean\.trustCompiler|Lean\.ofReduce|Lean\.ofReduceBool' \
+              a261865-kernel-audit.log; then
+            echo 'The exact numbered theorem depends on a forbidden axiom or trust shortcut.' >&2
             exit 1
           fi
+
+      - name: Upload exact kernel transcript
+        if: always()
+        uses: actions/upload-artifact@v4
+        with:
+          name: a261865-46ea2471-kernel-transcript
+          path: a261865-kernel-audit.log
+          if-no-files-found: warn
diff --git a/audits/.keep b/audits/.keep
new file mode 100644
index 00000000..e69de29b
diff --git a/audits/A261865.md b/audits/A261865.md
new file mode 100644
index 00000000..9bcda451
--- /dev/null
+++ b/audits/A261865.md
@@ -0,0 +1,3 @@
+# A261865 audit
+
+Target commit: 02688846b7a0d44e208cef7581bbdbb3978813c6
diff --git a/audits/README.md b/audits/README.md
new file mode 100644
index 00000000..b1735013
--- /dev/null
+++ b/audits/README.md
@@ -0,0 +1 @@
+A261865 independent proof verification.
diff --git a/audits/a261865-final.trigger b/audits/a261865-final.trigger
new file mode 100644
index 00000000..49eb01a8
--- /dev/null
+++ b/audits/a261865-final.trigger
@@ -0,0 +1 @@
+46ea24719cc7b65389fe432a7af484d63cfa541f
diff --git a/audits/a261865-kernel-v2.trigger b/audits/a261865-kernel-v2.trigger
new file mode 100644
index 00000000..59176399
--- /dev/null
+++ b/audits/a261865-kernel-v2.trigger
@@ -0,0 +1,2 @@
+46ea24719cc7b65389fe432a7af484d63cfa541f
+build numbered module before audit wrapper
diff --git a/audits/a261865-modules.trigger b/audits/a261865-modules.trigger
new file mode 100644
index 00000000..7d894367
--- /dev/null
+++ b/audits/a261865-modules.trigger
@@ -0,0 +1,3 @@
+active branch a261865-research
+proof head 7e90ad249783ca57e64c541079d27591a5f23796
+final explicit empirical measure change
diff --git a/audits/target.txt b/audits/target.txt
new file mode 100644
index 00000000..e2c0384a
--- /dev/null
+++ b/audits/target.txt
@@ -0,0 +1,2 @@
+46ea24719cc7b65389fe432a7af484d63cfa541f
+runner: ubuntu-latest + ubuntu-slim AXLE