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

[github-actions]

Test Suite Reduction: src/compile/types.rs

What was wrong

• test_engine_config_id_defaults_to_copilot: duplicate of test_engine_config_full_object_partial_fields — both assert engine_id() defaults to "copilot" when id is omitted from the object form; the removed test is a strict subset.
• test_azure_devops_not_set: incorrect — tested fm.tools.is_none() (no tools field at all) instead of fm.tools.azure_devops.is_none() (azure-devops absent within tools). Would not catch a regression where azure-devops unexpectedly appeared.
• test_network_config_rejects_arbitrary_unknown_field: low-value — only asserted is_err() without checking the error message, unlike its sibling test_network_config_rejects_old_allow_field which verifies the message content.
• test_lean_bool_false: incomplete — only asserted !lean.is_enabled(); missed verifying toolchain().is_none() for complete state coverage.
• test_pr_trigger_config_combined_with_pipeline_trigger: vacuous — tc.pipeline.is_some() and tc.pr.is_some() are trivially true since the YAML input literally sets both; replaced with value assertions on pipeline.name and the filter pattern.

Changes

Test	Action	Reason
test_engine_config_id_defaults_to_copilot	Removed	Duplicate/subset of test_engine_config_full_object_partial_fields
test_azure_devops_not_set	Rewritten	Incorrect — tested wrong condition for its name
test_network_config_rejects_arbitrary_unknown_field	Strengthened	Add error message assertion
test_lean_bool_false	Strengthened	Add toolchain().is_none() check
test_pr_trigger_config_combined_with_pipeline_trigger	Fixed	Replace vacuous is_some() with value assertions

Verification

• cargo test: all 1661 + integration tests pass ✅
• cargo check: no errors ✅

Warning

Firewall blocked 1 domain

The following domain was blocked by the firewall during workflow execution:

• dev.azure.com

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

network:
  allowed:
    - defaults
    - "dev.azure.com"

See Network Configuration for more information.

Generated by Test Reducer · ● 16.3M · ◷