convention_profile

Convention-over-configuration core profile contracts for M45.

Types

CoreProfile

Core convention profile contract.

pub type CoreProfile {
  CoreProfile(
    name: String,
    runtime: RuntimeConvention,
    data: DataConvention,
    template: TemplateConvention,
    escape_hatches: List(EscapeHatch),
    hidden_runtime_behavior: Bool,
  )
}

Constructors

CoreProfile(
  name: String,
  runtime: RuntimeConvention,
  data: DataConvention,
  template: TemplateConvention,
  escape_hatches: List(EscapeHatch),
  hidden_runtime_behavior: Bool,
)

DataConvention

Data defaults for the convention profile.

pub type DataConvention {
  DataConvention(
    scope_module: String,
    repository_module: String,
    migration_strategy: String,
    tenant_scope_required: Bool,
  )
}

Constructors

DataConvention(
  scope_module: String,
  repository_module: String,
  migration_strategy: String,
  tenant_scope_required: Bool,
)

EscapeHatch

Explicit escape hatch for non-default deployments.

pub type EscapeHatch {
  EscapeHatch(
    seam: EscapeSeam,
    module: String,
    hook: String,
    rationale: String,
  )
}

Constructors

EscapeHatch(
  seam: EscapeSeam,
  module: String,
  hook: String,
  rationale: String,
)

EscapeSeam

Explicit escape-hatch seam.

pub type EscapeSeam {
  RuntimeSeam
  DataSeam
  TemplateSeam
}

Constructors

```
RuntimeSeam
```
```
DataSeam
```
```
TemplateSeam
```

RuntimeConvention

Runtime defaults for the convention profile.

pub type RuntimeConvention {
  RuntimeConvention(
    endpoint_module: String,
    router_module: String,
    transport_profile: String,
    session_store_module: String,
    boot_strategy: String,
  )
}

Constructors

RuntimeConvention(
  endpoint_module: String,
  router_module: String,
  transport_profile: String,
  session_store_module: String,
  boot_strategy: String,
)

TemplateConvention

Template defaults for the convention profile.

pub type TemplateConvention {
  TemplateConvention(
    ergonomics_module: String,
    compiler_module: String,
    slot_default_strategy: String,
    diagnostics_profile: String,
  )
}

Constructors

TemplateConvention(
  ergonomics_module: String,
  compiler_module: String,
  slot_default_strategy: String,
  diagnostics_profile: String,
)

Values

configuration_surface

pub fn configuration_surface(
  profile: CoreProfile,
) -> List(String)

Flattened configuration surface for runtime/data/template workflows.

configuration_surface_signature

pub fn configuration_surface_signature(
  profile: CoreProfile,
) -> String

Stable configuration-surface signature.

configuration_surface_size

pub fn configuration_surface_size(profile: CoreProfile) -> Int

Configuration surface size accessor.

data_partition_hatch

pub fn data_partition_hatch() -> EscapeHatch

Predefined data seam escape hatch.

default_profile

pub fn default_profile() -> CoreProfile

Narrow M45 default profile for common runtime/data/template workflows.

escape_hatch

pub fn escape_hatch(
  seam: EscapeSeam,
  module: String,
  hook: String,
  rationale: String,
) -> EscapeHatch

Build one explicit escape hatch.

escape_hatches

pub fn escape_hatches(profile: CoreProfile) -> List(EscapeHatch)

Escape-hatch accessor.

fixture_snapshots

pub fn fixture_snapshots() -> List(#(String, String))

Deterministic fixture signatures for CI drift gates.

has_stable_override_seams

pub fn has_stable_override_seams(profile: CoreProfile) -> Bool

Stable override seam contract verification.

hidden_runtime_behavior

pub fn hidden_runtime_behavior(profile: CoreProfile) -> Bool

Hidden-runtime-behavior accessor.

name

pub fn name(profile: CoreProfile) -> String

Profile name accessor.

override_seam_signature

pub fn override_seam_signature(profile: CoreProfile) -> String

Stable override-seam signature.

quick_start_ready

pub fn quick_start_ready(profile: CoreProfile) -> Bool

Quick-start readiness for narrow default profile usage.

reference_profiles

pub fn reference_profiles() -> List(CoreProfile)

Reference fixture profiles for deterministic M45 certification.

signature

pub fn signature(profile: CoreProfile) -> String

Stable profile signature.

snapshot_signature

pub fn snapshot_signature() -> String

Deterministic M45 fixture snapshot signature.

snapshot_version

pub const snapshot_version: Int

template_diagnostics_hatch

pub fn template_diagnostics_hatch() -> EscapeHatch

Predefined template seam escape hatch.

valid

pub fn valid(profile: CoreProfile) -> Bool

Validate profile contract.

websocket_fallback_hatch

pub fn websocket_fallback_hatch() -> EscapeHatch

Predefined runtime seam escape hatch.

with_escape_hatch

pub fn with_escape_hatch(
  profile: CoreProfile,
  hatch: EscapeHatch,
) -> CoreProfile

Append one escape hatch when missing.