Skip to content

Navigation Menu

Appearance settings

View all features
- BY COMPANY SIZE
  Enterprises
  Small and medium teams
  Startups
  Nonprofits
- BY USE CASE
  App Modernization
  DevSecOps
  DevOps
  CI/CD
  View all use cases
- BY INDUSTRY
  Healthcare
  Financial services
  Manufacturing
  Government
  View all industries
View all solutions
- EXPLORE BY TOPIC
  AI
  Software Development
  DevOps
  Security
  View all topics
- EXPLORE BY TYPE
  Customer stories
  Events & webinars
  Ebooks & reports
  Business insights
  GitHub Skills
- SUPPORT & SERVICES
  Documentation
  Customer support
  Community forum
  Trust center
  Partners
View all resources
- COMMUNITY
  GitHub SponsorsFund open source developers
- PROGRAMS
  Security Lab
  Maintainer Community
  Accelerator
  GitHub Stars
  Archive Program
- REPOSITORIES
  Topics
  Trending
  Collections
- ENTERPRISE SOLUTIONS
  Enterprise platformAI-powered developer platform
- AVAILABLE ADD-ONS
  GitHub Advanced SecurityEnterprise-grade security features
  Copilot for BusinessEnterprise-grade AI features
  Premium SupportEnterprise-grade 24/7 support
Pricing

Search code, repositories, users, issues, pull requests...

Search

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

Appearance settings

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

alpenlabs / alpen Public

Notifications You must be signed in to change notification settings
Fork 27
Star 102

Code
Issues
Pull requests 23
Discussions
Actions
Projects
Security and quality
Insights

Additional navigation options

Code
Issues
Pull requests
Discussions
Actions
Projects
Security and quality
Insights

STR 2066 Revise and harden OL STF tests#1760

Merged

storopoli merged 34 commits into

mainalpenlabs/alpen:mainfrom

STR-2066alpenlabs/alpen:STR-2066Copy head branch name to clipboard

May 22, 2026

Conversation Commits34 (34)Checks Files changed

Merged

STR 2066 Revise and harden OL STF tests#1760
storopoli merged 34 commits into
mainfrom
STR-2066

Commits

Commits on May 21, 2026

fix(ol/stf): mod.rs inside src/tests does not need #[cfg(test)]
krsnapaudel
committed
test(ol/stf): add behavior fixtures for STF tests
krsnapaudel
committed
refactor(ol/stf): use fixture helpers in DA preseal tests
krsnapaudel
committed
test(ol/stf): reuse terminal manifest helpers in chain tests
krsnapaudel
committed
fix(ol/stf): reject SAU updates with unconsumed proofs
krsnapaudel
committed
test(ol/stf): add direct SAU proof exhaustion invariants
krsnapaudel
committed
test(ol/stf): revive body-root mismatch verification test
krsnapaudel
committed
test(ol/stf): pin mid-block partial execution semantics
krsnapaudel
committed
refactor(ol/stf): split tests into themed modules
krsnapaudel
committed
test(ol/stf): assert failed SAU updates leave state unchanged
krsnapaudel
committed
test(ol/stf): add positive controls to tamper tests
krsnapaudel
committed
test(ol/stf): complete partial assertions in existing tests
krsnapaudel
committed
test(ol/stf): pin bridge gateway silent-drop behavior
krsnapaudel
committed
test(ol/stf): assert SAU output messages reach snark inboxes
krsnapaudel
committed
test(ol/stf): reject overflowing SAU transfer sums
krsnapaudel
committed
test(ol/stf): harden SAU zero-balance boundary assertions
krsnapaudel
committed
test(ol/stf): cover multi-SAU same-block scenarios
krsnapaudel
committed
test(ol/stf): reject replayed SAU updates across blocks
krsnapaudel
committed
test(ol/stf): pin TxConstraints min/max slot boundaries
krsnapaudel
committed
test(ol/stf): reject proofs for wrong ledger reference claims
krsnapaudel
committed
test(ol/stf): cover SAU and log boundary limits
krsnapaudel
committed
test(ol/stf): cover ASM manifest processing boundaries
krsnapaudel
committed
test(ol/stf): cover chain processing error branches
krsnapaudel
committed
test(ol/stf): cover GAM structural validation
krsnapaudel
committed
test(ol/stf): cover logs root padding parity
krsnapaudel
committed
test(ol/stf): cover epoch preseal diff verification
krsnapaudel
committed
test(ol/stf): cover dependent SAU update sequences
krsnapaudel
committed
test(ol/stf): reject reordered inbox message processing
krsnapaudel
committed
test(ol/stf): add STF stress coverage
krsnapaudel
committed
test(ol/stf): cover block terminality verification
krsnapaudel
committed
test(ol/stf): cover SAU target type and sequence bounds
krsnapaudel
committed
test(ol/stf): cover staging-layer STF execution paths
krsnapaudel
committed
test(ol/stf): cover epoch-diff verification happy path
krsnapaudel
committed
fix: tests outside of ol/stf should use make_genesis_state
krsnapaudel
committed

Footer

© 2026 GitHub, Inc.

Footer navigation

Terms
Privacy
Security
Status
Community
Docs
Contact

You can’t perform that action at this time.