Skip to main content

oxibrain_cli/cmd/
contradictions.rs

1use oxibrain::{Brain, BrainConfig};
2use std::path::Path;
3
4pub async fn run(dir: &Path, space: &str) -> anyhow::Result<()> {
5    let brain = Brain::open(BrainConfig::at(dir)).await?;
6    let space_id = brain.ensure_space(space).await?;
7    let stmts = brain.contradictions(&space_id).await?;
8    println!("contradictions: {}", stmts.len());
9    for s in &stmts {
10        println!("  statement={} {}/{:?}", s.id, s.predicate, s.object);
11    }
12    Ok(())
13}