Make the report 0057 decides, and put every one of them through 0047's queue (#57)

src/lib.rs

@@ -226,6 +226,10 @@ const _: () = {
     any_thread::<playback::cadence::ReportsWithoutWaiting>();
     any_thread::<playback::cadence::WhatItDoesToTheInterval>();
     any_thread::<playback::cadence::TheInterval>();
+    any_thread::<playback::report::ReportedOn>();
+    any_thread::<playback::report::PositionReport>();
+    any_thread::<playback::report::WhatObservingDid>();
+    any_thread::<playback::report::Reporting>();
     any_thread::<playback::resume::Resume>();
     any_thread::<playback::resume::PositionInForce>();
     any_thread::<playback::watched::Marked>();

src/playback/cadence.rs

@@ -14,12 +14,14 @@
 //! paused, which five events do not wait, and which of them starts, stops or
 //! leaves the interval alone.
 //!
-//! WHAT IS NOT HERE IS THE REPORT. Nothing in this tree plays anything, holds a
-//! session or reaches a server, so no position is produced, nothing is enqueued
-//! and nothing is sent. This module holds the interval such a thing would run
-//! on. #57's three open conditions are a scrub producing one report, each
-//! immediate event reporting without waiting, and every report observed passing
-//! through the queue, and none of them is met by anything here.
+//! WHAT IS NOT HERE IS THE REPORT, AND IT IS BESIDE THIS FILE RATHER THAN
+//! ABSENT. [`super::report`] is the one act that puts a position on the queue
+//! in 0047, on each of the five events and when this interval says one is due,
+//! and its cases are where #57's three conditions are asked: a scrub producing
+//! one report, each immediate event reporting without waiting, and every report
+//! observed passing through the queue. Nothing in this tree plays anything or
+//! reaches a server, so what is proven there is the reporting and never the
+//! delivery. This module holds the interval the report runs on.
 //!
 //! WHAT IS ALSO NOT HERE IS A SECOND COALESCING RULE, and its absence is the
 //! decision rather than an omission. #57's own condition that a scrub produces
@@ -262,9 +264,9 @@ mod tests {
     //! 0057's interval, its five events and the constraint it puts on 0058,
     //! asked of the values.
     //!
-    //! What these cannot ask is any of #57's three open conditions. Each is
-    //! about a report being made and observed on a queue, and nothing in this
-    //! tree plays anything.
+    //! What these do not ask is any of #57's three conditions. Each is about a
+    //! report being made and observed on a queue, and the cases in
+    //! [`crate::playback::report`] are where they are asked.
 
     use super::{
         A_POSITION_IS_REPORTED_EVERY, ReportsWithoutWaiting, TheInterval, WhatItDoesToTheInterval,

src/playback/mod.rs

@@ -22,7 +22,9 @@
 //! 0060's completion rule, which takes [`resume`]'s boundary rather than
 //! stating a second one. [`cadence`] carries 0057's interval, the five events
 //! that do not wait for it, what each does to it, and the constraint 0057 puts
-//! on [`resume`]'s rewind.
+//! on [`resume`]'s rewind. [`report`] is the report itself: the one act that
+//! puts a position on the queue in 0047, on each of those five events and when
+//! the interval says one is due, and the place #57's three conditions are asked.
 //!
 //! # Why the type is named for the unit
 //!
@@ -39,8 +41,11 @@
 //! caller or from a server, and never at each use. [`AdmittedPosition::of`] is
 //! that act. THE SITES THAT CALL IT DO NOT EXIST IN THIS TREE. Nothing here
 //! reaches a server and nothing here holds an item, so no value enters the core
-//! today and this module is the rule waiting for its callers: the reads are #39,
-//! the reports are #57, and the handover is #111.
+//! today and this module is the rule waiting for its callers: the reads are #39
+//! and the handover is #111. The reports are [`report`], and it is not one of
+//! those sites on purpose: it takes an [`AdmittedPosition`] rather than a
+//! number, so the act happens at whichever boundary hands it one, which is the
+//! client-facing call #115's creation owes rather than anything here.
 //!
 //! # What this module does not report
 //!
@@ -52,6 +57,7 @@
 //! sentence.
 
 pub mod cadence;
+pub mod report;
 pub mod resume;
 pub mod watched;