Cardano Updates

- Discussions preamble entry in 'Label: URL' form
- 'Conventions and terminology' moved under Specification
- 'Security and Privacy Considerations' nested under Specification
  (subsection levels shifted accordingly)

No normative content changes.

Regenerated from the Label 309 source corpus. Highlights: sealed-PoE
construction finalized (nonce-salted KEKs, hashes_hash transcript binding,
STREAM content format, in-ciphertext passphrase commitment, per-slot MAC
fold); carriage finalized to whole-body chunk-array transport with de-chunked
field shapes; verifier tx-byte binding, block-time/depth definitions, and
not-found taxonomy; validator/verifier contract with ENC_UNSUPPORTED
degrade-to-opaque and the multi-URI availability/integrity split;
fetched-content attribution so gateway corruption cannot condemn a record;
expanded security and privacy considerations; registries, error codes, and
the CDDL reconciled to the spec text.

* add CIP validation workflow and documentation

* improve error messages and update CIP-0001 for compliance

* update capatalisation of required CIP headers

* align CIP-0001 with templated header capatalisation

* allow backticks in titles

* match Solution To form to Proposed Solutions

* update regex for implementors

* ignore headings or what look like headings that are present inside of code blocks

* add Open Questions to optional sections

* add dedicated workflow for merged CIPs

---------

Co-authored-by: Robert Phair <[email protected]>

* CIP-0164 | Refine Leios protocols based on buidlerfest discussions

- use Reactive Streams semantics for bounded push of block announcements and votes
- remove votes offer & request communication cycles to cut down latency
- remove probably premature optimisation of block / txn request by just listing txn indices
- split LeiosNotify into LeiosAnnounce (for EBs), LeiosVotes, LeiosBlockNotify (for when EB and/or txns are available upstream) to allow independent treatment in the muxer and remove or reduce head-of-line blocking

We might also want to allocate N2N mini-protocol IDs in this CIP because multiple teams are starting to play with this spec and might want to check interoperability.

Signed-off-by: Roland Kuhn <[email protected]>

* add `this` discussion link

* fixing messed-up scope for GitHub suggested change in `Discussions:`

* source of 2nd merge conflict: later #1196 was merged *before* this

---------

Signed-off-by: Roland Kuhn <[email protected]>
Co-authored-by: Robert Phair <[email protected]>

* [CPS-0021] fixed Header & TOC UI Glitches

* [CIP-161] Agda Mechanization and VDF Amortization Challenges Clarification

* [CIP-0161] grammar/punctuation fixes

* PR's Feedback