Dressed Order-Sector Candidates Without a Global Chronologist: The OrdSecSpec Normal Form, the Admission Test, and the Order-Structure Families Typed

Paper 34 typed quantum-indefinite causal order for controlled-order processes and told the truth about the rest: full quantization of the causal-precedence relation is "flagged, not claimed," and "no microscopic or holographic account of a quantized precedence is supplied." Paper 57 registered the stay-reason: the radical case "needs a dressed order-sector algebra beyond (r1)'s declared classes; a program of its own." But the corpus has no checkable specification of what counts as a candidate for that program's central object. While none exists, a quiet authority works by default — the Global Chronologist: not the Gatekeeper deciding candidate admission, not the 34/43 Sequencer imposing or dynamically selecting an order, but the imagined authority that supplies a canonical chronology/order-sector algebra and composition law from outside the candidate class. This paper types the candidate layer and starves the Chronologist. "An order sector is a type, not a timeline." / "Typed is not constructed." / "Admissible-as-typed is not selected." The instrument is the OrdSecSpec normal form — "Dressed here names the target class of a future algebra; this paper does not construct dressed operators or dressed composition." Seven declared fields on a finite declaration language (Paper 69's discipline consumed as a template, all order-sector objects redefined locally): a source-data grammar O = (E, L, C_ord, R_ord, Gamma_ord) whose type constraint bars external chronology — global time functions, canonical foliation labels, pre-given total orders — while allowing internally declared order-control and order-record data (with a three-scan renaming test, so a global clock smuggled as control data is caught structurally); a sector codomain Sigma_sec = {coh, mix, cond} plus the typed residual outside-ctrl, one-to-one with 34's trichotomy on the declared controlled-order subdomain — general nonseparable processes are never forced into the trichotomy; a composition/conditioning grammar that provides symbols and reduction targets but no composition theorems (no associativity theorem, no spacelike-independence theorem, no measurement model, no all-orders dressed composition result); a reduction map rho^ord onto 34's conditioned record-relative effective order, the canonical chronology appearing only in its codomain; four recovery rows (34's machinery; 57's fixed-order limit; 58's undressed limit; and 34's R-E — radical-precedence remains flagged, not claimed — preserved as a row, not resolved); and skeleton-grade failure criteria. The admission test is decidable — four finite checks with a verdict routing, including the order smuggling sentence: "a candidate fails the admission test if a composition or conditioning clause reads an external chronology label before the reduction map is applied." The declared candidate table — the process-matrix/quantum-switch family, the causal-set row (typed only as a source of order data and order-composition discipline, with every adequacy claim barred), the indefinite-causal-structure family, and one corpus-internal calibration row (34's own machinery, which cannot feed the kill) — is typed by displayed fields under 69's extraction protocol and setting/input rule: "The paper classifies the families by displayed fields, not by reputation or expected success." The emptiness kill is scoped to skeleton grade, with the minimum skeleton displayed and one row, the process-matrix/switch row, proven to meet it at skeleton grade. The ceiling is strict: nothing here is a construction or an audition, and no row is a winner — 34's flag is exactly as set after this paper as before it; (d5) and (r5) stay open at their owners' seats; the preparation artifact is recorded as complete without opening, numbering, or reserving any successor program; no physics claim, no adoption, no datum. OrdStatus(order-sector classes) = scoped at typing/classification grade. "An order sector is a type, not a timeline." / "Typed is not constructed." / "Admissible-as-typed is not selected."