Skip to content

feat(evm): add journal-aware RISEx risk precompile - #6

Open
TuDo1403 wants to merge 10 commits into
masterfrom
tudo/risex-risk-formula-precompile
Open

TuDo1403 wants to merge 10 commits into
masterfrom
tudo/risex-risk-formula-precompile

Conversation

@TuDo1403

@TuDo1403 TuDo1403 commented Aug 31, 2026 •

Copy link
Copy Markdown
Collaborator

Summary

  • Add the feature-gated journal-aware RISEx risk precompile at 0xF100, with a bounded generated storage loader and specialized V1 formula.
  • Preserve transaction-local storage, warm/cold charging, checked arithmetic, and first-error semantics; keep the provider absent unless explicitly enabled.
  • Retain bounded filtered SLOAD recording for Solidity/native journal proofs, including effective storage accounts and duplicate reads.
  • Follow lazy owner-side RO readiness and legacy/ready tick modes. Remove reads of retired global activation flags and the old standalone RO arena.

Contracts counterpart: risechain/risex-contracts#703.

Runtime revision: 4d7646431358941a951fffa623483108a4f7e35a
Generated contracts artifact revision: d2aedb90f5e90ca20822525b2a1ef736e4834708

Safety and compatibility

The provider accepts only direct, static, zero-value calls and validates the request, descriptor, schema, and journal-accounted dependency code before evaluation. Missing or recoverably unavailable providers retain the Solidity path; malformed schema and state fail closed.

The shared loader matches compact-only FundingRateV2 and the lazy hot-index layout. Normal orders use canonical slots; ready owner sides narrow only RO discovery. Pending replay precedes unready live-risk fallback. Live-risk scans skip zero queued/claimable depth and use the inclusive prefix; projected-fill discovery retains its separate seq - 1 convention through the same prefix implementation.

There is no generic layout interpreter or parallel worker layer in V1. Layout changes require regenerated contract-owned artifacts and a matching runtime. The filtered recorder remains inactive by default, with limits of 32 accounts and 65,536 attempted reads.

Verification

  • All 144 feature-enabled network tests passed on Rust 1.96, including strict artifact identities and first-error/read-order regressions.

  • The paired contracts passed 56 focused storage, replay, and exact-journal checks, 70 default-profile formula/schema checks, and 3,009 broad non-fork tests (six existing skips).

  • Generated schemas, corpus, and fixtures match the pinned contracts artifacts byte-for-byte. Rust formatting and diff checks passed.

  • Rebuilt runtime 4d7646431358941a951fffa623483108a4f7e35a: shadow profile 34/34, consume profile 34/34, and mandatory journal/registry suite 24/24 passed. These are correctness checks, not CPU measurements.

Local custom-runtime gas checks use FOUNDRY_ISOLATE=false to match the stock runner; thresholds were not relaxed. The existing dependency repair remains: Rustls 0.23.45 and Soldeer 0.12.0, with no advisory waivers added by this change.

No fresh CPU measurement is claimed for this revision. The strict per-case upper-confidence-bound ≤1.0 gate is unchanged; current Foundry hosted checks and CPU evidence remain pending. The paired contracts' synthetic stack merge is currently blocked by the newer-master oracle interface integration reported in risechain/risex-contracts#703.

@github-actions

github-actions Bot commented Aug 31, 2026 •

Copy link
Copy Markdown

✅ Changelog found

The deterministic check will validate the changed entry.

@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Aug 31, 2026 •

Copy link
Copy Markdown

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review Status Commit Review trigger
📝 Code Review ✅ Completed 2026-09-18T01:37:17.304307Z 4d76464 New commits
ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 53f8602ebe

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread crates/forge/src/cmd/test/mod.rs Outdated
Comment thread .changelog/stream-filtered-storage-reads.md Outdated
@TuDo1403
TuDo1403 force-pushed the tudo/risex-risk-formula-precompile branch from 6683cdc to e78c8a2 Compare August 31, 2026 01:47

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: e78c8a2f0a

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread crates/forge/Cargo.toml
Comment thread crates/evm/networks/src/risex_formula/precompile.rs Outdated
@TuDo1403
TuDo1403 force-pushed the tudo/risex-risk-formula-precompile branch from e78c8a2 to fa87112 Compare August 31, 2026 03:39

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: fa87112fe4

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread crates/evm/networks/src/lib.rs Outdated
Comment thread crates/evm/networks/src/risex_formula/precompile.rs Outdated
Comment thread crates/forge/src/cmd/test/mod.rs
Comment thread crates/evm/networks/src/risex_formula/loader/effective_market_v1.rs
Comment thread crates/evm/networks/src/risex_formula/loader/deferred.rs Outdated
@TuDo1403
TuDo1403 force-pushed the tudo/risex-risk-formula-precompile branch from fa87112 to 237eb98 Compare August 31, 2026 04:35

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 237eb98776

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread crates/evm/networks/src/risex_formula/metrics.rs
Comment thread crates/evm/networks/src/risex_formula/loader/deferred.rs Outdated
@TuDo1403
TuDo1403 force-pushed the tudo/risex-risk-formula-precompile branch from 237eb98 to 4dc72c0 Compare August 31, 2026 05:33

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 4dc72c04d9

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread crates/evm/networks/src/risex_formula/loader/deferred.rs
Comment thread crates/forge/src/cmd/test/mod.rs
Comment thread crates/evm/networks/src/risex_formula/loader/effective_market_v1.rs Outdated
@TuDo1403
TuDo1403 force-pushed the tudo/risex-risk-formula-precompile branch 2 times, most recently from 82e7ebe to d539cc3 Compare September 4, 2026 12:13
@TuDo1403

