From 2d79ab524487e97faea82da2d78beaf3324ce771 Mon Sep 17 00:00:00 2001 From: Robert Allan James Date: Mon, 3 Aug 2026 11:10:02 -0400 Subject: [PATCH] =?UTF-8?q?FABRIC.md=20=C2=A725:=20item=201.3=20inherits?= =?UTF-8?q?=20=C2=A718.5's=20determinism=20constraint?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Review item REVIEW-D3. Item 1.3 decides what triggers a capacity transfer and said it should read the density gradient rather than a schedule -- correct about what, silent about when. Hera's arbitration mutates patron mass, so §18.5 binds it directly: anything influencing patron state advances on tick count, and wall-clock time must never be an input to a decision. Without that stated in the item, a reasonable implementation could pace arbitration off a wall-clock interval and reintroduce, in a new place, exactly the defect item 2.1 exists to remove. Whatever 1.3 decides must be expressible in ticks. Co-Authored-By: Claude Opus 5 --- FABRIC.md | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/FABRIC.md b/FABRIC.md index d696eab..3fab816 100644 --- a/FABRIC.md +++ b/FABRIC.md @@ -2057,7 +2057,13 @@ document and committing that amendment as its own item.* mass of its pinned patrons (derived) or a constant (tuned). *Refs:* §22.5 #1. - [ ] **1.3 — What triggers a capacity transfer.** Hera arbitrates; on what signal, and how - often. Should read the density gradient, not a schedule. *Refs:* §22.5 #2. + often. Should read the density gradient, not a schedule. + **Constraint, not optional:** arbitration mutates patron mass, so §18.5's invariant binds + it directly — *anything that influences patron state advances on tick count; wall-clock + time may be recorded for diagnostics and must never be an input to a decision.* Pacing + arbitration off a wall-clock interval would reintroduce exactly the defect item 2.1 + exists to remove, in a new place. Whatever 1.3 decides must be expressible in ticks. + *Refs:* §22.5 #2, **§18.5**, §22.4. - [ ] **1.4 — The heat/capacity timescale ratio.** The ordering is fixed (capacity slower); the ratio is not. *Refs:* §22.4, §22.5 #3.