Skip to content

fix(audit-low): close 2 hazard-surface findings#233

Closed
hardyjosh wants to merge 1 commit into
test/audit-low-coverage-sweep-2from
fix/audit-low-hazard-followups
Closed

fix(audit-low): close 2 hazard-surface findings#233
hardyjosh wants to merge 1 commit into
test/audit-low-coverage-sweep-2from
fix/audit-low-hazard-followups

Conversation

@hardyjosh

Copy link
Copy Markdown
Collaborator
  • [A16-3] [LOW] foundry submodule lock mismatch: lib/st0x.deploy expected 766b468f but local is 99552486 #146 CONFIG-SUBMODULE-LOCK: regenerate foundry.lock to align with
    the working-tree pointer for lib/st0x.deploy (99552486...). Prior
    state had foundry.lock pinned to 766b468f... while .gitmodules
    resolved to 99552486..., producing a build warning on every nix
    invocation. The working-tree pointer is what the code is actually
    compiled against, so the lock is updated to match it (not the
    other way around).
  • [H9] [LOW] Deployment suite name strings duplicated between manual-sol-artifacts.yaml and Deploy.sol; typo silently routes to revert #214 HAZARD-CROSS-FILE-SYNC: add .github/workflows/suite-names-sync.yaml
    (Option B in the issue — the simpler fence). The workflow extracts the
    deployment-suite names from script/Deploy.sol's keccak256("...")
    preimages and compares them against the operator-facing dropdown's
    options: list in .github/workflows/manual-sol-artifacts.yaml. If the
    two lists diverge, CI fails with a diff and a hint pointing at both
    files. This catches both typos and missing-entry drift in the same
    PR that introduces them, instead of at deploy time as a "Unknown
    deployment suite" revert. Chosen over Option A (generated source of
    truth) because it ships in one workflow file with no new build
    step, no jq dependency, and the existing duplication in Deploy.sol
    stays readable as plain Solidity.

forge build no longer warns about the revision mismatch. nix CI green
(forge fmt no-op, rainix-sol-static clean, rainix-sol-legal clean, 169
tests pass under the standard --no-match-contract exclusions).

Closes #146, #214.

Co-Authored-By: Claude Opus 4.7 noreply@anthropic.com

@coderabbitai

coderabbitai Bot commented May 11, 2026

Copy link
Copy Markdown

Important

Review skipped

Auto reviews are disabled on base/target branches other than the default branch.

Please check the settings in the CodeRabbit UI or the .coderabbit.yaml file in this repository. To trigger a single review, invoke the @coderabbitai review command.

⚙️ Run configuration

Configuration used: defaults

Review profile: CHILL

Plan: Pro

Run ID: 65783647-cb4c-4802-948a-011586b425e0

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

Use the checkbox below for a quick retry:

  • 🔍 Trigger review
✨ Finishing Touches
🧪 Generate unit tests (beta)
  • Create PR with unit tests
  • Commit unit tests in branch fix/audit-low-hazard-followups

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.

This was referenced May 11, 2026

hardyjosh commented May 11, 2026

Copy link
Copy Markdown
Collaborator Author

Warning

This pull request is not mergeable via GitHub because a downstack PR is open. Once all requirements are satisfied, merge this PR as a stack on Graphite.
Learn more

This stack of pull requests is managed by Graphite. Learn more about stacking.

@hardyjosh hardyjosh force-pushed the fix/audit-low-hazard-followups branch from d0ffec9 to d92e9a6 Compare May 11, 2026 16:15
@hardyjosh hardyjosh force-pushed the test/audit-low-coverage-sweep-2 branch from 90b10ce to 48e95fd Compare May 11, 2026 16:15
@hardyjosh hardyjosh force-pushed the test/audit-low-coverage-sweep-2 branch from 48e95fd to 1fa5fb4 Compare May 11, 2026 20:42
@hardyjosh hardyjosh force-pushed the fix/audit-low-hazard-followups branch 2 times, most recently from 05fbb57 to b8563f9 Compare May 11, 2026 21:22
@hardyjosh hardyjosh force-pushed the test/audit-low-coverage-sweep-2 branch from 1fa5fb4 to 8619624 Compare May 11, 2026 21:22
@hardyjosh hardyjosh force-pushed the fix/audit-low-hazard-followups branch from b8563f9 to 792a663 Compare May 11, 2026 21:52
@hardyjosh hardyjosh force-pushed the test/audit-low-coverage-sweep-2 branch from 8619624 to 71f2411 Compare May 11, 2026 21:52
@hardyjosh hardyjosh force-pushed the test/audit-low-coverage-sweep-2 branch from 71f2411 to dae71e5 Compare May 11, 2026 22:09
@hardyjosh hardyjosh force-pushed the fix/audit-low-hazard-followups branch from 792a663 to 6ec3ba4 Compare May 11, 2026 22:09
- #146 CONFIG-SUBMODULE-LOCK: regenerate foundry.lock to align with
  the working-tree pointer for lib/st0x.deploy (99552486...). Prior
  state had foundry.lock pinned to 766b468f... while .gitmodules
  resolved to 99552486..., producing a build warning on every nix
  invocation. The working-tree pointer is what the code is actually
  compiled against, so the lock is updated to match it (not the
  other way around).
- #214 HAZARD-CROSS-FILE-SYNC: add .github/workflows/suite-names-sync.yaml
  (Option B in the issue — the simpler fence). The workflow extracts the
  deployment-suite names from script/Deploy.sol's keccak256("...")
  preimages and compares them against the operator-facing dropdown's
  options: list in .github/workflows/manual-sol-artifacts.yaml. If the
  two lists diverge, CI fails with a diff and a hint pointing at both
  files. This catches both typos and missing-entry drift in the same
  PR that introduces them, instead of at deploy time as a "Unknown
  deployment suite" revert. Chosen over Option A (generated source of
  truth) because it ships in one workflow file with no new build
  step, no jq dependency, and the existing duplication in Deploy.sol
  stays readable as plain Solidity.

forge build no longer warns about the revision mismatch. nix CI green
(forge fmt no-op, rainix-sol-static clean, rainix-sol-legal clean, 169
tests pass under the standard --no-match-contract exclusions).

Closes #146, #214.

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
@hardyjosh hardyjosh force-pushed the test/audit-low-coverage-sweep-2 branch from dae71e5 to 5bdbd3f Compare May 11, 2026 22:27
@hardyjosh hardyjosh force-pushed the fix/audit-low-hazard-followups branch from 6ec3ba4 to 1cc1c91 Compare May 11, 2026 22:27
@hardyjosh

Copy link
Copy Markdown
Collaborator Author

Deferred for Euler launch. The foundry.lock alignment is moot post-soldeer; the suite-names CI drift check is non-blocking.

@hardyjosh hardyjosh closed this May 26, 2026
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