§ 5.6 — pricing[].floor is the offer floor, not the auction floor (#16)

[Sirajmx]

Draft. Do not merge until the working group confirms the disposition of #16.

What this changes

§ 5.6 now defines pricing[].floor as the seller's offer floor at proposal time, and states that it is not the downstream auction floor and not a guarantee that bids at or above it will clear. The meaning of the field is unchanged.

Related issue

Refs #16

Type

• Editorial — no normative effect
• Normative — changes what the spec requires
• Breaking — would break an implementation already built to this draft
• Examples / schema / docs only

Checklist

• The body section is updated
• Appendix A (field index) matches the body
• Appendix B (fields by marker, and the counts) matches the body
• Any affected example in examples/ is updated and still parses — none implied auction-floor semantics, so none changed
• RFC 2119 keywords used deliberately — MUST / SHOULD / MAY are not synonyms
• The no-inheritance rule (§ 2) still holds
• Anything selectable declares available[] and included[]; anything settable declares bounds (§ 3.1, § 3.2)
• No confidential or commercially sensitive content

Knock-on effects

None. For PREFERRED_DEAL, PRIVATE_AUCTION and OPEN_AUCTION the downstream floor stays with the exchange.

---

By opening this pull request I agree my contribution may be published under this
repository's licence, as set out in CONTRIBUTING.md.