LE: model CEEGMTO / CEEUTCO, the offset from GMT (Part of #5003)

[squid-protocol]

Part of #5003 (siblings of #4949, register L6). First unchecked item: CEEUTCO / CEEGMTO.

Change. CEEGMTO / CEEUTCO (one service, two names) now translate: hours 0, minutes 0, seconds 0.0, success feedback code. The time-zone decision follows L6 assumption (1), which already pins the det clock and the oracle's clock to GMT (+0000), so the offset is zero. Recorded as ASSUMED in L6; no zone table.

• det/cobolrt/le/Ceegmto.java (both names map to it), gen.py LIBRARY / LIBRARY_FLOATS (seconds is COMP-2, arg 2), C twin in tests/equivalence/le/le_time.c, vectors + Java/C byte-for-byte probe + wiring tests in test_det_le_time.py, L6 page.

Class table (LE date/time services).

member	status
CEEGMTO, CEEUTCO	modelled here (assumed zero offset)
CEESECI, CEEDYWK, CEESCEN, CEEFMDA/T/V, null pictures, CEE2526/2527	still refused by name; no burned program calls any (grep of the six burned estates: none)

Evidence. No burned program calls CEEGMTO/CEEUTCO, so the proof is the model table (C twin vs Java, byte-identical) only; IBM argument order from the LE reference.

Gates. test_det_le_time + test_det_crecust_rest: 144 passed; audit_check.py all clear; pr_gates.py --ratchets: 8 pass, 0 fail, 0 skipped. No golden bless (no scanned parsing logic changed).

Sibling gaps. CEESECI (needs 9-arg COMP-2 path), CEEDYWK, CEESCEN (shared century window state read by CEEQCEN/CEESECS YY), CEEFMDA/T/V + null pictures (country-default table, IBM leaves contents open), CEE2526/2527 (C model cannot see output size). None has a burned consumer.

🤖 Generated with Claude Code

[squid-protocol]

No description provided.

[github-actions]

🐦‍⬛ Muninn Security Scan

✅ No security issues found.

🐦‍⬛ Powered by Muninn · Skald Lab

[squid-protocol]

No description provided.

[squid-protocol]

PR #5417 @ 9fb4d71: 3 failed check(s)

== db2 1/4 (failure) -- infra
https://github.com/squid-protocol/gitgalaxy/actions/runs/39103321860/job/117604447879
repro: tests/tools/box/heavy-run.sh python tests/tools/proof_sweep.py --det-only --db2-only --cases --work /tmp/gitgalaxy-scratch/ci-digest/sweep
errors:
fail-on-cache-miss: false
Traceback (most recent call last):
equivalence_db2.Db2ImagePullError: INFRASTRUCTURE (not a code defect): could not pull the pinned Db2 image icr.io/db2_community/db2@sha256:2de8151713c261843868c5c3411b57be6ae79d99d70a5b3022337836776bfda6 after 4 attempts: docker pull -q icr
##[error]the background Db2 start did not finish
##[error]Process completed with exit code 1.
log tail:
Python3_ROOT_DIR: /opt/hostedtoolcache/Python/3.12.15/x64
LD_LIBRARY_PATH: /opt/hostedtoolcache/Python/3.12.15/x64/lib
GITGALAXY_ORACLE_PREBUILT: 1
DB2_JOBS: 4
GITGALAXY_DB2_POOL: 4
JAVA_HOME: /opt/hostedtoolcache/Java_Temurin-Hotspot_jdk/17.0.20-1/x64
JAVA_HOME_17_X64: /opt/hostedtoolcache/Java_Temurin-Hotspot_jdk/17.0.20-1/x64
MAVEN_ARGS: -ntp
##[endgroup]
Multiple search paths detected. Calculating the least common ancestor of all paths
The least common ancestor is /home/runner/work/_temp. This will be the root directory of the artifact
With the provided path, there will be 1 file uploaded
Artifact name is valid!
Root directory input is valid!
Uploading artifact: det-sweep-db2-logs-0.zip
Beginning upload of artifact content to blob storage
Uploaded bytes 642
Finished uploading artifact content to blob storage!
SHA256 digest of uploaded artifact is 8ce1c09aad9577ad5ba36d85079ea4361050c8523bf2fdf7846843950ad82e90
Finalizing artifact upload
Artifact det-sweep-db2-logs-0 successfully finalized. Artifact ID 12127324621
Artifact det-sweep-db2-logs-0 has been successfully uploaded! Final size is 642 bytes. Artifact ID is 12127324621
Artifact download URL: https://github.com/squid-protocol/gitgalaxy/actions/runs/39103321860/artifacts/12127324621
Post job cleanup.
Post job cleanup.
[command]/usr/bin/git version
git version 2.55.0
Temporarily overriding HOME='/home/runner/work/_temp/48e074b6-fd30-4b8f-af59-5705bd81c827' 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

== ground-truth (failure) -- real
https://github.com/squid-protocol/gitgalaxy/actions/runs/39103321870/job/117608233640
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:
Commit: f3dc54e1fb89da6852db922499a0233137369e1d
Build Date: 2026-10-12T17:48:21Z
Worker ID: {8cffe22d-9b61-4660-b669-2aeb9c2e8d8b}
Region: centralus
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 parts: $PARTS (tested-tree skip: $SKIP, plan mode: $MODE)"
echo "ground-truth 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.
test "$PARTS" = "success" || { test "$PARTS" = "skipped" && { test "$SKIP" = "true" || test "$MODE" = "none"; }; }
shell: /usr/bin/bash -e {0}
env:
PARTS: failure
SKIP:
MODE: full
##[endgroup]
ground-truth parts: failure (tested-tree skip: , plan mode: full)
##[error]Process completed with exit code 1.
Cleaning up orphan processes

== ground-truth part 1/2 (failure) -- real
https://github.com/squid-protocol/gitgalaxy/actions/runs/39103321870/job/117605835573
repro: python -m pytest -q tests/cobol_mainframe/test_cobolrt_rules.py::test_the_catalogue_covers_every_runtime_file_and_family tests/cobol_mainframe/test_cobolrt_rules.py::test_the_catalogue_matches_the_runtime
failing tests: tests/cobol_mainframe/test_cobolrt_rules.py::test_the_catalogue_covers_every_runtime_file_and_family tests/cobol_mainframe/test_cobolrt_rules.py::test_the_catalogue_matches_the_runtime
errors:
fail-on-cache-miss: false
E AssertionError: assert ['le/Ceegmto....family lists'] == []
tests/cobol_mainframe/test_cobolrt_rules.py:88: AssertionError
E AssertionError: assert {'Accept.java...ve.java', ...} == {'Accept.java...ve.java', ...}
tests/cobol_mainframe/test_cobolrt_rules.py:94: AssertionError
FAILED tests/cobol_mainframe/test_cobolrt_rules.py::test_the_catalogue_matches_the_runtime - AssertionError: assert ['le/Ceegmto....family lists'] == []
FAILED tests/cobol_mainframe/test_cobolrt_rules.py::test_the_catalogue_covers_every_runtime_file_and_family - AssertionError: assert {'Accept.java...ve.java', ...} == {'Accept.java...ve.java', ...}
##[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-1.zip
Beginning upload of artifact content to blob storage
Uploaded bytes 85320
Finished uploading artifact content to blob storage!
SHA256 digest of uploaded artifact is 32b5d3f3a4db31a8f462849cbd63ac4573a0118030d906e5f281225f72aa1ae2
Finalizing artifact upload
Artifact test-times-ground-truth-part-1 successfully finalized. Artifact ID 12127872198
Artifact test-times-ground-truth-part-1 has been successfully uploaded! Final size is 85320 bytes. Artifact ID is 12127872198
Artifact download URL: https://github.com/squid-protocol/gitgalaxy/actions/runs/39103321870/artifacts/12127872198
Post job cleanup.
[command]/usr/bin/git version
git version 2.55.0
Temporarily overriding HOME='/home/runner/work/_temp/cc6869c5-8aee-460d-9847-efcb42ad5260' 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]

CI shepherd: the head of this PR (a6bf4cd) 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.