configuration/constants/evidence.constants.ts
configuration/constants/evidence.constants.ts is a file in Bane's Lab Site. 87 lines of code and 1 definition.
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: ["centralization-concern", "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",
],
},
};