LUCID
Описание
LUCID (Logical Unified Conditions for Interpretive Decisions ) is an explainable validator of semantic transitions from Ethereum artifacts to investigative interpretations based on the SemAdm model.
Языки
- Python86,1%
- Jupyter Notebook13,9%
V
viv1313rCreate: CITATION.cff, .gitkeep, .gitkeep, execution.md, formal-model.md, versioning.md, PATCH_CELL_CHAIN_ID_AND_HASHES.py, SemAdm_Minimal_Prototype_v03.ipynb, conformance_comparison.csv, conformance_summary.json, .gitkeep, oracle.json, scenario.json, oracle.json, scenario.json, oracle.json, scenario.json, oracle.json, scenario.json, oracle.json, scenario.json, oracle.json, scenario.json, oracle.json, scenario.json, oracle.json, scenario.json, oracle.json, scenario.json, oracle.json, scenario.json, oracle.json, scenario.json, oracle.json, scenario.json, oracle.json, scenario.json, oracle.json, scenario.json, oracle.json, scenario.json, oracle.json, scenario.json, oracle.json, scenario.json, oracle.json, scenario.json, oracle.json, scenario.json, oracle.json, scenario.json, oracle.json, scenario.json, oracle.json, scenario.json, oracle.json, scenario.json, check_spec.py, run_conformance.py, run_scenario.py, domain.py, engine.py, etherscan.py, io.py, package.py, real_transactions.py, reporting.py, state.py, testing.py, versioning.py, visualization.py, __init__.py, domain.cpython-313.pyc, engine.cpython-313.pyc, etherscan.cpython-313.pyc, io.cpython-313.pyc, package.cpython-313.pyc, real_transactions.cpython-313.pyc, reporting.cpython-313.pyc, state.cpython-313.pyc, testing.cpython-313.pyc, versioning.cpython-313.pyc, visualization.cpython-313.pyc, __init__.cpython-313.pyc, applies.json, assurance.json, base.json, conditions.json, diagnostics.json, implementation_requirements.json, manifest.json, obstacles.json, predicates.json, rules.json, result.schema.json, scenario.schema.json, scope.json, spec_hashes.json, test_conformance.py, test_state.py, .gitignore, CHANGELOG.md
08 авг 2026, 12:59
10 дней назад
10 дней назад
10 дней назад
10 дней назад
10 дней назад
10 дней назад
10 дней назад
10 дней назад
10 дней назад
10 дней назад
10 дней назад
10 дней назад
README.md