All pull requests

Pull requests

• chore(deps): bump sha2 from 0.10.8 to 0.11.1

  area: core-enginedependenciessize/xs
  #1028·dependabot[bot] opened Oct 19, 2026Bot·

  ·

• chore(deps): bump insta from 1.48.0 to 1.49.0

  dependenciessize/xs
  #1027·dependabot[bot] opened Oct 13, 2026Bot·

  ·

• docs(api): define custom-rule authoring API and trait registry

  area: docssize/m
  #1026·syntaxsuuvam-spec opened Oct 11, 2026·

  ·
  1

• docs: publish adopters showcase and real findings gallery

  area: docssize/s
  #1025·maxx-GENIUS opened Oct 11, 2026·

  ·
  1

• feat(security): shared CEI path analysis and token/SAC reentrancy findings (#336 #310 #325)

  area: core-enginearea: docsarea: testingrustsize/l
  #1024·woahwhattheheck opened Oct 8, 2026·3 of 4 tasks·

  ·
  3

• feat(ci): add DangerJS findings for pull requests (#711)

  area: docssize/m
  #1023·woahwhattheheck opened Oct 8, 2026·

  ·
  1

• feat(cli): report only new findings with --since (#698)

  area: cliarea: docsarea: testingrustsize/m
  #1022·woahwhattheheck opened Oct 8, 2026·

  ·

• feat(detector): enumerate admin powers in Centralization report (#330)

  area: cliarea: core-enginearea: docsarea: testingrustsize/l
  #1021·woahwhattheheck opened Oct 8, 2026·

  ·
  1

• feat(kani): generate per-entrypoint Kani harness skeletons (#344)

  area: contractsarea: core-enginearea: docsarea: testingrustsize/m
  #1020·woahwhattheheck opened Oct 8, 2026·

  ·
  1

• feat(detector): flag stale storage decisions after cross-contract calls (#684)

  area: core-enginearea: docsrustsize/l
  #1019·woahwhattheheck opened Oct 8, 2026·

  ·
  1

• feat(playground): browser-local WASM diagnostics and shareable code links (#717)

  area: docsarea: wasmjavascriptsize/m
  #1018·woahwhattheheck opened Oct 8, 2026·

  ·
  1

• feat(ci): add CircleCI URL orb, scan artifacts and consumer example (#708)

  area: docssize/m
  #1017·woahwhattheheck opened Oct 8, 2026·

  ·

• feat(kani): prove initialize cannot succeed twice (#339)

  area: contractsarea: docsrustsize/m
  #1016·woahwhattheheck opened Oct 8, 2026·

  ·

• feat(config): selectable strict/recommended/minimal rule packs (#726)

  area: cliarea: docsrustsize/m
  #1015·woahwhattheheck opened Oct 8, 2026·

  ·
  1

• feat(kani): prove authenticated admin storage write invariant (#341)

  area: contractsarea: docsrustsize/m
  #1014·woahwhattheheck opened Oct 8, 2026·

  ·
  1

• feat(ci): GitLab Code Quality and SARIF reports (#707)

  area: docsarea: infrasize/l
  #1012·woahwhattheheck opened Oct 8, 2026·

  ·

• feat(ci): Azure Pipelines Sanctifier SARIF integration (#712)

  area: docssize/m
  #1011·woahwhattheheck opened Oct 8, 2026·

  ·
  1

• feat(core): detect unchecked oracle price freshness (#329)

  area: core-enginerustsize/m
  #1010·woahwhattheheck opened Oct 8, 2026·

  ·
  1

• feat(detector): flag unused contracterror variants (#677)

  area: core-enginearea: docsarea: testingrustsize/m
  #1009·woahwhattheheck opened Oct 8, 2026·

  ·
  1

• feat(ci): annotate Bitbucket pull requests with Code Insights (#710)

  area: docsarea: infrasize/l
  #1008·woahwhattheheck opened Oct 8, 2026·2 of 5 tasks·

  ·

• feat(detector): detect missing reentrancy guard on value-moving calls (#685)

  area: core-enginearea: docsrustsize/l
  #1007·woahwhattheheck opened Oct 8, 2026·

  ·
  1

• feat(cli): per-function complexity report with configurable thresholds (#696)

  area: cliarea: core-enginearea: docsdependenciesrustsize/m
  #1006·woahwhattheheck opened Oct 8, 2026·

  ·
  1

• feat(perf): gate cost regressions against a stored baseline (#695)

  area: ci/cdarea: docsdependenciesrustsize/l
  #1005·woahwhattheheck opened Oct 8, 2026·

  ·
  1

• feat(security): detect storage-loaded authorization subject mismatch (#324)

  area: core-enginearea: docsrustsize/m
  #1004·woahwhattheheck opened Oct 8, 2026·

  ·
  1

• feat(cli): honor include/exclude path globs for scans (#702)

  area: cliarea: core-enginearea: docsrustsize/m
  #1003·woahwhattheheck opened Oct 8, 2026·

  ·
  1