refactor(core): project and package are equipotent consumers — one view, one code path

refactor(packages): no snippet presupposes the WAL — fragments, unbundle, scope clause

feat(boot): the installed: predicate, snippet fragments, and the presupposition gate

docs(spec): PROP-049 — the snippet genre; the layer law becomes global

docs(spec): PROP-048 — tokenomics is a design law; STATIC declared as the cache-stable prefix

fix(facts): scope configuration comes home — facts.toml, not progress.toml

docs(spec): ##BOUNDARY-CLI flips landed; B-100 closes

feat(cli): the lint follows the boundary — `vibe facts check`, the alias, B-100

chore(lock): the install-cycle residue rides the split landing

refactor(spec): the facts/progress boundary — PROP-043 splits into two homes

docs(spec): ##STATIC-FOLLOWS-THE-TARGET flips landed — the lane follows the format

chore(boot): the host's static lane re-lands as STATIC.xml

feat(boot): the STATIC lane obeys the materialisation format — STATIC.xml is born

docs(spec): PROP-046 flips landed — ten facts to their terminal statuses

feat(facts): W3 — lifecycle closes the registry: clean, the uninstall dialog, report

feat(facts): W2 — the registry becomes a derivation input; slots re-derive on set

feat(facts): W1 — the adoption-facts registry, `vibe facts`, and the L2 gate

docs(spec): PROP-046 — the adoption-facts registry, and STATIC obeys the target format

docs(spec): the facts-group law lands judged — <facts> at specdoc/4, sweep 9/9

chore(vibedeps): the host re-materialises at specdoc/4 — <facts> groups live

feat(specdoc): the all-fact list gains its own vocabulary word — <facts>

chore(vibedeps): the five engine slots refresh after the facts-module split

docs(spec): §5a measured — 36/36, the XML−MD delta is zero on every lane and tier

refactor(specmap-engine): the fact machinery splits into xmlspec/facts — the 600-line seam

chore(specmap): the map absorbs the parity-family units

refactor(vibe-spec): the S4b normal-closure family moves whole to the parity module — the 600-line seam

docs(spec): PROP-045 — the named-tags transition and inheritance parity flip to impl/done, judged and sealed

test(boot): the loader pins carry the final fact syntax — named-shape snippet in the static splice, three-lane normal closure

docs(spec): PROP-045 — the inheritance-parity clause (owner verbatim): B-011 machinery must be format-blind, pinned by twins

docs(spec): PROP-045 — the boot-lane clause joins the named-elements ruling (owner verbatim)

feat(vibe-specdoc): sections serialise by their anchors — <three-bands>, not an endless <section> river (owner ruling)

docs(spec): PROP-045 — named fact elements with the fact=true discriminator (owner ruling verbatim); recipe path specdoc/3

feat(project): vibevm eats its own XML — the host pins spec_format = xml and re-materialises (scenario zero, live)

fix(tests): the polygon's two spec citations use the real fact anchors — the resolve gate earns its keep

chore(specmap): absorb the S5 landing's line moves

fix(vibe-core): the spec_format doctest imports its enum — the S3 slice's one uncompiled example

fix(gate): name the S3 ratchet raise — vibedeps/derived.rs is the derived manifest's own serde

feat(vibe-cli): the polygon is green — scenario zero and all three mixed targets on the real redbook (XML S5)