-module(lightspeed@platform@convention_profile).
-compile([no_auto_import, nowarn_unused_vars, nowarn_unused_function, nowarn_nomatch, inline]).
-define(FILEPATH, "src/lightspeed/platform/convention_profile.gleam").
-export([default_profile/0, websocket_fallback_hatch/0, data_partition_hatch/0, template_diagnostics_hatch/0, escape_hatch/4, with_escape_hatch/2, name/1, escape_hatches/1, hidden_runtime_behavior/1, has_stable_override_seams/1, valid/1, quick_start_ready/1, configuration_surface/1, configuration_surface_size/1, configuration_surface_signature/1, override_seam_signature/1, signature/1, reference_profiles/0, fixture_snapshots/0, snapshot_signature/0]).
-export_type([runtime_convention/0, data_convention/0, template_convention/0, escape_seam/0, escape_hatch/0, core_profile/0]).

-if(?OTP_RELEASE >= 27).
-define(MODULEDOC(Str), -moduledoc(Str)).
-define(DOC(Str), -doc(Str)).
-else.
-define(MODULEDOC(Str), -compile([])).
-define(DOC(Str), -compile([])).
-endif.

?MODULEDOC(" Convention-over-configuration core profile contracts for M45.\n").

-type runtime_convention() :: {runtime_convention,
        binary(),
        binary(),
        binary(),
        binary(),
        binary()}.

-type data_convention() :: {data_convention,
        binary(),
        binary(),
        binary(),
        boolean()}.

-type template_convention() :: {template_convention,
        binary(),
        binary(),
        binary(),
        binary()}.

-type escape_seam() :: runtime_seam | data_seam | template_seam.

-type escape_hatch() :: {escape_hatch,
        escape_seam(),
        binary(),
        binary(),
        binary()}.

-type core_profile() :: {core_profile,
        binary(),
        runtime_convention(),
        data_convention(),
        template_convention(),
        list(escape_hatch()),
        boolean()}.

-file("src/lightspeed/platform/convention_profile.gleam", 64).
?DOC(" Narrow M45 default profile for common runtime/data/template workflows.\n").
-spec default_profile() -> core_profile().
default_profile() ->
    {core_profile,
        <<"core_default"/utf8>>,
        {runtime_convention,
            <<"MyApp.Web.Endpoint"/utf8>>,
            <<"MyApp.Web.Router"/utf8>>,
            <<"websocket_primary"/utf8>>,
            <<"MyApp.Session.Store"/utf8>>,
            <<"explicit_supervision_plan"/utf8>>},
        {data_convention,
            <<"MyApp.Data.Scope"/utf8>>,
            <<"MyApp.Data.Repository"/utf8>>,
            <<"sql_migrations"/utf8>>,
            true},
        {template_convention,
            <<"MyApp.Web.TemplateErgonomics"/utf8>>,
            <<"MyApp.Web.TemplateCompiler"/utf8>>,
            <<"explicit_slot_defaults"/utf8>>,
            <<"strict_deterministic"/utf8>>},
        [],
        false}.

-file("src/lightspeed/platform/convention_profile.gleam", 92).
?DOC(" Predefined runtime seam escape hatch.\n").
-spec websocket_fallback_hatch() -> escape_hatch().
websocket_fallback_hatch() ->
    {escape_hatch,
        runtime_seam,
        <<"MyApp.Runtime.TransportHooks"/utf8>>,
        <<"override_transport_fallback"/utf8>>,
        <<"enable websocket+sse fallback profile for constrained networks"/utf8>>}.

-file("src/lightspeed/platform/convention_profile.gleam", 102).
?DOC(" Predefined data seam escape hatch.\n").
-spec data_partition_hatch() -> escape_hatch().
data_partition_hatch() ->
    {escape_hatch,
        data_seam,
        <<"MyApp.Data.PartitionHooks"/utf8>>,
        <<"resolve_partition_for_tenant"/utf8>>,
        <<"route selected tenants to non-default shard topology"/utf8>>}.

-file("src/lightspeed/platform/convention_profile.gleam", 112).
?DOC(" Predefined template seam escape hatch.\n").
-spec template_diagnostics_hatch() -> escape_hatch().
template_diagnostics_hatch() ->
    {escape_hatch,
        template_seam,
        <<"MyApp.Web.TemplateHooks"/utf8>>,
        <<"customize_diagnostic_hints"/utf8>>,
        <<"add domain-specific migration hints for legacy templates"/utf8>>}.

