configuration/constants/evidence.coordination.constants.ts

configuration/constants/evidence.coordination.constants.ts is a file in Bane's Lab Site. 116 lines of code and 16 definitions.

import { ALGO_FACE, ARCH_FACE, LEX_FACE } from "@govlab/constants";
import { definitionNode as definition, fileNode as file, groundedBy } from "#core/factories/evidence.factory";
import type { Evidence } from "#types/evidence.types";

const TAXONOMY_VALIDATOR = "coordination~tools/core/validators/taxonomy.validator.ts";
export const ARCHIVE_VALIDATOR = "coordination~tools/core/validators/archive.validator.ts";
const DECLARATION_VALIDATOR = "coordination~tools/core/validators/declaration.validator.ts";
const CHANNEL_VALIDATOR = "coordination~tools/core/validators/channel.validator.ts";
const WRITER_VALIDATOR = "coordination~tools/core/validators/writer.validator.ts";
const TEXT_FORMATTER = "coordination~tools/core/formatters/text.formatter.ts";
export const COORDINATION_MODEL = "coordination~models/coordination.model.md";
export const INVOCATION_MODEL = "coordination~models/invocation.model.md";
export const COUPLING_MODEL = "coordination~models/coupling.model.md";
const SUBSTRATE_MODEL = "coordination~models/substrate.model.md";

const NAMING = definition("checkNaming", TAXONOMY_VALIDATOR);
const PLACEMENT = definition("checkPlacement", TAXONOMY_VALIDATOR);

const VALIDATOR_EVIDENCE: readonly Evidence[] = [
    ...groundedBy([definition("closureRefusal", ARCHIVE_VALIDATOR)], ARCH_FACE, ["derived-record-state"]),
    ...groundedBy(
        [definition("axisConsumers", DECLARATION_VALIDATOR), definition("silentOnItsOwnAxis", DECLARATION_VALIDATOR)],
        ARCH_FACE,
        ["independent-lifetime-axes"],
    ),
    ...groundedBy(
        [definition("staleChannels", CHANNEL_VALIDATOR), definition("misnamedChannels", CHANNEL_VALIDATOR)],
        ARCH_FACE,
        ["reversible-channel-encoding"],
    ),
    ...groundedBy([definition("unsanctionedWriters", WRITER_VALIDATOR)], ARCH_FACE, [
        "write-scope-and-read-population",
    ]),
    ...groundedBy([definition("appendSection", TEXT_FORMATTER)], ARCH_FACE, ["append-only-log"]),
];

const TAXONOMY_EVIDENCE: readonly Evidence[] = [
    ...groundedBy([NAMING], ARCH_FACE, ["closed-vocabulary", "concern-folder-correspondence"]),
    ...groundedBy([PLACEMENT], ARCH_FACE, ["bounded-nesting-depth", "declared-jurisdiction"]),
    ...groundedBy([definition("parseFilename", TAXONOMY_VALIDATOR)], ARCH_FACE, [
        "positional-slot-resolution",
        "sideways-overflow",
    ]),
    ...groundedBy([NAMING, PLACEMENT], ARCH_FACE, ["static-analysis", "conformance-at-creation"]),
    ...groundedBy([definition("isRootSpine", TAXONOMY_VALIDATOR), PLACEMENT], ARCH_FACE, ["root-spine-files"]),
    ...groundedBy([definition("isLegalVariant", TAXONOMY_VALIDATOR)], ARCH_FACE, ["externally-resolved-slot"]),
    ...groundedBy([definition("markedName", TAXONOMY_VALIDATOR)], LEX_FACE, ["compound-marker"]),
    ...groundedBy([NAMING], LEX_FACE, ["mass-concern"]),
];

const MODEL_EVIDENCE: readonly Evidence[] = [
    ...groundedBy([file(COORDINATION_MODEL)], ARCH_FACE, [
        "stated-invariant",
        "derived-record-state",
        "declared-subject",
        "write-barrier",
        "operand-free-outcome-surface",
        "projection-channel",
        "two-direction-index",
        "independent-lifetime-axes",
        "section-lifetime-divergence",
        "period-decided-disposition",
        "state-arity-limit",
        "joinable-mandated-field",
        "contradicted-invariant",
        "written-status-marker",
        "cyclic-tiebreak",
        "destructive-closure",
        "hand-kept-index",
    ]),
    ...groundedBy([file(INVOCATION_MODEL)], ARCH_FACE, [
        "write-scope-and-read-population",
        "read-time-join",
        "one-sided-liveness",
        "reversible-channel-encoding",
        "declare-before-read-order",
    ]),
    ...groundedBy([file(COUPLING_MODEL)], ARCH_FACE, ["derived-party-count", "fan-in-ceiling"]),
    ...groundedBy([file(SUBSTRATE_MODEL)], ARCH_FACE, [
        "carrier-and-payload-split",
        "single-aggregate",
        "invocation-keyed-report",
        "narrowed-aggregate",
    ]),
    ...groundedBy([file(COORDINATION_MODEL)], LEX_FACE, [
        "coordination-surface",
        "coordination-record",
        "outcome-surface",
        "bounded-reader",
        "host-projection",
        "retention",
        "mutability",
        "removal-authority",
        "governed-removal",
        "distinguished-copy",
        "derivation-period",
        "rederivation-detection",
        "traceable-guarantee",
        "acknowledger",
    ]),
    ...groundedBy([file(INVOCATION_MODEL)], LEX_FACE, [
        "write-scope",
        "read-population",
        "joiner",
        "liveness-witness",
        "shared-invocation",
    ]),
    ...groundedBy([file(COUPLING_MODEL)], LEX_FACE, ["fan-in", "concern-partition"]),
    ...groundedBy([file(SUBSTRATE_MODEL)], LEX_FACE, ["carrier-field", "payload-field"]),
    ...groundedBy([file(COORDINATION_MODEL)], ALGO_FACE, [
        "convergence-walk",
        "lifetime-resolution",
        "duplicate-disposition-walk",
    ]),
    ...groundedBy([file(INVOCATION_MODEL)], ALGO_FACE, ["invocation-join"]),
];

export const COORDINATION_EVIDENCE: readonly Evidence[] = [
    ...VALIDATOR_EVIDENCE,
    ...TAXONOMY_EVIDENCE,
    ...MODEL_EVIDENCE,
];