{"id":"8b334003-cb9b-4115-bc94-fdd02e3063fd","arxiv_id":"2505.08692","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"In time-free constructor laws, duration can be defined by comparing timers that start and finish together, and dynamics can be recovered from timer labels.","lead":"The authors show how constructor-theoretic laws, which never mention time, can still describe duration and change. Their proposal defines duration through timers: devices whose only job is to run and then signal completion.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proof that the null task is possible conflates the null task with the empty relation, so the existence of timers is not derived.","rationale":"The reader's weakest assumption identified the three-attribute isolated substrate (the null constructor) as load-bearing. My concern goes one step further: the paper attempts to prove that such a substrate must exist by deriving the possibility of the null task from the composition principle, and that derivation is unsound. The serial composition of tasks with disjoint output and input yields the empty relation, which is not the null task under the paper's own definition; the null task is the empty set of constraints, i.e., the universal relation. Therefore the composition principle, which says that the composition of possible tasks is possible, cannot be applied to conclude that the null task is possible. This is an internal inconsistency, not merely a dispute with an external consensus. It undermines the central derivation of timers and duration, and it is more basic than the reader's concern because the three-attribute null constructor is inferred from the null task's possibility. I recommend UNVERDICTED rather than REJECT because the conceptual framework may be salvageable if the possibility of the null task is assumed as an explicit principle, but as written the main claim ('we show how') is not supported by a valid argument. The concrete test would settle the matter by disambiguating the notation for the null task and checking whether relational composition validates the claimed equality.","tokens_in":7321,"tokens_out":7896,"duration_ms":81327,"concrete_test":"Formalize tasks as relations: a task X is a set of ordered attribute pairs (x,y) on a substrate; X is possible if a constructor realizes it. Represent the null task as the universal relation U (no restrictions). Compute {a→b}•{c→d} for b∩c=∅: by relational composition it is ∅. Check the paper's definitions: if {} denotes ∅, then {} is unsatisfiable and hence impossible, contradicting {}✔; if {} denotes U, then {a→b}•{c→d}≠{}. Either way, the claimed derivation of {}✔ from the composition principle fails. A one-page formal check of this step would settle whether the paper's central construction has a valid starting point.","verdict_should_be":"UNVERDICTED","load_bearing_attack":"In Section 5, the paper claims that the null task is possible by writing the serial composition {a→b}•{c→d} = {} when b∩c=∅, and invoking the composition principle. This conflates two different sets. The null task is defined as having no constraints on input or output, i.e., the universal relation on any substrate; the serial composition of two tasks whose output and input are disjoint is the empty relation, which is unsatisfiable. Under the paper's own definition, a task is possible only if approximate constructors can bring it about with unbounded accuracy; an unsatisfiable task cannot be brought about at all, so it is impossible, not the null task. Thus the composition principle does not imply {}✔. The subsequent argument that a null constructor must be an isolated substrate with three attributes 0, R, 1 and a halt flag, and hence that timers exist, rests entirely on this invalid step. Without a valid derivation (or an explicit assumption) of the possibility of the null task, Section 6's equivalence classes (8)–(9) and Section 7's recovery of differential equations (10) have no foundation. This is more fundamental than the reader's concern about the three-attribute isolated substrate: the paper offers a proof that such substrates must exist, but that proof fails at the first step.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper aims to show how constructor theory, whose laws are formulated as timeless statements about possible and impossible tasks, can give meaning to duration and dynamics by constructing a theory of clocks and timers. The central idea is to introduce the null task, argue that the composition principle forces it to be possible, and thus that a 'null constructor' exists as an isolated substrate with three attributes (0, R, 1) and a halt flag. Such a substrate is interpreted as a timer. Section 6 defines equivalence classes of timers via the possibility of the joint task (0,0)->(1,1) on composite timers, labelled by a duration t. Section 7 proposes to recover differential equations by considering a variable v(λ) of an isolated substrate and a timer of duration Δλ, then taking the limit Δλ→0. The paper claims that this provides an explanatory foundation for 'timeless' approaches to time, independent of specific physical theories.","tokens_in":7629,"tokens_out":4140,"duration_ms":45270,"significance":"If the central derivation were valid, the paper would constitute a significant contribution to the programme of constructor theory, offering a relational, theory-independent account of time and dynamics. The manuscript has several strengths: it states the conditions on timers explicitly in equations (8) and (9); it carefully discusses the roles of isolation, staticity, and the halt flag; and it openly acknowledges that not all constructor-theory-compliant theories need support timers (Section 8). The paper also gives a clear taxonomy of the assumptions used in existing 'timeless' approaches. However, the validity of the central construction depends on a proof in Section 5 that the null task is possible; as discussed below, that proof conflates the null task with the empty relation and is therefore not sound. Because the subsequent definitions of timers and the recovery of dynamics rest on this step, the paper's main claim is not established. The framework may still be salvageable as a set of sufficient conditions, provided the existence of timer-supporting theories is treated as an explicit assumption rather than a derived consequence.","major_comments":[{"comment":"The remark in Section 5 that 'a null constructor C for the null task doesn't act on a substrate and must therefore be an isolated substrate itself' is not justified. Even if the null task were possible, a device could in principle perform it by doing nothing to any substrate that might be presented, without itself undergoing a spontaneous change of attributes. The assertion that the null constructor must have three attributes (0, R, 1) and a halt flag, and that it must transform itself spontaneously while remaining isolated, is a strong physical claim that goes beyond the definition of the null task. This step is essential for the interpretation of null constructors as timers, and it needs either a proof or an explicit assumption. The paper currently presents it as an implication, but it is not one.","section":"Section 5"}],"minor_comments":[{"comment":"The notation [C_t ⊕ C_{t'}]_t in Section 6 is not defined precisely. The text says the composite is denoted with this symbol 'when defined as another timer belonging to C_t', but the attribute assignments for the composite and the role of the halt flag are not spelled out. A formal definition would improve clarity.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The paper addresses a genuinely interesting question and the authors' broader programme is well known. However, the central derivation in Section 5 is logically unsound, and the circularity in Section 6 undermines the construction. These issues are fixable within the manuscript's scope by reframing the existence of timer-supporting theories as an explicit condition rather than a derived consequence, and by making the equivalence-class construction self-contained. I would encourage the editor to seek a revision rather than reject, but the authors must address the null-task proof and the definition of C_t directly."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The core idea here is worth taking seriously: Deutsch and Marletto want to ground relational time in constructor theory, treating timers and duration as emergent from the possibility and impossibility of tasks. The specific formalism—null constructors, the equivalence classes in eqs. (8)–(9), and the differential-equation recovery via eq. (10)—is genuinely new to me, and the paper is clearly written and honest about being conjectural. The discussion of why staticity can't be expressed simply as a forbidden task is helpful, and the citations to Page-Wootters, Rovelli, Barbour, and others are appropriate.\n\nBut the central derivation has a problem that the stress-test note gets right. The paper claims the null task is possible by writing the serial composition {a→b}•{c→d} = {} when b∩c=∅, then invoking the composition principle. That identifies the null task with the empty relation. They're not the same. The null task, by the paper's own definition, places no constraints on input or output—it's the universal relation, trivially possible. The empty relation, by contrast, permits no transformations at all; it's unsatisfiable and therefore impossible under the paper's own accuracy/reliability definitions. So the proof doesn't go through. That matters because the subsequent claim that a null constructor must be an isolated substrate with attributes 0, R, 1 and a halt flag rests entirely on this step. Without a valid derivation or an explicit assumption, the existence of timers is not established.\n\nThere's a second, related circularity. Section 6 introduces a 1-parameter family of sets C_t, each containing all possible timers of duration t, before duration has been given a constructor-theoretic meaning. The equivalence classes are then defined using these very sets. That's presupposing what's supposed to emerge. Maybe the authors intend C_t as a primitive, but then the paper should say so plainly rather than presenting it as a derivation.\n\nMinor point: the recovery of dynamics in Section 7 is a sketch. After the limit Δλ→0, the differential equation is just asserted to express the dynamics. That's fine as a proposal, but it's not a derivation, and no example is given in an actual constructor-theory-compliant theory. I'd also note that the paper doesn't engage with the possibility that some constructor-theory-compliant theories simply contain no timers; it says they're not ruled out but doesn't explore what that means for the recovery of time.\n\nWho's this for? People already invested in constructor theory or in the foundations of relational time. It won't change what we measure or build, and it makes no empirical predictions. But it's a serious attempt to unify several timeless approaches under one task-based scheme, and the flaws are instructive.\n\nMy recommendation: send it to a serious referee. The argument isn't sound as written, but the questions are substantial and a good referee could push the authors to either prove or explicitly assume the null constructor's existence, and to fix the circularity. With heavy revision, it could become a valuable contribution.","headline":"The paper has a promising idea and a clear exposition, but its derivation of timers from the null task conflates the empty relation with the null task, and the construction presupposes the duration it claims to define.","tokens_in":8094,"tokens_out":3347,"would_cite":true,"duration_ms":35156,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper claims that duration and dynamics can be recovered from constructor-theoretic laws that never mention time, by treating timers as isolated substrates whose spontaneous transitions are possible or impossible tasks.","keywords":["constructor theory","time","timers","duration","dynamics","null task","timeless physics","possible and impossible tasks"],"falsifier":"Find a constructor-theory-compliant model in which the composite task $(0,0)\\to(1,1)$ is possible for two timers of unequal declared duration, or in which every isolated substrate has only static attributes; either result would show that duration and dynamics cannot be defined this way.","tokens_in":7135,"feed_emoji":"⏱️","tokens_out":9266,"duration_ms":79353,"temperature":0.7,"pith_summary":"Constructor theory expresses laws of physics as lists of which transformations can or cannot be brought about by cyclic devices, with no reference to time. The paper tries to show that such timeless laws can still give meaning to duration and dynamics. It defines a timer as an isolated substrate with three attributes—start, running, halted—that changes by itself, and it shows that two timers of equal duration halt together while unequal ones cannot, which partitions timers into duration classes. From those classes, the paper recovers differential equations by pairing each physical variable with a timer of shrinking duration and taking a limit. If this works, traditional time-dependent laws become emergent approximations of a more fundamental timeless theory.","feed_headline":"Clocks can be built from laws that never mention time","feed_subtitle":"Timers defined as isolated substrates recover differential equations in the limit of vanishing duration.","key_machinery":"The load-bearing object is the null constructor—the device for the empty task $\\{\\}$—which, because it acts on no substrate, must itself be an isolated substrate with at least three attributes $0$, $R$, $1$ plus a halt flag. The composition principle makes the null task possible, while locality ensures the timer attributes remain undisturbed. The argument then uses the possibility or impossibility of the composite task $(0,0)\\to(1,1)$ to define duration equivalence classes, and takes the $\\Delta\\lambda\\to 0$ limit of the task $(v(\\lambda),0)\\to(v(\\lambda+\\Delta\\lambda),1)$ to recover differential equations.","core_discovery":"The central claim is that constructor-theoretic theories that support timers can define duration without any time parameter. A timer is a null constructor: an isolated substrate with attributes $0$, $R$, and $1$ and a halt flag, where the spontaneous transitions $0\\to R\\to 1$ are possible tasks and $1$ is static. For two timers with durations $t$ and $t'$, the composite task $(0,0)\\to(1,1)$ is possible if and only if $t=t'$ (equation (9)), and impossible when $t'\\neq t$ (equation (8)); this equivalence class defines the duration $t$. Dynamics is recovered by taking a variable $v(\\lambda)$ of an isolated substrate, pairing it with a timer of duration $\\Delta\\lambda$, requiring $(v(\\lambda),0)\\to(v(\\lambda+\\Delta\\lambda),1)$ to be possible (equation (10)), and taking the limit $\\Delta\\lambda\\to 0$ to obtain $\\mathrm{d}v/\\mathrm{d}\\lambda$. The paper claims this grounds timeless approaches to time in general principles rather than in the formalisms of existing dynamics.","pith_inferences":["A testable extension would be to check whether the limit $\\Delta\\lambda\\to 0$ actually converges for timers with finite physical resources, or whether discrete duration is the more primitive notion.","The existence of a null constructor may imply that any universe describable by constructor theory contains self-changing isolated substrates; this could constrain which cosmological models are admissible.","The same equivalence-class construction might be applied to define other quantities, such as length or energy, if suitable 'rulers' can be defined as isolated substrates with a halt flag."],"forward_implications":["Traditional differential equations would become emergent approximations, valid only where timers of arbitrarily small duration can be approximated.","Constructor-theoretic laws would be compatible with traditionally formulated laws, resolving the paper's opening problem about time.","A constructor-theory-compliant theory that does not support timers is not ruled out; such a world would simply have no time in the traditional sense.","Timeless approaches to quantum gravity and quantum dynamics would gain a common foundation independent of their original formalisms.","Mutually isolated identical timers necessarily stay synchronized, so the traditional notion of clock synchrony follows from isolation alone."],"supporting_citations":[{"why":"Introduces constructor theory, the possible/impossible distinction, and the composition principle that makes the null task possible.","marker":"Deutsch 2013"},{"why":"Supplies the constructor-theoretic definitions of measurement, distinguishable attributes, and locality used for the halt flag and isolation.","marker":"Deutsch & Marletto 2015"},{"why":"The timeless quantum approach whose assumptions the paper claims to ground in general principles.","marker":"Page & Wootters 1983"},{"why":"A timeless quantum-gravity framework that motivates the need for a dynamics-independent theory of time.","marker":"Rovelli 2004"},{"why":"A timeless classical formulation showing the problem is not specific to quantum theory.","marker":"Barbour 2012"},{"why":"Provides the accuracy and reliability measures underlying the definition of possible tasks used in equations (8)-(10).","marker":"Violaris & Marletto 2022"}],"fun_headline_variants":["Timeless laws still define duration","Constructors make time emerge","Duration from tasks, not from time","Clocks without a time parameter","Time from the absence of time"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction collapses if no isolated physical system can change its own state by itself, with no outside help; the timer is precisely such a self-changing system, which the paper calls a null constructor with attributes $0$, $R$, and $1$ and a halt flag.","fun_headline_variants_meta":{"raw":{"variants":["Timeless laws still define duration","Constructors make time emerge","Duration from tasks, not from time","Clocks without a time parameter","Time from the absence of time"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000288,"raw_usage":{"total_tokens":1636,"prompt_tokens":838,"completion_tokens":798,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":454,"completion_tokens_details":{"reasoning_tokens":742}},"tokens_in":454,"tokens_out":798,"duration_ms":7923,"temperature":1.0,"reasoning_tokens":742,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T21:48:06.823051+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a constructor-theory-compliant model in which the composite task $(0,0)\\to(1,1)$ is possible for two timers of unequal declared duration, or in which every isolated substrate has only static attributes; either result would show that duration and dynamics cannot be defined this way.","supporting_citations":[],"review_version":1}