Module logic 

Logic Modality

This module contains all logic-related modalities for the QualiaDB engine. It includes deontic logic, core logic evaluation, QUBO compilation, N3 rule processing, SHACL constraint compilation, and OWL conversion.

Re-exports

pub use core::WebizenCompiler;

pub use core::WebizenOpcode;

pub use core::WebizenVM;

pub use deontic::compile_n3_rule_to_norm;

pub use deontic::compile_norm_quin;

pub use deontic::defeater_fingerprint;

pub use deontic::evaluate_deontic_contract;

pub use deontic::extract_deontic_opcode;

pub use deontic::extract_expiry_unix32;

pub use deontic::harvest_defeater_fingerprints;

pub use deontic::norm_has_active_defeater;

pub use deontic::DeonticError;

pub use deontic::DeonticStatus;

pub use deontic::DeonticVerdict;

pub use deontic::DEFEATER_BIT;

pub use deontic::MAX_DEFEATER_SLOTS;

pub use deontic::OP_FORBID;

pub use deontic::OP_OBLIGATE;

pub use deontic::OP_PERMIT;

pub use n3_compiler::validate_rule_against_shapes;

pub use n3_compiler::AgentIntentFrame;

pub use n3_compiler::N3CompileError;

pub use n3_compiler::N3CompiledProgram;

pub use n3_compiler::N3OutputMode;

pub use n3_compiler::SentinelError;

pub use n3_compiler::MAX_CONTEXT_NAMESPACE_SLOTS;

pub use n3_compiler::MAX_INTENT_SCOPE_SLOTS;

pub use n3_parser::N3Event;

pub use n3_parser::N3Parser;

pub use n3_parser::Rule;

pub use n3_parser::RuleType;

pub use n3_parser::Term;

pub use shacl::CalcComputeTarget;

pub use shacl::ClinicalRiskModel;

pub use shacl::CompiledShape;

pub use shacl::NodeKindType;

pub use shacl::PropertyPath;

pub use shacl::ProteinScoringMatrix;

pub use shacl::ShaclCompiler;

pub use shacl::ShaclConstraint;

pub use shacl::ShaclSeverity;

pub use shacl_extensions::LogConfiguration;

pub use shacl_extensions::LogEntry;

pub use shacl_extensions::LogExportFormat;

pub use shacl_extensions::LogLevel;

pub use shacl_extensions::LogRetention;

pub use shacl_extensions::NetworkConfiguration;

pub use shacl_extensions::SecurityConfiguration;

pub use shacl_extensions::StorageConfiguration;

pub use shacl_extensions::SystemTrayConfiguration;

pub use shacl_extensions::TaxRecipientConfiguration;

pub use shacl_extensions::TrayAction;

pub use shacl_extensions::TrayMenuItem;

pub use shacl_extensions::TrayStatusIndicator;

pub use geometry_asset_shacl::validate_geometry_manifest;

pub use geometry_asset_shacl::GeometryAssetConfiguration;

pub use geometry_asset_shacl::GeometryConstraintViolation;

pub use geometry_asset_shacl::GeometryManifestFacts;

pub use geometry_asset_shacl::MAX_GEOMETRY_COUNT;

pub use specialized_libs_shacl::BiomolecularConfiguration;

pub use specialized_libs_shacl::BoundaryConditions;

pub use specialized_libs_shacl::ClinicalDecisionConfiguration;

pub use specialized_libs_shacl::CryptographicConfiguration;

pub use specialized_libs_shacl::DeterminantConfiguration;

pub use specialized_libs_shacl::DigitalSignatureConfiguration;

pub use specialized_libs_shacl::DistributionConfiguration;

pub use specialized_libs_shacl::EigenDecomposition;

pub use specialized_libs_shacl::EngineeringSimulationConfiguration;

pub use specialized_libs_shacl::FinancialModelConfiguration;

pub use specialized_libs_shacl::InferenceConfiguration;