TuDo1403 commented Sep 4, 2026

Copy link
Copy Markdown
Collaborator Author

@codex review

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: d539cc31c4

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread crates/evm/networks/src/risex_formula/loader/deferred.rs
Comment thread crates/evm/networks/src/risex_formula/storage.rs Outdated
Comment thread crates/evm/networks/src/risex_formula/loader/effective_market_v1.rs Outdated
Comment thread crates/evm/networks/src/risex_formula/precompile.rs Outdated
@TuDo1403
TuDo1403 force-pushed the tudo/risex-risk-formula-precompile branch from d539cc3 to 1bec67f Compare September 4, 2026 12:45

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 1bec67f480

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread crates/evm/networks/src/risex_formula/precompile.rs Outdated
Comment thread crates/forge/src/cmd/test/mod.rs Outdated
Comment thread crates/evm/networks/src/risex_formula/loader/effective_market_v1.rs Outdated
Comment thread crates/evm/networks/src/risex_formula/loader/deferred.rs
@TuDo1403

TuDo1403 commented Sep 4, 2026

Copy link
Copy Markdown
Collaborator Author

@codex review

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 1bec67f480

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread crates/evm/networks/src/risex_formula/precompile.rs Outdated
Comment thread crates/evm/networks/src/risex_formula/loader/effective_market_v1.rs Outdated
@TuDo1403
TuDo1403 force-pushed the tudo/risex-risk-formula-precompile branch from 1bec67f to 410ba71 Compare September 4, 2026 13:18
@TuDo1403

TuDo1403 commented Sep 4, 2026

Copy link
Copy Markdown
Collaborator Author

@codex review

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 410ba71fb8

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread crates/evm/networks/src/risex_formula/storage.rs
Comment thread crates/evm/networks/src/risex_formula/loader/effective_market_v1.rs Outdated
@TuDo1403
TuDo1403 force-pushed the tudo/risex-risk-formula-precompile branch from 410ba71 to d605f01 Compare September 4, 2026 15:59

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: d605f01cce

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread crates/evm/networks/src/risex_formula/storage.rs Outdated
Comment thread crates/evm/networks/src/risex_formula/precompile.rs Outdated
@TuDo1403

TuDo1403 commented Sep 4, 2026

Copy link
Copy Markdown
Collaborator Author

@codex review

@TuDo1403
TuDo1403 force-pushed the tudo/risex-risk-formula-precompile branch from d605f01 to 81f5de9 Compare September 4, 2026 16:27
@TuDo1403

TuDo1403 commented Sep 4, 2026

Copy link
Copy Markdown
Collaborator Author

@codex review

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 81f5de9226

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread crates/evm/networks/src/risex_formula/precompile.rs
@TuDo1403
TuDo1403 force-pushed the tudo/risex-risk-formula-precompile branch from 81f5de9 to 8b0d4e9 Compare September 4, 2026 16:38
@TuDo1403

TuDo1403 commented Sep 4, 2026

Copy link
Copy Markdown
Collaborator Author

@codex review

@TuDo1403
TuDo1403 force-pushed the tudo/risex-risk-formula-precompile branch from 100fc66 to 508e6e5 Compare September 4, 2026 17:19
@TuDo1403

TuDo1403 commented Sep 4, 2026

Copy link
Copy Markdown
Collaborator Author

@codex review

@TuDo1403
TuDo1403 force-pushed the tudo/risex-risk-formula-precompile branch from 508e6e5 to 0c4047c Compare September 4, 2026 17:22
@TuDo1403

TuDo1403 commented Sep 4, 2026

Copy link
Copy Markdown
Collaborator Author

@codex review

@chatgpt-codex-connector

Copy link
Copy Markdown

Codex Review: Didn't find any major issues. 🚀

Reviewed commit: 0c4047ce19

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

@TuDo1403
TuDo1403 force-pushed the tudo/risex-risk-formula-precompile branch from 0c4047c to 1c27229 Compare September 4, 2026 17:31
@chatgpt-codex-connector

Copy link
Copy Markdown

You have reached your Codex usage limits for code reviews. You can see your limits in the Codex usage dashboard.
To continue using code reviews, you can upgrade your account or add credits to your account and enable them for code reviews in your settings.

@TuDo1403

TuDo1403 commented Sep 4, 2026

