Skip to content

det: SQLCODE -180 for a null-date update, not the driver's -4220 (#4658) - #4672

Merged
squid-protocol merged 4 commits into
mainfrom
fix/4658-sqlcode-null-date
Oct 8, 2026
Merged

squid-protocol merged 4 commits into
mainfrom
fix/4658-sqlcode-null-date

Conversation

@squid-protocol

Copy link
Copy Markdown
Owner

Fixes #4658. Stacked on #4660 — merge that first.

DetSql mapped the IBM JDBC driver's client-side -4220 (conversion error on an unset, non-date host variable) straight into SQLCA. Db2 never returns -4220 to an embedded-SQL program: the server's verdict, on Db2 LUW and z/OS alike, is -180 / SQLSTATE 22007 (string is not a valid datetime value). DetSql now maps -4220 to -180/22007; other driver errors are unchanged. Recorded as oracle_assumptions Q1b.

  • Test: test_sql_faults (DetSql maps -4220, passes -803 through).
  • cbsa-xfrfun det PROVES (27 scenarios); entry removed from det_sweep_baseline.json. The 17 other ports whose DetSql copy changed re-proved (det_port.py run): all PROVED.
  • evidence_report refreshed; test_evidence, test_evidence_report, evidence_report --check pass. pr_gates --fast 5/5, --ratchets 7/7 (0 skipped).

🤖 Generated with Claude Code

squid-protocol and others added 3 commits October 7, 2026 21:40
…part from spaces in the COMMAREA (#4635)

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Comment thread tests/tools/equivalence_cics.py Fixed
@github-actions

github-actions Bot commented Oct 8, 2026

Copy link
Copy Markdown
Contributor

🐦‍⬛ Muninn Security Scan

✅ No security issues found.

🐦‍⬛ Powered by Muninn · Skald Lab

Conflict: equivalence_cics.compare_task_sysout takes main's (#4660's own
change). det_sweep_baseline.json keeps this PR's removal of cbsa-xfrfun
(git's merge silently restored main's entry). Evidence reports
regenerated (evidence_report.py --refresh).

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01MQNoe4wPJgr7dbUvs3DG6D
@squid-protocol
squid-protocol marked this pull request as ready for review October 8, 2026 17:41
@squid-protocol
squid-protocol merged commit 31ddcab into main Oct 8, 2026
37 checks passed
@squid-protocol
squid-protocol deleted the fix/4658-sqlcode-null-date branch October 8, 2026 17:41
squid-protocol added a commit that referenced this pull request Oct 8, 2026
Conflict in Gen's COMPUTE: keep #4685's p_scaled_expr refusal (first)
and this PR's ARITHMETIC-OSVS plan around the expression.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01MQNoe4wPJgr7dbUvs3DG6D
squid-protocol added a commit that referenced this pull request Oct 8, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

cbsa-xfrfun det port: SQLCODE -4220 where GnuCOBOL/Db2 gives -180 on a null-date update (to-null-date-* scenarios)

2 participants