Skip to content

tiergraph 0.2.3

Choose a tag to compare

View all tags
@lenzo-ka lenzo-ka released this 15 Sep 20:51
· 127 commits to main since this release
v0.2.3
1a4440b
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Adds Emissions and OutputPlan, which pool the mass of complete paths by the output string their items emit over caller-supplied candidates, reporting each candidate's mass and the residual of every other output, with decision and tie certificates under LOG_PROBABILITY and COUNTING, structural conditioning, and conditioned item marginals pooled back to the base plan. PathPlan is unchanged. The graph interchange format is unchanged: FORMAT_VERSION stays "0.2.0".

Added

  • Added Emissions and OutputPlan, which pool the mass of complete paths by
    the output string their items emit, over candidates the caller supplies, beside
    PathPlan and without changing it. OutputPlan.masses returns OutputMasses:
    each candidate's mass and the residual mass of every other output, computed in
    the base algebra by one marginal pass rather than by subtraction, with the zero
    mass reported rather than a distribution fabricated. Its decided and tied
    certificates are available only under LOG_PROBABILITY and COUNTING; under
    LOG_PROBABILITY, tied compares computed values, which an approximate
    algebra can split for equal real masses. conditioned restricts the plan to
    paths accepted as one candidate, refused only when no such path exists, and
    item_marginals pools those conditioned marginals back to the base plan's
    items as OutputItemMarginals. Declared roots and relation-instance
    multiplicity carry into the derived plan. Duplicate or empty candidate sets,
    invalid emissions, and noncommutative multiplication are refused. The pooled
    best output over all strings is intractable in general, so the plan scores the
    candidates it is given and reports the residual that bounds every other (#190).

Changed

  • FORMAT_VERSION stays "0.2.0": nothing in this line touches the wire
    format, and make format-growth reports no break.

Documentation

  • The lineage now credits Sue Hertz for the Delta representation, which the
    README and the concepts guide had attributed to Paul Hertz, and spells out
    Heterogeneous Relation Graphs (HRGs) (#189). The README no longer claims that no
    view can disagree with the store.
Assets 2
Loading