Clean up analyze subgraph pattern logic (match-first / derived from rules parquet / overrides node results)

[fangyangci]

Background

Clean up the subgraph pattern decision logic in analyze, and clarify the relationship between pattern results and op (node) results.

Expected logic

1. Match the pattern first; once matched, the ops it contains are no longer checked individually.

   • As soon as a pattern matches, its constituent nodes are removed from node-level checking to avoid duplicate evaluation.

2. Pattern results are fully derived from the rules parquet table, using the same decision source as ops.

   • A pattern's supported / unsupported conclusion comes from the rules parquet (the same data source ops use), not from ad-hoc computation.

3. Pattern results override node results (keeping the current behavior).

   • When some nodes belong to a matched pattern, the final result is taken from the pattern, overriding the original results of those nodes.

Related

• Depends on Complete pattern rules parquet + short-circuit pattern to supported when all nodes are supported #980 (complete the pattern rules parquet + all-nodes-supported short circuit).
• Affects Analyze UI change: display patterns separately, pull pattern-contained nodes out of the node list #982 (analyze UI change: display patterns separately).

Relevant code

• analyze/core/pattern_extractor.py
• analyze/core/model_validators/pattern_matching_validator.py
• analyze/core/output_aggregator.py