-file("src/lightspeed/platform/convention_profile.gleam", 122).
?DOC(" Build one explicit escape hatch.\n").
-spec escape_hatch(escape_seam(), binary(), binary(), binary()) -> escape_hatch().
escape_hatch(Seam, Module, Hook, Rationale) ->
    {escape_hatch, Seam, Module, Hook, Rationale}.

-file("src/lightspeed/platform/convention_profile.gleam", 351).
-spec append_hatch(list(escape_hatch()), escape_hatch()) -> list(escape_hatch()).
append_hatch(Hatches, Hatch) ->
    case Hatches of
        [] ->
            [Hatch];

        [Entry | Rest] ->
            [Entry | append_hatch(Rest, Hatch)]
    end.

-file("src/lightspeed/platform/convention_profile.gleam", 372).
-spec seam_label(escape_seam()) -> binary().
seam_label(Seam) ->
    case Seam of
        runtime_seam ->
            <<"runtime"/utf8>>;

        data_seam ->
            <<"data"/utf8>>;

        template_seam ->
            <<"template"/utf8>>
    end.

-file("src/lightspeed/platform/convention_profile.gleam", 337).
-spec hatch_contract_key(escape_hatch()) -> binary().
hatch_contract_key(Hatch) ->
    <<<<<<<<(seam_label(erlang:element(2, Hatch)))/binary, ":"/utf8>>/binary,
                (erlang:element(3, Hatch))/binary>>/binary,
            ":"/utf8>>/binary,
        (erlang:element(4, Hatch))/binary>>.

-file("src/lightspeed/platform/convention_profile.gleam", 326).
-spec contains_hatch_contract(list(escape_hatch()), binary()) -> boolean().
contains_hatch_contract(Hatches, Key) ->
    case Hatches of
        [] ->
            false;

        [Hatch | Rest] ->
            case hatch_contract_key(Hatch) =:= Key of
                true ->
                    true;

                false ->
                    contains_hatch_contract(Rest, Key)
            end
    end.

-file("src/lightspeed/platform/convention_profile.gleam", 341).
-spec append_hatch_if_missing(list(escape_hatch()), escape_hatch()) -> list(escape_hatch()).
append_hatch_if_missing(Hatches, Hatch) ->
    case contains_hatch_contract(Hatches, hatch_contract_key(Hatch)) of
        true ->
            Hatches;

        false ->
            append_hatch(Hatches, Hatch)
    end.

-file("src/lightspeed/platform/convention_profile.gleam", 132).
?DOC(" Append one escape hatch when missing.\n").
-spec with_escape_hatch(core_profile(), escape_hatch()) -> core_profile().
with_escape_hatch(Profile, Hatch) ->
    {core_profile,
        erlang:element(2, Profile),
        erlang:element(3, Profile),
        erlang:element(4, Profile),
        erlang:element(5, Profile),
        append_hatch_if_missing(erlang:element(6, Profile), Hatch),
        erlang:element(7, Profile)}.

-file("src/lightspeed/platform/convention_profile.gleam", 143).
?DOC(" Profile name accessor.\n").
-spec name(core_profile()) -> binary().
name(Profile) ->
    erlang:element(2, Profile).

-file("src/lightspeed/platform/convention_profile.gleam", 148).
?DOC(" Escape-hatch accessor.\n").
-spec escape_hatches(core_profile()) -> list(escape_hatch()).
escape_hatches(Profile) ->
    erlang:element(6, Profile).

-file("src/lightspeed/platform/convention_profile.gleam", 153).
?DOC(" Hidden-runtime-behavior accessor.\n").
-spec hidden_runtime_behavior(core_profile()) -> boolean().
hidden_runtime_behavior(Profile) ->
    erlang:element(7, Profile).

-file("src/lightspeed/platform/convention_profile.gleam", 317).
-spec unique_hatch_contracts(list(escape_hatch())) -> boolean().
unique_hatch_contracts(Hatches) ->
    case Hatches of
        [] ->
            true;

        [Hatch | Rest] ->
            not contains_hatch_contract(Rest, hatch_contract_key(Hatch)) andalso unique_hatch_contracts(
                Rest
            )
    end.

-file("src/lightspeed/platform/convention_profile.gleam", 313).
-spec hatch_valid(escape_hatch()) -> boolean().
hatch_valid(Hatch) ->
    ((erlang:element(3, Hatch) /= <<""/utf8>>) andalso (erlang:element(4, Hatch)
    /= <<""/utf8>>))
    andalso (erlang:element(5, Hatch) /= <<""/utf8>>).

-file("src/lightspeed/platform/convention_profile.gleam", 306).
-spec hatches_valid(list(escape_hatch())) -> boolean().
hatches_valid(Hatches) ->
    case Hatches of
        [] ->
            true;

        [Hatch | Rest] ->
            hatch_valid(Hatch) andalso hatches_valid(Rest)
    end.

-file("src/lightspeed/platform/convention_profile.gleam", 178).
?DOC(" Stable override seam contract verification.\n").
-spec has_stable_override_seams(core_profile()) -> boolean().
has_stable_override_seams(Profile) ->
    hatches_valid(erlang:element(6, Profile)) andalso unique_hatch_contracts(
        erlang:element(6, Profile)
    ).

-file("src/lightspeed/platform/convention_profile.gleam", 299).
-spec template_valid(template_convention()) -> boolean().
template_valid(Template) ->
    (((erlang:element(2, Template) /= <<""/utf8>>) andalso (erlang:element(
        3,
        Template
    )
    /= <<""/utf8>>))
    andalso (erlang:element(4, Template) /= <<""/utf8>>))
    andalso (erlang:element(5, Template) /= <<""/utf8>>).

-file("src/lightspeed/platform/convention_profile.gleam", 292).
-spec data_valid(data_convention()) -> boolean().
data_valid(Data) ->
    (((erlang:element(2, Data) /= <<""/utf8>>) andalso (erlang:element(3, Data)
    /= <<""/utf8>>))
    andalso (erlang:element(4, Data) /= <<""/utf8>>))
    andalso erlang:element(5, Data).

-file("src/lightspeed/platform/convention_profile.gleam", 284).
-spec runtime_valid(runtime_convention()) -> boolean().
runtime_valid(Runtime) ->
    ((((erlang:element(2, Runtime) /= <<""/utf8>>) andalso (erlang:element(
        3,
        Runtime
    )
    /= <<""/utf8>>))
    andalso (erlang:element(4, Runtime) /= <<""/utf8>>))
    andalso (erlang:element(5, Runtime) /= <<""/utf8>>))
    andalso (erlang:element(6, Runtime) /= <<""/utf8>>).

-file("src/lightspeed/platform/convention_profile.gleam", 158).
?DOC(" Validate profile contract.\n").
-spec valid(core_profile()) -> boolean().
valid(Profile) ->
    (((((erlang:element(2, Profile) /= <<""/utf8>>) andalso runtime_valid(
        erlang:element(3, Profile)
    ))
    andalso data_valid(erlang:element(4, Profile)))
    andalso template_valid(erlang:element(5, Profile)))
    andalso hatches_valid(erlang:element(6, Profile)))
    andalso has_stable_override_seams(Profile).

-file("src/lightspeed/platform/convention_profile.gleam", 168).
?DOC(" Quick-start readiness for narrow default profile usage.\n").
-spec quick_start_ready(core_profile()) -> boolean().
quick_start_ready(Profile) ->
    ((((valid(Profile) andalso not erlang:element(7, Profile)) andalso (erlang:element(
        6,
        Profile
    )
    =:= []))
    andalso (erlang:element(6, erlang:element(3, Profile)) =:= <<"explicit_supervision_plan"/utf8>>))
    andalso erlang:element(5, erlang:element(4, Profile)))
    andalso (erlang:element(5, erlang:element(5, Profile)) =:= <<"strict_deterministic"/utf8>>).

-file("src/lightspeed/platform/convention_profile.gleam", 422).
-spec concat(list(binary()), list(binary())) -> list(binary()).
concat(Left, Right) ->
    case Left of
        [] ->
            Right;

        [Value | Rest] ->
            [Value | concat(Rest, Right)]
    end.

-file("src/lightspeed/platform/convention_profile.gleam", 184).
?DOC(" Flattened configuration surface for runtime/data/template workflows.\n").
-spec configuration_surface(core_profile()) -> list(binary()).
configuration_surface(Profile) ->
    Base = [<<"runtime.endpoint_module="/utf8,
            (erlang:element(2, erlang:element(3, Profile)))/binary>>,
        <<"runtime.router_module="/utf8,
            (erlang:element(3, erlang:element(3, Profile)))/binary>>,
        <<"runtime.transport_profile="/utf8,
            (erlang:element(4, erlang:element(3, Profile)))/binary>>,
        <<"data.scope_module="/utf8,
            (erlang:element(2, erlang:element(4, Profile)))/binary>>,
        <<"data.repository_module="/utf8,
            (erlang:element(3, erlang:element(4, Profile)))/binary>>,
        <<"template.ergonomics_module="/utf8,
            (erlang:element(2, erlang:element(5, Profile)))/binary>>],
    Hatch_entries = gleam@list:map(
        erlang:element(6, Profile),
        fun(Hatch) ->
            <<<<<<<<<<"escape_hatch."/utf8,
                                (seam_label(erlang:element(2, Hatch)))/binary>>/binary,
                            "="/utf8>>/binary,
                        (erlang:element(3, Hatch))/binary>>/binary,
                    "#"/utf8>>/binary,
                (erlang:element(4, Hatch))/binary>>
        end
    ),
    concat(Base, Hatch_entries).

-file("src/lightspeed/platform/convention_profile.gleam", 207).
?DOC(" Configuration surface size accessor.\n").
-spec configuration_surface_size(core_profile()) -> integer().
configuration_surface_size(Profile) ->
    erlang:length(configuration_surface(Profile)).

-file("src/lightspeed/platform/convention_profile.gleam", 429).
-spec join_with(binary(), list(binary())) -> binary().
join_with(Separator, Values) ->
    case Values of
        [] ->
            <<""/utf8>>;

        [Value] ->
            Value;

        [Value@1 | Rest] ->
            <<<<Value@1/binary, Separator/binary>>/binary,
                (join_with(Separator, Rest))/binary>>
    end.

-file("src/lightspeed/platform/convention_profile.gleam", 212).
?DOC(" Stable configuration-surface signature.\n").
-spec configuration_surface_signature(core_profile()) -> binary().
configuration_surface_signature(Profile) ->
    <<"surface:"/utf8,
        (join_with(<<";"/utf8>>, configuration_surface(Profile)))/binary>>.

-file("src/lightspeed/platform/convention_profile.gleam", 361).
-spec seam_hooks(list(escape_hatch()), escape_seam()) -> list(binary()).
seam_hooks(Hatches, Seam) ->
    case Hatches of
        [] ->
            [];

        [Hatch | Rest] ->
            case erlang:element(2, Hatch) =:= Seam of
                true ->
                    [<<<<(erlang:element(3, Hatch))/binary, "#"/utf8>>/binary,
                            (erlang:element(4, Hatch))/binary>> |
                        seam_hooks(Rest, Seam)];

                false ->
                    seam_hooks(Rest, Seam)
            end
    end.

-file("src/lightspeed/platform/convention_profile.gleam", 217).
?DOC(" Stable override-seam signature.\n").
-spec override_seam_signature(core_profile()) -> binary().
override_seam_signature(Profile) ->
    <<<<<<<<<<"runtime="/utf8,
                        (join_with(
                            <<","/utf8>>,
                            seam_hooks(erlang:element(6, Profile), runtime_seam)
                        ))/binary>>/binary,
                    "|data="/utf8>>/binary,
                (join_with(
                    <<","/utf8>>,
                    seam_hooks(erlang:element(6, Profile), data_seam)
                ))/binary>>/binary,
            "|template="/utf8>>/binary,
        (join_with(
            <<","/utf8>>,
            seam_hooks(erlang:element(6, Profile), template_seam)
        ))/binary>>.

-file("src/lightspeed/platform/convention_profile.gleam", 415).
-spec bool_label(boolean()) -> binary().
bool_label(Value) ->
    case Value of
        true ->
            <<"true"/utf8>>;

        false ->
            <<"false"/utf8>>
    end.

-file("src/lightspeed/platform/convention_profile.gleam", 404).
-spec template_signature(template_convention()) -> binary().
template_signature(Template) ->
    <<<<<<<<<<<<<<"ergonomics="/utf8, (erlang:element(2, Template))/binary>>/binary,
                            "|compiler="/utf8>>/binary,
                        (erlang:element(3, Template))/binary>>/binary,
                    "|slot_defaults="/utf8>>/binary,
                (erlang:element(4, Template))/binary>>/binary,
            "|diagnostics="/utf8>>/binary,
        (erlang:element(5, Template))/binary>>.

