Propose Db2 version predicates from successful reads

Add one version equality to an approved UPDATE that already selects a complete primary key. Require an actual preceding successful SELECT of the generated timestamp for the same key tuple. Track unchanged values and equal-width character copies through up to 64 local statements. Also recognize actual noniterative PERFORM calls to checked-read paragraphs. Prove every normal return and expand at most 64 statements through 16 active paragraphs. Reject recursion, early returns, unknown effects and calls that do not produce a checked read. Report the actual call chain without changing it. Require an immediate complete SQLCODE zero rejection check after SELECT and existing terminal checks that permit only SQLCODE zero and one affected row after UPDATE. Recognize existing IF gates and ordered EVALUATE SQLCODE result handling without changing their branch-specific exits. Require exact caller, COPY and schema snapshots, system SQLCA, inactive WHENEVER handlers, CHAR keys and a nonnull TIMESTAMP generated always for each row on update. Reject unknown effects, transaction boundaries, unsupported SQL and unproven storage. Preserve existing SQL, checks, error paths, comments and transaction behavior. Support fixed-format UTF-8 with consistent LF or CRLF endings. Report a conditional CWE-362 under the approved concurrency contract. This does not establish actual concurrent execution, timestamp uniqueness, authorization or transaction completion. Application-team review of the exact proposed correction remains required.