test: reduce and improve tests in src/compile/types.rs

[github-actions]

Test Suite Reduction: src/compile/types.rs

What was wrong

Test	Category	Problem
test_frontmatter_inlined_imports_false_explicit	Duplicate	Identical assertion (assert!(!fm.inlined_imports)) to test_frontmatter_inlined_imports_defaults_to_false. With #[serde(default)] on a bool, an absent key and an explicit false are indistinguishable — both paths produce false and both tests make the same assertion.
test_supply_chain_feed_only_validates	Vacuous	validate() only errors when registry is Some without a connection. With registry = None (feed-only), validate() always returns Ok(()) unconditionally — the assertion could never fail regardless of what the validate logic did.
test_permissions_default	Low-value	Called PermissionsConfig::default(), which is never invoked in any production code path. This tested the #[derive(Default)] macro's guaranteed behaviour (Option fields become None), not the actual deserialization contract.
test_cache_memory_bool_false	Vacuous assertion	CacheMemoryToolConfig::Enabled(_) always returns &[] from allowed_extensions(). The assert!(cm.allowed_extensions().is_empty()) assertion was trivially true for the Enabled variant regardless of the bool value.
test_lean_bool_false	Vacuous assertion	LeanRuntimeConfig::Enabled(_) always returns None from toolchain(). The assert!(lean.toolchain().is_none()) assertion was trivially true — only the WithOptions variant can return Some, and that is already covered by test_lean_with_toolchain.

Changes

Test	Action	Reason
test_frontmatter_inlined_imports_false_explicit	Removed	Duplicate of test_frontmatter_inlined_imports_defaults_to_false
test_supply_chain_feed_only_validates	Strengthened	Now also asserts that a combined feed + registry-with-connection config validates OK, exercising more of the validation logic
test_permissions_default	Rewritten	Now deserialises permissions: {} from YAML instead of calling Default::default() — tests the actual serde contract and guards against accidentally adding required fields
test_cache_memory_bool_false	Trimmed	Dropped the vacuous allowed_extensions().is_empty() assertion; kept the meaningful !cm.is_enabled() check
test_lean_bool_false	Trimmed	Dropped the vacuous toolchain().is_none() assertion; kept the meaningful !lean.is_enabled() check

Verification

• cargo test: all tests pass ✅
• cargo clippy --all-targets --all-features: no warnings or errors ✅

Warning

Firewall blocked 2 domains

The following domains were blocked by the firewall during workflow execution:

• spsprodeus21.vssps.visualstudio.com
• spsprodweu4.vssps.visualstudio.com

To allow these domains, add them to the network.allowed list in your workflow frontmatter:

network:
  allowed:
    - defaults
    - "spsprodeus21.vssps.visualstudio.com"
    - "spsprodweu4.vssps.visualstudio.com"

See Network Configuration for more information.

Generated by Test Reducer · 1K AIC · ⌖ 19.3 AIC · ⊞ 36.7K · ◷