@lapxo/bound 0.1.4 → 0.1.5

package/LICENSE

@@ -1,4 +1,3 @@
-the license this place is bound by
 MIT License
 
 Copyright (c) 2026 Lapxo

package/README.md

@@ -5,14 +5,31 @@
 Declare what must hold. Read what does. Keep the evidence
 
 ```bash
-npx @lapxo/bound@0.1.4 fold --as help
-npx @lapxo/bound@0.1.4 fold
+npx @lapxo/bound@0.1.5 fold --as help
+npx @lapxo/bound@0.1.5 fold
 ```
 
 ## How Bound reads a project
 
 Bound reads a project's admitted statements and observations through its selected Topos, then renders the declared views and records their inputs in receipts. The example below explains the object; a file-fold alone does not calculate its intervals.
 
+## Use Bound in a project
+
+From a project with an admitted lock and selected views, inspect its standing, ask for its evidence, then verify the committed outputs:
+
+```sh
+npx @lapxo/bound@0.1.5 fold --as lines
+npx @lapxo/bound@0.1.5 fold --as receipts@1
+npx @lapxo/bound@0.1.5 fold --check
+```
+
+Use this flow to review a project change or check a dependency's declared contract. `--check` verifies existing evidence; it does not execute a missing reading. A file fold names readings and explicitly says that it computed no encounters.
+
+Independent observations are judged through the declared typed cells view. The selected topos supplies the form, origin evidence and bounds. Bound keeps attribution and exact-ID withdrawals through the fold.
+
+A selected form can instead describe a set of artifacts, a delivery interval or another domain's values. The project declares the form, origin evidence and views; Bound does not infer them from filenames or units.
+
+
 ## A meeting everyone can understand
 
 Ana is available from 10 to 14, Luis from 12 to 16, and the room from 10 to 13. Their common availability is 12 to 13. A boss available from 18 to 20 makes the encounter incompatible. Withdrawing that exact reading restores the overlap; Ana, Luis and the room remain.
@@ -49,11 +66,11 @@ lot_dir="$(mktemp -d)"
 Have the selected view produce a proposal at `$lot_dir/proposal.bound`, or prepare the project's permitted lines there for review. Unsigned proposals use `by=target`, without a preassigned epoch or `sig`. Lots stay outside the repository; the committed bound files are only `TARGET.bound` and `receipts.bound`.
 
 ```sh
-npx @lapxo/bound@0.1.4 sign "$lot_dir/proposal.bound" \
+npx @lapxo/bound@0.1.5 sign "$lot_dir/proposal.bound" \
   --key "$BOUND_KEY_ID" --key-file "$BOUND_KEY_FILE" \
   > "$lot_dir/signed.bound" &&
-npx @lapxo/bound@0.1.4 land "$lot_dir/signed.bound" &&
-npx @lapxo/bound@0.1.4 fold
+npx @lapxo/bound@0.1.5 land "$lot_dir/signed.bound" &&
+npx @lapxo/bound@0.1.5 fold
 ```
 
 `sign` assigns the admitted epoch and writes the signed lot to stdout. `land` validates the whole lot before admission. A refusal is evidence to inspect; it is not success. Do not proceed after a failed signature or admission. The key file is a PKCS8 private key matching the admitted public key; do not put it in the lot, source tree, package or CI artifacts.
@@ -97,3 +114,7 @@ A pin names standing, not a download URL or runtime entry. Its declared artifact
 Use Bound where independently attributed observations must be judged against an accepted contract: compatibility between components, operational limits, or a team's project requirements. The selected topos must supply the actual measurements; a digest identifies the evidence without declaring it true.
 
 [Contribute a counterexample or a proposed lot](CONTRIBUTING.md).
+
+## Foundations and related libraries
+
+The two-sided constraint object is described in Nahum Ochoa's [Two-Sided Constraints on a Valued Lattice](https://doi.org/10.5281/zenodo.21858428), DOI `10.5281/zenodo.21858428`. Bound uses the object through [Obligations](https://github.com/Lapxo/obligations); [Topos](https://github.com/Lapxo/topos) supplies the wire and contracts for forms, views and selected worlds. Bound admits, folds and retains evidence across those declared boundaries. A digest identifies bytes; it does not certify that an observation is true.