> would be helpful to import these port numbers or at least specify them as manifest constants with docs on their purpose _Originally posted by @turadg in https://github.com/Agoric/agoric-3-proposals/pull/312#discussion_r3132542950_
Originally posted by @turadg in #312 (comment)