Method encode_filesystem

crates/openshell-prover/src/model.rs:270–276

(&mut self)

    }

    fn encode_filesystem(&mut self) {
        for path in self.policy.filesystem_policy.readable_paths() {
            let var = Bool::new_const(format!("fs_readable_{path}"));
            self.solver.assert(&var);
            self.filesystem_readable.insert(path, var);
        }
    }

    // --- Query helpers ---