# Frozen semantic audit — EM-TEC-02

**Verdict: REVISE.** The mastership cut is sound; revision is required because the supplied artifacts leave claimed objects undefined, rules undecidable, fixtures non-discriminating, reservation sequencing implicit, and entitlement constraints under-specified. No identifier is proposed or minted.

Closed checklist, 40 defects:

D-01 define module placement and promotion carriers. D-02 define Installation only as a derived deployment/runtime expression. D-03 carry a one-writer mastership table. D-04 give identified objects lifecycle/tombstone semantics. D-05 declare transitions and cross-object guards. D-06 declare application-key authority and scope. D-07 date promotion. D-08 hold unverified cross-references. D-09 preserve containment-versus-reference as an owner decision. D-10 enumerate delivery modes and coupling. D-11 add provenance or classify process controls. D-12 qualify regional deployment alone. D-13 state cardinality on represented edges. D-14 separate definitions from currency validation. D-15 state minimum cardinalities. D-16 bind status to lifecycle. D-17 carry product/runtime distinction. D-18 keep usage independent of licence and installation. D-19 make application-key stability temporal. D-20 split usage and installation fixture expectations. D-21 remove ERP fixture tautology. D-22 split regional clone cases. D-23 bind module promotion fixtures to carriers. D-24 add multi-product, integration-only, shared-installation, hosted-runtime, retirement and transition fixtures. D-25 add rule/fixture traceability. D-26 record prior name and pending owner rename decision. D-27 hold incorrect owner and stale WM-SFT-009 prose. D-28 state sequencing authority. D-29 name overlap score 0.09 and target. D-30 hold profile dependency on unallocated entitlement. D-31 add optional entitlement-allocation reference without making usage derivative. D-32 type consumer binding and define time-window quantity aggregation. D-33 make over-allocation behaviour single-valued. D-34 make renewal expectation single-valued. D-35 conserve quantity on reallocation. D-36 define product-scope granularity. D-37 add surviving-obligation and territory/use fixtures. D-38 replace stale audit holds with outcomes. D-39 carry external-framework non-conformance disclaimer. D-40 mark fixtures research-only and non-publishable.

Owner decisions retained as holds: relation containment versus reference, and final registry name form. External gates retained: N4 split, WM-SFT-010 specification, entitlement allocation. Remediation is applied once without audit rerun.