Enum SlgOpcode 

pub enum SlgOpcode {
    CheckTable,
    CheckDefeaters,
    CheckSubsumption,
    BranchWorld,
    CheckThreshold,
    ConsumeFact,
    ZkConsumeFact,
    Unify,
    Call,
    Return,
    ApplyTaxSchema,
    Halt,
    WarnOnly,
    CheckMinInclusive(f64),
    CheckMaxInclusive(f64),
    CheckMinExclusive(f64),
    CheckMaxExclusive(f64),
    CheckMinCount(u32),
    CheckMaxCount(u32),
    CheckMinLength(u32),
    CheckMaxLength(u32),
    CheckPattern(u64),
    CheckHasValue(u64),
    CheckNodeShape(u64),
    CheckNotShape(u64),
    SoftCheckNodeShape(u64),
    RequireAnyShape,
    CheckObjectDatatype(u8),
    NativeThermodynamics,
    NativeOdeSolver,
    NativeRk4Step(u64),
    NativeQuantumDft,
    NativeReceptorBinding,
    NativeQuboCompile,
    NativeQuboEmitLinear(u8, u32),
    NativeQuboEmitCoupler(u8, u8, u32),
    NativeQuantumEgress(u8),
    NativeQuantumIngress,
    NativeNucleotideAlign,
    NativeBioinformatics,
    NativeProteinAlign(u8),
    NativeKmerFrequency(u8),
    NativeFastaValidation,
    NativeGeneExpression,
    NativeMetaboliteSimilarity,
    NativeClinicalRisk(u8),
    NativeLongitudinalTrend(u32),
    NativeDrugInteraction,
    NativeContraindication,
    NativeFhirObservation(u64),
    NativeEconomics,
    NativeSmilesValidation,
    NativeInchiValidation,
    NativeMolecularWeight(u64),
    NativeLogP(u32),
    NativeTPSA(u32),
    NativeLipinskiFilter,
    NativeVeberFilter,
    NativeGhoseFilter,
    NativeEganFilter,
    NativeFunctionalGroups,
    NativePkaEstimate,
    NativeChiralCenters,
    NativeCircularFingerprint(u8),
    NativeArrhenius(u32),
    NativeGibbsEnergy,
    NativeEquilibrium,
    NativeHendersonHasselbalch,
    NativeAtomEconomy,
    NativeEFactor,
    NativeGreenMetrics,
    NativeComputeCrcl,
    NativeComputeEgfr,
    NativeEvaluatePkModel,
    NativeComputeSofaScore,
    NativeTranslateDna,
    NativeIsoelectricPoint,
    NativePeptideCleavage,
    NativeBbbPermeation,
    NativeLigandEfficiency,
    NativeLLE,
    NativeIsotopeDistribution,
    NativeDeonticEval,
    NativeEpistemicEval(u8),
    NativeLinearConsume,
    NativeAspStableModels,
    NativeParaconsistentIsolate,
    NativeDialecticalSynthesis,
    NativeProbabilisticThreshold(u32),
    NativeDlSubsumption,
    NativeArgumentationGrounded,
    NativeMtlWithin(u32),
    NativeContraryToDuty,
    NativeCausalNecessary,
    NativeAbduce,
    NativeClosedWorld,
    NativeFuzzyConjunction(u32),
    NativeCtlExistsFinally,
    NativeCtlAlwaysGlobally,
    NativeModalNecessary,
    NativeModalPossible,
    NativeRcc8(u8),
    NativeRcc8Assert(u8),
    NativeAllenIntervalAssert(u8),
    NativeRegisterRule,
    NativeStewardQuorum(u8),
    NativeCanvasPlacement,
    NativeRetrieveByActivation,
    NativeDecayMetadata,
    NativeUnless,
    NativeLtlGlobally,
    NativeLtlFinally,
    NativeLtlNext,
    NativeLtlUntil,
    NativeLtlRelease,
    NativeManifoldLtl {
        mode: u8,
        dimension: u8,
        threshold_bits: u32,
        at_least: bool,
    },
    NativeManifoldAsp,
    NativeAllenInterval(u8),
    NativeLorentzDistance,
    NativeTropicalDistance,
    NativeVerifyProofOfLocation,
    NativeCalcSimpsons(u64, u64, u32, u32),
    NativeCalcTrapezoidal(u64, u64, u32, u32),
    NativeCalcGpu(u64, u64, u32, u32),
}

