@lapxo/obligations 0.3.3 → 0.3.5
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.
- package/README.md +15 -3
- package/TARGET.bound +510 -0
- package/dist/views/field.d.ts +1 -1
- package/dist/views/field.js +1 -1
- package/package.json +4 -2
- package/receipts.bound +0 -3126
package/README.md
CHANGED
|
@@ -2,7 +2,7 @@
|
|
|
2
2
|
|
|
3
3
|
# @lapxo/obligations
|
|
4
4
|
|
|
5
|
-
      [](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
|
|
|
@@ -91,6 +91,8 @@ claims kept 3
|
|
|
91
91
|
why a withdrawal names the claim it takes back, so the cell returns to one origin while all three claims stay on it and nothing is matched by looking like something
|
|
92
92
|
```
|
|
93
93
|
|
|
94
|
+
Its origins meet.
|
|
95
|
+
|
|
94
96
|
## How to read it
|
|
95
97
|
|
|
96
98
|
One lattice is read through several views, and each answers one question.
|
|
@@ -120,7 +122,7 @@ Ochoa, N. (2026). Two-Sided Constraints on a Valued Lattice (Version 1.0.0). Zen
|
|
|
120
122
|
|
|
121
123
|
## What is open
|
|
122
124
|
|
|
123
|
-
|
|
125
|
+
Ten lines are conjectures: nothing rests on them, and each names what would break it.
|
|
124
126
|
|
|
125
127
|
Two for a ledger:
|
|
126
128
|
|
|
@@ -140,6 +142,8 @@ Five readings:
|
|
|
140
142
|
- **The medium of encounters** — what carries an encounter is a medium, and a medium is what two origins can both reach: in each instrument the medium can be named and the encounter happens where two origins touch it and nowhere else, so two origins at one cell make information and the same two at two cells make none; structural resemblance, one origin, not a claim about the world. *Breaks if two origins meet with nothing they both reach.*
|
|
141
143
|
- **Refereed game** — a field of cells with origins and signatures is a game whose referee is inside it: a move is a claim, a claim alone is potential, two that meet are information, a signature moves every cell that rests on it, and no player may suspend the rule that makes the first four; the claim is that each of five readings of the field matches all five properties; structural resemblance, one origin, not a claim about the world. *Breaks if a player can suspend the rule that two origins are needed.*
|
|
142
144
|
|
|
145
|
+
- **The period is the region's** — the period a phase is read against is a line of the region, never a fact of the instrument. *Breaks if two heads measure coherence and need a clock to agree.*
|
|
146
|
+
|
|
143
147
|
<details><summary>Every conjecture in full</summary>
|
|
144
148
|
|
|
145
149
|
Resolution times independent encounters per cell stays above a floor c; the sufficient resolution is where the product saturates. The falsifier: a cell read at four resolutions whose product of resolution and independent encounters comes out above the floor while the encounters fall away with the sharpening. A product that rises as the reading sharpens would say the floor is not a floor but an accident of how coarsely the cell was read.
|
|
@@ -160,8 +164,16 @@ A field of cells with origins and signatures is a game whose referee is inside i
|
|
|
160
164
|
|
|
161
165
|
The obligatory is maximal: take away any one of its seven parts and what is left is an object already known, and anything added to it is either already inside it or breaks the four states. The falsifier: a part the obligatory lacks that keeps the four states and the six operations and is not a reading of one of them.
|
|
162
166
|
|
|
167
|
+
The period a phase is read against, the one T48 and T87 turn on, is a line of the region and never a fact of the instrument: a concert, a match and a sensor-s cadence each define theirs, and two heads that read one region with its period agree on its coherence with no clock between them; structural resemblance, one origin, not a claim about the world. The falsifier: two heads that read one region, each with the period of its own clock, and agree on its coherence. A period each instrument brought would be the instrument's, and the heads would need a clock between them to agree.
|
|
168
|
+
|
|
163
169
|
</details>
|
|
164
170
|
|
|
165
171
|
## Check
|
|
166
172
|
|
|
167
|
-
●
|
|
173
|
+
● 215 cases hold
|
|
174
|
+
|
|
175
|
+
## Pointers
|
|
176
|
+
|
|
177
|
+
- [Paper](docs/paper.md)
|
|
178
|
+
- [Reference](docs/reference.md)
|
|
179
|
+
- 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)
|