@lucern/confidence 0.1.0-alpha.2

package/dist/v1/operations/operatorTaxonomy.js

@@ -0,0 +1,508 @@
+// src/v1/operations/approximation.ts
+var SL_APPROXIMATION_OPERATOR_NAMES = [
+  "cumulativeFusion",
+  "averagingFusion",
+  "conditionalAbduction",
+  "opinionFromDirichlet",
+  "projectDirichletOpinion",
+  "opinionFromBeta",
+  "betaFromOpinion",
+  "dampedDependencyOpinion",
+  "dampedDependencyCascade"
+];
+
+// src/v1/operations/canonical.ts
+var SL_CANONICAL_OPERATOR_NAMES = [
+  "opinion",
+  "vacuous",
+  "dogmatic",
+  "project",
+  "trustDiscount",
+  "negate",
+  "conditionalDeduction",
+  "confidenceFromOpinion",
+  "confidenceFromSL",
+  "opinionFromBaseRate",
+  "opinionFromDogmatic",
+  "opinionFromProjected"
+];
+
+// src/v1/operations/lucern.ts
+var LUCERN_SPECIFIC_OPERATOR_NAMES = [
+  "clamp01",
+  "toStoredOpinionFields",
+  "readOpinionFromRecord",
+  "opinionFromScalar",
+  "temporalDecay",
+  "toDogmaticOpinion",
+  "hasProjectedOpinionChanged",
+  "normalizeTupleContradictionPolicy",
+  "detectTupleContradiction",
+  "evaluateTupleContradictionTransition",
+  "confidenceLevel",
+  "constraintFusion",
+  "evidenceBalance",
+  "areTensioned",
+  "informationGain",
+  "isPropagationEdgeType",
+  "getPropagationTraversalSpecs",
+  "propagateThroughEdge",
+  "propagateAllEdges",
+  "bayesianUpdate",
+  "reviseConfidence",
+  "computeBaseDecay",
+  "computeDeadlineUrgency",
+  "computeEffectiveDecay",
+  "getRescoringSchedule",
+  "decay",
+  "applyNegativeSupport",
+  "applyNegativeEvidence",
+  "deriveContractStatus",
+  "deriveVerificationTrigger",
+  "deriveContractModulationPlan",
+  "createInheritedContractRecord",
+  "normalizeEvidentialAction",
+  "parseComparisonOperator",
+  "parseNumericThreshold",
+  "pickFiniteNumber",
+  "getEvaluatorInputRecord",
+  "parseEvidentialEvaluatorConfig",
+  "compareMetricValue",
+  "resolveComparisonResult",
+  "buildComparisonRationale",
+  "buildEvidentialRationale",
+  "parseMetricCheckerConfig",
+  "parseReferenceCheckCounterConfig",
+  "parseTemporalDeadlineConfig",
+  "parseMarketIndexComparatorConfig"
+];
+
+// src/v1/operations/operatorTaxonomy.ts
+var OPERATOR_TAXONOMY_TAGS = [
+  "SL_CANONICAL",
+  "SL_APPROXIMATION",
+  "LUCERN_SPECIFIC"
+];
+var PUBLIC_OPERATOR_EXPORT_NAMES = [
+  ...SL_CANONICAL_OPERATOR_NAMES,
+  ...SL_APPROXIMATION_OPERATOR_NAMES,
+  ...LUCERN_SPECIFIC_OPERATOR_NAMES
+];
+var OPERATOR_TAXONOMY_ENTRIES = [
+  {
+    operator: "opinion",
+    tag: "SL_CANONICAL",
+    sourceModule: "operations/subjectiveLogic/index.ts",
+    rationale: "Constructs the canonical binomial SL opinion tuple and normalizes it into valid mass components."
+  },
+  {
+    operator: "vacuous",
+    tag: "SL_CANONICAL",
+    sourceModule: "operations/subjectiveLogic/index.ts",
+    rationale: "Builds the canonical vacuous opinion with full uncertainty and an explicit base rate."
+  },
+  {
+    operator: "dogmatic",
+    tag: "SL_CANONICAL",
+    sourceModule: "operations/subjectiveLogic/index.ts",
+    rationale: "Builds the canonical dogmatic opinion with zero uncertainty at a projected probability."
+  },
+  {
+    operator: "project",
+    tag: "SL_CANONICAL",
+    sourceModule: "operations/subjectiveLogic/index.ts",
+    rationale: "Implements the canonical SL projected probability formula P = b + a*u."
+  },
+  {
+    operator: "trustDiscount",
+    tag: "SL_CANONICAL",
+    sourceModule: "operations/subjectiveLogic/index.ts",
+    rationale: "Implements standard trust discounting by attenuating belief/disbelief mass and returning the remainder to uncertainty."
+  },
+  {
+    operator: "negate",
+    tag: "SL_CANONICAL",
+    sourceModule: "operations/subjectiveLogic/index.ts",
+    rationale: "Implements canonical opinion negation by swapping belief and disbelief and complementing the base rate."
+  },
+  {
+    operator: "confidenceFromOpinion",
+    tag: "SL_CANONICAL",
+    sourceModule: "operations/scoring.ts",
+    rationale: "Projects a stored opinion into its canonical scalar probability without adding Lucern-specific heuristics."
+  },
+  {
+    operator: "confidenceFromSL",
+    tag: "SL_CANONICAL",
+    sourceModule: "operations/scoring.ts",
+    rationale: "Thin wrapper over the canonical SL projection formula for callers that provide tuple components directly."
+  },
+  {
+    operator: "opinionFromBaseRate",
+    tag: "SL_CANONICAL",
+    sourceModule: "operations/scoring.ts",
+    rationale: "Constructs the canonical vacuous opinion from a prior/base-rate probability."
+  },
+  {
+    operator: "opinionFromDogmatic",
+    tag: "SL_CANONICAL",
+    sourceModule: "operations/scoring.ts",
+    rationale: "Constructs the canonical dogmatic opinion from a projected probability and base rate."
+  },
+  {
+    operator: "opinionFromProjected",
+    tag: "SL_CANONICAL",
+    sourceModule: "operations/scoring.ts",
+    rationale: "Reconstructs a valid opinion from projected probability plus explicit uncertainty without changing the SL tuple semantics."
+  },
+  {
+    operator: "cumulativeFusion",
+    tag: "SL_APPROXIMATION",
+    sourceModule: "operations/subjectiveLogic/index.ts",
+    rationale: "Implements the cumulative fusion family, but Lucern averages base rates and special-cases dogmatic pairs instead of claiming a verbatim textbook transcription."
+  },
+  {
+    operator: "averagingFusion",
+    tag: "SL_APPROXIMATION",
+    sourceModule: "operations/subjectiveLogic/index.ts",
+    rationale: "Implements the averaging fusion family with Lucern-specific base-rate averaging and dogmatic shortcuts."
+  },
+  {
+    operator: "conditionalDeduction",
+    tag: "SL_CANONICAL",
+    sourceModule: "operations/subjectiveLogic/index.ts",
+    rationale: "Implements textbook J\xF8sang conditional deduction over (b, d, u, a) tuples with explicit child base-rate derivation and uncertainty correction."
+  },
+  {
+    operator: "conditionalAbduction",
+    tag: "SL_APPROXIMATION",
+    sourceModule: "operations/subjectiveLogic/index.ts",
+    rationale: "Implements inverse conditional reasoning through projected probabilities and a Lucern uncertainty floor rather than a full subjective-network derivation."
+  },
+  {
+    operator: "opinionFromDirichlet",
+    tag: "SL_APPROXIMATION",
+    sourceModule: "operations/bridge/index.ts",
+    rationale: "Bridges multinomial Dirichlet-style evidence counts into opinion mass with a configurable non-informative weight and normalized base-rate vector."
+  },
+  {
+    operator: "projectDirichletOpinion",
+    tag: "SL_APPROXIMATION",
+    sourceModule: "operations/bridge/index.ts",
+    rationale: "Projects a Dirichlet opinion back into a multinomial probability vector rather than into Lucern's scalar node confidence."
+  },
+  {
+    operator: "opinionFromBeta",
+    tag: "SL_APPROXIMATION",
+    sourceModule: "operations/bridge/index.ts",
+    rationale: "Bridges Beta evidence counts into SL opinions, but exposes a configurable non-informative weight instead of locking the canonical bridge to W = 2."
+  },
+  {
+    operator: "betaFromOpinion",
+    tag: "SL_APPROXIMATION",
+    sourceModule: "operations/bridge/index.ts",
+    rationale: "Bridges opinions back to Beta parameters while allowing a configurable non-informative weight and explicit dogmatic infinities."
+  },
+  {
+    operator: "dampedDependencyOpinion",
+    tag: "SL_APPROXIMATION",
+    sourceModule: "operations/dynamics/cascade.ts",
+    rationale: "Approximates dependency propagation with a threshold-or-damping scheme instead of a general SL network inference operator. Used as the fallback when edge metadata lacks explicit conditional opinions."
+  },
+  {
+    operator: "dampedDependencyCascade",
+    tag: "SL_APPROXIMATION",
+    sourceModule: "operations/dynamics/cascade.ts",
+    rationale: "Wraps the damped dependency approximation and records it as dependency_cascade provenance for graph propagation. Fallback path for depends_on when edge conditionals are absent."
+  },
+  {
+    operator: "clamp01",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/scoring.ts",
+    rationale: "Implementation helper for Lucern APIs; it has no direct J\xF8sang operator analogue."
+  },
+  {
+    operator: "toStoredOpinionFields",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/scoring.ts",
+    rationale: "Serializes opinions into Lucern storage fields rather than implementing an SL algebra operator."
+  },
+  {
+    operator: "readOpinionFromRecord",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/scoring.ts",
+    rationale: "Deserializes opinion fields from Lucern record shapes and fallback aliases; it is storage glue, not SL."
+  },
+  {
+    operator: "opinionFromScalar",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/scoring.ts",
+    rationale: "Lucern convenience wrapper that multiplexes several scalar-to-opinion construction modes behind one API."
+  },
+  {
+    operator: "temporalDecay",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/temporalDecay.ts",
+    rationale: "Lucern temporal operator that exponentially ages evidential mass back into uncertainty while preserving the prior/base rate."
+  },
+  {
+    operator: "toDogmaticOpinion",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/scoring.ts",
+    rationale: "Deprecated Lucern shim retained for compatibility rather than as a canonical SL operator."
+  },
+  {
+    operator: "hasProjectedOpinionChanged",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/scoring.ts",
+    rationale: "Lucern propagation threshold helper that decides whether a write is materially different enough to fan out."
+  },
+  {
+    operator: "normalizeTupleContradictionPolicy",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/contradiction/detectTupleContradiction.ts",
+    rationale: "Normalizes Lucern tuple-contradiction thresholds; tuple contradiction is not a standard SL operator."
+  },
+  {
+    operator: "detectTupleContradiction",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/contradiction/detectTupleContradiction.ts",
+    rationale: "Lucern heuristic that flags simultaneous high belief and disbelief mass as a first-class contradiction state."
+  },
+  {
+    operator: "evaluateTupleContradictionTransition",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/contradiction/detectTupleContradiction.ts",
+    rationale: "Lucern transition helper that turns tuple-contradiction threshold crossings into workflow signals."
+  },
+  {
+    operator: "confidenceLevel",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/subjectiveLogic/index.ts",
+    rationale: "Buckets opinions into Lucern UI labels; it is not part of J\xF8sang's operator set."
+  },
+  {
+    operator: "constraintFusion",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/subjectiveLogic/index.ts",
+    rationale: "Lucern exclusivity/XOR heuristic that pressures paired opinions; there is no direct textbook SL operator with this behavior."
+  },
+  {
+    operator: "evidenceBalance",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/subjectiveLogic/index.ts",
+    rationale: "Lucern analytic helper that summarizes resolved evidence tilt after uncertainty is excluded."
+  },
+  {
+    operator: "areTensioned",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/subjectiveLogic/index.ts",
+    rationale: "Lucern heuristic for surfacing opinion tension based on projected agreement plus residual disbelief mass."
+  },
+  {
+    operator: "informationGain",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/subjectiveLogic/index.ts",
+    rationale: "Lucern heuristic score over uncertainty and balance; it is neither Shannon entropy nor a named SL operator."
+  },
+  {
+    operator: "isPropagationEdgeType",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/dynamics/propagation.ts",
+    rationale: "Lucern dispatch-table guard for graph edge semantics, not an SL algebra operator."
+  },
+  {
+    operator: "getPropagationTraversalSpecs",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/dynamics/propagation.ts",
+    rationale: "Exposes the pure-module edge traversal ordering used by the local propagation helpers; graph-primitives owns the multi-hop runtime."
+  },
+  {
+    operator: "propagateThroughEdge",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/dynamics/propagation.ts",
+    rationale: "Compiles Lucern edge types into operator application; the dispatch architecture itself has no direct J\xF8sang analogue."
+  },
+  {
+    operator: "propagateAllEdges",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/dynamics/propagation.ts",
+    rationale: "Lucern bounded aggregator for ordered 1-hop dispatch results across edge families."
+  },
+  {
+    operator: "bayesianUpdate",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/dynamics/revision.ts",
+    rationale: "Scalar Bayesian helper retained by Lucern as a fallback revision primitive outside the canonical SL operator family."
+  },
+  {
+    operator: "reviseConfidence",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/dynamics/revision.ts",
+    rationale: "Lucern wrapper around the scalar Bayesian revision helper rather than a direct SL operator."
+  },
+  {
+    operator: "computeBaseDecay",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/dynamics/decay.ts",
+    rationale: "Lucern recency heuristic over scored beliefs; decay tiers are a product rule, not part of SL."
+  },
+  {
+    operator: "computeDeadlineUrgency",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/dynamics/decay.ts",
+    rationale: "Lucern deadline heuristic that modulates rescoring urgency outside the SL literature."
+  },
+  {
+    operator: "computeEffectiveDecay",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/dynamics/decay.ts",
+    rationale: "Combines Lucern age, lifecycle, and deadline heuristics into an effective decay weight."
+  },
+  {
+    operator: "getRescoringSchedule",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/dynamics/decay.ts",
+    rationale: "Produces Lucern operational scheduling guidance for rescoring rather than opinion algebra."
+  },
+  {
+    operator: "decay",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/dynamics/decay.ts",
+    rationale: "Applies Lucern time-decay heuristics to an opinion tuple; it is not a named J\xF8sang operator."
+  },
+  {
+    operator: "applyNegativeSupport",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/dynamics/defeat.ts",
+    rationale: "Lucern graph-specific defeater wrapper that chooses between XOR pressure and negation-plus-discount-plus-fusion."
+  },
+  {
+    operator: "applyNegativeEvidence",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/dynamics/defeat.ts",
+    rationale: "Lucern signed-edge wrapper that interprets negative evidence through a composed anti-opinion path."
+  },
+  {
+    operator: "deriveContractStatus",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/contracts/epistemicContract.ts",
+    rationale: "Lucern contract-lifecycle helper with no direct relation to the SL operator family."
+  },
+  {
+    operator: "deriveVerificationTrigger",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/contracts/epistemicContract.ts",
+    rationale: "Maps Lucern contract evaluation results into confidence triggers for workflow use."
+  },
+  {
+    operator: "deriveContractModulationPlan",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/contracts/epistemicContract.ts",
+    rationale: "Computes Lucern confidence deltas from contract outcomes; contracts are a Lucern control surface, not SL."
+  },
+  {
+    operator: "createInheritedContractRecord",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/contracts/epistemicContract.ts",
+    rationale: "Builds Lucern contract lineage records rather than confidence algebra."
+  },
+  {
+    operator: "normalizeEvidentialAction",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/contracts/epistemicContract.ts",
+    rationale: "Normalizes Lucern evidential contract actions for workflow execution."
+  },
+  {
+    operator: "parseComparisonOperator",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/contracts/epistemicContract.ts",
+    rationale: "Parses Lucern contract evaluator configuration; it is not an SL operator."
+  },
+  {
+    operator: "parseNumericThreshold",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/contracts/epistemicContract.ts",
+    rationale: "Lucern contract-config helper for numeric thresholds."
+  },
+  {
+    operator: "pickFiniteNumber",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/contracts/epistemicContract.ts",
+    rationale: "Lucern parser utility for evaluator configuration and snapshots."
+  },
+  {
+    operator: "getEvaluatorInputRecord",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/contracts/epistemicContract.ts",
+    rationale: "Extracts Lucern evaluator payloads from nested runtime records."
+  },
+  {
+    operator: "parseEvidentialEvaluatorConfig",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/contracts/epistemicContract.ts",
+    rationale: "Parses Lucern evidential contract configuration into a typed evaluator plan."
+  },
+  {
+    operator: "compareMetricValue",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/contracts/epistemicContract.ts",
+    rationale: "Executes Lucern contract comparison semantics rather than SL tuple algebra."
+  },
+  {
+    operator: "resolveComparisonResult",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/contracts/epistemicContract.ts",
+    rationale: "Maps Lucern comparison outcomes into contract confirmation or disconfirmation."
+  },
+  {
+    operator: "buildComparisonRationale",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/contracts/epistemicContract.ts",
+    rationale: "Renders Lucern contract-evaluation explanations for auditability."
+  },
+  {
+    operator: "buildEvidentialRationale",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/contracts/epistemicContract.ts",
+    rationale: "Renders Lucern evidential evaluator explanations for auditability."
+  },
+  {
+    operator: "parseMetricCheckerConfig",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/contracts/epistemicContract.ts",
+    rationale: "Parses the Lucern metric-checker contract evaluator."
+  },
+  {
+    operator: "parseReferenceCheckCounterConfig",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/contracts/epistemicContract.ts",
+    rationale: "Parses the Lucern reference-check counter evaluator."
+  },
+  {
+    operator: "parseTemporalDeadlineConfig",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/contracts/epistemicContract.ts",
+    rationale: "Parses Lucern deadline-evaluator configuration for time-bounded claims."
+  },
+  {
+    operator: "parseMarketIndexComparatorConfig",
+    tag: "LUCERN_SPECIFIC",
+    sourceModule: "operations/contracts/epistemicContract.ts",
+    rationale: "Parses the Lucern market-index comparator evaluator."
+  }
+];
+var OPERATOR_TAXONOMY = Object.freeze(
+  Object.fromEntries(
+    OPERATOR_TAXONOMY_ENTRIES.map((entry) => [entry.operator, entry])
+  )
+);
+var OPERATOR_TAXONOMY_BY_TAG = Object.freeze({
+  SL_CANONICAL: SL_CANONICAL_OPERATOR_NAMES,
+  SL_APPROXIMATION: SL_APPROXIMATION_OPERATOR_NAMES,
+  LUCERN_SPECIFIC: LUCERN_SPECIFIC_OPERATOR_NAMES
+});
+
+export { OPERATOR_TAXONOMY, OPERATOR_TAXONOMY_BY_TAG, OPERATOR_TAXONOMY_ENTRIES, OPERATOR_TAXONOMY_TAGS, PUBLIC_OPERATOR_EXPORT_NAMES };
+//# sourceMappingURL=operatorTaxonomy.js.map
+//# sourceMappingURL=operatorTaxonomy.js.map

