core/dev.gmitch215.drift.know

Package-level declarations

Types

verified means the source states the symptom; inferred means only the mechanism is cited; range means the source lists a tested or compatible range and states no failure.

Bound

data class Bound(val op: Op, val version: Version)

ConstraintReport

data class ConstraintReport(val rules: Int, val violations: List<Violation>, val pending: List<String>)

ConstraintReport.pending lists pending-scanner rules: visible debt, not a failure.

Constraints

object Constraints

Detect

object Detect

Env

data class Env(val attrs: Map<String, String> = emptyMap(), val probes: Map<String, String> = emptyMap(), val run: Map<String, String> = emptyMap())

One side of a comparison: static attributes, usable probe transcripts and run symptom fields.

Fixture

data class Fixture(val name: String, val a: Env, val b: Env)

Fixtures

data class Fixtures(val positive: List<Fixture>, val negative: List<Fixture>)

Learned

object Learned

The learned-rule store: one canonical JSON file, learned.json, in a directory the user names. It holds rules in the schema of rules/, each checked by RuleCompiler on every read. A learned rule never replaces a shipped one, so an id that a shipped rule already uses is refused.

Node

sealed interface Node

enum Op : Enum<Op>

Pred

sealed interface Pred

Rule

data class Rule(val id: String, val title: String, val applies: List<String>, val difference: String, val symptoms: List<Symptom>, val mechanism: String, val probe: String?, val detect: Node, val severity: Severity, val provenance: List<Source>, val fixtures: Fixtures, val status: Status = Status.ACTIVE)

Rule.applies holds dimension ids; Rule.detect reads a as passing and b as failing.

RuleCompiler

object RuleCompiler

RuleException

class RuleException(val violation: Violation) : Exception

RuleMatch

data class RuleMatch(val ruleId: String, val title: String, val tier: RuleTier, val severity: Severity, val evidence: List<Evidence>, val mechanism: String, val basis: Basis)

A rule match with everything a renderer may want; verbosity is a presentation choice.

RuleOutcome

data class RuleOutcome(val verdict: Verdict, val match: RuleMatch?)

RuleTier

enum RuleTier : Enum<RuleTier>

known is a rule match with its fixture-backed mechanism; confirmed needs an experiment.

Severity

enum Severity : Coded, Enum<Severity>

Source

data class Source(val url: String, val kind: SourceKind, val verified: String, val section: String?)

SourceKind

enum SourceKind : Coded, Enum<SourceKind>

Status

enum Status : Coded, Enum<Status>

A pending-scanner rule names an attribute no scanner emits yet; the gate lists it.

Symptom

data class Symptom(val text: String, val basis: Basis)

Verdict

enum Verdict : Enum<Verdict>

Three-valued result: a missing fact or an unparsed version is UNKNOWN, never NO_MATCH.

Violation

data class Violation(val ruleId: String, val path: String, val reason: String)

Where a rule decode or check failed: the rule id and the field path inside the rule.

Which

enum Which : Enum<Which>

Functions

paths

fun Node.paths(): List<String>