Added comments for the ze_validator

Author: myrepo1

backends/ze/ze_validator_entry_exit_helpers.rb

@@ -21,20 +21,15 @@
 #           _exit. An exit-time check that needs an input calls
 #           state.find_param instead.
 #
-# THREE RULES THAT EXPLAIN MOST OF THE CODE BELOW
+# TWO RULES THAT EXPLAIN MOST OF THE CODE BELOW
 # -----------------------------------------------
-# 1. NEVER REPORT ON WHAT YOU DID NOT SEE. Tracing may start after the program
-#    is already running, so a handle or pointer the model has no record of is
-#    SKIPPED, never flagged. Nearly every check begins with a `return unless`
-#    guard for exactly this reason: a false positive is far more damaging to
-#    the tool's usefulness than a missed report.
 #
-# 2. REPORT ONCE. GPU code loops; the same defect recurs constantly. Checks
+# 1. REPORT ONCE. GPU code loops; the same defect recurs constantly. Checks
 #    build a key naming the specific violation and consult
 #    state.print_tracker[key] before printing. The pattern is always
 #    `return unless state.print_tracker[key] == 0` followed by setting it to 1.
 #
-# 3. CHECK AT THE RIGHT MOMENT. Three timings appear throughout:
+# 2. CHECK AT THE RIGHT MOMENT. Three timings appear throughout:
 #      at _entry  - when the call itself might crash the process (no _exit
 #                   would then be traced) or when pre-call state is needed
 #      at _exit   - when the check needs the call to have succeeded

backends/ze/ze_validator_state_object.rb

@@ -36,7 +36,7 @@
 #     -> print_deprecation_warning
 #     -> on_entry / on_exit
 #          - lock/unlock shared objects for the thread-safety check
-#          - run the API's callback from the dispatch tables
+#          - run the API's callback
 #          - push/pop the thread's call stack
 #     -> pump_deferred (a signal may have unblocked pending GPU work)
 #   ...and once the trace is exhausted, ze_validator.in calls #check_issues.
@@ -106,9 +106,7 @@ def initialize(**opts)
     @unlock_shared_object_on_exit = Hash.new { |h, k| h[k] = [] }
     @init_called = Hash.new { |h, k| h[k] = false } #pid : init called status
     @memory_in_transit = Hash.new {|h,k| h[k] = []} #pid : [[mem, (src|dst)]] list of memories being transferred
-    # @openend_command_lists = Hash.new {|h,k| h[k] = []} #command_list_handle : command_list_class
     @printed_init_error = false
-    # ADDED: deferred command-list executions awaiting event completion.
     # zeCommandQueueExecuteCommandLists is asynchronous, so we do not check a
     # list's memory copies at execute time (the destination may only be allocated
     # later by another unit that then signals a wait-event). Instead each