@lapxo/obligations 0.4.0 → 0.4.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (47) hide show
  1. package/README.md +32 -2
  2. package/TARGET.bound +78 -30
  3. package/dist/measures/capacity.d.ts +302 -0
  4. package/dist/measures/capacity.js +168 -0
  5. package/dist/measures/coincidence.d.ts +111 -0
  6. package/dist/measures/coincidence.js +81 -0
  7. package/dist/measures/error-events.js +23 -4
  8. package/dist/measures/fitting.d.ts +1 -1
  9. package/dist/measures/index.d.ts +6 -0
  10. package/dist/measures/index.js +3 -0
  11. package/dist/measures/unanimity-fit.d.ts +156 -0
  12. package/dist/measures/unanimity-fit.js +133 -0
  13. package/docs/img/cell.svg +28 -0
  14. package/docs/img/logo-fork.svg +6 -0
  15. package/docs/img/logo.svg +6 -0
  16. package/docs/img/price.svg +28 -0
  17. package/docs/img/thermometer.svg +28 -0
  18. package/docs/img/withdrawal.svg +28 -0
  19. package/docs/learn/in-phase.md +46 -0
  20. package/docs/learn/price.md +52 -0
  21. package/docs/learn/signature.md +50 -0
  22. package/docs/learn/thermometer.md +58 -0
  23. package/docs/learn/withdrawal.md +51 -0
  24. package/docs/measures.md +48 -0
  25. package/docs/paper.md +233 -0
  26. package/docs/reference.md +495 -0
  27. package/package.json +1 -1
  28. package/receipts.bound +113 -70
  29. package/samples/measures/capacity.json +71 -0
  30. package/samples/measures/coincidence.json +624 -0
  31. package/samples/measures/decisions.json +66 -0
  32. package/samples/measures/unanimity-fit.json +166 -0
  33. package/samples/no/installed-artifact.json +14 -2
  34. package/samples/yes/installed-artifact.json +32 -5
  35. package/vectors/measures/capacity.cli.json +97 -0
  36. package/vectors/measures/coincidence.cli.json +97 -0
  37. package/vectors/measures/decisions.cli.json +97 -0
  38. package/vectors/measures/descent.cli.json +19 -70
  39. package/vectors/measures/implementation.json +82 -0
  40. package/vectors/measures/installed-artifact.cli.json +28 -8
  41. package/vectors/measures/m3.cli.json +19 -70
  42. package/vectors/measures/observations.cli.json +19 -70
  43. package/vectors/measures/spectrum.cli.json +18 -69
  44. package/vectors/measures/unanimity-fit.cli.json +97 -0
  45. package/vectors/measures/unanimity.cli.json +19 -70
  46. package/samples/measures/m3-reader.mjs +0 -732
  47. package/samples/measures/reader.mjs +0 -424
package/README.md CHANGED
@@ -2,7 +2,7 @@
2
2
 
3
3
  # @lapxo/obligations
4
4
 
5
- ![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)
5
+ ![version 0.4.1](https://img.shields.io/badge/version-0.4.1-) ![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)
6
6
 
7
7
  The algebra of a cell: two poles, origins with phase, eight acts.
8
8
 
@@ -16,6 +16,17 @@ The pure API `@lapxo/obligations/measures` describes error histories of origins:
16
16
 
17
17
  ## The object
18
18
 
19
+ ```text
20
+ c = ⟨⊥, ⊤, O, ⊑⟩ over L at r
21
+ ⊥(c) = ⋁ required ∨ ⋁_{o∈O} lo_o
22
+ ⊤(c) = ⋀ signed ∧ ⋀_{o∈O} hi_o
23
+ info(c) ⟺ |ext(O)| ≥ 2 ∧ meet(c) ≠ ∅
24
+ F(C) = Σ_{c∈C} F(c), F(a(c)) ≤ F(c) for every act a that narrows
25
+ A(c) = |Σ_{o∈O} s_o w_o e^{iφ_o}|²
26
+ ⊤(c) = ⋀_{b ⊑ c} signed(b) ∧ ⋀_{o∈O} hi_o, one line per act
27
+ |e^{ia} + e^{ib}|² < 2 ⟺ |a − b| > π/2
28
+ state(c) ∈ {FREE, REQUIRED, FORBIDDEN, CONFLICT}
29
+ ```
19
30
 
20
31
  ```text
21
32
  bounds cross or claims have an empty meet CONFLICT
@@ -28,6 +39,21 @@ claims meet outside bounds FORBIDDEN
28
39
  npm install @lapxo/obligations
29
40
  ```
30
41
 
42
+
43
+ ## A model-bound calculation
44
+
45
+ ```js
46
+ import { capacityBound } from '@lapxo/obligations/measures';
47
+
48
+ const bound = capacityBound(4, '1/5', { logarithm: 'binary64-log2' });
49
+ console.log(bound.value.toFixed(6), bound.unit);
50
+ // 1.683007 bits
51
+ ```
52
+
53
+ This is an information upper bound under the declared single-dominant-factor model,
54
+ not a measurement of truth or proof of independent origins. The four states are unchanged.
55
+
56
+
31
57
  ## The paper
32
58
 
33
59
  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
38
64
 
39
65
  ## Pointers
40
66
 
67
+ - [In phase](docs/learn/in-phase.md)
41
68
  - [Measures](docs/measures.md)
42
69
  - [Paper](docs/paper.md)
70
+ - [Price](docs/learn/price.md)
43
71
  - [Reference](docs/reference.md)
44
- - 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)
72
+ - [Signature](docs/learn/signature.md)
73
+ - [Thermometer](docs/learn/thermometer.md)
74
+ - [Withdrawal](docs/learn/withdrawal.md)