bayeswire 0.3.0__py3-none-any.whl

bayeswire/__init__.py

@@ -0,0 +1,23 @@
+"""bayeswire — the model declaration language and wire format for the bayes* toolchain."""
+
+from bayeswire.model import (
+    Data,
+    Dim,
+    Observed,
+    Param,
+    PartiallyObserved,
+    dimension_metadata_to_dict,
+    model,
+    model_dimensions,
+)
+
+__all__ = [
+    "Data",
+    "Dim",
+    "Observed",
+    "Param",
+    "PartiallyObserved",
+    "dimension_metadata_to_dict",
+    "model",
+    "model_dimensions",
+]

bayeswire/_ir_registry.py

@@ -0,0 +1,188 @@
+"""Private IR node registry: tag vocabulary and field-kind classification.
+
+The registry maps the closed inventory of resolved model-metadata dataclasses
+to wire tags and records, once per class, how each constructor field is
+represented in the IR document. ``bayeswire.ir`` is the public surface.
+"""
+
+from __future__ import annotations
+
+from dataclasses import dataclass, fields, is_dataclass
+from enum import Enum
+from typing import get_origin, get_type_hints
+
+from bayeswire.constraints import Interval, Ordered, Positive, UnitInterval
+from bayeswire.distributions import (
+    Bernoulli,
+    Beta,
+    BetaBinomial,
+    Binomial,
+    Exponential,
+    HalfNormal,
+    MultivariateNormal,
+    NegativeBinomial,
+    Normal,
+    OrderedLogistic,
+    Poisson,
+    StudentT,
+    Truncated,
+    Uniform,
+)
+from bayeswire.model._data_schema import (
+    DataDimRef,
+    ResolvedDataRankSchema,
+    ResolvedDataShapeSchema,
+)
+from bayeswire.model.decorator import (
+    ModelMeta,
+    ResolvedData,
+    ResolvedFreeValue,
+    ResolvedObserved,
+    ResolvedParam,
+    ResolvedStochasticSite,
+)
+from bayeswire.model.expr import (
+    BinOp,
+    ConstNode,
+    DataRef,
+    FullSlice,
+    IndexOp,
+    IndexTuple,
+    ParamRef,
+    ScalarIndex,
+    UnaryOp,
+    VectorScatterOp,
+)
+
+NODE_KEY = "node"
+
+
+class FieldKind(Enum):
+    """How a registered node field is represented in the IR document."""
+
+    MAP = "map"
+    TUPLE = "tuple"
+    VALUE = "value"
+
+
+@dataclass(frozen=True)
+class NodeSpec:
+    """Registered IR node class with its wire tag and field kinds."""
+
+    cls: type
+    tag: str
+    field_kinds: tuple[tuple[str, FieldKind], ...]
+
+
+NODE_SPECS_BY_TAG: dict[str, NodeSpec] = {}
+NODE_SPECS_BY_CLASS: dict[type, NodeSpec] = {}
+
+
+def register_node(cls: type, *, tag: str | None = None) -> None:
+    """Register a dataclass as a tagged IR node.
+
+    The tag defaults to the class name; pass ``tag=...`` to keep the wire
+    vocabulary stable across Python class renames.
+    """
+    if not is_dataclass(cls):
+        raise TypeError(
+            f"IR node classes must be dataclasses; {cls.__name__} is not. "
+            "Decorate it with @dataclass(frozen=True)."
+        )
+    node_tag = cls.__name__ if tag is None else tag
+    existing = NODE_SPECS_BY_TAG.get(node_tag)
+    if existing is not None:
+        if existing.cls is cls:
+            return
+        raise ValueError(
+            f"IR node tag {node_tag!r} is already registered to {existing.cls.__name__}. "
+            "Pass a unique IR tag when registering the class."
+        )
+    registered = NODE_SPECS_BY_CLASS.get(cls)
+    if registered is not None:
+        raise ValueError(
+            f"{cls.__name__} is already registered as IR tag {registered.tag!r}; "
+            "one class maps to one tag."
+        )
+    spec = NodeSpec(cls=cls, tag=node_tag, field_kinds=_classify_fields(cls))
+    NODE_SPECS_BY_TAG[node_tag] = spec
+    NODE_SPECS_BY_CLASS[cls] = spec
+
+
+def _classify_fields(cls: type) -> tuple[tuple[str, FieldKind], ...]:
+    """Record each constructor field's wire representation once, at registration."""
+    if not is_dataclass(cls):
+        raise TypeError(f"Cannot classify fields of non-dataclass {cls.__name__}")
+    hints = get_type_hints(cls)
+    kinds: list[tuple[str, FieldKind]] = []
+    for field in fields(cls):
+        if not field.init:
+            continue
+        if field.name == NODE_KEY:
+            raise ValueError(
+                f"IR node classes cannot have a field named {NODE_KEY!r}: {cls.__name__}. "
+                "Rename the field before registering the class."
+            )
+        kinds.append((field.name, _field_kind(hints[field.name])))
+    return tuple(kinds)
+
+
+def _field_kind(hint: object) -> FieldKind:
+    origin = get_origin(hint)
+    if origin is dict:
+        return FieldKind.MAP
+    if origin is tuple:
+        return FieldKind.TUPLE
+    return FieldKind.VALUE
+
+
+_BUILTIN_NODE_CLASSES: tuple[type, ...] = (
+    # Expression nodes
+    ParamRef,
+    DataRef,
+    ConstNode,
+    BinOp,
+    UnaryOp,
+    IndexOp,
+    VectorScatterOp,
+    # Index specifications
+    ScalarIndex,
+    FullSlice,
+    IndexTuple,
+    # Resolved data schemas
+    DataDimRef,
+    ResolvedDataShapeSchema,
+    ResolvedDataRankSchema,
+    # Resolved declarations
+    ResolvedParam,
+    ResolvedData,
+    ResolvedObserved,
+    ResolvedFreeValue,
+    ResolvedStochasticSite,
+    ModelMeta,
+    # Constraints
+    Positive,
+    Interval,
+    UnitInterval,
+    Ordered,
+    # Built-in distributions
+    Normal,
+    HalfNormal,
+    StudentT,
+    Exponential,
+    Uniform,
+    Beta,
+    Truncated,
+    Bernoulli,
+    Poisson,
+    Binomial,
+    BetaBinomial,
+    NegativeBinomial,
+    MultivariateNormal,
+    OrderedLogistic,
+)
+
+for _builtin in _BUILTIN_NODE_CLASSES:
+    register_node(_builtin)
+
+CORE_PROFILE_TAGS: tuple[str, ...] = tuple(NODE_SPECS_BY_TAG)

bayeswire/constraints/__init__.py

@@ -0,0 +1,22 @@
+"""Parameter constraints and transforms (unconstrained <-> constrained)."""
+
+from bayeswire.constraints.core import (
+    ConstrainedValue,
+    Constraint,
+    LogAbsDetJacobian,
+    UnconstrainedValue,
+)
+from bayeswire.constraints.interval import Interval, UnitInterval
+from bayeswire.constraints.ordered import Ordered
+from bayeswire.constraints.positive import Positive
+
+__all__ = [
+    "Constraint",
+    "ConstrainedValue",
+    "Interval",
+    "LogAbsDetJacobian",
+    "Ordered",
+    "Positive",
+    "UnitInterval",
+    "UnconstrainedValue",
+]

bayeswire/constraints/core.py

@@ -0,0 +1,11 @@
+"""Core constraint metadata protocols and value aliases."""
+
+from typing import Protocol
+
+type ConstrainedValue = object
+type UnconstrainedValue = object
+type LogAbsDetJacobian = object
+
+
+class Constraint(Protocol):
+    """Parameter constraint metadata consumed by numerical backends."""

bayeswire/constraints/interval.py

@@ -0,0 +1,33 @@
+"""Finite interval constraint metadata."""
+
+from __future__ import annotations
+
+import math
+from dataclasses import dataclass
+
+
+@dataclass(frozen=True)
+class Interval:
+    """Constraint metadata for values in a finite open interval."""
+
+    lower: float
+    upper: float
+
+    def __post_init__(self) -> None:
+        """Validate finite ordered interval bounds."""
+        if isinstance(self.lower, bool) or isinstance(self.upper, bool):
+            raise TypeError("Interval bounds must be finite real numbers, not bool")
+        if not math.isfinite(self.lower) or not math.isfinite(self.upper):
+            raise ValueError("Interval bounds must be finite")
+        if self.lower >= self.upper:
+            raise ValueError("Interval lower bound must be less than upper bound")
+
+    @property
+    def width(self) -> float:
+        """Return finite interval width."""
+        return self.upper - self.lower
+
+
+@dataclass(frozen=True)
+class UnitInterval:
+    """Constraint metadata for values in the open unit interval."""

bayeswire/constraints/ordered.py

@@ -0,0 +1,8 @@
+"""Ordered-vector constraint metadata."""
+
+from dataclasses import dataclass
+
+
+@dataclass(frozen=True)
+class Ordered:
+    """Constraint metadata for strictly increasing vectors along the last axis."""

bayeswire/constraints/positive.py

@@ -0,0 +1,8 @@
+"""Positive constraint metadata."""
+
+from dataclasses import dataclass
+
+
+@dataclass(frozen=True)
+class Positive:
+    """Constraint metadata for strictly positive values."""

bayeswire/corpus/README.md

