Bootstrap a new PAP image with free-tree and system domains
Summary
Нужно переосмыслить и формализовать процедуру create() так, чтобы новый ПАП создавался как
минимально самоописанная persistent environment, а не как “просто память с одним free block”.
Why
Сейчас при create() уже создаётся manager header и первый свободный блок, который становится корнем free-tree.
Это хорошее начало, но в целевой модели при инициализации должны возникать не только технические allocator-структуры,
а минимальная forest-среда:
- root/domain registry;
- free-tree как главное дерево свободного ПАП;
- базовый словарь символов;
- системные имена/типы/домены.
Это критично для самоописательности и для будущей интеграции с pjson_db/pjsonAVM.
Scope
Определить и реализовать canonical bootstrap sequence:
- Создать manager header.
- Создать первый свободный блок и главное free-tree.
- Создать forest/domain registry.
- Создать базовый symbol dictionary.
- Зарегистрировать системные домены, минимум:
- Завести минимальные системные имена.
- Зафиксировать invariant того, что freshly created PAP уже семантически описан самим собой.
Также нужно документировать:
- какие блоки создаются при bootstrap;
- какие из них считаются системными;
- как проверяется их целостность при
load().
Out of scope
- пользовательские forest domains;
pjson_db catalogs;
- path traversal верхнего уровня.
Acceptance criteria
- Новый image после
create() содержит не только free-tree, но и system registry/symbol domain.
- Минимальный bootstrap полностью deterministic.
load() корректно восстанавливает систему доменов.
- Документация bootstrap-последовательности включена в repo.
Dependencies
Issue #3, Issue #4.
Bootstrap a new PAP image with free-tree and system domains
Summary
Нужно переосмыслить и формализовать процедуру
create()так, чтобы новый ПАП создавался какминимально самоописанная persistent environment, а не как “просто память с одним free block”.
Why
Сейчас при
create()уже создаётся manager header и первый свободный блок, который становится корнем free-tree.Это хорошее начало, но в целевой модели при инициализации должны возникать не только технические allocator-структуры,
а минимальная forest-среда:
Это критично для самоописательности и для будущей интеграции с
pjson_db/pjsonAVM.Scope
Определить и реализовать canonical bootstrap sequence:
Также нужно документировать:
load().Out of scope
pjson_dbcatalogs;Acceptance criteria
create()содержит не только free-tree, но и system registry/symbol domain.load()корректно восстанавливает систему доменов.Dependencies
Issue #3, Issue #4.