docs(dirol): note CoreAggregator deprecation, Aggregator as primary

[dak-agent]

Adds a comment to mainnet/dirol.jsonc documenting that the CoreAggregator address was deprecated around Feb 27, 2026, and that the Aggregator address is the primary one.

No address values were changed — this is a documentation-only comment in the addresses block.

[github-actions]

Contract Verification Results

Changed Files

• mainnet/dirol.jsonc

Verification Output

Verifying 1 protocol file(s)...

  ✓ Dirol (3 addresses)

================================================================================
                         CONTRACT VERIFICATION RESULTS                          
================================================================================

✗ Dirol (dirol.jsonc)
  └─ ✗ CoreAggregator: 0x77E73c3fCd3FEDba383025CDe4a5b97733A34c2E [Not verified]
  └─ ✗ LimitOrderModule: 0xA82098c33c75A4A1e20e06f352732910C75C690D [Not verified]
  └─ ✓ Aggregator: 0x646462f4d0168A94fE1884c8ae82148a3618A18d [Verified]

================================================================================
                                    SUMMARY                                     
================================================================================
  Files Processed:     1
  Addresses Checked:   3
  ✓ Verified:          1
  ✗ Not Verified:      2
================================================================================

---

_{Workflow run: Verify PR Contracts}