Skip to content

Add AG034 (cloud/infra destruction) + AG035 (money movement) (0.16.0) - #21

Merged
autonomyproof merged 1 commit into
mainfrom
feat/rules-batch-5
Aug 11, 2026
Merged

Add AG034 (cloud/infra destruction) + AG035 (money movement) (0.16.0)#21
autonomyproof merged 1 commit into
mainfrom
feat/rules-batch-5

Cover AG035 factory-receiver branch (100% coverage)

1c696e2
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
DCO sign-off check
succeeded Aug 11, 2026 in 6s