6 · Execute
For Both Executive and Technical ReadersBayes Server inference against the certified estimand.
01 What happens
Exact inference. The same question always yields the same posterior.
Execute receives the certified estimand and model(s). It runs Bayes Server’s junction-tree inference engine against the evidence bindings. The result is a typed posterior object, a probability distribution, not a string. Continuous and hybrid (CLG) nodes are handled natively, no discretisation.
Rung3’s contribution is the elicited models and orchestration, not the solver. The solver is Bayes Server. The arrangement is what is specific: typed artifacts in, certified posterior out.
02 In / Out
Certified estimand and model in. Typed posterior out.
IN IdentificationCertificate (+ CompositionCertificate if composition path)
IN .bayes model(s) loaded and evidence-bound
OUT PosteriorResult
result = Inference(net).query(certified_query)
result.posterior["Sepsis"] # 0.83
result.contributions # {Lactate: +0.17, SepticAppearance: +0.09}
03 The inference engine
Junction-tree inference. Exact. Continuous. No approximation.
Bayes Server uses the junction tree algorithm for exact inference. The tree is compiled once per model; subsequent queries are fast clique-propagation passes. For Rung 3 queries, Execute runs the twin-network method: structural equations are duplicated, the actual world is abducted, and the counterfactual world is evaluated.
04 Which primitive fires
The rung and query type determine which of the seven primitives Execute invokes.
| Primitive | When it fires | Detail |
|---|---|---|
| Explain | Any posterior query | Pattern Analysis → |
| Inquire | VoI requested | Inquiry → |
| Monitor | Continuous observation stream | Monitoring → |
| Optimize | Action search requested | Optimization → |
| Scenario | Named worlds in query | Scenarios → |
| Robustness | Always (post-posterior) | Robustness → |
| Learn | Parameter update triggered | Validation → |
05 Architecture components
Cognition defines the primitives. Inference defines the directions. Execute runs both.
The Cognitive Primitives →, the seven reasoning services Execute invokes.
Inference →, the three inference directions Execute implements.
Pipeline →, Execute is Step 6.