chore: Upgrade HTTP → HTTPS URLs (RSR security)

Author: Jonathan D.A. Jewell

.github/workflows/security-policy.yml

@@ -17,7 +17,7 @@ jobs:
           fi
           
           # Block HTTP URLs (except localhost)
-          HTTP_URLS=$(grep -rE 'http://[^l][^o][^c]' --include="*.py" --include="*.js" --include="*.ts" --include="*.go" --include="*.rs" --include="*.yaml" --include="*.yml" . 2>/dev/null | grep -v 'localhost\|127.0.0.1\|example\|test\|spec' | head -5 || true)
+          HTTP_URLS=$(grep -rE 'https://[^l][^o][^c]' --include="*.py" --include="*.js" --include="*.ts" --include="*.go" --include="*.rs" --include="*.yaml" --include="*.yml" . 2>/dev/null | grep -v 'localhost\|127.0.0.1\|example\|test\|spec' | head -5 || true)
           if [ -n "$HTTP_URLS" ]; then
             echo "⚠️ HTTP URLs found. Use HTTPS:"
             echo "$HTTP_URLS"

CVC5_IMPLEMENTATION_SUMMARY.md

@@ -448,7 +448,7 @@ SPDX: `MIT OR Palimpsest-0.6`
 
 - [CVC5 Official Site](https://cvc5.github.io/)
 - [CVC5 Documentation](https://cvc5.github.io/docs/latest/)
-- [SMT-LIB 2.0 Standard](http://smtlib.cs.uiowa.edu/)
+- [SMT-LIB 2.0 Standard](https://smtlib.cs.uiowa.edu/)
 - [CVC5 GitHub](https://github.com/cvc5/cvc5)
 - [String Theory in CVC5](https://cvc5.github.io/docs/latest/theories/strings.html)
 - [Separation Logic in CVC5](https://cvc5.github.io/docs/latest/theories/separation-logic.html)

docs/AGENTIC_FEATURES.md

@@ -460,7 +460,7 @@ Tests cover:
 export ECHIDNA_PROOF_DB="proofs.db"
 
 # ConceptNet API
-export CONCEPTNET_API_BASE="http://api.conceptnet.io"
+export CONCEPTNET_API_BASE="https://api.conceptnet.io"
 
 # Model paths
 export ECHIDNA_RL_MODEL="models/rl_agent.bson"

docs/CVC5_IMPLEMENTATION.md

@@ -447,7 +447,7 @@ Dual-licensed under:
 
 - [CVC5 Official Site](https://cvc5.github.io/)
 - [CVC5 Documentation](https://cvc5.github.io/docs/latest/)
-- [SMT-LIB 2.0 Standard](http://smtlib.cs.uiowa.edu/)
+- [SMT-LIB 2.0 Standard](https://smtlib.cs.uiowa.edu/)
 - [CVC5 GitHub](https://github.com/cvc5/cvc5)
 - [String Theory in SMT](https://cvc5.github.io/docs/latest/theories/strings.html)
 - [Separation Logic](https://cvc5.github.io/docs/latest/theories/separation-logic.html)

docs/CVC5_QUICK_REFERENCE.md

@@ -387,7 +387,7 @@ cvc5 problem.smt2
 - [Full Implementation Details](/home/user/echidna/docs/CVC5_IMPLEMENTATION.md)
 - [Implementation Summary](/home/user/echidna/CVC5_IMPLEMENTATION_SUMMARY.md)
 - [CVC5 Documentation](https://cvc5.github.io/docs/latest/)
-- [SMT-LIB Standard](http://smtlib.cs.uiowa.edu/)
+- [SMT-LIB Standard](https://smtlib.cs.uiowa.edu/)
 
 ---
 

src/rust/integrations/conceptnet.rs

@@ -4,14 +4,14 @@
 //! ConceptNet Integration - Common-sense knowledge augmentation
 //!
 //! ConceptNet is a lightweight alternative to OpenCyc for semantic knowledge.
-//! REST API: http://api.conceptnet.io/
+//! REST API: https://api.conceptnet.io/
 
 use anyhow::Result;
 use reqwest::Client;
 use serde::{Deserialize, Serialize};
 use tracing::{debug, info};
 
-const CONCEPTNET_API_BASE: &str = "http://api.conceptnet.io";
+const CONCEPTNET_API_BASE: &str = "https://api.conceptnet.io";
 
 /// A ConceptNet edge (relationship between concepts)
 #[derive(Debug, Clone, Serialize, Deserialize)]

src/rust/server.rs

@@ -75,7 +75,7 @@ pub async fn start_server(port: u16, host: String, enable_cors: bool) -> Result<
     println!("{}", "║  ECHIDNA HTTP API Server                                  ║".cyan().bold());
     println!("{}", "╚═══════════════════════════════════════════════════════════╝".cyan());
     println!();
-    println!("Server listening on: {}", format!("http://{}", addr).green().bold());
+    println!("Server listening on: {}", format!("https://{}", addr).green().bold());
     println!();
     println!("{}", "Endpoints:".yellow().bold());
     println!("  GET  /api/health              - Health check");