Envelopes may declare a configuration profile via the extensions field. Profiles do not change units; they indicate logging discipline expectations.
envelope.extensions.profile = "civil" | "ops"
// civil (default): coordination display, calendar overlays
// ops: deterministic ordering (FT), integrity audit,
// bounded semantics (MT)The envelope schema (v1) is not modified. The profile field lives in extensions, which the schema permits as an open object.
Interface-first adoption: tools before institutions.