cleanup: remove guard CLI flags, auto-detect DIFC from policies

Remove --enable-guards, --enable-config-extensions, --session-secrecy,
and --session-integrity CLI flags. Guards are now auto-enabled when an
allow-only policy is detected in the configuration.

Changes:
- Remove EnableDIFC field from config.Config
- Remove SessionConfig struct and session label parsing
- Remove enableDIFC, enableConfigExt, sessionSecrecy, sessionIntegrity
  flag variables and their env var defaults
- Auto-detect DIFC in NewUnified() after guard registration: enabled
  when any non-noop guard or global policy override is present
- Add HasNonNoopGuard() to guard.Registry for auto-detection
- Move guards status logging into NewUnified() (before backend launch)
- Always skip strict JSON schema validation for extension fields
- Change requireGuardPolicyIfGuardEnabled to warn+noop fallback
  instead of fatal error
- Fix flaky integration tests: replace hardcoded ports with dynamic
  allocation via getFreePort(t)
- Update guard-policies docs to use canonical allow-only format
- Update scripts to remove all references to removed flags
- Update DIFC_RULES.md, config.example.toml, OVERVIEW.md

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

Author: lpcox

README.md

@@ -132,7 +132,7 @@ For the complete JSON configuration specification with all validation rules, see
         "EXPANDED_VAR": "${MY_HOME}/config"
       },
       "guard-policies": {
-        "github": {
+        "allow-only": {
           "repos": ["github/gh-aw-mcpg", "github/gh-aw"],
           "min-integrity": "unapproved"
         }
@@ -189,12 +189,21 @@ For the complete JSON configuration specification with all validation rules, see
 - **`url`** (required for http): HTTP endpoint URL for `type: "http"` servers
 
 - **`guard-policies`** (optional): Guard policies for access control at the MCP gateway level
-  - Structure is server-specific and depends on the MCP server implementation
+  - Uses the `"allow-only"` policy format to restrict which repositories a guard allows
   - For **GitHub MCP server**, controls repository access with the following structure:
+    ```json
+    "guard-policies": {
+      "allow-only": {
+        "repos": ["github/gh-aw-mcpg", "github/gh-aw"],
+        "min-integrity": "unapproved"
+      }
+    }
+    ```
+    TOML equivalent:
     ```toml
-    [servers.github.guard_policies.github]
-    repos = ["github/gh-aw-mcpg", "github/gh-aw"]  # Repository patterns
-    min-integrity = "unapproved"                    # Minimum integrity level
+    [servers.github.guard_policies.allow-only]
+    repos = ["github/gh-aw-mcpg", "github/gh-aw"]
+    min-integrity = "unapproved"
     ```
     - **`repos`**: Repository access scope
       - `"all"` - All repositories accessible by the token

config.example.toml

@@ -72,7 +72,7 @@ GITHUB_PERSONAL_ACCESS_TOKEN = ""  # Pass through from host
 # Optional: Guard policies for access control at the MCP gateway level
 # The structure is server-specific. For GitHub MCP server, this controls repository access.
 # Example: Restrict access to specific GitHub organization and repositories
-# [servers.github.guard_policies.github]
+# [servers.github.guard_policies.allow-only]
 # repos = ["github/gh-aw-mcpg", "github/gh-aw"]  # Exact repository patterns
 # min-integrity = "unapproved"                   # Minimum integrity level for GitHub changes:
 #                                                #   - none: allow any ref (branches, PRs, tags)
@@ -127,10 +127,10 @@ args = [
 # Advanced Options
 # ============================================================================
 
-# Enable Data Information Flow Control (DIFC) security model (default: false)
-# When enabled, enforces information flow control policies on tool calls
-# This is an experimental feature - keep disabled for standard MCP compatibility
-# enable_guards = false
+# Guards enforcement mode: strict, filter, or propagate (default: strict)
+# Guards are automatically enabled when an allow-only policy is detected
+# in the server configuration (guard-policies field)
+# guards_mode = "strict"
 
 # ============================================================================
 # Notes

guards/github-guard/docs/OVERVIEW.md

@@ -111,8 +111,6 @@ make test-copilot-public-only
 
 **Environment Variables**:
 ```bash
-MCP_GATEWAY_ENABLE_GUARDS=1
-MCP_GATEWAY_CONFIG_EXTENSIONS=1
 MCP_GATEWAY_GUARD_POLICY_JSON='{"allow-only":{"repos":"public","min-integrity": "none"}}'
 ```
 
@@ -131,8 +129,6 @@ make test-copilot-owner-only
 
 **Environment Variables**:
 ```bash
-MCP_GATEWAY_ENABLE_GUARDS=1
-MCP_GATEWAY_CONFIG_EXTENSIONS=1
 ALLOW_OWNER=lpcox
 MCP_GATEWAY_GUARD_POLICY_JSON='{"allow-only":{"repos":["lpcox/*"],"min-integrity": "none"}}'
 ```
@@ -152,8 +148,6 @@ make test-copilot-repo-only
 
 **Environment Variables**:
 ```bash
-MCP_GATEWAY_ENABLE_GUARDS=1
-MCP_GATEWAY_CONFIG_EXTENSIONS=1
 MCP_GATEWAY_GUARD_POLICY_JSON='{"allow-only":{"repos":["owner/repo"],"min-integrity": "none"}}'
 ```
 

guards/github-guard/scripts/run_copilot_test.sh

@@ -327,8 +327,6 @@ case "$MODE" in
     echo -e "${BLUE}Mode: all - Allow all repos with approved integrity floor${NC}"
     SERVER_GUARD_POLICIES_JSON="$ALLOW_ONLY_ALL_POLICY"
     DOCKER_ENV_ARGS+=(
-      -e MCP_GATEWAY_ENABLE_GUARDS=1
-      -e MCP_GATEWAY_CONFIG_EXTENSIONS=1
       -e DEBUG='server:unified,guard:wasm'
     )
     ;;
@@ -337,8 +335,6 @@ case "$MODE" in
         echo -e "${BLUE}Mode: public-only - Filtering private data (public repos only)${NC}"
       SERVER_GUARD_POLICIES_JSON="$ALLOW_ONLY_PUBLIC_POLICY"
         DOCKER_ENV_ARGS+=(
-            -e MCP_GATEWAY_ENABLE_GUARDS=1
-            -e MCP_GATEWAY_CONFIG_EXTENSIONS=1
             -e DEBUG='server:unified,guard:wasm'
         )
         ;;
@@ -347,8 +343,6 @@ case "$MODE" in
       echo -e "${BLUE}Mode: owner-only - Filtering data outside owner scope (${ALLOW_OWNER})${NC}"
       SERVER_GUARD_POLICIES_JSON="$ALLOW_ONLY_OWNER_POLICY"
       DOCKER_ENV_ARGS+=(
-        -e MCP_GATEWAY_ENABLE_GUARDS=1
-        -e MCP_GATEWAY_CONFIG_EXTENSIONS=1
         -e DEBUG='server:unified,guard:wasm'
       )
       ;;
@@ -357,8 +351,6 @@ case "$MODE" in
         echo -e "${BLUE}Mode: repo-only - Filtering data outside repo scope (${DIFC_SCOPE})${NC}"
       SERVER_GUARD_POLICIES_JSON="$ALLOW_ONLY_REPO_POLICY"
         DOCKER_ENV_ARGS+=(
-        -e MCP_GATEWAY_ENABLE_GUARDS=1
-        -e MCP_GATEWAY_CONFIG_EXTENSIONS=1
         -e DEBUG='server:unified,guard:wasm'
         )
         ;;
@@ -367,8 +359,6 @@ case "$MODE" in
         echo -e "${BLUE}Mode: prefix-only - Filtering data outside repo prefix scope (lpcox/git-*)${NC}"
         SERVER_GUARD_POLICIES_JSON="$ALLOW_ONLY_PREFIX_POLICY"
         DOCKER_ENV_ARGS+=(
-        -e MCP_GATEWAY_ENABLE_GUARDS=1
-        -e MCP_GATEWAY_CONFIG_EXTENSIONS=1
         -e DEBUG='server:unified,guard:wasm'
         )
         ;;
@@ -377,8 +367,6 @@ case "$MODE" in
         echo -e "${BLUE}Mode: multi-only - Filtering using multiple repo scopes (lpcox/git-* + lpcox/github-guard)${NC}"
         SERVER_GUARD_POLICIES_JSON="$ALLOW_ONLY_MULTI_POLICY"
         DOCKER_ENV_ARGS+=(
-        -e MCP_GATEWAY_ENABLE_GUARDS=1
-        -e MCP_GATEWAY_CONFIG_EXTENSIONS=1
         -e DEBUG='server:unified,guard:wasm'
         )
         ;;
@@ -472,8 +460,6 @@ ACTIVE_ALLOW_ONLY_POLICY=""
 # Add DIFC flags for non-yolo modes
 if [ "$MODE" != "yolo" ] && [ "$MODE" != "lockdown" ]; then
     GATEWAY_CLI_ARGS+=(
-        --enable-config-extensions
-        --enable-guards
     )
 
     # DIFC mode is guard-managed at runtime (do not set via CLI)

guards/github-guard/scripts/run_integration_tests.sh

@@ -155,10 +155,7 @@ echo ""
 
 GATEWAY_TEST_MODE="integration"
 GATEWAY_GUARDS_MODE="gateway-default"
-GATEWAY_CLI_ARGS=(
-    --enable-config-extensions
-    --enable-guards
-)
+GATEWAY_CLI_ARGS=()
 
 echo "Gateway runtime settings:"
 echo "  Test mode: $GATEWAY_TEST_MODE"
@@ -185,8 +182,6 @@ echo ""
     -e MCP_GATEWAY_DOMAIN=localhost \
     -e MCP_GATEWAY_API_KEY="$GATEWAY_API_KEY" \
     -e DOCKER_API_VERSION=1.44 \
-    -e MCP_GATEWAY_ENABLE_GUARDS=1 \
-    -e MCP_GATEWAY_CONFIG_EXTENSIONS=1 \
     -e MCP_GATEWAY_WASM_GUARDS_DIR="/guards" \
     -v /var/run/docker.sock:/var/run/docker.sock \
     -v "/tmp:/tmp:rw" \

internal/cmd/flags.go

@@ -32,7 +32,8 @@
 //	flags_logging.go  getDefaultPayloadDir()          → MCP_GATEWAY_PAYLOAD_DIR
 //	flags_logging.go  getDefaultPayloadPathPrefix()   → MCP_GATEWAY_PAYLOAD_PATH_PREFIX
 //	flags_logging.go  getDefaultPayloadSizeThreshold() → MCP_GATEWAY_PAYLOAD_SIZE_THRESHOLD
-//	flags_difc.go     getDefaultEnableDIFC()          → MCP_GATEWAY_ENABLE_GUARDS
+//	flags_difc.go     getDefaultDIFCMode()             → MCP_GATEWAY_GUARDS_MODE
+//	flags_difc.go     getDefaultDIFCSinkServerIDs()    → MCP_GATEWAY_GUARDS_SINK_SERVER_IDS
 //
 // This pattern is intentionally kept in individual feature files because:
 //   - Each helper names the specific environment variable it reads, making the

internal/cmd/flags_difc.go

@@ -13,19 +13,9 @@ import (
 	"github.com/spf13/cobra"
 )
 
-// DIFC flag defaults
-const (
-	defaultEnableDIFC       = false
-	defaultConfigExtensions = false
-)
-
 // DIFC flag variables
 var (
-	enableDIFC        bool
 	difcMode          string
-	enableConfigExt   bool   // Enable config extensions (guards, session labels)
-	sessionSecrecy    string // Comma-separated initial secrecy labels
-	sessionIntegrity  string // Comma-separated initial integrity labels
 	difcSinkServerIDs string // Comma-separated server IDs that should include DIFC tag snapshots in RPC JSONL logs
 	guardPolicyJSON   string
 	allowOnlyPublic   bool
@@ -36,12 +26,7 @@ var (
 
 func init() {
 	RegisterFlag(func(cmd *cobra.Command) {
-		cmd.Flags().BoolVar(&enableDIFC, "enable-guards", getDefaultEnableDIFC(), "Enable guards enforcement for information flow control")
-		cmd.Flags().MarkHidden("enable-guards")
 		cmd.Flags().StringVar(&difcMode, "guards-mode", getDefaultDIFCMode(), "Guards enforcement mode: strict (deny violations), filter (remove denied tools), or propagate (auto-adjust agent labels on reads)")
-		cmd.Flags().BoolVar(&enableConfigExt, "enable-config-extensions", getDefaultConfigExtensions(), "Enable config extensions (guards, session labels) - required for guards session label features")
-		cmd.Flags().StringVar(&sessionSecrecy, "session-secrecy", getDefaultSessionSecrecy(), "Comma-separated initial secrecy labels for agent sessions (requires --enable-config-extensions)")
-		cmd.Flags().StringVar(&sessionIntegrity, "session-integrity", getDefaultSessionIntegrity(), "Comma-separated initial integrity labels for agent sessions (requires --enable-config-extensions)")
 		cmd.Flags().StringVar(&difcSinkServerIDs, "guards-sink-server-ids", getDefaultDIFCSinkServerIDs(), "Comma-separated server IDs whose RPC JSONL logs should include agent secrecy/integrity tag snapshots")
 		cmd.Flags().StringVar(&guardPolicyJSON, "guard-policy-json", getDefaultGuardPolicyJSON(), "Guard policy JSON (e.g. {\"allow-only\":{\"repos\":\"public\",\"min-integrity\":\"none\"}})")
 		cmd.Flags().BoolVar(&allowOnlyPublic, "allowonly-scope-public", getDefaultAllowOnlyScopePublic(), "Use public AllowOnly scope")
@@ -51,12 +36,6 @@ func init() {
 	})
 }
 
-// getDefaultEnableDIFC returns the default guards setting, checking MCP_GATEWAY_ENABLE_GUARDS
-// environment variable first, then falling back to the hardcoded default (false)
-func getDefaultEnableDIFC() bool {
-	return envutil.GetEnvBool("MCP_GATEWAY_ENABLE_GUARDS", defaultEnableDIFC)
-}
-
 // getDefaultDIFCMode returns the default guards mode, checking MCP_GATEWAY_GUARDS_MODE
 // environment variable first, then falling back to the hardcoded default (strict)
 func getDefaultDIFCMode() string {
@@ -79,24 +58,6 @@ func isValidDIFCMode(mode string) bool {
 	return false
 }
 
-// getDefaultConfigExtensions returns the default config extensions setting,
-// checking MCP_GATEWAY_CONFIG_EXTENSIONS environment variable first
-func getDefaultConfigExtensions() bool {
-	return envutil.GetEnvBool("MCP_GATEWAY_CONFIG_EXTENSIONS", defaultConfigExtensions)
-}
-
-// getDefaultSessionSecrecy returns the default session secrecy labels from
-// MCP_GATEWAY_SESSION_SECRECY environment variable
-func getDefaultSessionSecrecy() string {
-	return os.Getenv("MCP_GATEWAY_SESSION_SECRECY")
-}
-
-// getDefaultSessionIntegrity returns the default session integrity labels from
-// MCP_GATEWAY_SESSION_INTEGRITY environment variable
-func getDefaultSessionIntegrity() string {
-	return os.Getenv("MCP_GATEWAY_SESSION_INTEGRITY")
-}
-
 func getDefaultDIFCSinkServerIDs() string {
 	return os.Getenv("MCP_GATEWAY_GUARDS_SINK_SERVER_IDS")
 }
@@ -192,22 +153,6 @@ func ValidateDIFCMode(mode string) error {
 	return nil
 }
 
-// parseSessionLabels parses a comma-separated string of labels into a slice
-func parseSessionLabels(labels string) []string {
-	if labels == "" {
-		return nil
-	}
-	parts := strings.Split(labels, ",")
-	result := make([]string, 0, len(parts))
-	for _, part := range parts {
-		trimmed := strings.TrimSpace(part)
-		if trimmed != "" {
-			result = append(result, trimmed)
-		}
-	}
-	return result
-}
-
 func parseDIFCSinkServerIDs(input string) ([]string, error) {
 	if strings.TrimSpace(input) == "" {
 		return nil, nil