From 5e20b31b1f6b47270cae84478d2e4cf35f6c04b9 Mon Sep 17 00:00:00 2001 From: khanavi272-spec Date: Mon, 29 Jun 2026 23:00:17 +0530 Subject: [PATCH] docs(core): clarify numeric validation expectations --- engine-core/src/core/control_plane.rs | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/engine-core/src/core/control_plane.rs b/engine-core/src/core/control_plane.rs index eabc289..afca329 100644 --- a/engine-core/src/core/control_plane.rs +++ b/engine-core/src/core/control_plane.rs @@ -127,11 +127,13 @@ impl ControlPlane { /// Mutate a protocol parameter securely. /// /// Security properties: - /// - caller must be the initialized admin and must authorize the invocation; - /// - circuit breaker must be closed; - /// - transition must pass the audit module's chained commitment check; - /// - update counter uses checked arithmetic; - /// - reentrancy guard wraps the full mutation. +/// - caller must be the initialized admin and must authorize the invocation; +/// - circuit breaker must be closed; +/// - transition must pass the audit module's chained commitment check; +/// - numeric parameter values should be validated against protocol-defined limits +/// before being accepted by higher-level configuration flows; +/// - update counter uses checked arithmetic; +/// - reentrancy guard wraps the full mutation. pub fn update_param( env: Env, caller: Address,