Struct EnforcementInput 

pub struct EnforcementInput {
    pub rel_path: String,
    pub file_record: Option<Value>,
    pub gotcha_records: HashMap<String, Value>,
    pub already_consulted: bool,
    pub file_exists: Option<bool>,
}

Input to the enforcement decision engine.

Fields

rel_path: String

Repo-relative file path (e.g. "src/main.rs").

file_record: Option<Value>

File record JSON from hook_evaluate, or None if no record.

gotcha_records: HashMap<String, Value>

Gotcha records keyed by gotcha key, from hook_evaluate.

already_consulted: bool

Whether this file was already consulted via mem_get this session.

file_exists: Option<bool>

Caller’s own observation of whether rel_path exists on disk, checked ONLY when the caller saw a FileDeleted staleness signal (that signal is a stale snapshot — cleared only by the staleness sweep, so it can outlive a delete-then-restore by many sessions). None means the caller did not check (preserves prior behavior: the signal alone bypasses enforcement). Some(true) means the path exists, so the signal is stale and must NOT bypass enforcement. Some(false) means the caller confirmed the path is really gone.