Copy link
Copy Markdown
Collaborator Author

@codex review

@chatgpt-codex-connector

Copy link
Copy Markdown

You have reached your Codex usage limits for code reviews. You can see your limits in the Codex usage dashboard.
To continue using code reviews, you can upgrade your account or add credits to your account and enable them for code reviews in your settings.

@TuDo1403
TuDo1403 force-pushed the tudo/risex-risk-formula-precompile branch from 1c27229 to 1aaec6f Compare September 5, 2026 06:32
@chatgpt-codex-connector

Copy link
Copy Markdown

You have reached your Codex usage limits for code reviews. You can see your limits in the Codex usage dashboard.
To continue using code reviews, you can upgrade your account or add credits to your account and enable them for code reviews in your settings.

@TuDo1403
TuDo1403 force-pushed the tudo/risex-risk-formula-precompile branch from 1aaec6f to 0d79b31 Compare September 5, 2026 06:34
@chatgpt-codex-connector

Copy link
Copy Markdown

You have reached your Codex usage limits for code reviews. You can see your limits in the Codex usage dashboard.
To continue using code reviews, you can upgrade your account or add credits to your account and enable them for code reviews in your settings.

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: f1b83b6ea3

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread crates/evm/networks/src/risex_formula/loader/effective_market_v1.rs Outdated
Comment thread crates/forge/src/cmd/test/mod.rs Outdated

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 30ce2c17be

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread crates/evm/networks/src/risex_formula/loader/effective_market_v1.rs
@chatgpt-codex-connector

Copy link
Copy Markdown

You have reached your Codex usage limits for code reviews. You can see your limits in the Codex usage dashboard.
To continue using code reviews, you can upgrade your account or add credits to your account and enable them for code reviews in your settings.

Restore bounded ordered SLOAD capture for journal parity tests with effective storage accounts, duplicate reads, atomic filters, and storage-hook isolation. Reuse the provider-mode test lock to prevent concurrent configuration changes from invalidating network equality checks.

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 0500cf50d6

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread .changelog/risex-risk-formula-precompile.md
Comment thread crates/evm/networks/src/risex_formula/storage.rs
Retain precharged warm-access gas on database error exits while leaving successful-path accounting unchanged. Cover failed account, storage and code-hash reads, including repeated attempts, with a journal-meter regression. Include both cheatcode packages in the release metadata.
Match RISEx V2-only funding semantics and remove the retired selector read. Refresh schema artifacts from contracts 3167b40a5fbcc74faedb38792625fd2492a11f56 and assert that legacy words cannot influence native results.

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 3c956a4352

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread crates/evm/networks/src/risex_formula/loader/deferred.rs
Comment thread crates/evm/networks/src/risex_formula/loader/effective_market_v1.rs Outdated

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: c092173d64

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread .changelog/risex-risk-formula-precompile.md Outdated

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 4d76464313

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment on lines +2 to +6
forge: minor
foundry-cheatcodes: minor
foundry-cheatcodes-spec: minor
foundry-evm: minor
foundry-evm-networks: minor

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P1 Badge Include dependency consumers in the changelog

This commit also upgrades the workspace rustls dependency consumed directly by the publishable foundry-cli package and soldeer-core consumed and publicly re-exported by foundry-config, but this fragment lists neither package and mentions only the RISEx feature. Add foundry-cli and foundry-config with appropriate bumps and include the dependency-maintenance change in the release note.

AGENTS.md reference: AGENTS.md:L201-L205

Useful? React with 👍 / 👎.

Comment on lines +44 to +47
cpu-time.workspace = true
libc = "0.2"
serde.workspace = true
serde_json.workspace = true

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P2 Badge Gate RISEx-only dependencies behind the feature

When foundry-evm-networks is built with its default features and risex-risk-precompile is disabled, the entire risex_formula module is excluded, but cpu-time, libc, and the normal serde_json dependency are still fetched and compiled unconditionally. This makes the opt-in feature increase the dependency and platform surface of every default downstream build; mark these normal dependencies optional and enable them through risex-risk-precompile (while retaining any test-only dependency needed by the unfeatured test configuration).

AGENTS.md reference: AGENTS.md:L261-L261

Useful? React with 👍 / 👎.

let mut reader = JournalReader::with_gas_meter(input.internals_mut(), gas_meter);
let mut progress = AttemptProgress::default();
let response = (|| -> Result<Response, Status> {
validate_request_compatibility(request)?;

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P1 Badge Validate the descriptor before compatibility fallback

When a decoded request has an unsupported loader, schema, or operation-set version while the active descriptor is inactive, malformed, or points to the wrong blob, this early return emits the compatibility status without reading the descriptor. The bundled loader manifest permits those fallback-driving statuses only when the active descriptor remains valid; otherwise the call must fail closed (or report inactivity), so the current ordering can route an invalid descriptor into a Solidity fallback that should not run. Validate the active descriptor before returning request-compatibility statuses.

Useful? React with 👍 / 👎.

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