pub use specialized_libs_shacl::KeyManagementConfiguration;

pub use specialized_libs_shacl::LoadConfiguration;

pub use specialized_libs_shacl::MaterialProperties;

pub use specialized_libs_shacl::MatrixConfiguration;

pub use specialized_libs_shacl::MatrixOperation;

pub use specialized_libs_shacl::MedicalDataConfiguration;

pub use specialized_libs_shacl::MedicalImagingConfiguration;

pub use specialized_libs_shacl::MeshConfiguration;

pub use specialized_libs_shacl::ModelConfiguration;

pub use specialized_libs_shacl::MoleculeConfiguration;

pub use specialized_libs_shacl::PolynomialSolveConfiguration;

pub use specialized_libs_shacl::QPUConfiguration;

pub use specialized_libs_shacl::QuantumAnnealingConfiguration;

pub use specialized_libs_shacl::QuantumBiologyCalculation;

pub use specialized_libs_shacl::QuantumCalculation;

pub use specialized_libs_shacl::QuantumCircuitConfiguration;

pub use specialized_libs_shacl::ReactionConfiguration;

pub use specialized_libs_shacl::RiskCalculation;

pub use specialized_libs_shacl::SamplingConfiguration;

pub use specialized_libs_shacl::SimulationConfiguration;

pub use specialized_libs_shacl::StatisticalAnalysisConfiguration;

pub use specialized_libs_shacl::SvdConfiguration;

pub use specialized_libs_shacl::SymbolicExpressionConfiguration;

pub use specialized_libs_shacl::SymbolicOperationConfiguration;

pub use specialized_libs_shacl::TradingConfiguration;

pub use specialized_libs_shacl::TrainingConfiguration;

pub use computational_maths_shacl::get_computational_maths_shacl_ttl;

pub use computational_maths_shacl::AssumptionConfiguration;

pub use computational_maths_shacl::ExactArithmeticConfiguration;

pub use computational_maths_shacl::IntegralTransformConfiguration;

pub use computational_maths_shacl::InterpolationConfiguration;

pub use computational_maths_shacl::NumberTheoryConfiguration;

pub use computational_maths_shacl::NumericalMethodConfiguration;

pub use computational_maths_shacl::SpecialFunctionConfiguration;

pub use computational_maths_shacl::SymbolicCalculusConfiguration;

pub use computational_maths_shacl::UnitsConfiguration;

pub use computational_maths_shacl::VectorCalculusConfiguration;

pub use computational_maths_shacl::COMPUTATIONAL_MATHS_SHAPES;

pub use logic_modalities_shacl::get_logic_modalities_shacl_ttl;

pub use logic_modalities_shacl::LOGIC_MODALITY_SHAPES;

pub use core_modalities_shacl::ASPConfiguration;

pub use core_modalities_shacl::AllenIntervalConfiguration;

pub use core_modalities_shacl::ArgumentEvaluationConfiguration;

pub use core_modalities_shacl::ArgumentationConfiguration;

pub use core_modalities_shacl::BayesianInferenceConfiguration;

pub use core_modalities_shacl::CalculusConfiguration;

pub use core_modalities_shacl::ContradictionHandling;

pub use core_modalities_shacl::ControlFeedbackConfiguration;

pub use core_modalities_shacl::DLConfiguration;

pub use core_modalities_shacl::DLQueryConfiguration;

pub use core_modalities_shacl::DialecticalConfiguration;

pub use core_modalities_shacl::DiffusionConfiguration;

pub use core_modalities_shacl::DiffusionGridConfiguration;

pub use core_modalities_shacl::EpistemicConfiguration;

pub use core_modalities_shacl::EpistemicQuery;

pub use core_modalities_shacl::FeedbackGainConfiguration;

pub use core_modalities_shacl::GraphAlgorithmConfiguration;

pub use core_modalities_shacl::GraphAnalysisConfiguration;

pub use core_modalities_shacl::GraphConfiguration;