@@ -0,0 +1,38 @@
+# Golden fixture corpus
+
+This directory is the conformance corpus for the `bayeswire_ir` v1 wire
+format. Every producer and consumer in the toolchain tests against these
+files; none may substitute private fixtures.
+
+- `<model>.json` — golden IR documents for the reference models declared in
+  `tests/conformance/reference_models.py`, pretty-printed for diffability.
+- `hashes.json` — `sha256(canonical_bytes(meta))` for each reference model:
+  the pinned canonical encoding.
+- `fixtures/<model>.json` — cross-backend evaluation fixtures bundling each
+  IR document with concrete bind data and log-density plus gradient values
+  at deterministic unconstrained points.
+- `data/<model>.json` — the canonical data document
+  (`spec/data-document-v1.md`) for each reference model, wrapping the same
+  values as the fixture's `data` block.
+- `fingerprints.json` — pinned `model_data_fingerprint` test vectors
+  (`spec/model-data-fingerprint-v1.md`) over the exact committed bytes of
+  `<model>.json` and `data/<model>.json`.
+
+The evaluation values in `fixtures/` are **JAX-oracle outputs**: computed by
+the jaxstanv5 backend in float64 (`jax_enable_x64`), regenerated with
+jaxstanv5's `scripts/generate_ir_fixtures.py` against this corpus. Consumers
+reproduce them within the tolerance policy stated in
+`spec/ir-format-v1.md` — the tolerances live in the spec, not in any
+consumer's tests.
+
+- `artifacts/<model>/` — golden **run artifacts**: real run directories
+  (`model.ir.json`, `data.json`, optional `dims.json`, `posterior.ndjson`
+  with `per_draw_v2` sample stats, `diagnostics.json`) produced by a real
+  bayesite binary from corpus models via
+  `scripts/generate_artifact_corpus.py`. Downstream exporters
+  (`bayesite_idata`) consume them as test fixtures instead of synthesizing
+  their own run directories.
+
+Regenerate the documents and hashes with `scripts/regenerate_corpus.py`.
+Any corpus diff is a wire-format change: it requires a spec changelog entry,
+a version decision, and a coordinated consumer-pin bump.

bayeswire/corpus/artifacts/eight_schools_non_centered/data.json

@@ -0,0 +1,44 @@
+{
+  "format": "bayescycle.data.json.v1",
+  "variables": {
+    "n_schools": {
+      "dtype": "int64",
+      "shape": [],
+      "values": [
+        8
+      ]
+    },
+    "sigma": {
+      "dtype": "float64",
+      "shape": [
+        8
+      ],
+      "values": [
+        15.0,
+        10.0,
+        16.0,
+        11.0,
+        9.0,
+        11.0,
+        10.0,
+        18.0
+      ]
+    },
+    "y": {
+      "dtype": "float64",
+      "shape": [
+        8
+      ],
+      "values": [
+        28.0,
+        8.0,
+        -3.0,
+        7.0,
+        -1.0,
+        1.0,
+        18.0,
+        12.0
+      ]
+    }
+  }
+}

bayeswire/corpus/artifacts/eight_schools_non_centered/diagnostics.json

