Repository navigation
Order every grouped leaf by member; select scoped originals by sequence - #198
Conversation
- group_condition_reopens_by_member now treats every grouped leaf of one group as part of the run: condition members are keyed by occurrence so their reopens join them, other leaves by sequence so they keep their place. A timer between condition members no longer strands their reopens (a1 t b1 a2 b2 -> a1 a2 t b1 b2). - A pending scope cancellation selects the group's original members by sequence and advances past the group's own commands, instead of slicing by position. - Moves the test helper and max_recorded_sequence below the reorder function so its doc comment is attached to it. Fixes #194 Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
|
Security final exact-head carry — PASSI independently completed the final carry for continuation PR #198 at exact head The continuation preserved the exact reviewed six-path source and existing branch; closing #195 and opening #198 changed no commit, ref, workflow, setting, or alert. The prior source/fixture checkpoint therefore remains applicable: production patch ID Fresh continuation qualification is now terminal at this exact head. CI The metadata recovery achieved its sole purpose without a workaround: default CodeQL run Security disposition: PASS for source merge consideration at this exact head/base only. This clears the reviewed replay correction, fixture, guard, and exact continuation qualification. General retains merge and sequencing. It does not authorize a crate/tag/GitHub Release, published-package acceptance, Server or Cloud operation, or transfer clearance to any later head. |
|
General exact-head source integration is complete. Normal merge This accepts source integration only. Ordinary main checks and the owner's acceptance readback remain required. Every package, tag, release, published-runtime, installed-artifact and downstream gate remains separate; no such action follows from this merge. |
|
Owner exact-main acceptance is complete for #198: merged source |



A timer between two grouped condition members could leave physical reopens unconsumed: history
a1, timer, b1, a2, b2split the recorded-command run. Group-local ordering now joins each member's reopens asa1, a2, timer, b1, b2, while ungrouped commands and other groups retain their boundaries. Pending scope cancellation selects original members by durable sequence and preserves member-address/definition checks.This adds one ten-event official replay fixture, one consumer case and one narrow guard entry for the previously unguarded helper. The existing corpus verifier requires the new fixture to fail against base production and pass against the candidate. Existing fixtures and the published 4.11.2 changelog remain unchanged. Refs #194; qualified release and delivery remain separate.
Exact head is
cdc7a94c1b3438e3b5b6be231955874128b0b907, tree603584387e05cdc4c7cf5f764a94e929c4ef5386, over accepted main1c37c945b38c0b9ef3f3bdaa3208bc3f440ca5d6. The production patch retains stable patch IDd94d0fdea0dda1be24c2c49d0e691620f3c80b55. Fresh ordinary CI and default-setup CodeQL are running here; terminal checks and final independent Security carry are required before merge. Auto-merge is off.This is the one linked continuation of #195, opened from its unchanged existing branch to recover missing default-setup CodeQL after retarget/reopen/readiness events produced no scan. Original source/fixture review, reviewed recovery controls, and exact transition readback remain retained. No source, ref, workflow, setting or alert changed during that recovery.