@kekkai/blueprint / ProhibitionEvidence

Interface: ProhibitionEvidence

Defined in: src/inspect/prohibition-wiring.ts:17

Extends

• ProhibitionFact

Properties

affectsExit

affectsExit: boolean

Defined in: src/inspect/prohibition-wiring.ts:19

---

checks

checks: ResolvedMustNotCheck[]

Defined in: src/config/prohibitions.ts:24

Inherited from

ProhibitionFact.checks

---

declarationSlot

declarationSlot: number

Defined in: src/config/prohibitions.ts:18

Inherited from

ProhibitionFact.declarationSlot

---

description

description: string

Defined in: src/config/prohibitions.ts:21

Inherited from

ProhibitionFact.description

---

enforcedBy

enforcedBy: "lint" | null

Defined in: src/config/prohibitions.ts:25

Inherited from

ProhibitionFact.enforcedBy

---

exempt

exempt: string[]

Defined in: src/config/prohibitions.ts:28

Inherited from

ProhibitionFact.exempt

---

files

files: string[]

Defined in: src/inspect/prohibitions.ts:8

Inherited from

ProhibitionFact.files

---

gate

gate: "failed" | "unverified" | "passed"

Defined in: src/inspect/prohibition-wiring.ts:18

---

id

id: string | null

Defined in: src/config/prohibitions.ts:20

Inherited from

ProhibitionFact.id

---

ignores

ignores: string[]

Defined in: src/inspect/prohibitions.ts:9

Inherited from

ProhibitionFact.ignores

---

layer

layer: string

Defined in: src/config/prohibitions.ts:19

Inherited from

ProhibitionFact.layer

---

limitations

limitations: string[]

Defined in: src/config/prohibitions.ts:26

Inherited from

ProhibitionFact.limitations

---

lintIntegration

lintIntegration: "verified" | "failed" | "unverified" | "reference-only"

Defined in: src/inspect/prohibitions.ts:11

Inherited from

ProhibitionFact.lintIntegration

---

matchedFiles

matchedFiles: string[]

Defined in: src/inspect/prohibitions.ts:10

Inherited from

ProhibitionFact.matchedFiles

---

mode

mode: "review-only" | "executable"

Defined in: src/config/prohibitions.ts:22

Inherited from

ProhibitionFact.mode

---

position

position: string

Defined in: src/inspect/prohibitions.ts:7

Inherited from

ProhibitionFact.position

---

probeFile?

optional probeFile?: string

Defined in: src/inspect/prohibition-wiring.ts:21

---

prohibitionFindings?

optional prohibitionFindings?: ProhibitionLintFinding[]

Defined in: src/inspect/prohibition-wiring.ts:22

---

reach

reach: "covered" | "vacuous" | "runway" | "unmeasured"

Defined in: src/config/prohibitions.ts:27

Inherited from

ProhibitionFact.reach

---

reason?

optional reason?: string

Defined in: src/inspect/prohibition-wiring.ts:20

---

ruleId

ruleId: "blueprint/must-not"

Defined in: src/config/prohibitions.ts:30

Inherited from

ProhibitionFact.ruleId

---

severity

severity: "error" | "warn"

Defined in: src/config/prohibitions.ts:29

Inherited from

ProhibitionFact.severity

---

status

status: "unavailable" | "review-only" | "active" | "partial"

Defined in: src/config/prohibitions.ts:23

Inherited from

ProhibitionFact.status