@@ -0,0 +1 @@
+{"diagnostics_format":"v0-provisional","workflow_phases":["parse_fit_ndjson","validate_fit_artifact","recompute_diagnostics","emit_report"],"source_draws_format":"v0-provisional","rhat_statistic":"split_rhat","rhat_scope":"max_over_parameter_coordinate_marginals","ess_statistic":"effective_sample_size_geyer_initial_monotone_sequence","ess_scope":"min_over_parameter_coordinate_marginals","source_artifact_kind":"posterior_draws","source_artifact_scope":"observed_data_conditioned_parameter_draws","source_seed":20260702,"source_chains":2,"source_chain_count":2,"source_chain_order":[0,1],"source_draw_count":600,"source_draw_index_metadata":true,"source_draw_parameter_metadata":true,"source_draw_artifact_metadata":true,"source_draw_chain_metadata":true,"source_sample_stats_mode":"per_draw_v2","source_draw_sample_stats_metadata":true,"source_draw_sample_stats_energy_metadata":true,"source_parameter_count":3,"source_settings":{"num_warmup":300,"num_draws":300,"max_treedepth":10,"target_accept":0.8},"source_params":[{"name":"mu","shape":[],"coordinate_order":[[]]},{"name":"tau","shape":[],"coordinate_order":[[]]},{"name":"z","shape":[8],"coordinate_order":[[0],[1],[2],[3],[4],[5],[6],[7]]}],"source_packing":["mu","tau","z"],"source_parameter_order":["mu","tau","z"],"source_trailer_completion_metadata":{"draws_format":true,"artifact_kind":true,"artifact_scope":true,"workflow_phases":true,"seed":true,"chain_count":true,"chain_order":true,"draw_count":true,"draws_per_chain":true,"parameter_count":true,"parameter_order":true,"params":true},"source_workflow_phases":["parse_json","decode_ir","bind_data","build_posterior_state","evaluate_logp_grad","run_nuts","emit_artifact"],"draws_per_chain":300,"chains":[{"chain":0,"chain_index_base":"zero_based_chain_id","draw_count":300,"divergences":0,"treedepth_histogram":[0,0,5,283,12,0,0,0,0,0,0],"step_size":0.4460028813793854,"mean_accept":0.8837304031458931},{"chain":1,"chain_index_base":"zero_based_chain_id","draw_count":300,"divergences":0,"treedepth_histogram":[0,0,4,293,3,0,0,0,0,0,0],"step_size":0.4718061938818299,"mean_accept":0.895638022162858}],"rhat":{"mu":0.9990022829226795,"tau":1.001101163102226,"z":1.0012361260540894},"ess":{"mu":863.2369342407876,"tau":444.6360933637211,"z":409.4191622604714},"sample_stats":[{"chain":0,"chain_index_base":"zero_based_chain_id","draw_count":300,"draws":[{"diverging":false,"tree_depth":3,"tree_accept":0.7684243172844505,"energy":52.5945629705516},{"diverging":false,"tree_depth":3,"tree_accept":0.9433774667145034,"energy":52.60653703665033},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":50.749166913238454},{"diverging":false,"tree_depth":3,"tree_accept":0.7410352772171328,"energy":51.454769959813255},{"diverging":false,"tree_depth":3,"tree_accept":0.9956258753745687,"energy":50.0605989700183},{"diverging":false,"tree_depth":3,"tree_accept":0.8855475768097621,"energy":53.86247217922814},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":49.228689098175394},{"diverging":false,"tree_depth":3,"tree_accept":0.9841839720214464,"energy":46.42528096522227},{"diverging":false,"tree_depth":4,"tree_accept":0.8222313905057886,"energy":53.30979413536848},{"diverging":false,"tree_depth":3,"tree_accept":0.5886003711458374,"energy":46.89179614301928},{"diverging":false,"tree_depth":3,"tree_accept":0.9229056773578959,"energy":53.73026834303983},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":50.44828844664718},{"diverging":false,"tree_depth":3,"tree_accept":0.9643823192914373,"energy":48.22525416312088},{"diverging":false,"tree_depth":3,"tree_accept":0.8651566983692043,"energy":47.40554592202281},{"diverging":false,"tree_depth":3,"tree_accept":0.9415626744624493,"energy":48.25868185120925},{"diverging":false,"tree_depth":3,"tree_accept":0.9425474411063367,"energy":46.95620219088997},{"diverging":false,"tree_depth":3,"tree_accept":0.868402606139145,"energy":54.710736222780014},{"diverging":false,"tree_depth":4,"tree_accept":0.8517071368386093,"energy":54.409482964299585},{"diverging":false,"tree_depth":3,"tree_accept":0.9483091247837336,"energy":55.79668469339679},{"diverging":false,"tree_depth":3,"tree_accept":0.9712412599266849,"energy":52.69650463051961},{"diverging":false,"tree_depth":3,"tree_accept":0.9900303134110603,"energy":52.1851946029447},{"diverging":false,"tree_depth":3,"tree_accept":0.9172633085126647,"energy":55.75140810517498},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":55.149259996043234},{"diverging":false,"tree_depth":3,"tree_accept":0.9627088662878079,"energy":53.16040834465065},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":52.655700624736525},{"diverging":false,"tree_depth":3,"tree_accept":0.9676771346496702,"energy":48.8330257726871},{"diverging":false,"tree_depth":3,"tree_accept":0.8952378035373117,"energy":52.42436543351641},{"diverging":false,"tree_depth":4,"tree_accept":0.990163955712806,"energy":50.78538690519001},{"diverging":false,"tree_depth":3,"tree_accept":0.43416756179148364,"energy":51.966227188467585},{"diverging":false,"tree_depth":3,"tree_accept":0.9517822884888137,"energy":49.83661112469897},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":46.953946627229705},{"diverging":false,"tree_depth":3,"tree_accept":0.9997121912743581,"energy":45.85943706690347},{"diverging":false,"tree_depth":3,"tree_accept":0.9137479284557497,"energy":48.3452569398162},{"diverging":false,"tree_depth":3,"tree_accept":0.8844584884970194,"energy":51.855519200461934},{"diverging":false,"tree_depth":3,"tree_accept":0.9350999783251003,"energy":51.59206901480952},{"diverging":false,"tree_depth":3,"tree_accept":0.8113920994618761,"energy":54.169221911963625},{"diverging":false,"tree_depth":3,"tree_accept":0.9920953904237629,"energy":48.68343896109294},{"diverging":false,"tree_depth":3,"tree_accept":0.915256490707809,"energy":53.49551620687575},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":51.942292671807195},{"diverging":false,"tree_depth":3,"tree_accept":0.9913206743682961,"energy":50.40067754039298},{"diverging":false,"tree_depth":3,"tree_accept":0.8439577754837847,"energy":51.84808178301678},{"diverging":false,"tree_depth":3,"tree_accept":0.9514882449417023,"energy":51.172817565944555},{"diverging":false,"tree_depth":3,"tree_accept":0.9566391146521142,"energy":52.37863157675882},{"diverging":false,"tree_depth":4,"tree_accept":0.9732542866332702,"energy":55.22438858674593},{"diverging":false,"tree_depth":3,"tree_accept":0.9901005159324983,"energy":50.840052645710486},{"diverging":false,"tree_depth":3,"tree_accept":0.9956474928111139,"energy":51.01763370502627},{"diverging":false,"tree_depth":3,"tree_accept":0.7957407513445681,"energy":54.983942381898906},{"diverging":false,"tree_depth":3,"tree_accept":0.30404287589392875,"energy":56.84192521562762},{"diverging":false,"tree_depth":3,"tree_accept":0.920709743003268,"energy":53.31272729587225},{"diverging":false,"tree_depth":3,"tree_accept":0.9241882718888811,"energy":53.177021021089274},{"diverging":false,"tree_depth":3,"tree_accept":0.9812110175862835,"energy":53.95341095566957},{"diverging":false,"tree_depth":3,"tree_accept":0.4635409427773194,"energy":51.94549103284041},{"diverging":false,"tree_depth":3,"tree_accept":0.8958538510619128,"energy":54.03382034266324},{"diverging":false,"tree_depth":3,"tree_accept":0.967246841199301,"energy":52.929032241924546},{"diverging":false,"tree_depth":3,"tree_accept":0.5054208437877964,"energy":58.73996061365563},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":52.750899469136876},{"diverging":false,"tree_depth":3,"tree_accept":0.8725028739908455,"energy":58.57679187021948},{"diverging":false,"tree_depth":3,"tree_accept":0.7118601265704043,"energy":55.79807474367684},{"diverging":false,"tree_depth":3,"tree_accept":0.9718624931014928,"energy":53.566489927949206},{"diverging":false,"tree_depth":3,"tree_accept":0.9508620510846837,"energy":51.576679497347904},{"diverging":false,"tree_depth":3,"tree_accept":0.9867078801989564,"energy":46.86600000959509},{"diverging":false,"tree_depth":3,"tree_accept":0.9817963171547338,"energy":44.988701075775964},{"diverging":false,"tree_depth":3,"tree_accept":0.8929504832772465,"energy":50.035878083926015},{"diverging":false,"tree_depth":3,"tree_accept":0.9741045184341267,"energy":48.460639999801366},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":44.505554776462475},{"diverging":false,"tree_depth":3,"tree_accept":0.9613263834821855,"energy":47.0675252551597},{"diverging":false,"tree_depth":3,"tree_accept":0.9725085169943685,"energy":48.503639300369024},{"diverging":false,"tree_depth":3,"tree_accept":0.9936313003364408,"energy":47.804081957821715},{"diverging":false,"tree_depth":3,"tree_accept":0.8137716218144256,"energy":48.76265199859321},{"diverging":false,"tree_depth":3,"tree_accept":0.911953796468624,"energy":49.257774408410185},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":47.999781221536026},{"diverging":false,"tree_depth":3,"tree_accept":0.9193110713135979,"energy":48.44833450130545},{"diverging":false,"tree_depth":3,"tree_accept":0.9857613290263159,"energy":49.34283564325064},{"diverging":false,"tree_depth":3,"tree_accept":0.8579474329679337,"energy":53.115042970847185},{"diverging":false,"tree_depth":3,"tree_accept":0.9791823631417824,"energy":50.7847982676043},{"diverging":false,"tree_depth":3,"tree_accept":0.8207976367893431,"energy":52.839673383668824},{"diverging":false,"tree_depth":3,"tree_accept":0.9954427809446321,"energy":51.249916006313654},{"diverging":false,"tree_depth":3,"tree_accept":0.9570257360723913,"energy":47.16706850381229},{"diverging":false,"tree_depth":3,"tree_accept":0.41571320957496916,"energy":54.62821980721559},{"diverging":false,"tree_depth":3,"tree_accept":0.9992726809320208,"energy":46.78172711004922},{"diverging":false,"tree_depth":2,"tree_accept":0.04624642797903885,"energy":47.09085522737335},{"diverging":false,"tree_depth":3,"tree_accept":0.06602424847042739,"energy":54.659445750610175},{"diverging":false,"tree_depth":3,"tree_accept":0.9729938643394195,"energy":46.25580496881293},{"diverging":false,"tree_depth":3,"tree_accept":0.9059206383038447,"energy":46.36695640462008},{"diverging":false,"tree_depth":4,"tree_accept":0.9831266531515037,"energy":48.59496761260486},{"diverging":false,"tree_depth":3,"tree_accept":0.9546137232053107,"energy":52.22181196205225},{"diverging":false,"tree_depth":3,"tree_accept":0.9460135338937662,"energy":53.8232191538225},{"diverging":false,"tree_depth":3,"tree_accept":0.9821081748654331,"energy":51.17636087510215},{"diverging":false,"tree_depth":3,"tree_accept":0.9976305310395838,"energy":48.485961623460724},{"diverging":false,"tree_depth":3,"tree_accept":0.9029010006067731,"energy":52.496221114173565},{"diverging":false,"tree_depth":3,"tree_accept":0.9967981214700744,"energy":50.084483456855786},{"diverging":false,"tree_depth":3,"tree_accept":0.9823507989676513,"energy":46.2219923072747},{"diverging":false,"tree_depth":3,"tree_accept":0.8829724618812135,"energy":50.13304329211552},{"diverging":false,"tree_depth":3,"tree_accept":0.9078984006364189,"energy":45.74977207471558},{"diverging":false,"tree_depth":3,"tree_accept":0.9183236153213649,"energy":45.29051528525583},{"diverging":false,"tree_depth":3,"tree_accept":0.971488174478166,"energy":47.26649231970213},{"diverging":false,"tree_depth":3,"tree_accept":0.8831879380082802,"energy":48.40435975166991},{"diverging":false,"tree_depth":3,"tree_accept":0.975924627570082,"energy":46.80103736589989},{"diverging":false,"tree_depth":3,"tree_accept":0.9824343640774125,"energy":48.69279033855304},{"diverging":false,"tree_depth":3,"tree_accept":0.9862063728387521,"energy":48.638146632547134},{"diverging":false,"tree_depth":3,"tree_accept":0.9013520984138923,"energy":49.24706284461625},{"diverging":false,"tree_depth":3,"tree_accept":0.9054255219652142,"energy":46.78485737571376},{"diverging":false,"tree_depth":3,"tree_accept":0.8705294713603585,"energy":50.86041213432743},{"diverging":false,"tree_depth":4,"tree_accept":0.861406944803438,"energy":47.933611671093104},{"diverging":false,"tree_depth":3,"tree_accept":0.796197628629061,"energy":51.391898364475466},{"diverging":false,"tree_depth":3,"tree_accept":0.9994136128235692,"energy":53.48282265180811},{"diverging":false,"tree_depth":3,"tree_accept":0.9967018639966699,"energy":53.91796477518136},{"diverging":false,"tree_depth":3,"tree_accept":0.9431682187056795,"energy":49.628791427620506},{"diverging":false,"tree_depth":3,"tree_accept":0.9436580420825903,"energy":49.38027656927387},{"diverging":false,"tree_depth":3,"tree_accept":0.9770352169946405,"energy":45.117323980208994},{"diverging":false,"tree_depth":3,"tree_accept":0.9043436576541107,"energy":46.02070937985741},{"diverging":false,"tree_depth":3,"tree_accept":0.664558940881587,"energy":50.00877611459511},{"diverging":false,"tree_depth":3,"tree_accept":0.8974044811370805,"energy":51.91879340467136},{"diverging":false,"tree_depth":3,"tree_accept":0.9454611701883573,"energy":52.6890492824831},{"diverging":false,"tree_depth":3,"tree_accept":0.9343724806994825,"energy":50.476046631441434},{"diverging":false,"tree_depth":3,"tree_accept":0.4728822256475092,"energy":53.16569876700902},{"diverging":false,"tree_depth":3,"tree_accept":0.998437563488795,"energy":52.76181715466984},{"diverging":false,"tree_depth":3,"tree_accept":0.9211763482801507,"energy":54.3106900663803},{"diverging":false,"tree_depth":3,"tree_accept":0.849353112066539,"energy":49.93650553039163},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":47.80328019547844},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":47.6418343719412},{"diverging":false,"tree_depth":3,"tree_accept":0.9800714229282091,"energy":46.87584419972484},{"diverging":false,"tree_depth":3,"tree_accept":0.9352113527244531,"energy":48.5168984034332},{"diverging":false,"tree_depth":3,"tree_accept":0.9659213943784694,"energy":50.444414994210646},{"diverging":false,"tree_depth":4,"tree_accept":0.41323627882882996,"energy":56.14532292547425},{"diverging":false,"tree_depth":3,"tree_accept":0.9993520517306682,"energy":49.38764293451059},{"diverging":false,"tree_depth":3,"tree_accept":0.8912332122812875,"energy":51.422608778302006},{"diverging":false,"tree_depth":3,"tree_accept":0.8282592553423079,"energy":48.495462957218294},{"diverging":false,"tree_depth":3,"tree_accept":0.9990567113895705,"energy":46.79194368025856},{"diverging":false,"tree_depth":3,"tree_accept":0.9800207235703233,"energy":45.94646483731939},{"diverging":false,"tree_depth":3,"tree_accept":0.7250306111952772,"energy":49.20031655632463},{"diverging":false,"tree_depth":3,"tree_accept":0.9485227155968255,"energy":53.11641064761284},{"diverging":false,"tree_depth":3,"tree_accept":0.858625477372731,"energy":57.864055724135625},{"diverging":false,"tree_depth":3,"tree_accept":0.9134323623006925,"energy":55.607986055783755},{"diverging":false,"tree_depth":3,"tree_accept":0.8483672071853615,"energy":47.32672297691959},{"diverging":false,"tree_depth":3,"tree_accept":0.9899634565158795,"energy":50.76604191120831},{"diverging":false,"tree_depth":3,"tree_accept":0.8566471975836778,"energy":54.26824896414405},{"diverging":false,"tree_depth":3,"tree_accept":0.9968749819471763,"energy":53.887430360526125},{"diverging":false,"tree_depth":3,"tree_accept":0.9426282472401163,"energy":56.11519556350987},{"diverging":false,"tree_depth":3,"tree_accept":0.9749892801315687,"energy":54.8092052919609},{"diverging":false,"tree_depth":3,"tree_accept":0.9314649323373523,"energy":54.58174199877179},{"diverging":false,"tree_depth":3,"tree_accept":0.9817353194637878,"energy":57.15819742428671},{"diverging":false,"tree_depth":3,"tree_accept":0.9755264401237955,"energy":48.52949242599197},{"diverging":false,"tree_depth":3,"tree_accept":0.9364649269829429,"energy":48.44714765267716},{"diverging":false,"tree_depth":3,"tree_accept":0.9633157735489417,"energy":47.70004130661452},{"diverging":false,"tree_depth":3,"tree_accept":0.8771805594091919,"energy":46.95962826240215},{"diverging":false,"tree_depth":3,"tree_accept":0.8711535837477983,"energy":52.363981104810335},{"diverging":false,"tree_depth":3,"tree_accept":0.30860345838750763,"energy":53.96973070780159},{"diverging":false,"tree_depth":3,"tree_accept":0.9939676724864237,"energy":53.60861216968171},{"diverging":false,"tree_depth":3,"tree_accept":0.38335172858656763,"energy":55.13040906492639},{"diverging":false,"tree_depth":3,"tree_accept":0.9246503200740859,"energy":47.41834941000854},{"diverging":false,"tree_depth":3,"tree_accept":0.9258586356167484,"energy":45.90278316636837},{"diverging":false,"tree_depth":3,"tree_accept":0.9448465274924486,"energy":44.67286327738184},{"diverging":false,"tree_depth":3,"tree_accept":0.9437977235270683,"energy":48.68963930312565},{"diverging":false,"tree_depth":3,"tree_accept":0.9203353351534048,"energy":49.71165428587192},{"diverging":false,"tree_depth":3,"tree_accept":0.9964064690416289,"energy":50.32338160180009},{"diverging":false,"tree_depth":3,"tree_accept":0.8530924493835373,"energy":46.510071467930786},{"diverging":false,"tree_depth":3,"tree_accept":0.8132521770013463,"energy":46.778532824559136},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":48.7814693788217},{"diverging":false,"tree_depth":3,"tree_accept":0.9375222902212011,"energy":50.02160083490915},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":47.66006468694229},{"diverging":false,"tree_depth":3,"tree_accept":0.9102591245983754,"energy":47.11907937473885},{"diverging":false,"tree_depth":3,"tree_accept":0.9512412104610388,"energy":49.82417171881962},{"diverging":false,"tree_depth":3,"tree_accept":0.638970242813709,"energy":52.08200295417662},{"diverging":false,"tree_depth":3,"tree_accept":0.993082211469382,"energy":49.36410570181391},{"diverging":false,"tree_depth":2,"tree_accept":0.27060756099422495,"energy":48.63088792498955},{"diverging":false,"tree_depth":3,"tree_accept":0.06160655408902789,"energy":50.18451260227219},{"diverging":false,"tree_depth":3,"tree_accept":0.9665491678566525,"energy":49.54825279716654},{"diverging":false,"tree_depth":3,"tree_accept":0.9980462229049049,"energy":47.37823106242133},{"diverging":false,"tree_depth":3,"tree_accept":0.9269838003609588,"energy":47.481053745590714},{"diverging":false,"tree_depth":3,"tree_accept":0.9113646466343731,"energy":50.400688702042125},{"diverging":false,"tree_depth":3,"tree_accept":0.9555539477954244,"energy":55.12700421827128},{"diverging":false,"tree_depth":3,"tree_accept":0.9748716705406671,"energy":54.08920118739569},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":51.10371262105719},{"diverging":false,"tree_depth":3,"tree_accept":0.884960854644543,"energy":54.114654026966754},{"diverging":false,"tree_depth":3,"tree_accept":0.999116676575065,"energy":53.015639778072725},{"diverging":false,"tree_depth":4,"tree_accept":0.8449876792345895,"energy":51.08490746688816},{"diverging":false,"tree_depth":3,"tree_accept":0.8586738922961856,"energy":52.4704007343513},{"diverging":false,"tree_depth":3,"tree_accept":0.9815317165243223,"energy":53.876433131228424},{"diverging":false,"tree_depth":3,"tree_accept":0.9713564902122795,"energy":55.52083792599987},{"diverging":false,"tree_depth":3,"tree_accept":0.915017463256729,"energy":51.97808907988988},{"diverging":false,"tree_depth":3,"tree_accept":0.95331121853006,"energy":50.33743751063561},{"diverging":false,"tree_depth":3,"tree_accept":0.9968484307113782,"energy":45.833872503560706},{"diverging":false,"tree_depth":3,"tree_accept":0.6902686726244218,"energy":46.52942830910014},{"diverging":false,"tree_depth":3,"tree_accept":0.9494290661812109,"energy":50.59899408901615},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":48.65118767830953},{"diverging":false,"tree_depth":3,"tree_accept":0.8991032579613149,"energy":51.53929487300565},{"diverging":false,"tree_depth":3,"tree_accept":0.9948042505942146,"energy":49.19796778684665},{"diverging":false,"tree_depth":3,"tree_accept":0.9969660312582679,"energy":50.89176248710188},{"diverging":false,"tree_depth":3,"tree_accept":0.9521898085752666,"energy":52.943200864031475},{"diverging":false,"tree_depth":3,"tree_accept":0.9130539108585711,"energy":57.516763281691944},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":58.91301103784115},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":52.69615939498743},{"diverging":false,"tree_depth":4,"tree_accept":0.944392921901916,"energy":51.9769109799634},{"diverging":false,"tree_depth":4,"tree_accept":0.971888129859574,"energy":53.624862134385545},{"diverging":false,"tree_depth":3,"tree_accept":0.9715320333686416,"energy":51.11687834905495},{"diverging":false,"tree_depth":3,"tree_accept":0.9978211804291389,"energy":47.54729736490351},{"diverging":false,"tree_depth":3,"tree_accept":0.9003517259970861,"energy":49.97417756341217},{"diverging":false,"tree_depth":3,"tree_accept":0.9383664447428205,"energy":50.43273945266038},{"diverging":false,"tree_depth":3,"tree_accept":0.9808944261158389,"energy":47.173556991472914},{"diverging":false,"tree_depth":3,"tree_accept":0.9943904819740143,"energy":45.10459772029696},{"diverging":false,"tree_depth":3,"tree_accept":0.8427288670151,"energy":52.186907632144866},{"diverging":false,"tree_depth":3,"tree_accept":0.9718174348217871,"energy":52.26159465856067},{"diverging":false,"tree_depth":3,"tree_accept":0.9988089850712235,"energy":45.14145090346457},{"diverging":false,"tree_depth":3,"tree_accept":0.9557383256544764,"energy":47.96644404525768},{"diverging":false,"tree_depth":3,"tree_accept":0.9822631279573348,"energy":48.292046475478216},{"diverging":false,"tree_depth":3,"tree_accept":0.8499573817620408,"energy":49.65936477575196},{"diverging":false,"tree_depth":3,"tree_accept":0.2909571034942609,"energy":50.143294611214515},{"diverging":false,"tree_depth":3,"tree_accept":0.9335792717393054,"energy":48.0037567403708},{"diverging":false,"tree_depth":3,"tree_accept":0.9856311441927158,"energy":44.8211937110419},{"diverging":false,"tree_depth":3,"tree_accept":0.9125890221353937,"energy":46.620963795946594},{"diverging":false,"tree_depth":2,"tree_accept":0.9510257760713096,"energy":47.17794947538992},{"diverging":false,"tree_depth":3,"tree_accept":0.9954730435078585,"energy":49.471164507739374},{"diverging":false,"tree_depth":3,"tree_accept":0.8554288195403364,"energy":50.3354654446825},{"diverging":false,"tree_depth":3,"tree_accept":0.9433603186577726,"energy":51.56842974863047},{"diverging":false,"tree_depth":3,"tree_accept":0.9986562236504711,"energy":51.0573211751514},{"diverging":false,"tree_depth":3,"tree_accept":0.9914321496908194,"energy":49.6413239931299},{"diverging":false,"tree_depth":3,"tree_accept":0.9459660421903837,"energy":49.286468649874756},{"diverging":false,"tree_depth":3,"tree_accept":0.407064423979087,"energy":51.485121719463464},{"diverging":false,"tree_depth":3,"tree_accept":0.9164935220858194,"energy":47.89041022948965},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":47.2307004353106},{"diverging":false,"tree_depth":3,"tree_accept":0.9405483605745825,"energy":49.90673105236184},{"diverging":false,"tree_depth":3,"tree_accept":0.703491839140242,"energy":48.663447778134305},{"diverging":false,"tree_depth":3,"tree_accept":0.9552313909823749,"energy":44.58813910736016},{"diverging":false,"tree_depth":3,"tree_accept":0.9977687676323319,"energy":44.30893148764058},{"diverging":false,"tree_depth":3,"tree_accept":0.9718914466145148,"energy":47.80096108425421},{"diverging":false,"tree_depth":3,"tree_accept":0.9660017865371637,"energy":48.00780295139936},{"diverging":false,"tree_depth":3,"tree_accept":0.954932788092652,"energy":46.99458395886442},{"diverging":false,"tree_depth":3,"tree_accept":0.9836950215862421,"energy":47.278146614011995},{"diverging":false,"tree_depth":3,"tree_accept":0.9393477130908873,"energy":46.60926049228774},{"diverging":false,"tree_depth":3,"tree_accept":0.9067123769024973,"energy":50.639190736081765},{"diverging":false,"tree_depth":3,"tree_accept":0.9289221795733292,"energy":52.13668714224266},{"diverging":false,"tree_depth":3,"tree_accept":0.1060443421422099,"energy":54.07491994351905},{"diverging":false,"tree_depth":3,"tree_accept":0.9955378693760532,"energy":49.82019937127551},{"diverging":false,"tree_depth":3,"tree_accept":0.9732691584390836,"energy":50.03487725423374},{"diverging":false,"tree_depth":3,"tree_accept":0.8781162965906235,"energy":51.92413853958351},{"diverging":false,"tree_depth":3,"tree_accept":0.9821849657046419,"energy":46.66766867302296},{"diverging":false,"tree_depth":3,"tree_accept":0.23074833238954115,"energy":51.3714659605397},{"diverging":false,"tree_depth":2,"tree_accept":0.8325253557374286,"energy":48.78400485919843},{"diverging":false,"tree_depth":3,"tree_accept":0.9654686040679357,"energy":51.29954656384993},{"diverging":false,"tree_depth":3,"tree_accept":0.9949328143686257,"energy":49.56847651529668},{"diverging":false,"tree_depth":3,"tree_accept":0.9828128116809578,"energy":48.073070668024386},{"diverging":false,"tree_depth":3,"tree_accept":0.7743847169127428,"energy":47.75585481188426},{"diverging":false,"tree_depth":3,"tree_accept":0.48936160384236815,"energy":48.8332191723334},{"diverging":false,"tree_depth":3,"tree_accept":0.3044045239787539,"energy":48.48529090658302},{"diverging":false,"tree_depth":3,"tree_accept":0.942956845136958,"energy":49.312486789752214},{"diverging":false,"tree_depth":3,"tree_accept":0.9920598213114976,"energy":46.97657358820052},{"diverging":false,"tree_depth":3,"tree_accept":0.8525353277493887,"energy":49.89078502466227},{"diverging":false,"tree_depth":3,"tree_accept":0.9879200809867309,"energy":52.07898160582774},{"diverging":false,"tree_depth":3,"tree_accept":0.8922564562528018,"energy":49.885146002712595},{"diverging":false,"tree_depth":3,"tree_accept":0.965441815423227,"energy":47.884857846553295},{"diverging":false,"tree_depth":3,"tree_accept":0.8721690408054131,"energy":47.85680724915433},{"diverging":false,"tree_depth":3,"tree_accept":0.4357721531816439,"energy":50.23542410379133},{"diverging":false,"tree_depth":3,"tree_accept":0.9853902091541219,"energy":45.2322672351133},{"diverging":false,"tree_depth":3,"tree_accept":0.9359036396736146,"energy":48.53876872068738},{"diverging":false,"tree_depth":3,"tree_accept":0.9648830459964486,"energy":50.81832083432023},{"diverging":false,"tree_depth":3,"tree_accept":0.8673321202060463,"energy":50.25354774515345},{"diverging":false,"tree_depth":3,"tree_accept":0.9966522555246548,"energy":46.192090337953175},{"diverging":false,"tree_depth":3,"tree_accept":0.9903081733915299,"energy":46.30594358567891},{"diverging":false,"tree_depth":3,"tree_accept":0.9196946059131926,"energy":49.64362393674133},{"diverging":false,"tree_depth":3,"tree_accept":0.9286581706843375,"energy":48.810207256207974},{"diverging":false,"tree_depth":3,"tree_accept":0.9457246812593875,"energy":51.04256526570744},{"diverging":false,"tree_depth":3,"tree_accept":0.981590413023099,"energy":49.399536095305336},{"diverging":false,"tree_depth":3,"tree_accept":0.16926361182639302,"energy":51.82904994983101},{"diverging":false,"tree_depth":3,"tree_accept":0.9350429726135581,"energy":52.73826062600215},{"diverging":false,"tree_depth":3,"tree_accept":0.8944866754676489,"energy":53.40625613546825},{"diverging":false,"tree_depth":3,"tree_accept":0.9964917273577295,"energy":53.313302586360955},{"diverging":false,"tree_depth":3,"tree_accept":0.993517700923953,"energy":50.89110175518165},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":47.96608186078624},{"diverging":false,"tree_depth":3,"tree_accept":0.9482216230709539,"energy":50.11438595345873},{"diverging":false,"tree_depth":3,"tree_accept":0.9178527438822749,"energy":51.620617794895246},{"diverging":false,"tree_depth":3,"tree_accept":0.8589226284969896,"energy":54.366400097019884},{"diverging":false,"tree_depth":3,"tree_accept":0.949101159382162,"energy":49.83997654623103},{"diverging":false,"tree_depth":3,"tree_accept":0.934123762358683,"energy":48.777772666414386},{"diverging":false,"tree_depth":3,"tree_accept":0.9256805227532705,"energy":51.88921188583948},{"diverging":false,"tree_depth":3,"tree_accept":0.9827437039781555,"energy":52.25226805780947},{"diverging":false,"tree_depth":3,"tree_accept":0.9765772638432504,"energy":50.662314001071074},{"diverging":false,"tree_depth":3,"tree_accept":0.9878741764142797,"energy":48.39527744601931},{"diverging":false,"tree_depth":3,"tree_accept":0.9792538131031964,"energy":45.99342879958678},{"diverging":false,"tree_depth":3,"tree_accept":0.26696091799600896,"energy":50.51711411511309},{"diverging":false,"tree_depth":2,"tree_accept":0.7111147331497635,"energy":51.72417646873263},{"diverging":false,"tree_depth":3,"tree_accept":0.9211583197228537,"energy":54.52130873728803},{"diverging":false,"tree_depth":3,"tree_accept":0.7936152170130927,"energy":58.590905261042224},{"diverging":false,"tree_depth":3,"tree_accept":0.9966623934556667,"energy":62.07057800726017},{"diverging":false,"tree_depth":4,"tree_accept":0.47625565792693947,"energy":55.099725937943},{"diverging":false,"tree_depth":3,"tree_accept":0.7876946987397121,"energy":49.43864531595806},{"diverging":false,"tree_depth":3,"tree_accept":0.9888448173821506,"energy":47.72346814845625},{"diverging":false,"tree_depth":3,"tree_accept":0.9730287986197789,"energy":45.96816403026143},{"diverging":false,"tree_depth":3,"tree_accept":0.9877573635400098,"energy":46.69545579382947},{"diverging":false,"tree_depth":3,"tree_accept":0.9841530258909524,"energy":45.78825677413606},{"diverging":false,"tree_depth":3,"tree_accept":0.8232314686441351,"energy":46.544570767020325},{"diverging":false,"tree_depth":3,"tree_accept":0.9994332601495703,"energy":46.8228685393214},{"diverging":false,"tree_depth":3,"tree_accept":0.6885210561973103,"energy":52.075061844839766},{"diverging":false,"tree_depth":3,"tree_accept":0.9067483762337986,"energy":54.865915977386756},{"diverging":false,"tree_depth":3,"tree_accept":0.9883269727254943,"energy":49.765400071345574},{"diverging":false,"tree_depth":3,"tree_accept":0.9843687739906469,"energy":50.18069766737212},{"diverging":false,"tree_depth":3,"tree_accept":0.9507597466155263,"energy":50.09774008370317},{"diverging":false,"tree_depth":4,"tree_accept":0.4702931893400413,"energy":49.238178368180876},{"diverging":false,"tree_depth":3,"tree_accept":0.8283290739122923,"energy":53.377130481157764},{"diverging":false,"tree_depth":3,"tree_accept":0.6270576015779735,"energy":55.83402239760067}]},{"chain":1,"chain_index_base":"zero_based_chain_id","draw_count":300,"draws":[{"diverging":false,"tree_depth":3,"tree_accept":0.7925200729495924,"energy":51.591259830987084},{"diverging":false,"tree_depth":3,"tree_accept":0.4896168657684443,"energy":53.1398231009668},{"diverging":false,"tree_depth":3,"tree_accept":0.05432307981530079,"energy":56.592596031393896},{"diverging":false,"tree_depth":3,"tree_accept":0.9964154804674592,"energy":50.17613109701676},{"diverging":false,"tree_depth":3,"tree_accept":0.9396593232479848,"energy":51.67120071222436},{"diverging":false,"tree_depth":3,"tree_accept":0.9898528026105364,"energy":51.39089621211205},{"diverging":false,"tree_depth":3,"tree_accept":0.954465166324279,"energy":52.803980204411005},{"diverging":false,"tree_depth":3,"tree_accept":0.8570811005820351,"energy":52.643622347481745},{"diverging":false,"tree_depth":3,"tree_accept":0.11110287181191474,"energy":53.544274332107896},{"diverging":false,"tree_depth":3,"tree_accept":0.42858337121301127,"energy":51.4751288912269},{"diverging":false,"tree_depth":3,"tree_accept":0.5906461524257992,"energy":47.882043468888796},{"diverging":false,"tree_depth":3,"tree_accept":0.6106711757584191,"energy":49.61071701885404},{"diverging":false,"tree_depth":3,"tree_accept":0.918437326411696,"energy":52.64506527224397},{"diverging":false,"tree_depth":3,"tree_accept":0.9440312832391007,"energy":49.21538056277898},{"diverging":false,"tree_depth":3,"tree_accept":0.9874851125920576,"energy":49.15129531232656},{"diverging":false,"tree_depth":3,"tree_accept":0.9950157050934652,"energy":45.87485754877259},{"diverging":false,"tree_depth":3,"tree_accept":0.9989852397134379,"energy":46.022790138066256},{"diverging":false,"tree_depth":3,"tree_accept":0.8857992882970799,"energy":47.67069848336615},{"diverging":false,"tree_depth":3,"tree_accept":0.8714987874810414,"energy":46.642019845526775},{"diverging":false,"tree_depth":3,"tree_accept":0.841640528559382,"energy":50.67900171611813},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":49.2325496578165},{"diverging":false,"tree_depth":3,"tree_accept":0.8154186388756803,"energy":49.87657282027467},{"diverging":false,"tree_depth":3,"tree_accept":0.9374010884115387,"energy":52.02700482094907},{"diverging":false,"tree_depth":3,"tree_accept":0.9848142529103956,"energy":49.77891230961699},{"diverging":false,"tree_depth":3,"tree_accept":0.9633282128851389,"energy":50.50381341627749},{"diverging":false,"tree_depth":3,"tree_accept":0.8893201282394347,"energy":56.99882554937688},{"diverging":false,"tree_depth":3,"tree_accept":0.999588301890441,"energy":56.53448822701954},{"diverging":false,"tree_depth":3,"tree_accept":0.35140510777777534,"energy":53.78334920460945},{"diverging":false,"tree_depth":3,"tree_accept":0.9778591232409992,"energy":48.028017652562355},{"diverging":false,"tree_depth":3,"tree_accept":0.6850516696800683,"energy":48.40308801638608},{"diverging":false,"tree_depth":3,"tree_accept":0.9779535857949126,"energy":48.1476238438935},{"diverging":false,"tree_depth":3,"tree_accept":0.971438217140084,"energy":49.009451595780384},{"diverging":false,"tree_depth":3,"tree_accept":0.9910162590072904,"energy":49.42371618293962},{"diverging":false,"tree_depth":3,"tree_accept":0.9736821673031343,"energy":48.55370555703749},{"diverging":false,"tree_depth":3,"tree_accept":0.984335178365046,"energy":46.71006659360179},{"diverging":false,"tree_depth":3,"tree_accept":0.9765111246942298,"energy":47.986327011988976},{"diverging":false,"tree_depth":3,"tree_accept":0.8907872976912005,"energy":54.10816374844015},{"diverging":false,"tree_depth":3,"tree_accept":0.9497717005941693,"energy":52.425243656034475},{"diverging":false,"tree_depth":3,"tree_accept":0.9509347286264693,"energy":53.71988298721135},{"diverging":false,"tree_depth":3,"tree_accept":0.9998185179630157,"energy":56.19248979547375},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":51.901617851981605},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":47.1933750710118},{"diverging":false,"tree_depth":3,"tree_accept":0.7626153180390011,"energy":51.864899491714326},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":51.49443966079726},{"diverging":false,"tree_depth":3,"tree_accept":0.968171111840622,"energy":52.02225389084664},{"diverging":false,"tree_depth":3,"tree_accept":0.9458127541739874,"energy":50.66244237694267},{"diverging":false,"tree_depth":3,"tree_accept":0.9814245812766453,"energy":50.38847693517957},{"diverging":false,"tree_depth":3,"tree_accept":0.9796079843225165,"energy":47.34562883618942},{"diverging":false,"tree_depth":3,"tree_accept":0.9743471636908027,"energy":51.63390737899836},{"diverging":false,"tree_depth":3,"tree_accept":0.9852026325172366,"energy":50.594084689252114},{"diverging":false,"tree_depth":3,"tree_accept":0.9678320201442924,"energy":49.39560468739991},{"diverging":false,"tree_depth":3,"tree_accept":0.9661063780661484,"energy":50.69155549062167},{"diverging":false,"tree_depth":3,"tree_accept":0.9992770835893985,"energy":48.88882582227549},{"diverging":false,"tree_depth":3,"tree_accept":0.9273024299226578,"energy":49.652875205409636},{"diverging":false,"tree_depth":3,"tree_accept":0.9402038316872472,"energy":49.48066602342321},{"diverging":false,"tree_depth":3,"tree_accept":0.774087379250827,"energy":49.15695337985732},{"diverging":false,"tree_depth":3,"tree_accept":0.8185693083610392,"energy":54.16981324866343},{"diverging":false,"tree_depth":3,"tree_accept":0.9952207122107376,"energy":46.70788433310426},{"diverging":false,"tree_depth":3,"tree_accept":0.9527156761604958,"energy":50.45022068267849},{"diverging":false,"tree_depth":3,"tree_accept":0.9650094249548474,"energy":49.903663612557295},{"diverging":false,"tree_depth":3,"tree_accept":0.7597280057239315,"energy":47.61162537106429},{"diverging":false,"tree_depth":3,"tree_accept":0.9550030726353109,"energy":51.12396481222157},{"diverging":false,"tree_depth":3,"tree_accept":0.9954807544614018,"energy":48.317174118534965},{"diverging":false,"tree_depth":3,"tree_accept":0.9968941518246243,"energy":49.3035948346608},{"diverging":false,"tree_depth":3,"tree_accept":0.890449968250908,"energy":47.731116402788864},{"diverging":false,"tree_depth":3,"tree_accept":0.9608860257513527,"energy":49.06118309106644},{"diverging":false,"tree_depth":3,"tree_accept":0.943823193091859,"energy":50.00662950357773},{"diverging":false,"tree_depth":3,"tree_accept":0.949279043162253,"energy":49.64986505485683},{"diverging":false,"tree_depth":3,"tree_accept":0.7104318921696688,"energy":50.95774631784193},{"diverging":false,"tree_depth":3,"tree_accept":0.9884343142964216,"energy":48.06457377850343},{"diverging":false,"tree_depth":3,"tree_accept":0.9800455047480294,"energy":48.16664742581726},{"diverging":false,"tree_depth":3,"tree_accept":0.979663802046833,"energy":47.21402731869835},{"diverging":false,"tree_depth":3,"tree_accept":0.9663668818821671,"energy":47.457882232512134},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":45.332789021888026},{"diverging":false,"tree_depth":3,"tree_accept":0.8653425200403841,"energy":46.37344484728045},{"diverging":false,"tree_depth":3,"tree_accept":0.937913846577921,"energy":48.90477756146425},{"diverging":false,"tree_depth":3,"tree_accept":0.9550832981657322,"energy":49.98960265078848},{"diverging":false,"tree_depth":3,"tree_accept":0.9994619018889589,"energy":50.285045073374285},{"diverging":false,"tree_depth":3,"tree_accept":0.9634570825413356,"energy":49.4110325110705},{"diverging":false,"tree_depth":3,"tree_accept":0.9943569520232529,"energy":49.13016136338816},{"diverging":false,"tree_depth":3,"tree_accept":0.7430178421980759,"energy":52.329729675130615},{"diverging":false,"tree_depth":3,"tree_accept":0.9212451348140236,"energy":51.563413199767076},{"diverging":false,"tree_depth":3,"tree_accept":0.9953039077294875,"energy":51.547598726867704},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":47.52648748546813},{"diverging":false,"tree_depth":3,"tree_accept":0.9605013488761831,"energy":49.90173772917761},{"diverging":false,"tree_depth":3,"tree_accept":0.5999573923272836,"energy":50.59370447083923},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":50.239218605390604},{"diverging":false,"tree_depth":3,"tree_accept":0.9146119412742111,"energy":52.79049925709285},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":52.73594904349527},{"diverging":false,"tree_depth":3,"tree_accept":0.9608271982546148,"energy":48.357572695060114},{"diverging":false,"tree_depth":3,"tree_accept":0.9651863543239002,"energy":49.28652671897827},{"diverging":false,"tree_depth":3,"tree_accept":0.9773315220755443,"energy":47.749278435926016},{"diverging":false,"tree_depth":3,"tree_accept":0.8492367966692864,"energy":52.16855676741677},{"diverging":false,"tree_depth":3,"tree_accept":0.8623186470380411,"energy":54.31963760892316},{"diverging":false,"tree_depth":3,"tree_accept":0.9942049055859773,"energy":55.93078139344218},{"diverging":false,"tree_depth":3,"tree_accept":0.9503134270885625,"energy":47.759797023232565},{"diverging":false,"tree_depth":3,"tree_accept":0.9004724902381868,"energy":47.11938839532505},{"diverging":false,"tree_depth":3,"tree_accept":0.9304112572574381,"energy":48.111607582211356},{"diverging":false,"tree_depth":3,"tree_accept":0.9500899804386368,"energy":48.69718211086393},{"diverging":false,"tree_depth":3,"tree_accept":0.9703512438226439,"energy":50.88707333051403},{"diverging":false,"tree_depth":3,"tree_accept":0.9583824744418299,"energy":51.62123690055553},{"diverging":false,"tree_depth":2,"tree_accept":0.969304489216221,"energy":47.510961891203046},{"diverging":false,"tree_depth":3,"tree_accept":0.9528836091781836,"energy":48.03328817553283},{"diverging":false,"tree_depth":3,"tree_accept":0.895840907081255,"energy":46.88320003591981},{"diverging":false,"tree_depth":3,"tree_accept":0.7977845384664671,"energy":54.51971358818559},{"diverging":false,"tree_depth":3,"tree_accept":0.5824440070145289,"energy":54.84029509302657},{"diverging":false,"tree_depth":3,"tree_accept":0.987456843755833,"energy":47.05307074949791},{"diverging":false,"tree_depth":3,"tree_accept":0.8822942892936123,"energy":49.550120257419735},{"diverging":false,"tree_depth":3,"tree_accept":0.8683774454077338,"energy":52.61173767706387},{"diverging":false,"tree_depth":3,"tree_accept":0.9374500677203216,"energy":48.75071650150916},{"diverging":false,"tree_depth":3,"tree_accept":0.8946537468269768,"energy":50.80096344580597},{"diverging":false,"tree_depth":3,"tree_accept":0.9172510562263171,"energy":50.914480687247},{"diverging":false,"tree_depth":3,"tree_accept":0.9711452458616934,"energy":52.40019851921912},{"diverging":false,"tree_depth":3,"tree_accept":0.8438881139502958,"energy":50.87766829416653},{"diverging":false,"tree_depth":3,"tree_accept":0.9199454066742815,"energy":50.990474491417366},{"diverging":false,"tree_depth":3,"tree_accept":0.9573943436765541,"energy":51.60819709122666},{"diverging":false,"tree_depth":3,"tree_accept":0.9306308802048375,"energy":47.783908837219556},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":48.412240735020546},{"diverging":false,"tree_depth":3,"tree_accept":0.9653572206373893,"energy":48.5409104016593},{"diverging":false,"tree_depth":3,"tree_accept":0.8788775936021361,"energy":49.99428375891038},{"diverging":false,"tree_depth":3,"tree_accept":0.9118138490447729,"energy":55.840544624266585},{"diverging":false,"tree_depth":3,"tree_accept":0.9845638730249083,"energy":55.23589479009887},{"diverging":false,"tree_depth":3,"tree_accept":0.9779496630038216,"energy":50.123753718912546},{"diverging":false,"tree_depth":3,"tree_accept":0.9009909522282801,"energy":49.33807836225803},{"diverging":false,"tree_depth":3,"tree_accept":0.9269926888737862,"energy":53.44396664088366},{"diverging":false,"tree_depth":3,"tree_accept":0.906273767360924,"energy":55.75559736070485},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":53.235841649866174},{"diverging":false,"tree_depth":3,"tree_accept":0.9059086453806742,"energy":49.17217813383393},{"diverging":false,"tree_depth":3,"tree_accept":0.9156748166499441,"energy":53.277177083668},{"diverging":false,"tree_depth":3,"tree_accept":0.8597375890969489,"energy":57.25043249819973},{"diverging":false,"tree_depth":2,"tree_accept":0.9911163777667719,"energy":51.281351327686764},{"diverging":false,"tree_depth":3,"tree_accept":0.8855955492084829,"energy":49.39164482749498},{"diverging":false,"tree_depth":3,"tree_accept":0.9281204029759725,"energy":48.65783074383554},{"diverging":false,"tree_depth":3,"tree_accept":0.9374510454688293,"energy":48.95143219710914},{"diverging":false,"tree_depth":3,"tree_accept":0.9863770400236672,"energy":44.56072942841304},{"diverging":false,"tree_depth":3,"tree_accept":0.9091626081062424,"energy":47.35541985511041},{"diverging":false,"tree_depth":3,"tree_accept":0.9136920954736386,"energy":52.289674142214736},{"diverging":false,"tree_depth":2,"tree_accept":0.5643361955286553,"energy":50.56004013093094},{"diverging":false,"tree_depth":3,"tree_accept":0.9709468411597708,"energy":49.69135391519079},{"diverging":false,"tree_depth":3,"tree_accept":0.8872896754044893,"energy":51.862547122127225},{"diverging":false,"tree_depth":3,"tree_accept":0.988501608408321,"energy":55.23847982785211},{"diverging":false,"tree_depth":3,"tree_accept":0.9191295855380085,"energy":52.243202778343004},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":49.60010800992445},{"diverging":false,"tree_depth":3,"tree_accept":0.9537672019908291,"energy":52.922687833006904},{"diverging":false,"tree_depth":3,"tree_accept":0.6142670844762971,"energy":52.944206847962306},{"diverging":false,"tree_depth":3,"tree_accept":0.9871149991117967,"energy":53.3666393682278},{"diverging":false,"tree_depth":3,"tree_accept":0.9103334856891996,"energy":55.61487090825399},{"diverging":false,"tree_depth":3,"tree_accept":0.8710249958406422,"energy":50.41048385208561},{"diverging":false,"tree_depth":3,"tree_accept":0.9795771161793903,"energy":50.44620340329066},{"diverging":false,"tree_depth":3,"tree_accept":0.26351887282516223,"energy":58.14254611564991},{"diverging":false,"tree_depth":3,"tree_accept":0.996088449592083,"energy":47.444780534726384},{"diverging":false,"tree_depth":3,"tree_accept":0.9044652002496737,"energy":48.30596944460633},{"diverging":false,"tree_depth":3,"tree_accept":0.9271589722429098,"energy":50.031220280027966},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":49.760789656608566},{"diverging":false,"tree_depth":3,"tree_accept":0.9281582014319181,"energy":49.732518972541854},{"diverging":false,"tree_depth":3,"tree_accept":0.9779613577314076,"energy":48.426228795590525},{"diverging":false,"tree_depth":3,"tree_accept":0.7177859568540802,"energy":47.53703907715668},{"diverging":false,"tree_depth":3,"tree_accept":0.9330482538941048,"energy":49.59486542033551},{"diverging":false,"tree_depth":3,"tree_accept":0.9705736147328331,"energy":48.520924049111045},{"diverging":false,"tree_depth":3,"tree_accept":0.9639899109798362,"energy":52.880184133807035},{"diverging":false,"tree_depth":3,"tree_accept":0.9977478537127921,"energy":48.19250606689159},{"diverging":false,"tree_depth":3,"tree_accept":0.9158342042645715,"energy":49.63743968468279},{"diverging":false,"tree_depth":3,"tree_accept":0.9990923055693205,"energy":49.23503702495028},{"diverging":false,"tree_depth":3,"tree_accept":0.9820270930809579,"energy":46.40948348603685},{"diverging":false,"tree_depth":3,"tree_accept":0.89930482903031,"energy":54.07648609704129},{"diverging":false,"tree_depth":4,"tree_accept":0.9981279266331,"energy":50.30331788387591},{"diverging":false,"tree_depth":3,"tree_accept":0.947654456592297,"energy":51.85792951542608},{"diverging":false,"tree_depth":3,"tree_accept":0.9474004039703384,"energy":50.655900705363536},{"diverging":false,"tree_depth":3,"tree_accept":0.8834419098125558,"energy":54.04189410300016},{"diverging":false,"tree_depth":3,"tree_accept":0.9947549729969231,"energy":52.77436027284812},{"diverging":false,"tree_depth":3,"tree_accept":0.9892839525580267,"energy":50.92771880128362},{"diverging":false,"tree_depth":3,"tree_accept":0.972937755152102,"energy":46.47134302469102},{"diverging":false,"tree_depth":3,"tree_accept":0.8998096573257176,"energy":46.518843644705186},{"diverging":false,"tree_depth":3,"tree_accept":0.9478373612051388,"energy":51.006886584312255},{"diverging":false,"tree_depth":3,"tree_accept":0.6013950706759994,"energy":53.464218588990214},{"diverging":false,"tree_depth":3,"tree_accept":0.6262651978426108,"energy":51.55698483135342},{"diverging":false,"tree_depth":3,"tree_accept":0.9991563246189604,"energy":50.73001726165895},{"diverging":false,"tree_depth":3,"tree_accept":0.9651460297884975,"energy":50.138208575794266},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":48.239918410977715},{"diverging":false,"tree_depth":3,"tree_accept":0.9283225641273599,"energy":51.60087435003852},{"diverging":false,"tree_depth":3,"tree_accept":0.9687898146103795,"energy":45.87417492110334},{"diverging":false,"tree_depth":3,"tree_accept":0.9425914684306065,"energy":45.52928572304272},{"diverging":false,"tree_depth":3,"tree_accept":0.9142001579624014,"energy":49.3748536686724},{"diverging":false,"tree_depth":3,"tree_accept":0.9828380264694807,"energy":50.445847989320285},{"diverging":false,"tree_depth":3,"tree_accept":0.430366612555363,"energy":54.21568239809429},{"diverging":false,"tree_depth":3,"tree_accept":0.9591910926982531,"energy":50.78737205743248},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":49.03396508162899},{"diverging":false,"tree_depth":3,"tree_accept":0.7978770290974857,"energy":52.128399124938454},{"diverging":false,"tree_depth":3,"tree_accept":0.7304326764420065,"energy":53.77440115563257},{"diverging":false,"tree_depth":3,"tree_accept":0.9399774153387105,"energy":49.96605255642447},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":46.87380699280043},{"diverging":false,"tree_depth":3,"tree_accept":0.992026399355387,"energy":46.32211535892734},{"diverging":false,"tree_depth":3,"tree_accept":0.8649338664420811,"energy":51.92292990054329},{"diverging":false,"tree_depth":3,"tree_accept":0.6158807466585594,"energy":58.81485448464038},{"diverging":false,"tree_depth":3,"tree_accept":0.9966138318458952,"energy":54.241800668639726},{"diverging":false,"tree_depth":3,"tree_accept":0.9411635861127526,"energy":54.38676325384168},{"diverging":false,"tree_depth":3,"tree_accept":0.9960535626116471,"energy":54.308735928353194},{"diverging":false,"tree_depth":3,"tree_accept":0.9553393932922206,"energy":54.18239428681166},{"diverging":false,"tree_depth":3,"tree_accept":0.8950804359814807,"energy":62.0829572513398},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":59.47749989571753},{"diverging":false,"tree_depth":3,"tree_accept":0.9114453763683709,"energy":61.75707790951955},{"diverging":false,"tree_depth":3,"tree_accept":0.9955700398887303,"energy":51.73125065932607},{"diverging":false,"tree_depth":3,"tree_accept":0.7443274818071389,"energy":54.699404491140825},{"diverging":false,"tree_depth":3,"tree_accept":0.9091728796965551,"energy":52.450937202454355},{"diverging":false,"tree_depth":3,"tree_accept":0.939880496676575,"energy":50.63529835364434},{"diverging":false,"tree_depth":3,"tree_accept":0.5473358501110634,"energy":50.35169991436399},{"diverging":false,"tree_depth":3,"tree_accept":0.7845916361747548,"energy":57.697035990098996},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":58.38289126723859},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":57.18246507328181},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":51.41129294867552},{"diverging":false,"tree_depth":3,"tree_accept":0.9975013019114612,"energy":47.58688470632954},{"diverging":false,"tree_depth":3,"tree_accept":0.9808973043605823,"energy":47.62273652162563},{"diverging":false,"tree_depth":3,"tree_accept":0.9832495936078992,"energy":50.28452363942323},{"diverging":false,"tree_depth":3,"tree_accept":0.9786502840951223,"energy":49.562685212712736},{"diverging":false,"tree_depth":3,"tree_accept":0.9926786569372583,"energy":46.82870058982412},{"diverging":false,"tree_depth":3,"tree_accept":0.964090899054197,"energy":50.129758007814544},{"diverging":false,"tree_depth":3,"tree_accept":0.9527592597700348,"energy":50.27039398012121},{"diverging":false,"tree_depth":3,"tree_accept":0.9561504233502369,"energy":53.17620379826077},{"diverging":false,"tree_depth":3,"tree_accept":0.9868862617465869,"energy":52.896444450284015},{"diverging":false,"tree_depth":3,"tree_accept":0.9887663680693307,"energy":49.11299039900374},{"diverging":false,"tree_depth":3,"tree_accept":0.9394878702024919,"energy":52.40446438759088},{"diverging":false,"tree_depth":3,"tree_accept":0.9984595391293561,"energy":55.02778196832439},{"diverging":false,"tree_depth":3,"tree_accept":0.23614911394357443,"energy":51.49754623003468},{"diverging":false,"tree_depth":3,"tree_accept":0.9428352840356895,"energy":49.66686985490027},{"diverging":false,"tree_depth":3,"tree_accept":0.7879961641778345,"energy":52.56395186904014},{"diverging":false,"tree_depth":3,"tree_accept":0.9749621992606899,"energy":47.63978247900797},{"diverging":false,"tree_depth":3,"tree_accept":0.9000725235980082,"energy":51.23727395487551},{"diverging":false,"tree_depth":3,"tree_accept":0.8619957974184216,"energy":52.09511709285827},{"diverging":false,"tree_depth":3,"tree_accept":0.955494210994639,"energy":51.02124722877077},{"diverging":false,"tree_depth":3,"tree_accept":0.4261842527896988,"energy":50.70509514332377},{"diverging":false,"tree_depth":3,"tree_accept":0.900916223689103,"energy":54.17594800446643},{"diverging":false,"tree_depth":3,"tree_accept":0.7397525523019762,"energy":54.09784456053374},{"diverging":false,"tree_depth":3,"tree_accept":0.98508902827831,"energy":48.82622497892082},{"diverging":false,"tree_depth":3,"tree_accept":0.8798527418794414,"energy":50.96215902312544},{"diverging":false,"tree_depth":3,"tree_accept":0.9967282546139858,"energy":44.14956694505262},{"diverging":false,"tree_depth":3,"tree_accept":0.9195428432043585,"energy":45.62729083335529},{"diverging":false,"tree_depth":3,"tree_accept":0.9356100121743121,"energy":46.149975570941336},{"diverging":false,"tree_depth":3,"tree_accept":0.9006411696876729,"energy":46.690392700800146},{"diverging":false,"tree_depth":3,"tree_accept":0.5483129950706923,"energy":49.635153265846924},{"diverging":false,"tree_depth":3,"tree_accept":0.9813827433637562,"energy":51.77482545254598},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":51.20508593752966},{"diverging":false,"tree_depth":3,"tree_accept":0.9911100935489535,"energy":50.64090817758663},{"diverging":false,"tree_depth":3,"tree_accept":0.42314481812673393,"energy":52.39956528819258},{"diverging":false,"tree_depth":3,"tree_accept":0.856918219235836,"energy":54.79259592747784},{"diverging":false,"tree_depth":3,"tree_accept":0.9963101987025546,"energy":51.31557925295147},{"diverging":false,"tree_depth":3,"tree_accept":0.8060557782384933,"energy":55.160505902704},{"diverging":false,"tree_depth":3,"tree_accept":0.4299693271790007,"energy":54.76525165601013},{"diverging":false,"tree_depth":3,"tree_accept":0.8162917541597798,"energy":49.68857685255535},{"diverging":false,"tree_depth":3,"tree_accept":0.008198658474718788,"energy":54.67759644611822},{"diverging":false,"tree_depth":3,"tree_accept":0.9725255096594917,"energy":48.08363354425173},{"diverging":false,"tree_depth":3,"tree_accept":0.7606630084849938,"energy":46.2615644350879},{"diverging":false,"tree_depth":3,"tree_accept":0.9346201615166921,"energy":47.56555093553859},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":48.76556027091829},{"diverging":false,"tree_depth":3,"tree_accept":0.9480756712759882,"energy":54.8326938282534},{"diverging":false,"tree_depth":3,"tree_accept":0.9942426418016405,"energy":48.557748770162505},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":47.899895032567606},{"diverging":false,"tree_depth":3,"tree_accept":0.952095872525352,"energy":56.665037706671654},{"diverging":false,"tree_depth":2,"tree_accept":0.9486635287081765,"energy":53.66765838682465},{"diverging":false,"tree_depth":3,"tree_accept":0.8898897434358287,"energy":48.871975019128904},{"diverging":false,"tree_depth":3,"tree_accept":0.9505152904044442,"energy":49.95677908515877},{"diverging":false,"tree_depth":3,"tree_accept":0.9969334730568413,"energy":46.9378440917324},{"diverging":false,"tree_depth":3,"tree_accept":0.6203117123595298,"energy":52.280187648382736},{"diverging":false,"tree_depth":3,"tree_accept":0.6840138875831342,"energy":57.24367922176399},{"diverging":false,"tree_depth":3,"tree_accept":0.9961556465589666,"energy":49.633016079495015},{"diverging":false,"tree_depth":3,"tree_accept":0.991905372683784,"energy":46.05854935932571},{"diverging":false,"tree_depth":3,"tree_accept":0.8419293449659255,"energy":49.411331774162214},{"diverging":false,"tree_depth":3,"tree_accept":0.8808745222071032,"energy":48.28246299522151},{"diverging":false,"tree_depth":3,"tree_accept":0.9195199503014858,"energy":49.08690031033429},{"diverging":false,"tree_depth":3,"tree_accept":0.9568797815034704,"energy":47.600388006770906},{"diverging":false,"tree_depth":3,"tree_accept":0.7414373956384493,"energy":52.63183492508365},{"diverging":false,"tree_depth":3,"tree_accept":0.99262719066801,"energy":52.35111498599829},{"diverging":false,"tree_depth":3,"tree_accept":0.6583925461156312,"energy":53.729476089333446},{"diverging":false,"tree_depth":3,"tree_accept":0.9996461984198403,"energy":52.054547427311476},{"diverging":false,"tree_depth":3,"tree_accept":0.9925038512436947,"energy":49.74018760658417},{"diverging":false,"tree_depth":3,"tree_accept":0.9718823739291228,"energy":48.34993705796564},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":51.01938039876245},{"diverging":false,"tree_depth":3,"tree_accept":0.9911255806104957,"energy":49.37984757270954},{"diverging":false,"tree_depth":3,"tree_accept":0.9016291019494089,"energy":52.81857112543076},{"diverging":false,"tree_depth":3,"tree_accept":0.988744695943175,"energy":50.26829667504723},{"diverging":false,"tree_depth":4,"tree_accept":0.8843766673651995,"energy":49.42324620821469},{"diverging":false,"tree_depth":3,"tree_accept":0.7642812154470545,"energy":47.58467497709752},{"diverging":false,"tree_depth":3,"tree_accept":0.9003937493924496,"energy":50.32036331517588},{"diverging":false,"tree_depth":3,"tree_accept":0.9975744931122483,"energy":52.34216677989481},{"diverging":false,"tree_depth":3,"tree_accept":0.8602074481400208,"energy":54.74276921536258},{"diverging":false,"tree_depth":3,"tree_accept":0.8114726603005767,"energy":53.191921528510115},{"diverging":false,"tree_depth":4,"tree_accept":0.8507545872911694,"energy":56.12966829736626},{"diverging":false,"tree_depth":3,"tree_accept":0.869622178808917,"energy":59.77198827311031},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":54.380607865432374},{"diverging":false,"tree_depth":3,"tree_accept":0.9871472842451358,"energy":51.07897782091168},{"diverging":false,"tree_depth":3,"tree_accept":0.9233714834519178,"energy":49.818931778758866},{"diverging":false,"tree_depth":3,"tree_accept":0.9891356517285386,"energy":50.8544658887636},{"diverging":false,"tree_depth":3,"tree_accept":1.0,"energy":47.785586654218356},{"diverging":false,"tree_depth":3,"tree_accept":0.8535756217316088,"energy":51.90849679548175},{"diverging":false,"tree_depth":3,"tree_accept":0.9077059726354513,"energy":51.518051832632906},{"diverging":false,"tree_depth":3,"tree_accept":0.9595022582595051,"energy":47.60639290292116},{"diverging":false,"tree_depth":3,"tree_accept":0.8127726384356796,"energy":52.70980132557573},{"diverging":false,"tree_depth":3,"tree_accept":0.9868703185784443,"energy":49.94158064468065},{"diverging":false,"tree_depth":3,"tree_accept":0.8791399208704063,"energy":54.37130042364625},{"diverging":false,"tree_depth":3,"tree_accept":0.9809745848261624,"energy":53.48157701398337},{"diverging":false,"tree_depth":3,"tree_accept":0.9713331449765115,"energy":51.29190755392804}]}]}