package/dist/v1/operations/operatorTaxonomy.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../../src/v1/operations/approximation.ts","../../../src/v1/operations/canonical.ts","../../../src/v1/operations/lucern.ts","../../../src/v1/operations/operatorTaxonomy.ts"],"names":[],"mappings":";AAAO,IAAM,+BAAA,GAAkC;AAAA,EAC7C,kBAAA;AAAA,EACA,iBAAA;AAAA,EACA,sBAAA;AAAA,EACA,sBAAA;AAAA,EACA,yBAAA;AAAA,EACA,iBAAA;AAAA,EACA,iBAAA;AAAA,EACA,yBAAA;AAAA,EACA;AACF,CAAA;;;ACVO,IAAM,2BAAA,GAA8B;AAAA,EACzC,SAAA;AAAA,EACA,SAAA;AAAA,EACA,UAAA;AAAA,EACA,SAAA;AAAA,EACA,eAAA;AAAA,EACA,QAAA;AAAA,EACA,sBAAA;AAAA,EACA,uBAAA;AAAA,EACA,kBAAA;AAAA,EACA,qBAAA;AAAA,EACA,qBAAA;AAAA,EACA;AACF,CAAA;;;ACbO,IAAM,8BAAA,GAAiC;AAAA,EAC5C,SAAA;AAAA,EACA,uBAAA;AAAA,EACA,uBAAA;AAAA,EACA,mBAAA;AAAA,EACA,eAAA;AAAA,EACA,mBAAA;AAAA,EACA,4BAAA;AAAA,EACA,mCAAA;AAAA,EACA,0BAAA;AAAA,EACA,sCAAA;AAAA,EACA,iBAAA;AAAA,EACA,kBAAA;AAAA,EACA,iBAAA;AAAA,EACA,cAAA;AAAA,EACA,iBAAA;AAAA,EACA,uBAAA;AAAA,EACA,8BAAA;AAAA,EACA,sBAAA;AAAA,EACA,mBAAA;AAAA,EACA,gBAAA;AAAA,EACA,kBAAA;AAAA,EACA,kBAAA;AAAA,EACA,wBAAA;AAAA,EACA,uBAAA;AAAA,EACA,sBAAA;AAAA,EACA,OAAA;AAAA,EACA,sBAAA;AAAA,EACA,uBAAA;AAAA,EACA,sBAAA;AAAA,EACA,2BAAA;AAAA,EACA,8BAAA;AAAA,EACA,+BAAA;AAAA,EACA,2BAAA;AAAA,EACA,yBAAA;AAAA,EACA,uBAAA;AAAA,EACA,kBAAA;AAAA,EACA,yBAAA;AAAA,EACA,gCAAA;AAAA,EACA,oBAAA;AAAA,EACA,yBAAA;AAAA,EACA,0BAAA;AAAA,EACA,0BAAA;AAAA,EACA,0BAAA;AAAA,EACA,kCAAA;AAAA,EACA,6BAAA;AAAA,EACA;AACF,CAAA;;;AC3CO,IAAM,sBAAA,GAAyB;AAAA,EACpC,cAAA;AAAA,EACA,kBAAA;AAAA,EACA;AACF;AAeO,IAAM,4BAAA,GAA+B;AAAA,EAC1C,GAAG,2BAAA;AAAA,EACH,GAAG,+BAAA;AAAA,EACH,GAAG;AACL;AAEO,IAAM,yBAAA,GAA4B;AAAA,EACvC;AAAA,IACE,QAAA,EAAU,SAAA;AAAA,IACV,GAAA,EAAK,cAAA;AAAA,IACL,YAAA,EAAc,qCAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,SAAA;AAAA,IACV,GAAA,EAAK,cAAA;AAAA,IACL,YAAA,EAAc,qCAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,UAAA;AAAA,IACV,GAAA,EAAK,cAAA;AAAA,IACL,YAAA,EAAc,qCAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,SAAA;AAAA,IACV,GAAA,EAAK,cAAA;AAAA,IACL,YAAA,EAAc,qCAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,eAAA;AAAA,IACV,GAAA,EAAK,cAAA;AAAA,IACL,YAAA,EAAc,qCAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,QAAA;AAAA,IACV,GAAA,EAAK,cAAA;AAAA,IACL,YAAA,EAAc,qCAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,uBAAA;AAAA,IACV,GAAA,EAAK,cAAA;AAAA,IACL,YAAA,EAAc,uBAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,kBAAA;AAAA,IACV,GAAA,EAAK,cAAA;AAAA,IACL,YAAA,EAAc,uBAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,qBAAA;AAAA,IACV,GAAA,EAAK,cAAA;AAAA,IACL,YAAA,EAAc,uBAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,qBAAA;AAAA,IACV,GAAA,EAAK,cAAA;AAAA,IACL,YAAA,EAAc,uBAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,sBAAA;AAAA,IACV,GAAA,EAAK,cAAA;AAAA,IACL,YAAA,EAAc,uBAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,kBAAA;AAAA,IACV,GAAA,EAAK,kBAAA;AAAA,IACL,YAAA,EAAc,qCAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,iBAAA;AAAA,IACV,GAAA,EAAK,kBAAA;AAAA,IACL,YAAA,EAAc,qCAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,sBAAA;AAAA,IACV,GAAA,EAAK,cAAA;AAAA,IACL,YAAA,EAAc,qCAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,sBAAA;AAAA,IACV,GAAA,EAAK,kBAAA;AAAA,IACL,YAAA,EAAc,qCAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,sBAAA;AAAA,IACV,GAAA,EAAK,kBAAA;AAAA,IACL,YAAA,EAAc,4BAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,yBAAA;AAAA,IACV,GAAA,EAAK,kBAAA;AAAA,IACL,YAAA,EAAc,4BAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,iBAAA;AAAA,IACV,GAAA,EAAK,kBAAA;AAAA,IACL,YAAA,EAAc,4BAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,iBAAA;AAAA,IACV,GAAA,EAAK,kBAAA;AAAA,IACL,YAAA,EAAc,4BAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,yBAAA;AAAA,IACV,GAAA,EAAK,kBAAA;AAAA,IACL,YAAA,EAAc,gCAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,yBAAA;AAAA,IACV,GAAA,EAAK,kBAAA;AAAA,IACL,YAAA,EAAc,gCAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,SAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,uBAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,uBAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,uBAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,uBAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,uBAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,mBAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,uBAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,eAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,6BAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,mBAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,uBAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,4BAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,uBAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,mCAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,sDAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,0BAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,sDAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,sCAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,sDAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,iBAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,qCAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,kBAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,qCAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,iBAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,qCAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,cAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,qCAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,iBAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,qCAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,uBAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,oCAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,8BAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,oCAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,sBAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,oCAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,mBAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,oCAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,gBAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,iCAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,kBAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,iCAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,kBAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,8BAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,wBAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,8BAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,uBAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,8BAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,sBAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,8BAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,OAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,8BAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,sBAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,+BAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,uBAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,+BAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,sBAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,2CAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,2BAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,2CAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,8BAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,2CAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,+BAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,2CAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,2BAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,2CAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,yBAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,2CAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,uBAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,2CAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,kBAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,2CAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,yBAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,2CAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,gCAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,2CAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,oBAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,2CAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,yBAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,2CAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,0BAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,2CAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,0BAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,2CAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,0BAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,2CAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,kCAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,2CAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,6BAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,2CAAA;AAAA,IACd,SAAA,EACE;AAAA,GACJ;AAAA,EACA;AAAA,IACE,QAAA,EAAU,kCAAA;AAAA,IACV,GAAA,EAAK,iBAAA;AAAA,IACL,YAAA,EAAc,2CAAA;AAAA,IACd,SAAA,EACE;AAAA;AAEN;AAEO,IAAM,oBAAoB,MAAA,CAAO,MAAA;AAAA,EACtC,MAAA,CAAO,WAAA;AAAA,IACL,yBAAA,CAA0B,IAAI,CAAC,KAAA,KAAU,CAAC,KAAA,CAAM,QAAA,EAAU,KAAK,CAAC;AAAA;AAEpE;AAEO,IAAM,wBAAA,GAA2B,OAAO,MAAA,CAAO;AAAA,EACpD,YAAA,EAAc,2BAAA;AAAA,EACd,gBAAA,EAAkB,+BAAA;AAAA,EAClB,eAAA,EAAiB;AACnB,CAAC","file":"operatorTaxonomy.js","sourcesContent":["export const SL_APPROXIMATION_OPERATOR_NAMES = [\n  \"cumulativeFusion\",\n  \"averagingFusion\",\n  \"conditionalAbduction\",\n  \"opinionFromDirichlet\",\n  \"projectDirichletOpinion\",\n  \"opinionFromBeta\",\n  \"betaFromOpinion\",\n  \"dampedDependencyOpinion\",\n  \"dampedDependencyCascade\",\n] as const;\n\nexport {\n  cumulativeFusion,\n  averagingFusion,\n  conditionalAbduction,\n} from \"./subjectiveLogic\";\nexport {\n  opinionFromDirichlet,\n  projectDirichletOpinion,\n  opinionFromBeta,\n  betaFromOpinion,\n} from \"./bridge\";\nexport {\n  dampedDependencyOpinion,\n  dampedDependencyCascade,\n} from \"./dynamics/cascade\";\n","export const SL_CANONICAL_OPERATOR_NAMES = [\n  \"opinion\",\n  \"vacuous\",\n  \"dogmatic\",\n  \"project\",\n  \"trustDiscount\",\n  \"negate\",\n  \"conditionalDeduction\",\n  \"confidenceFromOpinion\",\n  \"confidenceFromSL\",\n  \"opinionFromBaseRate\",\n  \"opinionFromDogmatic\",\n  \"opinionFromProjected\",\n] as const;\n\nexport {\n  opinion,\n  vacuous,\n  dogmatic,\n  project,\n  trustDiscount,\n  negate,\n  conditionalDeduction,\n} from \"./subjectiveLogic\";\nexport {\n  confidenceFromOpinion,\n  confidenceFromSL,\n  opinionFromBaseRate,\n  opinionFromDogmatic,\n  opinionFromProjected,\n} from \"./scoring\";\n","export const LUCERN_SPECIFIC_OPERATOR_NAMES = [\n  \"clamp01\",\n  \"toStoredOpinionFields\",\n  \"readOpinionFromRecord\",\n  \"opinionFromScalar\",\n  \"temporalDecay\",\n  \"toDogmaticOpinion\",\n  \"hasProjectedOpinionChanged\",\n  \"normalizeTupleContradictionPolicy\",\n  \"detectTupleContradiction\",\n  \"evaluateTupleContradictionTransition\",\n  \"confidenceLevel\",\n  \"constraintFusion\",\n  \"evidenceBalance\",\n  \"areTensioned\",\n  \"informationGain\",\n  \"isPropagationEdgeType\",\n  \"getPropagationTraversalSpecs\",\n  \"propagateThroughEdge\",\n  \"propagateAllEdges\",\n  \"bayesianUpdate\",\n  \"reviseConfidence\",\n  \"computeBaseDecay\",\n  \"computeDeadlineUrgency\",\n  \"computeEffectiveDecay\",\n  \"getRescoringSchedule\",\n  \"decay\",\n  \"applyNegativeSupport\",\n  \"applyNegativeEvidence\",\n  \"deriveContractStatus\",\n  \"deriveVerificationTrigger\",\n  \"deriveContractModulationPlan\",\n  \"createInheritedContractRecord\",\n  \"normalizeEvidentialAction\",\n  \"parseComparisonOperator\",\n  \"parseNumericThreshold\",\n  \"pickFiniteNumber\",\n  \"getEvaluatorInputRecord\",\n  \"parseEvidentialEvaluatorConfig\",\n  \"compareMetricValue\",\n  \"resolveComparisonResult\",\n  \"buildComparisonRationale\",\n  \"buildEvidentialRationale\",\n  \"parseMetricCheckerConfig\",\n  \"parseReferenceCheckCounterConfig\",\n  \"parseTemporalDeadlineConfig\",\n  \"parseMarketIndexComparatorConfig\",\n] as const;\n\nexport {\n  clamp01,\n  toStoredOpinionFields,\n  readOpinionFromRecord,\n  opinionFromScalar,\n  toDogmaticOpinion,\n  hasProjectedOpinionChanged,\n} from \"./scoring\";\nexport { temporalDecay } from \"./temporalDecay\";\nexport {\n  normalizeTupleContradictionPolicy,\n  detectTupleContradiction,\n  evaluateTupleContradictionTransition,\n} from \"./contradiction\";\nexport {\n  confidenceLevel,\n  constraintFusion,\n  evidenceBalance,\n  areTensioned,\n  informationGain,\n} from \"./subjectiveLogic\";\nexport {\n  isPropagationEdgeType,\n  getPropagationTraversalSpecs,\n  propagateThroughEdge,\n  propagateAllEdges,\n} from \"./dynamics/propagation\";\nexport { bayesianUpdate, reviseConfidence } from \"./dynamics/revision\";\nexport {\n  computeBaseDecay,\n  computeDeadlineUrgency,\n  computeEffectiveDecay,\n  getRescoringSchedule,\n  decay,\n} from \"./dynamics/decay\";\nexport { applyNegativeSupport, applyNegativeEvidence } from \"./dynamics/defeat\";\nexport {\n  deriveContractStatus,\n  deriveVerificationTrigger,\n  deriveContractModulationPlan,\n  createInheritedContractRecord,\n  normalizeEvidentialAction,\n  parseComparisonOperator,\n  parseNumericThreshold,\n  pickFiniteNumber,\n  getEvaluatorInputRecord,\n  parseEvidentialEvaluatorConfig,\n  compareMetricValue,\n  resolveComparisonResult,\n  buildComparisonRationale,\n  buildEvidentialRationale,\n  parseMetricCheckerConfig,\n  parseReferenceCheckCounterConfig,\n  parseTemporalDeadlineConfig,\n  parseMarketIndexComparatorConfig,\n} from \"./contracts/epistemicContract\";\n","import { SL_APPROXIMATION_OPERATOR_NAMES } from \"./approximation\";\nimport { SL_CANONICAL_OPERATOR_NAMES } from \"./canonical\";\nimport { LUCERN_SPECIFIC_OPERATOR_NAMES } from \"./lucern\";\n\nexport const OPERATOR_TAXONOMY_TAGS = [\n  \"SL_CANONICAL\",\n  \"SL_APPROXIMATION\",\n  \"LUCERN_SPECIFIC\",\n] as const;\n\nexport type OperatorTaxonomyTag = (typeof OPERATOR_TAXONOMY_TAGS)[number];\nexport type ConfidenceOperatorName =\n  | (typeof SL_CANONICAL_OPERATOR_NAMES)[number]\n  | (typeof SL_APPROXIMATION_OPERATOR_NAMES)[number]\n  | (typeof LUCERN_SPECIFIC_OPERATOR_NAMES)[number];\n\nexport type OperatorTaxonomyEntry = {\n  readonly operator: ConfidenceOperatorName;\n  readonly tag: OperatorTaxonomyTag;\n  readonly sourceModule: string;\n  readonly rationale: string;\n};\n\nexport const PUBLIC_OPERATOR_EXPORT_NAMES = [\n  ...SL_CANONICAL_OPERATOR_NAMES,\n  ...SL_APPROXIMATION_OPERATOR_NAMES,\n  ...LUCERN_SPECIFIC_OPERATOR_NAMES,\n] as const;\n\nexport const OPERATOR_TAXONOMY_ENTRIES = [\n  {\n    operator: \"opinion\",\n    tag: \"SL_CANONICAL\",\n    sourceModule: \"operations/subjectiveLogic/index.ts\",\n    rationale:\n      \"Constructs the canonical binomial SL opinion tuple and normalizes it into valid mass components.\",\n  },\n  {\n    operator: \"vacuous\",\n    tag: \"SL_CANONICAL\",\n    sourceModule: \"operations/subjectiveLogic/index.ts\",\n    rationale:\n      \"Builds the canonical vacuous opinion with full uncertainty and an explicit base rate.\",\n  },\n  {\n    operator: \"dogmatic\",\n    tag: \"SL_CANONICAL\",\n    sourceModule: \"operations/subjectiveLogic/index.ts\",\n    rationale:\n      \"Builds the canonical dogmatic opinion with zero uncertainty at a projected probability.\",\n  },\n  {\n    operator: \"project\",\n    tag: \"SL_CANONICAL\",\n    sourceModule: \"operations/subjectiveLogic/index.ts\",\n    rationale:\n      \"Implements the canonical SL projected probability formula P = b + a*u.\",\n  },\n  {\n    operator: \"trustDiscount\",\n    tag: \"SL_CANONICAL\",\n    sourceModule: \"operations/subjectiveLogic/index.ts\",\n    rationale:\n      \"Implements standard trust discounting by attenuating belief/disbelief mass and returning the remainder to uncertainty.\",\n  },\n  {\n    operator: \"negate\",\n    tag: \"SL_CANONICAL\",\n    sourceModule: \"operations/subjectiveLogic/index.ts\",\n    rationale:\n      \"Implements canonical opinion negation by swapping belief and disbelief and complementing the base rate.\",\n  },\n  {\n    operator: \"confidenceFromOpinion\",\n    tag: \"SL_CANONICAL\",\n    sourceModule: \"operations/scoring.ts\",\n    rationale:\n      \"Projects a stored opinion into its canonical scalar probability without adding Lucern-specific heuristics.\",\n  },\n  {\n    operator: \"confidenceFromSL\",\n    tag: \"SL_CANONICAL\",\n    sourceModule: \"operations/scoring.ts\",\n    rationale:\n      \"Thin wrapper over the canonical SL projection formula for callers that provide tuple components directly.\",\n  },\n  {\n    operator: \"opinionFromBaseRate\",\n    tag: \"SL_CANONICAL\",\n    sourceModule: \"operations/scoring.ts\",\n    rationale:\n      \"Constructs the canonical vacuous opinion from a prior/base-rate probability.\",\n  },\n  {\n    operator: \"opinionFromDogmatic\",\n    tag: \"SL_CANONICAL\",\n    sourceModule: \"operations/scoring.ts\",\n    rationale:\n      \"Constructs the canonical dogmatic opinion from a projected probability and base rate.\",\n  },\n  {\n    operator: \"opinionFromProjected\",\n    tag: \"SL_CANONICAL\",\n    sourceModule: \"operations/scoring.ts\",\n    rationale:\n      \"Reconstructs a valid opinion from projected probability plus explicit uncertainty without changing the SL tuple semantics.\",\n  },\n  {\n    operator: \"cumulativeFusion\",\n    tag: \"SL_APPROXIMATION\",\n    sourceModule: \"operations/subjectiveLogic/index.ts\",\n    rationale:\n      \"Implements the cumulative fusion family, but Lucern averages base rates and special-cases dogmatic pairs instead of claiming a verbatim textbook transcription.\",\n  },\n  {\n    operator: \"averagingFusion\",\n    tag: \"SL_APPROXIMATION\",\n    sourceModule: \"operations/subjectiveLogic/index.ts\",\n    rationale:\n      \"Implements the averaging fusion family with Lucern-specific base-rate averaging and dogmatic shortcuts.\",\n  },\n  {\n    operator: \"conditionalDeduction\",\n    tag: \"SL_CANONICAL\",\n    sourceModule: \"operations/subjectiveLogic/index.ts\",\n    rationale:\n      \"Implements textbook Jøsang conditional deduction over (b, d, u, a) tuples with explicit child base-rate derivation and uncertainty correction.\",\n  },\n  {\n    operator: \"conditionalAbduction\",\n    tag: \"SL_APPROXIMATION\",\n    sourceModule: \"operations/subjectiveLogic/index.ts\",\n    rationale:\n      \"Implements inverse conditional reasoning through projected probabilities and a Lucern uncertainty floor rather than a full subjective-network derivation.\",\n  },\n  {\n    operator: \"opinionFromDirichlet\",\n    tag: \"SL_APPROXIMATION\",\n    sourceModule: \"operations/bridge/index.ts\",\n    rationale:\n      \"Bridges multinomial Dirichlet-style evidence counts into opinion mass with a configurable non-informative weight and normalized base-rate vector.\",\n  },\n  {\n    operator: \"projectDirichletOpinion\",\n    tag: \"SL_APPROXIMATION\",\n    sourceModule: \"operations/bridge/index.ts\",\n    rationale:\n      \"Projects a Dirichlet opinion back into a multinomial probability vector rather than into Lucern's scalar node confidence.\",\n  },\n  {\n    operator: \"opinionFromBeta\",\n    tag: \"SL_APPROXIMATION\",\n    sourceModule: \"operations/bridge/index.ts\",\n    rationale:\n      \"Bridges Beta evidence counts into SL opinions, but exposes a configurable non-informative weight instead of locking the canonical bridge to W = 2.\",\n  },\n  {\n    operator: \"betaFromOpinion\",\n    tag: \"SL_APPROXIMATION\",\n    sourceModule: \"operations/bridge/index.ts\",\n    rationale:\n      \"Bridges opinions back to Beta parameters while allowing a configurable non-informative weight and explicit dogmatic infinities.\",\n  },\n  {\n    operator: \"dampedDependencyOpinion\",\n    tag: \"SL_APPROXIMATION\",\n    sourceModule: \"operations/dynamics/cascade.ts\",\n    rationale:\n      \"Approximates dependency propagation with a threshold-or-damping scheme instead of a general SL network inference operator. Used as the fallback when edge metadata lacks explicit conditional opinions.\",\n  },\n  {\n    operator: \"dampedDependencyCascade\",\n    tag: \"SL_APPROXIMATION\",\n    sourceModule: \"operations/dynamics/cascade.ts\",\n    rationale:\n      \"Wraps the damped dependency approximation and records it as dependency_cascade provenance for graph propagation. Fallback path for depends_on when edge conditionals are absent.\",\n  },\n  {\n    operator: \"clamp01\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/scoring.ts\",\n    rationale:\n      \"Implementation helper for Lucern APIs; it has no direct Jøsang operator analogue.\",\n  },\n  {\n    operator: \"toStoredOpinionFields\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/scoring.ts\",\n    rationale:\n      \"Serializes opinions into Lucern storage fields rather than implementing an SL algebra operator.\",\n  },\n  {\n    operator: \"readOpinionFromRecord\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/scoring.ts\",\n    rationale:\n      \"Deserializes opinion fields from Lucern record shapes and fallback aliases; it is storage glue, not SL.\",\n  },\n  {\n    operator: \"opinionFromScalar\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/scoring.ts\",\n    rationale:\n      \"Lucern convenience wrapper that multiplexes several scalar-to-opinion construction modes behind one API.\",\n  },\n  {\n    operator: \"temporalDecay\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/temporalDecay.ts\",\n    rationale:\n      \"Lucern temporal operator that exponentially ages evidential mass back into uncertainty while preserving the prior/base rate.\",\n  },\n  {\n    operator: \"toDogmaticOpinion\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/scoring.ts\",\n    rationale:\n      \"Deprecated Lucern shim retained for compatibility rather than as a canonical SL operator.\",\n  },\n  {\n    operator: \"hasProjectedOpinionChanged\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/scoring.ts\",\n    rationale:\n      \"Lucern propagation threshold helper that decides whether a write is materially different enough to fan out.\",\n  },\n  {\n    operator: \"normalizeTupleContradictionPolicy\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/contradiction/detectTupleContradiction.ts\",\n    rationale:\n      \"Normalizes Lucern tuple-contradiction thresholds; tuple contradiction is not a standard SL operator.\",\n  },\n  {\n    operator: \"detectTupleContradiction\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/contradiction/detectTupleContradiction.ts\",\n    rationale:\n      \"Lucern heuristic that flags simultaneous high belief and disbelief mass as a first-class contradiction state.\",\n  },\n  {\n    operator: \"evaluateTupleContradictionTransition\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/contradiction/detectTupleContradiction.ts\",\n    rationale:\n      \"Lucern transition helper that turns tuple-contradiction threshold crossings into workflow signals.\",\n  },\n  {\n    operator: \"confidenceLevel\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/subjectiveLogic/index.ts\",\n    rationale:\n      \"Buckets opinions into Lucern UI labels; it is not part of Jøsang's operator set.\",\n  },\n  {\n    operator: \"constraintFusion\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/subjectiveLogic/index.ts\",\n    rationale:\n      \"Lucern exclusivity/XOR heuristic that pressures paired opinions; there is no direct textbook SL operator with this behavior.\",\n  },\n  {\n    operator: \"evidenceBalance\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/subjectiveLogic/index.ts\",\n    rationale:\n      \"Lucern analytic helper that summarizes resolved evidence tilt after uncertainty is excluded.\",\n  },\n  {\n    operator: \"areTensioned\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/subjectiveLogic/index.ts\",\n    rationale:\n      \"Lucern heuristic for surfacing opinion tension based on projected agreement plus residual disbelief mass.\",\n  },\n  {\n    operator: \"informationGain\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/subjectiveLogic/index.ts\",\n    rationale:\n      \"Lucern heuristic score over uncertainty and balance; it is neither Shannon entropy nor a named SL operator.\",\n  },\n  {\n    operator: \"isPropagationEdgeType\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/dynamics/propagation.ts\",\n    rationale:\n      \"Lucern dispatch-table guard for graph edge semantics, not an SL algebra operator.\",\n  },\n  {\n    operator: \"getPropagationTraversalSpecs\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/dynamics/propagation.ts\",\n    rationale:\n      \"Exposes the pure-module edge traversal ordering used by the local propagation helpers; graph-primitives owns the multi-hop runtime.\",\n  },\n  {\n    operator: \"propagateThroughEdge\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/dynamics/propagation.ts\",\n    rationale:\n      \"Compiles Lucern edge types into operator application; the dispatch architecture itself has no direct Jøsang analogue.\",\n  },\n  {\n    operator: \"propagateAllEdges\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/dynamics/propagation.ts\",\n    rationale:\n      \"Lucern bounded aggregator for ordered 1-hop dispatch results across edge families.\",\n  },\n  {\n    operator: \"bayesianUpdate\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/dynamics/revision.ts\",\n    rationale:\n      \"Scalar Bayesian helper retained by Lucern as a fallback revision primitive outside the canonical SL operator family.\",\n  },\n  {\n    operator: \"reviseConfidence\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/dynamics/revision.ts\",\n    rationale:\n      \"Lucern wrapper around the scalar Bayesian revision helper rather than a direct SL operator.\",\n  },\n  {\n    operator: \"computeBaseDecay\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/dynamics/decay.ts\",\n    rationale:\n      \"Lucern recency heuristic over scored beliefs; decay tiers are a product rule, not part of SL.\",\n  },\n  {\n    operator: \"computeDeadlineUrgency\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/dynamics/decay.ts\",\n    rationale:\n      \"Lucern deadline heuristic that modulates rescoring urgency outside the SL literature.\",\n  },\n  {\n    operator: \"computeEffectiveDecay\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/dynamics/decay.ts\",\n    rationale:\n      \"Combines Lucern age, lifecycle, and deadline heuristics into an effective decay weight.\",\n  },\n  {\n    operator: \"getRescoringSchedule\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/dynamics/decay.ts\",\n    rationale:\n      \"Produces Lucern operational scheduling guidance for rescoring rather than opinion algebra.\",\n  },\n  {\n    operator: \"decay\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/dynamics/decay.ts\",\n    rationale:\n      \"Applies Lucern time-decay heuristics to an opinion tuple; it is not a named Jøsang operator.\",\n  },\n  {\n    operator: \"applyNegativeSupport\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/dynamics/defeat.ts\",\n    rationale:\n      \"Lucern graph-specific defeater wrapper that chooses between XOR pressure and negation-plus-discount-plus-fusion.\",\n  },\n  {\n    operator: \"applyNegativeEvidence\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/dynamics/defeat.ts\",\n    rationale:\n      \"Lucern signed-edge wrapper that interprets negative evidence through a composed anti-opinion path.\",\n  },\n  {\n    operator: \"deriveContractStatus\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/contracts/epistemicContract.ts\",\n    rationale:\n      \"Lucern contract-lifecycle helper with no direct relation to the SL operator family.\",\n  },\n  {\n    operator: \"deriveVerificationTrigger\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/contracts/epistemicContract.ts\",\n    rationale:\n      \"Maps Lucern contract evaluation results into confidence triggers for workflow use.\",\n  },\n  {\n    operator: \"deriveContractModulationPlan\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/contracts/epistemicContract.ts\",\n    rationale:\n      \"Computes Lucern confidence deltas from contract outcomes; contracts are a Lucern control surface, not SL.\",\n  },\n  {\n    operator: \"createInheritedContractRecord\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/contracts/epistemicContract.ts\",\n    rationale:\n      \"Builds Lucern contract lineage records rather than confidence algebra.\",\n  },\n  {\n    operator: \"normalizeEvidentialAction\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/contracts/epistemicContract.ts\",\n    rationale:\n      \"Normalizes Lucern evidential contract actions for workflow execution.\",\n  },\n  {\n    operator: \"parseComparisonOperator\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/contracts/epistemicContract.ts\",\n    rationale:\n      \"Parses Lucern contract evaluator configuration; it is not an SL operator.\",\n  },\n  {\n    operator: \"parseNumericThreshold\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/contracts/epistemicContract.ts\",\n    rationale:\n      \"Lucern contract-config helper for numeric thresholds.\",\n  },\n  {\n    operator: \"pickFiniteNumber\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/contracts/epistemicContract.ts\",\n    rationale:\n      \"Lucern parser utility for evaluator configuration and snapshots.\",\n  },\n  {\n    operator: \"getEvaluatorInputRecord\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/contracts/epistemicContract.ts\",\n    rationale:\n      \"Extracts Lucern evaluator payloads from nested runtime records.\",\n  },\n  {\n    operator: \"parseEvidentialEvaluatorConfig\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/contracts/epistemicContract.ts\",\n    rationale:\n      \"Parses Lucern evidential contract configuration into a typed evaluator plan.\",\n  },\n  {\n    operator: \"compareMetricValue\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/contracts/epistemicContract.ts\",\n    rationale:\n      \"Executes Lucern contract comparison semantics rather than SL tuple algebra.\",\n  },\n  {\n    operator: \"resolveComparisonResult\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/contracts/epistemicContract.ts\",\n    rationale:\n      \"Maps Lucern comparison outcomes into contract confirmation or disconfirmation.\",\n  },\n  {\n    operator: \"buildComparisonRationale\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/contracts/epistemicContract.ts\",\n    rationale:\n      \"Renders Lucern contract-evaluation explanations for auditability.\",\n  },\n  {\n    operator: \"buildEvidentialRationale\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/contracts/epistemicContract.ts\",\n    rationale:\n      \"Renders Lucern evidential evaluator explanations for auditability.\",\n  },\n  {\n    operator: \"parseMetricCheckerConfig\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/contracts/epistemicContract.ts\",\n    rationale:\n      \"Parses the Lucern metric-checker contract evaluator.\",\n  },\n  {\n    operator: \"parseReferenceCheckCounterConfig\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/contracts/epistemicContract.ts\",\n    rationale:\n      \"Parses the Lucern reference-check counter evaluator.\",\n  },\n  {\n    operator: \"parseTemporalDeadlineConfig\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/contracts/epistemicContract.ts\",\n    rationale:\n      \"Parses Lucern deadline-evaluator configuration for time-bounded claims.\",\n  },\n  {\n    operator: \"parseMarketIndexComparatorConfig\",\n    tag: \"LUCERN_SPECIFIC\",\n    sourceModule: \"operations/contracts/epistemicContract.ts\",\n    rationale:\n      \"Parses the Lucern market-index comparator evaluator.\",\n  },\n] as const satisfies readonly OperatorTaxonomyEntry[];\n\nexport const OPERATOR_TAXONOMY = Object.freeze(\n  Object.fromEntries(\n    OPERATOR_TAXONOMY_ENTRIES.map((entry) => [entry.operator, entry])\n  )\n) as Readonly<Record<ConfidenceOperatorName, OperatorTaxonomyEntry>>;\n\nexport const OPERATOR_TAXONOMY_BY_TAG = Object.freeze({\n  SL_CANONICAL: SL_CANONICAL_OPERATOR_NAMES,\n  SL_APPROXIMATION: SL_APPROXIMATION_OPERATOR_NAMES,\n  LUCERN_SPECIFIC: LUCERN_SPECIFIC_OPERATOR_NAMES,\n}) as Readonly<Record<OperatorTaxonomyTag, readonly ConfidenceOperatorName[]>>;\n"]}

