-module(lightspeed@ops@nested_lifecycle_harness).
-compile([no_auto_import, nowarn_unused_vars, nowarn_unused_function, nowarn_nomatch, inline]).
-define(FILEPATH, "src/lightspeed/ops/nested_lifecycle_harness.gleam").
-export([pass_fail_label/1, run_scenario/1, run_matrix/0, lifecycle_contract_version_label/0, scenario_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 nested lifecycle conformance harness for M55.\n").

-type scenario() :: stable_child_identity_contracts |
    suspend_resume_independent_updates |
    scoped_event_routing_and_patch_targeting |
    subtree_failure_isolation |
    regression_gate_determinism.

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

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

-file("src/lightspeed/ops/nested_lifecycle_harness.gleam", 442).
-spec count_nondeterministic(list(scenario_outcome())) -> integer().
count_nondeterministic(Outcomes) ->
    _pipe = Outcomes,
    _pipe@1 = gleam@list:filter(
        _pipe,
        fun(Outcome) -> not erlang:element(4, Outcome) end
    ),
    erlang:length(_pipe@1).

-file("src/lightspeed/ops/nested_lifecycle_harness.gleam", 436).
-spec count_failed(list(scenario_outcome())) -> integer().
count_failed(Outcomes) ->
    _pipe = Outcomes,
    _pipe@1 = gleam@list:filter(
        _pipe,
        fun(Outcome) -> not erlang:element(3, Outcome) end
    ),
    erlang:length(_pipe@1).

-file("src/lightspeed/ops/nested_lifecycle_harness.gleam", 94).
?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/nested_lifecycle_harness.gleam", 407).
-spec child_lifecycle_is(
    lightspeed@component@nested_lifecycle:runtime(),
    binary(),
    binary()
) -> boolean().
child_lifecycle_is(Runtime, Child_id, Expected) ->
    case lightspeed@component@nested_lifecycle:child(Runtime, Child_id) of
        {some, Node} ->
            lightspeed@component@nested_lifecycle:child_lifecycle_label(
                erlang:element(4, Node)
            )
            =:= Expected;

        none ->
            false
    end.

-file("src/lightspeed/ops/nested_lifecycle_harness.gleam", 326).
-spec evaluate_subtree_failure_isolation() -> {boolean(), binary()}.
evaluate_subtree_failure_isolation() ->
    {Runtime0, _} = lightspeed@component@nested_lifecycle:start(
        <<"parent-4"/utf8>>,
        <<"/rooms/4"/utf8>>
    ),
    {Runtime1, _} = lightspeed@component@nested_lifecycle:mount_child(
        Runtime0,
        <<"child-a"/utf8>>,
        <<"child/v1"/utf8>>,
        <<"<article>a-0</article>"/utf8>>
    ),
    {Runtime2, _} = lightspeed@component@nested_lifecycle:mount_child(
        Runtime1,
        <<"child-b"/utf8>>,
        <<"child/v1"/utf8>>,
        <<"<article>b-0</article>"/utf8>>
    ),
    {Runtime3, _} = lightspeed@component@nested_lifecycle:fail_child(
        Runtime2,
        <<"child-a"/utf8>>,
        <<"render_timeout"/utf8>>
    ),
    {Runtime4, Failed_route} = lightspeed@component@nested_lifecycle:route_event(
        Runtime3,
        lightspeed@component@nested_lifecycle:scoped_event(
            {child_scope, <<"child-a"/utf8>>},
            <<"tap"/utf8>>,
            <<"id=a-1"/utf8>>
        )
    ),
    {Runtime5, Sibling_patches} = lightspeed@component@nested_lifecycle:update_child(
        Runtime4,
        <<"child-b"/utf8>>,
        <<"<article>b-1</article>"/utf8>>
    ),
    Sibling_target_ok = case Sibling_patches of
        [Patch] ->
            lightspeed@diff:target(Patch) =:= lightspeed@component@nested_lifecycle:child_target(
                Runtime5,
                <<"child-b"/utf8>>
            );

        _ ->
            false
    end,
    Passed = (((lightspeed@component@nested_lifecycle:route_decision_label(
        Failed_route
    )
    =:= <<"rejected:child_failed:child-a:render_timeout"/utf8>>)
    andalso Sibling_target_ok)
    andalso lightspeed@component@nested_lifecycle:subtree_isolated(
        Runtime5,
        <<"child-a"/utf8>>
    ))
    andalso child_lifecycle_is(Runtime5, <<"child-b"/utf8>>, <<"mounted"/utf8>>),
    {Passed, lightspeed@component@nested_lifecycle:runtime_signature(Runtime5)}.

-file("src/lightspeed/ops/nested_lifecycle_harness.gleam", 448).
-spec list_contains(list(binary()), binary()) -> boolean().
list_contains(Items, Expected) ->
    case Items of
        [] ->
            false;

        [Value | Rest] ->
            case Value =:= Expected of
                true ->
                    true;

                false ->
                    list_contains(Rest, Expected)
            end
    end.

-file("src/lightspeed/ops/nested_lifecycle_harness.gleam", 268).
-spec evaluate_scoped_event_routing_and_patch_targeting() -> {boolean(),
    binary()}.
evaluate_scoped_event_routing_and_patch_targeting() ->
    {Runtime0, _} = lightspeed@component@nested_lifecycle:start(
        <<"parent-3"/utf8>>,
        <<"/rooms/3"/utf8>>
    ),
    {Runtime1, _} = lightspeed@component@nested_lifecycle:mount_child(
        Runtime0,
        <<"child-a"/utf8>>,
        <<"child/v1"/utf8>>,
        <<"<article>a-0</article>"/utf8>>
    ),
    {Runtime2, _} = lightspeed@component@nested_lifecycle:mount_child(
        Runtime1,
        <<"child-b"/utf8>>,
        <<"child/v1"/utf8>>,
        <<"<article>b-0</article>"/utf8>>
    ),
    {Runtime3, Parent_decision} = lightspeed@component@nested_lifecycle:route_event(
        Runtime2,
        lightspeed@component@nested_lifecycle:scoped_event(
            parent_scope,
            <<"refresh"/utf8>>,
            <<""/utf8>>
        )
    ),
    {Runtime4, Child_decision} = lightspeed@component@nested_lifecycle:route_event(
        Runtime3,
        lightspeed@component@nested_lifecycle:scoped_event(
            {child_scope, <<"child-a"/utf8>>},
            <<"tap"/utf8>>,
            <<"id=a-1"/utf8>>
        )
    ),
    {Runtime5, Missing_decision} = lightspeed@component@nested_lifecycle:route_event(
        Runtime4,
        lightspeed@component@nested_lifecycle:scoped_event(
            {child_scope, <<"child-missing"/utf8>>},
            <<"tap"/utf8>>,
            <<"id=missing"/utf8>>
        )
    ),
    {Runtime6, _} = lightspeed@component@nested_lifecycle:update_child(
        Runtime5,
        <<"child-a"/utf8>>,
        <<"<article>a-1</article>"/utf8>>
    ),
    Patch_targets = gleam@list:map(
        lightspeed@component@nested_lifecycle:patches(Runtime6),
        fun lightspeed@diff:target/1
    ),
    Passed = ((((lightspeed@component@nested_lifecycle:route_decision_label(
        Parent_decision
    )
    =:= <<"routed_to_parent"/utf8>>)
    andalso (lightspeed@component@nested_lifecycle:route_decision_label(
        Child_decision
    )
    =:= <<"routed_to_child:child-a"/utf8>>))
    andalso (lightspeed@component@nested_lifecycle:route_decision_label(
        Missing_decision
    )
    =:= <<"rejected:unknown_child:child-missing"/utf8>>))
    andalso list_contains(
        Patch_targets,
        lightspeed@component@nested_lifecycle:child_target(
            Runtime6,
            <<"child-a"/utf8>>
        )
    ))
    andalso lightspeed@component@nested_lifecycle:authority_invariants(Runtime6),
    {Passed, lightspeed@component@nested_lifecycle:runtime_signature(Runtime6)}.

-file("src/lightspeed/ops/nested_lifecycle_harness.gleam", 426).
-spec latest_patch_from_list(
    list(lightspeed@diff:patch()),
    lightspeed@diff:patch()
) -> gleam@option:option(lightspeed@diff:patch()).
latest_patch_from_list(Patches, Latest) ->
    case Patches of
        [] ->
            {some, Latest};

        [Patch | Rest] ->
            latest_patch_from_list(Rest, Patch)
    end.

-file("src/lightspeed/ops/nested_lifecycle_harness.gleam", 419).
-spec latest_patch(lightspeed@component@nested_lifecycle:runtime()) -> gleam@option:option(lightspeed@diff:patch()).
latest_patch(Runtime) ->
    case lightspeed@component@nested_lifecycle:patches(Runtime) of
        [] ->
            none;

        [Patch | Rest] ->
            latest_patch_from_list(Rest, Patch)
    end.

-file("src/lightspeed/ops/nested_lifecycle_harness.gleam", 231).
-spec evaluate_suspend_resume_independent_updates() -> {boolean(), binary()}.
evaluate_suspend_resume_independent_updates() ->
    {Runtime0, _} = lightspeed@component@nested_lifecycle:start(
        <<"parent-2"/utf8>>,
        <<"/rooms/2"/utf8>>
    ),
    {Runtime1, _} = lightspeed@component@nested_lifecycle:mount_child(
        Runtime0,
        <<"child-a"/utf8>>,
        <<"child/v1"/utf8>>,
        <<"<article>a-0</article>"/utf8>>
    ),
    {Runtime2, _} = lightspeed@component@nested_lifecycle:mount_child(
        Runtime1,
        <<"child-b"/utf8>>,
        <<"child/v1"/utf8>>,
        <<"<article>b-0</article>"/utf8>>
    ),
    Runtime3 = lightspeed@component@nested_lifecycle:suspend_child(
        Runtime2,
        <<"child-a"/utf8>>
    ),
    {Runtime4, _} = lightspeed@component@nested_lifecycle:update_child(
        Runtime3,
        <<"child-b"/utf8>>,
        <<"<article>b-1</article>"/utf8>>
    ),
    Runtime5 = lightspeed@component@nested_lifecycle:resume_child(
        Runtime4,
        <<"child-a"/utf8>>
    ),
    Target_ok = case latest_patch(Runtime5) of
        {some, Patch} ->
            lightspeed@diff:target(Patch) =:= lightspeed@component@nested_lifecycle:child_target(
                Runtime5,
                <<"child-b"/utf8>>
            );

        none ->
            false
    end,
    Child_a_ok = child_lifecycle_is(
        Runtime5,
        <<"child-a"/utf8>>,
        <<"mounted"/utf8>>
    ),
    Child_b_ok = child_lifecycle_is(
        Runtime5,
        <<"child-b"/utf8>>,
        <<"mounted"/utf8>>
    ),
    Passed = ((Target_ok andalso Child_a_ok) andalso Child_b_ok) andalso (lightspeed@component@nested_lifecycle:parent_mount_count(
        Runtime5
    )
    =:= 1),
    {Passed, lightspeed@component@nested_lifecycle:runtime_signature(Runtime5)}.

-file("src/lightspeed/ops/nested_lifecycle_harness.gleam", 201).
-spec evaluate_stable_child_identity_contracts() -> {boolean(), binary()}.
evaluate_stable_child_identity_contracts() ->
    {Runtime0, _} = lightspeed@component@nested_lifecycle:start(
        <<"parent-1"/utf8>>,
        <<"/rooms/1"/utf8>>
    ),
    {Runtime1, _} = lightspeed@component@nested_lifecycle:mount_child(
        Runtime0,
        <<"child-a"/utf8>>,
        <<"child/v1"/utf8>>,
        <<"<article>a-0</article>"/utf8>>
    ),
    {Runtime2, _} = lightspeed@component@nested_lifecycle:mount_child(
        Runtime1,
        <<"child-b"/utf8>>,
        <<"child/v1"/utf8>>,
        <<"<article>b-0</article>"/utf8>>
    ),
    {Runtime3, _} = lightspeed@component@nested_lifecycle:update_child(
        Runtime2,
        <<"child-a"/utf8>>,
        <<"<article>a-1</article>"/utf8>>
    ),
    Runtime4 = lightspeed@component@nested_lifecycle:suspend_child(
        Runtime3,
        <<"child-a"/utf8>>
    ),
    Runtime5 = lightspeed@component@nested_lifecycle:resume_child(
        Runtime4,
        <<"child-a"/utf8>>
    ),
    Passed = (lightspeed@component@nested_lifecycle:stable_child_identity(
        Runtime5
    )
    andalso (lightspeed@component@nested_lifecycle:parent_mount_count(Runtime5)
    =:= 1))
    andalso lightspeed@component@nested_lifecycle:authority_invariants(Runtime5),
    Signature = lightspeed@component@nested_lifecycle:runtime_signature(
        Runtime5
    ),
    {Passed, Signature}.

-file("src/lightspeed/ops/nested_lifecycle_harness.gleam", 371).
-spec evaluate_regression_gate_determinism() -> {boolean(), binary()}.
evaluate_regression_gate_determinism() ->
    Identity = run_scenario(stable_child_identity_contracts),
    Suspend_resume = run_scenario(suspend_resume_independent_updates),
    Routing = run_scenario(scoped_event_routing_and_patch_targeting),
    Isolation = run_scenario(subtree_failure_isolation),
    Signature = <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<"identity="/utf8,
                                                                (pass_fail_label(
                                                                    Identity
                                                                ))/binary>>/binary,
                                                            ":"/utf8>>/binary,
                                                        (erlang:element(
                                                            5,
                                                            Identity
                                                        ))/binary>>/binary,
                                                    "|suspend_resume="/utf8>>/binary,
                                                (pass_fail_label(Suspend_resume))/binary>>/binary,
                                            ":"/utf8>>/binary,
                                        (erlang:element(5, Suspend_resume))/binary>>/binary,
                                    "|routing="/utf8>>/binary,
                                (pass_fail_label(Routing))/binary>>/binary,
                            ":"/utf8>>/binary,
                        (erlang:element(5, Routing))/binary>>/binary,
                    "|isolation="/utf8>>/binary,
                (pass_fail_label(Isolation))/binary>>/binary,
            ":"/utf8>>/binary,
        (erlang:element(5, Isolation))/binary>>,
    {((((((erlang:element(3, Identity) andalso erlang:element(4, Identity))
        andalso erlang:element(3, Suspend_resume))
        andalso erlang:element(4, Suspend_resume))
        andalso erlang:element(3, Routing))
        andalso erlang:element(4, Routing))
        andalso erlang:element(3, Isolation))
        andalso erlang:element(4, Isolation),
        Signature}.

-file("src/lightspeed/ops/nested_lifecycle_harness.gleam", 189).
-spec evaluate(scenario()) -> {boolean(), binary()}.
evaluate(Scenario) ->
    case Scenario of
        stable_child_identity_contracts ->
            evaluate_stable_child_identity_contracts();

        suspend_resume_independent_updates ->
            evaluate_suspend_resume_independent_updates();

        scoped_event_routing_and_patch_targeting ->
            evaluate_scoped_event_routing_and_patch_targeting();

        subtree_failure_isolation ->
            evaluate_subtree_failure_isolation();

        regression_gate_determinism ->
            evaluate_regression_gate_determinism()
    end.

-file("src/lightspeed/ops/nested_lifecycle_harness.gleam", 61).
?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/nested_lifecycle_harness.gleam", 42).
?DOC(" Run all M55 scenarios.\n").
-spec run_matrix() -> report().
run_matrix() ->
    Outcomes = begin
        _pipe = [stable_child_identity_contracts,
            suspend_resume_independent_updates,
            scoped_event_routing_and_patch_targeting,
            subtree_failure_isolation,
            regression_gate_determinism],
        gleam@list:map(_pipe, fun run_scenario/1)
    end,
    {report, Outcomes, count_failed(Outcomes), count_nondeterministic(Outcomes)}.

-file("src/lightspeed/ops/nested_lifecycle_harness.gleam", 77).
?DOC(" M55 lifecycle contract version label.\n").
-spec lifecycle_contract_version_label() -> binary().
lifecycle_contract_version_label() ->
    <<"m55.lifecycle.v"/utf8, (erlang:integer_to_binary(1))/binary>>.

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

        suspend_resume_independent_updates ->
            <<"suspend_resume_independent_updates"/utf8>>;

        scoped_event_routing_and_patch_targeting ->
            <<"scoped_event_routing_and_patch_targeting"/utf8>>;

        subtree_failure_isolation ->
            <<"subtree_failure_isolation"/utf8>>;

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

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

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

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

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

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

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

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

        [First | Rest] ->
            gleam@list:fold(
                Rest,
                First,
                fun(Accumulator, Value) ->
                    <<<<Accumulator/binary, Separator/binary>>/binary,
                        Value/binary>>
                end
            )
    end.

-file("src/lightspeed/ops/nested_lifecycle_harness.gleam", 459).
-spec bool_label(boolean()) -> binary().
bool_label(Value) ->
    case Value of
        true ->
            <<"true"/utf8>>;

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

-file("src/lightspeed/ops/nested_lifecycle_harness.gleam", 132).
?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/nested_lifecycle_harness.gleam", 148).
?DOC(" Deterministic snapshot signature for M55 fixture drift gates.\n").
-spec snapshot_signature() -> binary().
snapshot_signature() ->
    <<<<<<"m55.snapshot.v"/utf8, (erlang:integer_to_binary(1))/binary>>/binary,
            "|"/utf8>>/binary,
        (report_signature(run_matrix()))/binary>>.

-file("src/lightspeed/ops/nested_lifecycle_harness.gleam", 156).
?DOC(" Deterministic markdown report for M55 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,
    <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<"# Nested Lifecycle Fixture Report\n\n"/utf8,
                                                                                        "snapshot_version: "/utf8>>/binary,
                                                                                    (erlang:integer_to_binary(
                                                                                        1
                                                                                    ))/binary>>/binary,
                                                                                "\n"/utf8>>/binary,
                                                                            "lifecycle_contract_version: "/utf8>>/binary,
                                                                        (lifecycle_contract_version_label(
                                                                            
                                                                        ))/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>>.