Skip to content

2026 03 10 audit#169

Open
thedavidmeister wants to merge 4 commits intomainfrom
2026-03-10-audit
Open

2026 03 10 audit#169
thedavidmeister wants to merge 4 commits intomainfrom
2026-03-10-audit

Conversation

@thedavidmeister
Copy link
Contributor

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)

thedavidmeister and others added 4 commits March 10, 2026 20:22
Full 6-pass audit with triage. Fixes applied:
- A08-7 MEDIUM: Guard large positive exponents in toDecimalString
- A01-1/A01-2: CLAUDE.md docs for scripts and deployment
- A01-3: Replace require string with ScientificMinNotLessThanMax custom error
- A01-4/A01-5: Uncomment log10/pow10 deployed-parity tests
- A01-6/A01-7: Add format(Float,bool) and format(Float) deployed-parity tests
- A01-8: Add ScientificMinNotLessThanMax revert path test
- A01-10: Fix sub NatSpec ("a from b" -> "b from a")
- A01-11: Clarify div param NatSpec (dividend/divisor)
- A01-12: Fix pow10 NatSpec to say 10^a
- A02-4: Add CoefficientOverflow direct test
- A06-2: Add packLossy lossy-but-packable path test
- A06-6: Fix NatSpec reference to non-existent fromFixedDecimalLossyMem
- A06-7: Fix packLossy NatSpec (PackedFloat -> Float, add @return lossless)
- A06-11: Fix NatSpec references to non-existent divide/power10
- A06-12: Add missing @return NatSpec tags across LibDecimalFloat.sol
- A06-16: Replace dead (lossless); expression with (Float result,) destructuring

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
- A06-20: Document why pow uses implementation internals directly
- A07-01: Remove 7 unused imports in LibDecimalFloatDeploy.sol
- A08-1/p3: Add @param scientific to toDecimalString NatSpec
- A08-5/p4: Fix redundant import path in LibFormatDecimalFloat.sol
- A08-6: Remove dead countSigFigs function and its test file
- A09-1/p1: Add tests for exponent overflow in unabsUnsignedMulOrDivLossy
- A09-1/p3, A09-5, A09-9: Add NatSpec to div, inv, compareRescale
- A09-11: Add internals test file for 6 untested internal functions
- A09-12: Add ExponentOverflow test for minus
- A09-13: Add Log10Zero and Log10Negative revert tests
- A09-14: Add MulDivOverflow revert test
- A09-16/p4, A09-17/p4: Replace magic numbers 100/2000 with named constants
- A10-1/p1: Add overflow check on exponent += eValue in parseDecimalFloatInline
- A10-1/p4: Consolidate split imports in LibParseDecimalFloat.sol
- A10-3: Document 67-digit limit and overflow check semantics
- A10-7: Add ParseDecimalFloatExcessCharacters test for wrapper
- A10-8: Add ParseDecimalPrecisionLoss and ExponentOverflow tests for wrapper
- Update deploy constants for changed bytecode

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Add NatSpec to DEPLOYMENT_SUITE_TABLES and DEPLOYMENT_SUITE_CONTRACT
explaining expected env var values and default behavior.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
@coderabbitai
Copy link
Contributor

coderabbitai bot commented Mar 10, 2026

Warning

Rate limit exceeded

@thedavidmeister has exceeded the limit for the number of commits that can be reviewed per hour. Please wait 20 minutes and 40 seconds before requesting another review.

⌛ How to resolve this issue?

After the wait time has elapsed, a review can be triggered using the @coderabbitai review command as a PR comment. Alternatively, push new commits to this PR.

We recommend that you space out your commits to avoid hitting the rate limit.

🚦 How do rate limits work?

CodeRabbit enforces hourly rate limits for each developer per organization.

Our paid plans have higher rate limits than the trial, open-source and free plans. In all cases, we re-allow further reviews after a brief timeout.

Please see our FAQ for further information.

ℹ️ Review info
⚙️ Run configuration

Configuration used: Organization UI

Review profile: ASSERTIVE

Plan: Pro

Run ID: b7e73afa-6eae-4afb-b0c3-7525009adbaa

