A module declares the data it holds; protection and D13 derived from it (hq ADR 0233) #88

Merged

mesh-admin merged 2 commits from feat/a-module-declares-the-data-it-holds into main

2026-10-06 15:00:53 +00:00

Author	SHA1	Message	Date
jochen	abf9125689	Measure each item its own way; never compare a partial size (hq ADR 0233) A walk over a large library every hour loads the array that protects it. An item now says how it is measured — a bounded daily walk, a dataset's counters, or its top level only — and a size that is a lower bound is kept as such and never read as a shrink.	2026-10-06 17:00:22 +02:00
jochen	52af210e47	Derive data protection from a module's declared data (hq ADR 0233) A module's data section says what it keeps and how precious it is; the backup holder's lines, binding stickiness, retirement on unassign and D13's conditions follow from it, so issue 273's empty replacement is said and an unassigned module's data is remembered, not forgotten.	2026-10-06 16:47:49 +02:00

Author

SHA1

Message

Date

jochen

abf9125689

Measure each item its own way; never compare a partial size (hq ADR 0233)

A walk over a large library every hour loads the array that protects it. An item now says how it
is measured — a bounded daily walk, a dataset's counters, or its top level only — and a size that
is a lower bound is kept as such and never read as a shrink.

2026-10-06 17:00:22 +02:00

jochen

52af210e47

Derive data protection from a module's declared data (hq ADR 0233)

A module's data section says what it keeps and how precious it is; the backup holder's lines,
binding stickiness, retirement on unassign and D13's conditions follow from it, so issue 273's
empty replacement is said and an unassigned module's data is remembered, not forgotten.

2026-10-06 16:47:49 +02:00