@lapxo/obligations 0.3.3 → 0.3.4

package/TARGET.bound

@@ -0,0 +1,506 @@
+# rendered from ledger/owner
+bound-lock/1 about="every form this package offers is a lattice with its meet and its join, and replay is the one loop over them: nothing the algebra needs lives outside it" at=policy:algebra-is-closed by=owner epoch=1 form=alphabet measure=status needs=samples/yes/algebra-is-closed.json|src/lattice/index.ts role=demands scope=algebra-is-closed sig="ed25519:era1:j+Hsc4iNhloqsH68sDFQ8r5qb3J4Aey9BVJ6c3JeRAk/H2xdIJtbnyWRP3U0bS9WDCGWBnwSDRr1UumO5gaECA==" value=present
+bound-lock/1 at=witness:a-need-that-names-a-leaf-that-left by=owner epoch=1 form=alphabet measure=status role=demands scope=audit/checks-derive-from-form shape=decision sig="ed25519:era1:Dh0Cetj49WdUZGXr2oxVUOURyl/35n13sxNPSyGvFTrYWbx0NTDz2vdU9gAUEb3OSrUThCpPcl7OslpYXv0GBg==" value=present
+bound-lock/1 at=witness:a-need-that-names-a-leaf-that-left by=owner epoch=1 form=alphabet measure=status needs=src/|vectors/fold.json restsOn=audit/obligations/replay-is-the-proof role=demands scope=audit/close/fold-is-derivable shape=decision sig="ed25519:era1:orbn7EQObMb4isqEQbL44RfVgnJGMgzU6CC+fx+V7Ai02rhZryOutT90UfbGZoV9OjvK0VCwiDjOEsSRxQEUAg==" value=present
+bound-lock/1 at=witness:a-need-that-names-a-leaf-that-left by=owner epoch=1 form=alphabet measure=status needs=vectors/atom/derived.json|src/laws/laws.bound role=demands scope=audit/derived-is-not-an-origin shape=vector sig="ed25519:era1:67+FkkC7bvBX710LlZyQlIu4lqxVFlUZsZ8KgIqtjHTwjeU3SOBCPzM4QT64HSXhcGg7spJr3EimuAmfIcNSAQ==" value=present
+bound-lock/1 at=witness:a-need-that-names-a-leaf-that-left by=owner epoch=1 form=alphabet measure=status needs=vectors/laws-as-folds.json|samples/yes/ role=demands scope=audit/every-law-is-a-region-fold shape=vector sig="ed25519:era1:EhT3E5KGd27Ke5ss2ki8BreAFDiwaSwCCQpoucOCW7bD4aeJhNO1gA4qW76OZsyniaFtvzh6okPY27Xt9W8eCA==" value=present
+bound-lock/1 about="every form carries its points: n elements of its lattice for a seed, the sample every reading over forms takes" at=witness:a-form-offered-with-no-points-to-check by=owner epoch=1 form=alphabet measure=status needs=src/lattice/forms.ts|vectors/forms.json role=demands scope=audit/forms-carry-generators shape=decision sig="ed25519:era1:UkJDQ5icFfrWK9kPROwk/p8pY+ZPUbmyp/WtNfxmT20KLO+D/iOqmSDlkQkiKakh0sg0pzHtyFkKkW4QSkHhCA==" value=present
+bound-lock/1 at=witness:theory-outside-obligations by=owner epoch=1 form=alphabet measure=status needs=src/laws/*|vectors/info/* role=demands scope=audit/laws-are-obligations shape=decision sig="ed25519:era1:7q4mtKGFa+tcyGo9JXdk+zi79YbshD1Kw9mijWsjnaITn5PaKznqjShgQPqfpUmPp9zgYGjNeGpJ2Nahvz++DQ==" value=present
+bound-lock/1 at=witness:laws-as-a-directory-of-scripts by=owner epoch=1 form=alphabet measure=status needs=TARGET.bound|src/replay.ts|samples/yes/|samples/no/ role=demands scope=audit/laws-are-the-lock shape=decision sig="ed25519:era1:VZ4Vzmzfv/PGGzhxNxdII1J3Xlr1vxiBNbxvQbrZ/6Tw2wu8GUVbfe7ONYp6CYbZd7ciyLYWFJVB44Z8+T1UBw==" value=present
+bound-lock/1 about="one home for the laws: src/laws/laws.bound; statement in about=, vector as yes sample, falsifier as no sample." at=witness:the-laws-were-named-from-outside-their-place by=owner epoch=1 form=interval measure=count role=reads scope=audit/laws-are-the-lock sig="ed25519:era1:hD61+8+WP5t5FI+Q5Ka9nbwb8/R6ThkiAJ+IreZtssO7nWHavqe8R3Ah/NXxeS4Qe7VL8oUEKK2uYQazPkBLBg==" value=1..1
+bound-lock/1 at=witness:a-need-that-names-a-leaf-that-left by=owner epoch=1 form=alphabet measure=status needs=vectors/meet.json|vectors/join.json role=demands scope=audit/meet-per-form shape=vector sig="ed25519:era1:nLcXc7uneuxf1+X6iWFnD0I/WSP72dh33c5umV1lF8e82IV3LziMMgQ+z1rFt42Y005GHZRaCpO4Hba1O5eXDw==" value=present
+bound-lock/1 at=witness:algebra-with-bound-as-only-client by=owner epoch=1 form=alphabet measure=status needs=offers.bound|src/lattice/|vectors/|samples/yes/ role=demands scope=audit/offers-is-the-api shape=render sig="ed25519:era1:MzHybkM7kwRBkWImp2TFVwgy5xFTMdkB13TLRVnolTpdFNGgXJkLzUgIk3BPsNMb6KzuIzf5CeyFjVG4Sm3iCg==" value=present
+bound-lock/1 at=witness:a-need-that-names-a-leaf-that-left by=owner epoch=1 form=alphabet measure=status needs=vectors/region.json|samples/yes/ role=demands scope=audit/region-fold-is-memoized-by-digest shape=vector sig="ed25519:era1:t4Ddqei0U+1SUVRgky1n23pJRoE8XJq3MOddJxliIRTvprueAsQF41mBex6v4TRw7Nw6DZV31OyslUtxULs6CQ==" value=present
+bound-lock/1 at=witness:a-need-that-names-a-leaf-that-left by=owner epoch=1 form=alphabet measure=status needs=vectors/render.json|samples/yes/ role=demands scope=audit/render-at-resolution shape=vector sig="ed25519:era1:XUqaZbNxfXGrPhaJa5xhaf3VS30IsxZGXUHk6+J5bKPyhznT5OIkGdJfplWKGMWIsdtSUPEBEaC5vEG40JM6Ag==" value=present
+bound-lock/1 at=witness:refactor-validated-by-opinion by=owner epoch=1 form=alphabet measure=status needs=src/replay.ts|vectors/fold.json|samples/yes/ role=demands scope=audit/replay-is-the-proof shape=vector sig="ed25519:era1:y3dvcGKhREFB7IABXLGW2xWx8+67cY0LWlzDUFDZYXtZOkEZHW4zmkUZjQCgBCXbp1eaatyqChGkGI9IygcDBg==" value=present
+bound-lock/1 at=witness:a-need-that-names-a-leaf-that-left by=owner epoch=1 form=alphabet measure=status needs=vectors/signatures.json|samples/yes/|samples/no/ role=demands scope=audit/signatures-fold-never-replace shape=vector sig="ed25519:era1:j40YtQl2u0EUpWkVFKHdLZTCrZOYZ5lxoWB8mnTb9H4yPQTvBa0L0z4EoRAyZ/eMTBBSSoOtqHr2CgvpdAGfCQ==" value=present
+bound-lock/1 at=witness:a-need-that-names-a-leaf-that-left by=owner epoch=1 form=alphabet measure=status needs=vectors/field.json|samples/yes/|samples/no/ role=demands scope=audit/the-structure-is-a-field shape=vector sig="ed25519:era1:2gGSZKDe/5rnMCtQCYxJNA87lly23RrcEVzJSQRBS7Nz5Q2hErbOSmnsnOcD6zgCmOmGlyVn/p5JAWxa8Hv1DA==" value=present
+bound-lock/1 at=witness:kinds-in-topos-and-in-the-capsule-shape by=owner epoch=1 form=interval measure=alphabet-in-code role=reads scope=audit/tree/alphabet-in-code sig="ed25519:era1:Q3o1cBJEH6AwUF8Tn8qZH1hYiNuaVf+Qcg0ijyO0MBghBc815q7n/6yE94SdP8B4fpO0Glkwlh5RugJWvuCxDw==" value=0..0
+bound-lock/1 at=witness:executor-proposed-inside-the-algebra by=owner epoch=1 form=interval measure=count role=reads scope=audit/vectors-are-read-not-run sig="ed25519:era1:TwioSDdlocXRI+pOZ+4qd1EWlYHjuNvxJXGwa3WeNlvRFtf+KYrvuPK1UR6/clYMxeF7ZiXP+KhFtIn3USUpAQ==" value=0..0
+bound-lock/1 about="the shape of line each act is: the judge reads which act a line is here and names none in its own code" at=witness:the-judge-named-acts-in-its-own-code by=owner epoch=1 form=alphabet measure=id role=reads scope=audit/wire/acts sig="ed25519:era1:dfHbb4XenfF2ZrwhIoPpMEaoVTg+5JlQKfT7p3ObJFoQB8+xg6OQmNdoG2upjl37YG9m7JQB+DjHqy50PZhwAw==" value="observe:role=writes|withdraw:value=withdraw|sign:reads,interval,hi|require:reads,interval,lo|join:widening,at=witness|refine:@res"
+bound-lock/1 at=witness:three-of-eleven-fields-name-this-era by=owner epoch=1 form=alphabet measure=id role=reads scope=audit/wire/at-classes sig="ed25519:era1:fTuZKzOnyV7SfVsPkMAdouVYecRwEK759qdytb787YZRfvdk2IfvauQ6sezooMhSCt6B+gZQglrxRddp63heBA==" value=origin|place|receipt|witness|policy
+bound-lock/1 about="the digest every value of the lock is taken with, and the era it belongs to" at=witness:an-era-named-by-a-digest-nobody-could-read by=owner epoch=1 form=alphabet measure=id role=reads scope=audit/wire/digest-algorithms sig="ed25519:era1:v716f/AadvS6hdtJCgHpb1oB5JixCFr6odNAee4rsUIjF44dd0rqFk1c08L9OlQLhoBuF/hwTiYwquCSHyvMCA==" value=sha256:era1
+bound-lock/1 about="the kinds of effect a reader or a capsule declares, named once here and never in the notation-s code" at=witness:sql-spelled-in-the-notation by=owner epoch=1 form=alphabet measure=id role=reads scope=audit/wire/effects sig="ed25519:era1:/9gcybN/2/M8P+2VbRNgG1KoJpO1bq4uZOpn4uKMUOfugL4/DrSIOSVPeKqQtg50gqME43IQQTMNwWQkSEGdCg==" value=none|network|sql
+bound-lock/1 about="the era lines are signed in: every line carries its era in its signature; an era that closes signs nothing new, and what stands under it is signed again by a quorum of the keys it admitted" at=witness:an-era-named-by-a-digest-nobody-could-read by=owner epoch=1 form=alphabet measure=id role=reads scope=audit/wire/era sig="ed25519:era1:h7R4tHEmrMkhTxDXqtb8qXt+0exu49xSg4V5zabDPeP2cKPFFoYFC5DQ7795zVVr/84/yfgjmBNOYwxlgxDpDw==" value=era1
+bound-lock/1 about="the measure a host hands its own facts in, the state a place is in: what cases held, what the second head said, which leaves are written" at=witness:a-page-comparing-a-word-no-line-names by=owner epoch=1 form=alphabet measure=id role=reads scope=audit/wire/facts sig="ed25519:era1:osX4+QFSYdMjObYh3NL02pOnaSUkyWVrW/ph2ZMbd8up0CGGr8P+9YbUhaVmpLNzfrS03F0iE2+UJg3trIbxDQ==" value=fact
+bound-lock/1 about="the families a scope can head, read here and never frozen as a constant: a leaf is the old word, a place is its regions, each a source written by hand, a render a capsule writes or a receipt a reader writes, and write/<path> is a region rendered at a resolution to a path" at=witness:leaf-left-when-its-reader-named-write by=owner epoch=1 form=alphabet measure=id role=reads scope=audit/wire/families sig="ed25519:era1:MKkfsXWRe38njx8uKdyznVURMzC4vtsWoFKdS9E9Bl+Q60GRTBJqpRiywRt2z30S8VzP0mY7QVbDSwZGOARnAQ==" value=audit|beat|block|cites|comments|concept|cost|dep|effect|fold|hazard|keys|law|license|lines|literal|offers|question|reader|region|render|roles|sample|session|take|test|tree|vector|view|write
+bound-lock/1 at=witness:three-of-eleven-fields-name-this-era by=owner epoch=1 form=alphabet measure=id role=reads scope=audit/wire/fields sig="ed25519:era1:ph7+E1vxpNxmOPQXf2DoaKMPNALjWSHG56Y55+Jd/CXOUjsr+Lp2sMHWVzkh5rO5PzXp/Khh+vxUaarKKNFTBA==" value=scope|role|form|measure|value|by|at|needs|sig|epoch|shape|restsOn|condition|about|kind|view
+bound-lock/1 at=witness:three-of-eleven-fields-name-this-era by=owner epoch=1 form=alphabet measure=id role=reads scope=audit/wire/form/at sig="ed25519:era1:yZH2Gtl6grF49RXwh7+op4Y5Eq7DiSmugPhvrXmYCQ0ghMFkTSe/DyqseIiWxrrL7RrKWk449mwq5gzyWQbYCw==" value=class
+bound-lock/1 at=witness:three-of-eleven-fields-name-this-era by=owner epoch=1 form=alphabet measure=id role=reads scope=audit/wire/form/epoch sig="ed25519:era1:Pt8yMSkmO9xbD/bjL5cc/O5j6rjXWtBbKZYRsWftWtPLWjXSUOUFt6rUnIt9ZQgC2ws42q8ojLaHpgi/RHXJAg==" value=count
+bound-lock/1 at=witness:four-lists-computed-never-classified by=owner epoch=1 form=alphabet measure=id role=reads scope=audit/wire/form/kind sig="ed25519:era1:46MD022fcf71J331znl7eMFRCh1hYf3z4OGT7HvvkvLev/XkMY6mjP2VCIkxcf5Cl2wdD99E1yTQ3FLmBdMtCg==" value=kinds
+bound-lock/1 at=witness:three-of-eleven-fields-name-this-era by=owner epoch=1 form=alphabet measure=id role=reads scope=audit/wire/form/needs sig="ed25519:era1:IFxWleZRo8Ypu6nGCGNDPgNQYMKiO0gBu3TDr8Wn+oN6vQY5+YzG+HNeGUb4PC3BhhbgZBjvShE4bQF5lsW+BA==" value=region
+bound-lock/1 at=witness:three-of-eleven-fields-name-this-era by=owner epoch=1 form=alphabet measure=id role=reads scope=audit/wire/form/sig sig="ed25519:era1:blLdNp3TSlA9V3XnLL8VQ/0djMV1ElIm5r42rUjwIyiiUVcqeIq0c5dnqnfVuQOEYx9LyIhUrxAgaFWqTZKQAg==" value=signature
+bound-lock/1 at=witness:four-lists-computed-never-classified by=owner epoch=1 form=alphabet measure=id role=reads scope=audit/wire/form/view sig="ed25519:era1:y2nSL5m4lRwC0ljjJlyp3h2lslT9LMTVx1V47YLrCO/62uwymeuas3H2pDQwPxEraoXD+7Hxym3UezeKFmLuDw==" value=views
+bound-lock/1 about="budget, rank, phase (bands over epochs), distribution (a product of intervals by bucket), stretch (resolutions 1..8) are parametrisations; anything needing a new lattice is a card for lane C" at=witness:forms-written-that-the-wire-refused by=owner epoch=1 form=alphabet measure=id role=reads scope=audit/wire/forms sig="ed25519:era1:PKq2GI73mmuZ3/1rXUieJFG8cqidXk/bukszWVZKr8ZSymGBx7XBfALghf9rkov2m8EAFGCYjfj2IRBKODZkCg==" value=interval|alphabet|ladder|formula|budget|rank|phase|stretch|distribution
+bound-lock/1 about="the kinds a line may carry: a law's, a reader's, and an offer's that is a form or the check every form is read by" at=witness:a-form-offered-with-no-points-to-check by=owner epoch=1 form=alphabet measure=id role=reads scope=audit/wire/kinds sig="ed25519:era1:heMPC7x/I+Xsqc5bbum6vaQQWAL4fLBUW1UHJepeVyLdFFbULFVqjxNNIeu8/vH1Vxrqb1q9JkVIVcLhxORMBQ==" value=axiom|definition|theorem|corollary|js|wasm|process|conjecture|form|check
+bound-lock/1 about="beat, cost, verify and attest are judged when read, never kept; the words cold and warm are not the instrument-s" at=witness:live-families-named-in-the-plan-and-not-in-the-lock by=owner epoch=1 form=alphabet measure=id role=reads scope=audit/wire/live sig="ed25519:era1:xrTwgaVBeeM3j1zN9Przy9JQCgaBr+nPpTwL3YnyjnIoRhO+64mUgnDCQyz48/OBcIb3Lao+CyzoXjmvwfOzBw==" value=beat|cost|verify|attest
+bound-lock/1 about="the questions a page asks the language reader by name, each read where a page draws from it" at=witness:a-page-comparing-a-word-no-line-names by=owner epoch=1 form=alphabet measure=id role=reads scope=audit/wire/questions sig="ed25519:era1:tZMQK+SP1K3l1avsBAdn0mBMeHEhF0uNYBva+nFeNcbhfCfcvc+nQhpG63r1x6I9ZtJCFlVXwxb+g2ojWR8jAQ==" value=source/answers|source/arrow|source/calls|source/carries|source/declared|source/lang|source/literal|source/returns|source/signature|source/union
+bound-lock/1 about="receipts.bound in a place is a region rendered at a resolution: @0 the root digest line, @1 one line per region (region, count, digest of its set), @8 every receipt; @1 ships, @8 stays in the root's CAS and travels as a release asset. A region's digest is over its canonical lines, sorted, attest lines excluded; the root digest is the digest of the region digests in region order. Verify's attest names the root digest in its at and stands in the root lock and the release, never inside the set it attests. cost/ship stays 0..1000, never widened; it is met when @1 lands" at=witness:a-set-that-attested-itself by=owner epoch=1 form=alphabet measure=resolution role=reads scope=audit/wire/receipts sig="ed25519:era1:kR4QVazV0t5kr7BHOcMrA7V/Gy0ampww1vsOH5GL6LewkfJQIanXLJvUw8y+8hzERIMRB9Jr0iPJB6vkt9YkDQ==" value=0|1|8
+bound-lock/1 about="the measure a place's region line counts its coordinates by: coordinates, the fold's word, and leaves, the word the lines move from, read until the last place re-signs; re-signed as coordinates alone, that re-sign is the switch" at=policy:wire/region-measures by=owner epoch=1 form=alphabet measure=id role=reads scope=audit/wire/region-measures sig="ed25519:era1:sBfec+GWUmn9CKMdgr50kEGVdwWabMGqHctof5ohSNz/hdJv94HWm5a6fDtvSDjS3prgqXMZtipz2ILl3OJtBA==" value=coordinates|leaves
+bound-lock/1 at=witness:three-of-eleven-fields-name-this-era by=owner epoch=1 form=alphabet measure=id role=reads scope=audit/wire/required sig="ed25519:era1:FLJ1iFZszqMczuvikHrqRW4KiqKOWd63sJEaSVFPFoRRtL4YPPqCxAdJwvFYZNkovGEczXxl2k9jJf2mXC70Bg==" value=scope|role|form|measure|value|by|at
+bound-lock/1 about="what a line does, which is to read, write or demand, and what a region is: a source written by hand, a render a capsule writes, a receipt a reader writes" at=witness:leaf-was-the-old-word by=owner epoch=1 form=alphabet measure=id role=reads scope=audit/wire/roles sig="ed25519:era1:bG4F5tSuZ8LOK4uspMS0TtyTGZODMWoFmVkl5+xK31VcJvBm110VcnM52W3xFZjUf47gcn7XVnk95ztNkwOqAQ==" value=reads|writes|demands|source|render|receipt
+bound-lock/1 about="the rows a cell is drawn in: one per claim an origin made, and the one they hold together" at=witness:a-page-comparing-a-word-no-line-names by=owner epoch=1 form=alphabet measure=id role=reads scope=audit/wire/rows sig="ed25519:era1:o02gROluhAwLHBBmQkz7URoTfVCV7eW7YsXuOG+3wpVVyWezn7gbV4CEADudu2mwa8FO9N7hrpZT2WDZtFRRDA==" value=claim|held
+bound-lock/1 about="what a demand asks the judge to look at: a decision, a vector that runs, a reader, a render, a run, a view, a package, or a lock whose lines the fold reads" at=policy:wire/shapes by=owner epoch=1 form=alphabet measure=id role=reads scope=audit/wire/shapes sig="ed25519:era1:yxalXKNYgY96fxBLuIuKW94eQZ0P7jSp5QXof2hU26EZAD8caVGMqhkFDVUq3bv/zIrG0H9/v4t2+6kUnQUCCA==" value=decision|lock|package|reader|render|run|vector|view
+bound-lock/1 about="what a package may ship: the code it built with its types, its readme, its license and the lock it was judged by. The receipts stay in the folder and the root's store: a receipt in a consumer's copy is potential, since no reader folds it (A1). The examples are documentation, run from their source and never compiled or shipped. Source, samples and vectors are the tree's, not the tarball's" at=witness:receipts-shipped-to-a-copy-no-reader-folds by=owner epoch=1 form=alphabet measure=id role=reads scope=audit/wire/ships sig="ed25519:era1:cLNqvh/costNdKc77tVZymGo5Yalt8mfcy47ac9pYzDxYXotf/DJceOTZmW8RyfKSl0bnT3tP+3hxYBoxLomCA==" value=dist|README.md|LICENSE|TARGET.bound
+bound-lock/1 about="the signatures a line may carry, each with its era after its name: ed25519 in era1 signs what lands now, and the two before it are history, read and never written again" at=witness:an-era-named-by-a-digest-nobody-could-read by=owner epoch=1 form=alphabet measure=id role=reads scope=audit/wire/signature-algorithms sig="ed25519:era1:mWwVeYP3gJi2Dqq3ohmB7Y94TVyEgRnSqAXWfSF2GGu089Oelya4YNsM7dFEOoC0XbW4k/vcmjc1cUrYqdsxAQ==" value=ed25519|sha256:58f1f0983fe65f062bebefd0a6ffc901049c67525ef12dd86ed4dbb7a184b834|ed25519:era1
+bound-lock/1 about="what a cell of the wire can be said to be: here, gone, never read, or taken back" at=policy:wire/states by=owner epoch=1 form=alphabet measure=id role=reads scope=audit/wire/states sig="ed25519:era1:ftdHSLQHmhqmwtQMfJNEzZczggs18O7Dqyb2HdPK0zIzAsvnlfnZR8oikNkhLZ5hiMnXpyPoIw6Md0iVAx2nBg==" value=absent|present|unread|withdraw
+bound-lock/1 about="what a line leaves for the instrument to fill when it runs: the roots a change touched, the cone a demand names" at=policy:wire/templates by=owner epoch=1 form=alphabet measure=id role=reads scope=audit/wire/templates sig="ed25519:era1:sLX5r+d5uCb+y9v/pr6SbngLUETcVZkCFsbeA+i2o+CyjECArypSMYumcLHURg5ADlGqoBKkV2n4HOeNm2s9Dw==" value={cone}|{roots}
+bound-lock/1 about="the words the second head says of a fold: it agrees, it forks, its word is stale, grey, or there is none" at=witness:a-page-comparing-a-word-no-line-names by=owner epoch=1 form=alphabet measure=id role=reads scope=audit/wire/verdicts sig="ed25519:era1:7gJYfEgVOOqxgQDfnN4ETBLyrGJ33rhmbGc3Jv6jyvPMu1lLjXPDuzAtP4D5Dq7q39qK+neDPMWaNxu2qa9OAA==" value=agrees|forks|stale|grey|none
+bound-lock/1 at=witness:four-lists-computed-never-classified by=owner epoch=1 form=alphabet measure=id role=reads scope=audit/wire/views sig="ed25519:era1:NoqvNDM7TnTtPFDyvruM3erZF8MSvMSGrDS95Wp7DaXALkAlFGt4BQhL8cl/JCPMi6z2jH+tXaEvvLMXPKJbDA==" value=field|spectrum|ideal|chain|complement|dual|product|quotient|valuation|galois
+bound-lock/1 about="the words of the pages, figures and citations a place is read through" at=witness:three-worlds-in-one-page-file by=owner epoch=1 form=alphabet measure=id role=reads scope=audit/wire/worlds/documents sig="ed25519:era1:6Txh4jm4ERVqxItmEKtB58V+1tuSoAlD2HxghdWKLvJrQtYmnCYJvJLGfJWSfeFixKb5CW9s5/v6JurBFiEJCw==" value=readme|markdown|svg|mermaid|cff|doi|badge
+bound-lock/1 about="the words of the forge a place is checked and released on" at=witness:three-worlds-in-one-page-file by=owner epoch=1 form=alphabet measure=id role=reads scope=audit/wire/worlds/forge sig="ed25519:era1:T1O1QEGqlQqcJIez6UkIRRIoNq1bJQN95Lmb1RFwYDX56a0PJoqk/lLxzUxp6iEyg/u747u6S+PTe1q9XBWoBg==" value=github|workflow
+bound-lock/1 about="the words of the manifests and builds a place is installed by" at=witness:three-worlds-in-one-page-file by=owner epoch=1 form=alphabet measure=id role=reads scope=audit/wire/worlds/packages sig="ed25519:era1:fd4aFIw7DhLF3jbZbeevNYYiN8PWfPT2+q7iaqEPYbsfzoInlidJUM9ImhnehGXHTs9+jBiuCqyOtPvWoQYsDA==" value=npm|tsconfig
+bound-lock/1 at=policy:manifest by=owner epoch=1 form=alphabet measure=id needs=package.json role=writes scope=author shape=package.json sig="ed25519:era1:8DaYvmibx42wHDQiFcIXWub/d8frIq4uYP05PAD+ELLw98/DveKg7b9cXdRkZmAJo06Z7kwyGG9DxvImAMgODw==" value=Lapxo
+bound-lock/1 at=witness:the-build-was-typed-and-the-examples-compiled by=owner epoch=1 form=alphabet measure=id needs=tsconfig.json role=writes scope=build/declaration shape=tsconfig.json sig="ed25519:era1:8g6GelI/mROV6Kj5xNmWSojqzwgK3ipu+EAqzqV6DX7PfPY6LXSjZmmi8zSK+P/fq0jAAQWzSSy4hnD1/iX8Dg==" value=true
+bound-lock/1 at=witness:the-build-was-typed-and-the-examples-compiled by=owner epoch=1 form=alphabet measure=id needs=tsconfig.json role=writes scope=build/include shape=tsconfig.json sig="ed25519:era1:5jexwuD060ICtPiyjfVLztl4an06ODdEn2tphfbMswKtQ7GccY5y9caIqGknQjnZPAHezfH8iOp8iRldrcpvBg==" value=src
+bound-lock/1 at=witness:the-build-was-typed-and-the-examples-compiled by=owner epoch=1 form=alphabet measure=id needs=tsconfig.json role=writes scope=build/incremental shape=tsconfig.json sig="ed25519:era1:lU4vgpaLHBq7X6A9Irkg3plzvgK2TakO5SpNgTFQw/rZg8HSiFjhW7u+xdChvF95D5BgxEiI+euyzHIivMlpAQ==" value=true
+bound-lock/1 at=witness:the-build-was-typed-and-the-examples-compiled by=owner epoch=1 form=alphabet measure=id needs=tsconfig.json role=writes scope=build/isolatedModules shape=tsconfig.json sig="ed25519:era1:Fo61M5WtB+QdcJaFFG4nnuBlC4v1RafJFXmNcSRIa3GFKNEoBKk/uT5P99tiz39tqpofFcctZ4KTT1bhoFFfDw==" value=true
+bound-lock/1 at=witness:the-build-was-typed-and-the-examples-compiled by=owner epoch=1 form=alphabet measure=id needs=tsconfig.json role=writes scope=build/module shape=tsconfig.json sig="ed25519:era1:cSYRlutGC2rqTGJNoaYg0DttGgqDEdZv8Wm7DiM3y93vNqqOSjDoUOBszeiU3tL5z5wFATLRluR6fr+tjz2TBg==" value=Node16
+bound-lock/1 at=witness:the-build-was-typed-and-the-examples-compiled by=owner epoch=1 form=alphabet measure=id needs=tsconfig.json role=writes scope=build/outDir shape=tsconfig.json sig="ed25519:era1:0Soh79lWyb0+rZwl5YcGWeHWzMeezXdUrx4T4WHcYHuTpEOZxqDdRKz4Im2q5FurKPZ9lfVkDNexHsGnWrrQDg==" value=dist
+bound-lock/1 at=witness:the-build-was-typed-and-the-examples-compiled by=owner epoch=1 form=alphabet measure=id needs=tsconfig.json role=writes scope=build/removeComments shape=tsconfig.json sig="ed25519:era1:3j1iABrxLUudOJHu6lnEQD0herrSanevyRDKHGJ6bM9M4R8mylNFYVF3aOXdJgyYCa7k1ya1wlXmLXu9mDVMAQ==" value=true
+bound-lock/1 at=witness:the-build-was-typed-and-the-examples-compiled by=owner epoch=1 form=alphabet measure=id needs=tsconfig.json role=writes scope=build/rewriteRelativeImportExtensions shape=tsconfig.json sig="ed25519:era1:A7OE2KPrrKDIE3/olBzssGdDtbfB+FEK6g6WaAf+buGVmcdx0KTt3RuxH7o3CaPhkxN3qLOgNHIe8tJ4EzKvBw==" value=true
+bound-lock/1 at=witness:the-build-was-typed-and-the-examples-compiled by=owner epoch=1 form=alphabet measure=id needs=tsconfig.json role=writes scope=build/rootDir shape=tsconfig.json sig="ed25519:era1:rnngfqZUUE82ul/0cr2fuj21tMQCPIBcuJW3D87MJy651b5jmb1ojWKyG/epDguhfm3yXKhQvsLtfguX1wjpBQ==" value=src
+bound-lock/1 at=witness:the-build-was-typed-and-the-examples-compiled by=owner epoch=1 form=alphabet measure=id needs=tsconfig.json role=writes scope=build/strict shape=tsconfig.json sig="ed25519:era1:JHjnNn4CT744i+1v9647yY3TDWw1zPDKkrDP/nC/4icCoInsRsCNzpUvvH3a8v5tVJUY7/XF+AmPKCt1wy8RBQ==" value=true
+bound-lock/1 at=witness:the-build-was-typed-and-the-examples-compiled by=owner epoch=1 form=alphabet measure=id needs=tsconfig.json role=writes scope=build/target shape=tsconfig.json sig="ed25519:era1:KSGf1w0L+Bs1ObEJifbO4XyJJbE40k9TQg5T41GjgXOTBth5DaR4mjdMUY+OUnFjI7/mZStGpwlyq7IYaB4PDg==" value=ES2022
+bound-lock/1 at=witness:the-build-was-typed-and-the-examples-compiled by=owner epoch=1 form=alphabet measure=id needs=tsconfig.json role=writes scope=build/tsBuildInfoFile shape=tsconfig.json sig="ed25519:era1:GOHdhmYkmqM84W1Ts87ls8qGo35pTELh0/vcoFdJWZlbEJqs8sqi7tz5KRIidQjAhJPQvXitYcsjmAHjeVPYAw==" value=.cache/tsbuildinfo
+bound-lock/1 at=witness:the-build-was-typed-and-the-examples-compiled by=owner epoch=1 form=alphabet measure=id needs=tsconfig.json role=writes scope=build/verbatimModuleSyntax shape=tsconfig.json sig="ed25519:era1:ITmL21h7hPlDjCrwmjNb73T7mrIcrnzCx/szOHISknCyimnXfyFqO/y05+j0B41AnHpYm/5sJXtN4SuXKQsrDQ==" value=true
+bound-lock/1 about="what a clone runs today: it installs and builds, and the release packs" at=witness:a-test-runner-written-twice by=owner epoch=1 form=alphabet measure=id needs=package.json role=writes scope=check sig="ed25519:era1:5QeiR4vez0ebL0ETEMRceOxaFrWxHbeBS4bP+3I7rN9AfaAoer2G8+A6VIdvz2kPBy2EVPqfOvpI+aGyRVq4Dw==" value="npm ci && npm run build"
+bound-lock/1 at=witness:a-paper-cited-without-its-reference by=owner epoch=1 form=alphabet measure=author role=writes scope=cites/two-sided-constraints sig="ed25519:era1:AaIAFLbtfyuGmXP3Guxq6506OLqLaB6RZkE66jLW3eUyh/GMkSLEIPC8EV+yNUFH+9tP6IECBTyBE2QanplPAw==" value="Ochoa, N."
+bound-lock/1 about="Two-Sided Constraints on a Valued Lattice" at=witness:a-paper-cited-by-its-slug by=owner epoch=1 form=alphabet measure=doi role=writes scope=cites/two-sided-constraints sig="ed25519:era1:imAXRxt9V7KSnhonFOR7NzKG8uFYfP7Esxxide6/XOOt+qdpVzKGRzghimrXAwWs91CcQL/WSHlre6/7k1dCCA==" value=10.5281/zenodo.21858428
+bound-lock/1 at=witness:a-paper-cited-without-its-reference by=owner epoch=1 form=alphabet measure=publisher role=writes scope=cites/two-sided-constraints sig="ed25519:era1:6Nf5xnUWu7dvJKNQhR+C+mmZ4Bec0xl9kRS3UtkX8kMVcBHDHrVQBvdlsCneBhzy/qKZ5kwqqNUk31rlvOc8BQ==" value=Zenodo
+bound-lock/1 at=witness:a-paper-cited-without-its-reference by=owner epoch=1 form=alphabet measure=version role=writes scope=cites/two-sided-constraints sig="ed25519:era1:qSEbCyOsIK9/BZekoJGuzFu/lgC5AlNyTOYDnp1TIw0H9nkpunX8raXwVxdAIR656oEJQ9o5EShd+U1Up+uMBQ==" value=1.0.0
+bound-lock/1 at=witness:a-paper-cited-without-its-reference by=owner epoch=1 form=alphabet measure=year role=writes scope=cites/two-sided-constraints sig="ed25519:era1:OxdgvDENDW4oz/gSlHU+eP7GNi7obHDNEV7koY6wAVTfW5J90lmk0QEAL18lWVK2QjMUpZZ4IhCfxn3O0BWCCQ==" value=2026
+bound-lock/1 at=policy:one-theory by=owner epoch=1 form=alphabet measure=id role=reads scope=comment/** sig="ed25519:era1:hyKFTmit37Ep2cvYFyVSrlukU92C1mSW50lW55DUZbTIFQWYCLgzpMwUbUaSJ3/FheXQTK0gL7cBSxIyPGaYAQ==" value=not:fs|path|process|Date|paper|§|card|judge|receipt|topos
+bound-lock/1 at=policy:pure-and-agnostic by=owner epoch=1 form=alphabet measure=id role=reads scope=comment/src/** sig="ed25519:era1:u94r/oQ0O1dRcfLEx9LYQZo7P1lV+/PfXHIKahyWVesks0SufCR4F8HmQG2DJ3G/lQ296hnrqpIk4KbxnaqyCw==" value=not:fs|path|process|Date|fetch|card|symbol|package|placement|judge|generation|receipt|topos
+bound-lock/1 at=policy:tree/comments-few by=owner epoch=1 form=interval measure=per-file role=reads scope=comments/*/src/** sig="ed25519:era1:agIpuKdYFNDKq3EgHTAkJgQYf0o1ljRWrJUr3F3WjbEUZ9Eqv2/EBzOxkpGLLQ1RPNZK2CIY277pfxog9UtZDQ==" value=0..3
+bound-lock/1 at=policy:concept/one by=owner epoch=1 form=interval measure=count role=reads scope=concept/**/src/** sig="ed25519:era1:/PmxgT8x8k338Nyppz3CY254C7C9dcyNQq+Ml3yaTgB0H18IEchckubpLxLXowj/kknUAUZ6RdZaCn2LPj5FBA==" value=1..1
+bound-lock/1 at=policy:tree/one-home by=owner epoch=1 form=interval measure=count role=reads scope=concept/*/src/** sig="ed25519:era1:0MvjZPPpJ+T9FDZ3UlDN3yOva9V/5xF3dE0fl2VVE0Siq92bBCaJzgQHy+um8u9NKn02lNxp06sBJPVc/w/3AQ==" value=1..1
+bound-lock/1 about="what obligations ships as receipts, at most: the lines a page or a standing line rests on, a receipt shipping only if a page or PROGRAMS moves without it; 3757 lines today, 2108 when nothing rides that nothing cites or caps" at=witness:receipts-that-carried-what-nothing-rests-on by=owner epoch=1 form=interval measure=ship role=reads scope=cost/ship sig="ed25519:era1:YvDrH8EYKiixnyDAkmJ2t2mOgGnG+CoGYk9b8F6jG4ncDPdAp4YjDJ4gIu00fhyBTp1fHRJUFuSR3GNtn3IVBA==" value=0..2108
+bound-lock/1 at=policy:no-deps by=owner epoch=1 form=alphabet measure=id role=reads scope=dep/src/** sig="ed25519:era1:fwGonz5MpCJViY2F7KPUDq2aM36vQc1pq9yjgoYMQD6DofXdOclZg9bU1Vok+xEYHf+5+JVeRNbxVWxJbE1GAg==" value=none
+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=devDependencies shape=package.json sig="ed25519:era1:6F0i7Bw0WP19QPQEsHYiz3CNFD1730E2Z3vCThUzhfaG2ZPJpFeFh+cWB1RHIedI8IVQMAamyMR9smgKAuM3CA==" value=@types/node@^22|typescript@^5.9.3
+bound-lock/1 at=policy:three-theories by=owner epoch=1 form=alphabet measure=id role=reads scope=dir/src/** sig="ed25519:era1:bCJH0sWIjMphCv8e/0bGjqPf/8RwXwMyPnaqC3bYqh9qbJhyHieK+i2SQSdtioA/B0/c06ZfIg4jbaGBaxzbBA==" value=lattice|debit|field|views|laws|replay.ts
+bound-lock/1 about="the badges a page of obligations wears, in this order: each a value of the place, a count or a receipt" at=witness:a-badge-that-knew-a-place by=owner epoch=1 form=alphabet measure=id role=writes scope=docs/badges sig="ed25519:era1:vAvJLWcu7Lxt0kl1EDjb5PxA5b1X/EnsodZfsH7UDUoLwLLHy8gxBJ8fKmgKpQG9KQULZZB50YmXBnnRwcxSAw==" value=version|license|engines|dependencies|cases|verify|doi
+bound-lock/1 at=witness:a-page-that-knew-its-world by=owner epoch=1 form=alphabet measure=id role=writes scope=docs/forms sig="ed25519:era1:5n88v7A44a4ONYrKh+S329QccBOKRRhuuPW+lS8zjH5Ai2lJt0m4T9RLkXdNR1aeHbGE2y4immSoufSJMrafDg==" value=Form
+bound-lock/1 at=witness:a-page-that-knew-its-world by=owner epoch=1 form=alphabet measure=id role=writes scope=docs/logo sig="ed25519:era1:qc3MBj2lYe1VAOxJbqQGG4o0tdn39XMfv3Qdd09baf2ys6FYHYwqohS6cqwCE6CvIUoa0t7i85bzSnVKPxzgDw==" value=docs/img/logo.svg
+bound-lock/1 at=witness:a-page-that-knew-its-world by=owner epoch=1 form=alphabet measure=id role=writes scope=docs/measured sig="ed25519:era1:Wmq69/ZjbE8mTfTk3eSUqHuNpasY5hrIS7o0kLeS1C/DyH5TWQXVhKNYl8kzYa1kS6b7ijCjoMjV29JgvnDgBA==" value=law/T16-encounter-inequality
+bound-lock/1 at=witness:a-page-that-knew-its-world by=owner epoch=1 form=alphabet measure=id role=writes scope=docs/units sig="ed25519:era1:IisIa7i7AW4UNTF4pnOWATdkXmTG6c3VeHBLGxmqectsDVTyZReegzm1p5ilzjf+2bRWLLoSxN1ZQpU8BNzVCw==" value=Unit
+bound-lock/1 at=witness:a-page-that-knew-its-world by=owner epoch=1 form=alphabet measure=id role=writes scope=docs/what-holds sig="ed25519:era1:YlwwpHtCE25P3Ue3khKRhTMy1Um9NMr2u0kluD3uIjx7fXGDq1xdES3VWapx0M5Gi1cv0PY9sb0iSO4tCMcMCA==" value=3
+bound-lock/1 about="why the three bodies of work are one theory, in the owner's words, at the epoch this line was signed: it argues, counts nothing a render already counts, keeps as remarks the corollaries nothing rests on, and holds as readings what one origin measured and no operation reproduces" at=witness:a-place-s-why-pinned-by-the-root by=owner epoch=1 form=alphabet measure=status needs=docs/why.md restsOn=sha256:29b5d92e96cb9481bdab5ebd7d9028ffae30097532e0db9123fc6cc4556b28bc role=demands scope=docs/why shape=render sig="ed25519:era1:cnoq2LDlY0ZcJjsXON50Gr7H7pD626PMTmmvPkRz9lV+W1FCCeyIOJX1CM4z7UDH7tL5SbZJOZGs/u/hz67XAA==" value=present
+bound-lock/1 at=witness:a-place-s-why-pinned-by-the-root by=owner epoch=1 form=alphabet measure=digest needs=docs/why.md role=writes scope=docs/why sig="ed25519:era1:MONepRNwZFSxacSUPykzPN4aoxrIxfikNh6YMX1DtS1yL9IFQuBiRCUrCP3mkMautZ8BTpnIxJe8k7qAttKRBQ==" value=sha256:29b5d92e96cb9481bdab5ebd7d9028ffae30097532e0db9123fc6cc4556b28bc
+bound-lock/1 at=witness:the-page-told-a-story-out-of-order by=owner epoch=1 form=alphabet measure=id needs=package.json role=writes scope=engines shape=package.json sig="ed25519:era1:aaA+o+UuAft+xlIka2oEhod2ijnrr3ESuosMJOPUdoYKObmqPBsI1nb0QeNrugutSg8MZNHUFMZ6NkKhpTIkCQ==" value=">=22.12"
+bound-lock/1 at=witness:a-place-names-no-sibling by=owner epoch=1 form=alphabet measure=id needs=examples/release/in-phase.ts role=reads scope=examples/in-phase sig="ed25519:era1:MpwGDTsULZNPEgO781JaL9ojzAKebP74sFbj9ABw+/3FgLUCBMudep3tgKY2t/cs6NSaS5aU3RnRoI5h9csVAw==" value=d3298a473981
+bound-lock/1 at=witness:a-place-names-no-sibling by=owner epoch=1 form=alphabet measure=id needs=examples/release/price.ts role=reads scope=examples/price sig="ed25519:era1:SCtGy1YZaeLV2uGiXp/yAalpzfc1Fx5Uc7ZHcBTVqGnmwULqLTTBHeL8UuwRmM1Xtw2oFQwoo6lkMyBQ5O3NBQ==" value=e991e5dfab5b
+bound-lock/1 at=witness:a-place-names-no-sibling by=owner epoch=1 form=alphabet measure=id needs=examples/release/signature.ts role=reads scope=examples/signature sig="ed25519:era1:rNSMfWUikekcCBMOmA0nzjEW0OCzbkdOBRucdxKUbdA9N5FDLtEUTMjUdNlEkhwWFvO3TzzghNunkVz++fNCDQ==" value=284a3454abb7
+bound-lock/1 at=witness:a-place-names-no-sibling by=owner epoch=1 form=alphabet measure=id needs=examples/release/thermometer.ts role=reads scope=examples/thermometer sig="ed25519:era1:Eqby08Tic79d9jEQhr/dlb4t0gXigOWpj90X7CQDNEhb2q1iiiATSGS4o6rGUkczq8BWsiU7XGx9JRFhHVHPBA==" value=ccad24c61874
+bound-lock/1 at=witness:a-place-names-no-sibling by=owner epoch=1 form=alphabet measure=id needs=examples/release/withdrawal.ts role=reads scope=examples/withdrawal sig="ed25519:era1:etBDSU+MIDj+knXMm72RwVKen6ulMxp2NlCL5x6JtskWSLA3qUdfn9t78OF7ibEsBFR1jYnW7I4Pv3q1xTbtDQ==" value=6688e5390586
+bound-lock/1 at=policy:manifest by=owner epoch=1 form=alphabet measure=id needs=package.json role=writes scope=exports shape=package.json sig="ed25519:era1:t4sgHG9q/oX5B7MpiM5jenXypNhw0l/MxJYpg71OIn2deLvwUju7tIuPRHXP1E45W6cJ8v54NCyJjdnDpJQJCw==" value=dist/lattice/index
+bound-lock/1 at=policy:manifest by=owner epoch=1 form=alphabet measure=id needs=package.json role=writes scope=exports/debit shape=package.json sig="ed25519:era1:Bo2M8SjEASiH7DtwbhW4PIL+tkgu/JUd16zHYK1OijTwuX+6TuhjqGA0FSN3vm8ipkyAQTKXsKMVHJcXMy1WAQ==" value=dist/debit/debit
+bound-lock/1 at=policy:manifest by=owner epoch=1 form=alphabet measure=id needs=package.json role=writes scope=exports/encounter shape=package.json sig="ed25519:era1:epPPUYSDOxtRd9Y5zjrur3xsQ2fc3pRa1ldjcm8UvY2Q7iGXZ7vfMmUw80TYR0l6QUkeLpbnsOelUPkjyowMCA==" value=dist/field/encounter
+bound-lock/1 at=policy:manifest by=owner epoch=1 form=alphabet measure=id needs=package.json role=writes scope=exports/field shape=package.json sig="ed25519:era1:PaBQFnzgwCB5N7bEIrC/R14EOEatVNX7oIsSFEH016iMmF5ktu/ihupx+KqvuuLewC490UCMzxmwj4wXWZFkAA==" value=dist/field/field
+bound-lock/1 at=policy:manifest by=owner epoch=1 form=alphabet measure=id needs=package.json role=writes scope=exports/forms shape=package.json sig="ed25519:era1:LHAtJpoqyDXZ5K9rnILFsyB8+2PPkn02eS42y9akbPgDtv2aWig72Etq87sIA4x7lYHW4aLJEQ5jty1uqydHCA==" value=dist/lattice/forms
+bound-lock/1 at=policy:manifest by=owner epoch=1 form=alphabet measure=id needs=package.json role=writes scope=exports/lattice shape=package.json sig="ed25519:era1:m4LxIb8AdtZQqv+sgoy0FsG06Pw5+0tPEXqu0/ZC2itJ69KHQhuwIScl+bots1wzl1v+Xm+w/I8bXNp2mXdKCQ==" value=dist/lattice/lattice
+bound-lock/1 at=policy:manifest by=owner epoch=1 form=alphabet measure=id needs=package.json role=writes scope=exports/packed shape=package.json sig="ed25519:era1:0oi5C1js8KwWlMyIk/13UhEO5w1XLNE+E6FY4ufXG3eBzCMElZBOlBBYyeuau7O6URxajCAe65Cm1v4XCDTyAg==" value=dist/debit/packed
+bound-lock/1 at=policy:manifest by=owner epoch=1 form=alphabet measure=id needs=package.json role=writes scope=exports/present shape=package.json sig="ed25519:era1:ZFZRO45buYj2JUfh/3IZFZHsGP51U90o0fNAhS9AaT89SywlwRSx28REYp4VnDfvaJGzCcFFguEqN6Jy/j4QAg==" value=dist/field/present
+bound-lock/1 at=policy:manifest by=owner epoch=1 form=alphabet measure=id needs=package.json role=writes scope=exports/price shape=package.json sig="ed25519:era1:DwtmC9LPOy7sc0LfR4imR1ksxnovoArWY2Mt9Kru9sfnWba37ZPTsbeovx07/MtkzEuEROjuA+T+AA90H8dwAQ==" value=dist/lattice/price/index
+bound-lock/1 at=policy:manifest by=owner epoch=1 form=alphabet measure=id needs=package.json role=writes scope=exports/replay shape=package.json sig="ed25519:era1:hbl3LkVLp1TRUPMffwmjZziGzHz+dk9Mocj02gvPlhd/Yibwrp8cFmFw8ipxO904RbwD493EkGGmN3GYFaB8Dg==" value=dist/replay
+bound-lock/1 at=policy:manifest by=owner epoch=1 form=alphabet measure=id needs=package.json role=writes scope=exports/shuffle shape=package.json sig="ed25519:era1:fgZED901xdeNducc9jmMae/GRy1cKgmH8BJTsaJ8zwA5kwe52+xEHjYeIGRMFEYZ6LfKSSecKNOvxMli/NTKCw==" value=dist/debit/shuffle
+bound-lock/1 at=policy:manifest by=owner epoch=1 form=alphabet measure=id needs=package.json role=writes scope=exports/signatures shape=package.json sig="ed25519:era1:4+VbtJzH3DZuccZnSaSjvGjzEzrS0xOCrCOjoNEG69/glN2ODrANBJKHb5jS52jdDWmeqxlREJcio7NsCI+/Cw==" value=dist/field/signatures
+bound-lock/1 at=policy:manifest by=owner epoch=1 form=alphabet measure=id needs=package.json role=writes scope=exports/views/field shape=package.json sig="ed25519:era1:TNrrDO94qDW47Pfx5mD3apfuj1PZVCGJUSYbRvLkPRFJNq+aU7vtvWPbctG2Vrx335C/UL55IsRWXV58OpXqCg==" value=dist/views/field
+bound-lock/1 at=policy:manifest by=owner epoch=1 form=alphabet measure=id needs=package.json role=writes scope=exports/views/product shape=package.json sig="ed25519:era1:JG7jMkY/SF5T75fLAGHNDISU3DqrYCOiGUczuPh8vlgrlm3zECv8NwzUD25FS7O8nWIlUvZeM3bYVotmyeXtDQ==" value=dist/views/product
+bound-lock/1 about="the field reads a point's sightings as a declaration on a scale and asks the other two theories for the rest: its state from the debit, its price from the lattice" at=policy:field-uses-both by=owner epoch=1 form=alphabet measure=status needs=samples/yes/field-uses-price-and-debit.json|src/field/motion.ts role=demands scope=field-uses-price-and-debit sig="ed25519:era1:um29M+8sc8hOho0L0PLNJoGXtddQR32+Ci6kSjDV1cUv1PQsDAKLs/U1YsIgxjWheGL2v85amLHOZz788kAKCA==" value=present
+bound-lock/1 about="once bound is on npm, from 0.2.1" at=witness:a-test-runner-written-twice by=owner epoch=1 form=alphabet measure=id needs=package.json role=writes scope=fold sig="ed25519:era1:3bc0BOyhxYuIEBbmKb3X9aOB9sYlhGJ1o4XQYank3PC8XyZtX+1JY4LfcL1r+iEyJB+JuZ27Xx6K8DxjkGGiAA==" value="npx @lapxo/bound ."
+bound-lock/1 about="a formula renders as text, as latex or as mathml; the notation writes text, and a law with no formula is left out of it and owed in PROGRAMS" at=witness:a-law-with-no-formula-to-write-it-in by=owner epoch=1 form=alphabet measure=id role=writes scope=form/formula sig="ed25519:era1:ffe4EmUQYWR4UDrb905hBPJhUwnE1sF2gg32hbpbKxkxCTRRJ9hASHHLlu3DPaiIfNxjaqXx5T2dT+msQEnxAQ==" value=text|latex|mathml
+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/heading sig="ed25519:era1:TrdAuPXdGtfSL9MJmt9pyrgwMFi0cEp0vUBX1CnubNQCmFbhjc2HwH/1WlOpio/zQTMjnUmxrVwg5BBSMOCLBw==" value=capital
+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/list sig="ed25519:era1:mYlahkjnX+UClUTQLrqQvsckuau1DQTMDI37BESjv0HVcO2U8vmKPKnhRJDIAVj9wPjZhvHm1sfjRFA8JHmaAw==" value=", | and "
+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-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
+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/bond sig="ed25519:era1:Sd+CmbTXl2AMzmc9hcFpxbLrnjYd8UITgb/udW2oRfp1JzL82cHF+eVwhi++08p95mReAJcnlJfmfs9UU74YBQ==" 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/claim sig="ed25519:era1:b1XN3j4n/b2Fyi1s8DbOGlVIeYQmcZpPiV8+gx1q7+VdAGSaj0u9o5SiHBB7xLMbj1LnSQ9cc1O1vOnNjCdRCg==" value=who|lo|hi
+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/held sig="ed25519:era1:12OJ4PdICc6OhigjRD87az9lbwvN4WZIuw0h3MSZECs+eA/MZEXVw0dcKDTyv5hprW4EDsbhhY7HxzAqKzoJCw==" value=lo|hi
+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/origins sig="ed25519:era1:/IqfdJMw5QfOQwHx1OPde53Xp23y/BCgprIN4rPbFyfbT2hbPcge5otvkhBk99g/mc6iEJPQ0fxvE7o1ylCOBg==" value=count|claims|held
+bound-lock/1 at=witness:a-page-that-knew-its-world by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/cff/name sig="ed25519:era1:ppsBySdDQBKZuX1RNxYEY2w1VBKHVYrmpf3OPZZWyPAgucSXrflrYpxKtPXbn1IYQPTV+chyFjZEH4bvn99XBg==" 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/cff/paper sig="ed25519:era1:o0jUFHujumdeUDVTQjyx/WV0IufVWz+MbJMJ8l2KpZyazug9jaR+TwVJYam8LOMkV6TxEVMW/nuQVPgACN+cBQ==" value=title
+bound-lock/1 at=witness:a-page-that-knew-its-world by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/check/command sig="ed25519:era1:fFLYjCRAIbzdIOX14/AJGrxe/P6dJwj29uVhWH3FPvl9LQOFjTAF1U3iQFZMaUpExsLl/20qC3tuNiO7fxCUAA==" value=glyph|check
+bound-lock/1 at=witness:a-page-that-knew-its-world by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/check/fold sig="ed25519:era1:3HhSQdBB9QtPwcgUvBB8fbINi+T2yurpQxW9AWW2eNOTWXUpirX6OQteNUmFIGi1TxPC8RIfk3gs3MA0wdeRAg==" value=fold|about
+bound-lock/1 at=witness:a-page-that-knew-its-world by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/check/held sig="ed25519:era1:KV/VYnX8oMwwAAMc/O+KDd/jT2tIW6zDlsKpYD26ocUDU7lJpG3oKjqCBLIo45nPGcYFFjLiRGQGRVPAYD2CCQ==" value=glyph|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/check/repository sig="ed25519:era1:16nId+vRAVE+FfnZGJMHUiGSkHC6vlm2zD/sIrbllScffzqcgf2LECnHYHx4lSwVTpoQhjgPOaFosp6qL5JODg==" value=glyph|repository
+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-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
+bound-lock/1 at=witness:the-forge-spoke-prose-written-in-the-capsule by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/pipeline/notes sig="ed25519:era1:K6Q9jZXD1QUUHhdEe5Q1FgbFuk6yLJtmy7lCc2esCfocSueFnrqgCcOPJrySeFS1NHjPmSnfUwN9B+/807beBQ==" value=version
+bound-lock/1 at=witness:the-forge-spoke-prose-written-in-the-capsule by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/pipeline/published sig="ed25519:era1:ICspnl69yvpwZdCKS+EIHfBk6k6LNjClOamUf3bwDurmO9IzNtWg2dMI8OLz+2A7nDo05xPg4c/AtkLUXm+GAQ==" value=name|version
+bound-lock/1 at=witness:the-forge-spoke-prose-written-in-the-capsule by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/pipeline/released sig="ed25519:era1:EYyyWILPJtdNyAUrsPF7907a+Sj8scEThT9i3AIrfkyW6IlaNbS8cuDTDfKABY7Ign+lBsmU6qN4ZdrnDT94BA==" value=version
+bound-lock/1 at=witness:the-forge-spoke-prose-written-in-the-capsule by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/pipeline/tagged sig="ed25519:era1:49FbrM0pT7y658Yk6OLFMS4fCZTMkRHkDOaIJ4g6EPiOffcFaos8Wge0koDLx5clOKUJnE7LdpNoXHlxsLO4Cg==" value=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/pointers/learn sig="ed25519:era1:3htttIEL6MjTkeUU2HHWSOE/1cvTcEBDxJ5O7kTgzNnVeHklSqc2IwUsaXN3oI0WqcGJuPrM51njWhdjwwh0Bg==" value=pages
+bound-lock/1 at=witness:a-page-that-knew-its-world by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/reading/summary sig="ed25519:era1:K63Y2PmxpUN6MgNek2w4c/UNpZLpTiTvtYWAuxlp+7G7QWk6OiAafFU0Vqhl0/g/mxd9W2XA9v+jNjSyHYTvAA==" 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/reading/view sig="ed25519:era1:pc7akzBPs3qunQRqlI8YSW4Qt3kETs6IlWt+iXsP/FjOAyuIP+7r4MwqY29YYmRi91hzdFJiVfEj8z8lhLuuCg==" value=name|answer
+bound-lock/1 at=witness:a-page-that-knew-its-world by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/reference/form sig="ed25519:era1:21lrAhbRY7GiQJ7ErI/xBg6R5clbha+1cvC8a+H0wWx/QVp9bbEv13IQuISAGvMNtGZoWuAJ9owrrgx/d1xKAA==" value=name|args
+bound-lock/1 at=witness:a-page-that-knew-its-world by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/reference/lead sig="ed25519:era1:g1yQEVDti3+t5H5PBbouWSNythbv9scm9qp0lRIsxrgVTM3byBVWO9TgyDScQYwYUFvLYkxTJ21xsZlcftpUDA==" value=operations|laws|forms
+bound-lock/1 at=witness:an-sdk-reference-drawn-as-a-theory by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/regions/laws sig="ed25519:era1:wYhWEsIM8aRspw7XabQlaUv1kEBk09IuIurvG09tEPO9xI0up9Ive3uIuUrdNMybv3Pm96NYECmj0MklA64RDQ==" value=count
+bound-lock/1 at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/regions/lead sig="ed25519:era1:63gl3AQ8+Uk2stFoPvXmjGPcGWNhWxgyZ/SFiR70qw2Sp12iPPldCA7fuNfwy9kq07W/OWqB6eswJ2u20Fo2CA==" value=count|effects
+bound-lock/1 at=witness:a-page-that-knew-its-world by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/what sig="ed25519:era1:3CU2EwIPVStU37giXWkUbCtE8aCQLuAiCla4CZhL1OBX4JqSxPbLjjBPtTEOhjOZe0VrRaTK6qyaKua4qFETAw==" value=places
+bound-lock/1 at=witness:a-page-that-knew-its-world by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/what-holds/axiom sig="ed25519:era1:JacfGjjklWxDuh3rs8EAwFLIcYSZeKvV6FGhx+HwEjGOhH0kWJHM9oir98XdXq/hJXHPtW8QXz48RKNycVCcAQ==" value=sentence|name|rests
+bound-lock/1 at=witness:a-page-that-knew-its-world by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/what-holds/lead sig="ed25519:era1:7CmpfhADlDfM2rdA9Efkk04eq1yZXwkNBvghfNkcX6PSbknKGdQZ9CqZ5jsu+NX0SKQadAX3e+UTDKa0kt0lCA==" value=count|spelled
+bound-lock/1 at=witness:a-page-that-knew-its-world by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/what-holds/measured sig="ed25519:era1:44JY520WrKOZlDk+vCCHrZs8IHVuoHuqIBvkCWOCZLLPZbaYXl+KiLKJRV6bs7jc2Zdqjtr6lQP6wZ9jNMITAg==" value=sentence|measured
+bound-lock/1 at=witness:a-page-that-knew-its-world by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/what-holds/other sig="ed25519:era1:iFz+4LoXesMNs38uoqaZigJNxDQN4n77ImqVt/h24yAWzngojCRQA52aL7W++MHvcuGZUi+kaONQK4OjfY9ICw==" value=name|about
+bound-lock/1 at=witness:a-page-that-knew-its-world by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/what-holds/others sig="ed25519:era1:pTRwSihtptJdiaKj5wZW9gENlqpSgG8pFGb/OTJ7ev4b3qQXiQKFmme58sgS/B36rxGoMZ32X6kPNp1sRdM7DQ==" value=count
+bound-lock/1 at=policy:hazard/zero by=owner epoch=1 form=interval measure=count role=reads scope=hazard/**/src/** sig="ed25519:era1:PLs0iJP+EUSwuAo1Ljjp7VEzwvEcTsbSVK8pvyJsHlIyZXeYMnjiD+xyxTQM9CL+JWV5PSucHuz4OlsbE/rdBA==" value=0..0
+bound-lock/1 at=policy:tree/hazard-zero by=owner epoch=1 form=interval measure=count role=reads scope=hazard/*/src/** sig="ed25519:era1:4GC8zVe2C+iKSzAToN2AaRwdSSejuQmOcy9bEeG1UmXZdBnKjVOSUv9+dLYfAVghTzWq6rIPRFP3qEnX+j00Cg==" value=0..0
+bound-lock/1 about="a constant whose name is a card rather than a value: a screaming name bound to one string names a place, and a place belongs in the lock" at=policy:no-hazards by=owner epoch=1 form=interval measure=count role=reads scope=hazard/marker-const/src/** sig="ed25519:era1:WcYKY25JlN1RTjMc7zn6TME/woxXZ0i0VLRR22lhoCheJErgiZ59RLHAtxQcNnQy55k1WqiytCdkM8qXKyELCw==" value=0..0
+bound-lock/1 about="a file that only passes names along and that nothing opens: one barrel per view is the view, a second is a shim" at=policy:no-hazards by=owner epoch=1 form=interval measure=count role=reads scope=hazard/re-export-only/src/** sig="ed25519:era1:2yRmyx7G0BN0+f+6qkL9qiWfRRyoFQk5MrCqeF+RvnGpM9/L6mJDmQ9kwCbnZA6OP/q+1VIVL5XxMOj/tNUGCQ==" value=0..0
+bound-lock/1 about="an export nothing in the package reaches: no other module, no test and no vector; a door that opens on nothing is a door that drifts" at=policy:no-hazards by=owner epoch=1 form=interval measure=count role=reads scope=hazard/unused-export/src/** sig="ed25519:era1:sCdFuC10VQYWMNu+3nDpVK1Wa0FM8dYN0jroh4UReR3rkcnZjNXeqsGDQbcMbO4k/t67vWx/Hr7+qGkmiwlSAg==" value=0..0
+bound-lock/1 about="an import no symbol in the file reaches: what a source brings in and never speaks is a name that can go stale where nothing would notice" at=policy:no-hazards by=owner epoch=1 form=interval measure=count role=reads scope=hazard/unused-import/src/** sig="ed25519:era1:Sp9uuBco2wllCT+iwSKPR1W8FrPg/oEp4kEXYjaJtol3x01RUkuVZ4qnpwohyl/s8ifr1k/AMvA31bN6PKXUAg==" value=0..0
+bound-lock/1 about="a line worked around rather than written: a compiler silenced, a cast to any, a catch that swallows, a note left for later, a flag read from the world" at=policy:no-hazards by=owner epoch=1 form=interval measure=count role=reads scope=hazard/workaround/src/** sig="ed25519:era1:C+TGN3t7Bn9EIlguWTe/ZUp1dY7ENkUh3aNrVbIwoc4XEw3/BlvWHKHKcAHSElLLWV1NeypMMSJBJ+VHlN7vAw==" value=0..0
+bound-lock/1 at=policy:one-theory by=owner epoch=1 form=alphabet measure=id role=reads scope=identifier/** sig="ed25519:era1:vUgVUYzCwh4xeFD0eCEeklc48BdjqbERb690ra8xJM0GRM/SERoGEOoy7RBRmKMWDaV9k9Dv6/pVkCTxj2yhAQ==" value=not:fs|path|process|Date|paper|§|card|judge|receipt|topos
+bound-lock/1 about="what this package may not name, apart from what it may not spell: a state word is an identifier like any other, and a method of the language is not the alphabet written twice" at=policy:pure-and-agnostic by=owner epoch=1 form=alphabet measure=id role=reads scope=identifier/src/** sig="ed25519:era1:MUwSeLorvw45mSQdjRYVTaohqg7P2Ep+nB2vUKgobRfSedu7WqoBjocB6dPp8dgwaAV6a/dLBw1taYPG+zn1Cg==" value=not:fs|path|process|Date|fetch|card|symbol|package|placement|judge|generation|receipt|topos|Infinity|parseFloat|toFixed
+bound-lock/1 about="what a repository of the place never holds: the store, what is built, what is installed, and the build record" at=witness:the-place-carried-the-pipeline-of-another-registry by=owner epoch=1 form=alphabet measure=id role=writes scope=ignore sig="ed25519:era1:ktF89wrKd99PQg5hzYg1pqREXVBTRm9vg4Qi6zeNf9QSrtYqs1vLr7TrS5OJ2MsM2DME1ncLBKEuD5FY2KvACw==" value=.bound/|dist/|node_modules/|.cache/
+bound-lock/1 about="how a reader installs the package: this verb, then the name its manifest carries" at=witness:a-door-that-never-said-how-to-install-it by=owner epoch=1 form=alphabet measure=id needs=package.json role=writes scope=install sig="ed25519:era1:viEC746kIW1wm8inZxtsib5Ny07natN9pisMoBCmag0NCiUz7iUxEvJiCdAPKcw0SBgNQ6qMrLce+woUIGCXBQ==" value="npm install"
+bound-lock/1 about="the key this lock admits to keep what a fold folded: whoever runs the fold writes it, and the line says which key that was" at=policy:keys by=owner epoch=1 form=alphabet measure=class role=reads scope=keys/bound sig="ed25519:era1:sJKHOyJ/f8hwb1gg8WHDCGfQAXRpig9LIW2Fu6IvTD4AUpliGK3ua14udahDMwvultImwWHVD7BEK8ZVbEJdAA==" value=fold
+bound-lock/1 about="the key that keeps what a fold folded also names who rendered each region a view renders: rendered/<view>/<region>, the capsule digest that answered or the instrument's extension, landed by the fold at every render and never in a place's receipts; and resolved/<dep>, the digest of each release the host lays, hashed at the lay" at=witness:a-region-rendered-by-the-carried-order-unnamed by=owner epoch=1 form=alphabet measure=coverage role=reads scope=keys/bound sig="ed25519:era1:MWsE3+Hx4oTrerpMmu8JfgzhJ0ACLKCreZ85AUkcm3YRW4Wr5UG/OIHPY8IcdWou7wHHbbRAmDo/gi01aNdlAA==" value=fold/*|render/*|beat/*|rendered/*|resolved/*
+bound-lock/1 about="lane A signs the notation, the frame and the capsules: topos and every topos place, and nothing else" at=witness:lane-keys-made-by-the-owner by=owner epoch=1 form=alphabet measure=class role=reads scope=keys/lane-A sig="ed25519:era1:jKg16YQS27PWMNAX8eH+P5/FDh8sAis23W4agDALGrBIduX+0UnRU+VS4DoWzEuC8kRhnw5QIy7WYM3HfDIFAA==" value=agent
+bound-lock/1 at=witness:leaf-was-the-old-word by=owner epoch=1 form=alphabet measure=coverage role=reads scope=keys/lane-A sig="ed25519:era1:XlZuQhTGIun5X7F13d5F6hFgHoFL5C2aa+2U15ba0KSEFH0Ci5T7a0fg8BXmEq4niAV7/mYHIJLnY5ct9UhQCw==" value=topos/**|topos-frame/**|topos-doc/**|topos-laws/**|topos-notation/**|topos-node/**|topos-github/**|topos-json/**|topos-bound/**|topos-typescript-tree/**|region/topos/**|region/topos-frame/**|region/topos-doc/**|region/topos-laws/**|region/topos-notation/**|region/topos-node/**|region/topos-github/**|region/topos-json/**|region/topos-bound/**|region/topos-typescript-tree/**
+bound-lock/1 at=witness:lane-keys-made-by-the-owner by=owner epoch=1 form=alphabet measure=public-key role=reads scope=keys/lane-A sig="ed25519:era1:TTgYg6Gl4bMaAvO+t7BD2iyiaLXNf9kbj5v+DOJ9v+IFf8aO8oySDgt0IfIaD5ub8V7Zdh5QoNOblDQg24NZDA==" value="MCowBQYDK2VwAyEALpdMdPO3OeXyp6PQcisnTjB9mdeSUiUZCCkRiFK0lys="
+bound-lock/1 at=witness:lane-keys-made-by-the-owner by=owner epoch=1 form=interval measure=resolution role=reads scope=keys/lane-A sig="ed25519:era1:hJ8PMn3uFViIby31zIjvrGZDsT0JqdHD5ucaU9ScR2SLBasVRYvP0Y/u516ZnSt0PukZ1JzpHaCkWVQc/tZ/Cg==" value=1..16
+bound-lock/1 about="lane B signs the verb: bound's sources, and nothing else" at=witness:lane-keys-made-by-the-owner by=owner epoch=1 form=alphabet measure=class role=reads scope=keys/lane-B sig="ed25519:era1:vqhdk7gfKGKI63cCmn22y+PNCLZZpBHce3lgMF0M4nInWB6+BGJi6CqlSrJfpfhWtDoVOb43FxOyeS4JN7ikAQ==" value=agent
+bound-lock/1 about="lane B signs the verb and what it stands on: land, the judge, the fold, and bound's own lock; the verb is land" at=witness:the-verb-is-land by=owner epoch=1 form=alphabet measure=coverage role=reads scope=keys/lane-B sig="ed25519:era1:zrsN+RKsmzomsLsxmPUMWSvN7Fwx0/JM/Tk/hhhKG9h/1c4wYD8d625CAyKl5hUjr/cfYHMugp0F9u0+J/HnBA==" value=bound/src/cli/**|bound/src/fold/**|bound/src/judge/**|bound/src/land/**|region/bound/**
+bound-lock/1 at=witness:lane-keys-made-by-the-owner by=owner epoch=1 form=alphabet measure=public-key role=reads scope=keys/lane-B sig="ed25519:era1:6RQ2tYDtBz+nrkZnTMomMTwoKuLXqk3VM9ZyH2iUO6FDXaQ5DE/Uz8/VAtWar0GZ/El1VKR1d7gp9YSL3PNtBg==" value="MCowBQYDK2VwAyEAMJ8w4M+eGkCAWx7rJ4fEf0LOPd7mKzSjNOVYAGv4Y18="
+bound-lock/1 at=witness:lane-keys-made-by-the-owner by=owner epoch=1 form=interval measure=resolution role=reads scope=keys/lane-B sig="ed25519:era1:VoGAWWbUXiegt22GYYkeyxvg7z1qj7LSZMqWPyNSPqzGlKzHt3lM++TcJRL6W82dX0jwgow2QYWXxO3EevRqDQ==" value=1..16
+bound-lock/1 about="lane C signs the object and its second head: obligations, verify and the sources, and nothing else" at=witness:lane-keys-made-by-the-owner by=owner epoch=1 form=alphabet measure=class role=reads scope=keys/lane-C sig="ed25519:era1:PBb2exu+KpotuEitTXvtWxeiPB2NifbfJMdpEwnFBadcUyAOyZPRdAelniNRKxRNNNrKO+25eulw/J0QPUd5BQ==" value=agent
+bound-lock/1 about="lane C signs the object, its second head and the sources, the leaves a rebirth of them writes, topos-doc while it waits, and the registry's word that its two places are published" at=witness:a-published-demand-its-lane-could-not-pay by=owner epoch=1 form=alphabet measure=coverage role=reads scope=keys/lane-C sig="ed25519:era1:lTI7k+yHi5x7Lfy0yrUE6PEWQapE0QSTA+d7fps/I0eHixrcKoDzY+XpnSkAopap159JrNiRLu1XpHRkZugqDw==" value=obligations/**|verify/**|sources/**|topos-doc/**|region/obligations/**|region/verify/**|region/sources/**|write/obligations/**|write/verify/**|published/obligations/**|published/verify/**
+bound-lock/1 at=witness:lane-keys-made-by-the-owner by=owner epoch=1 form=alphabet measure=public-key role=reads scope=keys/lane-C sig="ed25519:era1:IBHsynCZBYI9KUXvpizGBH9ce40+KwEGJfWHWNeTDorHNSV5ZSq0Anuj5QBOjNvUAMz8TYsp7TQx+O1QfMzdCw==" value="MCowBQYDK2VwAyEABGjuoiRkAk1MZ2AeePmBq5Ve0i5PNW0uUkQvCKSWkiI="
+bound-lock/1 at=witness:lane-keys-made-by-the-owner by=owner epoch=1 form=interval measure=resolution role=reads scope=keys/lane-C sig="ed25519:era1:3RtBDQPRwRIk+7rFLoDHV1JCIRU6qrAXjD7/COPD52S4F0BoCJJfgnkq/5JX8ic66S84oWCxH0M5u+QqV1yxBA==" value=1..16
+bound-lock/1 at=witness:lane-d-made-by-the-owner by=owner epoch=1 form=alphabet measure=class role=reads scope=keys/lane-D sig="ed25519:era1:1sBwDLjVl1gPQT8rrqFp8+//zR3qawe/UcXA44eN6absORG89NaffyPEGKoXFgU/ApCFLlOeXZsz8sJQdPosCg==" value=agent
+bound-lock/1 at=witness:lane-d-made-by-the-owner by=owner epoch=1 form=alphabet measure=coverage role=reads scope=keys/lane-D sig="ed25519:era1:FQdmETRX/x4KqTyrU/5FnqiqBhRGK78ai45hkTQqBcxdHhWLbVWl1tKzHOn7WZOo2xALpN5AM90K5asfNkodAg==" value=bound/src/observe/**|bound/src/host/**|bound/src/render/**|region/bound/**
+bound-lock/1 about="lane D's window widened to 380 for the base: receipts at a resolution through the view that ships them at @0 and @1, the agnosticism test over the measurements world, and laying the base's releases by digest as they are re-pinned; 188 kept as the start so every line this key already signed stays inside its window" at=policy:keys/lane-D/the-base by=owner epoch=1 form=interval measure=epoch role=reads scope=keys/lane-D sig="ed25519:era1:L54LGzMp25+BU5RNJEtUoph3oEYopbjMjcN/7UKttx2gfnX/AGMdCmhgLvP+lk03DWXeRMtnfKD1nROplRl5AA==" value=188..380
+bound-lock/1 at=witness:lane-d-made-by-the-owner by=owner epoch=1 form=alphabet measure=public-key role=reads scope=keys/lane-D sig="ed25519:era1:XhOFA4HLptW67Ec004vZWIdEewqBATFA77uFbFuQgYN/jIssscX0mpVDwwlQcGR3xkI21+W2Den52MalUvDoBg==" value="MCowBQYDK2VwAyEA3gUzYi3KEhQuzmh+o+rgjNyZZrjRRqQ+stwpr91JFcQ="
+bound-lock/1 at=witness:lane-d-made-by-the-owner by=owner epoch=1 form=interval measure=resolution role=reads scope=keys/lane-D sig="ed25519:era1:7/XBEl8yw/dTQ20SEafL6mNOElhI841jwoaYw4FV0EPuokz3Rh4XP4s9ht/h5kWOG2adLgkQB0AMY4DHDWzMAw==" value=1..16
+bound-lock/1 at=policy:keys/lane-E/second-head by=owner epoch=1 form=alphabet measure=class role=reads scope=keys/lane-E sig="ed25519:era1:CC38SOMzLGGZ1dqfb4UHDABv2H3aCz6D6ryQBPlyJbocnaJIv91hvUHMyRhjXpeFUIpooCteeWzFogawgs0cBQ==" value=agent
+bound-lock/1 about="a second head in a second language; may read the ledgers, the vectors and the rulings; never verify/src or bound/src" at=policy:keys/lane-E/second-head by=owner epoch=1 form=alphabet measure=coverage role=reads scope=keys/lane-E sig="ed25519:era1:FfpsV3s4RKGPBmtqM7P826uK/39ihl+ux6qMU4/dkyE+kr4DIl54z+9Q65B0MxcQqjrfh0IsZdnLVNEt3eaYAw==" value=verify-py/**|region/verify-py/**|write/verify-py/**
+bound-lock/1 at=policy:keys/lane-E/second-head by=owner epoch=1 form=interval measure=epoch role=reads scope=keys/lane-E sig="ed25519:era1:JMIQDLMS49y4+hD9MmtMYheyw260PmBcpOx0WLO035/Qer/Gv1h5Iyi3nv+XjG/h60uIACvOKoQIV+ng33IQAg==" value=304..404
+bound-lock/1 at=policy:keys/lane-E/second-head by=owner epoch=1 form=alphabet measure=public-key role=reads scope=keys/lane-E sig="ed25519:era1:fKywepUW60PqRv3sYtrra0AdLCD5b2ZZk2akXoBzP3sp4upDXW7hpkJSWWUqZ9Ot/RAMBfS/DkhHwN+fBsaiDg==" value="MCowBQYDK2VwAyEA3roRoV/x8DmpqBlkxadGBOVIJF1KUUsbPZ6mG5T42uo="
+bound-lock/1 at=policy:keys/lane-E/second-head by=owner epoch=1 form=interval measure=resolution role=reads scope=keys/lane-E sig="ed25519:era1:e01cMClTNNycuz7oGNrfgZ41xGjrxj4iWFnnFEoYkWvKQgwsuR9LRHDbxNlkKz7avRJnC0K/njLmP5psWW7pDg==" value=1..16
+bound-lock/1 at=policy:keys by=owner epoch=1 form=alphabet measure=class role=reads scope=keys/owner sig="ed25519:era1:f9tvvYPBrDiZVH9m0G7g5xfwzaVYwYnV1RToU3s3K0YfiLrX8CnUh0J0utFb/3pZHdNaEIg5IwbwC0J6I35qBg==" value=authorize
+bound-lock/1 at=policy:keys by=owner epoch=1 form=alphabet measure=coverage role=reads scope=keys/owner sig="ed25519:era1:iLZwzykCqhy0c6srcdLT2PSFJZIOnUmQ/VHUzfjaGjQNkYaYH8k0+ty5gj8loyuqXdpac1tgq0BwJZpmyhcEDg==" value=*
+bound-lock/1 at=policy:keys by=owner epoch=1 form=alphabet measure=public-key role=reads scope=keys/owner sig="ed25519:era1:f9v/MckzhV22QrzF/liHT/vPfN+mrn9PFChpcQQBRYw2y5tMlv+JcNo8XYthh8Seaia3N+CcbRW3mJaxafqSCw==" value="MCowBQYDK2VwAyEAIYI0be8OWhf3HcVceKpibjgZ+hbYJKYO5ayX8Kk16LE="
+bound-lock/1 at=policy:keys by=owner epoch=1 form=interval measure=resolution role=reads scope=keys/owner sig="ed25519:era1:UQYCYpqKoaprqRmbO78m1HnwgwX6OZJTxc3eR+jtxZFiQaauGRcxxp/BnW7s+xq9dq+4Dfzf6/v3zsWZ+Gh5BA==" value=1..16
+bound-lock/1 about="the key this lock admits to write what the tree is read as: a reader speaks only what it observed, and the lock says which key that is" at=policy:keys by=owner epoch=1 form=alphabet measure=class role=reads scope=keys/reader sig="ed25519:era1:q05mefRhtb7xuJ6pmj4D8fraXUTz/K7hensI/LbAt0mid0Akq3a4dNavwe/7Yf54EtavBnab1lavd1pT5YHiDg==" value=read
+bound-lock/1 at=policy:keys by=owner epoch=1 form=alphabet measure=coverage role=reads scope=keys/reader sig="ed25519:era1:5oOSZMIMe5IW5IxsWbgIGk3wM8FhTjkUf+XbmDM+ikVsB2wpB+aRFmKGCkziO5lM8tWU/eULebWhuC9GnxTVDA==" value=*
+bound-lock/1 at=policy:keys by=owner epoch=1 form=alphabet measure=class role=reads scope=keys/verify sig="ed25519:era1:hwInPmto/LdXdbpsyZa8Yv7LI4QjB+/IZn7hGfA9lJ87XrZ+icGBAdHSo41BgCK06iDJPk4TWHxoBmgtQMRwCw==" value=attest
+bound-lock/1 at=policy:keys by=owner epoch=1 form=alphabet measure=coverage role=reads scope=keys/verify sig="ed25519:era1:doIFEdnpqwefL/8TEtX6/g6Yi0QgTgUZdHU4FH0fcR8c2R9gpnTtxPdahWJg1qM/CwCHC9MO/jMHPi/g1D5ICw==" value=verify
+bound-lock/1 at=policy:keys by=owner epoch=1 form=alphabet measure=public-key role=reads scope=keys/verify sig="ed25519:era1:vH9Edf77HqyUvWK9O/1s6E02C+AkMqUV9slcjUztxQ2P1N5knpLis+g9sVDuZ/zUwFdUsqtS0luRgis7rdXvCg==" value="MCowBQYDK2VwAyEACLnnkNAHf4V7vXG4cCZv6rM7suRwGTe0MJoqqCUxnvw="
+bound-lock/1 at=policy:keys by=owner epoch=1 form=interval measure=resolution role=reads scope=keys/verify sig="ed25519:era1:tYvuyZABThkaXFxmbuFDB+2qa2AtVk7k3eZx30ypcReWeCO3fXuA5JZJz9Weh5V1sqKd+D2vZlnuQSmB+4EXAQ==" value=1..16
+bound-lock/1 at=policy:manifest by=owner epoch=1 form=alphabet measure=id needs=package.json role=writes scope=keywords shape=package.json sig="ed25519:era1:u7Fs3frQpWPGo5dTCNmqOD0P3dhJ29kQyqkOv25w6858lmqAig5+jm0f2RWT4LwSiuYBf0Kp/N5s5dY+n1AYBQ==" value=obligations|lattice|provenance
+bound-lock/1 about="the language the place-s prose is written in: a page asks for its prose in it, and a place that names no language has no prose" at=witness:a-capsule-that-guessed-the-language-by-the-shape-of-a-path by=owner epoch=1 form=alphabet measure=id role=writes scope=lang sig="ed25519:era1:Bzsq9YwcwoglkAjKNYZ7S+FZkXx4BDp4CZz7xWaHhYaQGau6BIxfCvKh42AJhryvoteBAWaVMenPufIuJNTOBg==" value=en
+bound-lock/1 at=policy:law/not-derivable by=owner epoch=1 form=interval measure=count role=reads scope=law/axiom/**/derivable sig="ed25519:era1:04DT4GLPmR10arTa/gmLmG7bO2d9Bnl9uNUpHlKYOCa2qRU/bycFufRerknjejPxezMOIKN16dARE/nnSG/nAg==" value=0..0
+bound-lock/1 at=policy:law/used by=owner epoch=1 form=interval measure=count role=reads scope=law/axiom/**/encounters sig="ed25519:era1:isEGoyH35fYTVk7r7wd/xZc4dUFy9hae6Vda+CJW3yhrUTVZyQRxsE2MPH/vipsnBogyqnEb8uT/YUcGAaEsBg==" value=1..*
+bound-lock/1 at=policy:law/falsifier by=owner epoch=1 form=interval measure=count role=reads scope=law/axiom/**/falsifier sig="ed25519:era1:M5DMYgtJFaX29P34olj0FNK8UBjqiRLj3byRcjEhnxDN3QSyMWGA6mvOp1ijaIS7idBce1x5T0WMoqk+qFguCA==" value=1..1
+bound-lock/1 at=policy:law/unique by=owner epoch=1 form=interval measure=count role=reads scope=law/axiom/**/home sig="ed25519:era1:vhnyXv0YBzJ17O0jdtTm/1TRTP+Nh2h2cn49OT/dp8RL3liwJsjHYxCUhRY60dX1TTDMgp/Zb/mNyZutaxYCBg==" value=1..1
+bound-lock/1 at=policy:law/not-derivable by=owner epoch=1 form=interval measure=count role=reads scope=law/conjecture/**/derivable sig="ed25519:era1:1iFuhrbOxyWcHcw0wlwkZahZG2+FjnEV8phpaFVMR9v9bq7bDqqVEKg25ZmVOpyuf8Po3m6nPbCyb8mW53yJDQ==" value=0..0
+bound-lock/1 at=policy:law/falsifier by=owner epoch=1 form=interval measure=count role=reads scope=law/conjecture/**/falsifier sig="ed25519:era1:8YqTiyY0QL8ysY9D/KPZMju/ITjw8WhleQukz7jBbsueHD6ZE+TFBcIG/aHMLg5OWE0cthDsKzjs7cFbkBzhBQ==" value=1..1
+bound-lock/1 at=policy:law/unique by=owner epoch=1 form=interval measure=count role=reads scope=law/conjecture/**/home sig="ed25519:era1:WGdqUaim8AIaVdcxH35Q/I4EWcX6ZahkAMbCZ7XQW4/eM9TJtP+75TSjuTcab1MJHvI20o6KunPQVgnt9RynBA==" value=1..1
+bound-lock/1 at=policy:law/unique by=owner epoch=1 form=interval measure=count role=reads scope=law/definition/**/home sig="ed25519:era1:Sk/aHJ/tvyjvz76Vg+TMLYeLLjscRL+sPcaq6YvsdfJTSNXLDx0kObHqT2z/w17pL+c3xt7wwuwu6/W2+JuUAg==" value=1..1
+bound-lock/1 at=policy:law/implemented by=owner epoch=1 form=interval measure=count role=reads scope=law/definition/**/implemented-by sig="ed25519:era1:4NCePwL69/uVjIW31687VvkGCYMImh2LyXRapFtvTCMEkRV1Wt5veNKtXcWpVb9zHvE3KpY8D9uNMr6/NQttCg==" value=1..*
+bound-lock/1 at=policy:law/derivable by=owner epoch=1 form=interval measure=count role=reads scope=law/theorem/**/derivable sig="ed25519:era1:oBn3ikuSF3Cr5B4595PeRjHccIDV7pNy86OJPmTBI8PVwQL/58ZQsuwUcZMYOD5L2SP4MqAZAiG4h4xfk42RDg==" value=1..*
+bound-lock/1 at=policy:law/used by=owner epoch=1 form=interval measure=count role=reads scope=law/theorem/**/encounters sig="ed25519:era1:7DZqJz+VV3QHr5cGWHyvC1pDnMWNPO+OqAVg+2P8XpXcpetzmprke581KgO0aB41ATzML2y4flkIGRZ3rZKkAw==" value=1..*
+bound-lock/1 at=policy:law/falsifier by=owner epoch=1 form=interval measure=count role=reads scope=law/theorem/**/falsifier sig="ed25519:era1:VgtzgMSd+H3vk/GbzrKf+jEb+5KTDAXW64DWsRONKHVO/XqO7Jpze/Fx5Lhnc5y6DxLhcS+TzJSBMuvc67itAg==" value=1..1
+bound-lock/1 at=policy:law/unique by=owner epoch=1 form=interval measure=count role=reads scope=law/theorem/**/home sig="ed25519:era1:1CplAgxSOL5Q0OY5lBinVrRkWpSe28DgGzEcI7Q8HrfMWhYPOq1n+fwbwcWVf3FAfyjPUixv8M9soFooxramCg==" value=1..1
+bound-lock/1 at=policy:law/derivable by=owner epoch=1 form=interval measure=count role=reads scope=law/theorem/**/reproduced sig="ed25519:era1:IYUd9+kxYV1OZcmwwiNzvn1nJ3si7N/5QcfNauhd8tjQb+9oThb+7aiotJDfNXdCBBtr1vuNhF+ggUHTXriXCg==" value=1..1
+bound-lock/1 about="the record of a build" at=witness:rendered-leaves-read-as-sources by=owner epoch=1 form=alphabet measure=role role=reads scope=leaf-role/.cache sig="ed25519:era1:AXn+gYz0gSOPpMkUW2m7aIl52IRVT8qQfbZT0/Bbx7XTeucPjPHXiyEUz9wFptIGqtiFEDa3i7yzcDnXCdXxAA==" value=derived
+bound-lock/1 about="the forge a place asks for, rendered from its lines" at=witness:rendered-leaves-read-as-sources by=owner epoch=1 form=alphabet measure=role role=reads scope=leaf-role/.github sig="ed25519:era1:SV1AZMODjaVkbfIaUIR4k8hcV1hp0ywYo7mLR3wHMOwJx5ZEtdDbsTNL+OQH2Pt+773LlIm84bEmoL9SSPA6AQ==" value=derived
+bound-lock/1 about="what a repository of the place never holds, rendered from its lines" at=witness:rendered-leaves-read-as-sources by=owner epoch=1 form=alphabet measure=role role=reads scope=leaf-role/.gitignore sig="ed25519:era1:RTXS51r14bE/UnX3bkZA9+O3NlFOH9wJwKn8Zqail3zu7DzUbvOTk2ZaNPlGR1tMMMN76h35pgGVXvcSvpeSAg==" value=derived
+bound-lock/1 about="how to cite a place, rendered from its lines" at=witness:rendered-leaves-read-as-sources by=owner epoch=1 form=alphabet measure=role role=reads scope=leaf-role/CITATION.cff sig="ed25519:era1:CBE0HoqtLuqqmE7K8KyWZsmUsMJtIAC37tPiTZDJzcvBhJIh/tUDICnf9EoN6xsWhYPXfgECkiLFu06j68JtDg==" value=derived
+bound-lock/1 about="the guide of a place, rendered from its lines" at=witness:rendered-leaves-read-as-sources by=owner epoch=1 form=alphabet measure=role role=reads scope=leaf-role/CONTRIBUTING.md sig="ed25519:era1:G0AP8wK3QVlDgOyd9VF4G8hZDbJEOuCqZy7b/JON2rVxsBuT+Vz7EyQqH8acL3MDimTupUoKojtO6AE6XS3vAw==" value=derived
+bound-lock/1 about="a leaf the manifest makes: the lock the installer reads, made again when the manifest changes and never edited by hand" at=witness:the-notation-was-a-legend-and-a-count-was-typed by=owner epoch=1 form=alphabet measure=role role=reads scope=leaf-role/package-lock.json sig="ed25519:era1:gTEwzjPeoiNvFIngvxGfGso8VGTLW4XMtfq/3ihggLA3eDmz+9jzJEzxy1EDf9yP/8yJJ+OwOcqOdghjRRgxCw==" value=derived
+bound-lock/1 about="a leaf a view writes: the reading a package carries with it, rendered and never edited by hand" at=policy:bound/leaf-roles by=owner epoch=1 form=alphabet measure=role role=reads scope=leaf-role/receipts.bound sig="ed25519:era1:UM0333SnVx+BRcq/fyIvbGMFpjysQyeeCsMWhECGh0UrHn/smTclqVR0S/IrnGqGo0NnmSbvP/IWoQqs6GyyCQ==" value=derived
+bound-lock/1 about="the reference of a place, rendered from its lines" at=witness:rendered-leaves-read-as-sources by=owner epoch=1 form=alphabet measure=role role=reads scope=leaf-role/reference.md sig="ed25519:era1:77Pi7+KStRDkAxjAR88+cNJRNFc+V1IR0rg6MaYVUrsrjQvXdItw1z18EB2a6vyIxjV9L8SFl5CbpZD8hN7dCw==" value=derived
+bound-lock/1 about="MIT License\n\nCopyright (c) 2026 Lapxo\n\nPermission is hereby granted, free of charge, to any person obtaining a copy\nof this software and associated documentation files (the \"Software\"), to deal\nin the Software without restriction, including without limitation the rights\nto use, copy, modify, merge, publish, distribute, sublicense, and/or sell\ncopies of the Software, and to permit persons to whom the Software is\nfurnished to do so, subject to the following conditions:\n\nThe above copyright notice and this permission notice shall be included in all\ncopies or substantial portions of the Software.\n\nTHE SOFTWARE IS PROVIDED \"AS IS\", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR\nIMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,\nFITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE\nAUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER\nLIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,\nOUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE\nSOFTWARE." at=policy:license by=owner epoch=1 form=alphabet measure=id role=demands scope=license sig="ed25519:era1:0je12aL0Yb7P5amtrjLcQ4ZtCtqFtITpk6W6NwisY6eM7oQpetPq+jP5Fq3mcHTfBSaUejupASjjHM92lG2fDA==" value=MIT
+bound-lock/1 at=policy:manifest by=owner epoch=1 form=alphabet measure=id needs=package.json role=writes scope=license shape=package.json sig="ed25519:era1:7jT7RSElWMH8elBmaTg5ruxMk3E9J42tmor5p9S1C5oaSzuwBIpFejop0Wovr8DENozQncMN98qc7Vh4/t4NBw==" value=MIT
+bound-lock/1 at=policy:tree/file-small by=owner epoch=1 form=interval measure=count role=reads scope=lines/*/src/**/* sig="ed25519:era1:Dq5jd+HBECiVlFbXZv6GfJT4J/37tFTV/JaQZaTw3Xu3yNKmh029a7FkzL/quQVvGG+uyPPwmAkK3psA7PPRCw==" value=0..500
+bound-lock/1 at=policy:one-theory by=owner epoch=1 form=alphabet measure=id role=reads scope=literal/** sig="ed25519:era1:c9fCQzusTpXqvuY5V4zcTZtgS5xL0k8GvO6uT7V40UyVYhBi4XtYISlmSJZUgMrcmhd6W4bhk7mr922Vi6kACw==" value=not:fs|path|process|Date|paper|§|card|judge|receipt|topos
+bound-lock/1 at=witness:orders-to-a-model-inside-code by=owner epoch=1 form=alphabet measure=id role=reads scope=literal/**/src/** sig="ed25519:era1:D06HiQahn8CkHcFqrTK+okrX36sKhtJS4aR8GEK358qiVQ34ft//KTlb9SFyOS9PBM3e5pQ/QIZkDTScZE7cAA==" value="not:isolate|NEVER|ALWAYS|MUST|do not"
+bound-lock/1 about="obligations knows no instrument: its name, @lapxo/bound and bound/, never the noun a bound, which is the theory-s" at=witness:the-noun-bound-in-an-axiom by=owner epoch=1 form=alphabet measure=id role=reads scope=literal/src/** sig="ed25519:era1:O58BL2uqHwuBrmkYEIJbAGC/wqhweMSctf2xC29I4mwVYg5rUu2PFlpqrpmOvpSFcmwg2qOIwvnaz2BPD6meCg==" value=not:fs|path|process|Date|fetch|card|package|placement|judge|receipt|topos|@lapxo/bound|bound/|render|npm|github|symbol|generation|Infinity|parseFloat|toFixed|grey|agreed|split|free|required|forbidden|conflict
+bound-lock/1 at=witness:placement-and-card-pack-live-in-obligations by=owner epoch=1 form=alphabet measure=id role=reads scope=literal/vectors/** sig="ed25519:era1:OP2K/PE88XTNYkxRrGGAgz2GXWt3MTXbmn126lhqt9+kDUYXJmAg7q+egC0OemVkU7vtdwLV//nSNqf6wZ8jBw==" value=not:card|symbol|package|placement|judge|generation|receipt|topos
+bound-lock/1 at=policy:manifest by=owner epoch=1 form=alphabet measure=id needs=package.json role=writes scope=name shape=package.json sig="ed25519:era1:sR+a0aN3a7ZgvNIY3J9E3ehLQkWYj1iItQV4o4j8S/BC0yU0BBJVZoYej3nLi/uh1kSynQtR79a1fZKDRJM2DA==" value=@lapxo/obligations
+bound-lock/1 about="the members of the object the notation writes, in two pairs: its value, the floor ⊥ and the ceiling ⊤, both read and never stored, and its relations, the origins O that spoke on it and the order of rest ⊑ it stands in" at=witness:an-object-that-stored-its-poles by=owner epoch=1 form=alphabet measure=id role=writes scope=notation/cell sig="ed25519:era1:rFgIT69ZZBJHW16wEJ0tJm1FTiX7lXeVxVuBOEymlW/qu+cCKBzfyoxdXI9jztEvScmyfkpGIlJHLiA8sASgAg==" value=floor:⊥|ceiling:⊤|origins:O|rest:⊑
+bound-lock/1 at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=id role=writes scope=notation/claim sig="ed25519:era1:ydKAY3hbZtMDj93XfifNvUso+0G6ZYF9+e4XTKJdICYeGR9GZciCJksd3k2mT7Zerh6mhMO4dYQL8IboP11tDg==" value=who:origin|lo:span.lo|hi:span.hi|without:takes
+bound-lock/1 about="the formulas the first resolution writes, in the order a reader looks for them: the object and its poles, where a cell is information, what no act raises, the sign and phase a claim carries, where a signature lives, the quarter turn and the state" at=witness:an-object-that-stored-its-poles by=owner epoch=1 form=alphabet measure=id role=writes scope=notation/formulas sig="ed25519:era1:VSpV03JAj3bVncH9Z+Dn8KOuM3peStbQuM4b5kdsLNeLOJarT9fUaGfRVFr/zP4jFNCHKiKOylmRslnIijrbCg==" value=law/D11-the-obligatory|law/A1-encounter|law/A7-freedom-conserved|law/T49-amplitude-has-sign-and-phase|law/T95-signatures-live-where-they-are-signed|law/T87-the-quarter-turn|law/D3-state
+bound-lock/1 about="what the tuple is read over and at: the lattice L it is given and the resolution r of the reading, neither of them a part of the cell" at=witness:an-object-that-stored-its-poles by=owner epoch=1 form=alphabet measure=id role=writes scope=notation/gloss sig="ed25519:era1:xHSWVzxzNnAC9nTcWmS5DDWZ8J8wkEleXXk5RWcTtm76WCTsW0lf1uELTK9WB7YtSpLxLNS6i1PaHloTmNf+AQ==" value="over L at r"
+bound-lock/1 about="the glyphs the notation joins its symbols with: the brackets of the tuple, membership, the product and the arrow of a signature, and equivalence" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=id role=writes scope=notation/glue sig="ed25519:era1:nRiR9/edE+s8TdwfkmDXd6gsXubEeOKIJNhUhJAWipCSHPHkMPLhzPk1beaMGlEsNUwFEWSZ/mWQ/TTZEomLAQ==" value=open:⟨|close:⟩|member:∈|product:×|maps:→|iff:⟺
+bound-lock/1 at=witness:an-object-that-stored-its-poles by=owner epoch=1 form=alphabet measure=id role=writes scope=notation/moves sig="ed25519:era1:5zboz6E1jE7lwBICiW8OW7ir2y5TgY2Aes3mDAN1VFuibpu8216H4or/SwmIzeGMZNCdOCYK6uMekr9gBSa1Dw==" value=vectors/moves.json
+bound-lock/1 at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=id role=writes scope=notation/named sig="ed25519:era1:srOCs1HCCBMJeo6a7vmN090csr69TnvlWH7MSdnMXZ5F6fz3X7QaHErmsA2mBU+V7JOX7KMrqEDqGGnLNO25Aw==" value=string|number|boolean
+bound-lock/1 at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=id role=writes scope=notation/object sig="ed25519:era1:KrtoyGEHiyt77WZr4kC+7PNm0w6hmP0EyJGpDWpufploCOIKsxye312qc34Ii3TJ/gNyH1zVT2vTBJ6N4zUZCg==" value=law/D11-the-obligatory
+bound-lock/1 at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=id role=writes scope=notation/renders sig="ed25519:era1:sNjXArYKWVbJ5C/dx5wzq6mJiYkzU5zu+f7mKUnJtiCKKfSQmzVSVdSoZ9Od0HujHwe3jbZpvdYwBX2iL3MdCA==" value=FREE:green|REQUIRED:grey|FORBIDDEN:red|CONFLICT:fork
+bound-lock/1 about="the four states in the order the object decides them: bounds that cross are a conflict whatever the claims, one origin is required, claims that do not meet are a conflict, and claims that meet are free where they fit the bounds and forbidden where they do not" at=witness:a-state-table-in-another-order-than-the-code by=owner epoch=1 form=alphabet measure=id role=writes scope=notation/states sig="ed25519:era1:0RFLGhz2ACIzxMai6l78PSa+LWqKz5gRKu5XfZtpmCRMZE2tV3Kwsb2xf1y/RFNIm9ZWe3YnbRinnGb0SAEgBw==" value="bounds that cross:CONFLICT|one origin:REQUIRED|claims that do not meet:CONFLICT|claims that meet and fit the bounds:FREE|claims that meet outside the bounds:FORBIDDEN"
+bound-lock/1 at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=id role=writes scope=notation/symbols sig="ed25519:era1:krlBdoaGo9wSQYFQqTQmPoE6+VaZKblLTr3sUlTbj64XEqM+gw5Y2Ot2uEnYBnpikFUlcUmUC3g3se9Q9OS3Cw==" value=object:c|state:state
+bound-lock/1 about="the types the arrows of the notation are written in, each with its symbol: an origin is its name and its phase, an act carries its sign, and a state is one of four" at=witness:an-object-that-stored-its-poles by=owner epoch=1 form=alphabet measure=id role=writes scope=notation/types sig="ed25519:era1:ghSQLggh+x+QNko+2UFgrnftKZszuDu8F57VDxZQwpROglqa6tTQd41U8WLJiW2zKO5JgHF2422cUkAbTCqRCQ==" value="Origin:(o, φ)|Act:s|State:state"
+bound-lock/1 at=witness:algebra-has-encounters by=owner epoch=1 form=interval measure=vectors role=reads scope=offers/** sig="ed25519:era1:BgNVXlLr6/r9sKzqi4M7Rrvp0cOdW+wl90J9mOzrEM0+x7lqwQjPKmc4SI0pxqf8RsWd4smn+xRYaj2vUnVKBQ==" value=1..*
+bound-lock/1 about="who could close each conjecture: a ledger with the data, a mathematician with a proof, or no one, since it is a reading" at=witness:the-final-pass-before-a-repository by=owner epoch=1 form=alphabet measure=id role=writes scope=open/who sig="ed25519:era1:M+H8WRNC6OEVZHAB7LqrjpRXViJtGR0LlcEaBCWskJgBrUTYmh7UTvD1vzUsZ1HGBAsjXGW5+3UANjF9DK8sBg==" value="for a ledger:H1-uncertainty|for a ledger:H2-density-attracts|for a mathematician:H4-enriched-semilattice|for a mathematician:H9-the-obligatory-is-maximal|readings:H3-a-distant-signature-moves-a-cell-that-did-not-move|readings:H5-hilbert-is-the-obligatory-without-four-fields|readings:H6-structure-of-measurement|readings:H7-the-medium-of-encounters|readings:H8-refereed-game"
+bound-lock/1 about="the branch every push is checked on and every version is tagged from" at=witness:the-place-carried-the-pipeline-of-another-registry by=owner epoch=1 form=alphabet measure=id role=writes scope=pipeline/branch sig="ed25519:era1:F7DOYRolvVJIAXt79VZhD+2A7a6aeokiRYJ4ecsHXyyk3b14hDSCqIjUVArG5EZw8goc8yr9PxMsUi6epxs0Aw==" value=main
+bound-lock/1 about="what the forge runs to build and check the place, step by step" at=witness:a-forge-that-read-its-steps-from-outside-its-pipeline by=owner epoch=1 form=alphabet measure=id role=writes scope=pipeline/check sig="ed25519:era1:tsxN5K4T4FT6bgRsqGhbqyUN8IjzzSi0v59eD0bnwOPrAa0uIHo6TVNldb6iBOsdSqOMZEv2IKmcx6ikUrnFAA==" value="npm ci && npm run build"
+bound-lock/1 about="the environment a release waits in until a person admits it" at=witness:the-place-carried-the-pipeline-of-another-registry by=owner epoch=1 form=alphabet measure=id role=writes scope=pipeline/environment sig="ed25519:era1:12MXOOzuYnjMq902T1pXFHiyCWk2LhDVwROHzMkT5JZlgEJ9bBCtn10YYm94yy8Aqo06y5ZMZXELWKTo3bkmAA==" value=release
+bound-lock/1 about="what prints the name the place publishes under" at=witness:a-forge-that-read-its-steps-from-outside-its-pipeline by=owner epoch=1 form=alphabet measure=id role=writes scope=pipeline/name sig="ed25519:era1:PH3NxbJhuPa/hczYNpN5eikMekhlgFdldVWVZ6n1deAXEBLGr9sFqM0jND8iu4Yv5gn7kENesuRmM5fxzcQUDw==" value="node -p \"require('./package.json').name\""
+bound-lock/1 about="the engines the check runs on, the last of them the one that publishes" at=witness:the-place-carried-the-pipeline-of-another-registry by=owner epoch=1 form=alphabet measure=id role=writes scope=pipeline/node sig="ed25519:era1:G7TgvnXkX5ytgZ1A1qwUCJNu8j569AUha/qfYY0iq+mU80HFRh03HDvYG28Qvx2XXMDbPy0x4i2r5//iihEfCg==" value=22|24
+bound-lock/1 about="how the release packs the tarball it attaches" at=witness:the-place-carried-the-pipeline-of-another-registry by=owner epoch=1 form=alphabet measure=id role=writes scope=pipeline/pack sig="ed25519:era1:pV+jy7uwzPy5WE4yh/kdZZ5mJctUisWkg1fm3uXcuzs/SxF/ci4drhpdmYPb8CDcLdmVc9zug8i9mZEw7UZsDw==" value="npm pack --silent"
+bound-lock/1 about="how the registry admits this place's publish: the trusted publisher, the workflow's own identity over OIDC, and no token anywhere" at=witness:a-publish-that-failed-and-read-green by=owner epoch=1 form=alphabet measure=id role=writes scope=pipeline/publish/auth sig="ed25519:era1:jqfUYBCCOtQ2R9vrZ21yuq8u+1SjoyeHNdRQripjrF3SdNLcteDRLyrFNACrcUT6p/4zgre1IBj9kQyFgF/XAg==" value=trusted
+bound-lock/1 about="CI stages, the owner promotes with 2FA: one origin is potential, the second makes information" at=policy:publish/staged-1 by=owner epoch=1 form=alphabet measure=id role=writes scope=pipeline/publish/command sig="ed25519:era1:EJu6HFFXpvzD4VmofoTuVjJM1DesC5Wf3Xsese1/Eg0Hi85Kn0+2fH0Sp/OCFi1WBpOjY8hqsVMXxtUEGcjJBA==" value="npm stage publish"
+bound-lock/1 about="an exact npm closes the cell to 0 bits; a range is a silent substitution" at=policy:publish/npm-pinned-1 by=owner epoch=1 form=alphabet measure=id role=writes scope=pipeline/publish/npm sig="ed25519:era1:Z0WpikKa8UcjZX7VsPRyWtCxwDIRTPJWhYja7Twh5SFGnz/mjGj4sd6mbSw1DgA5zPUJ2QXWGOrL7LOyGRU2AA==" value=12.1.0
+bound-lock/1 about="what the publish job does when a step fails: it refuses and the run reads red, it never continues past the error" at=witness:a-publish-that-failed-and-read-green by=owner epoch=1 form=alphabet measure=id role=writes scope=pipeline/publish/on-error sig="ed25519:era1:3ZO3e2fNGsru2clO6r59LHxuXxqyVnTkfklEunX3PrQlJnI8otguN0g1w15BjIbPtn6KcWdTobpRi+W+vzntBA==" value=refuse
+bound-lock/1 about="a version is published once: the job asks the registry first and a version already there is never published again" at=witness:a-publish-that-failed-and-read-green by=owner epoch=1 form=alphabet measure=id role=writes scope=pipeline/publish/once sig="ed25519:era1:XQs2NwC1soChpc7If1FwDrsGTmcF8FR8dGspsE6ErPqXvJ36hFK8cZigDVCCHjnebUJ/68MBma0rycZQqbzaBQ==" value=present
+bound-lock/1 about="who witnesses a version as published: the registry, where the owner promotes the version the job staged" at=witness:a-publish-the-owner-never-promoted by=owner epoch=1 form=alphabet measure=id role=writes scope=pipeline/publish/witness sig="ed25519:era1:9gao361QIUYXBHjMlUoY4HXDdFPX12FXrKYMDYCtU8wzNNLsVQjdVGGGISO3qlbx4V1XRhMB+lcsaik05Y8OBQ==" value=registry
+bound-lock/1 about="how the release asks whether a version is already published, so it publishes each once" at=witness:the-place-carried-the-pipeline-of-another-registry by=owner epoch=1 form=alphabet measure=id role=writes scope=pipeline/published sig="ed25519:era1:y1ViLP4dKX4doNydKBpFJ1pAYwcMsLnGI/jYJvcpKdqTQ3LloF0oh+enCT8b84xFy2MH4Mq1VkbV0HXPCdptDw==" value="npm view"
+bound-lock/1 about="the notes a release carries: the message of the commit it releases, where the birth writes the release's name and verify's attest of its receipts, which never ride inside the folder they name" at=witness:an-attest-that-could-not-ride-in-the-folder-it-attests by=owner epoch=1 form=alphabet measure=id role=writes scope=pipeline/release/notes sig="ed25519:era1:0puFOu+xKVAtSdhKsSHp3RVWaIqHATHCAMy4AfRTm0q7Z5jk0vbktFMGE3c6QdERTgbZuh/TxA8Ep6SQgmG2Aw==" value="$(git log -1 --format=%B)"
+bound-lock/1 about="the second head's command in the job that runs both heads: it folds the place again and signs its verdict with the key the job is handed" at=witness:a-badge-nobody-could-reproduce by=owner epoch=1 form=alphabet measure=id role=writes scope=pipeline/verify/command sig="ed25519:era1:75CQ+9FjfDuq5y7bdsRBqpbhw23UUsKgpx37cDzBFVWpZdrlm70j1DBFOdpKdhI+crUz9FY/ENEKuNeTc6H0CA==" value="npx @lapxo/verify . --attest --key-file $VERIFY_KEY"
+bound-lock/1 about="the name of the secret the job hands the second head its key through, never spelled by the capsule" at=witness:a-badge-nobody-could-reproduce by=owner epoch=1 form=alphabet measure=id role=writes scope=pipeline/verify/key sig="ed25519:era1:Vs91l5A8oUqw6URgy46jDFa2MPMjjq/J3mWghODDWuYyDBJI8O/IfIFpGG4jo1ya+ptDABo/Bq04LaHyuy6uDA==" value=VERIFY_KEY
+bound-lock/1 about="what prints the version the place releases" at=witness:a-forge-that-read-its-steps-from-outside-its-pipeline by=owner epoch=1 form=alphabet measure=id role=writes scope=pipeline/version sig="ed25519:era1:CB+3ymR8HJ54upAKCzDYXlq17LqLB/Tyyj4bwm7nLnTidHNXdnAsZJUg+tboQj2CFQE+NM5W3StNHSZvMe6iBw==" value="node -p \"require('./package.json').version\""
+bound-lock/1 about="their claims do not meet" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/apart sig="ed25519:era1:fym5JXviif3+d22p69zgl11JcoxKriI27E4crqKy8cwbxdrPGozqgYYETNlNWiruqmcG4qKH0U0wdCaR/UhlCQ==" value=lock
+bound-lock/1 about=cases at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/badge/cases sig="ed25519:era1:UBJnK4+flnO5S41x+5NudTdPh34On5zWBINObIeWvQU1a4UKba5YI0nzozskBbn+plgKtiRa5U1iBEn7F7I5Aw==" value=lock
+bound-lock/1 about=dependencies at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/badge/dependencies sig="ed25519:era1:fyJqwbD7KFFg2cZ1d4KxIyk2F0k/7OFPYitEpnEPeVzQifT6LjGb6C2flxnEhaHiD17lyOwv1uowjYoJ1j79BQ==" value=lock
+bound-lock/1 about=DOI at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/badge/doi sig="ed25519:era1:tb1qcfVJlPDa4LMutHlChYevguiOeSdaLcH39B/gDwaCdt2ctkMwjv0A6kv0knTBkEhqgKHWHmttYl34yOx/BA==" value=lock
+bound-lock/1 about=node at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/badge/engines sig="ed25519:era1:CKqOcwCEnQBrdZFBcIEwtcjp1LsM4LE3P44/T9WH6EX/fSqmhP2tu8YCrNZAs8Nm/5SRsK4Zplq+l7NiFzQiCA==" value=lock
+bound-lock/1 about="{count} hold" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/badge/held sig="ed25519:era1:qdWWJbykZBhPAJwexHe8Ke9iVbJ1awUxKjnhdeQ1VudiyWAnZLXCwnLRwxIjNSYTJVkKlStvKwpWCkZrqXPqDQ==" value=lock
+bound-lock/1 about=license at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/badge/license sig="ed25519:era1:1s9DIwP+nSGBkzUHYQF5yuKzlRks+pWYg7Hi/RhOU2ImsajRd7Bklkjup9whH+DY06wO/LoWIbrRhzfIFHGvBg==" value=lock
+bound-lock/1 about=verify at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/badge/verify sig="ed25519:era1:HtE9/tzzqlNnVn9qH2gBcxmhWyeP+gJzhv+E6H3Sl87SNnR2Koqcsf/s+NN8RiGyUNktuMh1pVc2iMeyIKzdCQ==" value=lock
+bound-lock/1 about=version at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/badge/version sig="ed25519:era1:u5XOGcFnYQaOm6wrU2E7HfTbjkLnsscrsJr+vw8uToFy3EtToUsdklauBqARWMPh/ySChF/b4Pzpd0jzat78CA==" value=lock
+bound-lock/1 about="{count} origins: {apart}" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/cell/apart sig="ed25519:era1:45+rHIz0J+4sM0uWhQCfgxej8lnhGTSFgGf4f3r9vus3D8g7hXwCJTpx7adwINdTTA4BL8LIVqciAxWZG+IiBw==" value=lock
+bound-lock/1 about="{count} origins and the bond where they touch" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/cell/bond sig="ed25519:era1:Ve9UuwxVx74afTeImVEnBzHjVC9GIqikhlzjMixTqnAcuSJBwk0v2ZT8rYiRuUFIh90qUZozjvTLwTsYhpC2DA==" value=lock
+bound-lock/1 about=ceiling at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/cell/ceiling sig="ed25519:era1:wjCe2Y5A6RPpnx03q8jj/lQhIOSNhwlP6FhOlzbjHX4xu5pWq+CcvYm4n+TLIeviiMnP0Hp9VmRS2EdfVlWECg==" value=lock
+bound-lock/1 about="{who} claims {lo} to {hi}" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/cell/claim sig="ed25519:era1:CDPvs0qbTIF3UFgAXZ50anVnW6TssVf7KGeaE5SUDbonT4/u6yH5huY/1HEwL+jzkTZlo9LnziPCLhP91EAdBQ==" value=lock
+bound-lock/1 about=floor at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/cell/floor sig="ed25519:era1:rDLtbwc2nIj35caB5N7v2nTgGyK4YOWD70LsW+wrBrACj+mTg+sr+lwvYcVhJ36pS/w2ApiI4/SdkwQ9fz78Bg==" value=lock
+bound-lock/1 about="what they hold together runs from a floor of {lo} to a ceiling of {hi}" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/cell/held sig="ed25519:era1:mIFWw15m1at/9U35J6eBBk0+pSOwWdiNtPylbF+gLoZ2pyXKLWNHPe173Gr9RyGxI19GOSDTTC7imtLjOU/UDg==" value=lock
+bound-lock/1 about=held at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/cell/held-row sig="ed25519:era1:uW982AAYhugtwSi4JmnAbfydPHaAqW+hdrxnvEfnC4Tgw2GHI9miX75hvlR9wJ2MnATY4DNSRvMotiJDxHV6AQ==" value=lock
+bound-lock/1 about="{count} origins on one scale: {claims}; {held}." at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/cell/origins sig="ed25519:era1:5WQcajmeeNyqq1iYibcCG9xM6PRM+SdaJnXOSbOpX+02DpGkhrGNAUWqY/y5yrzVCiEKXxpgLim7Ji+gHQfgDQ==" value=lock
+bound-lock/1 about="A cell" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/cell/title sig="ed25519:era1:z9zmrGqG0xblocxEcDnfaAYzsaoVFyA1I6zYBCfa/AxhgJ/FwgXcfy7J+NXZuqY/92if9vehpAfqVK3Cmi+2AQ==" value=lock
+bound-lock/1 about="Cite it as {name}." at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/cff/name sig="ed25519:era1:gCjrOpn6WlpKeIYTnMJNwLN99kfjckjBjzweR91JzQ6WFRlc2lCBf6ElfJedGq5loiWQiMdlKUISxBwlgnuVCw==" value=lock
+bound-lock/1 about="Cite it by the paper it rests on, {title}." at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/cff/paper sig="ed25519:era1:GCxZtMIOhsqNDQcrlW9ZlvmYcLpovsEoBOQYSe7dTxGd9tKAYT81wEfE5E4QCwc+QqSmQjc/RJkVGeQGuv6GBw==" value=lock
+bound-lock/1 about="{glyph} `{check}`" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/check/command sig="ed25519:era1:q/cl8FoYOb6Vj7Tr9SQ4+ajvgRPzf6pYcT1AjHO9E6pOnGDG+mxx4KsDIDYr+A0si6trNhqfyHHqQWw9Nk32DA==" value=lock
+bound-lock/1 about="they run with bound: `{fold}` {about}" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/check/fold sig="ed25519:era1:52pCelFY5RgoZN7eCi2xKbWTkPH7Icl7NICbrDN+IkS/75+5RT2YwNoRZvtEhAOlrKA2Kg3V2PJFd9WZhlAsBA==" value=lock
+bound-lock/1 about=Check at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/check/heading sig="ed25519:era1:gwCaN0x6rYrNsXAGT28o4FVfFEMdhbOZPCBXksYG+S/12Ehvm1ykpwvjemkvOypnWWqYEANwRzgL7F84ud44Bw==" value=lock
+bound-lock/1 about="{glyph} {count} cases hold" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/check/held sig="ed25519:era1:yw0MvO04cUUsNLckyLXWsiiEEc3qyFR4/t7zX4nBo+JAbjZJ1wRn6JcVQ+EL9aUvDc9IQUQv0MSZ+otg7E1YAQ==" value=lock
+bound-lock/1 about="{glyph} [repository]({repository})" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/check/repository sig="ed25519:era1:c5BxrVjEZ1FC5nY1pKxZt/CMDLMnSsVHeuqXLUkKQ9akCv2GdDqjdOdvjTPJjyLgH5SP0M8kBqiH0wOXW9JfAQ==" value=lock
+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=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
+bound-lock/1 about="Every conjecture in full" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/open/full sig="ed25519:era1:JPLltBpgcFnFwua9FjnQJhS0pdONINvbv72xcuTFJdOhnMkBn2uRpb3FmHBYbiVQ00vamjWsccCbNINyR8OXCQ==" value=lock
+bound-lock/1 about="{count} {group}:" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/open/group sig="ed25519:era1:YAZdDb1vhfM7sLlqiNyBK6jh3DMHJXlMXeMlTucg0zG2TflD0yRRR3jSQRTr5GbEU0gJd0jJUIXnT09ku155Dw==" value=lock
+bound-lock/1 about="What is open" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/open/heading sig="ed25519:era1:84ZRV7rTb5mi19z9yx/SbYK9dMXeR6nqHr+DnwgFYnnq7qPPFhhyMhxLO/bogqQcr1EfrdgzJVrEP31ueeKhAw==" value=lock
+bound-lock/1 about="{count} lines are conjectures: nothing rests on them, and each names what would break it." at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/open/lead sig="ed25519:era1:xH5gwFNGnC4wzuBc4aE5DqjGOcx+zeASKSY3Y1/d+xiZlwFw/1q4hHczBxK4PevmnnItT1Kaeojo++M4xauZDw==" value=lock
+bound-lock/1 about="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.\n\nWhat it proves is that the price of a fold, the freedom of a system in bits, the four states a verdict can hold, the spectrum a domain admits, the metric that shared observation induces and the phase an epoch carries are all consequences of the same lines. Each law names the view that implements it, and each view is a folder of the source: what is proved in the field view runs in the field view, and a law no operation reaches is a law this package refuses to claim." at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/paper sig="ed25519:era1:jKij+PgJttDz3es4j1ZgZ6QdyJLFxZZ98BM0nWC+GSVNP17wxUiV5JH5e3bYILQmESefsDW0o/Ss6gJ6FXtbBg==" value=present
+bound-lock/1 about="{version}, as its lock holds it" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/pipeline/notes sig="ed25519:era1:N2FOYy3tX3Fo78+ZXHySKQ1oHvUR8LUtreIqRPrnfR/JZIO19es0woNnG9cfDU/gE5ckl5ITZsz4bW1UHqMzAg==" value=lock
+bound-lock/1 about="publish the version once, by the trusted publisher" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/pipeline/publish sig="ed25519:era1:zfy1FDxKSACyZN7oR9t89rCsJ7Q2sgi8gHTRE0Lja5TIYRGgeRswqWsTFZfJidaE18mZN9otNI8sXwdztzvMBA==" value=lock
+bound-lock/1 about="{name}@{version} is published" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/pipeline/published sig="ed25519:era1:n4KvYjvET9Oox1jIEW0nAspy31V4LobvnFlHqRgTFx3XL02+IwoAlmyuQ4tqj+1o6NqCjuu81T75++ul381JAg==" value=lock
+bound-lock/1 about="release the version with its tarball, once" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/pipeline/release sig="ed25519:era1:FYUdIMNtuccPDC2QSipc8GSz9obW4bfzW2AIvARHxG2CuzUkX8qopGywdZFhL2A5vpk7EXOA4y1P4BND/xNHBQ==" value=lock
+bound-lock/1 about="{version} is released" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/pipeline/released sig="ed25519:era1:euPRue0+JbPo7Fbbo1lfjxS+S8dgczQ3MOrzUpx+GwbafIQDCv+4Q8JUnpeTw5TjzWuDLb8waqcW7xQgHjhcDw==" value=lock
+bound-lock/1 about="tag the version the manifest names, once" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/pipeline/tag sig="ed25519:era1:nzDV+/vlkYIgKjNl3kThhEI1StDto05zNvnWpaaKSvbl+2Jt8DoqS7KTHM6Yim543h7iUUdzlnEUTpa3fOIGDQ==" value=lock
+bound-lock/1 about="{version} is tagged" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/pipeline/tagged sig="ed25519:era1:gbBIKNkMD6XraqYhSSJYQMTNFXmi2asIvHPUfzZMVCFji9OpAk8ckBtlUqescI54BGG1ySsBQAKp8RQeoe3AAA==" value=lock
+bound-lock/1 about=Pointers at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/pointers/heading sig="ed25519:era1:vl0t8n8/xaBSrTOI2DMbAK0WAveLCi9okIVqgkb+D7CykggWzb3l91GV2L4gCX3wWdW864FbkizTWJhuE+ZhAQ==" value=lock
+bound-lock/1 about="Learn from an example: {pages}" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/pointers/learn sig="ed25519:era1:wmHrLKrRuZjNo+bUzBVPFwRVIq+Jh7WvVpl6i86+oRpkwL+T2AoIaIfdtpAcGiHokxPikiqbidMjY15BDTBZAw==" value=lock
+bound-lock/1 about="How to read it" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/reading/heading sig="ed25519:era1:wEFvT9yQjC7Ml80gbCHRPyYSbY+HtyJfxqfKjxyW9sg5cIeV5Ljylsl59z2ZE+ZIvBePXy1KELZYQFn+RXUsBg==" value=lock
+bound-lock/1 about="One lattice is read through several views, and each answers one question." at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/reading/lead sig="ed25519:era1:EmYAH/rWHBl4AzhGOYNL/K1vL2QO0xBjxfA1r11+kIjGc7lP5QjNb6zGLaLlcYE/J7HPaP40thEciWnq7C/QBQ==" value=lock
+bound-lock/1 about="The {count} views and the question each answers" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/reading/summary sig="ed25519:era1:0/HeRLaA/9Da0naSq+TyXylLes/ZsZcKMlVHAF0wy8DkXpU68Apv/ChfjWyo928P6drR0FoBCx9ioL4vw80iCg==" value=lock
+bound-lock/1 about="**{name}** — {answer}." at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/reading/view sig="ed25519:era1:htircEAD5e+6WXYSgiGYSlHVqv6VDf33Mt//7uDt9yoTyeB7E7q1ISh6PUFHQhuSKM3Q9PzgN9hDI2Hn/kTJCQ==" value=lock
+bound-lock/1 about=Alphabet at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/reference/alphabet sig="ed25519:era1:HNCacjMLV4tk/02nCL+SgkzR8OKPllxgve2xzQYj1l+m9jJMe22Ib8S0DIIxYRa4KD5akRXt7Yq8EnIC9v2PBA==" value=lock
+bound-lock/1 about="| symbol | names |" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/reference/alphabet-table sig="ed25519:era1:eF0Jim6Gx08JYnYnE/F49JlqM8Ba71g31CggFC4SDHCoB2/pDeAy5QgmnnqwtWnwyxPmNhFcE0EMvPLVE5zJCw==" value=lock
+bound-lock/1 about=any at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/reference/any sig="ed25519:era1:05XLhjUZdtIVvmLbsNYomVAMgnbeQAlwTwgHGKdWD+5yhES6Kpb/OxLtPxCASAKuHgf15Zyscev37qLuPd23AQ==" value=lock
+bound-lock/1 about="derived by the reader" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/reference/derived sig="ed25519:era1:N2SW7o5ZK2bne6UC1oOnx/mEDOxld1BnrL1iZerh3dSpWRtMbDMasZOlaNwymi6nQ8Li28njxG27tAqOdw24BA==" value=lock
+bound-lock/1 about="**{name}**, a form of {args}" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/reference/form sig="ed25519:era1:t89gEv8a/j8Ykwmkvboayy2NjQXjwsR81/s+E1H1lk+LdjwSdubqEh69L0yeFYbnChwfutJ6xmBNgZf7C1iZCw==" value=lock
+bound-lock/1 about=Forms at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/reference/forms sig="ed25519:era1:712CzP+lUJG6+57FDdkvH4tIlkSDXaHYeND3cRllD2u/idiuaLKyZumxN/dRrFJ7PLVnXyNkTSlG3rKU8/QrBg==" value=lock
+bound-lock/1 about=Reference at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/reference/heading sig="ed25519:era1:6TPAks34m+X7XyO/RMR5YCWBRpoYTL25IHxF+EF7tpSzdiJbD6WwJ8U/VHFHx4QjHeNBq+MIb9SJxqXX3U/NCQ==" value=lock
+bound-lock/1 about=Laws at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/reference/laws sig="ed25519:era1:dDZ6nWL3/5IsfuV6gkt8g9sOt8MBoNTmFqrrtOaopXP8p/A+mCQh07aYPugvqRhn6EUHO07aNS9gBSek3ljpCg==" value=lock
+bound-lock/1 about="| law | kind | view | rests on | sentence | formula | yes | falsifier | reproduced |" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/reference/laws-table sig="ed25519:era1:lKu0HQg2Bw72HcuE+CHmLgPfIl9+PTsPNMfFkZwVsmxWY13tGb9RfKZb6yyUV3eyRKivBLz9Gk0usVw0EuY/Dg==" value=lock
+bound-lock/1 about="Every operation this package offers, every law it states and every form it declares: {operations} operations, {laws} laws, {forms} forms." at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/reference/lead sig="ed25519:era1:XuF5yPN9OPCN6QD9ueZ2KGMGQhFSXMSB/zH6fSW70pJpDRCUmw7jbBtanhQkG4T0ZbNJsqIZBZI9g7w0cLwYDA==" value=lock
+bound-lock/1 about=no at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/reference/no sig="ed25519:era1:0XU5tSQIW25JrXeqaJ5gbPtAaTz4rS+0yR2CegxhoEp9/Vyv5X8xyKHcpv1N9qDX7srIqas5pW90Z97zb4RqDQ==" value=lock
+bound-lock/1 about=none at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/reference/none sig="ed25519:era1:wDbBpglpHGZjO72U60N4rPnnAHhdKgcW187h28PO7s0wUwe4iKpWDE6ctiVzt0fGKQj1Ce+qZh+dQDNp4qsODA==" value=lock
+bound-lock/1 about=Notation at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/reference/notation sig="ed25519:era1:5rhA2dGcrJqSPx59m4sneyr3nOA2kgSucNAkAV0oF0sM3q9q0RIRk1o28nqD4/1dJZ0zNVFAXf2bjBomv5bLDw==" value=lock
+bound-lock/1 about=nothing at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/reference/nothing sig="ed25519:era1:fGE8YIfk9zppVqgeSmLUoUtKmUU6oWVZbW0f7cRUyJ530/UTiKEBAzBdzn734pd2I4h2dfndbQffbRAbMk5pAA==" value=lock
+bound-lock/1 about=Operations at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/reference/operations sig="ed25519:era1:MNgvV+kgHzV/6njaL2RkwJsCMaHXckq/s8Q3aYwu9B5m2aIg/Rif2gvrRfnl0sMgxqHx86rxCAVh72u8+BElDA==" value=lock
+bound-lock/1 about="| operation | view | signature | refuses | law |" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/reference/operations-table sig="ed25519:era1:5U88FCvr9MHtYFW9uwLMP4WciWjqjmTIeNfsbtWLkjeENBRJp8UZgzSaAUvv3NZ0O2TnQuOIzEpbWf31uxFVAA==" value=lock
+bound-lock/1 about=owed at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/reference/owed sig="ed25519:era1:/D6iS2rZR1x7JOoOKYJ0VVZcJiqW48B5q/zUeyFqiEFp4k3YTSzyGhU738LniWqGRTlX0Id60EfayMTYe6m7Dg==" value=lock
+bound-lock/1 about="What the object rests on" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/reference/rests sig="ed25519:era1:hRKvjpa3LsYN3QqzdosDvOiRb6dcNn5bfxbQMcsplbgcR6JG9BaqyqadbU9Gaq3e0C5j0sp13Ny/4MlrmU5wBA==" value=lock
+bound-lock/1 about=States at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/reference/states sig="ed25519:era1:xuVncJgPQGvb6P5ok0YDytuXNWrpD8MvAYHOvNfnM9n/u9qVpiYRJY7fYVPi3EJM3LPELQ/VbT04jTOwiMGMCg==" value=lock
+bound-lock/1 about="not a derivation" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/reference/underived sig="ed25519:era1:VMnc0hqX696aFP2oglJcLiNXLcB9hbVSf1fLeCIACyBhNEl2IYUymGQxZbLDaoJUfhQWvYNcDOz9ADEOMgNLCA==" value=lock
+bound-lock/1 about=Units at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/reference/units sig="ed25519:era1:AUOFCsKpKEljlCh4DaLiqxYz+I9I1jmyb3JU+yjvrQ6SfK19FhLJ89rBvMt4ycPSKtQUwukuvd4vcvEOrpEcDQ==" value=lock
+bound-lock/1 about="| unit | signature |" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/reference/units-table sig="ed25519:era1:l2oYkhcAVEqpRY9TG/TEIVuZKqdLzMk70bHHNjnFcnc7smwNRhAG6t3DPQ2wdA4Ldrbsk0ffal1K68ulKccACg==" value=lock
+bound-lock/1 about=law at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/reference/unkinded sig="ed25519:era1:ljWMd02GaUGub89YK+vUmDOsGcEJF8DlUU33p2IJzbX3Xce36nQCVvGcoyA4/cIlTi44+sAjkcBrlM4TuZDqCQ==" value=lock
+bound-lock/1 about="no law" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/reference/unrested sig="ed25519:era1:vonh2dWJY0sUaenJRsQIT85kCCr2eK3Fhg4oO4gSw202MpipAxlP4ykhxUjUZA5NpjaHoCuhgRZX+orUszu5CQ==" value=lock
+bound-lock/1 about=yes at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/reference/yes sig="ed25519:era1:fT/MKBx/+eh+urssVOaovuzevxar0+ziNKAZrvJG4PPKRuEBvVEFwZyHbbZej7e7v1iHLqnag27slz9cPiMnCQ==" value=lock
+bound-lock/1 about=dangerous at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/states/dangerous sig="ed25519:era1:Tejujbuf8FfMSTMpgM92YqbcddVWzfMjHPVCGXhP9WiIo8mZjBhL83IHCkAp2DWRVQVntvgSXZKjcq2RupZDDA==" value=lock
+bound-lock/1 about="The object" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/the-object/heading sig="ed25519:era1:QUVrZ3u95LCymHcbTrW91lPimaNOwDf9ATYMHZvPjjKHsTDRI+U6DmY0EXcchJ9iqEKiHJGJBf0F7wvhvYmACQ==" value=lock
+bound-lock/1 about="The paper" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/the-paper/heading sig="ed25519:era1:/V54sCm59Xa69oLPt3OhqjPC8Pmely8ufbzxTQUCnnUpGrWaAm76/37Mg1g4D0di8Orea+KjRyaw0ekm3VCpDA==" value=lock
+bound-lock/1 about="the algebra of a cell: two poles, origins with phase, eight acts" at=witness:an-object-that-stored-its-poles by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/what sig="ed25519:era1:MBeeancqwCY+hv6P/7kvzs3GTqoXBdgoK9LI2dy0OmIIpSGkT6tnS0xinO7UUc3NE/Sjt9PSYnT5i1xCvRFxDA==" value=lock
+bound-lock/1 about="{sentence} That is {name}, and {rests} lines of the lock rest on it." at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/what-holds/axiom sig="ed25519:era1:2dMEP+ct3jLWGCY+DNovJErmH36y7biNVrUxv9lSyiR6OrvUR5imTfKpNAXSk5WtzYAzuG/+CYAuAjGti61WBw==" value=lock
+bound-lock/1 about="What holds" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/what-holds/heading sig="ed25519:era1:SWQzqDNrj76MoROZgkyfXQ3TgrdhmqOHt8jtTK7FQ6z3yJ3NAv64NEgbteQnGeew5tL39svMChvJFVT+8F5oCQ==" value=lock
+bound-lock/1 about="The theory of this package is {count} axioms and what follows from them. {spelled} of them, the ones the rest leans on hardest, read like this." at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/what-holds/lead sig="ed25519:era1:fH3GRV7qam+7279sXzciEo+R8Y6ymqcZbk4bU6RGdt0slNnD9bg5Yu/tQP+eGvXTfJO+jUyxXFF9T+rUj9JuAw==" value=lock
+bound-lock/1 about="One theorem shows the theory meeting its own measurement. {sentence} {measured}" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/what-holds/measured sig="ed25519:era1:dPizqw27MvhB0dHH1FLsn2+ssnaMyeGuzL51e7JRFh3bMcy/xLyeoFRs8l3kjphcbvchCK9DkVS+zkfjazvtDw==" value=lock
+bound-lock/1 about="**{name}** — {about}." at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/what-holds/other sig="ed25519:era1:90WzhakJQPsgl+4IIgcQ1VyYRFnIkBKUbgy+f1+zhZiL0K3RY4nWRCtEYjaZD4ye1ZvHd1RaWKNECd8ZQMpGBw==" value=lock
+bound-lock/1 about="The other {count}, each one line of the lock with a sample that shows it and one that would break it" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/what-holds/others sig="ed25519:era1:yQhOq+Wat7WPw2QYUBDTM9lI06Jo1un+DGHFdlbjAgy7dMoEqjbNAJHNthuPjeTRZ/T0369hopGHBRiw3IRJDQ==" value=lock
+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 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
+bound-lock/1 about="the axioms of a place, the three most rested on spelled out in their own words" at=policy:region/axioms by=owner epoch=1 form=alphabet measure=text role=writes scope=region/axioms sig="ed25519:era1:GI9yAOHbkwt4lX18pBBCCXmpq5f5QnLA1/4tgVzuSW0px3ykFaqU0mve/jMaGiyxFF/vaKqVYCt8gDit+YC2Ag==" value=leaves
+bound-lock/1 about="the facts of the lock as badges a reader recognizes: version, licence, engine, dependencies, the cases that hold, what the second head says, grey until the instrument that runs it is published, and the paper's identifier" at=witness:the-page-told-a-story-out-of-order by=owner epoch=1 form=alphabet measure=text role=writes scope=region/badges sig="ed25519:era1:3A1omnl9HQcVrZTEOTeCyYi1JoHuGUnp0S1LqV14cLJvPYda3AKULhKsMk76vyzvPAyo3YsyS1lvDGJMlRDnAQ==" value=lock
+bound-lock/1 about="each signer as a life: what it signed, what it left free and where it forked" at=policy:region/biography by=owner epoch=1 form=alphabet measure=text role=writes scope=region/biography sig="ed25519:era1:DABNbNPUYB1AID4gpD9JRdeOjbemIvMlhHqJk/IsdiduwF7U/FOX4PTFpt+/RDn9kyEzNO605gxS56aQ1kYoBA==" value=lock
+bound-lock/1 about="the options a place builds with, each from its own line" at=witness:the-build-was-typed-and-the-examples-compiled by=owner epoch=1 form=alphabet measure=text role=writes scope=region/build sig="ed25519:era1:BeqDY9kVDJSnf4lQPfdsIx9QNnq3Ntya9sXiXVd7di1Q0OJp7ppNJEPFutIAHiyidOuk4L80TXuFFdW5APAcCA==" value=lock
+bound-lock/1 about="what a tree has not answered, one card per cell: its cone by digest, its ceiling, its origins and each state it could take with what that state would be worth" at=policy:region/cells by=owner epoch=1 form=alphabet measure=text role=writes scope=region/cells sig="ed25519:era1:MWm6HeOoLk1x/v+eQhVLL2ckrN3sCZFdtJZGED1slmb/5Hf9oYIy+n3Hu3JhSf7Q7M43lBcONZrFy/hopgloAQ==" value=lock
+bound-lock/1 about="every conjecture of a place as the thing it is: who met it, with what, how together their claims arrived, and whether anything has closed it" at=policy:region/census by=owner epoch=1 form=alphabet measure=text role=writes scope=region/census sig="ed25519:era1:rDkITy7LqvXCm+yUzlb8utk0G1Zpyc3R6/TKZdCAD15Uc1+Oj4Zn+gVbtqBnHiHYDflKQ2Sc5oYGNg7cHAZeBQ==" value=readings
+bound-lock/1 about="the citation a forge offers with one click, from the lines that already say it: the software by its name, version, author, repository and licence, and the paper it rests on as the citation the forge prefers" at=witness:a-forge-that-cited-the-software-for-the-paper by=owner epoch=1 form=alphabet measure=text role=writes scope=region/cff sig="ed25519:era1:iu+0/H4g1T6l52sN5JgyqYm+TnMsk9GYCvpfFJFkasr1oeq4LREWuW8n9ySG11PlPuo1WlI6YVWyy0SQH/qJDg==" value=lock
+bound-lock/1 about="the question that costs least to close next" at=policy:region/cheapest-closer by=owner epoch=1 form=alphabet measure=text role=writes scope=region/cheapest-closer sig="ed25519:era1:P6FzHsN3unVWhJK2XKtW2aeIAaq+lzK9zsw0T4UTX7i1sa3sffRsV3FiTgg9RphsQ3jMwi7I09Kue1tC9yZQAg==" value=lock
+bound-lock/1 about="how not to believe any of it: the command a clone runs today, and the one that runs the cases with bound once it ships, with how many there are; the repository only once it resolves" at=witness:a-test-runner-written-twice by=owner epoch=1 form=alphabet measure=text role=writes scope=region/check sig="ed25519:era1:RQrQJSo6pI//ei+Q7fb13VR3yIhb/E+F64MKHnKK3ZgN6c/mV0yrOdn/uoSI3BkreqeqIYSRbXpU1vUt3S7ICw==" value=lock
+bound-lock/1 about="what this work cites and by what identifier" at=policy:region/cite by=owner epoch=1 form=alphabet measure=text role=writes scope=region/cite sig="ed25519:era1:CSMd2VX1vzshoaDRngqoJXNBCn+ZgRGSKIzF+O6bR1bLiOj1yz9uYSVFwKcBcni2poHbype2tuG+YeJYI9a2Cw==" value=readings
+bound-lock/1 about="how together a region arrived, one when every line landed at the same turn of the period" at=policy:region/coherence by=owner epoch=1 form=alphabet measure=text role=writes scope=region/coherence sig="ed25519:era1:wiejvdy8zK25aAeQEahYJys3J9Qj0pgMUyrcscux26lYgccN8C4d0T9KZIZWQiS5jc4shDOq6KIU5n8Ey3jXBQ==" value=lock-and-readings
+bound-lock/1 about="the commands the owner gives, and a grey mark while the verb they call is not published" at=witness:the-root-door-was-a-census by=owner epoch=1 form=alphabet measure=text role=writes scope=region/commands sig="ed25519:era1:oL7nDAkzsMJybFTno5/FstElF4RT+SmY2JXkVY5Mvc9oMob9b0yGNtDR7MfRTPivhl29fY5aJS7XvcWJL1muCg==" value=lock
+bound-lock/1 about="the leaves of obligations the concepts region is handed: the modules whose exports are its concepts" at=policy:obligations/regions-in-coordinates by=owner epoch=1 form=alphabet measure=coordinates role=reads scope=region/concepts sig="ed25519:era1:NbP2hlNAFa7EZ4AQYZURtHWb5NpoamnEr6Qs5ZPpbiKgUmFzN77wOjyjLnxfFvcNyYjB0Ay5BI8RQqdDIjFRAQ==" value=src/**/*.ts
+bound-lock/1 about="every conjecture with the falsifier its own line names" at=policy:region/conjectures by=owner epoch=1 form=alphabet measure=text role=writes scope=region/conjectures sig="ed25519:era1:Nr8V56xhD2mXJPvqcBt39Z+DMr1Wg29w2qsUQNKMf+/7qHl/OT6/ZMTD4oWVusUvZTH//8yllqfrzv0+fk88Dw==" value=leaves
+bound-lock/1 about="what this place takes from another, by name" at=policy:region/consumes by=owner epoch=1 form=alphabet measure=text role=writes scope=region/consumes sig="ed25519:era1:BS5VHheMu7pqzKilFcfnVuxrqT8JOOB4+PwY+ilztdF7BBu7n1dMARo+W/d+4tJ3hYLtRcW7S9UIfTvbGJ9rCQ==" value=readings
+bound-lock/1 about="what rests on each line, so what would move if it moved is known before it moves" at=policy:region/dependents by=owner epoch=1 form=alphabet measure=text role=writes scope=region/dependents sig="ed25519:era1:7EBq1opUvfiDOk9rIV7UEMUnbVIaiGjF6TscXxH+U4Mmv1bp0I3WVQQKMKrPVN0QWQFI0toDe6LLUCQ6FLl+CQ==" value=lock
+bound-lock/1 about="the first screen of the root: its name, the figure one of its places draws, and one sentence of what the places are together" at=witness:the-root-door-was-a-census by=owner epoch=1 form=alphabet measure=text role=writes scope=region/door sig="ed25519:era1:meaUQ4a6EC+Azrob3AgHZe90isGizztkGJ5+B50Y71n31uUXy6uELDohrv6Q//A+R4I3HjJTfvBXzfev6hvgDQ==" value=lock
+bound-lock/1 about="the leaves of obligations the entries region is handed: the entry points the package opens" at=policy:obligations/regions-in-coordinates by=owner epoch=1 form=alphabet measure=coordinates role=reads scope=region/entries sig="ed25519:era1:ZjpsW05qh6R3f9HHHby10iG+NKKJnN40AEZzsev+CCLwGQVjlnKeuC760Nt8h9KZaM4HgwdYQNzb9VTuEHlBDQ==" value=src/
+bound-lock/1 about="what runs here and what is read, said apart" at=policy:region/environments by=owner epoch=1 form=alphabet measure=text role=writes scope=region/environments sig="ed25519:era1:VNtPpYGHzJJ8NjBrhnm5Gl1ZlRh0nGgHpAJ9UHGnJCH/hjbI9fKX3tlW3b2V+arrjrR1KBckOl7LiFj00POnDA==" value=prose
+bound-lock/1 about="the leaves of obligations the examples region is handed: the examples it runs" at=policy:obligations/regions-in-coordinates by=owner epoch=1 form=alphabet measure=coordinates role=reads scope=region/examples sig="ed25519:era1:5xOewRv4vWi+Uc6jKFpG41CvJWmKlcUJzN9nHbaWza7FTohEy52tMfeqR3Geum4/DKie2X3FI771j+ElinrLAg==" value=examples/**
+bound-lock/1 about="the cell of the shortest example, drawn, with the legend of its marks as its caption" at=witness:the-page-told-a-story-out-of-order by=owner epoch=1 form=alphabet measure=text role=writes scope=region/figure sig="ed25519:era1:Rfn/B99g9C/sDdLcUDJggw46GoRRJ4lX0TnqeCPBFtZJJGc0Ex9POqOyRYLCAS2rRc1q0lp52hhgM71AWrorBA==" value=lock
+bound-lock/1 about="the shortest example this package ships and what it prints, with the digest the lock pins for it" at=witness:the-door-said-nothing-of-what-it-owed by=owner epoch=1 form=alphabet measure=text role=writes scope=region/first-use sig="ed25519:era1:V0bmJo6SSjrGxCQTTnm2K79VqnmRL040BE+oZwMrRmPRUSwfcOQ7sd8dNngBAnZ4W5Hb8y5SD98yQY5Ye48vCA==" value=lock
+bound-lock/1 about="what lies where in the source, counted from the tree itself" at=policy:region/folders by=owner epoch=1 form=alphabet measure=text role=writes scope=region/folders sig="ed25519:era1:K9B0T2q+l4YqYzZQfJgIryU0HWl9VBZS96Q1wAid5r+xreg7v0dfyHMsFI+6GnPNylBVu0MLeTbNVoLO32GSCw==" value=leaves
+bound-lock/1 about="two readings of one cell that do not meet, with both sides named" at=policy:region/forks by=owner epoch=1 form=alphabet measure=text role=writes scope=region/forks sig="ed25519:era1:jRwY+zawNd9XzRi41KLV1UgcxBsRloXadL36R5rQYgLHCnbnayfZ61B526aDbgxwi7KRW/WtmTkcxRDjiyMdDw==" value=lock
+bound-lock/1 about="what is still undecided, in bits, by region and by the epoch it was born in" at=policy:region/freedom by=owner epoch=1 form=alphabet measure=text role=writes scope=region/freedom sig="ed25519:era1:4kUQ0ItSWXNxn/6UIL5X1lTpGLClqdgzsCaXo3CGAyVN/FMQbrlPpvzkNg2pGBsS31YLtvC2fpt08EdcXg5iBQ==" value=lock
+bound-lock/1 about="where looking is worth most, in bits per place" at=policy:region/gaze by=owner epoch=1 form=alphabet measure=text role=writes scope=region/gaze sig="ed25519:era1:7/PbujwAvowXLRqoZIvQXAiIGutNRoLNL81CRrtj0djExdzlpqQ0Hq/Yq96l7F1YJue5/TSyL3HM856/T/4EBQ==" value=lock
+bound-lock/1 about="lines that stand on one origin and are therefore not yet information" at=policy:region/grey by=owner epoch=1 form=alphabet measure=text role=writes scope=region/grey sig="ed25519:era1:5Xx+CHCtvAm0JsCOveYfdXJLUHhmUVGoZo/sW/PI+WhBvAIiLGqNcLwLIMZa4CWhHQ7sguIoV+riNZaGgi12DQ==" value=lock
+bound-lock/1 about="the guide at resolution zero: five lines, the command that checks the place, how many conjectures are open, and that nothing else is asked" at=witness:a-census-at-the-door by=owner epoch=1 form=alphabet measure=text role=writes scope=region/guide-at-zero sig="ed25519:era1:4lMlaozGDeyq3/X5z5tDheXz0AVg6FOBHOJNJn6NEMVu3qlnPm5sQT5E/OoEuIoE369+qlP+7yzT42O0oDxkBQ==" value=lock
+bound-lock/1 about="the leaves of obligations the hazards region is handed: the whole place" at=policy:obligations/regions-in-coordinates by=owner epoch=1 form=alphabet measure=coordinates role=reads scope=region/hazards sig="ed25519:era1:fRAX0xTyoJJk4rtH5y00RT55aQk0cFtMjvhTtdgPeh+XmaCS+SBIa8J/uhrUukH7Q9qSpRczoQGN3XBkJAKDDQ==" value=**
+bound-lock/1 about="the first screen: the mark the place is known by, its name, the badges its lock reads to, and the one line of what it is; what is not signed is not on it" at=witness:the-page-told-a-story-out-of-order by=owner epoch=1 form=alphabet measure=text role=writes scope=region/hero sig="ed25519:era1:9kDbBth6Kobb5i6OLHdxLOsDQUMeKkeFCq1UMSwbH0a2pgLN/ORxLDzmEnHbH6qRaCM/b3f6LbF2+P3UwxUpDA==" value=lock
+bound-lock/1 about="the lines a later line replaced, with when they were replaced" at=policy:region/history by=owner epoch=1 form=alphabet measure=text role=writes scope=region/history sig="ed25519:era1:rapdoHQGt9BSmet1KI/og5ZisH8mS/pzOKejA6C2zwHQLtf5vopMiLpXycnj7c2ZPPendp2E0VztrBmYpZ7tCQ==" value=lock
+bound-lock/1 about="how the places rest on each other, drawn from the lock's dependency lines and folded until asked for" at=witness:the-root-door-was-a-census by=owner epoch=1 form=alphabet measure=text role=writes scope=region/how-they-rest sig="ed25519:era1:mwtf12BYkfGVwd4Il17YNoE6SrYByymN2c8YzQnJ3kpjcb6iUFQZm8isnfkJSyv5nCJ50DRQVtYRRlEEp7EiBw==" value=lock
+bound-lock/1 about="the whole idea in one picture, before any name is introduced" at=policy:region/idea by=owner epoch=1 form=alphabet measure=text role=writes scope=region/idea sig="ed25519:era1:G9PWEfsm+h4yjH8P7N6LSmHVLcKeLZpvyPb9Vn9c4oqyMxuT+FRyUL1IIdTkgP9guCvC8ZathdZGA3rmq6+1CA==" value=prose
+bound-lock/1 about="what a repository of the place never holds, one line each" at=witness:the-place-carried-the-pipeline-of-another-registry by=owner epoch=1 form=alphabet measure=text role=writes scope=region/ignore sig="ed25519:era1:nWvTMbPfo4I9+Fm1mUmo4cBvXeo9TcEWzu7Fv4r4KJtAcqIM+vTuciGkBt/VDhoZW5xRLoclDVjbVf8VHPhVAQ==" value=lock
+bound-lock/1 about="the one line that installs it: the verb the lock names, then the name its manifest carries" at=witness:a-door-that-never-said-how-to-install-it by=owner epoch=1 form=alphabet measure=text role=writes scope=region/install sig="ed25519:era1:nnZIf4ShFE3F4agqZcv3f5y+wB6zGlFNx2Fc2JN4dA+kVWdy9qtuPcjKDTiun/aG2kGlGcrMMe3aKmnyOL8AAA==" value=lock
+bound-lock/1 about="the leaves of obligations the laws region is handed: every lock file it holds" at=policy:obligations/regions-in-coordinates by=owner epoch=1 form=alphabet measure=coordinates role=reads scope=region/laws sig="ed25519:era1:xqsC6F9em4L5mDwjLzLcPAhM5rifcA5RawucE5JQCjTZuZPuWlJLg7wf9G7fllQbIYjGXakXj2pB6gc/YCywAQ==" value=src/laws/**
+bound-lock/1 about="the theory of a place as its lists, each law with what met it and what would break it" at=policy:region/laws by=owner epoch=1 form=alphabet measure=text role=writes scope=region/laws sig="ed25519:era1:TfOe1B3bnVgl4I649aPae5PIq25eKNnLot+ysFjZCRvhWhUrFlwHybSbRuBB20mYOCbme//c7k+A177wi0hLCw==" value=readings
+bound-lock/1 about="a page to learn from one example: the cell it draws, what it calls and prints, the law it shows, its form, and where it lives; the example is the one the page is named after" at=witness:five-regions-that-were-one-with-a-parameter by=owner epoch=1 form=alphabet measure=text role=writes scope=region/learn sig="ed25519:era1:XSHAwmryqd8erX4HsezDKeVGVFj/fdG7rwnuNCJ9c1C4Edo56nGeINZ1aSL7RVvfTXvqKebOIg6COfzDw5GmDQ==" value=lock
+bound-lock/1 about="a page to learn from the in-phase example: the cell it draws, what it calls and prints, the law it shows, its form, and where it lives" at=witness:five-examples-and-no-page-to-learn-from by=owner epoch=1 form=alphabet measure=text role=writes scope=region/learn-in-phase sig="ed25519:era1:HsmGTTbLNkFhKY3Ktksb/Ii9RlRKDBZRbVwl697sVRWNLTXT9XEbBWwlnWyJIGW+jZEJvRjU3Zt7tEqVSIf3AA==" value=lock
+bound-lock/1 about="a page to learn from the price example: the cell it draws, what it calls and prints, the law it shows, its form, and where it lives" at=witness:five-examples-and-no-page-to-learn-from by=owner epoch=1 form=alphabet measure=text role=writes scope=region/learn-price sig="ed25519:era1:7giwmsFFXzFf2rTapVa9SKfZoghUXpj0+9NtOz66LjVvIDawVxypKre0NGbSFoTPlDJhbRPsEVLo+ritDg/QAQ==" value=lock
+bound-lock/1 about="a page to learn from the signature example: the cell it draws, what it calls and prints, the law it shows, its form, and where it lives" at=witness:five-examples-and-no-page-to-learn-from by=owner epoch=1 form=alphabet measure=text role=writes scope=region/learn-signature sig="ed25519:era1:QlnysrOyRK9pd954m04y1GMntNVTzsbPwErTWzrucLmAiaim1sHW5l1z0ON/89VaNhSG+SJbfwBjZ5nUSEw1Dw==" value=lock
+bound-lock/1 about="a page to learn from the thermometer example: the cell it draws, what it calls and prints, the law it shows, its form, and where it lives" at=witness:five-examples-and-no-page-to-learn-from by=owner epoch=1 form=alphabet measure=text role=writes scope=region/learn-thermometer sig="ed25519:era1:G7suVsWHnZw9OUXN6jzjJf9Ivp/NqHhAv5L21OMGI8Mh/6feq7qf5T+i2nnZDtc7We+mYX9ax0ksak8Ezq4BBg==" value=lock
+bound-lock/1 about="a page to learn from the withdrawal example: the cell it draws, what it calls and prints, the law it shows, its form, and where it lives" at=witness:five-examples-and-no-page-to-learn-from by=owner epoch=1 form=alphabet measure=text role=writes scope=region/learn-withdrawal sig="ed25519:era1:374YRxLbldSbM6bzYlYIYBkO46JRTTRND79m3F8/6iJORQVvyUo8JlXGubVO6dye1I6LDePTc4LrJk3joC1GCw==" value=lock
+bound-lock/1 about="the licence, carried on a line of the lock and rendered into its own leaf" at=policy:region/license by=owner epoch=1 form=alphabet measure=text role=writes scope=region/license sig="ed25519:era1:2u1WlDQfavHNlGhxBqjUV+oaGF1oO+w3PhguOteXC27eCSKU189d+5fPSFfM5VQmBbY/6EfpU1pCS91Kf6QfBg==" value=lock
+bound-lock/1 about="the lock lines a place holds in its own files, unsigned, as they are written there" at=policy:region/lock-line by=owner epoch=1 form=alphabet measure=text role=writes scope=region/lock-line sig="ed25519:era1:McBuPcLepQTmEkpvj+VbnwpVmwjLCEJ5tU+ebkM6cR5Flh+QhJsj2FIZxH06SZT0pRiei35KlB66j2NEFRKnBQ==" value=leaves
+bound-lock/1 about="the manifest the place holds, rendered from the lines it signs about itself: the fields a consumer reads and the three a resolver older than exports still needs in this tree" at=policy:region/manifest by=owner epoch=1 form=alphabet measure=text role=writes scope=region/manifest sig="ed25519:era1:OJzXbmcTCj1Ysx4SRyzMZAXS+IYxVdyawg1LiSaUuhMK2HG/LC5Rc2clVvRx9m7o+65iZU/JCKS3VxK1AlLBCg==" value=lock
+bound-lock/1 about="the legend of the marks a page is drawn in, in the owner's words" at=witness:the-notation-was-a-legend-and-a-count-was-typed by=owner epoch=1 form=alphabet measure=text role=writes scope=region/marks sig="ed25519:era1:hoZ4Mok6PWnHnmhhk/BYdn9BYgnVmlaMCJwSDgTZvQavdw3OAwyZkjTdJNtks66CzVf3mZeUMlHs4ZxzYRtZAQ==" value=lock
+bound-lock/1 about="the notation of the object at a resolution: at zero the tuple a cell is; at one the tuple and the formulas of what it rests on, in the order they rest; at three each formula beside its law's sentence; at eight all of it with the signature of every arrow and the states" at=witness:the-page-told-a-story-out-of-order by=owner epoch=1 form=alphabet measure=text role=writes scope=region/notation sig="ed25519:era1:ns8GpwSzebv0YJ/+NYRvq4wtUwWfKiY/wm1z3+WSzglKzrfMDaWZk8iFWnupU58VYBi4NYGRjFr691eSyKwWDA==" value=lock
+bound-lock/1 about="every operation offered, with how many vectors reached it" at=policy:region/offers by=owner epoch=1 form=alphabet measure=text role=writes scope=region/offers sig="ed25519:era1:HwkDy3/NWzgYzrfm+UEFFnAO9NIoaBMp90eCHRi34ohUSBJzU9ONpe7XSjBDC1h/LLWeMduJkTFAkcHww63ZAQ==" value=readings
+bound-lock/1 about="every conjecture of the place, marked as such, with what would falsify it" at=witness:the-door-said-nothing-of-what-it-owed by=owner epoch=1 form=alphabet measure=text role=writes scope=region/open-conjectures sig="ed25519:era1:+/E6v5GFbNu3MNlj6wi9m6tAk07qJMOcFkpmvg35XdV2mx3kibWDyeZIIeS58sI4sSQ3wkWJsPk1w5fC0k+MAw==" value=lock
+bound-lock/1 about="the questions with no answer yet, widest first" at=policy:region/open-questions by=owner epoch=1 form=alphabet measure=text role=writes scope=region/open-questions sig="ed25519:era1:rH8TUdQPooUpfFqJYRPhapD9EYSMJtJxjy3KtXZN7/2kuzVSiAxfdUAmHoJxpbn0+W0iFDU2R9CNHZUBtPkiBA==" value=lock
+bound-lock/1 about="who spoke in each region of the tree, head and reader alike" at=policy:region/origins by=owner epoch=1 form=alphabet measure=text role=writes scope=region/origins sig="ed25519:era1:ePfsc9MVKJxrJLNmI7/ZdEVOYdcsMrumaJlG7f8KX5iyq5MSsvpy2RWGQ2F+la8hQnYSXcFd8vEsSn89beXuCQ==" value=lock-and-readings
+bound-lock/1 about="what a place holds that nothing reaches: a test or a sample no demand names and no run reads, and a page no view writes and no demand needs" at=witness:nothing-named-bench-and-the-published-manifest-lived-in-the-tree by=owner epoch=1 form=alphabet measure=text role=writes scope=region/orphans sig="ed25519:era1:XYs3QBHlaT9WBtye1cgU1VatfIsrFh2owhWMjyWUexYSCOZpE++Z7p1nMQYPr5J93f52Alc/pjy97frXpzyCAA==" value=lock
+bound-lock/1 about="the leaves of obligations the packages region is handed: the manifest and the build it is read through" at=policy:obligations/regions-in-coordinates by=owner epoch=1 form=alphabet measure=coordinates role=reads scope=region/packages sig="ed25519:era1:vK5Hlr8d0drvZzRbRANh2PM5vSFcNASGWScYhY9NcjpovAhQQf5oEFm2Zib/Nsy1LVHO+TMofyEAarRNkV9wDg==" value=package.json|tsconfig.json
+bound-lock/1 about="what the theory proves and which views implement it" at=policy:region/paper by=owner epoch=1 form=alphabet measure=text role=writes scope=region/paper sig="ed25519:era1:4me0n23q9MmQsmp0VVTUcSSH5u80Sj2Vjl6XVD7Vx6OES0W55cH6piX5quiMzD6Zs0pirX8ahuHFaSmkhph2AQ==" value=prose
+bound-lock/1 about="the scale the shortest example draws: each claim as a bar and what they hold together beneath them" at=witness:the-door-said-nothing-of-what-it-owed by=owner epoch=1 form=alphabet measure=text role=writes scope=region/picture sig="ed25519:era1:aLo7DpgKrYAKatdfew4fUDlZ4lY3t4VzztH9fTKeISVPgL6my4V0OfVuUmh2DE974Gc5FWKN+pzu5Tgv5O+pAQ==" value=lock
+bound-lock/1 about="the release the forge makes after the tag: the version published once by the trusted publisher, and its tarball attached" at=witness:the-place-carried-the-pipeline-of-another-registry by=owner epoch=1 form=alphabet measure=text role=writes scope=region/pipeline-release sig="ed25519:era1:Tx+aDuWtu7aPuWqxIwHO0JkKGllkJVFnp+iPn5SuaP3kRjJmhaCdUWg7COnnxocUKbuvD/JV4BhbCLcU4D07BA==" value=lock
+bound-lock/1 about="the tag the forge makes for the version the manifest names, once" at=witness:the-place-carried-the-pipeline-of-another-registry by=owner epoch=1 form=alphabet measure=text role=writes scope=region/pipeline-tag sig="ed25519:era1:SGoijCUk9D6OU/AgH+T/bzjY9NFaU75I8mTldPC6L6OIcT44MHAK/NTtwfLVb0ySTYbOkA5w7OO5kNmclSOiDA==" value=lock
+bound-lock/1 about="the check the forge runs on every push and every proposal" at=witness:the-place-carried-the-pipeline-of-another-registry by=owner epoch=1 form=alphabet measure=text role=writes scope=region/pipeline-test sig="ed25519:era1:t4yOlRmqDXHM51Wlf5GOX6eG62+rjhJ9JIshgW1UZCDg5ddCuBdsSx59C+xLJY3V4SJ9CYgsHGzIb+++6bo4Dg==" value=lock
+bound-lock/1 about="each place the owner has said what it is, in the order they rest on each other, with its state as a colour and what the fold counts of it: paid, hazards open, and what the second head says" at=witness:the-root-door-was-a-census by=owner epoch=1 form=alphabet measure=text role=writes scope=region/places sig="ed25519:era1:PemRHqWqctUqqXPAdIubfKTJHuglPjnG50jg+MGxYld0lD3okMuBG1Uz+U49hPEg9s2uyTwUXSMd9fvcjeRgDg==" value=lock
+bound-lock/1 about="the pages below the door, as links from the views that write them: the reference and the pages to learn from; the forge shows the guide and the licence itself" at=witness:a-page-that-showed-what-does-not-resolve by=owner epoch=1 form=alphabet measure=text role=writes scope=region/pointers sig="ed25519:era1:cRqsytaB81Tcd9KnUH3LO6UaaTkephx7l79Nsk549cNIPAzhvTqFLoFe7J9nyyqTgEp6FrKTCM/hrCPDGM8+Cw==" value=lock
+bound-lock/1 about="what a line is worth beyond what it says, in bits still free" at=policy:region/premium by=owner epoch=1 form=alphabet measure=text role=writes scope=region/premium sig="ed25519:era1:HSUlFigoIiUFvSga4sPq7+dhRdkM3ttt43D59dVZmKuWA2BRlIjUR+kUWwGPCg7aUME8THQG5QzkACjwLespBQ==" value=lock
+bound-lock/1 about="the one line that says what this place is: claims, demands paid, ceilings met, what the second head said, and what a fold of it costs" at=policy:region/programs by=owner epoch=1 form=alphabet measure=text role=writes scope=region/programs sig="ed25519:era1:ArD8tBADdWstBH96siyP/iCfdVVUDvCznOTosh7gFMWAEhMvwdGD7lI9c1TQbMdGcot6SFXh+hf6LMA/tT5dAg==" value=lock
+bound-lock/1 about="the lock a place is published with, seen from inside it: the bootstrap first, the wire and the keys it is read with, the regions it is written in, its own lines and every line a view of it reads, with the place's name gone from every scope, need, policy and cone; nothing of the tree's history and nothing that needs outside the place" at=witness:a-published-place-that-could-not-render-its-own-pages by=owner epoch=1 form=alphabet measure=text role=writes scope=region/published-lock sig="ed25519:era1:9ItGe0FF5rt8aHZo5NsOLlsj+gd/aScGil0BkxbNt3rZhlYNGkS4l8xHBM4ZzHbLjrYvFK5fVQl3h62hp566Dg==" value=lock
+bound-lock/1 about="the manifest the package carries, rendered from the same lines without the three fields only this tree's resolver reads: what npm packs and a consumer installs" at=policy:region/published-manifest by=owner epoch=1 form=alphabet measure=text role=writes scope=region/published-manifest sig="ed25519:era1:jBMNffXTcBombwB1Oe/R2fTz5TDY2dO/+vO6smhDsRDAY1O8wVNZHMmEHrzMjTyFIdernNO02zfF7c+YGr60Bg==" value=lock
+bound-lock/1 about="the receipts a place is published with: what it observed, seen from inside it, without the word the tree's second head gave, since the published place asks its own" at=witness:a-published-place-that-could-not-render-its-own-pages by=owner epoch=1 form=alphabet measure=text role=writes scope=region/published-receipts sig="ed25519:era1:eoxRJXdy25eKBJc9J64XM2ZpbiScjJqla3y9wpj00qnXgmPumfcZBXae9KMjzRM9LmXzSzU3mQyZnadP0+IHBA==" value=lock
+bound-lock/1 about="the open questions of a place, as the lock asks them" at=policy:region/question by=owner epoch=1 form=alphabet measure=text role=writes scope=region/question sig="ed25519:era1:PO6XzLTwe1zGTP/WY54UuYxmh6U6YKwBA4shyf1DF7O6D01+JrmhxuHXhTAIul1Yyj9w70hzJBY6wgurAEfhCw==" value=lock
+bound-lock/1 about="the cell of an example drawn at a resolution: at zero three bars, above it each claim a bar, what they hold together a bar in the colour of a meeting, and its floor and its ceiling named" at=witness:the-page-was-written-in-marks-nobody-signed by=owner epoch=1 form=alphabet measure=text role=writes scope=region/ranges sig="ed25519:era1:BS59ZdI0YdGR0mT7dC62JPt8fnoNEDlaOvvW+qamxywKTEBwCQ2lhFLr1tgWPsESsDnQOWfcqqi9Q0LeUf9aAA==" value=lock
+bound-lock/1 about="which view answers which question, in the words each view says of itself" at=witness:the-door-said-nothing-of-what-it-owed by=owner epoch=1 form=alphabet measure=text role=writes scope=region/reading sig="ed25519:era1:NFQJpBjJ0svy/IAnfYzDWob/F6gQU3rfqUgqKfGSbOQdgl7y1kOMrsaZesP2hfBlXd9cf/b7cHY2m/VNZoqoAA==" value=lock
+bound-lock/1 about="the regions spoken in less this epoch than last" at=policy:region/receding by=owner epoch=1 form=alphabet measure=text role=writes scope=region/receding sig="ed25519:era1:73wLXdzxJutixWCb6yAzpZPcFRtwg3PfzxtEq8iI9fDBvJZLgWg0QU4JwL8QiI3VDoHiOgZmkoZ0QygVR9ItCA==" value=lock
+bound-lock/1 about="what a package carries of its own reading, so a clone folds without running anything" at=policy:region/receipts by=owner epoch=1 form=alphabet measure=text role=writes scope=region/receipts sig="ed25519:era1:2N4YGqHEciANDe/Vfc7UtEzqmKe7K1UAXMM0NI74/dwV8ivxQ/wgsepWgicvKvUSwiRIdIUn/M6yfwlU4SWPDQ==" value=readings
+bound-lock/1 about="every ceiling a reading is over, and every demand nothing paid" at=policy:region/red by=owner epoch=1 form=alphabet measure=text role=writes scope=region/red sig="ed25519:era1:tG9FU6hJVyOxbrZQIKrFN0eVxAzhsC85EXzanW+s69gwoRuQNy2urR8MA6Mh9omiWB3Kk2SYmXKqQfvlEwqyCA==" value=lock
+bound-lock/1 about="every operation with its signature, its derived refusals, what it reaches and the laws it rests on; every law with its kind, view, premises, sentence and whether it reproduces; every form" at=witness:no-page-a-reader-looks-things-up-in by=owner epoch=1 form=alphabet measure=text role=writes scope=region/reference sig="ed25519:era1:rEECVn7uL4XlasigtHggjHesKu3SHYZ1mYlHBtC8QA+tY0DvxsasoVb6eor4+ExZyXCvpKGAbsvjS6wHu+vVDQ==" value=lock
+bound-lock/1 about="how often each region of the tree was read" at=policy:region/region-frequency by=owner epoch=1 form=alphabet measure=text role=writes scope=region/region-frequency sig="ed25519:era1:srJrtaPU1teGSdpbppAQ16T23yzrjok+YW4HUG396t8Xc825k0yjMibOM0t8xpatCXSezpV3LS0GqalrrvGUCg==" value=readings
+bound-lock/1 about="the regions spoken in at more than two epochs" at=policy:region/resonance by=owner epoch=1 form=alphabet measure=text role=writes scope=region/resonance sig="ed25519:era1:yAryzAIPpXmNEUiBgzpjO7CQ4r0rINETvLcaWIVMsmUNDTAvJrX4efLI0HW7kSLrOYYNc31wWs6HPsGOzkaDDw==" value=lock
+bound-lock/1 about="what the object rests on, drawn: the definition most offers rest on and the lines it rests on, each by its name" at=witness:the-page-was-written-in-marks-nobody-signed by=owner epoch=1 form=alphabet measure=text role=writes scope=region/rests sig="ed25519:era1:iVXqmcgMWyUDLCvXLNd86oldPZ0hlgH3TPxFbwSytcKYbcmkJKdOIRqoSYNhBsQ5UZwi1FNz7cRVDDFAwfDWCw==" value=lock
+bound-lock/1 about="how many of those epochs it was actually spoken in" at=policy:region/rhythm by=owner epoch=1 form=alphabet measure=text role=writes scope=region/rhythm sig="ed25519:era1:FtzCvSJCP4Li7sLpNYJUCuRHIasiLFKIuafRutSWqYuzI7CP3s++Cw4S18gML34HiMedK/I+eD35URSB5wjrBg==" value=lock-and-readings
+bound-lock/1 about="whether a region holds without any one of its origins" at=policy:region/robustness by=owner epoch=1 form=alphabet measure=text role=writes scope=region/robustness sig="ed25519:era1:VLyhSZepHd1cUlpPUZWahjuVgc/V8JBXhkql3JoYwsPqmsvBXPCeTio1Ds2ndGt2cqU8ItKGxvl5QSV2Z1+LDw==" value=lock-and-readings
+bound-lock/1 about="what each leaf of the place is, written or rendered, so a page says which of its own files were never typed" at=policy:region/role by=owner epoch=1 form=alphabet measure=text role=writes scope=region/role sig="ed25519:era1:Jy14YQJmg9C1NBKnkjXw51D8vRF4irv3lAxidV85gygXWJLGqUxrjoKUu/NI54PJGpnjYKgNuU7tMwxn38PhAw==" value=leaves
+bound-lock/1 about="the leaves of obligations the runtime region is handed: the modules that run" at=policy:obligations/regions-in-coordinates by=owner epoch=1 form=alphabet measure=coordinates role=reads scope=region/runtime sig="ed25519:era1:8BdF9HwOIQG5XNj7jnuZLj53M/+I6N9KrFJ/Q6bH4doc3o//PpaEFFAoFpNi/V3v+Kl1BbB6uSS6gcNSo4WPAw==" value=src/**
+bound-lock/1 about="the leaves of obligations the said region is handed: the sources and examples whose words are said" at=policy:obligations/regions-in-coordinates by=owner epoch=1 form=alphabet measure=coordinates role=reads scope=region/said sig="ed25519:era1:vc8GBjpMxHy31dFEqrwO4bNxtIbajPGY1C9b7OMiXWmDDHNiwKQkOdqzBI1H0frk8R+4osXO6IL8R2NOtQYXCg==" value=src/**/*.ts|examples/**/*.ts
+bound-lock/1 about="where this place stands in the tree it belongs to" at=policy:region/scene by=owner epoch=1 form=alphabet measure=text role=writes scope=region/scene sig="ed25519:era1:/hc6vTnR0XWyx86azhocHypsFb2zSCDDn6biSkV9WFVRbB6TS8W+u6ZfStO67sioH5PfbDyzPElXSWyJSVahCA==" value=lock
+bound-lock/1 about="the check a clone runs alone: the subpaths the manifest offers, imported, and the second head's signed word, verified against the key the lock admits and the digest of the lock itself" at=witness:the-build-was-typed-and-the-examples-compiled by=owner epoch=1 form=alphabet measure=text role=writes scope=region/selfcheck sig="ed25519:era1:Emue2AAwU1NBYY5w3FtD5jOHsCpWBTddAijNLYHO3j1tLZAWVBxr/LXjIalMRGhkVxVr19lSjXtDQ8VCQDuGDQ==" value=lock
+bound-lock/1 about="the figure a region makes: a point, an edge, or a polygon" at=policy:region/shape by=owner epoch=1 form=alphabet measure=text role=writes scope=region/shape sig="ed25519:era1:O0xhfjpQ7Syo2UmGVMXYzELY5jwrxxdSJ6uiACHXpLqM/sXT40r8NRyVdRh05OU6Gqurhx+vquEDSu2TMTC2Bg==" value=lock-and-readings
+bound-lock/1 about="what it takes to sign here, and who may" at=policy:region/sign by=owner epoch=1 form=alphabet measure=text role=writes scope=region/sign sig="ed25519:era1:dN65IN5wI4sPwkunUosn1hXHsOEULaBfIZ32+PKcqt3dBT9A8Aa+s5YoThn6ut3CWiDzA7OwLocfIcEkDHQcDw==" value=lock
+bound-lock/1 about="each key, what it has signed and what it may sign" at=policy:region/signers by=owner epoch=1 form=alphabet measure=text role=writes scope=region/signers sig="ed25519:era1:gJKXxQ9ZqOkWbTrCCoDD1dRhazZjZ/WaS8XEZkMXpPy+l/vPtZKUDDUwUW/9pPOIGdw10AfEHgtiXxq5kc7+Bg==" value=lock
+bound-lock/1 about="the leaves of obligations the source region is handed: the sources a reader reads" at=policy:obligations/regions-in-coordinates by=owner epoch=1 form=alphabet measure=coordinates role=reads scope=region/source sig="ed25519:era1:es8zmWRGlOo+pOk8pFCaOqqGT6CjO9hxL906BsaGlgudvMtZQC6AYUYYvTJ6P33dvLE/j880Yff3lc4flLI9Cg==" value=src/**/*.ts
+bound-lock/1 about="the leaves of obligations the state region is handed: every leaf its views write, and the second head-s verdict over them" at=policy:obligations/regions-in-coordinates by=owner epoch=1 form=alphabet measure=coordinates role=reads scope=region/state sig="ed25519:era1:ptDLKsJkgqAuoHUGO9Hxm1meHTiQI1baiC/H6fgpx519P7z1L5pHKVI79vuhhcl9cCARhQyjZ7AdXklIBK3uAQ==" value=**
+bound-lock/1 about="what a demand costs to pay and what paying it lands" at=policy:region/take by=owner epoch=1 form=alphabet measure=text role=writes scope=region/take sig="ed25519:era1:AMT5LQ2+R7sLTVR+t5nrbFYSyQD9jgqvULlrUqs0RZm+hHwdobHR0CFobIRfFHDCxU1zbNLQemegNbdttslvBw==" value=lock
+bound-lock/1 about="the obligatory as its definition says it, with the four states and the parts it is made of" at=witness:the-door-said-nothing-of-what-it-owed by=owner epoch=1 form=alphabet measure=text role=writes scope=region/the-object sig="ed25519:era1:y+siLz2OuJikdgMMrF4ZCxC09/HeCNXwQb5V/P5AwyJO+PlIWPWe0TtzB4nSGNcnfvHYlnUnMBKbID8LshPZBA==" value=lock
+bound-lock/1 about="the paper: the owner's words on what it proves, then the reference a reader copies, its authors, year, title, version, publisher and address" at=witness:a-paper-cited-without-its-reference by=owner epoch=1 form=alphabet measure=text role=writes scope=region/the-paper sig="ed25519:era1:yVUPf/QoETF3SARmCznKjbRDfEm5NPyrs3M4NGM9PdNp8jB7C+VXhKTVL/Zq+rk0wUWDTS1LM5nikLTQ+UDpDA==" value=lock
+bound-lock/1 about="four real calls and what each of them answers" at=policy:region/thirty-seconds by=owner epoch=1 form=alphabet measure=text role=writes scope=region/thirty-seconds sig="ed25519:era1:M1VLqIDzoeDMxG0CdmjtQSj3jxrpgYdj3z+Cp2FezbszSEoxXb74McOmrWHeXwDu5ad9SZrcv/gePHy2qFVqBg==" value=prose
+bound-lock/1 about="the cases a place holds and which of them did not hold, read from what the runner already answered rather than run again" at=policy:region/vectors by=owner epoch=1 form=alphabet measure=text role=writes scope=region/vectors sig="ed25519:era1:7NPkumM+CSlfiuf90/PhUAskJ6ftSNr0+6PTI7kKco7qwsRUzMPEtdC3rzqJ363TRlkU+y9uYgCAJb0UZRATAQ==" value=readings
+bound-lock/1 about="the leaves of obligations the vocabulary region is handed: the files whose words it uses" at=policy:obligations/regions-in-coordinates by=owner epoch=1 form=alphabet measure=coordinates role=reads scope=region/vocabulary sig="ed25519:era1:xx9Ne8JCOf17oFvDyshcFDaIKDW93QB7pT3Ld0F+4ozxhYsCQuFjEcvhxIhQPp0dlJYZY5r2GQI1bzNjYyNcAA==" value=**/*.json|src/**/*.ts
+bound-lock/1 about="the three axioms the rest leans on hardest by their sentence, the others by name, and one theorem meeting its measurement" at=witness:the-door-said-nothing-of-what-it-owed by=owner epoch=1 form=alphabet measure=text role=writes scope=region/what-holds sig="ed25519:era1:j6FrruvJXhsxRpt/8CPXb2RkvwLlvirfj12WwSWnSvotdE/dpmfSUuJgub4Mw2hEyWBjc5EB5JqApJg8X5xhBg==" value=lock
+bound-lock/1 about="what is open in each place, folded until asked for: conjectures, hazards by kind, and demands not yet paid" at=witness:the-root-door-was-a-census by=owner epoch=1 form=alphabet measure=text role=writes scope=region/what-is-open sig="ed25519:era1:DqV71WBIockA7r8YH2UNKcAyrRdelzWArpDHPlvEAtbZCFLO/Gg2i2qjrXmrjkPJEeqUx1rhJNpr7FjnAw7FAQ==" value=lock
+bound-lock/1 about="where the package goes next, in the owner's words, in four lines at most" at=witness:the-door-said-nothing-of-what-it-owed by=owner epoch=1 form=alphabet measure=text role=writes scope=region/where-next sig="ed25519:era1:WRQlctxwzfokqnQ/HVj+Q68AjRZyJIdMTuxosY9eGTT+2mW4RK1TfHlb0DRGD83W17/CH23aPpbCfT25V0DJBg==" value=lock
+bound-lock/1 about="the prose a place keeps beside its source, read as paragraphs and never as headings" at=policy:region/why by=owner epoch=1 form=alphabet measure=text role=writes scope=region/why sig="ed25519:era1:J9n1Xsugfmd+UTwgbCPD6wEzSMsDIUq+bp2GvL9jkxbs2l9QvtA9kO8vSWuUmOgfsmsVEeitgpeu0wsgtAiqDQ==" value=leaves
+bound-lock/1 about="how many epochs a region spans, from its first line to its last" at=policy:region/width by=owner epoch=1 form=alphabet measure=text role=writes scope=region/width sig="ed25519:era1:wAI68Nta2PZ//h3ml9bDlDWb+ONXv0k44+5sC+jF6A9SCPdAHnNm3KUAZ5FfZ1eIiiu05T6lsqbGSvyNp6vXBg==" value=lock-and-readings
+bound-lock/1 about="replay is the proof: what landed, folded again over its region, gives the same verdicts in any order, because a fold of points is a meet and a meet does not ask who arrived first" at=policy:replay by=owner epoch=1 form=alphabet measure=status needs=samples/yes/replay-folds-what-landed.json|src/replay.ts role=demands scope=replay-folds-what-landed sig="ed25519:era1:yQxok9jZBM9gVBk3N7QF3KUkqqexEhnymHv107mqwlR+BamkDGL9HuEgUfIcR2JxsjxEzLVnVrwFdAmLrooCAw==" value=present
+bound-lock/1 about="the repository this package names, spelled as GitHub spells it: npm's provenance compares it exactly" at=witness:a-repository-npm-compares-in-exact-case by=owner epoch=1 form=alphabet measure=id role=writes scope=repository shape=package.json sig="ed25519:era1:xFV19RKpgO3uJqrbu+7xQ1wWZZ73QA8WE3pO8TnXPZ6NXinVVA+v3jDNKwiwOsJkpWdDmL12yE1YrLKTsH7NAw==" value=https://github.com/Lapxo/obligations
+bound-lock/1 at=witness:a-page-that-knew-its-world by=owner epoch=1 form=alphabet measure=id role=writes scope=samples/no sig="ed25519:era1:9J85kjWDCt09pskIXG3A2Xl+xNFItNDhjpwjitE9jjvYIRG/pLJ8gqQ97FyHW6gnRg08YKbBLE/KlU/6LJzrDw==" value=samples/no
+bound-lock/1 at=witness:a-page-that-knew-its-world by=owner epoch=1 form=alphabet measure=id role=writes scope=samples/yes sig="ed25519:era1:gewQ4i3njcEFrc1fl12h/UEpbz4TFVHPAv56GdKc1y7TspWSFsw7nuA4LlsCQG97A3AdKuUbXRy5JCr4wrNyCg==" value=samples/yes
+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=scripts/build shape=package.json sig="ed25519:era1:/XPZgDwqU3hRjh+n/9NNG5Itc1EX9b4DFoWuAGUAyFAZkx+FsWCMcjoJ/1fg4Uk5fvjuOHaQqOYnM3FyviFQCg==" value="tsc --build"
+bound-lock/1 about="importing the package runs nothing, so a consumer that bundles it may drop what it does not use" at=witness:a-default-that-said-nothing-here-is-a-default by=owner epoch=1 form=alphabet measure=id role=writes scope=sideEffects shape=package.json sig="ed25519:era1:QK0R2szzl1pRbF/JQkC4NxaVP9Koc91CduoATwZTpYkKajTTLsX8BKKBhw0fc29ew4ai87FDWecIE2P+xRuGAQ==" value=false
+bound-lock/1 at=witness:a-page-that-knew-its-world by=owner epoch=1 form=alphabet measure=id role=writes scope=sources/badges sig="ed25519:era1:saZsMlKGBUrxOOCJzTXFFXVorUNd5FFrquUlREynyJNNlGqHMqNP+f889lIR6U3EyeknrORuqEs1oqVEUgBHDg==" value=https://img.shields.io/badge
+bound-lock/1 at=witness:a-page-that-knew-its-world by=owner epoch=1 form=alphabet measure=id role=writes scope=sources/doi sig="ed25519:era1:AAs6U7v8W3ifCqwuQ4As6rlCpSmDqNjNFdu/dK2nByeKllH9XRDg4syMFJ/P06/PVcBSajNGjpxRV/l2HtvNDQ==" value=https://doi.org/
+bound-lock/1 about="where the second head resolves: the releases of the published verify, whose command the two-heads job runs" at=policy:sources by=owner epoch=1 form=alphabet measure=id role=writes scope=sources/verify sig="ed25519:era1:i8HZhweMJXnm+NE7q+CJb3RoL0p4KQoIEml09/s2fapC84ebZi4MDphFy8xpjNxqRxCyMgakfuYfWHn31X5mCg==" value=https://github.com/lapxo/verify/releases
+bound-lock/1 at=witness:require-and-one-act-per-file by=owner epoch=1 form=interval measure=count role=reads scope=src/lines sig="ed25519:era1:oVYfaO/BDuPvV+agZyT0QO4y0/SxAORQLQW+L+VNF42gkVjz5e2gnRjb7EUzJgpNKs3f5i+BrQxtY/tbE94GAw==" value=0..3700
+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 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="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
+bound-lock/1 about="what the repository of the place never holds, one line each" at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id needs=.gitignore role=demands scope=view/gitignore shape=.gitignore sig="ed25519:era1:kk4QeiIhal4AscJgQmeGr9dig6mtCZps9KT5SdSGwTzz9kxV79fMbc2jsK3PkcFl9q/Bi2QW5x6Lq9x2UhzGDA==" value=ignore
+bound-lock/1 about="the guide of a package, at resolution zero: five lines and nothing else" at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id needs=CONTRIBUTING.md role=demands scope=view/guide shape=CONTRIBUTING.md sig="ed25519:era1:g8SvTwulEIasl9Nv5B6iVby4vcWGI4MXJjRpi7GjntijUprU4l+W+GehsNzS03hO9f0JMB2TsoRZQ1kHsM8NCg==" value=guide-at-zero
+bound-lock/1 about="the page a reader learns the in-phase example from, at the third resolution of the package's one doc" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=id needs=docs/learn/in-phase.md role=demands scope=view/learn-in-phase shape=docs/learn/in-phase.md sig="ed25519:era1:tj9JhJ0+c8VF20h4oIm/m1mzRKYzeY9K2TcBP4yAbU76dm1HgKnyLMZ1GuhVx8PCXElB0gTx3TrEq4uAk9tLBQ==" value=learn
+bound-lock/1 about="the page a reader learns the price example from, at the third resolution of the package's one doc" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=id needs=docs/learn/price.md role=demands scope=view/learn-price shape=docs/learn/price.md sig="ed25519:era1:VnTw+SOi1xPcse6xbKK1dcE4/aJFIph/q0+cGcrKVd/BCZE83mt2DUQ8DWkHSF+GQ+97KWFo5Uq/LQrm4p8QCg==" value=learn
+bound-lock/1 about="the page a reader learns the signature example from, at the third resolution of the package's one doc" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=id needs=docs/learn/signature.md role=demands scope=view/learn-signature shape=docs/learn/signature.md sig="ed25519:era1:yeN0hgxQGm4j2dDGH3l9qzsq1i37YTTeHXO6qAEUgf/ke9mNuzXa8DqlhX6xuL9wwAN8HLqZT15aMlC2BWNTDg==" value=learn
+bound-lock/1 about="the page a reader learns the thermometer example from, at the third resolution of the package's one doc" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=id needs=docs/learn/thermometer.md role=demands scope=view/learn-thermometer shape=docs/learn/thermometer.md sig="ed25519:era1:ixrImY7k68ZjuHeYVzrZ1V3EdWqVODxmaeT7t19Zi8dyF+r5Wl0zgqVW1MYwWDE5SL9zsDw3XU/PdHtRVLzaAQ==" value=learn
+bound-lock/1 about="the page a reader learns the withdrawal example from, at the third resolution of the package's one doc" at=witness:the-root-spoke-for-the-place by=owner epoch=1 form=alphabet measure=id needs=docs/learn/withdrawal.md role=demands scope=view/learn-withdrawal shape=docs/learn/withdrawal.md sig="ed25519:era1:ci6JHwO3YbkaV9wB3uYi0jyStCG65AcH5uglwl9MlFbGn+slk1lDm03gJeQ+qcdoVrRn+5w6inp1s5r5UZumDA==" value=learn
+bound-lock/1 at=policy:view/license by=owner epoch=1 form=alphabet measure=id role=demands scope=view/license shape=LICENSE sig="ed25519:era1:XdgagmvRqyJ9jSR81hUIN5j/OnZ7Ztw7wnFfTrjlkhIBk9zlOJBzftMMzEmz1jQRtw6Xx/O/ID7x10L93zE8AQ==" value=license
+bound-lock/1 about="the mark a place is known by: its cell at resolution zero, three bars and nothing else" at=witness:a-reference-joined-by-one-region-and-a-bond-drawn-as-bars by=owner epoch=1 form=alphabet measure=id needs=docs/img/logo.svg role=demands scope=view/logo shape=docs/img/logo.svg sig="ed25519:era1:pSL6JnzvdtrBpmW0E3UI/R9AvX3LhseSD3IfOL+cZPEF6ZGWXCbYxQ/kGQTIL/J2MxEvPJcIzoNKMAwjT6s0AQ==" value=bond
+bound-lock/1 about="the mark of a fork: the same two arcs, the bond in the colour of a conflict" at=witness:a-reference-joined-by-one-region-and-a-bond-drawn-as-bars by=owner epoch=1 form=alphabet measure=id needs=docs/img/logo-fork.svg role=demands scope=view/logo-fork shape=docs/img/logo-fork.svg sig="ed25519:era1:D0oL9g0yRIQ8Dx9a0CAr2qNTPPqX/F3i+1GHA0ZBvhxopX7cHfeXCs6ryvzFV4Z3sUQg5UHGk0TYNiV4LXhpAA==" value=bond
+bound-lock/1 about="the manifest of the tree's copy: what the place holds while its own resolver still reads types through typesVersions, main and types" at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id needs=package.json role=demands scope=view/manifest shape=package.json sig="ed25519:era1:JobNOxvAFkodekISxmCjf0KrrrqGM2rtwMy0BI/Y4JR2GT16uni0mlsPaxj87vQmo7enROdFsPUAfB0OQWLHBw==" value=published-manifest
+bound-lock/1 about="the paper this place is published with, drafted from its lock over what is published so far: what it rests on, its idea, the object, every law it states, what stays open and how it reads" at=witness:a-paper-written-beside-its-lock by=owner epoch=1 form=alphabet measure=id needs=docs/paper.md role=demands scope=view/paper shape=docs/paper.md sig="ed25519:era1:l9suaNZImQry4pyTlcmDmwmxOXs0w3Yy2WMcrx2Iyd7Mg5Zkk1nTyeQfBHyT5KsIBfvW9KtEgBoXM0FaRjl/Cg==" value=the-paper|idea|the-object|what-holds@8|open-conjectures|reading
+bound-lock/1 about="the release of that version: published once by the trusted publisher, with its tarball attached" at=witness:a-provider-chosen-inside-three-regions by=owner epoch=1 form=alphabet measure=id needs=.github/workflows/release.yml role=demands scope=view/pipeline-release shape=.github/workflows/release.yml sig="ed25519:era1:7L2nWpX/caSk6IxmN/WwK62YyzuS2lW9FMaQZEvnh+T7QcZpoiRthxnkLlC8oarXLCj1K65Ud2Er5Ul1O5I+Cw==" value=github-actions
+bound-lock/1 about="the tag of the version the manifest names, made once" at=witness:a-provider-chosen-inside-three-regions by=owner epoch=1 form=alphabet measure=id needs=.github/workflows/tag.yml role=demands scope=view/pipeline-tag shape=.github/workflows/tag.yml sig="ed25519:era1:JIH1mSh0nIZ8CbotHUahwl9z9FOwUUJGWGJw1DgeRVXcZC4YhVQuO8Vh6krN/MDROQhK+XqH8A3x6nHBuOPSCA==" value=github-actions
+bound-lock/1 about="the check on every push and every proposal, on each engine the place supports" at=witness:a-provider-chosen-inside-three-regions by=owner epoch=1 form=alphabet measure=id needs=.github/workflows/test.yml role=demands scope=view/pipeline-test shape=.github/workflows/test.yml sig="ed25519:era1:63RysoOYzMy2XhmogjuTPKQtrokXGdFtEeVvqq6rgUDhzE6e5bXERpUnR4hUXMMm1eo2U4PCGov+vuq0ekKbAQ==" value=github-actions
+bound-lock/1 about="the cell the price 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/price.svg role=demands scope=view/ranges-price shape=docs/img/price.svg sig="ed25519:era1:SEe5nEtY8y4FYAcKT0z8D+aBaayswgNWQMEjcXVTbTTEAcIEAcop7WV8BxB6TbbUqJnbziXX7pYozvD07W5/CQ==" value=ranges@3
+bound-lock/1 about="the cell the thermometer 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/thermometer.svg role=demands scope=view/ranges-thermometer shape=docs/img/thermometer.svg sig="ed25519:era1:FhLQNNKeOlfZ5JQ0+PSbzDeJjTgjoJQnwXb5R3CEminEmu0/0tM0tb58Va0ipZU3Hxs2ogO2l1Dr7T3LbWXDCA==" value=ranges@3
+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 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