Skip to main content

Crate sim_codec_bridge

Crate sim_codec_bridge 

Source
Expand description

BRIDGE packet line codec for SIM.

This crate provides codec:bridge, a strict reversible text face for one BRIDGE packet per frame. It owns the packet record model, the standard part and move books, content-addressed packet identity, and the ownership checks used by model-facing renderers. It does not run packets, invoke tools, or choose transports.

Structs§

BridgeAttestPayload
Attestation payload citing evidence for a claim.
BridgeBook
A BRIDGE book bundles the part book and move book used for a packet.
BridgeCallArgument
One packed argument in a bridge/Call payload.
BridgeCallPayload
Typed payload for a bridge/Call part.
BridgeCodec
The codec:bridge decoder/encoder.
BridgeCodecLib
Host-registered lib that installs BridgeCodec as codec:bridge.
BridgeEvidencePayload
Evidence payload attached to a collaboration packet.
BridgeFrameBook
Registry of BRIDGE frame specifications.
BridgeFramePayload
Typed payload for a bridge/Frame part.
BridgeHeader
Fixed, fast-scan BRIDGE packet header.
BridgeMoveBook
Registry of legal BRIDGE moves.
BridgeMoveSpec
Registered dialogue move specification.
BridgePacket
One BRIDGE packet, carrying a header, ordered typed parts, and optional warrant.
BridgePart
One typed body part in a BRIDGE packet.
BridgePartBook
Registry of BRIDGE part-kind specifications.
BridgePartSpec
Registered BRIDGE part-kind specification.
BridgePatchPayload
Patch payload targeting an exact parent packet and path.
BridgeProfileBook
Registry of BRIDGE profile specifications.
BridgeProfileSpec
Registered BRIDGE profile.
BridgeProvenance
Provenance carried in the BRIDGE header.
BridgeReceiptPayload
Receipt payload for an accepted or rejected collaboration step.
BridgeReviewPayload
Review payload targeting one packet path.
BridgeScore
One axis in a structured collaboration vote.
BridgeVotePayload
Vote payload with one or more structured score axes.
BridgeWarrant
Content ids of protocol books and part specs used to build a packet.
BridgeWeavePayload
Typed payload for a bridge/Weave part.
BridgeWeaveRow
One operation-led LOOM row.
FrameHoleSpec
One named typed hole in a frame template.
FrameSpec
Registered frame specification.
ProfilePartRule
One part-kind rule in a BRIDGE profile.

Enums§

AuthorityClass
Authority class for a registered BRIDGE part kind.
BridgeWarrantPolicy
Policy for checking packet warrants at receive time.
CallArgumentMedia
Media kind carried by a packed ASK call argument.
FrameHoleKind
Hole kind for a typed BRIDGE frame slot.
FrameKind
Illocutionary kind for a BRIDGE frame.
OwnedSpan
A rendered byte span owned by one BRIDGE packet component.
ProfilePartCount
Repetition rule for a profile part kind.
RenderClass
Rendering class for a registered BRIDGE part kind.
ReplyRule
Parent-intent rule for a BRIDGE move.
UnknownPolicy
Policy for preserving a part kind that is not in the standard normative book.

Statics§

RECIPES
Cookbook recipes for this codec, embedded at build time.

Functions§

ask_profile_spec
Builds the ASK profile spec: Given* Frame* Call+ Return.
ask_profile_symbol
Profile id for ASK packets.
assert_roundtrip
Asserts that encoding then decoding reproduces the same packet.
assert_total_ownership
Asserts that spans exactly cover the full rendered face in order.
bridge_packet_shape_symbol
Returns the packet shape symbol owned by the BRIDGE codec.
bridge_profile_shape_expr
Shape descriptor for the registered BRIDGE profile catalog.
brief_profile_spec
Builds the BRIEF profile spec: Given* Frame+ Return?.
brief_profile_symbol
Profile id for BRIEF packets.
canonical_packet_datum
Builds the canonical datum used to hash a packet with cid cleared.
collab_profile_spec
Builds the COLLAB profile spec: (Review|Vote|Patch|Evidence|Receipt|Attest)+.
collab_profile_symbol
Profile id for COLLAB packets.
content_id_string
Returns the stable text form of a content id.
decode_bridge_text
Decodes the strict BRIDGE/1 line face to a BRIDGE packet.
derive_weave_result_shape
Derives the public result Shape descriptor for a sequence of weave rows.
encode_bridge_text
Encodes a BRIDGE packet to the strict BRIDGE/1 line face.
expr_to_packet
Validate a canonical packet expression back into a typed packet.
frame_book_content_id
Computes the content id for a fluent frame book registry record.
loom_profile_spec
Builds the LOOM profile spec: Given* Frame* Weave+ Return.
loom_profile_symbol
Profile id for LOOM packets.
move_book_content_id
Computes the content id for a dialogue move book registry record.
packet_content_id
Computes the canonical content id for a packet with cid cleared.
packet_to_expr
Project a packet to the canonical expression record used by codec:bridge.
part_spec_content_id
Computes the content id for one part-kind registry record.
render_frame
Renders a frame payload through its deterministic sentence template.
render_frame_part
Renders a bridge/Frame part as a cited fluent sentence.
render_frame_part_with_prose
Renders a bridge/Frame part as a cited fluent sentence, delegating prose holes to render_prose.
render_frame_with_prose
Renders a frame payload, delegating prose holes to render_prose.
stamp_packet_cid
Returns a packet with its canonical cid stamped into the header.
standard_frame_book
Builds the standard BRIDGE frame book.
standard_move_book
Builds the standard BRIDGE move book.
standard_part_book
Builds the standard BRIDGE part book.
standard_profile_book
Builds the standard BRIDGE profile book.
validate_call_payload
Parses and validates a bridge/Call payload.
validate_collab_payload
Validates a collaboration part payload for its registered part kind.
validate_weave_payload
Parses and validates a bridge/Weave payload.
verify_packet_cid
Verifies that a packet’s stamped cid matches its canonical content.
warrant_for_packet
Builds the warrant for packet from the local bridge book.

Type Aliases§

WeavePart
Roadmap-facing alias for a typed weave part payload.