1use std::collections::HashSet;
8
9use crate::config_check::ConfigReport;
10use crate::proxy_config::{parser, ActionConfig, AuthConfig, MiddlewareConfig, ProxyConfig};
11
12const STRATEGIES: &[&str] = &["round_robin", "random", "ip_hash", "least_connections"];
13
14const HEALTH_CHECK_KEYS: &[&str] = &["path", "interval_secs", "timeout_ms", "healthy_threshold", "unhealthy_threshold"];
15const PROXY_ACTION_KEYS: &[&str] = &["upstream", "connect_timeout_ms", "read_timeout_ms", "strip_path_prefix", "add_path_prefix"];
16const GRPC_ACTION_KEYS: &[&str] = &["upstream", "connect_timeout_ms", "read_timeout_ms"];
17const STATIC_ACTION_KEYS: &[&str] = &["root", "index"];
18const REDIRECT_ACTION_KEYS: &[&str] = &["location", "status"];
19const RESPOND_ACTION_KEYS: &[&str] = &["status", "body", "content_type"];
20const REWRITE_RULE_KEYS: &[&str] = &["type", "name", "value", "prefix", "from", "to", "code", "reason"];
21
22fn known_keys(section: &str) -> Option<Vec<&'static str>> {
26 let route_form;
28 let section = if section == "middleware" || section.starts_with("middleware.") {
29 route_form = format!("route.{section}");
30 route_form.as_str()
31 } else {
32 section
33 };
34 let keys: Vec<&'static str> = match section {
35 "upstream" => vec!["name", "backends", "strategy", "weights", "tls_ca_file", "tls_client_cert_file", "tls_client_key_file", "protocol"],
36 "upstream.sticky" => vec!["cookie", "max_age_secs"],
37 "upstream.circuit_breaker" => vec!["failure_threshold", "recovery_secs", "half_open_probes"],
38 "upstream.retry" => vec!["attempts", "status"],
39 "upstream.health_check" | "ws_proxy.health_check" => HEALTH_CHECK_KEYS.to_vec(),
40 "route" => vec!["name"],
41 "route.match" => vec!["host", "path", "method", "content_type"],
42 "route.action" => {
44 let mut keys = vec!["type"];
45 for group in [PROXY_ACTION_KEYS, GRPC_ACTION_KEYS, STATIC_ACTION_KEYS, REDIRECT_ACTION_KEYS, RESPOND_ACTION_KEYS] {
46 for key in group {
47 if !keys.contains(key) {
48 keys.push(key);
49 }
50 }
51 }
52 keys
53 }
54 "route.action.proxy" => PROXY_ACTION_KEYS.to_vec(),
55 "route.action.grpc" => GRPC_ACTION_KEYS.to_vec(),
56 "route.action.static" => STATIC_ACTION_KEYS.to_vec(),
57 "route.action.redirect" => REDIRECT_ACTION_KEYS.to_vec(),
58 "route.action.respond" => RESPOND_ACTION_KEYS.to_vec(),
59 "route.action.mcp" => super::mcp_gateway::GATEWAY_KEYS.to_vec(),
60 "route.action.mcp.upstream" => super::mcp_gateway::UPSTREAM_KEYS.to_vec(),
61 "route.action.mcp.caller" => super::mcp_gateway::CALLER_KEYS.to_vec(),
62 "route.action.mcp.allow" => super::mcp_gateway::ALLOW_KEYS.to_vec(),
63 "route.action.mcp.limit" => super::mcp_gateway::LIMIT_KEYS.to_vec(),
64 "route.action.llm" => super::llm::LLM_KEYS.to_vec(),
65 "route.action.llm.provider" => super::llm::PROVIDER_KEYS.to_vec(),
66 "route.action.llm.key" => super::llm::KEY_KEYS.to_vec(),
67 "route.middleware" => vec!["timeout_ms", "max_body_size", "early_hints"],
68 "route.middleware.rate_limit" => vec!["max_requests", "window_secs"],
69 "route.middleware.cache" => vec!["ttl_secs", "vary_by", "dir", "max_size", "purge_token_env"],
70 "route.middleware.auth" => vec!["type", "token_env", "secret_env", "htpasswd_file"],
71 "route.middleware.ip_filter" => vec!["allow", "deny"],
72 "route.middleware.mirror" => vec!["upstream", "backends", "percent"],
73 "route.middleware.authz" => vec!["relation", "object"],
74 "authz" => vec!["store", "tuples"],
75 "route.middleware.wasm" => vec!["module", "fuel", "memory_mb", "config"],
76 "route.middleware.rewrite.request" | "route.middleware.rewrite.response" => REWRITE_RULE_KEYS.to_vec(),
77 "tcp_proxy" => vec!["name", "listen", "backends", "connect_timeout_ms"],
78 "udp_proxy" => vec!["name", "listen", "backends", "reply_timeout_ms", "buffer_size"],
79 "ws_proxy" => vec!["name", "listen", "backends", "connect_timeout_ms", "read_timeout_ms"],
80 _ => return None,
81 };
82 Some(keys)
83}
84
85fn strip_indices(section: &str) -> String {
87 let mut out = String::with_capacity(section.len());
88 let mut in_index = false;
89 for c in section.chars() {
90 match c {
91 '[' => in_index = true,
92 ']' => in_index = false,
93 _ if !in_index => out.push(c),
94 _ => {}
95 }
96 }
97 out
98}
99
100pub fn check_unknown_keys(toml: &str, report: &mut ConfigReport) {
102 let map = parser::parse(toml);
103 let mut sections: Vec<&String> = map.keys().collect();
104 sections.sort();
105 for section in sections {
106 let root = section.split(['.', '[']).next().unwrap_or("");
107 if !["route", "upstream", "tcp_proxy", "udp_proxy", "ws_proxy", "middleware", "authz"].contains(&root) {
108 continue;
109 }
110 let shape = strip_indices(section);
111 if shape == "route.action.mcp.upstream.headers_env" || shape.starts_with("authz.type.") {
113 continue;
114 }
115 match known_keys(&shape) {
116 None => report.error(format!("[{}]: unknown table — ignored", shape)),
117 Some(keys) => {
118 for (key, _) in &map[section] {
119 if !keys.contains(&key.as_str()) {
120 report.error(format!("[{}] {}: unknown key — ignored", shape, key));
121 }
122 }
123 }
124 }
125 }
126}
127
128fn is_host_port(backend: &str) -> bool {
131 let (rest, has_scheme) = match ["http://", "https://", "h2://", "h2s://", "grpc://", "grpcs://", "ws://", "wss://"]
132 .iter()
133 .find_map(|scheme| backend.strip_prefix(scheme))
134 {
135 Some(rest) => (rest, true),
136 None => (backend, false),
137 };
138 let rest = rest.trim_end_matches('/');
139 if rest.is_empty() || rest.contains('/') || rest.contains(char::is_whitespace) {
140 return false;
141 }
142 match rest.rsplit_once(':') {
143 Some((host, port)) => !host.is_empty() && port.parse::<u16>().is_ok_and(|p| p > 0),
144 None => has_scheme,
145 }
146}
147
148impl ProxyConfig {
149 pub fn validate(&self, report: &mut ConfigReport) {
153 let authz = super::builder::config_authorizer_with(self, Some(std::sync::Arc::new(crate::authz::MemoryStore::new())));
155 if self.authz.as_ref().is_some_and(|a| a.store == "sql")
156 && !cfg!(any(feature = "model-sqlite", feature = "model-postgres", feature = "model-mysql"))
157 {
158 report.error("[authz]: store = \"sql\" needs a build with a model-sqlite / model-postgres / model-mysql feature".to_string());
159 }
160 if let Some(Err(e)) = &authz {
161 report.error(format!("[authz]: {e}"));
162 }
163 let mut names = HashSet::new();
164 for (i, upstream) in self.upstreams.iter().enumerate() {
165 let label = if upstream.name.is_empty() { format!("[[upstream]] #{}", i + 1) } else { format!("upstream '{}'", upstream.name) };
166 if upstream.name.is_empty() {
167 report.error(format!("{label}: missing `name` — no route can refer to it"));
168 } else if !names.insert(upstream.name.as_str()) {
169 report.error(format!("{label}: declared more than once"));
170 }
171 if upstream.backends.is_empty() {
172 report.error(format!("{label}: `backends` is empty"));
173 }
174 match upstream.protocol.to_ascii_lowercase().as_str() {
175 "" | "http1" => {}
176 "h3" => {
177 if !cfg!(feature = "http3") {
178 report.error(format!("{label}: protocol = \"h3\" needs a build with the http3 feature (the default)"));
179 }
180 if let Some(plain) = upstream.backends.iter().find(|b| !b.starts_with("https://")) {
181 report.error(format!("{label}: protocol = \"h3\" needs https:// backends (QUIC is always TLS); '{plain}' isn't"));
182 }
183 }
184 other => report.error(format!("{label}: protocol must be \"http1\" or \"h3\", not \"{other}\"")),
185 }
186 for backend in &upstream.backends {
187 if !is_host_port(backend) {
188 report.error(format!("{label}: backend '{backend}' is not host:port"));
189 }
190 }
191 let client = match (&upstream.tls_client_cert_file, &upstream.tls_client_key_file) {
192 (Some(cert), Some(key)) => Some((cert.as_str(), key.as_str())),
193 (None, None) => None,
194 _ => {
195 report.error(format!("{label}: tls_client_cert_file and tls_client_key_file go together"));
196 None
197 }
198 };
199 if upstream.tls_ca_file.is_some() || client.is_some() {
200 if !crate::config_check::offline() {
201 if let Err(e) = crate::proxy::UpstreamTls::new(upstream.tls_ca_file.as_deref(), client) {
202 report.error(format!("{label}: {e}; its TLS backends would answer 502"));
203 }
204 }
205 if !upstream.tls {
206 report.warn(format!("{label}: TLS settings are set but no backend is https://, h2s:// or grpcs://, so they aren't used"));
207 }
208 }
209 if !STRATEGIES.contains(&upstream.strategy.as_str()) {
210 report.error(format!(
211 "{label}: unknown strategy '{}' (expected one of {})",
212 upstream.strategy,
213 STRATEGIES.join(", ")
214 ));
215 }
216 if !upstream.weights.is_empty() {
217 if upstream.weights.len() != upstream.backends.len() {
218 report.error(format!("{label}: `weights` has {} entries for {} backends (one each, in order)", upstream.weights.len(), upstream.backends.len()));
219 }
220 if upstream.weights.contains(&0) {
221 report.error(format!("{label}: `weights` must be whole numbers of 1 or more"));
222 }
223 if upstream.strategy == "ip_hash" {
224 report.warn(format!("{label}: `weights` don't apply to strategy ip_hash"));
225 }
226 }
227 if let Some(sticky) = &upstream.sticky {
228 let token = |c: char| c.is_ascii_alphanumeric() || "!#$%&'*+-.^_`|~".contains(c);
229 if sticky.cookie.is_empty() || !sticky.cookie.chars().all(token) {
230 report.error(format!("{label}: sticky cookie name '{}' isn't a valid cookie name", sticky.cookie));
231 }
232 }
233 if let Some(breaker) = &upstream.circuit_breaker {
234 if breaker.failure_threshold == 0 {
235 report.error(format!("{label}: circuit_breaker.failure_threshold must be 1 or more"));
236 }
237 if breaker.recovery_secs == 0 {
238 report.warn(format!("{label}: circuit_breaker.recovery_secs = 0 probes an open backend on the next request"));
239 }
240 }
241 if let Some(retry) = &upstream.retry {
242 if retry.attempts == 0 {
243 report.warn(format!("{label}: retry.attempts = 0 never retries"));
244 } else if retry.attempts as usize >= upstream.backends.len() {
245 report.warn(format!(
246 "{label}: retry.attempts = {} but there are {} backends — a request goes to each at most once",
247 retry.attempts,
248 upstream.backends.len()
249 ));
250 }
251 if let Some(status) = retry.status.iter().find(|s| !(400..=599).contains(*s)) {
252 report.error(format!("{label}: retry.status {status} isn't an error status (400–599)"));
253 }
254 }
255 #[cfg(not(any(feature = "http-client", feature = "http2")))]
256 if upstream.tls {
257 report.error(format!("{label}: https:// backends need the `http2` or `http-client` feature, which this build doesn't include"));
258 }
259 }
260
261 for (i, route) in self.routes.iter().enumerate() {
262 let label = if route.name.is_empty() { format!("route #{}", i + 1) } else { format!("route '{}'", route.name) };
263 match &route.action {
264 ActionConfig::Proxy { upstream, .. } | ActionConfig::Grpc { upstream, .. } => {
265 if upstream.is_empty() {
266 report.error(format!("{label}: proxy action has no `upstream`"));
267 } else if !names.contains(upstream.as_str()) {
268 if is_host_port(upstream) {
269 report.warn(format!("{label}: upstream '{upstream}' is not a declared [[upstream]]; using it as a backend address (no health checks)"));
270 } else {
271 report.error(format!("{label}: upstream '{upstream}' is not a declared [[upstream]]"));
272 }
273 }
274 }
275 ActionConfig::Static { root, .. } => {
276 if root.is_empty() {
277 report.error(format!("{label}: static action has no `root`"));
278 } else if !crate::config_check::offline() && !std::path::Path::new(root).is_dir() {
279 report.warn(format!("{label}: static root '{root}' is not a directory (yet)"));
280 }
281 }
282 ActionConfig::Redirect { location, status } => {
283 if location.is_empty() {
284 report.error(format!("{label}: redirect action has no `location`"));
285 }
286 if !(300..=399).contains(status) {
287 report.error(format!("{label}: redirect status {status} is not a 3xx code"));
288 }
289 }
290 ActionConfig::Respond { status, .. } => {
291 if !(100..=599).contains(status) {
292 report.error(format!("{label}: respond status {status} is not an HTTP status code"));
293 }
294 }
295 ActionConfig::Mcp(gateway) => {
296 super::mcp_gateway::validate(gateway, route.match_.path.as_deref(), &label, report);
297 }
298 ActionConfig::Llm(llm) => {
299 super::llm::validate(llm, &label, report);
300 }
301 ActionConfig::Unknown(kind) if kind.is_empty() => {
302 report.error(format!("{label}: [route.action] has no `type`"));
303 }
304 ActionConfig::Unknown(kind) => {
305 report.error(format!("{label}: unknown action type '{kind}' (expected proxy, grpc, static, redirect, respond, mcp or llm)"));
306 }
307 }
308 let has_auth = route.middleware.auth.is_some() || self.global_middleware.auth.is_some();
309 validate_middleware(&label, &route.middleware, authz.as_ref(), has_auth, report);
310
311 let m = &route.match_;
312 if m.host.is_none() && m.path.is_none() && m.method.is_none() && m.content_type.is_none() && i + 1 < self.routes.len() {
313 report.warn(format!("{label}: matches every request, so the routes after it are never reached"));
314 }
315 }
316
317 validate_middleware("[middleware]", &self.global_middleware, authz.as_ref(), self.global_middleware.auth.is_some(), report);
318 if self.global_middleware.authz.is_some() {
319 report.warn("[middleware.authz]: applies to every request, /healthz, /readyz and /metrics included — probes without a caller get 401".to_string());
320 }
321
322 let listeners = self.tcp_proxies.iter().map(|p| ("tcp_proxy", &p.name, &p.listen, &p.backends))
323 .chain(self.udp_proxies.iter().map(|p| ("udp_proxy", &p.name, &p.listen, &p.backends)))
324 .chain(self.ws_proxies.iter().map(|p| ("ws_proxy", &p.name, &p.listen, &p.backends)));
325 for (kind, name, listen, backends) in listeners {
326 let label = format!("[[{kind}]] '{name}'");
327 if listen.parse::<std::net::SocketAddr>().is_err() {
328 report.error(format!("{label}: listen '{listen}' is not an address like 0.0.0.0:5432"));
329 }
330 if backends.is_empty() {
331 report.error(format!("{label}: `backends` is empty"));
332 }
333 for backend in backends {
334 if !is_host_port(backend) {
335 report.error(format!("{label}: backend '{backend}' is not host:port"));
336 }
337 }
338 }
339 }
340}
341
342fn validate_middleware(
343 label: &str,
344 mw: &MiddlewareConfig,
345 authz: Option<&Result<crate::authz::Authorizer, String>>,
346 has_auth: bool,
347 report: &mut ConfigReport,
348) {
349 for link in &mw.early_hints {
350 if !crate::early_hints::valid(link) {
351 report.error(format!("{label}: early_hints value {link:?} is empty or holds a line break"));
352 } else if !link.trim_start().starts_with('<') {
353 report.warn(format!("{label}: early_hints value {link:?} doesn't start with <URL>; browsers will ignore it"));
354 }
355 }
356 if let Some(rule) = &mw.authz {
357 let schema = authz.and_then(|a| a.as_ref().ok()).map(|a| a.schema());
358 match (authz, crate::authz::ObjectTemplate::parse(&rule.object)) {
359 (None, _) => report.error(format!("{label}: [middleware.authz] needs an [authz] section")),
360 (_, Err(e)) => report.error(format!("{label}: [middleware.authz] {e}")),
361 (Some(_), Ok(template)) => {
362 let kind = template.object_type().unwrap_or_default();
363 if rule.relation.is_empty() {
364 report.error(format!("{label}: [middleware.authz] needs `relation`"));
365 } else if let Some(schema) = schema {
366 if !schema.has_relation(kind, &rule.relation) {
367 report.error(format!("{label}: [middleware.authz] {kind}#{} isn't defined in [authz]", rule.relation));
368 }
369 }
370 }
371 }
372 if !has_auth {
373 report.warn(format!("{label}: [middleware.authz] without auth here or in [middleware]: no caller is known, every request gets 401"));
374 }
375 }
376 if let Some(m) = &mw.mirror {
377 match (m.upstream.is_empty(), m.backends.is_empty()) {
378 (true, true) => report.error(format!("{label}: [middleware.mirror] needs `upstream` or `backends`")),
379 (false, false) => report.error(format!("{label}: [middleware.mirror] has both `upstream` and `backends`; use one")),
380 _ => {}
381 }
382 for b in &m.backends {
383 if crate::proxy_config::health::parse_backend_url(b).is_none() {
384 report.error(format!("{label}: mirror backend '{b}' is not a backend address"));
385 }
386 }
387 if !(m.percent.is_finite() && (0.0..=100.0).contains(&m.percent)) {
388 report.error(format!("{label}: mirror percent must be a number from 0 to 100"));
389 } else if m.percent == 0.0 {
390 report.warn(format!("{label}: mirror percent is 0: nothing is mirrored"));
391 }
392 }
393 if let Some(wasm) = &mw.wasm {
394 if wasm.module.is_empty() {
395 report.error(format!("{label}: [middleware.wasm] has no `module`; the route answers 503"));
396 } else if cfg!(not(feature = "wasm-plugins")) {
397 report.error(format!("{label}: [middleware.wasm] needs the wasm-plugins feature, which this build doesn't include; the route answers 503"));
398 } else if !crate::config_check::offline() {
399 #[cfg(feature = "wasm-plugins")]
400 if let Err(e) = crate::wasm_plugin::WasmLayer::from_file(&wasm.module) {
401 report.error(format!("{label}: {e}; the route answers 503"));
402 }
403 }
404 if wasm.fuel == 0 || wasm.memory_mb == 0 {
405 report.error(format!("{label}: [middleware.wasm] fuel and memory_mb must be above 0"));
406 }
407 }
408 match &mw.auth {
409 Some(AuthConfig::Bearer { token_env }) | Some(AuthConfig::Jwt { secret_env: token_env }) => {
410 if token_env.is_empty() {
411 report.error(format!("{label}: auth has no `token_env` / `secret_env`; the route answers 503"));
412 } else if !crate::config_check::offline() && std::env::var(token_env).unwrap_or_default().is_empty() {
413 report.error(format!("{label}: auth secret env var '{token_env}' is unset or empty; the route answers 503 until it is set"));
414 }
415 }
416 Some(AuthConfig::Basic { htpasswd_file }) => {
417 #[cfg(feature = "auth")]
418 if !crate::config_check::offline() {
419 if let Err(e) = crate::auth::BasicAuthLayer::from_htpasswd_file(htpasswd_file) {
420 report.error(format!("{label}: basic auth: {e}; the route answers 503"));
421 }
422 }
423 #[cfg(not(feature = "auth"))]
424 let _ = htpasswd_file;
425 }
426 None => {}
427 }
428 #[cfg(not(feature = "auth"))]
429 if matches!(mw.auth, Some(AuthConfig::Jwt { .. }) | Some(AuthConfig::Basic { .. })) {
430 report.error(format!("{label}: jwt and basic auth need the `auth` feature, which this build doesn't include; the route answers 503"));
431 }
432
433 for entry in mw.ip_allow.iter().chain(&mw.ip_deny) {
434 if !crate::ip_filter::is_valid_entry(entry) {
435 report.error(format!("{label}: ip_filter entry '{entry}' is not an IP address or CIDR range — ignored"));
436 }
437 }
438 if !mw.ip_allow.is_empty() && !mw.ip_deny.is_empty() {
439 report.warn(format!("{label}: ip_filter has both `allow` and `deny`; only `allow` is used"));
440 }
441 if let Some(cache) = &mw.cache {
442 if crate::proxy_config::cache_max_bytes(&cache.max_size).is_none() {
443 report.error(format!("{label}: cache max_size {:?} is not a size (e.g. \"512M\")", cache.max_size));
444 }
445 if !cache.purge_token_env.is_empty() && !crate::config_check::offline() && std::env::var(&cache.purge_token_env).unwrap_or_default().trim().is_empty() {
446 report.error(format!("{label}: cache purge_token_env {} is unset or empty; PURGE is refused", cache.purge_token_env));
447 }
448 if !cache.max_size.is_empty() && cache.dir.is_empty() {
449 report.warn(format!("{label}: cache max_size only applies with `dir` (the memory cache is bounded by entries)"));
450 }
451 if !cache.dir.is_empty() && !crate::config_check::offline() {
452 let probe = std::path::Path::new(&cache.dir).join(format!(".rws-check-{}", std::process::id()));
453 let writable = std::fs::create_dir_all(&cache.dir).and_then(|_| std::fs::write(&probe, b"")).is_ok();
454 let _ = std::fs::remove_file(&probe);
455 if !writable {
456 report.error(format!("{label}: cache dir {:?} isn't writable; the route caches in memory instead", cache.dir));
457 }
458 }
459 }
460 if let Some(rl) = &mw.rate_limit {
461 if rl.max_requests == 0 || rl.window_secs == 0 {
462 report.error(format!("{label}: rate_limit needs max_requests and window_secs above 0"));
463 }
464 }
465 for rule in mw.rewrite_request.iter().chain(&mw.rewrite_response) {
466 let known = ["header_set", "header_remove", "uri_set", "uri_strip_prefix", "strip_prefix",
467 "uri_add_prefix", "add_prefix", "status", "body_replace"];
468 if !known.contains(&rule.type_.as_str()) {
469 report.error(format!("{label}: unknown rewrite rule type '{}' — ignored", rule.type_));
470 }
471 }
472}