summarization_detector: standalone summarization-target detector - #193

Open

jar-ben wants to merge 62 commits into

devfrom

jaroslav/summarization-detector

Commits on Aug 10, 2026

Add AutoProver OIDC role (#147)
H00N24
authored
d3363d7
Monitoring for budget pressure, prover abuse (#90)
jtoman
authored
139a88a

Commits on Aug 11, 2026

Code gen changes, Pt 4 (#10)
jtoman
authored
b089d6c

Commits on Aug 12, 2026

Tell the harness agent not to extend a non-deployable contract (#130)

shellygr
and
claude
authored
77d9e5a
Fixes integration tests (#149)
jtoman
authored
1915d7d
Typed pydantic models of the Solidity compact AST (--dump_asts) + autosetup migration (#76)

shellygr
and
claude
authored
a819e2a
Fix the stuck-rule nag detector crashing every stuck prover run (#153)

naftali-g
and
claude
authored
5970749
Compile-check generated harnesses before accepting them (#129)

shellygr
and
claude
authored
7602cc6

Commits on Aug 13, 2026

Key families (#157)
jtoman
authored
f378a9c
fix codegen (#161)
jtoman
authored
db27296

Commits on Aug 14, 2026

Commits on Aug 15, 2026

First version of soroban ecosystem (#127)
chandrakananandi
authored
df02aa4

Commits on Aug 16, 2026

add `--extra-context` (#154)
naftali-g
authored
8f0f434

Commits on Aug 18, 2026

PR 2/3: Rust application framework (PyO3) (#97)

authored
0a550d7
Plugin tool contribution (#158)
jtoman
authored
36f049f
automatic graph retries (#167)
jtoman
authored
6722105
Make the Rust toolchain a documented prerequisite, and stop uv racing rustup (#172)

ericeil
and
claude
authored
4af1ad0
tests: drop the solana_vault leftovers PR 97 leaked onto master (#174)

ericeil
and
claude
authored
56ce590
Treat an unimplemented contract as a terminal compilation failure (#131)

shellygr
and
claude
authored
9ad420a
tool family display update, GC bump (#170)
jtoman
authored
e03cb74
Better harnessing prompt (#175)
jtoman
authored
4cd3cb4
Move code-explorer prompts onto the ecosystem as shared templates (#171)

ericeil
and
claude
authored
2198f81

Commits on Aug 19, 2026

Commits on Aug 20, 2026

CI: run pyright and pytest on pull requests targeting dev (#141)

shellygr
and
claude
authored
ae8c5f2
autosetup: keep the named main contract in the scene (#165)

shellygr
and
claude
authored
2ce16a6
autosetup: converge the compilation-workaround loop instead of timing out (#134)

shellygr
and
claude
authored
115a2e0
autosetup: try the optimizer under legacy codegen before reaching for via-ir (#180)

shellygr
and
claude
authored
a52a37a
rules striping (#177)
jtoman
authored
ec667e4

Commits on Aug 24, 2026

chore: advance graphcore submodule and pyproject.toml pin to latest master (#184)

Copilot
and
ericeil
authored
acf913c

Commits on Aug 25, 2026

summarization_detector: standalone summarization-target detector
jar-ben
committed
bc39039

Commits on Aug 26, 2026

Commits on Aug 28, 2026

Commits on Aug 30, 2026

composer: add --certora-run-command to select the certoraRun install for a run
jar-ben
committed
911c6c0

Commits on Aug 31, 2026

Commits on Sep 1, 2026