[squid-protocol]

Part of #4507 (slice 2: cbsa-bnk1uac-generated, same shape as #5558).

Checklist: partial -- the update screen runs on generated rows with every event and SQL statement equal, but the java-facade leg of the report refuses BNK1UAC, so the case is not "proven" (see below)

What

cbsa-bnk1uac-generated (port_from: cbsa-bnk1uac): 30 ACCOUNT rows generated from the CBSA DDL, 50 generated scenarios (ENTER inquiries, PF5 updates, a few PF3/PA1) plus the 7 stateless stated ones. ACCNO drawn from the rows (15% miss); type, rate, overdraft and last/next statement dates drawn from values lists lifted from the hand-written scenarios (valid, boundary, refused). No four-decimal rate (bounds_refused: BNK1UAC reference-modifies INTRTI past its 7 bytes). compare_sql on; ACCOUNT and PROCTRAN compared after every task.

Evidence (EQUIVALENCE_E2E=1, Docker Db2 + GnuCOBOL, JDK 17)

• 61 scenarios, 61/61 with every event equal, no diffs; 50 generated scenarios, 21 statements (SELECT and UPDATE), all equal on both sides.
• Paragraphs 31/31 live, branches 68/88 (hand-written case: 75/88).
• proven: false: the java-facade leg refuses every scenario ("the task RETURNed a [B, not Bnk1uacDfhcommarea (a LENGTH past its DTO ...)"). The hand-written cbsa-bnk1uac gives the same refusal (re-run here, DIFFERS, and it has no det_sweep_coverage entry), so it is not caused by generated rows. The test therefore asserts events, SQL and the UPDATE, not proven; no proof was loosened. No coverage ledger entry is added (the ledger holds proven cases only). No mutation run (needs a proven case).
• The sibling test test_the_inqacccu_det_port_holds_on_generated_db2_rows fails in the same E2E run (assert at line 302); not touched here.
• Gates: pr_gates --fast 6/6; tree-wide guards 178 passed. --ratchets not run (no engine/golden/ledger change).

Class

Class: a CBSA BMS screen case on a hand-written seed.sql and fixed inputs -> generated rows and scenarios. This PR: BNK1UAC. Not here: bnk1cac, bnk1cca, bnk1ccs, bnk1dcs, bnk1tfn (multi-table CUSTOMER/ACCOUNT FKs for the creating ones).

Cross-repo

None.

🤖 Generated with Claude Code

[squid-protocol]

No description provided.

[squid-protocol]

PR #5569 @ 958ca14: 1 failed check(s)

== det (failure) -- real
https://github.com/squid-protocol/gitgalaxy/actions/runs/39197069644/job/117883483215
repro: tests/tools/box/heavy-run.sh python tests/tools/proof_sweep.py --det-only --skip-db2 --cases cbsa-bnk1uac-generated,cbsa-bnk1uac-generated: --work /tmp/gitgalaxy-scratch/ci-digest/sweep
det cases not proven: cbsa-bnk1uac-generated,cbsa-bnk1uac-generated:
errors:
det cbsa-bnk1uac-generated NOT PROVEN proven on 61 scenarios, covering 31/31 paragraphs and 68/88 branches
det cbsa-bnk1uac-generated: NOT PROVEN (proven on 61 scenarios, covering 31/31 paragraphs and 68/88 branches); a new failure: fix it, or (only with its true cause and issue) add it to tests/equivalence/det_sweep_baseline.json
##[error]Process completed with exit code 1.
log tail:
compression-level: 6
overwrite: false
include-hidden-files: false
archive: true
env:
pythonLocation: /opt/hostedtoolcache/Python/3.12.15/x64
PKG_CONFIG_PATH: /opt/hostedtoolcache/Python/3.12.15/x64/lib/pkgconfig
Python_ROOT_DIR: /opt/hostedtoolcache/Python/3.12.15/x64
Python2_ROOT_DIR: /opt/hostedtoolcache/Python/3.12.15/x64
Python3_ROOT_DIR: /opt/hostedtoolcache/Python/3.12.15/x64
LD_LIBRARY_PATH: /opt/hostedtoolcache/Python/3.12.15/x64/lib
##[endgroup]
With the provided path, there will be 123 files uploaded
Artifact name is valid!
Root directory input is valid!
Uploading artifact: det-sweep-ledger.zip
Beginning upload of artifact content to blob storage
Uploaded bytes 98337
Finished uploading artifact content to blob storage!
SHA256 digest of uploaded artifact is ebe97e578dd327a9d2dc35ac57b1a36ad9858a2d5557d4f82d8a5da8b947fdd2
Finalizing artifact upload
Artifact det-sweep-ledger successfully finalized. Artifact ID 12162302103
Artifact det-sweep-ledger has been successfully uploaded! Final size is 98337 bytes. Artifact ID is 12162302103
Artifact download URL: https://github.com/squid-protocol/gitgalaxy/actions/runs/39197069644/artifacts/12162302103
Post job cleanup.
[command]/usr/bin/git version
git version 2.55.0
Temporarily overriding HOME='/home/runner/work/_temp/59f4475c-f06a-45d4-8b4a-1623973cb663' before making global git config changes
Adding repository directory to the temporary git global config as a safe directory
[command]/usr/bin/git config --global --add safe.directory /home/runner/work/gitgalaxy/gitgalaxy
Removing SSH command configuration
[command]/usr/bin/git config --local --name-only --get-regexp core.sshCommand
[command]/usr/bin/git submodule foreach --recursive sh -c "git config --local --name-only --get-regexp 'core.sshCommand' && git config --local --unset-all 'core.sshCommand' || :"
Removing HTTP extra header
[command]/usr/bin/git config --local --name-only --get-regexp http.https://github.com/.extraheader
[command]/usr/bin/git submodule foreach --recursive sh -c "git config --local --name-only --get-regexp 'http.https://github.com/.extraheader' && git config --local --unset-all 'http.https://github.com/.extraheader' || :"
Removing includeIf entries pointing to credentials config files
[command]/usr/bin/git config --local --name-only --get-regexp ^includeIf.gitdir:
[command]/usr/bin/git submodule foreach --recursive git config --local --show-origin --name-only --get-regexp remote.origin.url
Cleaning up orphan processes

