nx_vesicle.nx
buildroot/runtime/nx_vesicle.nx
about
nx_vesicle.nx -- typed payload edge between cells.
Biology: vesicles are membrane-bound packets that transport
cargo between cells (or between organelles). Nishi vesicle is
the inter-cell message primitive: cell A produces a payload,
wraps it in a vesicle (with methyl-seal of the originator),
sends to cell B; B unwraps + verifies + processes.
Per [[feedback-pathway-tropism-block-composition-location-agnostic]]:
pathway edges are vesicles. Per Captain Moroni: every inter-cell
message carries methyl seal so the receiver knows it's from a
substrate-self peer, not a forgery.
Composes:
nx_cell -- vesicles transit between cells
nx_methyl -- vesicle's authenticity proof
nx_brane -- receiving brane checks CAP_PEER_MESSAGE
nx_pathway -- pathway edges are typed vesicle channels
nx_provenance_chain -- vesicle send/recv are transforms
dependencies 3 imports · 2 importers
imports: nx_syscalls.nxnx_tier.nxnx_methyl.nx
imported by: nx_cell_anatomy_compose_test.nxnx_vesicle_test.nx
structs
| 42 | struct NxVesicle |
consts
| 25 | const NX_VES_OK: nx_int = 0 |
| 26 | const NX_VES_ERR_BAD_MARK: nx_int = 1 |
| 27 | const NX_VES_ERR_BAD_KIND: nx_int = 2 |
| 33 | const NX_VK_BYTES: nx_int = 0 // opaque byte buffer |
| 34 | const NX_VK_TENSOR: nx_int = 1 // *NxTensor handle |
| 35 | const NX_VK_PROVENANCE: nx_int = 2 // *NxProvenanceLink for chaining |
| 36 | const NX_VK_ANTIBODY: nx_int = 3 // detection signature |
| 37 | const NX_VK_DECOY_TOKEN: nx_int = 4 // tripwire token to share |
| 38 | const NX_VK_HUNT_REPORT: nx_int = 5 // kill announcement to peers |
| 39 | const NX_VK_GATHER_REPORT: nx_int = 6 // harvest announcement |
| 40 | const NX_VK_N_KINDS: nx_int = 7 |
functions
| 53 | func nx_vesicle_kind_is_known(k: nx_int) -> nx_int called by 1: main |
| 59 | func nx_vesicle_seal(from_cell_id: nx_int, |
| 86 | func nx_vesicle_verify(v: *NxVesicle, |
| 102 | func nx_vesicle_ack(v: *NxVesicle) -> nx_int |
| 107 | func nx_vesicle_is_delivered(v: *NxVesicle) -> nx_int |
| 111 | func nx_vesicle_payload_kind(v: *NxVesicle) -> nx_int called by 1: main |