Hyphae vocabulary
Precise words for precise boundaries.
Definitions used across the product, contracts, documentation, and proof model.
- Anchor
- A caller-pinned durable reference used when verifying a result proof.
- Complete result
- A query outcome produced within its declared limits. Hyphae does not return partial rows as successful completion.
- Durable authority
- The append-only log and its accepted format, not the rebuildable embedded index.
- Logical cursor
- A stable continuation boundary derived from the ordered result space rather than an implementation offset.
- Mutation ID
- A caller-visible UUID that makes a put or delete retry durably idempotent.
- Proof-bearing read
- A get or query result accompanied by the material needed for portable verification.
- Snapshot witness
- The complete logical snapshot evidence against which a portable result proof can be reexecuted.
- Explicit abstention
- A retrieval outcome that returns no semantic match when the configured threshold is not met.