Spaces:
Sleeping
Sleeping
| """ | |
| FALSIFY — Belief Revision Research Copilot | |
| Exposes core models and edge constants for the belief graph. | |
| Import-time environment safety | |
| ------------------------------ | |
| FALSIFY is a single-user, self-hosted demo. We set a few Cognee defaults *before* | |
| any Cognee module is imported (importing :mod:`falsify.models` pulls in Cognee), so | |
| that graph writes go into one shared local graph without per-user access-control | |
| gymnastics. ``setdefault`` means an explicitly-exported env var always wins. | |
| """ | |
| import os as _os | |
| # Single-user mode: shared local DBs, auth off. Must precede the first cognee import. | |
| _os.environ.setdefault("ENABLE_BACKEND_ACCESS_CONTROL", "False") | |
| # Keep logs quiet unless the user opts in. | |
| _os.environ.setdefault("LOG_LEVEL", "ERROR") | |
| _os.environ.setdefault("COGNEE_LOG_FILE", "false") | |
| # Enable the session cache so remember(session_id=...) / improve() work (cross-session proof). | |
| _os.environ.setdefault("CACHING", "true") | |
| _os.environ.setdefault("CACHE_BACKEND", "fs") | |
| # Default embeddings to fastembed — a fully local, CPU-only, zero-cost embedder, so | |
| # the whole pipeline (and `python main.py --demo`) runs with NO external API key. | |
| # Any explicit EMBEDDING_* in the environment / .env overrides these (setdefault). | |
| _os.environ.setdefault("EMBEDDING_PROVIDER", "fastembed") | |
| _os.environ.setdefault("EMBEDDING_MODEL", "BAAI/bge-small-en-v1.5") | |
| _os.environ.setdefault("EMBEDDING_DIMENSIONS", "384") | |
| _os.environ.setdefault("EMBEDDING_MAX_TOKENS", "512") | |
| from falsify.models import ( | |
| Assertion, | |
| Conclusion, | |
| Evidence, | |
| Hypothesis, | |
| InvestigationQuestion, | |
| TruthState, | |
| # Edge relationship constants | |
| CONTRADICTS, | |
| DEPENDS_ON, | |
| SUPPORTS, | |
| SUPERSEDES, | |
| ) | |
| __all__ = [ | |
| "TruthState", | |
| "InvestigationQuestion", | |
| "Hypothesis", | |
| "Evidence", | |
| "Conclusion", | |
| "Assertion", | |
| "DEPENDS_ON", | |
| "SUPPORTS", | |
| "CONTRADICTS", | |
| "SUPERSEDES", | |
| ] | |