@lapxo/obligations 0.3.4 → 0.3.5

package/README.md

@@ -2,7 +2,7 @@
 
 # @lapxo/obligations
 
-![version 0.3.4](https://img.shields.io/badge/version-0.3.4-8c959f) ![license MIT](https://img.shields.io/badge/license-MIT-8c959f) ![node >=22.12](https://img.shields.io/badge/node-%3E%3D22.12-8c959f) ![dependencies 0](https://img.shields.io/badge/dependencies-0-2da44e) ![cases 211 hold](https://img.shields.io/badge/cases-211_hold-2da44e) ![verify agrees](https://img.shields.io/badge/verify-agrees-8c959f) [![DOI 10.5281/zenodo.21858428](https://img.shields.io/badge/DOI-10.5281%2Fzenodo.21858428-8c959f)](https://doi.org/10.5281/zenodo.21858428)
+![version 0.3.5](https://img.shields.io/badge/version-0.3.5-8c959f) ![license MIT](https://img.shields.io/badge/license-MIT-8c959f) ![node >=22.12](https://img.shields.io/badge/node-%3E%3D22.12-8c959f) ![dependencies 0](https://img.shields.io/badge/dependencies-0-2da44e) ![cases 215 hold](https://img.shields.io/badge/cases-215_hold-2da44e) ![verify agrees](https://img.shields.io/badge/verify-agrees-2da44e) [![DOI 10.5281/zenodo.21858428](https://img.shields.io/badge/DOI-10.5281%2Fzenodo.21858428-8c959f)](https://doi.org/10.5281/zenodo.21858428)
 
 The algebra of a cell: two poles, origins with phase, eight acts.
 
@@ -91,6 +91,8 @@ claims kept  3
 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
 ```
 
+Its origins meet.
+
 ## How to read it
 
 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
 
 ## What is open
 
-Nine lines are conjectures: nothing rests on them, and each names what would break it.
+Ten lines are conjectures: nothing rests on them, and each names what would break it.
 
 Two for a ledger:
 
@@ -140,6 +142,8 @@ Five readings:
 - **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.*
 - **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.*
 
+- **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.*
+
 <details><summary>Every conjecture in full</summary>
 
 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
 
 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.
 
+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.
+
 </details>
 
 ## Check
 
-● 211 cases hold
+● 215 cases hold
+
+## Pointers
+
+- [Paper](docs/paper.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)

package/TARGET.bound

@@ -115,6 +115,10 @@ bound-lock/1 at=witness:a-page-that-knew-its-world by=owner epoch=1 form=alphabe
 bound-lock/1 at=witness:a-page-that-knew-its-world by=owner epoch=1 form=alphabet measure=id role=writes scope=form/prose/en/numbers sig="ed25519:era1:OgIWtBxD2hY6jXeupFV1Fvj4D82toGpb100VaHw9OAevsBNuFY9EGpRMbaiV/dV6b7hu7yof/uUlq6u7BeMWBA==" value=no|one|two|three|four|five|six|seven|eight|nine|ten|eleven|twelve
 bound-lock/1 at=witness:a-page-that-knew-its-world by=owner epoch=1 form=alphabet measure=id role=writes scope=form/prose/en/sentence sig="ed25519:era1:4OPffYwxjvVLTVP9UcWovK5OO9vWPZt2wbdPD6mJnTK+mCzk6CdnuN+X9CmWsuCJsKM0so6QYfohS8H0DCyoCg==" value=capital|period
 bound-lock/1 about="where a line of a block is cut into its steps, when a region is read below its full resolution" at=witness:a-resolution-cut-at-a-literal by=owner epoch=1 form=alphabet measure=id role=writes scope=form/prose/en/separator sig="ed25519:era1:sjY8wQWHUA16lshUPNGlQ2I5XkbJQiKvEQt6QOEotHAnO+YIQQqKBmtlFnoo1yfxe9DmbRbFV3HcD/TtHmI6Bw==" value=" · "
+bound-lock/1 at=witness:a-state-said-as-two-booleans by=owner epoch=1 form=alphabet measure=id role=writes scope=form/prose/en/state/CONFLICT sig="ed25519:era1:c9nk+0QNXJeC+cZR7y67vGQqdVCG5zQAZAA62vQGCQneR01bBsEvM4CwmxTaEDkrN3HOFyr9rFGXjb62Z3omAQ==" value="its origins are apart"
+bound-lock/1 at=witness:a-state-said-as-two-booleans by=owner epoch=1 form=alphabet measure=id role=writes scope=form/prose/en/state/FORBIDDEN sig="ed25519:era1:wG2af6goroYYr8yIVVEC4E6moyG3+M3Zk4v96qbMaI9fua8BZWcAeh6JJT/TCY3g6kWOANJxAQwjUOMtje7oCw==" value="its origins meet outside what its lock allows"
+bound-lock/1 at=witness:a-state-said-as-two-booleans by=owner epoch=1 form=alphabet measure=id role=writes scope=form/prose/en/state/FREE sig="ed25519:era1:hxJ8h7hFDP4TIs6QZcwJwatknDoekI9LS7aOLrps760pufstp/9V91Hr8Kfo8+kgwX9Y2iYhJz27U62GQm8sCg==" value="its origins meet"
+bound-lock/1 at=witness:a-state-said-as-two-booleans by=owner epoch=1 form=alphabet measure=id role=writes scope=form/prose/en/state/REQUIRED sig="ed25519:era1:leZ18v3PyBXf6j9yaWgxr241Bq9FPDt1xhd7GnW90vF+TJdupjsNvo6NRfNGVLcZRWYhySQobk4dDkhdwRtTAg==" value="it has one origin, and no second has met it"
 bound-lock/1 at=witness:a-page-that-knew-its-world by=owner epoch=1 form=alphabet measure=id role=writes scope=form/prose/en/words sig="ed25519:era1:cYF+ufGiWZ+WRe9qvo2AwyctpLA3r/mYMUzKupkjaw/ju1R4RnytlPhLgYzlJ6+IfefmVK0UzDE5iCsqCpVIDw==" value=spaces
 bound-lock/1 at=witness:a-page-that-knew-its-world by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/badge/held sig="ed25519:era1:v1Rx4vU+766plEJACu8G3mDyMB+XpVY3SztZWpW3RH8nG/eVjaeJ5QTDaM+EFTwKDNxmV7paNKsZisCJ1FSoAg==" value=count
 bound-lock/1 at=witness:a-page-that-knew-its-world by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/cell/apart sig="ed25519:era1:5yfWksj4z/KZk6n53JG7o9WmctCNf0gKL4xoPp00db7drF+RhcKZbuJNwzCPJKkgrZSr9dR5KUDXDloQCjicDg==" value=count|apart
@@ -131,7 +135,7 @@ bound-lock/1 at=witness:a-page-that-knew-its-world by=owner epoch=1 form=alphabe
 bound-lock/1 at=witness:a-page-that-knew-its-world by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/cite/versioned sig="ed25519:era1:if5O7bqO62nhq/U+WmTF3LQ3Uj8iWBacHy/bynX4O8GTQ16yK6tmmZJzTXN3VWpGiWoCg/d1KI5/B46PmgPwCg==" value=title|version
 bound-lock/1 at=witness:a-page-that-knew-its-world by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/contributing sig="ed25519:era1:lMujoAKSdYw1cO8gTFInP1PGnAH192cd8c3cTpOofrHtyCMaFfiqtf7LtxEOiNyB8Cidn2NvWlPtvXenLs0xAA==" value=check|open
 bound-lock/1 at=witness:a-page-that-knew-its-world by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/first-use/lead sig="ed25519:era1:1s/qNm2skaQmJnPtmavIiFBE1h5/7GbbY3QL4D0GfTZjeOF3lljudyMKEhL8hP1VHmsj9P2eLBQlu9nssejbDQ==" value=name
-bound-lock/1 at=witness:a-page-that-knew-its-world by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/learn/source sig="ed25519:era1:elCr54K2eDhPMOVq1GlnoqswuV5cG78Vc5Obm96xlSu0IKD6r46erNljuuOtVnPIV+bTIt7eU3bHCxnpiFvmDQ==" value=leaf|place|pinned
+bound-lock/1 at=witness:a-state-said-as-two-booleans by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/learn/source sig="ed25519:era1:ncUEdDxlvyoBlIrtNEekB/UXOJUuR9V/JJL11WD4cJOi2mhXBmNBVeMcD4iPI8LvO40mkDZU00062RqRVAcfDQ==" value=at|place
 bound-lock/1 at=witness:a-page-that-knew-its-world by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/open/conjecture sig="ed25519:era1:srBmYqDaL7nb8YFTce0HBcNm0Yc31BqQpIbh+YI4Vwhh6cHXfYv8x3/4ylmyEw1oGtgaDEZONJpQRLn94qM3Aw==" value=title|brief|breaks
 bound-lock/1 at=witness:a-page-that-knew-its-world by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/open/group sig="ed25519:era1:eFUawJBonAqomoq663FiFxe6R5rtAELtY3Qb1wHJ33WQnGC1BNuuMT5TIF53PmqCLXItQMko7rLsDC5J4k7lCg==" value=count|group
 bound-lock/1 at=witness:a-page-that-knew-its-world by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/open/lead sig="ed25519:era1:hD2TNuk3jG81wlwZix0khjVn3WNjM14gJpUmm9leLohw/nzUcqijd08M1qgfB2MxLyVssIYJ9Aa+3iQ+WmvMDQ==" value=count
@@ -288,19 +292,16 @@ bound-lock/1 about="{glyph} [repository]({repository})" at=witness:the-root-spok
 bound-lock/1 about=", & " at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/cite/and sig="ed25519:era1:l6nmOa2UBVPctzNcJMXDtpO4lRcqRRkkuH/lFxu8eJJf9GIOOjOuSzk4caW7qvluxmhGpKoVahxp7n4HEOnAAg==" value=lock
 bound-lock/1 about="{title} (Version {version})" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/cite/versioned sig="ed25519:era1:0kdyOLaAwBJTniJnS17iHNfJw64XYu37JMRODrJWjls7xXxI0R75gTdew4IduwHsqUIifLy0jV9ZZ9XX2YeuBA==" value=lock
 bound-lock/1 about="Clone, `{check}`. A case that gives you a different answer is the contribution: send it with what it printed.\n{open} conjectures are open, each in the README under Open, and each says what would close it and who could.\nNothing else is asked. Lines land through the fold, never by hand; a page and the lock disagree, the lock is right." at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/contributing sig="ed25519:era1:UyXCUssH3zcg2kLhjWSNM/YtD9lo35lHphpGMw6V8hFaNDABiW+R50qbFDrsxjUMh3F52+wpGPV1efZiu28OBQ==" value=lock
-bound-lock/1 about="What it printed is not what the lock pins for it: the example moved, and nobody declared it." at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/example/moved sig="ed25519:era1:qdA2FdtspkU9GBDbItyCMBNtmz+hz56v8kdBlvrF0H2noFKesizxM8k135QsB7lybpPAVzCqOAQOpzlUZQxbDQ==" value=lock
 bound-lock/1 about="Try it" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/first-use/heading sig="ed25519:era1:hCuSQQcV2AnhGFbHEjWftkwqYM3I2X1meqJ9LV6qN0WPm6wf4qZ+3X/gflUATZMJ29+eXAM4A2eomw4BYCIHBQ==" value=lock
 bound-lock/1 about="The shortest example this package ships, {name}, and what it prints." at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/first-use/lead sig="ed25519:era1:6l85NMdADYZN+bMNdy5WAyJBiRZQ6yq2fw/YJfYaWJt7LacY84cxfGjAQfTSuCTiYWBKgo3GTiRxlPZ1wFX1BA==" value=lock
 bound-lock/1 about=Contributing at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/guide/heading sig="ed25519:era1:szp71bxH7wk5Wqv0q/iW/k2CB31jRfMnsc6L4AAuls00zXA9A20sZJHKZ6fovFRiEDUEQYt5rk5np6rAg2beDg==" value=lock
 bound-lock/1 about="the check command, which is owed" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/guide/owed sig="ed25519:era1:kqi3n5z6nPRmf/byfMphp7wv+awj1FoIhmRyNb4cR8qGyqk88udijzQ9RuihAyHFjz4acU9oy2Qz/KbLGMSsAQ==" value=lock
 bound-lock/1 about="Every quantity a system answers for has two marks on one scale. The floor is what must hold, the ceiling is what may hold, and the pair is a cell. Two origins that touch one cell and whose marks meet make information; two whose marks do not meet make a fork that no average can close.\n\nFour words carry the whole library. A floor, a ceiling, an origin and an epoch. A price is the distance between the marks, a state is where they stand, a verdict is what an origin found, a horizon is what no origin has reached, and none of them is a new idea: each is read off those four." at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/idea sig="ed25519:era1:enOJZlwf3eVXwmjWG6EwtaL2IPzrkYEaEOnvoaO/P8CYbbDDh1jXEdG1ooFq7LRqQTAzrawmDbv3eyF6G0QWDg==" value=present
 bound-lock/1 about="The idea" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/idea/heading sig="ed25519:era1:qvJ41x/k3UsGMqqc8gUjHrT8pebKMxnZsWC6pGDnfAww8SaBBnjM/JIFPaaGHI5AFBhPhnzgrSYvLgAkcKy2BQ==" value=lock
-bound-lock/1 about="by the lock" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/learn/pinned sig="ed25519:era1:oLyafvqElIKYCGuBKsqyyx7cL6ycuyNr+46GADdpDoWbpWDAltjiitbkE5tg0DcMLEpvmGIqq+4ulopWs3wJBA==" value=lock
 bound-lock/1 about="What it rests on" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/learn/rests sig="ed25519:era1:Op4CxyqTEYcICGdKUjD9Q+TlinrkveErW8IrFp+8GB9bX6Q2SXkqi2wd7YaRFB0ECy/DAe2W0ii+yQUC2MQXBQ==" value=lock
 bound-lock/1 about="Run it" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/learn/run sig="ed25519:era1:Z1X1EahXyveK2WvPjNbUWNtAy42vLnc0dq3yM0jzZSZMPOyrxMAzYcZ3F7UcbnoDkrMU2Ng5bVIBfH+RNOoGCg==" value=lock
-bound-lock/1 about="[Its source]({leaf}) is one of the examples of {place}, its output pinned {pinned}, and it runs as it is written, against the built package, with nothing compiled for it." at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/learn/source sig="ed25519:era1:MmPBZ5bc6oEGOzBA0p7OSRnxPZCz+BRPH6GRdRzb3XudyuGva5n/NOs90JHYkIgMggkZBtptPqn4OhKdzxtjBQ==" value=lock
+bound-lock/1 about="[Its source]({at}) is one of the examples of {place}, and it runs as it is written, against the built package, with nothing compiled for it." at=witness:a-state-said-as-two-booleans by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/learn/source sig="ed25519:era1:nRotxq+cdtmjba3sT/IMs4EXELTnasCwWjPUaMDPX+HZQF3vTN5avTvo3AyuhamykwnmyLBF0Jra8ivOVCpuBA==" value=lock
 bound-lock/1 about=Source at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/learn/source/heading sig="ed25519:era1:OcPpqZra5OTklO974RmWZnfbU3oxFyjHz7KwyK1MAh25ZdkhMgIJt6BQq8IUGECUNEsMDfLzfJKiUHRGGGbzBg==" value=lock
-bound-lock/1 about="by no line of it" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/learn/unpinned sig="ed25519:era1:DsHNcHu0XQ0PN/Li8GKfESebk+b3oWC9uRNgs8jebYrO7mSGY8mujafuyC2H/2s6JDRoiiueOlvlV2ZheRNlBg==" value=lock
 bound-lock/1 about="A cell is drawn as bars on one scale: a grey bar is what one origin claims, potential until another meets it, and a green bar is where two claims meet, its ends the floor and the ceiling. A state carries its render in a figure, a badge and a graph alike: FREE green, REQUIRED grey, FORBIDDEN red, CONFLICT fork." at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/marks sig="ed25519:era1:FBgwAUi2yUm/lDSb7eJsVODHftjmMYuYxNZlIsBYor4YgkIv7BIOw9FnKm9H9LDXzAb6STktnDnCI9KZVH8ZBg==" value=lock
 bound-lock/1 about="| formula | law | sentence |" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/notation/table sig="ed25519:era1:wFP+IhybPLld1lB9vZJYU3fbtfnOJLjngjPJ+xYs/+7g4798qYR4K1ct2UGcgTQk99BynCIXv7gAjq+jm+xaBA==" value=lock
 bound-lock/1 about="**{title}** — {brief}. *Breaks if {breaks}.*" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/open/conjecture sig="ed25519:era1:IHwfYGzKJQK+ry9Tpi57QJHqezZyV4n1EBB5APH4x6G6vtSy5Cy6y5sa2Uiqbo9zd9m6+fywIanvOsZjiVPgBw==" value=lock
@@ -360,6 +361,9 @@ bound-lock/1 about="The other {count}, each one line of the lock with a sample t
 bound-lock/1 about="the published tree's first line: its lock begins here at epoch one, judged by a bound not yet on npm; a token publishes once, and every publish after it is the trusted publisher's" at=witness:epoch-signed-by-owner-until-the-platform-key by=owner epoch=1 form=alphabet measure=status role=writes scope=publish/bootstrap sig="ed25519:era1:m1sUNiOCn4La9mjmwwrlUtKvYmElJkP796siGL3Zw2wT2YjsyyJasCtJqK5hg/pWYOOqtZ7KEtNZsKceGEGIBw==" value=obligations
 bound-lock/1 about="the registry's word that obligations 0.3.3 is published: npm view's reading after the owner promoted the staged version, its shasum, integrity, tag and time as npm states them, read at the digest it rests on" at=witness:the-registry-served-what-the-owner-promoted by=owner epoch=1 form=alphabet measure=id needs=published/0.3.3.bound restsOn=sha256:ab986e4b5585b0e0e28786f375f406419947f765b68b2a8943d8ecef5e7964f9 role=demands scope=published/0.3.3 shape=lock sig="ed25519:era1:djPGuaghYl3ouOdpGHeEk1HBKkawt3eleSZzONLDY3Szr6UzaYEc2wwG46MHms416lDVLOwM3Lm9Qg1Z7i+hDQ==" value=present
 bound-lock/1 about="the version this place carries is on the registry, promoted: it rests on published/obligations/0.3.3, the FACT npm view lands, and stands owed until that is paid" at=witness:a-coordinate-npm-signed-for-another-extension by=owner condition=published/0.3.3 epoch=1 form=alphabet measure=status role=demands scope=published/0.3.3 sig="ed25519:era1:jXJ/7wWGq1mwevFejG9jo6JRyd70TS7GrptzIHs0Ztxc3csMA9JHEaZT3sX8UNDHxKBFqLR057LJk9wVat6YDg==" value=present
+bound-lock/1 about="the registry's word that obligations 0.3.4 is published: npm view's reading after the owner promoted the staged version, its shasum, integrity, tag and time as npm states them, read at the digest it rests on" at=witness:the-registry-served-what-the-owner-promoted by=owner epoch=1 form=alphabet measure=id needs=published/0.3.4.bound restsOn=sha256:d9aa79314fca60900cd72f402963979bf2398a273aae0df7145a714aae423d4e role=demands scope=published/0.3.4 shape=lock sig="ed25519:era1:yY9PbiT0bwArI0hpfbgA3/RybRKm5IL1lOMWZX4DkWWt7J10pXDafVYegtx3koKNB2iBdc4yhPWnxbO/u+ubAQ==" value=present
+bound-lock/1 about="the version this place carries is on the registry, promoted: it rests on published/obligations/0.3.4, the FACT npm view lands, and stands owed until that is paid" at=witness:a-withdrawal-read-a-second-time-beside-the-object by=owner condition=published/0.3.4 epoch=1 form=alphabet measure=status role=demands scope=published/0.3.4 sig="ed25519:era1:tDwLm6ptNFZpoNACCHYQA8WQInb3tG6y/Kfi0sf0ag2iFkhWaZnZnFu+QDvPop9tbvFnvokLLFRbTm8ejQSmAw==" value=present
+bound-lock/1 about="the version this place carries is on the registry, promoted: it rests on published/obligations/0.3.5, the FACT npm view lands, and stands owed until that is paid" at=witness:a-withdrawal-that-cancelled-what-it-rested-on by=owner condition=published/0.3.5 epoch=1 form=alphabet measure=status role=demands scope=published/0.3.5 sig="ed25519:era1:njafmvPzBcf8081aaiDxQRlBqdNK1CD/Pxa3fdGX5zXza0NYiHF55Bac6CAwnQhvktsCZr7rBXvi5I5muZ/8Dg==" value=present
 bound-lock/1 about="the regions spoken in more this epoch than last" at=policy:region/approaching by=owner epoch=1 form=alphabet measure=text role=writes scope=region/approaching sig="ed25519:era1:nP9k9fyCP9cjeeXWkcgMwE/CdHSbNnjb0RS8cDXjpRqBp6xWzruzUzjL2vufPNfupgzujA5e9/A+cXyQ9pw0Cw==" value=lock
 bound-lock/1 about="the leaves of obligations the artifacts region is handed: what a build leaves beside its sources" at=policy:obligations/regions-in-coordinates by=owner epoch=1 form=alphabet measure=coordinates role=reads scope=region/artifacts sig="ed25519:era1:7x5IjAirvMnosJ//9fuZu5V84RcIvlBXL2VCFZYtaz0A76l3cpG/KdQypR8BGUP76KKTXfAD7988902HZaVBCg==" value=src/**/*.js|src/**/*.ts
 bound-lock/1 about="what the package attacks for an engineer, a mathematician and a physicist, in the owner's words" at=witness:the-door-said-nothing-of-what-it-owed by=owner epoch=1 form=alphabet measure=text role=writes scope=region/audiences sig="ed25519:era1:FRggjADpmN0YUtvf8wDOtuS2D1+EKA8Tpf/sk/g2+oL/hlfdpu0eRJUMtapmY3ZDZ4b1tD/rDWp2ZFMlmM6oAQ==" value=lock
@@ -475,10 +479,10 @@ bound-lock/1 at=witness:require-and-one-act-per-file by=owner epoch=1 form=inter
 bound-lock/1 about="the render each state carries, signed once: its colour and its glyph, in the order the definition names the renders, and the colour text is written in, light, dark and on a filled node; every figure, graph and badge reads it here" at=witness:a-text-colour-on-a-filled-node-written-in-the-capsule by=owner epoch=1 form=alphabet measure=id role=writes scope=theme sig="ed25519:era1:IKLKPwG8M4JfRL+Rc7/jflZW64f7j9Thl+ojfcuXEJUF2jtPp7OzTHqmW2BmWltr1il2+lQN76aCW+OKWLOUCQ==" value=green:2da44e:●|grey:8c959f:○|red:cf222e:✕|fork:8250df:⋔|text:59636e|text-dark:9198a1|text-on:ffffff
 bound-lock/1 about="three theories under one algebra: lattice/ carries the price, debit/ the four states, field/ the points with epoch and origin — and each folder is read through the same meet" at=policy:three-theories by=owner epoch=1 form=alphabet measure=status needs=samples/yes/three-theories-one-algebra.json|src/lattice/index.ts role=demands scope=three-theories-one-algebra sig="ed25519:era1:JWYgMTNTSNlo2Iy5zMjG0MZLwEXsL/oPPMyasL4pV1Cpq8dfI3fnb9GL6HjFGqZYIhEBd0eMkFnZC70JCPkjCA==" value=present
 bound-lock/1 at=witness:the-build-was-typed-and-the-examples-compiled by=owner epoch=1 form=alphabet measure=id needs=package.json role=writes scope=type shape=package.json sig="ed25519:era1:klz/f4pbq4BmLCPPI6T8gGnDz/Uh58DreRWU0sSCjbSlRwfc0sGHU6KMY23QXKA1dV3ktsRFK1UQBg1nseSXAA==" value=module
-bound-lock/1 about="the capsule this place-s pages are rendered with, named by the digest of its lock and its bytes" at=witness:a-page-that-read-its-lines-in-the-order-they-lay by=owner epoch=1 form=alphabet measure=id role=writes scope=uses/topos-doc sig="ed25519:era1:gXvXPbygbF5mQ09uErZDHyTawbgf0VoAmYcqgg0/IMl0E/CFZdjHQ3y0hVIIDW7WSZHtfa3SCo14tFZTG6LCAg==" value=sha256:e8a91cc39437a8c9a4a658e84e5fda91c3668d31d88a57a685934494b452ee2e
+bound-lock/1 about="the capsule this place-s pages are rendered with, named by the digest of its lock and its bytes" at=witness:a-state-said-as-two-booleans by=owner epoch=1 form=alphabet measure=id role=writes scope=uses/topos-doc sig="ed25519:era1:vTSbx8ex4dv0lawr44SiAHHJAJK4vxaglj0lbqxnAww21QKYFeLSzoUUA3/nHEdAZjT4LOn4CGGAVOFTwbPmAg==" value=sha256:7cd4c7608a64022fbcc16a5ce7ad2de3a5bb8d01e4bd6d79faf8748377f8671e
 bound-lock/1 about="the capsule that renders this place-s forge: the workflows that test, tag and release it, and what its repository never holds, named only by the digest of its lock and its bytes" at=witness:a-release-whose-notes-were-only-its-version by=owner epoch=1 form=alphabet measure=id role=writes scope=uses/topos-github sig="ed25519:era1:NhVef5sTNlnQFfqY7TPx/b2K/oSNrLYDkqrnMd+MPt4MkvZ9ODLvLo3aF0JdUhOWCNWYY8kl6PbXm05A3NYkDQ==" value=sha256:155cd87d34130207cc1cfb120cd842f572b3bcb1b5303f0dc4392063c3d8accf
 bound-lock/1 about="the capsule that renders this place as a node package: the manifest the tree reads, the manifest it is published with, and how it builds, named only by the digest of its lock and its bytes; it is handed the place as the place holds it, so the tree and the published place write one manifest" at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id role=writes scope=uses/topos-node sig="ed25519:era1:P1xGgozSeJNye/Izayet1zqecuMXUR/gh5azAlC7+c31bzsthyusrqX/Uzre0jqQF5kmCVFoc9d16npS55/hAw==" value=sha256:86126302924d7982102693275ef186fee512ed3b73a4ca2632f1a8fc0cf124d9
-bound-lock/1 about="the version this package carries: 0.3.4. It exports live from views/field, the claims of a cell no withdrawal took back, resting on D11, so a withdrawal landed as an observation at −1 is read by the object and by nobody beside it; its birth attests its receipts by region into the tree's lock and names the release last, over a folder with no attest inside" at=witness:a-withdrawal-read-a-second-time-beside-the-object by=owner epoch=1 form=alphabet measure=id role=writes scope=version shape=package.json sig="ed25519:era1:dM0VYvav79RHfSK2xfe5/yqWw0Xc/P6aNh2PAG6mxr+ge3AsiAkKSrUwDcpOqaxs+QDGyoEhOvpf16p45CtZBg==" value=0.3.4
+bound-lock/1 about="the version this package carries: 0.3.5. It adds T104, that an observation and its withdrawal cancel only when neither rests on the other, paid by cancels, and H10, a conjecture that the period a phase turns on is the region's; its pages are rendered by the documents capsule that says an example's state, and its reference reads its sections again from the regions that capsule split them into" at=witness:a-withdrawal-that-cancelled-what-it-rested-on by=owner epoch=1 form=alphabet measure=id role=writes scope=version shape=package.json sig="ed25519:era1:dFPxedhsa+6V5ehClb6PX8tkLpLR/PanlINrGyAQbfxfT+KhgED6JOWlvSEwae/CcBSBS+CsHXFP1cpQxLVSDg==" value=0.3.5
 bound-lock/1 about="a package whose version is not the one the lock names is a package nobody can cite: the number in package.json is read against this line at every fold" at=policy:version-derived by=owner epoch=1 form=interval measure=version-differs role=reads scope=version-differs sig="ed25519:era1:/O1s9xjP4mzoZnclPBLHsviB0B5fUI4dnxejzsU+mYHUDvXrfTwxnPQwU3FGXiikk95KwPQnDoo/OmTH0Bi5AA==" value=0..0
 bound-lock/1 about="how to cite the place: the file a forge reads for its cite button, rendered from the lock and never written by hand" at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id needs=CITATION.cff role=demands scope=view/citation-file shape=CITATION.cff sig="ed25519:era1:GZ2t8DBb5ElL/V12/lWJosgBd6tN33WKpZ+z5vr7+bdn8fh1jSo5dSis7AjcGHHCLw6XfoqlVVdippKQ72e4Bw==" value=cff
 bound-lock/1 about="the figure of the first screen, the cell of the example the page shows beside it, at the first resolution" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=id needs=docs/img/cell.svg role=demands scope=view/figure shape=docs/img/cell.svg sig="ed25519:era1:aQHlTP2WOWryE6rylY5yLWHpeoQNk0xTUmse+Ak4RYI+YN8o/3LaLU/otkIQpmAl37C5WxVJOMuBVuJw8dELDg==" value=ranges@1
@@ -502,5 +506,5 @@ bound-lock/1 about="the cell the thermometer example draws, at the third resolut
 bound-lock/1 about="the cell the withdrawal example draws, at the third resolution, for the page that teaches it" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=id needs=docs/img/withdrawal.svg role=demands scope=view/ranges-withdrawal shape=docs/img/withdrawal.svg sig="ed25519:era1:5XLjXwky28KZY9u0zz9p0nZQ8tEAK1G2wi6dA+A2TQ5ZyXVKdpYDm1LA3iYCVBuVbiPqaq6OiocZgoQZk+QzCA==" value=ranges@3
 bound-lock/1 about="the door of the package, in the order a reader meets it: its mark, name, badges and line; the idea; the figure; the object; what holds; the line that installs it; how to try it and to read it; the paper; what is open; how many of its cases hold; where to go" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=id needs=README.md role=demands scope=view/readme shape=README.md sig="ed25519:era1:SNuoCZspThqa7RwbCySalORvyWqS5vlsvyRkQdX8q3IcHX1WKPc+8IjZ0bNxFvbHAWBMQxneyl8KHdZOUfl7BA==" value=hero|idea|figure|the-object|what-holds|install@1|first-use|reading|the-paper|open-conjectures|check@0|pointers
 bound-lock/1 about="a place ships its receipts at @0 and @1, as audit/wire/receipts rules: the root line, whose at names the @8 set in the root's store, then one line per region with its count at the digest of its set; @8 stays in the root's store and travels as a release asset, so a second head reads a place's receipts in one read and fetches the set by the digest the root line names" at=witness:receipts-shipped-whole-where-the-ledger-ships-at-1 by=owner epoch=1 form=alphabet measure=id role=demands scope=view/receipts shape=receipts.bound sig="ed25519:era1:fHWAs0nkqzbxuUghpN2c9i3+9+3/1nou6E4Ri+QUtyLYci4CUg+oFQI2CXdqHRxVWmDM9u4SZbtawQ3ZxQHNBQ==" value=receipts@0|receipts@1
-bound-lock/1 about="the page a reader looks things up in, at the eighth resolution of the package's one doc: flat and complete" at=witness:a-reference-joined-by-one-region-and-a-bond-drawn-as-bars by=owner epoch=1 form=alphabet measure=id needs=docs/reference.md role=demands scope=view/reference shape=docs/reference.md sig="ed25519:era1:mibSgEDbO3GtfY5OuxLX3Pp47+qrSAA6p/u/2alz2sR+MsDYTOLB+FzGFokw5L4InfzbUD1ZiJXJSryf9dn1CA==" value=reference|the-object@8|what-holds@8
+bound-lock/1 about="the page a reader looks things up in, at the eighth resolution of the package's one doc: flat and complete" at=witness:a-reference-whose-sections-a-capsule-split-into-regions by=owner epoch=1 form=alphabet measure=id needs=docs/reference.md role=demands scope=view/reference shape=docs/reference.md sig="ed25519:era1:GrFwR5OkH8RoOofWYHQkvRGxMcoxqtGBY1hKzwnfb4I8NBre9K/gtqLRK+Ikm1ByxYgi09wS7vQxdUJVkqUeAQ==" value=reference|notation@8|the-object@8|operations|what-holds@8|forms|units|alphabet
 bound-lock/1 at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id needs=tsconfig.json role=demands scope=view/tsconfig shape=tsconfig.json sig="ed25519:era1:mLR9jexWiTXqB6zfLBFv3NIqoQcrfWkDxSAOTeiyvGupumfWbFlJ8MxGreTII22guzssnlarnKtyY4PvDsQ6Dg==" value=build

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@lapxo/obligations",
-  "version": "0.3.4",
+  "version": "0.3.5",
   "description": "The algebra of a cell: two poles, origins with phase, eight acts.",
   "type": "module",
   "license": "MIT",