Issues

• tools/check_error_discriminants.sh Restricts Analysis to scoregate-score Ignoring Aggregator and Mock Contract Enums

  testingtooling
  hartz0/scoregate-contracts#295 · Filter by author hartz0 opened on Oct 13, 2026

• tools/check_contract_build_lints.sh Omits mock-amm and mock-lending Workspace Packages from WASM Lint Checks

  testingtooling
  hartz0/scoregate-contracts#294 · Filter by author hartz0 opened on Oct 13, 2026

• Invocation Fuzzer Invariant Validation Rejects Successful Downstream Mock Swaps and Borrows as Event Invariant Violations

  bugtestingtooling
  hartz0/scoregate-contracts#293 · Filter by author hartz0 opened on Oct 13, 2026

• Replay Tool failure-inject Subcommand Discards User-Supplied Fixture Path and Swallows Scenario Failures

  bugtooling
  hartz0/scoregate-contracts#292 · Filter by author hartz0 opened on Oct 13, 2026

• submit_scores_batch Omits Anti-Flash-Loan Same-Ledger Gate-Read Check Permitting Flash-Loan Bypass

  bugsecurity
  hartz0/scoregate-contracts#291 · Filter by author hartz0 opened on Oct 13, 2026

• Anti-Flash-Loan Protection Rejection Maps to Error::EpochClosed Inducing False Lifecycle Attribution

  bugrefactoring
  hartz0/scoregate-contracts#290 · Filter by author hartz0 opened on Oct 13, 2026

• override_rate_limit Omits Resetting TokenBucket Rendering Override Ineffective in Burst Mode

  bug
  hartz0/scoregate-contracts#289 · Filter by author hartz0 opened on Oct 13, 2026

• set_hysteresis_margin Bypasses M-of-N Multisig Authorization Hardcoding Single Legacy Admin Authentication

  bugsecurity
  hartz0/scoregate-contracts#288 · Filter by author hartz0 opened on Oct 13, 2026

• get_portfolio_var Evaluates Covariance Using Directional Static Correlation Matrix Causing Asymmetric Zero-Out

  bug
  hartz0/scoregate-contracts#287 · Filter by author hartz0 opened on Oct 13, 2026

• Schema-Gen Tool Lacks Support for AggregateRiskScore and BatchAttestation Types

  enhancementStellar Wavetooling
  hartz0/scoregate-contracts#274 · Filter by author hartz0 opened on Oct 13, 2026
  3

  

• Missing Negative Test Vector Suite for Malformed Bulletproof Inner-Product Arguments

  securityStellar Wavetesting
  hartz0/scoregate-contracts#269 · Filter by author hartz0 opened on Oct 13, 2026
  3

  

• Verkle Proof Blob Decoder Does Not Reject Non-Canonical BLS12-381 Scalar Field Elements

  bugStellar Wave
  hartz0/scoregate-contracts#268 · Filter by author hartz0 opened on Oct 13, 2026
  3

  

• Missing Differential Arithmetic Test Suite for Fixed-Point Decay Math Against Floating-Point Reference

  Stellar Wavetesting
  hartz0/scoregate-contracts#267 · Filter by author hartz0 opened on Oct 13, 2026
  6

  

• prune_expired_parameter_proposals Iterates Unbounded Vector Inside Single Invocation

  performancerefactoringStellar Wave
  hartz0/scoregate-contracts#265 · Filter by author hartz0 opened on Oct 13, 2026
  4

  

• Adversarial Negative Test Suite Missing for Co-Signature Replay Across Ledger Sequences

  Stellar Wavetesting
  hartz0/scoregate-contracts#264 · Filter by author hartz0 opened on Oct 13, 2026
  4

  

• Signer Heartbeat Alert Cleared Prematurely on Single-Signer Activity in Multisig Mode

  bugStellar Wave
  hartz0/scoregate-contracts#263 · Filter by author hartz0 opened on Oct 13, 2026
  3

  

• Signer Accuracy Metric Tracking Omits Decay on Signer Reinstatement

  bugStellar Wave
  hartz0/scoregate-contracts#262 · Filter by author hartz0 opened on Oct 13, 2026
  3

  

• ScoreGateAggregator Lacks Emergency Pause Circuit Breaker Mechanism

  enhancementsecurityStellar Wave
  hartz0/scoregate-contracts#237 · Filter by author hartz0 opened on Oct 13, 2026
  3

  

• Verkle Proof Verification Returns Generic False Masking Proof Corruption From Non-Membership

  enhancementrefactoringStellar Wave
  hartz0/scoregate-contracts#236 · Filter by author hartz0 opened on Oct 13, 2026
  3

  

• Bulletproof Scalar Deserializer read_sc Accepts Non-Canonical Scalar Values Greater Than Group Order

  bugsecurityStellar Wave
  hartz0/scoregate-contracts#235 · Filter by author hartz0 opened on Oct 13, 2026
  4

  

• Quadratic Complexity in check_score_index_invariants Exceeds CPU Budget on Large Indexes

  performanceStellar Wavetesting
  hartz0/scoregate-contracts#234 · Filter by author hartz0 opened on Oct 13, 2026
  3

  

• History Invariant 10 Panics After set_history_max_depth Reduces Maximum Ring Depth

  bugStellar Wavetesting
  hartz0/scoregate-contracts#233 · Filter by author hartz0 opened on Oct 13, 2026
  3

  

• Asset Pair Cooldown Configuration Endpoints Lack Symbol Length Bounds Validation

  bugsecurityStellar Wave
  hartz0/scoregate-contracts#232 · Filter by author hartz0 opened on Oct 13, 2026
  3

  

• set_dormancy_inactivity_secs Truncates u64 Duration to u32 During Event Emission

  bugStellar Wave
  hartz0/scoregate-contracts#231 · Filter by author hartz0 opened on Oct 13, 2026
  3

  

• get_score_momentum Integer Division Truncates Score Velocity to Zero for Windows Over 100 Seconds

  bugrefactoringStellar Wave
  hartz0/scoregate-contracts#230 · Filter by author hartz0 opened on Oct 13, 2026
  3