-file("src/lightspeed/platform/convention_profile.gleam", 393).
-spec data_signature(data_convention()) -> binary().
data_signature(Data) ->
    <<<<<<<<<<<<<<"scope="/utf8, (erlang:element(2, Data))/binary>>/binary,
                            "|repository="/utf8>>/binary,
                        (erlang:element(3, Data))/binary>>/binary,
                    "|migration="/utf8>>/binary,
                (erlang:element(4, Data))/binary>>/binary,
            "|tenant_scope_required="/utf8>>/binary,
        (bool_label(erlang:element(5, Data)))/binary>>.

-file("src/lightspeed/platform/convention_profile.gleam", 380).
-spec runtime_signature(runtime_convention()) -> binary().
runtime_signature(Runtime) ->
    <<<<<<<<<<<<<<<<<<"endpoint="/utf8, (erlang:element(2, Runtime))/binary>>/binary,
                                    "|router="/utf8>>/binary,
                                (erlang:element(3, Runtime))/binary>>/binary,
                            "|transport="/utf8>>/binary,
                        (erlang:element(4, Runtime))/binary>>/binary,
                    "|session_store="/utf8>>/binary,
                (erlang:element(5, Runtime))/binary>>/binary,
            "|boot="/utf8>>/binary,
        (erlang:element(6, Runtime))/binary>>.

-file("src/lightspeed/platform/convention_profile.gleam", 227).
?DOC(" Stable profile signature.\n").
-spec signature(core_profile()) -> binary().
signature(Profile) ->
    <<<<<<<<<<<<<<<<<<<<<<"profile:"/utf8, (erlang:element(2, Profile))/binary>>/binary,
                                            "|runtime="/utf8>>/binary,
                                        (runtime_signature(
                                            erlang:element(3, Profile)
                                        ))/binary>>/binary,
                                    "|data="/utf8>>/binary,
                                (data_signature(erlang:element(4, Profile)))/binary>>/binary,
                            "|template="/utf8>>/binary,
                        (template_signature(erlang:element(5, Profile)))/binary>>/binary,
                    "|hidden_runtime_behavior="/utf8>>/binary,
                (bool_label(erlang:element(7, Profile)))/binary>>/binary,
            "|overrides="/utf8>>/binary,
        (override_seam_signature(Profile))/binary>>.

-file("src/lightspeed/platform/convention_profile.gleam", 243).
?DOC(" Reference fixture profiles for deterministic M45 certification.\n").
-spec reference_profiles() -> list(core_profile()).
reference_profiles() ->
    Baseline = default_profile(),
    Runtime_override = with_escape_hatch(Baseline, websocket_fallback_hatch()),
    Multi_override = begin
        _pipe = Baseline,
        _pipe@1 = with_escape_hatch(_pipe, websocket_fallback_hatch()),
        _pipe@2 = with_escape_hatch(_pipe@1, data_partition_hatch()),
        with_escape_hatch(_pipe@2, template_diagnostics_hatch())
    end,
    [Baseline, Runtime_override, Multi_override].

-file("src/lightspeed/platform/convention_profile.gleam", 256).
?DOC(" Deterministic fixture signatures for CI drift gates.\n").
-spec fixture_snapshots() -> list({binary(), binary()}).
fixture_snapshots() ->
    Profiles = reference_profiles(),
    case Profiles of
        [Baseline, Runtime_override, Multi_override] ->
            [{<<"default_profile"/utf8>>, signature(Baseline)},
                {<<"runtime_override_profile"/utf8>>,
                    signature(Runtime_override)},
                {<<"multi_override_profile"/utf8>>, signature(Multi_override)}];

        _ ->
            []
    end.

-file("src/lightspeed/platform/convention_profile.gleam", 270).
?DOC(" Deterministic M45 fixture snapshot signature.\n").
-spec snapshot_signature() -> binary().
snapshot_signature() ->
    Entries = begin
        _pipe = fixture_snapshots(),
        gleam@list:map(
            _pipe,
            fun(Entry) ->
                {Label, Value} = Entry,
                <<<<Label/binary, "="/utf8>>/binary, Value/binary>>
            end
        )
    end,
    <<<<<<"m45.profile.v"/utf8, (erlang:integer_to_binary(1))/binary>>/binary,
            "|"/utf8>>/binary,
        (join_with(<<";"/utf8>>, Entries))/binary>>.