Skip to content

hestia://scope/<id>: state what is known for an id not in the list, never 'may have aged out' - #538

Merged
dp-web4 merged 2 commits into
mainfrom
cbp/scope-pointer-no-aged-out-guess
Oct 26, 2026
Merged

hestia://scope/<id>: state what is known for an id not in the list, never 'may have aged out'#538
dp-web4 merged 2 commits into
mainfrom
cbp/scope-pointer-no-aged-out-guess

hestia://scope: a bounded list cannot prove nothing waits under an ab…

cd2466d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar