Skip to content

XL-0-CITE follow-up: key prose-citation retirement by qualified identity (review 58234 repairs to merged #9940) #9958

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
gunbai-bot merged 15 commits into from
Sep 1, 2026
Merged

XL-0-CITE follow-up: key prose-citation retirement by qualified identity (review 58234 repairs to merged #9940) #9958

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
5d4a395
DESIGN.md listed a retired rung drop as standing: derive the list fro…
Sep 1, 2026
3fd86d0
Merge remote-tracking branch 'origin/main' into session/gentle-bear-446
Sep 1, 2026
ed2f285
XL-0-CITE: the prose sweep's dangling citations are accruing, and the…
Sep 1, 2026
803fa76
Dissolve the RungDropStanding -> Bool accessor into its one consuming…
Sep 1, 2026
47e7859
Merge remote-tracking branch 'origin/main' into session/gentle-bear-446
Sep 1, 2026
de24839
Merge origin/main into session/gentle-bear-446
Sep 1, 2026
4a14b72
XL-0-CITE: the dangling-citation population gets a producer, not a nu…
Sep 1, 2026
546f2ad
Enrol the prose-citation census witness in the required floor, so its…
Sep 1, 2026
c88e454
Record the operator scaffold admission in the carrier, with its scope…
Sep 1, 2026
1b592d5
review 58228 / 58234: key retirement by qualified identity, and split…
Sep 1, 2026
55e554f
Merge origin/main (which carries #9940 squashed) into session/gentle-…
Sep 1, 2026
06a569b
Record the admitted shape of the witness beside the controls it const…
Sep 1, 2026
5f9700e
review 58279: the census's own witness was citing a field this PR ret…
Sep 1, 2026
d1ae0c0
Refuse when the baseline module read is partial, instead of reading i…
Sep 1, 2026
3e00e31
Close the baseline side of the same class: read a match line into fou…
Sep 1, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading