-module(lightspeed@tooling@documentation_system).
-compile([no_auto_import, nowarn_unused_vars, nowarn_unused_function, nowarn_nomatch, inline]).
-define(FILEPATH, "src/lightspeed/tooling/documentation_system.gleam").
-export([bundle/9, m40_bundle/0, m41_bundle/0, m42_bundle/0, m43_bundle/0, m44_bundle/0, m45_bundle/0, m46_bundle/0, reference_bundles/0, milestone/1, module_refs/1, fixture_report/1, fixture_gate/1, module_reference_signature/1, fixture_reference_signature/1, upgrade_troubleshooting_signature/1, signature/1, valid_bundle/1, coherent_system/0, drift_check_contracts/0, versioned_upgrade_paths/0, versioned_troubleshooting_paths/0, evidence_requirements/0, evidence_requirement_signature/0, snapshot_signature/0]).
-export_type([documentation_bundle/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(" Documentation system contracts and evidence model for M46.\n").

-type documentation_bundle() :: {documentation_bundle,
        binary(),
        binary(),
        binary(),
        binary(),
        binary(),
        binary(),
        list(binary()),
        binary(),
        binary()}.

-file("src/lightspeed/tooling/documentation_system.gleam", 25).
?DOC(" Build one documentation bundle.\n").
-spec bundle(
    binary(),
    binary(),
    binary(),
    binary(),
    binary(),
    binary(),
    list(binary()),
    binary(),
    binary()
) -> documentation_bundle().
bundle(
    Milestone,
    Architecture_doc,
    Operations_doc,
    Testing_doc,
    Upgrade_doc,
    Troubleshooting_doc,
    Module_refs,
    Fixture_report,
    Fixture_gate
) ->
    {documentation_bundle,
        Milestone,
        Architecture_doc,
        Operations_doc,
        Testing_doc,
        Upgrade_doc,
        Troubleshooting_doc,
        Module_refs,
        Fixture_report,
        Fixture_gate}.

-file("src/lightspeed/tooling/documentation_system.gleam", 50).
?DOC(" M40 bundle.\n").
-spec m40_bundle() -> documentation_bundle().
m40_bundle() ->
    bundle(
        <<"m40"/utf8>>,
        <<"docs/production_app_operations_kit.md"/utf8>>,
        <<"docs/operator_runbook.md"/utf8>>,
        <<"docs/testing.md"/utf8>>,
        <<"docs/milestone_upgrade_troubleshooting.md"/utf8>>,
        <<"docs/operator_runbook.md"/utf8>>,
        [<<"lightspeed/ops/operations_kit"/utf8>>,
            <<"lightspeed/ops/operations_kit_harness"/utf8>>],
        <<"docs/reports/operations_kit_fixture_latest.md"/utf8>>,
        <<"make operations-kit-fixture-gate"/utf8>>
    ).

-file("src/lightspeed/tooling/documentation_system.gleam", 68).
?DOC(" M41 bundle.\n").
-spec m41_bundle() -> documentation_bundle().
m41_bundle() ->
    bundle(
        <<"m41"/utf8>>,
        <<"docs/ecosystem_adapter_sdk.md"/utf8>>,
        <<"docs/operator_adapter_sdk_playbook.md"/utf8>>,
        <<"docs/testing.md"/utf8>>,
        <<"docs/milestone_upgrade_troubleshooting.md"/utf8>>,
        <<"docs/operator_adapter_sdk_playbook.md"/utf8>>,
        [<<"lightspeed/integration/adapter_sdk"/utf8>>,
            <<"lightspeed/ops/adapter_sdk_harness"/utf8>>],
        <<"docs/reports/adapter_sdk_fixture_latest.md"/utf8>>,
        <<"make adapter-sdk-fixture-gate"/utf8>>
    ).

-file("src/lightspeed/tooling/documentation_system.gleam", 86).
?DOC(" M42 bundle.\n").
-spec m42_bundle() -> documentation_bundle().
m42_bundle() ->
    bundle(
        <<"m42"/utf8>>,
        <<"docs/replay_time_travel_diagnostics.md"/utf8>>,
        <<"docs/operator_replay_diagnostics_playbook.md"/utf8>>,
        <<"docs/testing.md"/utf8>>,
        <<"docs/milestone_upgrade_troubleshooting.md"/utf8>>,
        <<"docs/operator_replay_diagnostics_playbook.md"/utf8>>,
        [<<"lightspeed/ops/replay_diagnostics"/utf8>>,
            <<"lightspeed/ops/replay_diagnostics_harness"/utf8>>],
        <<"docs/reports/replay_diagnostics_fixture_latest.md"/utf8>>,
        <<"make replay-diagnostics-fixture-gate"/utf8>>
    ).

-file("src/lightspeed/tooling/documentation_system.gleam", 104).
?DOC(" M43 bundle.\n").
-spec m43_bundle() -> documentation_bundle().
m43_bundle() ->
    bundle(
        <<"m43"/utf8>>,
        <<"docs/protocol_contract_fuzz_harness.md"/utf8>>,
        <<"docs/operator_protocol_fuzz_playbook.md"/utf8>>,
        <<"docs/testing.md"/utf8>>,
        <<"docs/milestone_upgrade_troubleshooting.md"/utf8>>,
        <<"docs/operator_protocol_fuzz_playbook.md"/utf8>>,
        [<<"lightspeed/ops/protocol_contract_harness"/utf8>>,
            <<"lightspeed/protocol"/utf8>>],
        <<"docs/reports/protocol_contract_fixture_latest.md"/utf8>>,
        <<"make protocol-contract-fixture-gate"/utf8>>
    ).

-file("src/lightspeed/tooling/documentation_system.gleam", 122).
?DOC(" M44 bundle.\n").
-spec m44_bundle() -> documentation_bundle().
m44_bundle() ->
    bundle(
        <<"m44"/utf8>>,
        <<"docs/ai_native_application_workflow.md"/utf8>>,
        <<"docs/operator_ai_workflow_playbook.md"/utf8>>,
        <<"docs/testing.md"/utf8>>,
        <<"docs/milestone_upgrade_troubleshooting.md"/utf8>>,
        <<"docs/operator_ai_workflow_playbook.md"/utf8>>,
        [<<"lightspeed/tooling/ai_workflow"/utf8>>,
            <<"lightspeed/ops/ai_workflow_harness"/utf8>>],
        <<"docs/reports/ai_workflow_fixture_latest.md"/utf8>>,
        <<"make ai-workflow-fixture-gate"/utf8>>
    ).

-file("src/lightspeed/tooling/documentation_system.gleam", 140).
?DOC(" M45 bundle.\n").
-spec m45_bundle() -> documentation_bundle().
m45_bundle() ->
    bundle(
        <<"m45"/utf8>>,
        <<"docs/convention_over_configuration_core_profile.md"/utf8>>,
        <<"docs/operator_convention_profile_playbook.md"/utf8>>,
        <<"docs/testing.md"/utf8>>,
        <<"docs/milestone_upgrade_troubleshooting.md"/utf8>>,
        <<"docs/operator_convention_profile_playbook.md"/utf8>>,
        [<<"lightspeed/platform/convention_profile"/utf8>>,
            <<"lightspeed/ops/convention_profile_harness"/utf8>>],
        <<"docs/reports/convention_profile_fixture_latest.md"/utf8>>,
        <<"make convention-profile-fixture-gate"/utf8>>
    ).

-file("src/lightspeed/tooling/documentation_system.gleam", 158).
?DOC(" M46 bundle.\n").
-spec m46_bundle() -> documentation_bundle().
m46_bundle() ->
    bundle(
        <<"m46"/utf8>>,
        <<"docs/documentation_system_parity_excellence.md"/utf8>>,
        <<"docs/operator_documentation_system_playbook.md"/utf8>>,
        <<"docs/testing.md"/utf8>>,
        <<"docs/milestone_upgrade_troubleshooting.md"/utf8>>,
        <<"docs/operator_documentation_system_playbook.md"/utf8>>,
        [<<"lightspeed/tooling/documentation_system"/utf8>>,
            <<"lightspeed/ops/documentation_system_harness"/utf8>>],
        <<"docs/reports/documentation_system_fixture_latest.md"/utf8>>,
        <<"make documentation-system-fixture-gate"/utf8>>
    ).

-file("src/lightspeed/tooling/documentation_system.gleam", 176).
?DOC(" All reference bundles for M40–M46.\n").
-spec reference_bundles() -> list(documentation_bundle()).
reference_bundles() ->
    [m40_bundle(),
        m41_bundle(),
        m42_bundle(),
        m43_bundle(),
        m44_bundle(),
        m45_bundle(),
        m46_bundle()].

-file("src/lightspeed/tooling/documentation_system.gleam", 189).
?DOC(" Bundle milestone accessor.\n").
-spec milestone(documentation_bundle()) -> binary().
milestone(Bundle) ->
    erlang:element(2, Bundle).

-file("src/lightspeed/tooling/documentation_system.gleam", 194).
?DOC(" Bundle module refs accessor.\n").
-spec module_refs(documentation_bundle()) -> list(binary()).
module_refs(Bundle) ->
    erlang:element(8, Bundle).

-file("src/lightspeed/tooling/documentation_system.gleam", 199).
?DOC(" Bundle fixture report accessor.\n").
-spec fixture_report(documentation_bundle()) -> binary().
fixture_report(Bundle) ->
    erlang:element(9, Bundle).

-file("src/lightspeed/tooling/documentation_system.gleam", 204).
?DOC(" Bundle fixture gate accessor.\n").
-spec fixture_gate(documentation_bundle()) -> binary().
fixture_gate(Bundle) ->
    erlang:element(10, Bundle).

-file("src/lightspeed/tooling/documentation_system.gleam", 444).
-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/tooling/documentation_system.gleam", 209).
?DOC(" Stable module-reference signature.\n").
-spec module_reference_signature(documentation_bundle()) -> binary().
module_reference_signature(Bundle) ->
    <<<<(erlang:element(2, Bundle))/binary, ":"/utf8>>/binary,
        (join_with(<<","/utf8>>, erlang:element(8, Bundle)))/binary>>.

-file("src/lightspeed/tooling/documentation_system.gleam", 214).
?DOC(" Stable fixture-reference signature.\n").
-spec fixture_reference_signature(documentation_bundle()) -> binary().
fixture_reference_signature(Bundle) ->
    <<<<<<<<(erlang:element(2, Bundle))/binary, ":"/utf8>>/binary,
                (erlang:element(9, Bundle))/binary>>/binary,
            ":"/utf8>>/binary,
        (erlang:element(10, Bundle))/binary>>.

-file("src/lightspeed/tooling/documentation_system.gleam", 219).
?DOC(" Stable upgrade/troubleshooting signature.\n").
-spec upgrade_troubleshooting_signature(documentation_bundle()) -> binary().
upgrade_troubleshooting_signature(Bundle) ->
    <<<<<<<<(erlang:element(2, Bundle))/binary, ":upgrade="/utf8>>/binary,
                (erlang:element(6, Bundle))/binary>>/binary,
            ":troubleshooting="/utf8>>/binary,
        (erlang:element(7, Bundle))/binary>>.

-file("src/lightspeed/tooling/documentation_system.gleam", 230).
?DOC(" Stable bundle signature.\n").
-spec signature(documentation_bundle()) -> binary().
signature(Bundle) ->
    <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<"milestone="/utf8,
                                                                        (erlang:element(
                                                                            2,
                                                                            Bundle
                                                                        ))/binary>>/binary,
                                                                    "|architecture="/utf8>>/binary,
                                                                (erlang:element(
                                                                    3,
                                                                    Bundle
                                                                ))/binary>>/binary,
                                                            "|operations="/utf8>>/binary,
                                                        (erlang:element(
                                                            4,
                                                            Bundle
                                                        ))/binary>>/binary,
                                                    "|testing="/utf8>>/binary,
                                                (erlang:element(5, Bundle))/binary>>/binary,
                                            "|upgrade="/utf8>>/binary,
                                        (erlang:element(6, Bundle))/binary>>/binary,
                                    "|troubleshooting="/utf8>>/binary,
                                (erlang:element(7, Bundle))/binary>>/binary,
                            "|module_refs="/utf8>>/binary,
                        (join_with(<<","/utf8>>, erlang:element(8, Bundle)))/binary>>/binary,
                    "|fixture_report="/utf8>>/binary,
                (erlang:element(9, Bundle))/binary>>/binary,
            "|fixture_gate="/utf8>>/binary,
        (erlang:element(10, Bundle))/binary>>.

-file("src/lightspeed/tooling/documentation_system.gleam", 343).
-spec gate_command_valid(binary()) -> boolean().
gate_command_valid(Command) ->
    gleam_stdlib:string_starts_with(Command, <<"make "/utf8>>) andalso gleam_stdlib:string_ends_with(
        Command,
        <<"-fixture-gate"/utf8>>
    ).

-file("src/lightspeed/tooling/documentation_system.gleam", 339).
-spec report_path_valid(binary()) -> boolean().
report_path_valid(Path) ->
    gleam_stdlib:string_starts_with(Path, <<"docs/reports/"/utf8>>) andalso gleam_stdlib:string_ends_with(
        Path,
        <<".md"/utf8>>
    ).

-file("src/lightspeed/tooling/documentation_system.gleam", 364).
-spec module_ref_valid(binary()) -> boolean().
module_ref_valid(Value) ->
    gleam_stdlib:string_starts_with(Value, <<"lightspeed/"/utf8>>).

-file("src/lightspeed/tooling/documentation_system.gleam", 356).
-spec module_refs_valid_continue(list(binary())) -> boolean().
module_refs_valid_continue(Values) ->
    case Values of
        [] ->
            true;

        [Value | Rest] ->
            module_ref_valid(Value) andalso module_refs_valid_continue(Rest)
    end.

-file("src/lightspeed/tooling/documentation_system.gleam", 348).
-spec module_refs_valid(list(binary())) -> boolean().
module_refs_valid(Values) ->
    case Values of
        [] ->
            false;

        [Value | Rest] ->
            module_ref_valid(Value) andalso module_refs_valid_continue(Rest)
    end.

-file("src/lightspeed/tooling/documentation_system.gleam", 335).
-spec doc_path_valid(binary()) -> boolean().
doc_path_valid(Path) ->
    gleam_stdlib:string_starts_with(Path, <<"docs/"/utf8>>) andalso gleam_stdlib:string_ends_with(
        Path,
        <<".md"/utf8>>
    ).

-file("src/lightspeed/tooling/documentation_system.gleam", 331).
-spec milestone_valid(binary()) -> boolean().
milestone_valid(Value) ->
    gleam_stdlib:string_starts_with(Value, <<"m"/utf8>>).

-file("src/lightspeed/tooling/documentation_system.gleam", 252).
?DOC(" Check one bundle is coherent.\n").
-spec valid_bundle(documentation_bundle()) -> boolean().
valid_bundle(Bundle) ->
    (((((((milestone_valid(erlang:element(2, Bundle)) andalso doc_path_valid(
        erlang:element(3, Bundle)
    ))
    andalso doc_path_valid(erlang:element(4, Bundle)))
    andalso (erlang:element(5, Bundle) =:= <<"docs/testing.md"/utf8>>))
    andalso (erlang:element(6, Bundle) =:= <<"docs/milestone_upgrade_troubleshooting.md"/utf8>>))
    andalso doc_path_valid(erlang:element(7, Bundle)))
    andalso module_refs_valid(erlang:element(8, Bundle)))
    andalso report_path_valid(erlang:element(9, Bundle)))
    andalso gate_command_valid(erlang:element(10, Bundle)).

-file("src/lightspeed/tooling/documentation_system.gleam", 398).
-spec contains(list(binary()), binary()) -> boolean().
contains(Values, Expected) ->
    case Values of
        [] ->
            false;

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

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

-file("src/lightspeed/tooling/documentation_system.gleam", 387).
-spec unique_string_list(list(binary()), list(binary())) -> boolean().
unique_string_list(Values, Seen) ->
    case Values of
        [] ->
            true;

        [Value | Rest] ->
            case contains(Seen, Value) of
                true ->
                    false;

                false ->
                    unique_string_list(Rest, [Value | Seen])
            end
    end.

-file("src/lightspeed/tooling/documentation_system.gleam", 383).
-spec unique_gates(list(documentation_bundle())) -> boolean().
unique_gates(Values) ->
    unique_string_list(gleam@list:map(Values, fun fixture_gate/1), []).

-file("src/lightspeed/tooling/documentation_system.gleam", 379).
-spec unique_reports(list(documentation_bundle())) -> boolean().
unique_reports(Values) ->
    unique_string_list(gleam@list:map(Values, fun fixture_report/1), []).

-file("src/lightspeed/tooling/documentation_system.gleam", 375).
-spec milestones(list(documentation_bundle())) -> list(binary()).
milestones(Values) ->
    gleam@list:map(Values, fun milestone/1).

-file("src/lightspeed/tooling/documentation_system.gleam", 368).
-spec bundles_valid(list(documentation_bundle())) -> boolean().
bundles_valid(Values) ->
    case Values of
        [] ->
            true;

        [Value | Rest] ->
            valid_bundle(Value) andalso bundles_valid(Rest)
    end.

-file("src/lightspeed/tooling/documentation_system.gleam", 265).
?DOC(" Check all bundles are coherent and ordered.\n").
-spec coherent_system() -> boolean().
coherent_system() ->
    ((bundles_valid(reference_bundles()) andalso (milestones(
        reference_bundles()
    )
    =:= [<<"m40"/utf8>>,
        <<"m41"/utf8>>,
        <<"m42"/utf8>>,
        <<"m43"/utf8>>,
        <<"m44"/utf8>>,
        <<"m45"/utf8>>,
        <<"m46"/utf8>>]))
    andalso unique_reports(reference_bundles()))
    andalso unique_gates(reference_bundles()).

-file("src/lightspeed/tooling/documentation_system.gleam", 436).
-spec bundles_have_fixture_gate(list(documentation_bundle())) -> boolean().
bundles_have_fixture_gate(Values) ->
    case Values of
        [] ->
            true;

        [Value | Rest] ->
            gate_command_valid(erlang:element(10, Value)) andalso bundles_have_fixture_gate(
                Rest
            )
    end.

-file("src/lightspeed/tooling/documentation_system.gleam", 428).
-spec bundles_use_testing_doc(list(documentation_bundle())) -> boolean().
bundles_use_testing_doc(Values) ->
    case Values of
        [] ->
            true;

        [Value | Rest] ->
            (erlang:element(5, Value) =:= <<"docs/testing.md"/utf8>>) andalso bundles_use_testing_doc(
                Rest
            )
    end.

-file("src/lightspeed/tooling/documentation_system.gleam", 417).
-spec has_harness_module(list(binary())) -> boolean().
has_harness_module(Values) ->
    case Values of
        [] ->
            false;

        [Value | Rest] ->
            case gleam_stdlib:contains_string(Value, <<"_harness"/utf8>>) of
                true ->
                    true;

                false ->
                    has_harness_module(Rest)
            end
    end.

-file("src/lightspeed/tooling/documentation_system.gleam", 409).
-spec bundles_have_harness_module(list(documentation_bundle())) -> boolean().
bundles_have_harness_module(Values) ->
    case Values of
        [] ->
            true;

        [Value | Rest] ->
            has_harness_module(erlang:element(8, Value)) andalso bundles_have_harness_module(
                Rest
            )
    end.

-file("src/lightspeed/tooling/documentation_system.gleam", 274).
?DOC(" True when all bundles expose stable module and fixture drift-check surfaces.\n").
-spec drift_check_contracts() -> boolean().
drift_check_contracts() ->
    (bundles_have_harness_module(reference_bundles()) andalso bundles_use_testing_doc(
        reference_bundles()
    ))
    andalso bundles_have_fixture_gate(reference_bundles()).

-file("src/lightspeed/tooling/documentation_system.gleam", 281).
?DOC(" Versioned milestone upgrade paths.\n").
-spec versioned_upgrade_paths() -> list(binary()).
versioned_upgrade_paths() ->
    gleam@list:map(
        reference_bundles(),
        fun(Bundle) ->
            <<<<(erlang:element(2, Bundle))/binary, ":upgrade_doc="/utf8>>/binary,
                (erlang:element(6, Bundle))/binary>>
        end
    ).

-file("src/lightspeed/tooling/documentation_system.gleam", 288).
?DOC(" Versioned milestone troubleshooting paths.\n").
-spec versioned_troubleshooting_paths() -> list(binary()).
versioned_troubleshooting_paths() ->
    gleam@list:map(
        reference_bundles(),
        fun(Bundle) ->
            <<<<(erlang:element(2, Bundle))/binary,
                    ":troubleshooting_doc="/utf8>>/binary,
                (erlang:element(7, Bundle))/binary>>
        end
    ).

-file("src/lightspeed/tooling/documentation_system.gleam", 295).
?DOC(" Required documentation evidence when milestone contracts change.\n").
-spec evidence_requirements() -> list(binary()).
evidence_requirements() ->
    [<<"ROADMAP.md"/utf8>>,
        <<"MILESTONES.md"/utf8>>,
        <<"CHANGELOG.md"/utf8>>,
        <<"docs/testing.md"/utf8>>,
        <<"docs/operator_runbook.md"/utf8>>,
        <<"docs/milestone_upgrade_troubleshooting.md"/utf8>>,
        <<"rfcs/"/utf8>>,
        <<"adrs/"/utf8>>].

-file("src/lightspeed/tooling/documentation_system.gleam", 309).
?DOC(" Stable evidence-requirement signature.\n").
-spec evidence_requirement_signature() -> binary().
evidence_requirement_signature() ->
    join_with(<<";"/utf8>>, evidence_requirements()).

-file("src/lightspeed/tooling/documentation_system.gleam", 314).
?DOC(" Deterministic snapshot signature for M46 fixture drift gates.\n").
-spec snapshot_signature() -> binary().
snapshot_signature() ->
    Bundle_signatures = gleam@list:map(reference_bundles(), fun signature/1),
    Upgrades = versioned_upgrade_paths(),
    Troubleshooting = versioned_troubleshooting_paths(),
    <<<<<<<<<<<<<<<<<<"m46.docs.v"/utf8, (erlang:integer_to_binary(1))/binary>>/binary,
                                    "|bundles="/utf8>>/binary,
                                (join_with(<<";"/utf8>>, Bundle_signatures))/binary>>/binary,
                            "|upgrades="/utf8>>/binary,
                        (join_with(<<";"/utf8>>, Upgrades))/binary>>/binary,
                    "|troubleshooting="/utf8>>/binary,
                (join_with(<<";"/utf8>>, Troubleshooting))/binary>>/binary,
            "|evidence="/utf8>>/binary,
        (evidence_requirement_signature())/binary>>.