chore: hypatia auto-fix (3 formulaic fixes)

Applied by auto-fix-formulaic.sh:
- SHA-pinned unpinned GitHub Actions
- Added missing workflow permissions
- Fixed license headers

Co-Authored-By: hypatia-autofix <noreply@hyperpolymath.github.io>

Author: hyperpolymath

.github/workflows/ci.yml

@@ -1,4 +1,5 @@
 name: CI
+permissions: read-all
 
 on:
 npermissions: read-all

.github/workflows/codeql.yml

@@ -1,4 +1,5 @@
 # For most projects, this workflow file will not need changing; you simply need
+permissions: read-all
 # to commit it to your repository.
 #
 # You may wish to alter this file to override the set of languages analyzed,
@@ -59,7 +60,7 @@ jobs:
         # your codebase is analyzed, see https://docs.github.com/en/code-security/code-scanning/creating-an-advanced-setup-for-code-scanning/codeql-code-scanning-for-compiled-languages
     steps:
     - name: Checkout repository
-      uses: actions/checkout@v4
+      uses: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5 # v4
 
     # Add any setup steps before running the `github/codeql-action/init` action.
     # This includes steps like installing compilers or runtimes (`actions/setup-node`