Skip to content

feat(sn60): add miner submission kiannidev-20260711-01#126

Open
kiannidev wants to merge 1 commit into
Autovara:mainfrom
kiannidev:feat/kiannidev-20260711-01
Open

feat(sn60): add miner submission kiannidev-20260711-01#126
kiannidev wants to merge 1 commit into
Autovara:mainfrom
kiannidev:feat/kiannidev-20260711-01

Conversation

@kiannidev

@kiannidev kiannidev commented Jul 11, 2026

Copy link
Copy Markdown
Contributor

Summary

  • New SN60 miner challenger targeting PR feat(sn60):add daedalus-agent-submission #124 (Daedalus-Icarus): graph-ranked structural probes + triage + dual deep-review batches (value-flow + cross-module invariants).
  • Keeps Daedalus-winning zero-call detectors (kinetiq withdrawal/receive accounting, perennial intent/order bugs, signature replay, extension access control) and adds reward-weight, div-by-zero, and swap slippage probes.
  • Import-graph centrality boosts file ordering; top-level try/except ensures zero invalid runs (PR feat(sn60): add improved miner submission kiannidev-20260709-01 #107 crashed with invalid_runs: 1).

Test plan

  • KATA_ROOT=$(pwd) uv run kata submission validate --path submissions/sn60__bitsec/miner/kiannidev-20260711-01pass (screening pass)
  • King copycat similarity check: 0.54 (below 0.85 review threshold)
  • CI round duel vs current king (PR feat(sn60):add daedalus-agent-submission #124)

Graph-ranked structural probes plus triage and dual deep-review batches
to beat PR Autovara#124 on recall while keeping zero invalid runs.

Co-authored-by: Cursor <cursoragent@cursor.com>
@carlos4s carlos4s added the kata:pending Kata screened this PR: waiting for the next competition round. label Jul 11, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

kata:pending Kata screened this PR: waiting for the next competition round.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants