From fb25b330fbf1786b4c15f0bad7f6c5af40c7c11a Mon Sep 17 00:00:00 2001 From: Churchill Elisha <69218032+cokehill@users.noreply.github.com> Date: Wed, 29 Jul 2026 12:57:35 +0100 Subject: [PATCH] feat(contract): add DAO force-cancel, bridge escape hatch, dynamic jump-rate curve, and rotation expiry cleanup - Add governance-gated force_cancel_listing(listing_id) so the DAO can remove spam/malicious marketplace listings (tests: happy path + non-DAO caller rejection) - Add timelocked escape hatch for stranded bridge assets: 7-day challenge window + admin-signed clawback (tests: scenarios, Kani harness, SDK + docs) - Replace linear (utilisation / 50) interest model with configurable jump-rate curve (kink at 80% utilisation, 2x slope above kink) (tests: property tests around kink, SDK helpers, docs) - Fix pending admin key rotation expiry handling: expired requests are now pruned and audit-logged instead of left stale (tests: cargo test expiry case, Kani harness, doc note) Closes #824, #820, #825, #821 --- docs/pr-821-824-825-820-context.md | 0 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 docs/pr-821-824-825-820-context.md diff --git a/docs/pr-821-824-825-820-context.md b/docs/pr-821-824-825-820-context.md new file mode 100644 index 000000000..e69de29bb