Final audit of repaired A261865 proof 46ea2471 - #20

Draft

DomTheDeveloper wants to merge 13 commits into

mainfrom

audit/a261865-46ea2471-final

Commits on Jul 22, 2026

Trigger A261865 audit
DomTheDeveloper
committed
783a8e9
Keep audit directory
DomTheDeveloper
committed
39cceb7
Document proof audit
DomTheDeveloper
committed
1b99490
Pin audit target
DomTheDeveloper
committed
9ca30a6
Retrigger A261865 audit on macOS
DomTheDeveloper
committed
e7eb90d
ci: audit repaired A261865 proof commit
DomTheDeveloper
committed
574c7f8
ci: trigger repaired A261865 exact audit
DomTheDeveloper
committed
431ea40
ci: trigger final A261865 immutable audit
DomTheDeveloper
committed
ce60b74
ci: trigger corrected A261865 kernel audit
DomTheDeveloper
committed
4f802bb
ci: trigger focused A261865 module audit
DomTheDeveloper
committed
476d2f9
ci: rerun A261865 support modules after empirical repairs
DomTheDeveloper
committed
c97d3d9
ci: rerun A261865 modules after final empirical fixes
DomTheDeveloper
committed
8bca366
ci: verify final A261865 support-module fix
DomTheDeveloper
committed
feb0a5d