max / quasi

Say what a meter's proportion may be of, which is not only a static set `Meter`'s doc called the proportion it carries "a static fact" and gave files-written and subtasks-done as the shape. audiofiles' transport is neither: it states a playback position against a duration, re-answered as the host redraws. That was true of the first consumers and never of the restriction. The rule that survives is the narrower one, and it is the one that matters to a renderer: a meter does not tick, so none animates one between answers. Found while ruling on time-based media, which closed with no new member.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01MptwXZ8k65v19rFmdGAyki

Author: Max Johnson <me@maxj.phd> · 2026-09-01 22:13 UTC

Signed with PGP, not checked

Commit: 0866136205839af0869304fede8038dc0b80c57e

Parent: 1ea5862

1 file changed, +10 insertions, -3 deletions

M crates/quasi-router/src/screen.rs +10 -3

			@@ -1743,9 +1743,16 @@
1743	1743		/// gives: a bar that is full because it landed exactly and one that is full
1744	1744		/// because it ran over are the same width and not the same fact.
1745	1745		///
1746		-	/// This carries a proportion of a set, which is a static fact: files written of
1747		-	/// files to write, subtasks done of subtasks. What one answer never carries is
1748		-	/// motion, and that is the whole of the restriction. A meter does not tick.
	1746	+	/// This carries a proportion, and one answer never carries motion. That is the
	1747	+	/// whole of the restriction: a meter does not tick, so no renderer animates
	1748	+	/// one between answers.
	1749	+	///
	1750	+	/// The proportion need not be of a static set. Files written of files to write
	1751	+	/// and subtasks done of subtasks are, and audiofiles' transport is not: it
	1752	+	/// states a playback position against a duration, re-answered as the host
	1753	+	/// redraws. That is the same member under the same rule, and the doc used to
	1754	+	/// call the fact static, which was true of the first consumers and never of the
	1755	+	/// restriction.
1749	1756		///
1750	1757		/// Live progress is described by re-answering. Each answer states the
1751	1758		/// proportion as it stood when the route was asked, and the host asks again