-module(lightspeed@ops@ga_harness).
-compile([no_auto_import, nowarn_unused_vars, nowarn_unused_function, nowarn_nomatch, inline]).
-define(FILEPATH, "src/lightspeed/ops/ga_harness.gleam").
-export([run_scenario/1, run_matrix/0, scenario_label/1, pass_fail_label/1, signature/1, deterministic/1, scenario/1, outcomes/1, failed_scenarios/1, nondeterministic_failures/1, report_signature/1]).
-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(" GA parity harness for 1.0.0 release readiness and reproducibility.\n").
-type scenario() :: policy_freeze |
quality_gate |
performance_gate |
channel_gate |
generator_gate |
migration_gate.
-type scenario_outcome() :: {scenario_outcome,
scenario(),
boolean(),
boolean(),
binary()}.
-type report() :: {report, list(scenario_outcome()), integer(), integer()}.
-file("src/lightspeed/ops/ga_harness.gleam", 245).
-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/ga_harness.gleam", 234).
-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/ga_harness.gleam", 211).
-spec evaluate_migration_gate() -> {boolean(), binary()}.
evaluate_migration_gate() ->
First = lightspeed@ops@migration_harness:run_matrix(),
Second = lightspeed@ops@migration_harness:run_matrix(),
First_signature = lightspeed@ops@migration_harness:report_signature(First),
Second_signature = lightspeed@ops@migration_harness:report_signature(Second),
Passed = (lightspeed@ops@migration_harness:failed_scenarios(First) =:= 0)
andalso (First_signature =:= Second_signature),
{Passed, First_signature}.
-file("src/lightspeed/ops/ga_harness.gleam", 199).
-spec evaluate_generator_gate() -> {boolean(), binary()}.
evaluate_generator_gate() ->
First = lightspeed@ops@generator_harness:run_matrix(),
Second = lightspeed@ops@generator_harness:run_matrix(),
First_signature = lightspeed@ops@generator_harness:report_signature(First),
Second_signature = lightspeed@ops@generator_harness:report_signature(Second),
Passed = (lightspeed@ops@generator_harness:failed_scenarios(First) =:= 0)
andalso (First_signature =:= Second_signature),
{Passed, First_signature}.
-file("src/lightspeed/ops/ga_harness.gleam", 189).
-spec evaluate_channel_gate() -> {boolean(), binary()}.
evaluate_channel_gate() ->
First = lightspeed@ops@channel_harness:run_default(),
Second = lightspeed@ops@channel_harness:run_default(),
First_signature = lightspeed@ops@channel_harness:report_signature(First),
Second_signature = lightspeed@ops@channel_harness:report_signature(Second),
Passed = First_signature =:= Second_signature,
{Passed, First_signature}.
-file("src/lightspeed/ops/ga_harness.gleam", 177).
-spec evaluate_performance_gate() -> {boolean(), binary()}.
evaluate_performance_gate() ->
Report = lightspeed@ops@performance_harness:run_suite(),
Budget = lightspeed@ops@performance_harness:evaluate_budget(
Report,
lightspeed@ops@performance_harness:default_budget()
),
Passed = lightspeed@ops@performance_harness:budget_failures(Budget) =:= 0,
{Passed, lightspeed@ops@performance_harness:report_signature(Report)}.
-file("src/lightspeed/ops/ga_harness.gleam", 168).
-spec evaluate_quality_gate() -> {boolean(), binary()}.
evaluate_quality_gate() ->
Report = lightspeed@ops@quality_harness:run_matrix(),
Passed = (lightspeed@ops@quality_harness:failed_scenarios(Report) =:= 0)
andalso (lightspeed@ops@quality_harness:nondeterministic_failures(Report)
=:= 0),
{Passed, lightspeed@ops@quality_harness:report_signature(Report)}.
-file("src/lightspeed/ops/ga_harness.gleam", 223).
-spec has_milestone(list(lightspeed@release@policy:matrix_entry()), binary()) -> boolean().
has_milestone(Entries, Milestone) ->
case Entries of
[] ->
false;
[Entry | Rest] ->
case erlang:element(2, Entry) =:= Milestone of
true ->
true;
false ->
has_milestone(Rest, Milestone)
end
end.
-file("src/lightspeed/ops/ga_harness.gleam", 152).
-spec evaluate_policy_freeze() -> {boolean(), binary()}.
evaluate_policy_freeze() ->
Release_policy = lightspeed@release@policy:ga_1_0_0(),
Matrix = lightspeed@release@policy:matrix(Release_policy),
Passed = ((((((lightspeed@release@policy:valid(Release_policy) andalso has_milestone(
Matrix,
<<"M13"/utf8>>
))
andalso has_milestone(Matrix, <<"M14"/utf8>>))
andalso has_milestone(Matrix, <<"M15"/utf8>>))
andalso has_milestone(Matrix, <<"M16"/utf8>>))
andalso has_milestone(Matrix, <<"M17"/utf8>>))
andalso has_milestone(Matrix, <<"M18"/utf8>>))
andalso has_milestone(Matrix, <<"M19"/utf8>>),
{Passed, lightspeed@release@policy:policy_signature(Release_policy)}.
-file("src/lightspeed/ops/ga_harness.gleam", 141).
-spec evaluate(scenario()) -> {boolean(), binary()}.
evaluate(Scenario) ->
case Scenario of
policy_freeze ->
evaluate_policy_freeze();
quality_gate ->
evaluate_quality_gate();
performance_gate ->
evaluate_performance_gate();
channel_gate ->
evaluate_channel_gate();
generator_gate ->
evaluate_generator_gate();
migration_gate ->
evaluate_migration_gate()
end.
-file("src/lightspeed/ops/ga_harness.gleam", 60).
?DOC(" Run one scenario twice and require stable signature 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/ga_harness.gleam", 41).
?DOC(" Run all M20 GA readiness scenarios.\n").
-spec run_matrix() -> report().
run_matrix() ->
Scenarios = [policy_freeze,
quality_gate,
performance_gate,
channel_gate,
generator_gate,
migration_gate],
Outcomes = gleam@list:map(Scenarios, fun run_scenario/1),
{report, Outcomes, count_failed(Outcomes), count_nondeterministic(Outcomes)}.
-file("src/lightspeed/ops/ga_harness.gleam", 76).
?DOC(" Scenario label.\n").
-spec scenario_label(scenario()) -> binary().
scenario_label(Scenario) ->
case Scenario of
policy_freeze ->
<<"policy_freeze"/utf8>>;
quality_gate ->
<<"quality_gate"/utf8>>;
performance_gate ->
<<"performance_gate"/utf8>>;
channel_gate ->
<<"channel_gate"/utf8>>;
generator_gate ->
<<"generator_gate"/utf8>>;
migration_gate ->
<<"migration_gate"/utf8>>
end.
-file("src/lightspeed/ops/ga_harness.gleam", 88).
?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/ga_harness.gleam", 96).
?DOC(" Scenario signature.\n").
-spec signature(scenario_outcome()) -> binary().
signature(Outcome) ->
erlang:element(5, Outcome).
-file("src/lightspeed/ops/ga_harness.gleam", 101).
?DOC(" Determinism accessor.\n").
-spec deterministic(scenario_outcome()) -> boolean().
deterministic(Outcome) ->
erlang:element(4, Outcome).
-file("src/lightspeed/ops/ga_harness.gleam", 106).
?DOC(" Scenario accessor.\n").
-spec scenario(scenario_outcome()) -> scenario().
scenario(Outcome) ->
erlang:element(2, Outcome).
-file("src/lightspeed/ops/ga_harness.gleam", 111).
?DOC(" Outcomes accessor.\n").
-spec outcomes(report()) -> list(scenario_outcome()).
outcomes(Report) ->
erlang:element(2, Report).
-file("src/lightspeed/ops/ga_harness.gleam", 116).
?DOC(" Failed scenario count.\n").
-spec failed_scenarios(report()) -> integer().
failed_scenarios(Report) ->
erlang:element(3, Report).
-file("src/lightspeed/ops/ga_harness.gleam", 121).
?DOC(" Nondeterministic scenario count.\n").
-spec nondeterministic_failures(report()) -> integer().
nondeterministic_failures(Report) ->
erlang:element(4, Report).
-file("src/lightspeed/ops/ga_harness.gleam", 263).
-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/ga_harness.gleam", 256).
-spec bool_label(boolean()) -> binary().
bool_label(Value) ->
case Value of
true ->
<<"true"/utf8>>;
false ->
<<"false"/utf8>>
end.
-file("src/lightspeed/ops/ga_harness.gleam", 126).
?DOC(" Stable report signature for M20 fixtures and release checklist evidence.\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).