The Opcodes for the Lightweight Warren Abstract Machine (WAM) variant. f64 parameters require PartialEq only — Eq is not derived.

Variants

CheckTable

CheckDefeaters

CheckSubsumption

BranchWorld

CheckThreshold

Deprecated — use CheckMinInclusive.

ConsumeFact

ZkConsumeFact

Linear-logic zero-knowledge–gated resource exhaustion: like ConsumeFact, but the cryptographic-token resource (subject_reg, predicate_reg, object_reg) is spent only if a verified zk-entitlement marker (subject_reg, q42:zkVerified, q42:true) is live in the arena. Absent the proof, or if the token is already spent, the frame fails (None). Delegates to modalities::linear::zk_gated_consume.

Unify

Call

Return

ApplyTaxSchema

Halt

WarnOnly

sh:Warning terminal — emits diagnostic but does not halt ingestion.

CheckMinInclusive(f64)

CheckMaxInclusive(f64)

CheckMinExclusive(f64)

CheckMaxExclusive(f64)

CheckMinCount(u32)

CheckMaxCount(u32)

CheckMinLength(u32)

CheckMaxLength(u32)

CheckPattern(u64)

Pattern stored as q_hash of the regex string; compared against literal hash.

CheckHasValue(u64)

q_hash of the single expected value.

CheckNodeShape(u64)

q_hash of a referenced node-shape IRI.

CheckNotShape(u64)

Negation: passes only if the referenced shape would FAIL.

SoftCheckNodeShape(u64)

OR-branch: records a passing rdf:type match without failing the frame.

RequireAnyShape

Fails unless at least one preceding SoftCheckNodeShape matched.

CheckObjectDatatype(u8)

Validates inline literal tag on object_reg (0=IRI, 1=int, 2=decimal, 3=bool).

NativeThermodynamics

NativeOdeSolver

NativeRk4Step(u64)

RK4 ODE time-stepper with chaining support Parameters packed: step_size (lower 32 bits) | num_steps (upper 32 bits)

NativeQuantumDft

NativeReceptorBinding

qualia:predictReceptorBinding — PINN binding affinity.

NativeQuboCompile

Compile semantic constraints into blind QUBO matrix (Core 2).

NativeQuboEmitLinear(u8, u32)

Emit linear QUBO bias: (var_index, f32_bits).

NativeQuboEmitCoupler(u8, u8, u32)

Emit quadratic coupler: (var_a, var_b, f32_bits).

NativeQuantumEgress(u8)

Egress to remote QPU: 0=annealer, 1=gate-model. Yields frame to Core 3.

NativeQuantumIngress

Ingress: collapse provider JSON into provenance Quins.

NativeNucleotideAlign

qualia:alignNucleotideSequence — Smith-Waterman with BLAST nucleotide matrix.

NativeBioinformatics

Deprecated form — routes to NativeNucleotideAlign.

NativeProteinAlign(u8)

qualia:alignProteinSequence — BLOSUM62 (0) or PAM250 (1).

NativeKmerFrequency(u8)

qualia:computeKmerFrequency — k-mer size embedded as parameter.

NativeFastaValidation

qualia:validateFastaRecord.

NativeGeneExpression

qualia:evaluateGeneExpression.

NativeMetaboliteSimilarity

qualia:computeMetaboliteSimilarity — Tanimoto fingerprint check.

