d-flex flex-column width-full">

docs: document formal-verification assumptions and limitations for ZK…

fda8d1e

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

Cross-Network Integration Tests on: pull_request 4

Integration Tests - testnet

Integration Tests - futurenet

Integration Tests - mainnet-fork

Summarize Cross-Network Results

Contracts CI Matrix on: pull_request 3

Workspace check (ubuntu-latest)

Workspace check (macos-latest)

SEP-41 compliance suite

Check amm-pool

Check flashloan-token

Check governance-contract

Check kani-poc-contract

Check multisig-wallet

Check my-contract

Check uups-proxy

Check reentrancy-guard

Check runtime-guard-wrapper

Check timelock

Check token-with-bugs

Check vesting-contract

Check vulnerable-contract

Check benchmark

WASM flashloan-token

WASM governance-contract

WASM kani-poc-contract

WASM uups-proxy

WASM reentrancy-guard

WASM timelock

WASM token-with-bugs

WASM vulnerable-contract

Rust CI on: pull_request 9

Cargo Deny Check

Build & Test

Coverage Gate (≥ 80% per crate)

SARIF Snapshot Tests

Rule Engine Orchestration (integration/e2e)

Z3 Backend Module Boundaries (S011)

Property-Based Tests (proptest)

Dependabot auto-merge on: pull_request

auto-merge

CI on: pull_request 6

Continuous Integration (ubuntu-latest)

Frontend Unit Tests

Docs/specs integration coverage

Contracts SEP-41 Fixture Coverage

Frontend E2E Tests (Playwright)

Frontend Schema Rendering E2E

Contract ABI / Interface Docs

Lint Commit Messages

Build WASM Package

Code Scanning (Sanctifier + CodeQL) on: pull_request 4

Sanctifier (Soroban)

CodeQL (javascript-typescript)

Code scanning results

CodeQL

GitHub Advanced Security / CodeQL succeeded Jul 28, 2026 in 2s

No new alerts in code changed by this pull request

View all branch alerts.

Loading

Re-running checks...