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ₒrd, Rₒrd, Gammaₒrd) 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ₛec = 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ᵒrd 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. "