package/dist/v1/operations/scoring.d.ts

@@ -0,0 +1,28 @@
+import { Opinion, StoredOpinionFields } from '../types.js';
+
+declare function clamp01(value: number): number;
+declare function confidenceFromOpinion(opinion: Opinion): number;
+declare function confidenceFromSL(belief: number, _disbelief: number, uncertainty: number, baseRate?: number): number;
+declare function toStoredOpinionFields(opinion: Opinion): StoredOpinionFields;
+declare function readOpinionFromRecord(source: unknown, fallback?: Partial<Opinion>): Opinion;
+type OpinionFromScalarMode = "base_rate" | "dogmatic" | "projected_with_u";
+declare function opinionFromScalar(value: number, mode: OpinionFromScalarMode, options?: {
+    baseRate?: number;
+    uncertainty?: number;
+}): Opinion;
+/**
+ * @deprecated Use opinionFromScalar(value, "dogmatic", { baseRate }) instead.
+ */
+declare function toDogmaticOpinion(confidence: number, baseRate?: number): Opinion;
+/** Interpret p as a prior with no observed evidence. */
+declare function opinionFromBaseRate(probability: number): Opinion;
+/** Interpret p as a certainty-equivalent projected probability. */
+declare function opinionFromDogmatic(probability: number, baseRate?: number): Opinion;
+/**
+ * Interpret p as a projected probability with an explicit uncertainty bucket.
+ * The resulting opinion always projects back to p.
+ */
+declare function opinionFromProjected(probability: number, uncertainty: number, baseRate?: number): Opinion;
+declare function hasProjectedOpinionChanged(current: Opinion, next: Opinion, tolerance?: number): boolean;
+
+export { type OpinionFromScalarMode, clamp01, confidenceFromOpinion, confidenceFromSL, hasProjectedOpinionChanged, opinionFromBaseRate, opinionFromDogmatic, opinionFromProjected, opinionFromScalar, readOpinionFromRecord, toDogmaticOpinion, toStoredOpinionFields };