NativeClinicalRisk(u8)

qualia:computeRiskScore — 0=Framingham, 1=CHA₂DS₂-VASc, 2=SCORE2.

NativeLongitudinalTrend(u32)

qualia:evaluateLongitudinalTrend — sliding window in days.

NativeDrugInteraction

qualia:evaluateDrugInteraction.

NativeContraindication

qualia:checkContraindication.

NativeFhirObservation(u64)

qualia:validateFhirObservation — LOINC code hash.

NativeEconomics

NativeSmilesValidation

qualia:validateSmiles — structural SMILES validity.

NativeInchiValidation

qualia:validateInchi — InChI / InChIKey format check.

NativeMolecularWeight(u64)

qualia:computeMolecularWeight — exact MW from SMILES; param = max allowed Da (bits of f64).

NativeLogP(u32)

qualia:computeLogP — Crippen LogP; param = max allowed × 100 as i32 (stored as u32 bits).

NativeTPSA(u32)

qualia:computeTPSA — Ertl TPSA; param = max Ų (as u32).

NativeLipinskiFilter

qualia:evaluateLipinski — Rule-of-Five drug-likeness filter.

NativeVeberFilter

qualia:evaluateVeber — Veber oral-bioavailability filter.

NativeGhoseFilter

qualia:evaluateGhose — Ghose drug-likeness filter.

NativeEganFilter

qualia:evaluateEgan — Egan passive-absorption filter.

NativeFunctionalGroups

qualia:detectFunctionalGroups — returns set of detected functional group hashes.

NativePkaEstimate

qualia:computePka — functional-group-based pKa estimation.

NativeChiralCenters

qualia:computeChiralCenters — count sp3 C with 4 distinct substituents.

NativeCircularFingerprint(u8)

qualia:generateCircularFingerprint — Morgan fingerprint; param = radius.

NativeArrhenius(u32)

qualia:computeArrheniusRate — k = A·exp(−Ea/RT); param encodes temperature K as u32.

NativeGibbsEnergy

qualia:computeGibbsEnergy — ΔG = ΔH − TΔS.

NativeEquilibrium

qualia:computeEquilibrium — K = exp(−ΔG°/RT).

NativeHendersonHasselbalch

qualia:computeHendersonHasselbalch — pH from pKa + concentration ratio.

NativeAtomEconomy

qualia:computeAtomEconomy — Trost 1991 green metric.

NativeEFactor

qualia:computeEFactor — Sheldon waste-per-product metric.

NativeGreenMetrics

qualia:computeGreenMetrics — full suite: AE, E-factor, PMI, RME, CE.

NativeComputeCrcl

NativeComputeEgfr

NativeEvaluatePkModel

NativeComputeSofaScore

NativeTranslateDna

NativeIsoelectricPoint

NativePeptideCleavage

NativeBbbPermeation

NativeLigandEfficiency

NativeLLE

NativeIsotopeDistribution

NativeDeonticEval

NativeEpistemicEval(u8)

NativeLinearConsume

NativeAspStableModels

NativeParaconsistentIsolate

NativeDialecticalSynthesis

NativeProbabilisticThreshold(u32)

Probabilistic gate: the goal quin’s f32 belief weight (in metadata) must be ≥ the threshold (param = f32::to_bits).

NativeDlSubsumption

Description-logic gate: frame.subject_reg ⊑ frame.object_reg over the arena TBox (transitive rdfs:subClassOf closure).

NativeArgumentationGrounded

Argumentation gate (Dung grounded semantics): the goal argument (frame.subject_reg) must be justified — in the grounded extension built from arg:asserts / arg:attacks quins in the arena.

NativeMtlWithin(u32)

Metric-temporal gate (MTL “within”): target (frame.object_reg) must occur within the param window of the earliest trigger (frame.predicate_reg); event timestamps are in each quin’s metadata.

NativeContraryToDuty