pub use core_modalities_shacl::IntervalArithmeticConfiguration;

pub use core_modalities_shacl::LTLConfiguration;

pub use core_modalities_shacl::LinearLogicConfiguration;

pub use core_modalities_shacl::ODEConfiguration;

pub use core_modalities_shacl::ParaconsistentConfiguration;

pub use core_modalities_shacl::ProbabilisticConfiguration;

pub use core_modalities_shacl::SpatialRegionConfiguration;

pub use core_modalities_shacl::SpatioTemporalConfiguration;

pub use core_modalities_shacl::StableModelConfiguration;

pub use core_modalities_shacl::SynthesisConfiguration;

pub use core_modalities_shacl::TemporalTrace;

pub use core_modalities_shacl::TensorProvenanceConfiguration;

pub use infrastructure_shacl::BiologicalDomainConfiguration;

pub use infrastructure_shacl::CalculusSolverConfiguration;

pub use infrastructure_shacl::ChemicalDomainConfiguration;

pub use infrastructure_shacl::DomainTransformerConfiguration;

pub use infrastructure_shacl::FinancialDomainConfiguration;

pub use infrastructure_shacl::GeometricAlgebraConfiguration;

pub use infrastructure_shacl::GeospatialDomainConfiguration;

pub use infrastructure_shacl::HybridStateConfiguration;

pub use infrastructure_shacl::LinearAlgebraSolverConfiguration;

pub use infrastructure_shacl::MathematicalDomainConfiguration;

pub use infrastructure_shacl::ObfuscationConfiguration;

pub use infrastructure_shacl::OptimizationSolverConfiguration;

pub use infrastructure_shacl::PhysicalDomainConfiguration;

pub use infrastructure_shacl::PolynomialObfuscationConfiguration;

pub use infrastructure_shacl::QuantumOptimizerConfiguration;

pub use infrastructure_shacl::SemanticStripperConfiguration;

pub use infrastructure_shacl::SolverConfiguration;

pub use infrastructure_shacl::SymbolicLogicSolverConfiguration;

pub use rules::RuleEngine;

pub use rules::RuleSet;

pub use rules::GUARDIANSHIP_RULESET;

Modules

computational_maths_shacl

SHACL constraint surface for the computational-mathematics engine.

core

Core 1 Webizen Bytecode VM A #![no_std] compatible virtual machine that executes a fixed-size instruction set across the 48-byte Quins without triggering heap allocations.

core_modalities_shacl

SHACL Extensions for Core Modalities

deontic

Deontic Logic extension for the Qualia Bytecode VM.

geometry_asset_shacl

Geometry-asset SHACL — the runtime half of shapes/geometry-asset.shacl.ttl (the normative declarative source; see docs/manuals/standards/geometry-asset-ontology.md §5).

infrastructure_shacl

SHACL Extensions for Domains, Obfuscation, and Solvers

logic_modalities_shacl

SHACL extensions for ALL Webizen VM logic modalities.

n3_compiler

N3Logic → SHACL → Sentinel Bytecode compiler (CogAI symbolic layer).

n3_parser

Native, zero-copy N3 (Notation3) parser.

n3logic

owl

OWL support for QualiaDB.

qubo

Semantic-to-QUBO boil-down compiler for zero-context quantum offloading.

rules

Rules Module — the RuleEngine bridge between N3 text and the live Webizen VM.

shacl

SHACL Module

shacl_extensions

SHACL extensions for QualiaDB.

specialized_libs_shacl

SHACL Extensions for Specialized Libraries

Constants

OP_ALWAYS

OP_BELIEVE

OP_CONTRADICTION

Paraconsistent logic opcodes (0x30-0x32)

OP_DOUBT

OP_EVENTUALLY

OP_GLUT

OP_KNOW

Epistemic logic opcodes (0x20-0x22)

OP_NEXT

LTL (Linear Temporal Logic) opcodes (0x40-0x44)

OP_RELEASE

OP_RELEVANCE

OP_UNTIL