import {
    AGENT_SECTION_ID,
    ALGORITHM_SECTION_ID,
    BLUEPRINT_SECTION_ID,
    COMPOSITION_SECTION_ID,
    CONSTRUCT_SECTION_ID,
    EXEMPLAR_SECTION_ID,
    HANDOFF_SECTION_ID,
    IDIOM_SECTION_ID,
    INTEGRATION_SECTION_ID,
    INTENT_SECTION_ID,
    LOOP_SECTION_ID,
    ORCHESTRATION_SECTION_ID,
    PATTERN_SECTION_ID,
    PRINCIPLE_SECTION_ID,
    TEMPLATE_SECTION_ID,
    TRACKING_SECTION_ID,
} from "#core/ids/grammar.ids";
import {
    AGENT_TEMPLATE_CONCEPT,
    ALGORITHM_CONCEPT,
    COORDINATION_TEMPLATE_CONCEPT,
    CORE_TEMPLATE_CONCEPT,
    DECLARATION_CONCEPT,
    DIRECTIVE_CONCEPT,
    DISTILLATION_CONCEPT,
    EXECUTABLE_TEMPLATE_CONCEPT,
    GENESIS_STAGE_CONCEPT,
    HANDOFF_CONCEPT,
    IDIOM_CONCEPT,
    INTENT_CONCEPT,
    ORCHESTRATION_INVARIANT_CONCEPT,
    PHASE_BINDING_CONCEPT,
    PHASE_CONCEPT,
    PLANNING_TEMPLATE_CONCEPT,
    RECORD_CONCEPT,
    STRUCTURE_CONCEPT,
    WORKFLOW_CONCEPT,
} from "#core/ids/concept.ids";
import type { GraphSection } from "#types/methodology.types";

const PAG_SEED = "pag-instruction-concern";
const ORCHESTRATION_SEED = "workflow-orchestration-concern";
const LIFETIME_INVARIANT = "substrate.a-declared-lifetime-is-read-never-inferred-from-a-path";

export const ORCHESTRATION_GRAPH_SECTIONS: Readonly<Record<string, GraphSection>> = {
    [ORCHESTRATION_SECTION_ID]: {
        requires: [PHASE_CONCEPT],
        teaches: [STRUCTURE_CONCEPT],
        traces: [ORCHESTRATION_SEED, "severity_routes_never_orders", "open_discussion_blocks_the_build"],
    },
    [COMPOSITION_SECTION_ID]: {
        requires: [STRUCTURE_CONCEPT],
        teaches: [WORKFLOW_CONCEPT],
        traces: [
            ORCHESTRATION_SEED,
            "coupling.invariant-the-count-is-derived-from-a-partition-and-never-chosen-independently-of-it",
            "coupling.invariant-the-floor-counts-the-partition-s-nodes",
            "report_to_agents_never_to_owner",
            "never_end_a_turn_to_wait",
            "clear_unblocked_work_is_performed_rather_than_routed",
        ],
    },
    [CONSTRUCT_SECTION_ID]: {
        requires: [WORKFLOW_CONCEPT],
        teaches: [RECORD_CONCEPT],
        traces: [
            "agent_block_is_delimited",
            "item_span_is_addressable",
            "board_is_current_truth_only",
            "write_is_an_edit_until_proven_absent",
            "commuting_writes_replay_rather_than_refuse",
            LIFETIME_INVARIANT,
        ],
    },
    [PATTERN_SECTION_ID]: {
        requires: [WORKFLOW_CONCEPT],
        teaches: [PHASE_BINDING_CONCEPT],
        traces: ["context-verification-concern", "generation_gates_are_not_execution_gates"],
    },
    [HANDOFF_SECTION_ID]: {
        requires: [RECORD_CONCEPT],
        teaches: [HANDOFF_CONCEPT],
        traces: [
            "satisfied_by_is_falsifiable_and_monotone",
            "judgement_item_closes_by_acknowledger",
            "the_handler_removes_the_item",
            "a_ruling_is_the_seats_and_the_owner_signature_is_automatic",
        ],
    },
    [PRINCIPLE_SECTION_ID]: {
        requires: [RECORD_CONCEPT, HANDOFF_CONCEPT],
        teaches: [ORCHESTRATION_INVARIANT_CONCEPT],
        traces: [
            "scope_is_claimed_not_assumed",
            "role_document_is_uniform",
            "foreign_scope_is_untouchable",
            "no_append_without_a_drain",
        ],
    },
};

