Skip to content

test: date part 590's clean-exit arm; its counter-restore arm cannot be dated (#1236) - #1320

Merged
jdatcmd merged 1 commit into
mainfrom
test/1236-part-590-rest
Oct 13, 2026
Merged

jdatcmd merged 1 commit into
mainfrom
test/1236-part-590-rest

Conversation

@jdatcmd

@jdatcmd jdatcmd commented Oct 13, 2026

Copy link
Copy Markdown
Collaborator

The last two never-red checks in part 590, after #1313. This is a ledger-only change.

check mutation, on 15–19 outcome
every clean exit in a declared suite reaches its summary first ttl_expire.sh gains [ -n "${PGC_NEVER_SET_1236:-}" ] && exit 0 before pgc_summary red on all five (got [1] want [0]); dated
the suite's own counters are restored after every driving block block 1's _da_put "$_da_sv" removed red on all five (got [no yes yes]), but not datable

Why the second can't be dated. The defect the check detects corrupts the run's own counters. The log then shows 1223 records against checks run: 30, and pgc_ledger merge refuses it ("the log does not reconcile with itself, so it is not evidence"). That refusal is correct, and any real failure of the restore does the same. So it stays never, and the budget explains why, so the #1236 reading list doesn't keep re-raising it.

Ledger:

🤖 Generated with Claude Code

…be dated (#1236)

The two never-red checks left in part 590 after #1313. A declared suite
gaining a clean exit 0 that skips pgc_summary reddens 'every clean exit in
a declared suite reaches its summary first' on all five majors; merged with
--mutation and --target. Census 1684 -> 1683.

Removing one of the part's counter restores reddens 'the suite's own
counters are restored after every driving block' on all five majors too,
but it corrupts the run's own accounting (1223 records against 'checks run:
30'), and pgc_ledger merge refuses such a log as evidence. Any real failure
of the restore does the same, so that arm stays never, and the budget says
why. The m590e logs predate #1313's renames; the three old-name rows they
carried back were removed, orphan-scan clean.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

@OffgridwithJD OffgridwithJD left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Approved at 9e91089. Checked row by row against 953c192:

  • 1984 rows, keys unchanged. Exactly one row changed: every clean exit in a declared suite reaches its summary first, from never to 2026-10-13, dated by the injected-exit mutation.
  • never 1684 → 1683, matching the budget. No premise touched.

On the counter-restore arm: agreed that it can't be dated. A mutation that breaks what the arm detects also breaks the log's self-reconciliation, so merge correctly refuses that log as evidence. Recording that in the budget is the right place.

🤖 Generated with Claude Code

@jdatcmd
jdatcmd merged commit c0ee868 into main Oct 13, 2026
15 checks passed
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.

2 participants