T7915: minor fixes for consistent exception handling and error messages

[jestabro]

Change summary

NOTE: this requires
vyos/vyos1x-config#54
vyos/vyconf#33
and an update to this PR to point to those repos after merge. Integration tests will not run until the first of those is merged and pointed to.
<-- prerequisites merged and hash references updated

The addition of alert exn to vyos1x-config allows an audit of all raised exceptions, providing fixes for consistent handling and error reporting.

Types of changes

• Bug fix (non-breaking change which fixes an issue)
• New feature (non-breaking change which adds functionality)
• Code style update (formatting, renaming)
• Refactoring (no functional changes)
• Migration from an old Vyatta component to vyos-1x, please link to related PR inside obsoleted component
• Other (please describe): compiler driven exception audit

Related Task(s)

Related PR(s)

vyos/vyos1x-config#54
vyos/vyconf#33

How to test / Smoketest result

Checklist:

• I have read the CONTRIBUTING document
• I have linked this PR to one or more Phabricator Task(s)
• I have run the components SMOKETESTS if applicable
• My commit headlines contain a valid Task id
• My change requires a change to the documentation
• I have updated the documentation accordingly

[github-actions]

👍
No issues in PR Title / Commit Title

[jestabro]

Move to draft to fix overly-restrictive treatment of Useless_set as error: this has been seen in automated tests --- need to allow redundant set operations.

[jestabro]

Added: expose value_exists for future use (cf. T7967) and rebased to separate commit under task T7969 --- it is included in this collection of PRs as it is required internally (and was already present) for
vyos/vyconf#33

Note that this has now a hard requirement on vyos/vyos1x-config#54 so CI integration is not possible until that is merged.

[jestabro]

Rebased over current and resolved conflicts.

[github-actions]

CI integration 👍 passed!

Details

CI logs

• CLI Smoketests (no interfaces) 👍 passed
• CLI Smoketests VPP 👍 passed
• CLI Smoketests (interfaces only) 👍 passed
• Config tests 👍 passed
• Config tests VPP 👍 passed
• RAID1 tests 👍 passed
• TPM tests 👍 passed

[Copilot]

Pull Request Overview

This pull request improves error handling in the VyOS configuration tree library by enhancing error messages and adding better exception handling. The changes make error reporting more consistent and informative throughout the library.

Key Changes:

• Added value_exists() function to check if a specific value exists at a path
• Enhanced error handling to retrieve and display detailed error messages from the underlying OCaml library
• Improved return value checking for is_leaf() to properly return boolean values
• Updated dependency versions for vyos1x-config and vyconf libraries

Reviewed Changes

Copilot reviewed 3 out of 3 changed files in this pull request and generated 2 comments.

File	Description
python/vyos/configtree.py	Added value_exists() method and improved error handling with detailed messages from underlying library
libvyosconfig/lib/bindings.ml	Enhanced exception handling with proper error message setting and alert annotations for all exceptions
libvyosconfig/Makefile	Updated dependency commit hashes for vyos1x-config and vyconf libraries

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[github-actions]

CI integration ❌ failed!

Details

CI logs

• CLI Smoketests (no interfaces) ❌ failed
• CLI Smoketests VPP 👍 passed
• CLI Smoketests (interfaces only) 👍 passed
• Config tests 👍 passed
• Config tests VPP 👍 passed
• RAID1 tests 👍 passed
• TPM tests 👍 passed

[dmbaturin]

I cannot find any objections against this logic.

[c-po]

Update hash and fix to warnings.

I trust @jestabro on this.

Also adds nice value_Exists utility function