bayeswire/corpus/artifacts/eight_schools_non_centered/dims.json

@@ -0,0 +1,28 @@
+{
+  "coords": {
+    "school": [
+      "A",
+      "B",
+      "C",
+      "D",
+      "E",
+      "F",
+      "G",
+      "H"
+    ]
+  },
+  "dims": {
+    "mu": [],
+    "sigma": [
+      "school"
+    ],
+    "tau": [],
+    "y": [
+      "school"
+    ],
+    "z": [
+      "school"
+    ]
+  },
+  "dims_format": "bayescycle-dims-v1"
+}

bayeswire/corpus/artifacts/eight_schools_non_centered/manifest.json

@@ -0,0 +1,9 @@
+{
+  "chains": 2,
+  "draws": 300,
+  "generator": "scripts/generate_artifact_corpus.py",
+  "model": "eight_schools_non_centered",
+  "sample_stats_mode": "per_draw_v2",
+  "seed": 20260702,
+  "warmup": 300
+}

bayeswire/corpus/artifacts/eight_schools_non_centered/model.ir.json

@@ -0,0 +1 @@
+{"bayeswire_ir":1,"model":{"node":"ModelMeta","params":[{"name":"mu","value":{"node":"ResolvedParam","distribution":{"node":"Normal","loc":{"node":"ConstNode","value":0.0},"scale":{"node":"ConstNode","value":5.0}},"constraint":null,"size":null}},{"name":"tau","value":{"node":"ResolvedParam","distribution":{"node":"HalfNormal","scale":{"node":"ConstNode","value":5.0}},"constraint":{"node":"Positive"},"size":null}},{"name":"z","value":{"node":"ResolvedParam","distribution":{"node":"Normal","loc":{"node":"ConstNode","value":0.0},"scale":{"node":"ConstNode","value":1.0}},"constraint":null,"size":{"node":"DataRef","name":"n_schools"}}}],"data":[{"name":"n_schools","value":{"node":"ResolvedData","schema":{"node":"ResolvedDataShapeSchema","dims":[]}}},{"name":"sigma","value":{"node":"ResolvedData","schema":{"node":"ResolvedDataShapeSchema","dims":[{"node":"DataDimRef","name":"n_schools"}]}}}],"observed_nodes":[{"node":"ResolvedObserved","name":"y","distribution":{"node":"Normal","loc":{"node":"BinOp","op":"+","left":{"node":"ParamRef","name":"mu"},"right":{"node":"BinOp","op":"*","left":{"node":"ParamRef","name":"tau"},"right":{"node":"ParamRef","name":"z"}}},"scale":{"node":"DataRef","name":"sigma"}}}],"expressions":[{"name":"theta","value":{"node":"BinOp","op":"+","left":{"node":"ParamRef","name":"mu"},"right":{"node":"BinOp","op":"*","left":{"node":"ParamRef","name":"tau"},"right":{"node":"ParamRef","name":"z"}}}}],"free_values":[{"name":"mu","value":{"node":"ResolvedFreeValue","constraint":null,"size":null}},{"name":"tau","value":{"node":"ResolvedFreeValue","constraint":{"node":"Positive"},"size":null}},{"name":"z","value":{"node":"ResolvedFreeValue","constraint":null,"size":{"node":"DataRef","name":"n_schools"}}}],"stochastic_sites":[{"node":"ResolvedStochasticSite","name":"mu","distribution":{"node":"Normal","loc":{"node":"ConstNode","value":0.0},"scale":{"node":"ConstNode","value":5.0}},"value":{"node":"ParamRef","name":"mu"}},{"node":"ResolvedStochasticSite","name":"tau","distribution":{"node":"HalfNormal","scale":{"node":"ConstNode","value":5.0}},"value":{"node":"ParamRef","name":"tau"}},{"node":"ResolvedStochasticSite","name":"z","distribution":{"node":"Normal","loc":{"node":"ConstNode","value":0.0},"scale":{"node":"ConstNode","value":1.0}},"value":{"node":"ParamRef","name":"z"}},{"node":"ResolvedStochasticSite","name":"y","distribution":{"node":"Normal","loc":{"node":"BinOp","op":"+","left":{"node":"ParamRef","name":"mu"},"right":{"node":"BinOp","op":"*","left":{"node":"ParamRef","name":"tau"},"right":{"node":"ParamRef","name":"z"}}},"scale":{"node":"DataRef","name":"sigma"}},"value":{"node":"DataRef","name":"y"}}]}}