import {
    APPEARANCE_CONCEPT,
    COVERAGE_CONCEPT,
    DERIVED_CONCEPT,
    DETERMINISM_CONCEPT,
    DOCUMENTATION_CONCEPT,
    DUPLICATE_CONCEPT,
    GATE_CONCEPT,
    HOME_CONCEPT,
    ORDER_CONCEPT,
    RENAME_CONCEPT,
    REPORT_CONCEPT,
    UNKNOWN_CONCEPT,
    UNVERIFIED_CONCEPT,
    VERIFIER_CONCEPT,
} from "#core/ids/concept.ids";
import {
    APPEARANCE_SECTION_ID,
    REPORT_SECTION_ID,
    UNKNOWN_SECTION_ID,
    VERIFIER_SECTION_ID,
} from "#core/ids/evidence.ids";
import { COVERAGE_SECTION_ID, DOCUMENTATION_SECTION_ID, RENAME_SECTION_ID } from "#core/ids/coverage.ids";
import { DERIVED_SECTION_ID, DETERMINISM_SECTION_ID, DUPLICATE_SECTION_ID } from "#core/ids/derivation.ids";
import type { GraphSection } from "#types/methodology.types";

export const VERIFY_GRAPH_SECTIONS: Readonly<Record<string, GraphSection>> = {
    [APPEARANCE_SECTION_ID]: {
        requires: [UNVERIFIED_CONCEPT],
        teaches: [APPEARANCE_CONCEPT],
        traces: ["context-verification-concern", "quality-engine-concern", "compliance-verification-concern"],
    },
    [VERIFIER_SECTION_ID]: {
        requires: [ORDER_CONCEPT],
        teaches: [VERIFIER_CONCEPT],
        traces: ["positive_control_precedes_trust", "gate_fires_before_it_is_trusted", "governance_governs_itself"],
    },
    [REPORT_SECTION_ID]: {
        requires: [APPEARANCE_CONCEPT],
        teaches: [REPORT_CONCEPT],
        traces: ["single_run_law", "no_pipeline_filtering", "report_is_the_state"],
    },
    [UNKNOWN_SECTION_ID]: {
        requires: [REPORT_CONCEPT],
        teaches: [UNKNOWN_CONCEPT],
        traces: ["test-coverage-concern", "coverage_is_declared"],
    },
    [DETERMINISM_SECTION_ID]: {
        requires: [],
        teaches: [DETERMINISM_CONCEPT],
        traces: ["determinism_is_the_one_axis", "computation-core", "no_hidden_nondeterminism"],
    },
    [DERIVED_SECTION_ID]: {
        requires: [REPORT_CONCEPT],
        teaches: [DERIVED_CONCEPT],
        traces: ["report_is_the_state", "count_is_derived_never_transcribed", "history_has_two_homes"],
    },
    [DUPLICATE_SECTION_ID]: {
        requires: [HOME_CONCEPT],
        teaches: [DUPLICATE_CONCEPT],
        traces: ["single source of truth", "count_is_derived_never_transcribed", "derived_index_is_gated"],
    },
    [DOCUMENTATION_SECTION_ID]: {
        requires: [HOME_CONCEPT, GATE_CONCEPT],
        teaches: [DOCUMENTATION_CONCEPT],
        traces: ["documentation_is_code", "manifest_is_doc_truth", "doc_refs_are_constructs", "no_authored_counts"],
    },
    [RENAME_SECTION_ID]: {
        requires: [],
        teaches: [RENAME_CONCEPT],
        traces: [
            "pattern_references_verified_after_rename",
            "draft_precedes_replacement",
            "nothing_silently_dropped",
            "pattern-distillation-concern",
        ],
    },
    [COVERAGE_SECTION_ID]: {
        requires: [GATE_CONCEPT, DETERMINISM_CONCEPT],
        teaches: [COVERAGE_CONCEPT],
        traces: [
            "coverage_is_declared",
            "backlog_is_worked_to_zero",
            "test-coverage-concern",
            "gate_that_saturates_is_not_built",
        ],
    },
};