Skip to content

feat(assex): custom inspectors in assex#596

Merged
makemake-kbo merged 2 commits intomainfrom
makemake/eng-1906-featassex-custom-inspectors-in-assex
Feb 6, 2026
Merged

feat(assex): custom inspectors in assex#596
makemake-kbo merged 2 commits intomainfrom
makemake/eng-1906-featassex-custom-inspectors-in-assex

Conversation

@makemake-kbo
Copy link
Contributor

  • Enables the use of supplemental inspectors during transaction validation
  • When phoundry is enabled, we include validate_transaction_with_inspector which lets us specify a custom supplemental inspector.
  • We return a TxValidationResultWithInspectors which includes the tx result + inspectors so they can be inspected post execution

@linear
Copy link

linear bot commented Feb 5, 2026

@odyslam
Copy link
Contributor

odyslam commented Feb 5, 2026

For context: This PR is to be used on phoundry to enable the tracing inspector and enable users to see traces of their assertion execution, useful when you are testing or debugging assertions (e.g. for false positives)

To be used: phylaxsystems/phoundry#78

Copy link
Contributor

@lean-apple lean-apple left a comment

Choose a reason for hiding this comment

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

Lets' try now to avoid the TODO/ clippy warning skip.

@makemake-kbo makemake-kbo force-pushed the makemake/eng-1906-featassex-custom-inspectors-in-assex branch from 899dfa2 to b4bfd64 Compare February 6, 2026 10:24
@github-actions
Copy link

github-actions bot commented Feb 6, 2026

Benchmark report is ready.

@github-actions
Copy link

github-actions bot commented Feb 6, 2026

Benchmark report is ready.

@makemake-kbo makemake-kbo merged commit 5ace693 into main Feb 6, 2026
14 checks passed
@makemake-kbo makemake-kbo deleted the makemake/eng-1906-featassex-custom-inspectors-in-assex branch February 6, 2026 15:07
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.

4 participants