[squid-protocol]

CI shepherd: the head of this PR (aebec07) is not the one a maintainer labelled shepherd:merge on (new commits, or never approved), so the label was removed and nothing merges unreviewed code. Re-add the label when the new head is ready (shepherd:reapprove marks this PR until then).

[squid-protocol]

No description provided.

[squid-protocol]

No description provided.

[squid-protocol]

PR #5569 @ aebec07: 2 failed check(s)

== ground-truth (failure) -- real
https://github.com/squid-protocol/gitgalaxy/actions/runs/39199117469/job/117895622868
repro: python tests/tools/pr_gates.py --ratchets --only-ratchets ground-truth (when a ground-truth part failed too, run that part's repro)
errors:
##[error]Process completed with exit code 1.
log tail:
Worker ID: {02972617-1267-487b-9c21-ab76e751b569}
Region: westus3
Cloud: Azure
##[endgroup]
##[group]Operating System
Ubuntu
24.04.5
LTS
##[endgroup]
##[group]Runner Image
Image: ubuntu-24.04
Version: 20261012.334.1
Included Software: https://github.com/actions/runner-images/blob/ubuntu24/20261012.334/images/ubuntu/Ubuntu2404-Readme.md
Image Release: https://github.com/actions/runner-images/releases/tag/ubuntu24%2F20261012.334
##[endgroup]
##[group]GITHUB_TOKEN Permissions
Contents: read
Metadata: read
##[endgroup]
Secret source: Actions
Cache mode: write
Prepare workflow directory
Prepare all required actions
Complete job name: ground-truth
##[group]Run echo "ground-truth warm: $WARM, parts: $PARTS (tested-tree skip: $SKIP, plan mode: $MODE)"
echo "ground-truth warm: $WARM, parts: $PARTS (tested-tree skip: $SKIP, plan mode: $MODE)"
# #4935: "skipped" is a pass only when the gate proved this tree green on the PR; otherwise it is a failure
# #5164: ... or when the plan found no ground-truth input in the PR (mode none). An empty mode is not none.
ok() { test "$1" = "success" || { test "$1" = "skipped" && { test "$SKIP" = "true" || test "$MODE" = "none"; }; }; }
ok "$WARM" && ok "$PARTS"
shell: /usr/bin/bash -e {0}
env:
WARM: success
PARTS: failure
SKIP:
MODE: full
##[endgroup]
ground-truth warm: success, parts: failure (tested-tree skip: , plan mode: full)
##[error]Process completed with exit code 1.
Cleaning up orphan processes

== ground-truth part 3/4 (failure) -- real
https://github.com/squid-protocol/gitgalaxy/actions/runs/39199117469/job/117889602886
repro: python -m pytest -q tests/cobol_mainframe/
errors:
fail-on-cache-miss: false
FAIL tests/cobol_mainframe/test_det_mq.py::test_the_runtime_is_the_oracle_model_byte_for_byte: 18.0s is over 15s and has no @pytest.mark.slow(reason=...) and no entry in tests/test_time_baseline.json
##[error]Process completed with exit code 1.
log tail:
archive: true
env:
GITGALAXY_LICENSE_KEY: COMMUNITY_FREE_TIER
GITGALAXY_MAINFRAME_CORPORA: /home/runner/work/gitgalaxy/gitgalaxy/.mainframe_corpora
PYTHONUTF8: 1
pythonLocation: /opt/hostedtoolcache/Python/3.12.15/x64
PKG_CONFIG_PATH: /opt/hostedtoolcache/Python/3.12.15/x64/lib/pkgconfig
Python_ROOT_DIR: /opt/hostedtoolcache/Python/3.12.15/x64
Python2_ROOT_DIR: /opt/hostedtoolcache/Python/3.12.15/x64
Python3_ROOT_DIR: /opt/hostedtoolcache/Python/3.12.15/x64
LD_LIBRARY_PATH: /opt/hostedtoolcache/Python/3.12.15/x64/lib
##[endgroup]
With the provided path, there will be 1 file uploaded
Artifact name is valid!
Root directory input is valid!
Uploading artifact: test-times-ground-truth-part-3.zip
Beginning upload of artifact content to blob storage
Uploaded bytes 49347
Finished uploading artifact content to blob storage!
SHA256 digest of uploaded artifact is 6ec6a7d44e520ea6a8c850fab608e4ac09af7c4fc58c3a357ccc9078fa2989e0
Finalizing artifact upload
Artifact test-times-ground-truth-part-3 successfully finalized. Artifact ID 12164017463
Artifact test-times-ground-truth-part-3 has been successfully uploaded! Final size is 49347 bytes. Artifact ID is 12164017463
Artifact download URL: https://github.com/squid-protocol/gitgalaxy/actions/runs/39199117469/artifacts/12164017463
Post job cleanup.
[command]/usr/bin/git version
git version 2.55.0
Temporarily overriding HOME='/home/runner/work/_temp/580d3bf4-64b4-4e30-9a45-717678a9c417' before making global git config changes
Adding repository directory to the temporary git global config as a safe directory
[command]/usr/bin/git config --global --add safe.directory /home/runner/work/gitgalaxy/gitgalaxy/gitgalaxy
Removing SSH command configuration
[command]/usr/bin/git config --local --name-only --get-regexp core.sshCommand
[command]/usr/bin/git submodule foreach --recursive sh -c "git config --local --name-only --get-regexp 'core.sshCommand' && git config --local --unset-all 'core.sshCommand' || :"
Removing HTTP extra header
[command]/usr/bin/git config --local --name-only --get-regexp http.https://github.com/.extraheader
[command]/usr/bin/git submodule foreach --recursive sh -c "git config --local --name-only --get-regexp 'http.https://github.com/.extraheader' && git config --local --unset-all 'http.https://github.com/.extraheader' || :"
Removing includeIf entries pointing to credentials config files
[command]/usr/bin/git config --local --name-only --get-regexp ^includeIf.gitdir:
[command]/usr/bin/git submodule foreach --recursive git config --local --show-origin --name-only --get-regexp remote.origin.url
Cleaning up orphan processes

[squid-protocol]

No description provided.

[squid-protocol]

No description provided.

[squid-protocol]

PR #5569 @ 858dd40: 2 failed check(s)

== full-suite (failure) -- real
https://github.com/squid-protocol/gitgalaxy/actions/runs/39203601445/job/117908851421
repro: python -m pytest -q tests
errors:
##[error]Process completed with exit code 1.
log tail:
Hosted Compute Agent
Version: 20261012.601
Commit: f3dc54e1fb89da6852db922499a0233137369e1d
Build Date: 2026-10-12T17:48:21Z
Worker ID: {c801f9ef-6b43-4d6d-9860-8149f5b45774}
Region: westus
Cloud: Azure
##[endgroup]
##[group]Operating System
Ubuntu
24.04.5
LTS
##[endgroup]
##[group]Runner Image
Image: ubuntu-24.04
Version: 20261012.334.1
Included Software: https://github.com/actions/runner-images/blob/ubuntu24/20261012.334/images/ubuntu/Ubuntu2404-Readme.md
Image Release: https://github.com/actions/runner-images/releases/tag/ubuntu24%2F20261012.334
##[endgroup]
##[group]GITHUB_TOKEN Permissions
Contents: read
Metadata: read
##[endgroup]
Secret source: Actions
Cache mode: write
Prepare workflow directory
Prepare all required actions
Complete job name: full-suite
##[group]Run echo "full-suite parts: $PARTS (tested-tree skip: $SKIP)"
echo "full-suite parts: $PARTS (tested-tree skip: $SKIP)"
# #4935: "skipped" is a pass only when the gate proved this tree green on the PR; otherwise it is a failure
test "$PARTS" = "success" || { test "$PARTS" = "skipped" && test "$SKIP" = "true"; }
shell: /usr/bin/bash -e {0}
env:
PARTS: failure
SKIP:
##[endgroup]
full-suite parts: failure (tested-tree skip: )
##[error]Process completed with exit code 1.
Cleaning up orphan processes

== full-suite part 2/3 (failure) -- real
https://github.com/squid-protocol/gitgalaxy/actions/runs/39203601445/job/117902674373
repro: python -m pytest -q tests
errors:
fail-on-cache-miss: false
FAIL tests/tools/test_combined_alternation_parity.py::test_registry_rules_have_no_missed_candidates_on_keyword_samples: 18.1s is over 15s and has no @pytest.mark.slow(reason=...) and no entry in tests/test_time_baseline.json
##[error]Process completed with exit code 1.
log tail:
env:
PYTHONUTF8: 1
GITGALAXY_LICENSE_KEY: COMMUNITY_FREE_TIER
OMP_NUM_THREADS: 1
pythonLocation: /opt/hostedtoolcache/Python/3.12.15/x64
PKG_CONFIG_PATH: /opt/hostedtoolcache/Python/3.12.15/x64/lib/pkgconfig
Python_ROOT_DIR: /opt/hostedtoolcache/Python/3.12.15/x64
Python2_ROOT_DIR: /opt/hostedtoolcache/Python/3.12.15/x64
Python3_ROOT_DIR: /opt/hostedtoolcache/Python/3.12.15/x64
LD_LIBRARY_PATH: /opt/hostedtoolcache/Python/3.12.15/x64/lib
PYTEST_ADDOPTS: --ignore=tests/cobol_mainframe
##[endgroup]
With the provided path, there will be 1 file uploaded
Artifact name is valid!
Root directory input is valid!
Uploading artifact: test-times-part-2.zip
Beginning upload of artifact content to blob storage
Uploaded bytes 180349
Finished uploading artifact content to blob storage!
SHA256 digest of uploaded artifact is 09a2d5df73b91e55b65c3d1bd95b81a7cf6a499a14f05551588cd5dbbf15c58b
Finalizing artifact upload
Artifact test-times-part-2 successfully finalized. Artifact ID 12165493151
Artifact test-times-part-2 has been successfully uploaded! Final size is 180349 bytes. Artifact ID is 12165493151
Artifact download URL: https://github.com/squid-protocol/gitgalaxy/actions/runs/39203601445/artifacts/12165493151
Post job cleanup.
[command]/usr/bin/git version
git version 2.55.0
Temporarily overriding HOME='/home/runner/work/_temp/5cc342f1-275f-472c-abd7-38493f2b8663' before making global git config changes
Adding repository directory to the temporary git global config as a safe directory
[command]/usr/bin/git config --global --add safe.directory /home/runner/work/gitgalaxy/gitgalaxy
Removing SSH command configuration
[command]/usr/bin/git config --local --name-only --get-regexp core.sshCommand
[command]/usr/bin/git submodule foreach --recursive sh -c "git config --local --name-only --get-regexp 'core.sshCommand' && git config --local --unset-all 'core.sshCommand' || :"
Removing HTTP extra header
[command]/usr/bin/git config --local --name-only --get-regexp http.https://github.com/.extraheader
[command]/usr/bin/git submodule foreach --recursive sh -c "git config --local --name-only --get-regexp 'http.https://github.com/.extraheader' && git config --local --unset-all 'http.https://github.com/.extraheader' || :"
Removing includeIf entries pointing to credentials config files
[command]/usr/bin/git config --local --name-only --get-regexp ^includeIf.gitdir:
[command]/usr/bin/git submodule foreach --recursive git config --local --show-origin --name-only --get-regexp remote.origin.url
Cleaning up orphan processes

[squid-protocol]

No description provided.

[squid-protocol]

No description provided.

[squid-protocol]

No description provided.

[squid-protocol]

No description provided.