tiergraph 0.2.2__tar.gz → 0.3.0__tar.gz

{tiergraph-0.2.2 → tiergraph-0.3.0}/.gitignore

@@ -1,4 +1,6 @@
-untracked/
+# Anchored for the same build-root exclusion hazard documented at /.claude/:
+# a worktree beneath another checkout's untracked/ must retain every exclusion.
+/untracked/
 
 __pycache__/
 *.py[cod]

{tiergraph-0.2.2 → tiergraph-0.3.0}/CHANGELOG.md

@@ -7,6 +7,72 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+## [0.3.0] - 2026-09-22
+
+### Added
+
+- Added JSON-valued attributes. `JsonType.JSON` declares an attribute whose
+  value is ordinary JSON -- null, a boolean, an integer, a double, a string,
+  an array or an object -- held as `JsonAttributeValue` on any carrier a
+  scalar attribute can sit on. The value is owned: the attribute keeps its own
+  snapshot, so a caller mutating the container it passed, or the one it is
+  handed back, changes neither. Kinds and float signs are part of the value's
+  identity, so `0`, `0.0` and `False` are three values and `-0.0` crosses the
+  wire as `-0.0`.
+- **BREAKING:** `FORMAT_VERSION` moves from `"0.2.0"` to `"0.3.0"`. This
+  reader accepts only its own format version, so it refuses a document written
+  at `"0.2.0"` with a discriminator refusal. The release line moves because
+  the schema grows by the JSON attribute record; otherwise its shape is
+  unchanged against the 0.2 line.
+
+### Changed
+
+- A JSON integer must lie within +/-(2**53 - 1), the range a JSON peer decodes
+  exactly. JSON has one number type and its peers read it as an IEEE double,
+  so a larger integer reads back as a different number with no error.
+  `JsonAttributeValue` refuses one where it is built, and reading a document
+  refuses one as a staged `Refusal` rather than loading a value its peers
+  would corrupt.
+- Reading a document refuses an integer literal too long to convert as a
+  staged `Refusal`, where it previously raised a bare `ValueError` from the
+  process's digit limit. This bounds conversion only; it places no budget on
+  integer fields other than JSON attribute values.
+- The scalar attribute constructor and a grammar weight refuse a JSON-typed
+  declaration, so a JSON value cannot reach a place that reads only scalars.
+
+## [0.2.3] - 2026-09-15
+
+### 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.
+
 ## [0.2.2] - 2026-09-14
 
 ### Added
@@ -962,7 +1028,9 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 - TG-PATH canonical addressing for structural and durable items and boundaries, profile-owned alternatives, kind checks, and typed refusals with offender details.
 - Canonical selection, bounded bipartite walks, ordered polyadic traversal, and ordered containment queries that preserve declared incidence and child order where applicable.
 
-[Unreleased]: https://github.com/lenzo-ka/tiergraph/compare/v0.2.2...HEAD
+[Unreleased]: https://github.com/lenzo-ka/tiergraph/compare/v0.3.0...HEAD
+[0.3.0]: https://github.com/lenzo-ka/tiergraph/compare/v0.2.3...v0.3.0
+[0.2.3]: https://github.com/lenzo-ka/tiergraph/compare/v0.2.2...v0.2.3
 [0.2.2]: https://github.com/lenzo-ka/tiergraph/compare/v0.2.1...v0.2.2
 [0.2.1]: https://github.com/lenzo-ka/tiergraph/compare/v0.2.0...v0.2.1
 [0.2.0]: https://github.com/lenzo-ka/tiergraph/compare/v0.1.0...v0.2.0

{tiergraph-0.2.2 → tiergraph-0.3.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.5
 Name: tiergraph
-Version: 0.2.2
+Version: 0.3.0
 Summary: Ordered tiers, declared relations, and an algebra over them
 Project-URL: Homepage, https://github.com/lenzo-ka/tiergraph
 Project-URL: Repository, https://github.com/lenzo-ka/tiergraph
@@ -38,8 +38,7 @@ Description-Content-Type: text/markdown
 
 tiergraph holds parallel ordered sequences and the declared links between them
 as one immutable graph, checked when it is built. Every view — selection,
-traversal, containment, timing, folds — is computed from that one graph, so no
-view can disagree with the store.
+traversal, containment, timing, folds — is computed from that one graph.
 
 The shape is the track view of an audio or video editor: rows of items, ordered
 within a row, aligned across rows, with links between rows. Aligned annotations
@@ -110,8 +109,8 @@ The complete runnable example keeps the displayed phone labels separate from
 their durable ids and prints `['K', 'AE', 'T']`; see
 [`examples/caption_alignment.py`](examples/caption_alignment.py).
 
-The model learned from Paul Hertz's Delta representation and the heterogeneous
-relation graphs (HRGs) of the Festival Speech Synthesis System. tiergraph keeps
+The model is informed by Sue Hertz's Delta representation and the Heterogeneous
+Relation Graphs (HRGs) of the Festival Speech Synthesis System. tiergraph keeps
 their emphasis on explicit tiered structure while defining a typed, immutable
 model and a versioned interchange format.
 

{tiergraph-0.2.2 → tiergraph-0.3.0}/README.md

@@ -4,8 +4,7 @@
 
 tiergraph holds parallel ordered sequences and the declared links between them
 as one immutable graph, checked when it is built. Every view — selection,
-traversal, containment, timing, folds — is computed from that one graph, so no
-view can disagree with the store.
+traversal, containment, timing, folds — is computed from that one graph.
 
 The shape is the track view of an audio or video editor: rows of items, ordered
 within a row, aligned across rows, with links between rows. Aligned annotations
@@ -76,8 +75,8 @@ The complete runnable example keeps the displayed phone labels separate from
 their durable ids and prints `['K', 'AE', 'T']`; see
 [`examples/caption_alignment.py`](examples/caption_alignment.py).
 
-The model learned from Paul Hertz's Delta representation and the heterogeneous
-relation graphs (HRGs) of the Festival Speech Synthesis System. tiergraph keeps
+The model is informed by Sue Hertz's Delta representation and the Heterogeneous
+Relation Graphs (HRGs) of the Festival Speech Synthesis System. tiergraph keeps
 their emphasis on explicit tiered structure while defining a typed, immutable
 model and a versioned interchange format.