G-bnd: release bounds path evidence (partial)¶

See bounds-release-path.md and G-bnd row in provability-gaps.md.