update spdx and pragma

[thedavidmeister]

Motivation

Solution

Checks

By submitting this for review, I'm confirming I've done the following:

• made this PR as small as possible
• unit-tested any new functionality
• linked any relevant issues or PRs
• included screenshots (if this involves a front-end change)

Summary by CodeRabbit

• Chores

  • Standardized generated contract file headers to include SPDX license metadata, unified the declared language version, and simplified redundant header content.
  • No changes to public interfaces or runtime behavior.

• Tests

  • Removed a Bloom-filter duplicate-detection library and its associated tests from the test suite.

[coderabbitai]

Walkthrough

Updated LibCodeGen.filePrefix() to move SPDX license lines and pragma solidity ^0.8.25 to the top of generated headers and remove a duplicated trailing license/pragma block; deleted the Bloom filter test library and its test contract. No public/external signatures changed.

Changes

Cohort / File(s)	Summary
Codegen header update src/lib/LibCodeGen.sol	Reordered and consolidated generated file header: prepends SPDX license identifiers and pragma solidity ^0.8.25; removes duplicated trailing license/pragma block; retains autogeneration notice and a minimal trailing comment with a single newline.
Removed Bloom utility and tests test/lib/bloom/LibBloom.sol, test/lib/bloom/LibBloom.t.sol	Deleted Bloom-filter duplicate-detection library and its corresponding Forge test file (contract LibBloomTest) — removes implementation and tests for bloomFindsDupes.

Estimated code review effort

🎯 3 (Moderate) | ⏱️ ~20 minutes

Tip

🔌 Remote MCP (Model Context Protocol) integration is now available!

Pro plan users can now connect to remote MCP servers from the Integrations page. Connect with popular remote MCPs such as Notion and Linear to add more context to your reviews and chats.

---

📜 Recent review details

Configuration used: CodeRabbit UI

Review profile: ASSERTIVE

Plan: Pro

💡 Knowledge Base configuration:

• MCP integration is disabled by default for public repositories
• Jira integration is disabled by default for public repositories
• Linear integration is disabled by default for public repositories

You can enable these sources in your CodeRabbit configuration.

📥 Commits

Reviewing files that changed from the base of the PR and between 0b48bc5 and e803cdb.

📒 Files selected for processing (2)

• test/lib/bloom/LibBloom.sol (0 hunks)
• test/lib/bloom/LibBloom.t.sol (0 hunks)

💤 Files with no reviewable changes (2)

• test/lib/bloom/LibBloom.sol
• test/lib/bloom/LibBloom.t.sol

⏰ Context from checks skipped due to timeout of 90000ms. You can increase the timeout in your CodeRabbit configuration to a maximum of 15 minutes (900000ms). (4)

• GitHub Check: rainix (ubuntu-latest, rainix-sol-test)
• GitHub Check: rainix (ubuntu-latest, rainix-sol-static)
• GitHub Check: git-clean
• GitHub Check: rainix (ubuntu-latest, rainix-sol-legal)

✨ Finishing Touches

🧪 Generate unit tests

• Create PR with unit tests
• Post copyable unit tests in a comment
• Commit unit tests in branch 2025-08-26-reorder-spdx

---

🪧 Tips

Chat

There are 3 ways to chat with CodeRabbit:

• Review comments: Directly reply to a review comment made by CodeRabbit. Example:
  • I pushed a fix in commit <commit_id>, please review it.
  • Open a follow-up GitHub issue for this discussion.
• Files and specific lines of code (under the "Files changed" tab): Tag @coderabbitai in a new review comment at the desired location with your query.
• PR comments: Tag @coderabbitai in a new PR comment to ask questions about the PR branch. For the best results, please provide a very specific query, as very limited context is provided in this mode. Examples:
  • @coderabbitai gather interesting stats about this repository and render them as a table. Additionally, render a pie chart showing the language distribution in the codebase.
  • @coderabbitai read the files in the src/scheduler package and generate a class diagram using mermaid and a README in the markdown format.

Support

Need help? Create a ticket on our support page for assistance with any issues or questions.

CodeRabbit Commands (Invoked using PR/Issue comments)

Type @coderabbitai help to get the list of available commands.

Other keywords and placeholders

• Add @coderabbitai ignore anywhere in the PR description to prevent this PR from being reviewed.
• Add @coderabbitai summary to generate the high-level summary at a specific location in the PR description.
• Add @coderabbitai anywhere in the PR title to generate the title automatically.

CodeRabbit Configuration File (.coderabbit.yaml)

• You can programmatically configure CodeRabbit by adding a .coderabbit.yaml file to the root of your repository.
• Please see the configuration documentation for more information.
• If your editor has YAML language server enabled, you can add the path at the top of this file to enable auto-completion and validation: # yaml-language-server: $schema=https://coderabbit.ai/integrations/schema.v2.json

Status, Documentation and Community

• Visit our Status Page to check the current availability of CodeRabbit.
• Visit our Documentation for detailed information on how to use CodeRabbit.
• Join our Discord Community to get help, request features, and share feedback.
• Follow us on X/Twitter for updates and announcements.

[coderabbitai]

Actionable comments posted: 2

📜 Review details

Configuration used: CodeRabbit UI

Review profile: ASSERTIVE

Plan: Pro

💡 Knowledge Base configuration:

• MCP integration is disabled by default for public repositories
• Jira integration is disabled by default for public repositories
• Linear integration is disabled by default for public repositories

You can enable these sources in your CodeRabbit configuration.

📥 Commits

Reviewing files that changed from the base of the PR and between d9e5004 and 830bd10.

⛔ Files ignored due to path filters (1)

• src/generated/CodeGennable.pointers.sol is excluded by !**/generated/**

📒 Files selected for processing (1)

• src/lib/LibCodeGen.sol (1 hunks)

⏰ Context from checks skipped due to timeout of 90000ms. You can increase the timeout in your CodeRabbit configuration to a maximum of 15 minutes (900000ms). (4)

• GitHub Check: rainix (ubuntu-latest, rainix-sol-legal)
• GitHub Check: rainix (ubuntu-latest, rainix-sol-test)
• GitHub Check: rainix (ubuntu-latest, rainix-sol-static)
• GitHub Check: git-clean

🔇 Additional comments (1)

src/lib/LibCodeGen.sol (1)

25-25: Redundant trailing SPDX/pragma removed from generated prefix — good cleanup.

This should prevent duplicate headers and make scanners/lints happier. Nice reduction to a single trailing newline.