///|
fn main raise {
  let pricing = @t.Ledger::new().commit(1L, [
    @t.Change::put("price", @t.Span::open(0L), "100"),
  ])
  let access = @t.Ledger::new()
    .commit(2L, [@t.Change::put("permit", @t.Span::new(5L, 20L), "active")])
    .commit(3L, [@t.Change::delete("permit", @t.Span::new(10L, 12L))])
  let joined = pricing.join_timeline(
    access,
    "price",
    "permit",
    @t.Span::new(0L, 25L),
    1L,
    3L,
  )
  assert_eq(joined.length(), 2)
  let eligible = access.matching_conditions(
    [("permit", Equals("active"))],
    @t.Span::new(0L, 25L),
    3L,
  )
  assert_eq(eligible.length(), 2)
  println(
    "Two-ledger evidence join and value-aware eligibility preserve the corrected exclusion interval",
  )
}