max / makenotwork

Say in code which described screens are not on the seam Thirteen of the seventeen addresses `quasi::mod` mounts serve from a generated template. The four that do not are now named in `residuals::tests` with the reason and the task holding the design, and the count is asserted against `PATHS` + `DOCUMENT_PATHS` + `PUBLIC_DOCUMENT_PATHS` rather than written down. A screen that reaches the seam and is not taken off the list fails here, and so does one that leaves it. Each named address is also checked to be one this server actually mounts, so a screen renamed out from under the list excuses nothing. The four, and none of them is a matter of effort: - /dashboard/tabs/ssh-keys, whose theme `Select` marks the chosen option by comparing one value against each option. That is structure rather than a gap, and a compiled loop body cannot carry "exactly one row differs". - /dashboard/tabs/analytics, whose revenue chart is a ceded region: the renderer looks its markup up while it renders, so there is nowhere in a residual for it to go. - /git and /feed, which page. A pager is a supplied `Rest` with no sentinel, and the answer is to describe `more` rather than supply it.

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

Author: Max Johnson <me@maxj.phd> · 2026-09-08 03:19 UTC

Commit: 5ef75a305193b204c50ecf6669568057223153e2

Parent: 9203a96

1 file changed, +56 insertions, -0 deletions

M server/src/quasi/residuals.rs +56

			@@ -788,6 +788,62 @@
788	788		assert_eq!(loops(CREATORS.ops()), 0, "the tiers are unrolled");
789	789		}
790	790
	791	+	/// Every described screen is on the seam or is named as not being.
	792	+	///
	793	+	/// The gap, stated in code rather than only in a task. Thirteen of the
	794	+	/// seventeen addresses `quasi::mod` mounts serve from a generated template;
	795	+	/// the four that do not are here with the reason, and each has a task
	796	+	/// against quasicoherent holding the design.
	797	+	///
	798	+	/// A screen that reaches the seam and is not taken off this list fails
	799	+	/// here, and so does one that leaves it. That is the point: a count nobody
	800	+	/// updates is a count nobody believes.
	801	+	#[test]
	802	+	fn every_described_screen_is_on_the_seam_or_says_why_not() {
	803	+	use crate::quasi::{DOCUMENT_PATHS, PATHS, PUBLIC_DOCUMENT_PATHS};
	804	+
	805	+	/// The addresses still served by building a `Node` per request.
	806	+	///
	807	+	/// - `/dashboard/tabs/ssh-keys`: its theme `Select` marks the chosen
	808	+	/// option by comparing one value against each option, which is
	809	+	/// structure rather than a gap, and a compiled loop body cannot carry
	810	+	/// "exactly one row differs". quasicoherent `c32bb877`.
	811	+	/// - `/dashboard/tabs/analytics`: its revenue chart is a ceded region,
	812	+	/// whose markup the renderer looks up while it renders, so there is
	813	+	/// nowhere in a residual for it to go. quasicoherent `7d6ad166`.
	814	+	/// - `/git` and `/feed`: both page, and a pager is a supplied `Rest`
	815	+	/// with no sentinel. The answer is to describe `more` rather than
	816	+	/// supply it. quasicoherent `cbb63155`.
	817	+	const OFF_THE_SEAM: &[&str] = &[
	818	+	crate::quasi::ssh_keys::PATH,
	819	+	crate::quasi::user_analytics::PATH,
	820	+	crate::quasi::git_explore::PATH,
	821	+	crate::quasi::feeds::PATH,
	822	+	];
	823	+
	824	+	let described = PATHS.len() + DOCUMENT_PATHS.len() + PUBLIC_DOCUMENT_PATHS.len();
	825	+
	826	+	assert_eq!(
	827	+	described,
	828	+	roster().len() + OFF_THE_SEAM.len(),
	829	+	"{} described screens, {} on the seam, {} named as off it",
	830	+	described,
	831	+	roster().len(),
	832	+	OFF_THE_SEAM.len(),
	833	+	);
	834	+
	835	+	// Each named address is one this server actually mounts, so a screen
	836	+	// renamed out from under the list fails rather than excusing nothing.
	837	+	for path in OFF_THE_SEAM {
	838	+	assert!(
	839	+	PATHS.contains(path)
	840	+	\|\| DOCUMENT_PATHS.contains(path)
	841	+	\|\| PUBLIC_DOCUMENT_PATHS.contains(path),
	842	+	"{path} is named as off the seam and is not a described address",
	843	+	);
	844	+	}
	845	+	}
	846	+
791	847		/// Every screen the roster names is checked above.
792	848		///
793	849		/// The gap this closes is the one a table opens: a screen added to