@lapxo/obligations 0.4.0 → 0.4.2

package/README.md

@@ -2,7 +2,7 @@
 
 # @lapxo/obligations
 
-![version 0.4.0](https://img.shields.io/badge/version-0.4.0-) ![license MIT](https://img.shields.io/badge/license-MIT-) ![node >=22.12](https://img.shields.io/badge/node-%3E%3D22.12-) [![DOI 10.5281/zenodo.21858428](https://img.shields.io/badge/DOI-10.5281%2Fzenodo.21858428-)](https://doi.org/10.5281/zenodo.21858428)
+![version 0.4.2](https://img.shields.io/badge/version-0.4.2-) ![license MIT](https://img.shields.io/badge/license-MIT-) ![node >=22.12](https://img.shields.io/badge/node-%3E%3D22.12-) [![DOI 10.5281/zenodo.21858428](https://img.shields.io/badge/DOI-10.5281%2Fzenodo.21858428-)](https://doi.org/10.5281/zenodo.21858428)
 
 The algebra of a cell: two poles, origins with phase, eight acts.
 
@@ -16,6 +16,17 @@ The pure API `@lapxo/obligations/measures` describes error histories of origins:
 
 ## The object
 
+```text
+c = ⟨⊥, ⊤, O, ⊑⟩        over L at r
+⊥(c)                   = ⋁ required ∨ ⋁_{o∈O} lo_o
+⊤(c)                   = ⋀ signed ∧ ⋀_{o∈O} hi_o
+info(c)                ⟺ |ext(O)| ≥ 2 ∧ meet(c) ≠ ∅
+F(C)                   = Σ_{c∈C} F(c),   F(a(c)) ≤ F(c) for every act a that narrows
+A(c)                   = |Σ_{o∈O} s_o w_o e^{iφ_o}|²
+⊤(c)                   = ⋀_{b ⊑ c} signed(b) ∧ ⋀_{o∈O} hi_o,   one line per act
+|e^{ia} + e^{ib}|² < 2 ⟺ acos(cos(a − b)) > π/2
+state(c)               ∈ {FREE, REQUIRED, FORBIDDEN, CONFLICT}
+```
 
 ```text
 bounds cross or claims have an empty meet  CONFLICT 
@@ -28,6 +39,21 @@ claims meet outside bounds                 FORBIDDEN
 npm install @lapxo/obligations
 ```
 
+
+## A model-bound calculation
+
+```js
+import { capacityBound } from '@lapxo/obligations/measures';
+
+const bound = capacityBound(4, '1/5', { logarithm: 'binary64-log2' });
+console.log(bound.value.toFixed(6), bound.unit);
+// 1.683007 bits
+```
+
+This is an information upper bound under the declared single-dominant-factor model,
+not a measurement of truth or proof of independent origins. The four states are unchanged.
+
+
 ## The paper
 
 The theory here is not an application of an algebra to a problem. It is one algebra, of a cell with two marks, and three theories that turn out to be that algebra seen from different sides: constraints with a price, states on a scale, and points with an epoch and an origin.
@@ -38,7 +64,11 @@ Ochoa, N. (2026). Two-Sided Constraints on a Valued Lattice (Version 1.0.0). Zen
 
 ## Pointers
 
+- [In phase](docs/learn/in-phase.md)
 - [Measures](docs/measures.md)
 - [Paper](docs/paper.md)
+- [Price](docs/learn/price.md)
 - [Reference](docs/reference.md)
-- Learn from an example: [in phase](docs/learn/in-phase.md), [price](docs/learn/price.md), [signature](docs/learn/signature.md), [thermometer](docs/learn/thermometer.md), [withdrawal](docs/learn/withdrawal.md)
+- [Signature](docs/learn/signature.md)
+- [Thermometer](docs/learn/thermometer.md)
+- [Withdrawal](docs/learn/withdrawal.md)