📥 Commits

Reviewing files that changed from the base of the PR and between 50aa96e and ee1f415.

📒 Files selected for processing (52)
  • .gitignore
  • CLAUDE.md
  • audit/2026-03-10-01/pass0/process.md
  • audit/2026-03-10-01/pass1/DecimalFloat.md
  • audit/2026-03-10-01/pass1/LibDecimalFloat.md
  • audit/2026-03-10-01/pass1/LibDecimalFloatDeploy.md
  • audit/2026-03-10-01/pass1/LibDecimalFloatImplementation.md
  • audit/2026-03-10-01/pass1/LibFormatDecimalFloat.md
  • audit/2026-03-10-01/pass1/LibLogTable.md
  • audit/2026-03-10-01/pass1/LibParseDecimalFloat.md
  • audit/2026-03-10-01/pass1/LogTablesPointers.md
  • audit/2026-03-10-01/pass1/errors.md
  • audit/2026-03-10-01/pass1/scripts.md
  • audit/2026-03-10-01/pass2/DecimalFloat.md
  • audit/2026-03-10-01/pass2/LibDecimalFloat.md
  • audit/2026-03-10-01/pass2/LibDecimalFloatImplementation.md
  • audit/2026-03-10-01/pass2/LibFormatDecimalFloat.md
  • audit/2026-03-10-01/pass2/errors_gen_deploy.md
  • audit/2026-03-10-01/pass2/parse_and_tables.md
  • audit/2026-03-10-01/pass3/DecimalFloat.md
  • audit/2026-03-10-01/pass3/LibDecimalFloat.md
  • audit/2026-03-10-01/pass3/impl_format_parse.md
  • audit/2026-03-10-01/pass3/misc.md
  • audit/2026-03-10-01/pass4/LibDecimalFloat.md
  • audit/2026-03-10-01/pass4/concrete_errors_deploy.md
  • audit/2026-03-10-01/pass4/impl_format_parse_table.md
  • audit/2026-03-10-01/pass5/LibDecimalFloat.md
  • audit/2026-03-10-01/pass5/LibDecimalFloatImplementation.md
  • audit/2026-03-10-01/pass5/concrete_errors_deploy.md
  • audit/2026-03-10-01/pass5/format_parse_table.md
  • audit/2026-03-10-01/triage.md
  • script/Deploy.sol
  • src/concrete/DecimalFloat.sol
  • src/error/ErrDecimalFloat.sol
  • src/lib/LibDecimalFloat.sol
  • src/lib/deploy/LibDecimalFloatDeploy.sol
  • src/lib/format/LibFormatDecimalFloat.sol
  • src/lib/implementation/LibDecimalFloatImplementation.sol
  • src/lib/parse/LibParseDecimalFloat.sol
  • src/lib/table/LibLogTable.sol
  • test/src/concrete/DecimalFloat.format.t.sol
  • test/src/concrete/DecimalFloat.log10.t.sol
  • test/src/concrete/DecimalFloat.pow10.t.sol
  • test/src/lib/LibDecimalFloat.pack.t.sol
  • test/src/lib/deploy/LibDecimalFloatDeploy.t.sol
  • test/src/lib/format/LibFormatDecimalFloat.countSigFigs.t.sol
  • test/src/lib/format/LibFormatDecimalFloat.toDecimalString.t.sol
  • test/src/lib/implementation/LibDecimalFloatImplementation.internals.t.sol
  • test/src/lib/implementation/LibDecimalFloatImplementation.log10.t.sol
  • test/src/lib/implementation/LibDecimalFloatImplementation.minus.t.sol
  • test/src/lib/implementation/LibDecimalFloatImplementation.unabsUnsignedMulOrDivLossy.t.sol
  • test/src/lib/parse/LibParseDecimalFloat.t.sol
✨ Finishing Touches
🧪 Generate unit tests (beta)
  • Create PR with unit tests
  • Post copyable unit tests in a comment
  • Commit unit tests in branch 2026-03-10-audit

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

Comment @coderabbitai help to get the list of available commands and usage tips.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant