Repository navigation
evidence: GenApp LGAPDB01 and LGUPDB01 as det ports, java-facade side proven (Part of #6271) - #6684
Merged
Merged
Conversation
…acade side proven (Part of #6271) The model-written ports never reached Db2 through cobolrt.sql.DetSql, so the harness could not fire declared sql_faults on them and the facade run failed (8/15, 6/8). The det translator's own ports pass every scenario both ways: LGAPDB01 14/14 (7/7 paragraphs, 28/31 branches), LGUPDB01 22/22 (9/9, 38/38). The facade baseline is emptied. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
squid-protocol
added
shepherd:merge
Contributor
|
No description provided. |
Contributor
|
No description provided. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Part of #6271 (the harness-gap issue; this slice clears the java-facade items from its sibling report). No checklist key was given.
What changed
The java facade did not fail on the harness: the committed GenApp LGAPDB01 / LGUPDB01 ports were model-written and never reached Db2 through
cobolrt.sql.DetSql, so a scenario's declaredsql_faultscould not fire on them (.hole: "no SQL fault hook"). Their clock text in the no-commarea message also differed. The det translator's own ports (197/197 statements, no holes) are committed instead, withdet-port-provenance/1provenance (service/ only, as COPAUS0C/1C in #6138), andequivalence.py run CASE --recordre-records both.tests/equivalence/facade_baseline.jsonis emptied (the ledger only shrinks). Newtest_genapp_det_ports_facade_6271.pypins the det provenance, the proven facade side and the empty #6271 baseline. The oracle is GnuCOBOL plus our stub, not z/OS.Class / Sibling gaps
Class: a committed equivalence port with no
DetSqlseam cannot take declaredsql_faultson the facade (or runTask) side. Members: genapp-lgapdb01 and genapp-lgupdb01, both handled here. Other model ports with declared sql_faults: none were in the facade baseline; I did not audit unbaselined ones. Mutation (L5) for these two det ports is not re-run here.Gates
pr_gates --fast7/7;--ratchets9 pass, 0 fail, 0 skipped;test_evidence.py49 passed;det_port.py runof both cases PROVED. No engine file changed, so no golden bless.Lessons for agents
<keep>/java/out/<scenario>.hole) is the port, not the harness: swap in the det port (det_port.py run CASE --work DIR, copyDIR/<case>/port/service/*.java, det provenance) and re-record.🤖 Generated with Claude Code