Trace BindingSpace trie factor participation

[MesTTo]

Adds factor participation metadata to BindingSpace trie traces.

The branch records which relation factors participate at each variable-depth trace step and the domain length contributed by each participating relation. The existing trace still records the surviving intersection and cursor counters.

Validation:

• cargo +nightly-2026-06-01 test -p mork --lib binding_plan with RUSTFLAGS='-C target-cpu=native'
• cargo +nightly-2026-06-01 test -p mork --lib binding_space with RUSTFLAGS='-C target-cpu=native'
• cargo +nightly-2026-06-01 test -p mork --lib with RUSTFLAGS='-C target-cpu=native'
• rustfmt --check on kernel/src/binding_plan.rs and kernel/src/binding_space.rs
• jscpd on kernel/src/binding_plan.rs, kernel/src/binding_space.rs, kernel/src/expression_trie.rs, kernel/src/pattern_relations.rs, kernel/src/test_exprs.rs, and kernel/src/test_sidecar_queries.rs
• git diff --check
• normal diffstat matched git diff -w --stat