diff --git a/.editorconfig b/.editorconfig index fc6650c..b042ff9 100644 --- a/.editorconfig +++ b/.editorconfig @@ -2,7 +2,6 @@ # https://editorconfig.org root = true - [*] charset = utf-8 end_of_line = lf @@ -10,59 +9,27 @@ indent_size = 2 indent_style = space insert_final_newline = true trim_trailing_whitespace = true - [*.md] trim_trailing_whitespace = false - [*.adoc] -trim_trailing_whitespace = false - [*.rs] indent_size = 4 - [*.ex] -indent_size = 2 - [*.exs] -indent_size = 2 - [*.zig] -indent_size = 4 - [*.ada] indent_size = 3 - [*.adb] -indent_size = 3 - [*.ads] -indent_size = 3 - [*.hs] -indent_size = 2 - [*.res] -indent_size = 2 - [*.resi] -indent_size = 2 - [*.ncl] -indent_size = 2 - [*.rkt] -indent_size = 2 - [*.scm] -indent_size = 2 - [*.nix] -indent_size = 2 - [Justfile] -indent_style = space -indent_size = 4 - [justfile] -indent_style = space -indent_size = 4 +# SPDX-License-Identifier: MPL-2.0 +[Makefile] +indent_style = tab diff --git a/.gitattributes b/.gitattributes index e860a85..87ba82f 100644 --- a/.gitattributes +++ b/.gitattributes @@ -2,7 +2,6 @@ # RSR-compliant .gitattributes * text=auto eol=lf - # Source *.rs text eol=lf diff=rust *.ex text eol=lf diff=elixir @@ -18,28 +17,23 @@ *.scm text eol=lf *.ncl text eol=lf *.nix text eol=lf - # Docs *.md text eol=lf diff=markdown *.adoc text eol=lf *.txt text eol=lf - # Data *.json text eol=lf *.yaml text eol=lf *.yml text eol=lf *.toml text eol=lf - # Config .gitignore text eol=lf .gitattributes text eol=lf justfile text eol=lf Makefile text eol=lf Containerfile text eol=lf - # Scripts *.sh text eol=lf - # Binary *.png binary *.jpg binary @@ -48,7 +42,10 @@ Containerfile text eol=lf *.woff2 binary *.zip binary *.gz binary - # Lock files Cargo.lock text eol=lf -diff flake.lock text eol=lf -diff +*.a2ml text eol=lf linguist-language=TOML +*.zig text eol=lf +.editorconfig text eol=lf +.tool-versions text eol=lf diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml index f3cd899..adf4427 100644 --- a/.github/workflows/codeql.yml +++ b/.github/workflows/codeql.yml @@ -38,15 +38,17 @@ jobs: steps: - name: Checkout - uses: actions/checkout@v7.0.1 + uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1 + with: + persist-credentials: false - name: Initialize CodeQL - uses: github/codeql-action/init@v4.38.0 + uses: github/codeql-action/init@cdf488f595d80d6e07e03d4674febd5ab45fa938 # v3 with: languages: ${{ matrix.language }} build-mode: ${{ matrix.build-mode }} - name: Perform CodeQL Analysis - uses: github/codeql-action/analyze@v4.38.0 + uses: github/codeql-action/analyze@cdf488f595d80d6e07e03d4674febd5ab45fa938 # v3 with: category: "/language:${{ matrix.language }}" diff --git a/.github/workflows/governance.yml b/.github/workflows/governance.yml index 04c4fd6..0bd4bca 100644 --- a/.github/workflows/governance.yml +++ b/.github/workflows/governance.yml @@ -17,4 +17,4 @@ permissions: jobs: governance: - uses: hyperpolymath/standards/.github/workflows/governance-reusable.yml@fcb8669169b4e9f5d9848608df880ae5fae812b4 + uses: hyperpolymath/standards/.github/workflows/governance-reusable.yml@8f31a5a4ba591d544b65f91f6d78b136e07756f0 diff --git a/.github/workflows/hypatia-scan.yml b/.github/workflows/hypatia-scan.yml index 3a41870..d4289e3 100644 --- a/.github/workflows/hypatia-scan.yml +++ b/.github/workflows/hypatia-scan.yml @@ -24,4 +24,4 @@ permissions: jobs: scan: - uses: hyperpolymath/standards/.github/workflows/hypatia-scan-reusable.yml@fcb8669169b4e9f5d9848608df880ae5fae812b4 + uses: hyperpolymath/standards/.github/workflows/hypatia-scan-reusable.yml@cc58c0cb23f73fc2019ce85a56a468e5248a93b3 diff --git a/.github/workflows/scorecard.yml b/.github/workflows/scorecard.yml index cace4a5..0926333 100644 --- a/.github/workflows/scorecard.yml +++ b/.github/workflows/scorecard.yml @@ -17,7 +17,7 @@ permissions: jobs: scorecard: - uses: hyperpolymath/standards/.github/workflows/scorecard-reusable.yml@fcb8669169b4e9f5d9848608df880ae5fae812b4 + uses: hyperpolymath/standards/.github/workflows/scorecard-reusable.yml@8750b94ac1bbe8c51ad13fe106669b13478f0b62 permissions: contents: read security-events: write diff --git a/.gitignore b/.gitignore index 3415090..fdbf072 100644 --- a/.gitignore +++ b/.gitignore @@ -9,24 +9,20 @@ Thumbs.db *~ .idea/ .vscode/ - # Build /target/ /_build/ /build/ /dist/ /out/ - # Dependencies /node_modules/ /vendor/ /deps/ /.elixir_ls/ - # Rust **/*.rs.bk # Cargo.lock # Keep for binaries - # Elixir /cover/ /doc/ @@ -38,41 +34,33 @@ Thumbs.db *.ez *.beam erl_crash.dump - # Julia *.jl.cov *.jl.mem /Manifest.toml - # ReScript /lib/bs/ /.bsb.lock *.res.mjs - # Playground build artifacts /playground/node_modules/ /playground/lib/ /playground/public/app.js /playground/public/app.js.map /playground/deno.lock - # Python (SaltStack only) __pycache__/ *.py[cod] .venv/ - # Ada/SPARK *.ali /obj/ /bin/ - # Haskell /.stack-work/ /dist-newstyle/ - # Chapel *.chpl.tmp.* - # Secrets & Environment .env .env.* @@ -81,52 +69,68 @@ __pycache__/ *.pem *.key secrets/ - # Test/Coverage /coverage/ htmlcov/ - # Logs *.log /logs/ logs/ - # Temp /tmp/ tmp/ temp/ *.tmp *.bak - # Data directories (for local dev) /data/ /storage/ - # verisimdb-data is its own repo — do not track here /verisimdb-data/ - # Container build artifacts *.tar - # Crash recovery artifacts ai-cli-crash-capture/ - # Fuzz harness build artifacts fuzz/target/ rust-core/fuzz/target/ - # Local database files *.db *.db-journal *.db-shm *.db-wal - # Local caches and agent worktrees .cache/ .claude/ - # Local export and build outputs /exports/*.json /exports/*.lgt composer/*.beam composer/build/ +# RSR-compliant .gitignore +# Build (unanchored to match nested monorepo paths) +target/ +_build/ +zig-out/ +zig-cache/ +.zig-cache/ +# Secrets +# Machine-readable locks +.machine_readable/.locks/ +# ReScript/OCaml compiler artifacts +*.cmt +*.cmti +*.cmi +# asdf version manager +.tool-versions +# Rust build artefacts (innervation tools) +inline-annotations/extractor/target/ +k9-coordination-protocol/tools/k9-init/target/ +hooks/playbook-to-recipe/target/ +inline-annotations/extractor/Cargo.lock +k9-coordination-protocol/tools/k9-init/Cargo.lock +hooks/playbook-to-recipe/Cargo.lock +.verisimdb/ecosystem-ingest/target/ +.verisimdb/ecosystem-ingest/Cargo.lock +# Backup/scratch files (never commit) +*.backup diff --git a/.nojekyll b/.nojekyll deleted file mode 100644 index e69de29..0000000 diff --git a/docs/architecture/abi-ffi.adoc b/docs/architecture/abi-ffi.adoc index f210e0e..8f72de5 100644 --- a/docs/architecture/abi-ffi.adoc +++ b/docs/architecture/abi-ffi.adoc @@ -363,8 +363,8 @@ zig build test-integration -- Runtime checks main : IO () main = do - verifyLayoutsCorrect - verifyAlignmentsCorrect + Verify.verifySizes + Verify.verifyAlignments putStrLn "ABI verification passed" ----