[verify-seal] 'cve_2025_guards_2026-09': seal_intact=True prediction=VIOLATED
    bar_both_fix_refs_verified_online: sealed=True actual=False match=False
    bar_libxml2_cbmc_guarded_successful: sealed=True actual=True match=True
    bar_libxml2_cbmc_unguarded_failed: sealed=True actual=True match=True
    bar_libxml2_guard_distinct_from_in_bounds: sealed=True actual=True match=True
    bar_libxml2_sound_under_stated_precondition: sealed=True actual=True match=True
    bar_openssl_cbmc_guarded_successful: sealed=True actual=True match=True
    bar_openssl_cbmc_prefix_guard_failed: sealed=True actual=True match=True
    bar_openssl_cbmc_unguarded_failed: sealed=True actual=True match=True
    bar_openssl_fixed_guard_sound_unconditionally: sealed=True actual=True match=True
    bar_openssl_fixed_guard_tight: sealed=True actual=True match=True
    bar_openssl_prefix_guard_unsound: sealed=True actual=True match=True
    predicted_libxml2_cbmc_no_precondition_failed: sealed=True actual=True match=True
    predicted_libxml2_not_sound_unconditionally: sealed=True actual=True match=True
    predicted_openssl_fix_is_the_bounds_predicate: sealed=True actual=True match=True