Contrary-to-duty gate (dyadic deontic): if the party (frame.subject_reg) breached the primary obligation (frame.predicate_reg), the reparation (frame.object_reg) must be fulfilled.

NativeCausalNecessary

Causal-necessity gate (but-for): frame.subject_reg must be a necessary cause of frame.object_reg from origin frame.context_reg.

NativeAbduce

Abductive gate: the observation (frame.object_reg) must have an explanatory hypothesis (backward abduces:explains chain) in the arena.

NativeClosedWorld

Closed-world / negation-as-failure gate: passes iff the frame goal is ABSENT from the arena (its negation holds by default).

NativeFuzzyConjunction(u32)

Fuzzy-conjunction gate: the Gödel t-norm (min) of the truth degrees of all quins with predicate frame.predicate_reg must be ≥ the param threshold.

NativeCtlExistsFinally

CTL EF gate: from frame.subject_reg, SOME path reaches a state satisfying frame.object_reg (branching-time reachability over ctl:next/ctl:holds).

NativeCtlAlwaysGlobally

CTL AG gate: EVERY state reachable from frame.subject_reg satisfies the invariant frame.object_reg.

NativeModalNecessary

Modal □ gate: frame.object_reg holds in ALL worlds accessible from frame.subject_reg (modal:accesses/modal:holds).

NativeModalPossible

Modal ◇ gate: frame.object_reg holds in SOME world accessible from frame.subject_reg.

NativeRcc8(u8)

RCC-8 spatial gate: the topological relation between region frame.subject_reg and region frame.object_reg (each = boundary-point quins) must equal the param (0=DC,1=EC,2=PO,3=TPP,4=TPPi,5=NTPP,6=NTPPi,7=EQ).

NativeRcc8Assert(u8)

RCC-8 fact-emitting assertion: if the relation holds, asserts a derived fact.

NativeAllenIntervalAssert(u8)

Fact-emitting temporal interval relation assertion.

NativeRegisterRule

qapp-facing dynamic N3 rule registration

NativeStewardQuorum(u8)

M-of-N steward quorum gate

NativeCanvasPlacement

Governed canvas placement gate

NativeRetrieveByActivation

NativeDecayMetadata

NativeUnless

NativeLtlGlobally

NativeLtlFinally

NativeLtlNext

NativeLtlUntil

NativeLtlRelease

NativeManifoldLtl

Evaluate a threshold proposition projected from chronological 10D manifold states through the existing LTL evaluator.

mode: 0=Globally, 1=Finally, 2=Next. dimension: [manifold::ManifoldDimension] discriminant. threshold_bits: IEEE-754 f32 threshold. at_least: true for >=, false for <=.

Fields

mode: u8

dimension: u8

threshold_bits: u32

at_least: bool

NativeManifoldAsp

Derive topology facts from 10D states and execute the bounded real ASP stable-model evaluator. The selected model bitset is bound to object_reg.

NativeAllenInterval(u8)

NativeLorentzDistance

NativeTropicalDistance

NativeVerifyProofOfLocation

NativeCalcSimpsons(u64, u64, u32, u32)

calc:SimpsonsIntegration — CPU-based Simpson’s rule (start_bits, end_bits, step_size_bits, kahan_bits)

NativeCalcTrapezoidal(u64, u64, u32, u32)

calc:TrapezoidalIntegration — CPU-based trapezoidal rule (start_bits, end_bits, step_size_bits, kahan_bits)

NativeCalcGpu(u64, u64, u32, u32)

calc:GpuIntegration — GPU-accelerated integration via WebGPU (start_bits, end_bits, step_size_bits, kahan_bits)

Trait Implementations

impl Clone for SlgOpcode

fn clone(&self) -> SlgOpcode

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SlgOpcode

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for SlgOpcode

fn eq(&self, other: &SlgOpcode) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for SlgOpcode

impl StructuralPartialEq for SlgOpcode