fix: overhaul proposal selection and prioritization logic

[zhangsoledad]

What's Changed:

This PR fixes a series of logical issues in the tx-pool and block-template construction related to proposal transactions:

Prioritize proposal transactions
Proposals are now given the highest priority in the txpool.

Allow compact block recovery to use transactions from verify_queue
Compact-block reconstruction previously only searched the main pool, leading to unnecessary “missing transaction” failures when a proposal was already in verify_queue. The reconciler now checks pool_map, verify_queue, and the orphan set (when relevant).

Fix proposal selection logic in block template
The previous implementation had several severe bugs:

• Not consider to exclude proposals whose content had already been included in previous blocks (re-proposing the same data).

Related changes

• PR to update owner/repo:
• Need to cherry-pick to the release branch

Check List

Tests

• Unit test
• Integration test

Release note

Note: Add a note under the PR title in the release note.

[eval-exec]

A integration test failed: https://github.com/nervosnetwork/ckb/actions/runs/22430288900/job/64950185639?pr=5023

2026-02-26 06:49:59.153 +00:00 *unnamed* ERROR panic  thread 'unnamed' panicked at 'assertion failed: matches!(res.tx_status.status, Status::Pending)': test/src/specs/tx_pool/limit.rs:126   0: ckb_logger_service::setup_panic_logger::{{closure}}
   1: std::panicking::panic_with_hook
   2: std::panicking::panic_handler::{{closure}}
   3: std::sys::backtrace::__rust_end_short_backtrace
   4: __rustc::rust_begin_unwind
   5: core::panicking::panic_fmt
   6: core::panicking::panic
   7: <ckb_test::specs::tx_pool::limit::TxPoolLimitAncestorCount as ckb_test::specs::Spec>::run
   8: ckb_test::worker::Worker::run_spec
   9: std::sys::backtrace::__rust_begin_short_backtrace
  10: core::ops::function::FnOnce::call_once{{vtable.shim}}
  11: std::sys::thread::unix::Thread::new::thread_start
  12: <unknown>
  13: <unknown>

2026-02-26 06:49:59.160 +00:00 *unnamed* DEBUG ckb_test::node  Successfully killed ckb process (TxPoolLimitAncestorCount_node0