-module(lightspeed@ops@app_platform_harness).
-compile([no_auto_import, nowarn_unused_vars, nowarn_unused_function, nowarn_nomatch, inline]).
-define(FILEPATH, "src/lightspeed/ops/app_platform_harness.gleam").
-export([run_scenario/1, run_matrix/0, scenario_label/1, pass_fail_label/1, signature/1, scenario/1, deterministic/1, outcomes/1, failed_scenarios/1, nondeterministic_failures/1, report_signature/1, snapshot_signature/0, snapshot_report_markdown/0]).
-export_type([scenario/0, scenario_outcome/0, report/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(" Deterministic app-platform conformance harness for M38.\n").

-type scenario() :: reference_composition_patterns |
    integration_seam_overrides |
    lifecycle_workflow_conformance |
    workflow_without_framework_patching.

-type scenario_outcome() :: {scenario_outcome,
        scenario(),
        boolean(),
        boolean(),
        binary()}.

-type report() :: {report, list(scenario_outcome()), integer(), integer()}.

-file("src/lightspeed/ops/app_platform_harness.gleam", 305).
-spec count_nondeterministic(list(scenario_outcome())) -> integer().
count_nondeterministic(Outcomes) ->
    case Outcomes of
        [] ->
            0;

        [Outcome | Rest] ->
            case erlang:element(4, Outcome) of
                true ->
                    count_nondeterministic(Rest);

                false ->
                    1 + count_nondeterministic(Rest)
            end
    end.

-file("src/lightspeed/ops/app_platform_harness.gleam", 294).
-spec count_failed(list(scenario_outcome())) -> integer().
count_failed(Outcomes) ->
    case Outcomes of
        [] ->
            0;

        [Outcome | Rest] ->
            case erlang:element(3, Outcome) of
                true ->
                    count_failed(Rest);

                false ->
                    1 + count_failed(Rest)
            end
    end.

-file("src/lightspeed/ops/app_platform_harness.gleam", 323).
-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/ops/app_platform_harness.gleam", 316).
-spec bool_label(boolean()) -> binary().
bool_label(Value) ->
    case Value of
        true ->
            <<"true"/utf8>>;

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

-file("src/lightspeed/ops/app_platform_harness.gleam", 282).
-spec profile_workflows_run_without_patching(
    lightspeed@platform@foundation:app_profile(),
    list(lightspeed@platform@foundation:lifecycle_workflow())
) -> boolean().
profile_workflows_run_without_patching(Profile, Required_workflows) ->
    case Required_workflows of
        [] ->
            true;

        [Workflow | Rest] ->
            lightspeed@platform@foundation:workflow_runs_without_internal_patching(
                Profile,
                Workflow
            )
            andalso profile_workflows_run_without_patching(Profile, Rest)
    end.

-file("src/lightspeed/ops/app_platform_harness.gleam", 269).
-spec profiles_run_without_framework_patching(
    list(lightspeed@platform@foundation:app_profile()),
    list(lightspeed@platform@foundation:lifecycle_workflow())
) -> boolean().
profiles_run_without_framework_patching(Profiles, Required_workflows) ->
    case Profiles of
        [] ->
            true;

        [Profile | Rest] ->
            (not lightspeed@platform@foundation:requires_framework_internal_patching(
                Profile
            )
            andalso profile_workflows_run_without_patching(
                Profile,
                Required_workflows
            ))
            andalso profiles_run_without_framework_patching(
                Rest,
                Required_workflows
            )
    end.

-file("src/lightspeed/ops/app_platform_harness.gleam", 213).
-spec evaluate_workflow_without_framework_patching() -> {boolean(), binary()}.
evaluate_workflow_without_framework_patching() ->
    Profiles = lightspeed@platform@foundation:reference_profiles(),
    Required = lightspeed@platform@foundation:required_workflows(),
    Passed = profiles_run_without_framework_patching(Profiles, Required),
    Entries = gleam@list:map(
        Profiles,
        fun(Profile) ->
            <<<<(lightspeed@platform@foundation:name(Profile))/binary,
                    ":patching_required="/utf8>>/binary,
                (bool_label(
                    lightspeed@platform@foundation:requires_framework_internal_patching(
                        Profile
                    )
                ))/binary>>
        end
    ),
    {Passed, join_with(<<";"/utf8>>, Entries)}.

-file("src/lightspeed/ops/app_platform_harness.gleam", 257).
-spec profile_supports_workflows(
    lightspeed@platform@foundation:app_profile(),
    list(lightspeed@platform@foundation:lifecycle_workflow())
) -> boolean().
profile_supports_workflows(Profile, Required_workflows) ->
    case Required_workflows of
        [] ->
            true;

        [Workflow | Rest] ->
            lightspeed@platform@foundation:supports_workflow(Profile, Workflow)
            andalso profile_supports_workflows(Profile, Rest)
    end.

-file("src/lightspeed/ops/app_platform_harness.gleam", 245).
-spec profiles_support_required_workflows(
    list(lightspeed@platform@foundation:app_profile()),
    list(lightspeed@platform@foundation:lifecycle_workflow())
) -> boolean().
profiles_support_required_workflows(Profiles, Required_workflows) ->
    case Profiles of
        [] ->
            true;

        [Profile | Rest] ->
            profile_supports_workflows(Profile, Required_workflows) andalso profiles_support_required_workflows(
                Rest,
                Required_workflows
            )
    end.

-file("src/lightspeed/ops/app_platform_harness.gleam", 204).
-spec evaluate_lifecycle_workflow_conformance() -> {boolean(), binary()}.
evaluate_lifecycle_workflow_conformance() ->
    Profiles = lightspeed@platform@foundation:reference_profiles(),
    Entries = gleam@list:map(
        Profiles,
        fun lightspeed@platform@foundation:workflow_matrix_signature/1
    ),
    Required = lightspeed@platform@foundation:required_workflows(),
    Passed = profiles_support_required_workflows(Profiles, Required),
    {Passed, join_with(<<";"/utf8>>, Entries)}.

-file("src/lightspeed/ops/app_platform_harness.gleam", 234).
-spec profiles_all_have_explicit_overrides(
    list(lightspeed@platform@foundation:app_profile())
) -> boolean().
profiles_all_have_explicit_overrides(Profiles) ->
    case Profiles of
        [] ->
            true;

        [Profile | Rest] ->
            lightspeed@platform@foundation:explicit_override_points(Profile)
            andalso profiles_all_have_explicit_overrides(Rest)
    end.

-file("src/lightspeed/ops/app_platform_harness.gleam", 191).
-spec evaluate_integration_seam_overrides() -> {boolean(), binary()}.
evaluate_integration_seam_overrides() ->
    Profiles = lightspeed@platform@foundation:reference_profiles(),
    Entries = gleam@list:map(
        Profiles,
        fun(Profile) ->
            <<<<(lightspeed@platform@foundation:name(Profile))/binary,
                    ":"/utf8>>/binary,
                (lightspeed@platform@foundation:seam_contract_signature(Profile))/binary>>
        end
    ),
    Passed = profiles_all_have_explicit_overrides(Profiles),
    {Passed, join_with(<<";"/utf8>>, Entries)}.

-file("src/lightspeed/ops/app_platform_harness.gleam", 227).
-spec profiles_all_valid(list(lightspeed@platform@foundation:app_profile())) -> boolean().
profiles_all_valid(Profiles) ->
    case Profiles of
        [] ->
            true;

        [Profile | Rest] ->
            lightspeed@platform@foundation:valid(Profile) andalso profiles_all_valid(
                Rest
            )
    end.

-file("src/lightspeed/ops/app_platform_harness.gleam", 183).
-spec evaluate_reference_composition_patterns() -> {boolean(), binary()}.
evaluate_reference_composition_patterns() ->
    Profiles = lightspeed@platform@foundation:reference_profiles(),
    Signatures = gleam@list:map(
        Profiles,
        fun lightspeed@platform@foundation:signature/1
    ),
    Passed = (erlang:length(Profiles) =:= 3) andalso profiles_all_valid(
        Profiles
    ),
    {Passed, join_with(<<";"/utf8>>, Signatures)}.

-file("src/lightspeed/ops/app_platform_harness.gleam", 173).
-spec evaluate(scenario()) -> {boolean(), binary()}.
evaluate(Scenario) ->
    case Scenario of
        reference_composition_patterns ->
            evaluate_reference_composition_patterns();

        integration_seam_overrides ->
            evaluate_integration_seam_overrides();

        lifecycle_workflow_conformance ->
            evaluate_lifecycle_workflow_conformance();

        workflow_without_framework_patching ->
            evaluate_workflow_without_framework_patching()
    end.

-file("src/lightspeed/ops/app_platform_harness.gleam", 55).
?DOC(" Run one scenario twice and require deterministic parity.\n").
-spec run_scenario(scenario()) -> scenario_outcome().
run_scenario(Scenario) ->
    {First_passed, First_signature} = evaluate(Scenario),
    {Second_passed, Second_signature} = evaluate(Scenario),
    Deterministic = (First_passed =:= Second_passed) andalso (First_signature
    =:= Second_signature),
    Passed = (First_passed andalso Second_passed) andalso Deterministic,
    {scenario_outcome, Scenario, Passed, Deterministic, First_signature}.

-file("src/lightspeed/ops/app_platform_harness.gleam", 37).
?DOC(" Run all M38 scenarios.\n").
-spec run_matrix() -> report().
run_matrix() ->
    Outcomes = begin
        _pipe = [reference_composition_patterns,
            integration_seam_overrides,
            lifecycle_workflow_conformance,
            workflow_without_framework_patching],
        gleam@list:map(_pipe, fun run_scenario/1)
    end,
    {report, Outcomes, count_failed(Outcomes), count_nondeterministic(Outcomes)}.

-file("src/lightspeed/ops/app_platform_harness.gleam", 71).
?DOC(" Scenario label.\n").
-spec scenario_label(scenario()) -> binary().
scenario_label(Scenario) ->
    case Scenario of
        reference_composition_patterns ->
            <<"reference_composition_patterns"/utf8>>;

        integration_seam_overrides ->
            <<"integration_seam_overrides"/utf8>>;

        lifecycle_workflow_conformance ->
            <<"lifecycle_workflow_conformance"/utf8>>;

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

-file("src/lightspeed/ops/app_platform_harness.gleam", 81).
?DOC(" Stable pass/fail label.\n").
-spec pass_fail_label(scenario_outcome()) -> binary().
pass_fail_label(Outcome) ->
    case erlang:element(3, Outcome) of
        true ->
            <<"pass"/utf8>>;

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

-file("src/lightspeed/ops/app_platform_harness.gleam", 89).
?DOC(" Scenario signature accessor.\n").
-spec signature(scenario_outcome()) -> binary().
signature(Outcome) ->
    erlang:element(5, Outcome).

-file("src/lightspeed/ops/app_platform_harness.gleam", 94).
?DOC(" Scenario accessor.\n").
-spec scenario(scenario_outcome()) -> scenario().
scenario(Outcome) ->
    erlang:element(2, Outcome).

-file("src/lightspeed/ops/app_platform_harness.gleam", 99).
?DOC(" Scenario determinism accessor.\n").
-spec deterministic(scenario_outcome()) -> boolean().
deterministic(Outcome) ->
    erlang:element(4, Outcome).

-file("src/lightspeed/ops/app_platform_harness.gleam", 104).
?DOC(" Report outcomes accessor.\n").
-spec outcomes(report()) -> list(scenario_outcome()).
outcomes(Report) ->
    erlang:element(2, Report).

-file("src/lightspeed/ops/app_platform_harness.gleam", 109).
?DOC(" Failed scenario count.\n").
-spec failed_scenarios(report()) -> integer().
failed_scenarios(Report) ->
    erlang:element(3, Report).

-file("src/lightspeed/ops/app_platform_harness.gleam", 114).
?DOC(" Nondeterministic scenario count.\n").
-spec nondeterministic_failures(report()) -> integer().
nondeterministic_failures(Report) ->
    erlang:element(4, Report).

-file("src/lightspeed/ops/app_platform_harness.gleam", 119).
?DOC(" Stable report signature.\n").
-spec report_signature(report()) -> binary().
report_signature(Report) ->
    Entries = gleam@list:map(
        erlang:element(2, Report),
        fun(Outcome) ->
            <<<<<<<<<<<<(scenario_label(erlang:element(2, Outcome)))/binary,
                                    "="/utf8>>/binary,
                                (pass_fail_label(Outcome))/binary>>/binary,
                            ":deterministic="/utf8>>/binary,
                        (bool_label(erlang:element(4, Outcome)))/binary>>/binary,
                    ":"/utf8>>/binary,
                (erlang:element(5, Outcome))/binary>>
        end
    ),
    join_with(<<";"/utf8>>, Entries).

-file("src/lightspeed/ops/app_platform_harness.gleam", 135).
?DOC(" Deterministic snapshot signature for M38 fixture drift gates.\n").
-spec snapshot_signature() -> binary().
snapshot_signature() ->
    <<<<<<"m38.snapshot.v"/utf8, (erlang:integer_to_binary(1))/binary>>/binary,
            "|"/utf8>>/binary,
        (report_signature(run_matrix()))/binary>>.

-file("src/lightspeed/ops/app_platform_harness.gleam", 143).
?DOC(" Deterministic markdown report for M38 fixture scripts.\n").
-spec snapshot_report_markdown() -> binary().
snapshot_report_markdown() ->
    Report = run_matrix(),
    Failed = failed_scenarios(Report),
    Nondeterministic = nondeterministic_failures(Report),
    Status = case (Failed =:= 0) andalso (Nondeterministic =:= 0) of
        true ->
            <<"OK"/utf8>>;

        false ->
            <<"FAIL"/utf8>>
    end,
    <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<"# App Platform Fixture Report\n\n"/utf8,
                                                                            "snapshot_version: "/utf8>>/binary,
                                                                        (erlang:integer_to_binary(
                                                                            1
                                                                        ))/binary>>/binary,
                                                                    "\n"/utf8>>/binary,
                                                                "status: "/utf8>>/binary,
                                                            Status/binary>>/binary,
                                                        "\n"/utf8>>/binary,
                                                    "failed_scenarios: "/utf8>>/binary,
                                                (erlang:integer_to_binary(
                                                    Failed
                                                ))/binary>>/binary,
                                            "\n"/utf8>>/binary,
                                        "nondeterministic_failures: "/utf8>>/binary,
                                    (erlang:integer_to_binary(Nondeterministic))/binary>>/binary,
                                "\n\n"/utf8>>/binary,
                            "snapshot_signature: "/utf8>>/binary,
                        (snapshot_signature())/binary>>/binary,
                    "\n\n"/utf8>>/binary,
                "report_signature: "/utf8>>/binary,
            (report_signature(Report))/binary>>/binary,
        "\n"/utf8>>.