This repository was archived by the owner on Aug 20, 2026. It is now read-only.

feat: decompose/flatten over DocumentPackage with the three bijection laws (phase 1) - #3

Merged

Mearman merged 10 commits into

mainfrom

feat/decompose-flatten

Aug 18, 2026

Commits on Aug 18, 2026

feat: define the PackageNode tree types with hand-written structural guards
Mearman
committed
edfbdbd
feat: decompose a DocumentPackage into per-container PackageNode groups
Mearman
committed
5de0871
feat: flatten a package tree back into its exact source ContentDocument
Mearman
committed
443bc18
feat: add the effective-property resolution seam for package trees
Mearman
committed
7373b88
test: pin the bijection laws and the tree shape over a five-kind corpus
Mearman
committed
7645d20
test: exercise decompose, flatten, and effectiveTree inside a workerd isolate
Mearman
committed
9e11c6c
docs: document decompose/flatten, the three laws, and the container boundary
Mearman
committed
3b00ae9
test: pin the package-node discrimination rule with schema and near-miss tests
Mearman
committed
8467555
test: declare the empty-embeddedObjects normalisation the bijection is exact up to
Mearman
committed
7428e9a
docs: drop the hash row the root entry cannot back from the module table
Mearman
committed
b285613