This is the traceability matrix from the frozen Symbol inventory
to the specification. Every normative (N) symbol maps to a section and a
proof. Every informative (I) and out-of-scope (X) symbol carries a reason.
A normative symbol with no section and proof is a coverage gap.
Proof column: vector (a [VEC-...]), computed (derivation shown), quoted
(byte/enum value cited verbatim), n/a (informative/out-of-scope).
Symbol(s) file:line Class Section Proof
representation UNKNOWN/PACKET/RESOURCE 24-26 N 05 quoted method OPPORTUNISTIC/DIRECT/PROPAGATED/PAPER 29-32 N 05 quoted unverified SOURCE_UNKNOWN/SIGNATURE_INVALID 35-36 N 03 quoted size constants DESTINATION_LENGTH … PLAIN_PACKET_MAX_CONTENT 39-94 N 02 computed (vector constants) ticket constants TICKET_EXPIRY/GRACE/RENEW/INTERVAL, COST_TICKET 48-52 N 08 quoted (vector constants) URI_SCHEMA, QR_MAX_STORAGE, PAPER_MDU102-105 N 02, 05 computed ENCRYPTION_DESCRIPTION_*97-99 I — n/a (local labels) QR_ERROR_CORRECTION103 I — n/a (QR rendering) state constants 14-21 I 06 n/a (local lifecycle) set_title/content_*, *_as_string190-205 N 03 vector VEC-MSG-1/3 set_fields/get_fields212-218 N 03, 04 vector VEC-MSG-2 validate_stamp270 N 07 vector VEC-STAMP-1 get_stamp293 N 07 quoted get_propagation_stamp326 N 07, 10 quoted pack352 N 03, 05 vector VEC-MSG-1/2 __as_packet623 N 05, 06 vector VEC-DLV-OPP/DIRECT __as_resource637 N 05, 06 quoted packed_container, write_to_directory, unpack_from_file657-810 I/N 11 n/a (local storage) as_uri687 N 05, 10 vector VEC-PAPER-URI as_qr707 I — n/a (QR rendering) unpack_from_bytes735 N 03 vector VEC-MSG-3 send, __mark_*, __resource_concluded, timers460-620 I 06, 11 n/a (orchestration) msgpack sites 364/378/433/669/741/747 — N 03, 10 vector time.time() 354/433— N 03, 10 vector (timestamp fields)
Symbol(s) file:line Class Section Proof
APP_NAME1 N 00 quoted FIELD_* (all)8-41 N 04 quoted (VEC-MSG-2 for one) AM_* audio modes55-79 N 04 quoted RENDERER_*89-92 N 04 quoted PN_META_*98-104 N 09 quoted (VEC-ANN-PROPAGATION) SF_COMPRESSION108 N 12 quoted display_name_from_app_data, stamp_cost_from_app_data117-152 N 09 vector VEC-ANN-DELIVERY compression_support_from_app_data154 N 09 quoted pn_name_from_app_data, pn_stamp_cost_from_app_data, pn_announce_data_is_valid169-217 N 09 vector VEC-ANN-PROPAGATION
Symbol(s) file:line Class Section Proof
WORKBLOCK_EXPAND_ROUNDS*, STAMP_SIZE10-13 N 07 quoted stamp_workblock18 N 07 vector VEC-STAMP-1 stamp_value31 N 07 vector VEC-STAMP-1 stamp_valid42 N 07 vector VEC-STAMP-1 validate_peering_key48 N 10 quoted validate_pn_stamp53 N 10 quoted generate_stamp92 N 07 quoted validate_pn_stamps*, job_*, cancel_work, PN_VALIDATION_POOL_MIN_SIZE67-354 I 07 n/a (PoW parallelism)
Symbol(s) file:line Class Section Proof
LXMFDeliveryAnnounceHandler.received_announce9-32 N 09 vector VEC-ANN-DELIVERY LXMFPropagationAnnounceHandler.received_announce35-72 N+I 09, 11 vector / n/a (auto-peer)
Symbol(s) file:line Class Section Proof
get_propagation_node_announce_metadata, get_propagation_node_app_data302-319 N 09 vector VEC-ANN-PROPAGATION get_announce_app_data986 N 09 vector VEC-ANN-DELIVERY generate_ticket, remember_ticket, get_outbound_ticket*1025-1086 N 08 quoted message_get_request/list_response/get_response1427-1591 N 10 quoted offer_request, propagation_packet, propagation_resource_concluded, lxmf_propagation, ingest_lxm_uri2110-2392 N 10 quoted lxmf_delivery1732 N 06 quoted PR_* states62-77 N 10 quoted request paths STATS/SYNC/UNPEER 81-83 I 11 n/a delivery/expiry/peer/job constants 30-83, 853-860 I 11 n/a (scheduling) persistence, queues, jobloop, rotation, time.time() various I 11 n/a (internal)
Symbol(s) file:line Class Section Proof
OFFER_REQUEST_PATH, MESSAGE_GET_PATH14-15 N 10 quoted ERROR_*24-31 N 10 quoted generate_peering_key242 N 10 quoted sync (offer payload), offer_response, resource_concluded267-520 N 10 quoted state constants, strategy, timing, from_bytes/to_bytes, peer counts 17-50, 52-175, 544-640 I 11 n/a (internal/persistence) msgpack 462 (sync resource) — N 10 quoted
Symbol(s) file:line Class Section Proof
__version___version.py:1 N 00 quoted (pin) daemon/CLI lxmd.py X — n/a (not protocol)
Every normative symbol in the inventory maps to a section and a proof above; no
normative row is left with an empty section or n/a proof. Informative and
out-of-scope rows are reasoned. Coverage is therefore complete against the frozen
inventory at the pinned commit. To re-audit after a reference bump, re-enumerate
the source and diff the inventory; any new symbol appears here unclassified.