RM-011301
Equating "the institution cannot query the open set" with "the deadline does not operationally exist" collapses operator knowledge and managerial count. If clerks can age their own items, the deadline already attached; the missing object is an oversight list.
alternative_mechanism · deadline_existence_condition, queue_as_oversight
RM-011302
The four repair properties all operationalize aggregate count, not desk-level clocks. A clerk who knows an item is late and still does not answer is a capacity or priority problem; a shared list would make the miss countable from above, not more real on that desk.
scope_challenge · repair_scope, capacity_versus_countability
RM-011303
The specimen infers invisibility from delay plus email, which is also the signature of capacity. An office that can already sequence by age without a shared list would show the deadline migrated; if it cannot because no one is scored on the oldest, the missing piece is the incentive, not enumerability. The page does not say which the Helsinki case is.
evidence_burden · specimen_identification, invisibility_versus_capacity
RM-011304
One email-handled missed request is compatible with no register, a register this item never entered, or a register that was not watched. Those imply different repairs. The specimen does not identify which.
evidence_burden · specimen_underdetermination, repair_kind
RM-011305
Item-level non-entry is enough for "this deadline had nothing to attach to." Demanding the specimen prove the court had no case system is a different paper. Section II already names the missing object as a tracked record of this specific open obligation.
source_compatible_defense · specimen_scope
RM-011306
The specimen prose and the closing diagnostic are class-level: the request was not a member of a population, and the portable question is whether the obligation lives as an enumerated object inside the institution. A single wanderer answers item-level non-entry, not that class claim.
scope_challenge · diagnostic_scope, specimen_load
RM-011307
The subtitle biconditional overclaims. Rights without deadlines, and deadline-rights already on dockets, break "if it isn't a queue, it isn't a right." The thesis is a claim about statutory speed-promises whose work items are off-list.
scope_challenge · subtitle_scope, slogan_versus_diagnostic
RM-011308
Section III ages the obligation from first receipt. Section V ages from the system's institutional clock. Registration can be later than receipt. The four properties do not freeze first-received as the field.
implementation_attack · clock_start, age_field
RM-011309
Without a birth rule at first receipt, a complete owned auto-aging list can pass all four properties on a late clock. Email day 0, ticket day 20, thirty-day window: at day 25 the register looks healthy and the legal clock is already broken.
constructive_extension · intake_rule, four_properties_sufficiency
RM-011310
Hospital referrals "tracked across separate clinical systems" are already tracking without a join. Asylum is a formal docket plus notebooks. The title diagnoses absence of a queue object; the portable examples are join-failure and shadow-path.
alternative_mechanism · generalization_mechanism, absence_versus_split
RM-011311
If property 1 (single source of truth) is supposed to cover the splits, the hospital and asylum rows illustrate a different sentence: a deadline attached to the wrong list, or to two lists, does not attach to the work. That is not the thesis that the right is not a right until a queue exists.
scope_challenge · title_versus_property_one, specimen_filing
RM-011312
The four properties can be true of a register that is not where the work happens. A population-owner owns the count in the tool, not the match against inbound email. Property 1 is the right completeness requirement and is not checkable from the tool that owner has.
capture_and_adversarial_misuse · completeness_verifiability, ghost_register
RM-011313
Completeness ownership needs a check that fails a ghost list: sample inbound request-emails and treat unmatched ones as missing members, not as not-yet-filed. Without it, the deadline attaches to the dashboard subset and the work stays in the mailbox.
constructive_extension · completeness_check, rights_by_tracker