export const PATTERN_GRAPH_SECTIONS: Readonly<Record<string, GraphSection>> = {
    [IDIOM_SECTION_ID]: {
        requires: [DIRECTIVE_CONCEPT],
        teaches: [IDIOM_CONCEPT],
        traces: [PAG_SEED, "no_implicit_contract"],
    },
    [INTENT_SECTION_ID]: {
        requires: [IDIOM_CONCEPT],
        teaches: [INTENT_CONCEPT],
        traces: [
            "checklist-governance-concern",
            "four_gates_always_run",
            "decisions_are_typed",
            "template_selector_is_genesis",
        ],
    },
    [LOOP_SECTION_ID]: {
        requires: [INTENT_CONCEPT],
        teaches: [GENESIS_STAGE_CONCEPT],
        traces: [PAG_SEED, "decisions_are_typed", "severity_routes_never_orders"],
    },
    [ALGORITHM_SECTION_ID]: {
        requires: [GENESIS_STAGE_CONCEPT],
        teaches: [ALGORITHM_CONCEPT],
        traces: ["absence_is_measured_never_inferred", "repair_from_earliest_owner"],
    },
    [INTEGRATION_SECTION_ID]: {
        requires: [GENESIS_STAGE_CONCEPT],
        teaches: [DISTILLATION_CONCEPT],
        traces: ["pattern-distillation-concern", "recurring_shape_is_a_template", "no_uncompressed"],
    },
};

export const TEMPLATE_GRAPH_SECTIONS: Readonly<Record<string, GraphSection>> = {
    [TEMPLATE_SECTION_ID]: {
        requires: [DECLARATION_CONCEPT],
        teaches: [CORE_TEMPLATE_CONCEPT],
        traces: ["recurring_shape_is_a_template", "template_is_the_contract_not_a_copy_of_it"],
    },
    [BLUEPRINT_SECTION_ID]: {
        requires: [CORE_TEMPLATE_CONCEPT, ORCHESTRATION_INVARIANT_CONCEPT],
        teaches: [COORDINATION_TEMPLATE_CONCEPT],
        traces: [
            ORCHESTRATION_SEED,
            LIFETIME_INVARIANT,
            "a_venue_is_absorbed_before_it_is_archived",
            "decision_names_its_gate_or_its_proof",
            "an_undecided_half_names_its_receiver",
            "removal_declares_its_extraction",
        ],
    },
    [TRACKING_SECTION_ID]: {
        requires: [CORE_TEMPLATE_CONCEPT],
        teaches: [PLANNING_TEMPLATE_CONCEPT],
        traces: [
            "governed-plan-concern",
            "checklist_is_current_and_future",
            "task_id_resolves_to_one_task",
            "count_is_derived_never_transcribed",
            "non_goal_is_stated",
            "ripple_carries_names",
        ],
    },
    [EXEMPLAR_SECTION_ID]: {
        requires: [INTENT_CONCEPT, CORE_TEMPLATE_CONCEPT],
        teaches: [EXECUTABLE_TEMPLATE_CONCEPT],
        traces: [
            "templates_are_executed",
            "follow_template_as_stated",
            "plan_is_drafted_then_restructured",
            "templates_stay_independent",
            "cross-stage-invariants",
        ],
    },
    [AGENT_SECTION_ID]: {
        requires: [EXECUTABLE_TEMPLATE_CONCEPT, PHASE_BINDING_CONCEPT],
        teaches: [AGENT_TEMPLATE_CONCEPT],
        traces: [
            "agent-generation-concern",
            "compliance-verification-concern",
            "agent_declares_its_participation",
            "attribution_survives",
        ],
    },
};