dotCooCoo 94c8e472c1 Plug-ins: refreshing deferred effects no longer takes time in the square of the number of stages ...

Effect > Refresh Deferred Effects looked up the objects asked for, the
stages reached, the objects drawn whole and the inputs that ran with
Vec::contains, and counted each target stage by scanning every deferred
record. Asking whether a stage stays deferred and replacing a stage's
records when it runs also scanned every record.

Deferrals::refresh now keeps the objects asked for and the objects drawn
whole in sets, and Refresh's ids, retried, visited and touched and
Pass.ran and seen are sets. The deferred records are kept in a BTreeMap
by the order they were made in, with an index by stage and input key, so
holds, State::remove, settle and the refresh's reconciliation and count
look at the records of the stages concerned only. The targets, counts,
records kept and their order, marks and revision are unchanged.

Docs: docs/target-app-parity.md.

2026-11-11 23:56:57 -08:00

..

example

chore(deps): bump the cargo-patch group across 2 directories with 4 updates

2026-10-31 02:23:04 +07:00

src

Plug-ins: refreshing deferred effects no longer takes time in the square of the number of stages

2026-11-11 23:56:57 -08:00

tests

Plug-ins: only an approval records a grant, and installs need one

2026-11-11 17:35:06 -08:00

Cargo.toml

Plug-ins: the web build times the first-view budget and each run's limit

2026-11-11 03:41:05 -08:00