@lapxo/topos 0.1.0

package/TARGET.bound

@@ -0,0 +1,567 @@
+# rendered from ledger/owner
+bound-lock/1 about="a no is fixed only by a block that runs it" at=witness:a-demand-that-named-a-sample-nobody-wrote by=owner epoch=1 form=alphabet measure=status needs=src/capsule/index.ts role=demands scope=audit/a-no-is-run shape=decision sig="ed25519:era1:5tdXdROWUYsJtwkXDyNULj8UiSK0jO5HUPhDHmXtQG0Yrj6HowD0f6eROtBpBj+yn4azE56kUPmX5ZP1x5QCAg==" value=present
+bound-lock/1 about="a reader observes region bytes at a digest and a resolution and emits claims; it never lists, descends, opens a second file or follows an import — an import is a claim the fold resolves" at=witness:a-demand-that-named-a-sample-nobody-wrote by=owner epoch=1 form=alphabet measure=status needs=src/contract/index.ts role=demands scope=audit/a-reader-receives-regions-never-a-place shape=decision sig="ed25519:era1:QKkUcZkLEXiwICWxDE2ftZc+iAAi/76FICfTxbApa9pi8PHbDSggbu/sfiK/HKSfgU7mxPYAiTAl7XdZm4cTBQ==" value=present
+bound-lock/1 at=witness:topos-is-a-module by=owner epoch=1 form=alphabet measure=status needs=src/readers/define.ts|vectors/lock.json|samples/yes/|samples/no/ role=demands scope=audit/a-topos-is-a-lock shape=decision sig="ed25519:era1:edwleTQCp4wWoO+F3hmI7wc6RsxTu1Ga9xS5Yf5ewld6B9WXFTvI4ubnXAAmXzYiEw0GIN0Zd3Bb/8Rwd+DdDA==" value=present
+bound-lock/1 at=witness:destination-read-the-world-now-reads-the-fold by=owner epoch=1 form=alphabet measure=status role=demands scope=audit/a-vector-cites-names shape=reader sig="ed25519:era1:TpzTTPqpDJ+YzAz3XARSRIw/HLQqZ6YhEclAimgnIIlSc92Yw8R/6Y7LH0k8D3cQuPfdfwNo8U12s7zdqCSqCg==" value=present
+bound-lock/1 about="a text view is a signed line view/<name> whose value is an ordered alphabet of regions; render(fold, regions) writes them as markdown in that order; anyone signs a new view in their own lock. bound holds one render and no format; topos holds no template, only the alphabet of regions a fold can render." at=witness:readme-as-a-named-template by=owner epoch=1 form=alphabet measure=status needs=samples/yes/ role=demands scope=audit/a-view-is-a-list-of-regions shape=decision sig="ed25519:era1:sje2U6YiMphoW7lu5lws2Te+gqJsD8XM91otJKjWHauQ3QKTb/BlAxvJl9zCfD8GwWhzlsMxdMtWOM/SffJxBg==" value=present
+bound-lock/1 about="a network act of the agent is a claim or REFUSE; viewing a leaf is a local render" at=policy:security/acts by=owner epoch=1 form=interval measure=acts-on-unnamed-hosts role=reads scope=audit/agent-acts-are-effects sig="ed25519:era1:0VugVQGZjBnFMXV9paUfTcu7nIpwvOulRvA+1UZcDqSZV3i3+FqNtjaDEkKy9srNXSPeE1LYc83+GBIJUVEABg==" value=0..0
+bound-lock/1 about="cells, meets, joins and states come from the object; the notation writes no order of its own" at=witness:a-notation-that-did-a-worlds-work by=owner epoch=1 form=interval measure=count role=reads scope=audit/algebra-is-imported sig="ed25519:era1:YZU9RGXJo9gKLjIKE5DNRaFL2oEDBYeUxr8rMq3B/SSkjHoYHfQeHFVtEC6eqL6Gp8z63Fz1wX7Zfxzcehl7DA==" value=0..0
+bound-lock/1 about="what a test compares against is read from a sample; zero and one are not values, they are identity and absence" at=witness:a-demand-that-named-a-sample-nobody-wrote by=owner epoch=1 form=alphabet measure=status needs=src/capsule/index.ts role=demands scope=audit/assertion-is-a-sample shape=decision sig="ed25519:era1:HhW/rPctehDtfI2S1bTC4IfshV5K7s9xJMohJFPIeR34HsPp9Zo0BBpUPQnE7C3jJz5w5DH7P6XLRxiQrYjsAw==" value=present
+bound-lock/1 about="each block names the law or offer it fixes" at=witness:a-demand-that-named-a-sample-nobody-wrote by=owner epoch=1 form=alphabet measure=status needs=src/capsule/index.ts role=demands scope=audit/block-names-its-law shape=decision sig="ed25519:era1:iI4yfQhTLJwYLIlKxgseEhgkCVjpCQp6vIaf91As62lrNosQixngvMEI4KBs3BeTTkCbVpq0lz6btPrSIqycCg==" value=present
+bound-lock/1 about="a second body across places — a parser, a serve, a descriptor, a form — counted when bound folds the places together" at=policy:capsule/one-body by=owner epoch=1 form=interval measure=bodies-written-twice role=reads scope=audit/bodies-written-twice sig="ed25519:era1:lcBQ55McHFe4acA/4ZFjrdH78JH7dU4deQMjHeu66uLKw+SEDLAYJ66DiMmHlITNTLKt+XAIgEzWj4H0A1CMDQ==" value=0..0
+bound-lock/1 at=witness:replay-planned-as-a-procedure by=owner epoch=1 form=alphabet measure=status role=demands scope=audit/bound-store-is-a-domain shape=reader sig="ed25519:era1:To3lnXBG8jT7cuFtSudpG8jqTEWQMOd7y5Jhs2fcCZvcEAVIKTDxg5Pc7iqoLcgNYtFmcsyLkTELuTM2RO6LCA==" value=present
+bound-lock/1 about="a place admits a capsule when its vectors pass; a capsule without vectors is not admitted" at=witness:a-demand-that-named-a-sample-nobody-wrote by=owner epoch=1 form=alphabet measure=status needs=src/capsule/index.ts role=demands scope=audit/capsule-admitted-by-vectors shape=decision sig="ed25519:era1:w/6wuGHkhs/N5yjloBBkUp/1TZjDDnOHQK9AfwhiG77h48F5NfrSxLHBRmoIscqZn75bzobMUCgHv9Z+ppfeBw==" value=present
+bound-lock/1 about="an import of another capsule, from any source the dependency reader reads, is one red: what one capsule knows of another reaches it as receipts through the contract, never by import" at=policy:capsules-import-topos by=owner epoch=1 form=interval measure=count role=reads scope=audit/capsule-imports-only-topos sig="ed25519:era1:uN1PFFjqqy1zsU5RB4azX2VhlPY80wYtj+/eyNNOeJoVdpooZsXluuokW9JTN31OHHowwR3p1wnfu4MxmMivAg==" value=0..0
+bound-lock/1 about="a value a capsule invents is a default; a field is a line of the place or absent" at=witness:a-demand-that-named-a-sample-nobody-wrote by=owner epoch=1 form=alphabet measure=status needs=src/capsule/index.ts role=demands scope=audit/capsule-invents-no-default shape=decision sig="ed25519:era1:1XpeRo8SrxPO6zXHec0s8t0Kgi3shppDOi7BCo+cYnYJ6EiR4DnQkXMYt6lrLyOakd+BUYUYMMfw35xvcS4xDQ==" value=present
+bound-lock/1 about="capsule-reads-lines-and-receipts-only: a page is a function of the declared regions' lines and receipts; no regex over source, no path literal, no host literal, no law name, no placeholder token, no word table" at=policy:capsule/reads-lines-and-receipts-only by=owner epoch=1 form=alphabet measure=status needs=samples/yes/capsule-reads-lines-and-receipts-only.json|src/capsule/index.ts role=demands scope=audit/capsule-reads-lines-and-receipts-only shape=decision sig="ed25519:era1:wRlpIN79AlGmTvckT8VZw+0NaiGs4+tUfgC/1dRTE1OmCofCtTLys01fY7WUV1bAOvQU8tLn4qpcLuoBmPKKBQ==" value=present
+bound-lock/1 about="a capsule sees only the parsed lines of the regions it declares, handed to it by the contract; never a lock, never a file" at=witness:a-demand-that-named-a-sample-nobody-wrote by=owner epoch=1 form=alphabet measure=status needs=src/capsule/index.ts role=demands scope=audit/capsule-reads-what-it-declares shape=decision sig="ed25519:era1:9QUOz7rsicEMlW/+mecOEHw/vlCIU5gi2x+VruySPE39h30Uk6uKkS3ukjglyBsK7m4sVa9iHY6Y3GOGQeXmDQ==" value=present
+bound-lock/1 about="a capsule is capsule.bound (uses topos by digest; the regions it reads; the leaves or claims it writes; its forms; its effects: none or network:<host>), one code file with one export (observe or render), vectors, and a README rendered by topos-doc — nothing else has a place to exist" at=witness:a-demand-that-named-a-sample-nobody-wrote by=owner epoch=1 form=alphabet measure=status needs=src/capsule/index.ts role=demands scope=audit/capsule-shape shape=decision sig="ed25519:era1:9POb/W1qadVIJHEaSsiNhcxgx7tgsi0yLztnNkPHNr8oWaJgPer+k6C6zbAgwJTmS/XlPaBtDGd/mYyKbq1iBw==" value=present
+bound-lock/1 about="what a capsule holds as source: its lock, its code, its vectors and samples, and the descriptors it declares; its pages are rendered into docs" at=witness:a-capsule-place-that-renders-its-reference by=owner epoch=1 form=alphabet measure=id role=reads scope=audit/capsule-shape sig="ed25519:era1:1SEqHwyADDRKV/Dfd6F6pvh1BukpLFvHb/Vr/PQgzBNv76+BzBlZ4BoCQwmLXp3y80RhHyxm05gmN0GVz6CiBA==" value=TARGET|capsule|roles|forms|formulas|views|effects|sources|src|vectors|samples|docs
+bound-lock/1 at=witness:a-need-that-names-a-leaf-that-left by=owner epoch=1 form=alphabet measure=status needs=src/readers/*|samples/yes/* role=demands scope=audit/close/readers-live-in-topos shape=decision sig="ed25519:era1:8HLMvQPQWwlIG4xjPGg+7Vycbcf51esBtZKyVRxwIHxkR3Vgucn94zn70yuYw7QFgMv6Tnyv4FunBCo1g+IQBw==" value=present
+bound-lock/1 at=witness:agnostic-claimed-not-proven by=owner epoch=1 form=alphabet measure=status role=demands scope=audit/contract-capsule-is-the-falsifier shape=reader sig="ed25519:era1:hmOiFd/pcdSpzYh5yJLq3pMg5WamckzQ+9AtTK8bipjlT5yI01lWEe8nf+iSNZfTvhMLnlMl9cL8h6/wgSZGAQ==" 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/readers/define.ts|vectors/readers/cost.json role=demands scope=audit/cost-is-a-fold shape=decision sig="ed25519:era1:XTToGUBkrglVUN8n8LHaFOHxA+fojOk2ZIjNQl6tZYWYwXEetjxOxeZlxzwRr1D1fKOHB2j5s+AByfsmcOVaAA==" value=present
+bound-lock/1 about="customisation-is-the-place's-lines: theme · prose (with lang) · notation/* · docs/regions order · sources/* · examples/dir · samples/dir — a person customises by signing lines, never by forking the capsule" at=policy:capsule/customisation-is-the-places-lines by=owner epoch=1 form=alphabet measure=status needs=samples/yes/customisation-is-the-places-lines.json|src/capsule/index.ts role=demands scope=audit/customisation-is-the-places-lines shape=decision sig="ed25519:era1:0gAvo8OjjN8xgtuRCTjI3VyHZ5IEMFqFI0ll85zOc2XdzUZqSXjBKcK+V8eHACW5XJqi7427aBGqtNhz5utyAA==" value=present
+bound-lock/1 about="what ships is code and its types" at=policy:place/dist by=owner epoch=1 form=interval measure=shipped-beside-code role=reads scope=audit/dist-holds-js-and-dts sig="ed25519:era1:uWMWGxH877B2Rf2k7Sjgn0JMphYoOTthOr31RKGF9j8BVghhYt5A+S55qp8zxa7iv2uFPhFGhDnTYPZMFPa/DQ==" value=0..0
+bound-lock/1 about="every page has a mode: a place writes it or a capsule renders it" at=policy:pages/mode by=owner epoch=1 form=interval measure=prose-marks role=reads scope=audit/docs-have-a-mode sig="ed25519:era1:N1+1bM+8jldu8fgA+Z+/O7LtnMO+nb+nP+0qUDzULb0Sew185JULhe79+c4MrKhaPhY4D63Q7eJDvpLYBC+sAg==" value=0..0
+bound-lock/1 at=witness:a-count-named-for-what-it-counts by=owner epoch=1 form=interval measure=count role=reads scope=audit/every-capsule-has-a-lock sig="ed25519:era1:ivBt08gC1RLJNXSUCkEAp79WmWG7vcC8IMcoFqDlu2wAvpNZuPH1jW7qc+V6ig8fggqiqaMbCDVplE3sQOj4AA==" value=0..0
+bound-lock/1 about="every export resolves in the packed tarball" at=witness:a-demand-that-named-a-sample-nobody-wrote by=owner epoch=1 form=alphabet measure=status needs=package.json role=demands scope=audit/exports-resolve shape=decision sig="ed25519:era1:tP+mS/hWmL8me+HlohO+WDGTOlt8bdqtX2p6jkGfzcs8q9BoIBEg0TwCWNCd/sPpmdvoSRpKGGK7pRVujzStBg==" value=present
+bound-lock/1 at=witness:card-shape-lived-in-bound by=owner epoch=1 form=alphabet measure=status needs=src/wire/|src/readers/define.ts|vectors/|samples/yes/ role=demands scope=audit/format-is-closed shape=vector sig="ed25519:era1:g2II784Rw2Go4WT3fgKWxam1d3nA8xpoI8qw4B9hcA7DybvRdxfiiWkd55MIJAjdGVZcj6QJm9gqhTxhP09ZAA==" value=present
+bound-lock/1 at=witness:a-demand-whose-needs-had-left by=owner epoch=1 form=alphabet measure=status needs=src/wire/claimline.ts|vectors/forms-registry.json|test/forms.test.ts role=demands scope=audit/forms-are-locks-loaded-by-name shape=decision sig="ed25519:era1:1JuIKCXmMm3Wr4bPlkrXix8PtycRYm9o9NEjfGEf04YBxDOCIOPKuU8aly8+jhGTzNQVu678m/FOQX4gTxdZAg==" value=present
+bound-lock/1 about="a form carries points(seed, n): the sample every reading over forms uses; no generator lives in test/" at=policy:forms-carry-generators by=owner epoch=1 form=alphabet measure=status needs=src/forms/index.ts|vectors/forms.json role=demands scope=audit/forms-carry-generators shape=decision sig="ed25519:era1:43KGEJQA0QDsWZWQ2sYDKnghtFK31An9wdLsQZznJj6ZbUg1mF/IRs0H7pRfljk5yR5DMWkzT+kIjudi2xlVDA==" value=present
+bound-lock/1 about="a form mutated three ways (meet as join, order reversed, one law removed) makes violationsIn fire; a form no mutation exposes is one the checker cannot see" at=policy:forms/lattice by=owner epoch=1 form=alphabet measure=status needs=src/forms/index.ts|vectors/forms.json role=demands scope=audit/forms-fail-when-broken shape=decision sig="ed25519:era1:OqRhui6/xTKdt7SH9e+X99HP9Y80yfUl24Lr58wqtubb8KRbL3uIgTgYFsyVGDUlCqiCm0Tcmw8fODlF/Uk5Dg==" value=present
+bound-lock/1 about="every offered form is a lattice: meet and join obey the axioms on the points its own generator draws" at=policy:forms/lattice by=owner epoch=1 form=alphabet measure=status needs=src/forms/index.ts|vectors/forms.json role=demands scope=audit/forms-obey-lattice-axioms shape=decision sig="ed25519:era1:vUtBjyObaRs5d+xD7pqjYDihv8v3DSOXRbyqPiV9L+ltGRGDN0dHJvbRO1OFtUSTOunMdF8tb5s10VdWRf1JBQ==" value=present
+bound-lock/1 at=witness:a-need-that-names-a-leaf-that-left by=owner epoch=1 form=alphabet measure=status needs=samples/yes/* role=demands scope=audit/formulas-and-views-are-locks shape=decision sig="ed25519:era1:D2vCnGBvdpQ30z0zf+ckksHiSRphNGluKRgsMuIhvQgTaZH1pwNDLgzR08VqbrWlr0DYD7S/m9WkA+lFpu53Bg==" value=present
+bound-lock/1 about="a module beside the tests only builds inputs" at=witness:a-demand-that-named-a-sample-nobody-wrote by=owner epoch=1 form=alphabet measure=status needs=src/capsule/index.ts role=demands scope=audit/generators-only shape=decision sig="ed25519:era1:Yss0r7lMRhrQU4SqbKaLv3o1H8ptfosG7LWUjNUQK4NKdirVFQOxGyQp85GMRVBJi8BN4u+wtpxFKTJpoWuoAw==" value=present
+bound-lock/1 at=witness:losing-a-key-breaks-nothing by=owner epoch=1 form=alphabet measure=status needs=src/wire/claimline.ts|vectors/rotation.json|samples/yes/|samples/no/ role=demands scope=audit/key-rotation-ceremony shape=decision sig="ed25519:era1:iDvLpdeeat68LXE1swNOyJsGGBRnqL1UicK5ro2tKmmtr1R9Ll0vXlGRJbu4qIhZc9d6MMCrZVpkmRhnnwqFAw==" value=present
+bound-lock/1 about="language-facts-come-from-the-language-capsule: anything read off code (a cell in an example, an import, a signature, a doc head, a test block) is a receipt emitted by topos-<lang>, never parsed here" at=policy:capsule/language-facts-come-from-the-language-capsule by=owner epoch=1 form=alphabet measure=status needs=samples/yes/language-facts-come-from-the-language-capsule.json|src/capsule/index.ts role=demands scope=audit/language-facts-come-from-the-language-capsule shape=decision sig="ed25519:era1:APLCPJDGqH50Tg7oYWM7JulFblt0DrBx8YUf/TBnqd34I+TA0d4x/WgvtHC0VFnpf+FwfgkaCTmC2CiuZhimDw==" value=present
+bound-lock/1 at=witness:unobserved-needs-a-human-to-find-a-reader by=owner epoch=1 form=alphabet measure=status needs=src/readers/define.ts|src/wire/claimline.ts|samples/yes/* role=demands scope=audit/locks-and-targets-are-one shape=decision sig="ed25519:era1:qUJ72p01eplcHk+22ZXliEzfm03OU/raPph3FHzDPs1b/ed+Qf+RS2TM0J+ViOKtm1hmJqGOhaKNqk+tmytkAQ==" value=present
+bound-lock/1 about="a need names a leaf that is there" at=witness:a-demand-that-named-a-sample-nobody-wrote by=owner epoch=1 form=alphabet measure=status needs=src/capsule/index.ts role=demands scope=audit/needs-that-name-nothing shape=decision sig="ed25519:era1:czOnbKSRsCyvO3Ay+jdXsnz+UAoRCoEGcydFVw9qL5z/rlpNL0YViETFD6x/BSujyEQREtfllNLuGoRMVLALBw==" value=present
+bound-lock/1 about="no test derives what a vector states" at=witness:a-demand-that-named-a-sample-nobody-wrote by=owner epoch=1 form=alphabet measure=status needs=src/capsule/index.ts role=demands scope=audit/no-derives shape=decision sig="ed25519:era1:6KBp3Jf0LeTR9eTYeW9l0bBMu6HmVG5s+KAPolLNOYJ4WiECgc67Qn0iwzCECiEfg8U8XULlJy4W2ED+Q8tUAA==" value=present
+bound-lock/1 about="a leaf leaves through its line" at=policy:place/removal by=owner epoch=1 form=interval measure=removed-by-hand role=reads scope=audit/nothing-is-removed-by-hand sig="ed25519:era1:plI7EFiKGseobmZXura8OymZMmNlppjIUKEsiFkeZ02fwJAD+clGEwY2Kea8JkYwQInXHWZO5LUXlJE32HflCg==" value=0..0
+bound-lock/1 at=witness:stdout-read-before-close by=owner epoch=1 form=alphabet measure=status needs=src/wire/claimline.ts|samples/no/* role=demands scope=audit/observation-has-a-close shape=vector sig="ed25519:era1:hEKkSLyX+LbM3StStB5zgA1pZQNdDfHItcTtMCfwQLIz9IZgx+h/u/Q8l82qjQj8+PTC52aqNz1U3dbv/jojAw==" value=present
+bound-lock/1 at=witness:wasm-proposed-as-mandatory-runtime by=owner epoch=1 form=alphabet measure=status needs=src/readers/define.ts|vectors/observe.json|samples/yes/|samples/no/ role=demands scope=audit/observe-is-an-interface shape=decision sig="ed25519:era1:iplGyXHEE9bs9d2rXRHLdQgmBxU6zNZJsIirkevOjorvvRxnDbCrxhToveDTd/G6a0G4LoRnYU+tCMW1Im0GBA==" value=present
+bound-lock/1 about="exactly one process protocol in the world: topos-s SPEC, Request to Response with refusal codes, no disk and no network inside a reader or a capsule; readers and render capsules speak it and nothing else — counted, it is 1" at=witness:a-demand-that-named-a-sample-nobody-wrote by=owner epoch=1 form=alphabet measure=status needs=src/contract/index.ts role=demands scope=audit/one-contract shape=decision sig="ed25519:era1:y+GumpnEzwMpgAzYQ/Th5a2mhMjmzD/xSgfBAKw8V1ysWglv8qhIDCS70s6ZnB0PCLzABhJgJBCnn9ZJykZkBg==" value=present
+bound-lock/1 about="one module loads vectors and samples" at=witness:a-demand-that-named-a-sample-nobody-wrote by=owner epoch=1 form=alphabet measure=status needs=src/capsule/index.ts role=demands scope=audit/one-harness shape=decision sig="ed25519:era1:h0gLQDbhfQ56HL/uIWyDzqa49xeYWvMuKyQHr70Vz5fWybHtglPjoFOxCPch0LXR8zOgIF45eJO2HnxuTULHCA==" value=present
+bound-lock/1 about="serve lives in topos/src/contract once; a second serve anywhere is bodies-written-twice — counted, it is 1" at=witness:a-demand-that-named-a-sample-nobody-wrote by=owner epoch=1 form=alphabet measure=status needs=src/contract/index.ts role=demands scope=audit/one-serve shape=decision sig="ed25519:era1:uexhFuIQtAXL5NTdKyRMrr8vs95q6Y8QuG6IQ8t8+aTurEA05ct3FEAi6ypysiADuS0t4AmBh0i5zmLh6IHfAw==" value=present
+bound-lock/1 about="every leaf has a reader or a line" at=policy:place/orphans by=owner epoch=1 form=interval measure=orphan-samples role=reads scope=audit/orphans sig="ed25519:era1:Ft8DcgDhV0+etyrvizByDxsOk6b0cGvG4yxmB2YnpxWi5xlncW0DVqZ8ZZRHutwOwWRQoFl6TvUDNYoy9LVTDA==" value=0..0
+bound-lock/1 about="every line of the place resolves inside it" at=witness:a-demand-that-named-a-sample-nobody-wrote by=owner epoch=1 form=alphabet measure=status needs=src/capsule/index.ts role=demands scope=audit/place-is-closed shape=decision sig="ed25519:era1:IVOKvxkjGeA5otF1XISGNkQdmwqGhnnphwmPijFyZctSMaWKYKUAjVHh8aJhbS3HvByrDjD6ZguqE5uHnaCeBg==" value=present
+bound-lock/1 about="topos reads the wire and never produces any world's output: no words, markup, figures or arrows; a helper that produces them lives in the world that uses it" at=witness:a-notation-that-did-a-worlds-work by=owner epoch=1 form=interval measure=count role=reads scope=audit/produces-no-text sig="ed25519:era1:pdUc/vNd2y/iATJ95/wcceHAjVAOTqBX2fvuEvPVI7OJTCO0ZX2WNYekSqn2XUhgrPXdWL+z8TfjhXQjDeoJBw==" value=0..0
+bound-lock/1 about="a reader in topos: zero; readers are capsules" at=policy:notation by=owner epoch=1 form=interval measure=count role=reads scope=audit/reader-modules sig="ed25519:era1:A7Jsv+mvlCOlAdfWyTyBplyDm7HhXAhxY/zZ+bXvn9AD4rOf1QecyxUaxo7kQX68kbKDvxnHydSeawteicZmBw==" value=0..0
+bound-lock/1 at=witness:synthetic-reader-floor by=owner epoch=1 form=alphabet measure=status needs=src/readers/define.ts|vectors/readers/pure.json|samples/yes/*|samples/no/* role=demands scope=audit/readers-are-pure-transforms sig="ed25519:era1:bju1/wmcD1VjiTCTNYJYq+bFYJXff7Na2g9dhy1x5GxenmhQUwbQ6ypk+M2+8m6kOcsbEOoyQRaVdRK/Sa4gDQ==" value=present
+bound-lock/1 at=witness:vacuity-walked-the-tree by=owner epoch=1 form=alphabet measure=status needs=src/readers/define.ts|vectors/readers/observe-once.json|samples/yes/* role=demands scope=audit/readers-observe-once shape=decision sig="ed25519:era1:/y4bsE95acU6Xfl/Tur4OxguMdGfDAcnE/a+RkKRDsQWNHQW7Wk72lqJDnxDTQswq71auTv/Djh4I0RlS9hIAA==" value=present
+bound-lock/1 about="a render module in topos: zero" at=witness:the-citation-render-landed-in-topos by=owner epoch=1 form=interval measure=count role=reads scope=audit/render-modules sig="ed25519:era1:JgTOi8LF4rGO7T3/5/P2i8eMuv8pQvfKo9s8B2Gd08PpgSK45S6J6/hh8fNZxsvF1HRBCuQtZsVSRt9uFY/WCA==" value=0..0
+bound-lock/1 about="every leaf a view writes is what it would write" at=policy:pages/same by=owner epoch=1 form=interval measure=rendered-leaves-differ role=reads scope=audit/rendered-docs-match sig="ed25519:era1:KKoh5rK/neyOLi6qbx7MfDjCpbY5bksqAJiiTV9R2sPhJufy+KnW2BCMLsqfGuoIAFeROQrQnfNbjW2yyd2HAg==" value=0..0
+bound-lock/1 at=witness:one-owner-key-hardcoded by=owner epoch=1 form=alphabet measure=status needs=src/wire/claimline.ts|vectors/signers.json|samples/yes/|samples/no/|src/authority/admit.ts role=demands scope=audit/signers-are-a-lock shape=vector sig="ed25519:era1:fJSjLQWs1mu8RsO30wZICpDbyqteE3IOhGwxG2Xb/QWpKOA0ds53Ng14CgnJXl/5aaEITu5VpKK6QGWPojatBA==" value=present
+bound-lock/1 at=witness:16-audit-step-lines by=owner epoch=1 form=interval measure=unadmitted role=reads scope=audit/signers-are-a-lock sig="ed25519:era1:6xgaA2m7OrqR28JRQixYmSSbyOs6DMbp9/4vjEm//4PabEdqZJGYzy7CJgPDfxeglniPU2sb0Yn92J0Nb9VlBQ==" value=0..0
+bound-lock/1 at=witness:a-need-on-a-reader-its-entry-never-reached by=owner epoch=1 form=alphabet measure=status needs=src/wire/claimline.ts|vectors/leaf.json|samples/yes/ role=demands scope=audit/source-is-leaves-by-digest shape=vector sig="ed25519:era1:Yuo+Z0FTdY9tGsYD9i8vehVIZaq6nAA0XMvBZoI+9CkneAZ+BVoRZPBoQFVjgC5TklXoGQ3lt/Ia5qhanuDWCQ==" value=present
+bound-lock/1 at=witness:attestation-field-certifies-actions by=owner epoch=1 form=alphabet measure=status needs=src/wire/claimline.ts|samples/no/* role=demands scope=audit/states-not-actions shape=decision sig="ed25519:era1:Lwwk2Ligf83ahpXZsfU1gxJhz4DKP0cw7yiTHKsNO79jc4X9FlmafkvWi6TzEUx0H6VDo+GGv6IUasgpIeCTBg==" value=present
+bound-lock/1 about="no script, foreignObject or external href in a figure" at=policy:security/svg by=owner epoch=1 form=interval measure=svg-unsafe role=reads scope=audit/svg-is-static sig="ed25519:era1:WwwbPPoXL+FELLMY+IBUTB2yFvoMWyYCLrbM76lkyl0SYG/ZM4cXODA6kI6hvD77n+ln4BIgXJudsNPpABPdBQ==" value=0..0
+bound-lock/1 about="a test imports the package by its name" at=witness:a-demand-that-named-a-sample-nobody-wrote by=owner epoch=1 form=alphabet measure=status needs=src/capsule/index.ts role=demands scope=audit/tests-import-by-name shape=decision sig="ed25519:era1:Y5ovqymek3amzRUWt7t8prOA4P+NcYv5/zBgRuIT3pcLN0bPb+ZlP4qUy0q+r6Fi2i3Ge2OvfyiPTgZAU1rmAg==" value=present
+bound-lock/1 about="a test imports only what an offer carries" at=witness:a-demand-that-named-a-sample-nobody-wrote by=owner epoch=1 form=alphabet measure=status needs=src/capsule/index.ts role=demands scope=audit/tests-import-offers shape=decision sig="ed25519:era1:hb561zBPFkccgeWgHzJ4u9r77ffXp6HWqaPmklREo4cptOmP6+w0rsmYBdAWLt1dL9dYcXEgFur/NfaGAWkjDQ==" value=present
+bound-lock/1 about="every view declares what it reads and what it writes (ViewDescriptor); a view with no descriptor is SHORT" at=witness:a-demand-that-named-a-sample-nobody-wrote by=owner epoch=1 form=alphabet measure=status needs=src/wire/descriptor.ts role=demands scope=audit/views-without-descriptor shape=decision sig="ed25519:era1:CkMnP7H3P4Etyx6lXMh+l8woatSaqRqBvEdL1ND9XvxgpSrSnviEVyxAxgycz4Jrg/6DIF6gNvrEmS1r8D5WAw==" value=present
+bound-lock/1 about="every field of the wire, its alphabet and its algorithm is a signed line in topos' own lock with an epoch: sig names an algorithm by digest that can be superseded; at carries only wire-level classes (origin, place, receipt, witness, policy) never an instrument's; needs is a region (coordinate prefix, resolution), never a path. A field the lock does not name is refused; a field whose epoch closed is read as history. The wire that reads a 2026 claim in 2076 does so by folding the lock of 2026, not by remembering it." at=witness:three-of-eleven-fields-name-this-era by=owner epoch=1 form=alphabet measure=status needs=src/wire/claimline.ts|vectors/wire/fields.json|samples/yes/|samples/no/ role=demands scope=audit/wire-fields-are-claims shape=vector sig="ed25519:era1:SVcGGvgV0ONPC2n/UdSKgKtW+6pIz/HhnkCVvCsUv8IiWEOsrQeq6HKfloz13yxlKUc14eLpWv8HEE/WjrgKBQ==" value=present
+bound-lock/1 about="a value is parsed once, in topos/wire: no pipe, equals, slash or at-sign split, no host order and no number read without its form anywhere else in the notation" at=witness:a-notation-that-did-a-worlds-work by=owner epoch=1 form=interval measure=count role=reads scope=audit/wire-parsed-once sig="ed25519:era1:fLL6nFA0maV5iY3blQrySw5Wy7ph9NoiF2yablSae96x4Fa7xaD3PpcD4j0eaZxYoqT5rIMxAh7xjzOTsni8Cw==" 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 needs=vectors/wire/signature.json role=reads scope=audit/wire/signature-algorithms sig="ed25519:era1:fwurNtXmXl8EuF9MQJ3XXopAUsJWxZ1bh1YFvv0o+M2Kk2FJsInA/dPXOBtCMMJqugettmTP7VSfRAAPuUpPAQ==" 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=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id needs=package.json role=writes scope=author shape=package.json sig="ed25519:era1:QEssE41DBBYCMGbYNhFSYbwZyD02FEJxpe1aT7yDj3P1KywvI2kBYEq3pf9Teufpxl63i006/1RfTuGUBoBkAw==" value=Lapxo
+bound-lock/1 at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id needs=tsconfig.json role=writes scope=build/allowImportingTsExtensions shape=tsconfig.json sig="ed25519:era1:F9Uov8eBoTNxTOcBc8DDUWA/0gW0oIm7KXEg/mv+6T7tIITB6udHEigmNnEecDGk4ilhLZPHVq/1XBbo9gy4Bw==" value=true
+bound-lock/1 at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id needs=tsconfig.json role=writes scope=build/declaration shape=tsconfig.json sig="ed25519:era1:WN0rFjmu7sddWyRZvBx/fwa6ASam+DThevINy0ngx+EHv3fiA7PQmPa8XXOrFbj4YoaSR0sxvlQVnM5/jqnwBQ==" value=true
+bound-lock/1 at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id needs=tsconfig.json role=writes scope=build/esModuleInterop shape=tsconfig.json sig="ed25519:era1:egT645Nm235D1Za88G6LtFR7WhuUet/C3rkgAbQefDKlgt1/VnOJFriJHBLLjThHHzKklgAdN1JMoqDColg6Bg==" value=true
+bound-lock/1 at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id needs=tsconfig.json role=writes scope=build/forceConsistentCasingInFileNames shape=tsconfig.json sig="ed25519:era1:nCNqz6X3xK43uNKjxPlOcLsdhw3T1MlYpLCsB0pzMEJ7Z+h8WLozJwEPTgCLGd9IwNOnc8RHYUsrjYHXvxvXAA==" value=true
+bound-lock/1 at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id needs=tsconfig.json role=writes scope=build/include shape=tsconfig.json sig="ed25519:era1:Ykc2dfxmUqwcftMU4r3W+BvrdvZRw68bx40//oI6TgAM68iJZ11Rwoalphdllyic1zBleIWOjW0puWso9nacDA==" value=src
+bound-lock/1 at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id needs=tsconfig.json role=writes scope=build/incremental shape=tsconfig.json sig="ed25519:era1:q2YK/nojfzAIitJ9zqP4EW9WQ5fj8hmwqSBD/P7Oqu6bFUgk9mkEPsLebq7qIqcTJ3HDyspBb72gHsV5Yd/jCA==" value=true
+bound-lock/1 at=witness:a-form-no-block-could-reach-in-a-commonjs-build by=owner epoch=1 form=alphabet measure=id needs=tsconfig.json role=writes scope=build/module shape=tsconfig.json sig="ed25519:era1:08xSktKJ/KapvejW9XEX1oF2cHXITHNGRoTisUe137oce9qoFfjqkG8WxGMqiZ0Jhb3j7xevXyC5P4JnGOIVCA==" value=NodeNext
+bound-lock/1 at=witness:a-form-no-block-could-reach-in-a-commonjs-build by=owner epoch=1 form=alphabet measure=id needs=tsconfig.json role=writes scope=build/moduleResolution shape=tsconfig.json sig="ed25519:era1:ppl+FLMT+jjwhZSmLPWdPIgHKTn35ywF1ooANvsUlHBxuoR8f638QqiqkKQuytCOGOmnV6cALwmpwQ54keFWCA==" value=NodeNext
+bound-lock/1 at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id needs=tsconfig.json role=writes scope=build/noFallthroughCasesInSwitch shape=tsconfig.json sig="ed25519:era1:n3xe0yxiKjap89HPhFUtsoqwEfdMqYULVNmD4Go6raaBMGUUO+J8JM3qd9w1jtDpFmgUxWrcUIvjiKNXNr56Cw==" value=true
+bound-lock/1 at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id needs=tsconfig.json role=writes scope=build/noImplicitOverride shape=tsconfig.json sig="ed25519:era1:p8w95gbn/G2nEOBUCWUR5FSMdSo7IZFA82ATVDEmJL/PkoleC1bERtuA4JyIsvZXeVY5E5+wHWX2o2McvHt2Bg==" value=true
+bound-lock/1 at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id needs=tsconfig.json role=writes scope=build/noImplicitReturns shape=tsconfig.json sig="ed25519:era1:TqkwF9i83Q1wM4C0a3dK8scJmaG61SNsce1mGbZzUhzg9k4M0zd7mr80GKW0WX9r+HBlbVPM1zJV2nxrkkwFCA==" value=true
+bound-lock/1 at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id needs=tsconfig.json role=writes scope=build/outDir shape=tsconfig.json sig="ed25519:era1:X0JwWvlUmjtmOCXhxEYX5pzi0NsQuAQRIkFsk0DajoH3nt+MEaV3bbMl21U1uY/R2ZouBBveAlbXu7gc9PE7BA==" value=dist
+bound-lock/1 at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id needs=tsconfig.json role=writes scope=build/rewriteRelativeImportExtensions shape=tsconfig.json sig="ed25519:era1:SUAcEUSP7szrWwroysVSZK0K0O0hj7o88aBVt8gE7GvByMDeCirkRkcgtrA1DjjyfpeWAfoEw2gqc/ylVaiOCg==" value=true
+bound-lock/1 at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id needs=tsconfig.json role=writes scope=build/rootDir shape=tsconfig.json sig="ed25519:era1:5ejp58dycX7IiDTl8WYO28B4p70VsobbUXdu7FXzv2jNHJ2Yi0dc0ji1uQbBEQgEh7tBG4YigNq45PiBcGajDg==" value=src
+bound-lock/1 at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id needs=tsconfig.json role=writes scope=build/skipLibCheck shape=tsconfig.json sig="ed25519:era1:Jb7DgPblp6kB0cOLrCMLRF/Qz03PcHiREgyBIHMdUiWFBnpk000eaE60pzd0l/N6GyQrlEjiXkkWNLbQ4G2CDA==" value=true
+bound-lock/1 at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id needs=tsconfig.json role=writes scope=build/strict shape=tsconfig.json sig="ed25519:era1:AU/ZwZmHbfdX2GoIPa9yGpI55UI/Wzm/99jdx1NUKkJWpwv2O/K9QgEYs5NvMFY7CetUfVJ1CVbqPhYb9GUiCQ==" value=true
+bound-lock/1 at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id needs=tsconfig.json role=writes scope=build/target shape=tsconfig.json sig="ed25519:era1:R5/CLCPd23g8jdt0GAFT5k1s79H3uW4J1QXC97fDBjgPniO1XEqha5Xp59UTVaoYNGoO28XK1yQtBNpYkzsCDQ==" value=ES2020
+bound-lock/1 at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id needs=tsconfig.json role=writes scope=build/tsBuildInfoFile shape=tsconfig.json sig="ed25519:era1:Ax8SpP/Z2ZphrkQeBWvzI3f8Z8p/SjFwbvsVF+vVW4dOZEBbwM3KtAxHGU79CSmNBD9T8nkpMVQZGM7O64OTCA==" value=.cache/tsbuildinfo
+bound-lock/1 about="how a clean clone checks itself: it installs what the lock names and builds" at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id needs=package.json role=writes scope=check sig="ed25519:era1:Kx+P9YfAoLyz80yoz73igQttRL9WArzB0GHFKERvwT+CpXNaKmwxv4HChw9vCCCw4y1HZ2YZNrA+TQ8TTRknAQ==" 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=witness:an-sdk-that-called-itself-a-notation by=owner epoch=1 form=alphabet measure=id needs=receipts.bound role=writes scope=claims/1-round-trips sig="ed25519:era1:YMAlIwf0TI/fe06miY531zPwQ9JwFsKdlgCDCCWZde0llQlGT+vobsfS7qjz+pOVSZKI/cDCv6gKBdChveIPAg==" value="corpus=vector/spec/*"
+bound-lock/1 at=witness:an-sdk-that-called-itself-a-notation by=owner epoch=1 form=alphabet measure=id needs=receipts.bound role=writes scope=claims/2-reads-once sig="ed25519:era1:JJABiZ1PiXFwmAGRzzBa9D/M5JKfCzFlXBAjVWnp54HZPkxuO+w9JTNMDMc46wjUX59DgGNjSv3elw4w3AULCw==" value="parsed=audit/wire-parsed-once"
+bound-lock/1 at=witness:an-sdk-that-called-itself-a-notation by=owner epoch=1 form=alphabet measure=id needs=receipts.bound role=writes scope=claims/3-knows-no-world sig="ed25519:era1:1PlCUToJCL13G5+26IIytF8IYKCwMKm/jU64X0GJ6xAGmlcDm+LrZHkXr6mfh/Bo79cibtW4oQird9H7OcCNCA==" value="text=audit/produces-no-text"
+bound-lock/1 at=witness:an-sdk-that-called-itself-a-notation by=owner epoch=1 form=alphabet measure=id needs=receipts.bound role=writes scope=claims/4-writes-no-order sig="ed25519:era1:BcR9irhSqPfNEI+z1Cxt3MS+Ep/fVbPteSGuUiCjn2bGbR5c1y0wy8OXtdzqGLc+qJ8EebN92u3KteBFH08VAw==" value="orders=audit/algebra-is-imported"
+bound-lock/1 at=policy:no-runtime by=owner epoch=1 form=alphabet measure=id role=reads scope=comment/src/** sig="ed25519:era1:opptdL989ZVZrSkTpxehj/9UDV9vtVLA+unxbOHgES+J0p/eK2QJVTAAmqT9jD5f5pw44gcnDmNi3dRKnByvDA==" value=not:fs|path|process|Date|fetch|wasm|node|typescript
+bound-lock/1 at=policy:code/comments by=owner epoch=1 form=interval measure=per-file role=reads scope=comments/*/src/** sig="ed25519:era1:tWjT3FGWMf8z30XWk8NP6aBZma8QgoLyxrEEnYf7SKQ4EjGSi3irSDKnZlw4E4fVdKjRRYJhNTcUvzYNE75lBg==" value=0..3
+bound-lock/1 at=policy:code/concept by=owner epoch=1 form=interval measure=count role=reads scope=concept/*/src/** sig="ed25519:era1:A6Z3Ie9bysIQ+wFlxxe9Pf/1ivtMTf2fHZzILwp8i6R4xTVotdNBbgBdsf228RpWhNDsAoCG0rXNhlQj62bjAQ==" value=1..1
+bound-lock/1 at=policy:one-dep by=owner epoch=1 form=alphabet measure=id role=reads scope=dep/src/** sig="ed25519:era1:xNQtIOhl29ZGHRrHSY1Eqlv/botGCfoqT+JhWjw5D7cJ4VhfRjJ0zxhtUILphrhyaLW5DmMikslQZUj3v+/SBQ==" value=obligations
+bound-lock/1 at=witness:a-range-below-the-release-its-notation-was-packed-against by=owner epoch=1 form=alphabet measure=id needs=package.json role=writes scope=dependencies shape=package.json sig="ed25519:era1:XVvHsXGmaM4dkKYDsdBPfCi3CQQ7lpUWzi15eMD2fEDDmV2FVhaZsTE+T35EVXF6fRyKIkk1kDIIY/vVCXE6CA==" value=@lapxo/obligations@^0.3.5
+bound-lock/1 about="what building topos needs and a consumer never installs: the compiler that built the attested dist, pinned by the lockfile it renders" at=witness:a-build-that-named-no-compiler by=owner epoch=1 form=alphabet measure=id role=writes scope=devDependencies shape=package.json sig="ed25519:era1:8ElVGEhykiiBceSY5aC7oS+I8vlL7t/US9w57thr1xRcznmklRKVBIl8hVBvVtk08G0OgqV89L2ohIXbwOvmBw==" value=typescript@^5.9.3
+bound-lock/1 about="topos is the notation: the wire, forms, alphabets, views, the one contract, the capsule shell" at=witness:the-notation-with-no-folder-for-its-forms by=owner epoch=1 form=alphabet measure=id role=reads scope=dir/src/** sig="ed25519:era1:jaxK2KlCln146olVqQpFNBDD8vAvbu732qFPTi15jbhUOJZN3eeMdKgPXiBXki2PJfq3PJ2eTCOkDm08+LggDw==" value=wire|readers|classes|authority|contract|capsule|forms
+bound-lock/1 about="the badges a page of topos 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:VgNpcFPFOV7OkyOD2n26OqCs1F+5AhLQ8l8q3CG1h68/HGCv7YBa+ERpolPXmQjHS5J9O1zeSkT26o0qLvMVBQ==" value=version|license|engines|dependencies|cases|verify|doi
+bound-lock/1 about="the example the readme teaches first: the world built in front of its reader" at=witness:an-sdk-that-called-itself-a-notation by=owner epoch=1 form=alphabet measure=id role=writes scope=docs/learn sig="ed25519:era1:dn3vx0Ey8yPR4vwUdCltMZ8Wre9aOqXnhTNDOLuj0frcOZQjWw+bTgwpjMkEOjlk4bUg599WgbAT/KnmOjBlBg==" value=world
+bound-lock/1 about="the mark the hero wears, the same at every size: one line with its floor and its ceiling, and the point where two origins meet" at=witness:a-hero-that-wore-no-mark by=owner epoch=1 form=alphabet measure=id needs=docs/img/logo.svg role=writes scope=docs/logo sig="ed25519:era1:paWSPZ+6dPC3+Dt9nKRDEkZajJ5ZE3DoVP8XaS0Ca09O0yZ0ITQIMFDBYSqQMdM/OIJM9vJg7sT3HuOPYlTfDQ==" value=docs/img/logo.svg
+bound-lock/1 about="the order topos is read in, one subpath a row: the wire, then the contract, then the readers" at=witness:a-reading-sorted-by-its-letters by=owner epoch=1 form=alphabet measure=id role=writes scope=docs/reading sig="ed25519:era1:P7HXyMzsSFwuXljKOrN1SI+BtCZqFu/MxWoKodawXHw1m6k4N1DVHMVlN5ZCcObRaQwwMUX9dZFAV28RgxotBg==" value=wire|contract|readers
+bound-lock/1 about="One line for every fact." at=witness:an-sdk-that-called-itself-a-notation by=owner epoch=1 form=alphabet measure=text role=writes scope=docs/tagline sig="ed25519:era1:2qYp8l2Z8m5CnGkYZyK/v8Oef8Mm71O9/l7BFd+/3mfkmO9mIMRq3fvSDyJEPeMl1QNXQ9P8OLq7RR8Dwi0VCQ==" value=lock
+bound-lock/1 about="what topos is, in its own words, at the epoch this line was signed: bound's SDK, the wire, the forms, the contract and the shell a world is built with, a reader of any source or a renderer of any artefact; and that it knows no world, produces no text and writes no order of its own" at=witness:an-sdk-whose-what-still-said-notation by=owner epoch=1 form=alphabet measure=status needs=docs/what.md restsOn=sha256:b8d64006eed800e8341a70f6a216cd94f6ba47c5873411a792bc6bc1f26aeef1 role=demands scope=docs/what shape=render sig="ed25519:era1:Uhph++7Dbt5iAqHjeY/JIkkc6k3hwDRkoeO7KkAku6OjqkRGh3tsclsGf6Wyvlptp5Sw4aj/EczAFIc+mrHfCg==" value=present
+bound-lock/1 at=witness:an-sdk-whose-what-still-said-notation by=owner epoch=1 form=alphabet measure=digest needs=docs/what.md role=writes scope=docs/what sig="ed25519:era1:mLNRordVVF/ayQf221JS4n6bcJvWJ0DYt39i+0r7msmaLnIpj7N6PlxFm79FBL6avHX848AJMp5pLRH54GFZDg==" value=sha256:b8d64006eed800e8341a70f6a216cd94f6ba47c5873411a792bc6bc1f26aeef1
+bound-lock/1 about="the example the world figure draws: the world built in front of its reader, from its own capsule lines" at=witness:a-world-the-figure-could-not-name by=owner epoch=1 form=alphabet measure=id role=writes scope=docs/world sig="ed25519:era1:R5+jKdbBg/rvkbRTRFLl03WQ3/WeM60f1zrocf/PDitPu1w6B9E6VUAAfggKXs0eBEM0CkJmJXeR1mZb0lV5AQ==" value=world
+bound-lock/1 at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id needs=package.json role=writes scope=engines shape=package.json sig="ed25519:era1:FUiXiQVdF1fTBREgK459xZGJtxeeQ5zejHxyGHVRxvqddkrblblHhxE3aE+VH9AmY4r80vqbpR1nidnRXuDRCw==" value=">=22.12"
+bound-lock/1 at=witness:a-world-the-reader-never-saw-built by=owner epoch=1 form=alphabet measure=id needs=examples/release/roundtrip.ts role=reads scope=examples/roundtrip sig="ed25519:era1:3/O7Pzh8M65av8D3QBrtAJBnvesBN4N0WFx6aZ8USW+xsCwpH1E+a9eL5m65TqEVLkPGxVObJkfx18WEufzgDg==" value=0172055d7d9c
+bound-lock/1 at=witness:a-world-the-reader-never-saw-built by=owner epoch=1 form=alphabet measure=id needs=examples/release/withdraw.ts role=reads scope=examples/withdraw sig="ed25519:era1:fIufI5xvkaHiOgSK17pqzBRbYabdEqtJvkM5K30FGuv/oE1fUIaUVy1Fohbzth7GFHnMa9FBoU6BZzB71QniAA==" value=bd52d8e68edf
+bound-lock/1 at=witness:a-world-the-reader-never-saw-built by=owner epoch=1 form=alphabet measure=id needs=examples/release/world.ts role=reads scope=examples/world sig="ed25519:era1:MgTVIYqw0Q3e377IWLEmBZYkpS0VgWS4WpkE+k5I6zjIqIbKwj4IWA8xlVptMsd//g2QZk5kx4bbxMuO3ozgDw==" value=7ef4b1a20876
+bound-lock/1 at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id needs=package.json role=writes scope=exports shape=package.json sig="ed25519:era1:oUePSJCrrp2WZWz2cH4Ajn8GFeEI7JGZKHSpaCoWLwlzuykiizArWLzxk95L0yUSKbyUHv/2AT1QRMCz5yrpAg==" value=dist/readers/index
+bound-lock/1 at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id needs=package.json role=writes scope=exports/authority shape=package.json sig="ed25519:era1:BBmBaW8Zr5hwKY6RcKQMb9KsIIDlNw60wJCPeaZcmrA+ntdns8x5mRhC7UkZfbWdGeMOI8r68Whe2tt9iUkEDw==" value=dist/authority/index
+bound-lock/1 at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id needs=package.json role=writes scope=exports/capsule shape=package.json sig="ed25519:era1:CHS71Oa6dMM5Nzo6bmgP0G3bSFrXJJkKJdF50K8eMFNr6PYl0nqWpUQWUrGyawAgEA3XV2vfWfRA4sBr9m/hAw==" value=dist/capsule/index
+bound-lock/1 at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id needs=package.json role=writes scope=exports/contract shape=package.json sig="ed25519:era1:lbdrXHCuZlBCS+dFAuueI/PFfrnufkEXLhb69NHSusPXy1gRLkz+E/4NJbCksjjv2B3bac6qQd86EM3yY9jeAw==" value=dist/contract/index
+bound-lock/1 at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id needs=package.json role=writes scope=exports/forms shape=package.json sig="ed25519:era1:cD3F8xun4tGJfbxEaZAtTaKWDyooaUYX7zLz8E+RBx6Xquw7Lg7L1sEvNKGqV3jk6Wo45YKCSvvj8sQkx2yvBg==" value=dist/forms/index
+bound-lock/1 at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id needs=package.json role=writes scope=exports/readers shape=package.json sig="ed25519:era1:lMWRNbcFMTTTVHYOAmb07aSsdCgLYgjVXbUdff2vA3mqZMDI6oDN4N/eBW5kWWDGDnNLq1PNrwKnzsnl/ZYRAw==" value=dist/readers/index
+bound-lock/1 at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id needs=package.json role=writes scope=exports/wire shape=package.json sig="ed25519:era1:D/M5g5TmlPAof0mVoo9dvsL6khgHyRY8UBhKRNr5q9+0vHh/d0XkHeWMlwk/2sKSqXzoevUelYuwQnfeqSlPBQ==" value=dist/wire/index
+bound-lock/1 about="the fields a figure of one line labels, in the order it draws them" at=witness:a-figure-drawn-from-what-a-place-ships by=owner epoch=1 form=alphabet measure=id role=writes scope=form/figure/line sig="ed25519:era1:eonwXkd2Vm8Zj4aNrRtphKWa2uXOVdeNAMilslJ1zVHHijgO+LkmBTBWS5VAS+O4lo51xOsd6FYMkHJQOGRLBw==" value=scope|role|measure|form|value|at
+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-state-said-as-two-booleans by=owner epoch=1 form=alphabet measure=id role=writes scope=form/prose/en/state/CONFLICT sig="ed25519:era1:c9nk+0QNXJeC+cZR7y67vGQqdVCG5zQAZAA62vQGCQneR01bBsEvM4CwmxTaEDkrN3HOFyr9rFGXjb62Z3omAQ==" value="its origins are apart"
+bound-lock/1 at=witness:a-state-said-as-two-booleans by=owner epoch=1 form=alphabet measure=id role=writes scope=form/prose/en/state/FORBIDDEN sig="ed25519:era1:wG2af6goroYYr8yIVVEC4E6moyG3+M3Zk4v96qbMaI9fua8BZWcAeh6JJT/TCY3g6kWOANJxAQwjUOMtje7oCw==" value="its origins meet outside what its lock allows"
+bound-lock/1 at=witness:a-state-said-as-two-booleans by=owner epoch=1 form=alphabet measure=id role=writes scope=form/prose/en/state/FREE sig="ed25519:era1:hxJ8h7hFDP4TIs6QZcwJwatknDoekI9LS7aOLrps760pufstp/9V91Hr8Kfo8+kgwX9Y2iYhJz27U62GQm8sCg==" value="its origins meet"
+bound-lock/1 at=witness:a-state-said-as-two-booleans by=owner epoch=1 form=alphabet measure=id role=writes scope=form/prose/en/state/REQUIRED sig="ed25519:era1:leZ18v3PyBXf6j9yaWgxr241Bq9FPDt1xhd7GnW90vF+TJdupjsNvo6NRfNGVLcZRWYhySQobk4dDkhdwRtTAg==" value="it has one origin, and no second has met it"
+bound-lock/1 at=witness:a-page-that-knew-its-world by=owner epoch=1 form=alphabet measure=id role=writes scope=form/prose/en/words sig="ed25519:era1:cYF+ufGiWZ+WRe9qvo2AwyctpLA3r/mYMUzKupkjaw/ju1R4RnytlPhLgYzlJ6+IfefmVK0UzDE5iCsqCpVIDw==" value=spaces
+bound-lock/1 about="the prefix node gives a host module" at=witness:a-runtime-only-the-fixtures-held by=owner epoch=1 form=alphabet measure=id role=writes scope=form/runtime/node/effects sig="ed25519:era1:B9A9JskeafAgSJZ46Cs57rkgbwJ3YU6C13EqF+Cu35ls2oHdXbExnuGSQ9rP57d6r3ZZnplnIP7BFI9LUZmrDw==" value=node:
+bound-lock/1 about="the file node starts a capsule from" at=witness:a-runtime-only-the-fixtures-held by=owner epoch=1 form=alphabet measure=id role=writes scope=form/runtime/node/entry sig="ed25519:era1:a1/KZeltu7foBTOLzJcBZpEasWl+auLAvxGY9opa3XvDZHRzoFVC33gk6jWgbsG/2YgO9+ACOnVvIikzSB3iBw==" value=src/index.ts
+bound-lock/1 about="the file that names a capsule of node as a package" at=witness:a-runtime-only-the-fixtures-held by=owner epoch=1 form=alphabet measure=id role=writes scope=form/runtime/node/manifest sig="ed25519:era1:J98W6o/yg3y1kxUS6hbSKGXjEgoV4aNQsed1PcvstZaBXxEU/IznwjnlsaaHJOqOQq3mGYxznCbZoB1l2deIDQ==" value=package.json
+bound-lock/1 about="where a capsule of node keeps its regions, one file each" at=witness:a-runtime-only-the-fixtures-held by=owner epoch=1 form=alphabet measure=id role=writes scope=form/runtime/node/regions sig="ed25519:era1:ikZihvFVAeyIUA4dBIMWwd27i7T5zj/EkFkiQstOQVwrkRuHYoE36VgUfM44ZHYFSHmGyeqwejE+O8qNCezWDQ==" value=src/regions/
+bound-lock/1 about="what node runs of a capsule" at=witness:a-runtime-only-the-fixtures-held by=owner epoch=1 form=alphabet measure=id role=writes scope=form/runtime/node/source sig="ed25519:era1:F2VMmoU031Jate07SV4Jy85scht3T40Uf74befysurVmeAgW3eT40KycxjPMaKYjcrcxe3jCqbisJw8tNtPYAA==" value=src/**
+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-caption-that-named-no-outlier by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/cell/meet sig="ed25519:era1:b95uVA9kEOQ3oy/Kd23Ttzgs9CeKecZnwKeHQDvfqERWSDb7WV5ALSaNsKyBdVev+gxEdwjA0BKtSwkcncKeAA==" value=count|lo|hi|state
+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-caption-that-named-no-outlier by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/cell/outlier sig="ed25519:era1:ujajfIgFrpnG0z8RpuJbEMDzNUbhh1Ev7CpjtXIyhmX9jPHbGrCmoiIjU3kB6Aooe0ip/3/6O1VbHfBerEMGAA==" value=count|lo|hi|who|state
+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:an-sdk-that-called-itself-a-notation by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/claims/1-round-trips sig="ed25519:era1:C9GEEOaLMmUrnpkfoGXBME3NBrDroXNUr2rVGAMOUqx06R/mUIBNSfHHCOpW0GzoPFoTeO8oGxPMB6yE3nbJBA==" value=corpus
+bound-lock/1 at=witness:an-sdk-that-called-itself-a-notation by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/claims/2-reads-once sig="ed25519:era1:6DDA6DuM83OmrcFK3Gel407lE2VmvaROAtdOP/gulQJWA1WW07uWRxetdiq3y9xxKsr4j+tUJoJzrBixS3coDQ==" value=parsed
+bound-lock/1 at=witness:an-sdk-that-called-itself-a-notation by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/claims/3-knows-no-world sig="ed25519:era1:ZKEISDew/FD03LylF+Sg/1a5OafKfZJpCNVFO6Jq/XO/5hq/gq1/3pWKaJPGjUS0zes8ZsNvPAZy829c/bJsAA==" value=text
+bound-lock/1 at=witness:an-sdk-that-called-itself-a-notation by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/claims/4-writes-no-order sig="ed25519:era1:Oik+dyv9vur97wmfDGY2NebvEY13iN04pWJ5FYAzd+BtV6ulFLrdJByrTJFLHJLwFCM6yMqAJigeb1pcWwtFDQ==" value=orders
+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-fold-the-door-told-and-never-drew by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/figure/fold/reading sig="ed25519:era1:xFqE08rZqgBZs7N1pSbYFS8712999V7OnkDQ0InG6NiZlBx/7OVvoTA0rrXxMAX4Y1E7uoEcLfh8u6Ke6RwlDg==" value=at|reading
+bound-lock/1 at=witness:a-line-no-figure-had-drawn by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/figure/line sig="ed25519:era1:Lit/Wp8gMJVDoRPqD2sJbPZ9fOr81+rxRY5WVZ9a1YpN0SNSf0sOVulXxIigbrqBA4sY2V+s+e61muhtknNuCA==" value=scope|count
+bound-lock/1 at=witness:a-refusal-the-door-told-and-never-drew by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/figure/refuses sig="ed25519:era1:7m1Mccq9bPltZjHgyl7YTH3+PV07Sczy8kK8+Gb4r5ex13sdfgaSKSI24X/lJKgZmwJyMTjYWgKXyi5CtqLpAg==" value=input|why
+bound-lock/1 at=witness:a-world-drawn-without-the-line-that-adopts-it by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/figure/world/adopted sig="ed25519:era1:Fo2bYRL9arfrIdMxn4Blu1UDCtdcgRRcWHUUw5elGF6rJXCESYwnvWouP/og3DbfAQHy6G5+AMlHWWonBYLcAA==" value=scope
+bound-lock/1 at=witness:a-world-its-readme-never-drew by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/figure/world/blob sig="ed25519:era1:1jC8clI3kRX4GX82qOvk2+4LxW1Eg6SmHpMhFUUWStXh7/QYQzfyASweAJ4UTS+gh55HDEU9YrAiCXRy05+uBg==" value=digest
+bound-lock/1 at=witness:a-world-its-readme-never-drew by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/figure/world/declares sig="ed25519:era1:F6mWztwBNaHcLE0kRcHjC1oMJUHxgJNcGXo+Sx+rQcv9LwQZqyKcAxoBH5sh/FEKpGoa/b8n0x4PB2axWb3ZAw==" value=domain|runtime|effects
+bound-lock/1 at=witness:a-world-its-readme-never-drew by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/figure/world/host sig="ed25519:era1:IDwhf6rBFvZlhDABnom1Gu1kI0YtZAry5wTcI85ya+HQYr052O1PgxY/ke9GfKnxXE5rK9eoA7RsTzaweetjBw==" value=runtime
+bound-lock/1 at=witness:a-world-its-readme-never-drew by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/figure/world/pinned sig="ed25519:era1:uSb9c50KYI36oPoH1H28F1bRntHvDxjIzf2gxHeod+Fb2PeZgqTYjJ5SCeUSHg0qIvChS1wKUglWmHRHYPOrBw==" value=place
+bound-lock/1 at=witness:a-world-its-readme-never-drew by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/figure/world/regions sig="ed25519:era1:sQ9rAsHJN6I0ocPvwp4e9q4Gybmk363QZiB/jnU66FxR2fXXTWQHoOlrSJVwNo5I8vaKy09ZJvPk+Lzzw7WeDg==" value=count|longest
+bound-lock/1 at=witness:a-world-its-readme-never-drew by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/figure/world/vectors sig="ed25519:era1:sWwzJcSteKhOMqgwpvc4cXmzl2KxF/92cQRigj/ZSw5DFubR7hkjeagrWbgZjGsLa9pBwjx9JiWE3uV4EsMsDA==" value=count
+bound-lock/1 at=witness:a-world-drawn-from-its-example by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/figure/world/written sig="ed25519:era1:FCawJ3LhW+IWvTGUUoG2DssS5ZrZO/63otMeRrStxhtaiLpFxuUhgLORFkOLhoiMHDJp8+aJVQiKzHcArwtTAw==" value=count|lines
+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-state-said-as-two-booleans by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/learn/source sig="ed25519:era1:ncUEdDxlvyoBlIrtNEekB/UXOJUuR9V/JJL11WD4cJOi2mhXBmNBVeMcD4iPI8LvO40mkDZU00062RqRVAcfDQ==" value=at|place
+bound-lock/1 at=witness:a-page-that-knew-its-world by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/open/conjecture sig="ed25519:era1:srBmYqDaL7nb8YFTce0HBcNm0Yc31BqQpIbh+YI4Vwhh6cHXfYv8x3/4ylmyEw1oGtgaDEZONJpQRLn94qM3Aw==" value=title|brief|breaks
+bound-lock/1 at=witness:a-page-that-knew-its-world by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/open/group sig="ed25519:era1:eFUawJBonAqomoq663FiFxe6R5rtAELtY3Qb1wHJ33WQnGC1BNuuMT5TIF53PmqCLXItQMko7rLsDC5J4k7lCg==" value=count|group
+bound-lock/1 at=witness:a-limitation-nobody-typed by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/open/judged sig="ed25519:era1:eXa/wmoFx0UFaal33RnT5ZJ4dCVCKt8Ya8zwvJV2jMEbgGq0Whn4sUO/hkFHz+aRIUcYmmciEXIiyTa16E2qDQ==" 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/open/lead sig="ed25519:era1:hD2TNuk3jG81wlwZix0khjVn3WNjM14gJpUmm9leLohw/nzUcqijd08M1qgfB2MxLyVssIYJ9Aa+3iQ+WmvMDQ==" value=count
+bound-lock/1 at=witness:a-limitation-nobody-typed by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/open/open sig="ed25519:era1:ioRtYj3UXfYTkX7EPIDq7hEvNwgwgs5OwIYlfy4R7IRky48JMViKxNgQHENyXg3yA0/dc5cBvPa1/3tzsM8wAA==" value=scope|reading
+bound-lock/1 at=witness:a-ceiling-read-under-a-word-the-tree-refuses by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/open/outside sig="ed25519:era1:bzG5O+9vUg31Jhqhh1rjd1fUz0Ydj9bje7rR7p+cfaNzXFz0WGRfgwZpyDgJqQrjA8LrOJVoJ5RATX1W8F7PAA==" value=scope|reading
+bound-lock/1 at=witness:a-notation-whose-door-was-not-the-one-shape by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/open/unpaid sig="ed25519:era1:W+VPaI9/Br3jI9obWXTfo1Luql1Dbh+FGwyaeHQMB71Ei1IcWH6cBL4QLsXJyjljeSk55YGIkNr9WStapIi3Bw==" value=scope|reading
+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:a-refusal-shown-only-by-its-law by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/refuses/case sig="ed25519:era1:/WzGpLEUvklrPZXniv2s5hz4k7La3rTsG+Swb73slfVzY5iG5ra/6xDowswWW1slvZogj1BX7r42FOaKchdCBQ==" value=input|why
+bound-lock/1 at=witness:a-notation-whose-door-was-not-the-one-shape by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/refuses/lead sig="ed25519:era1:q3GfcYgJCiZNlZI52c7Sl3Y0XFwF8hON9jX3jheG8DR8x33gbFs7wwMjt/9zk8fFtqZjsdZwCjj/wsXeqby1DQ==" value=law|at
+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-notation-whose-door-was-not-the-one-shape by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/rested/place sig="ed25519:era1:a+fLc6b+oeWISfZ40JmoHDyNDRwVuNnnsulVOoxU3oXEkEnNfTn39fq0ZgosxYvXS6veJ16wCKCmknb1Sy8OCg==" value=place|repository
+bound-lock/1 at=witness:a-notation-whose-door-was-not-the-one-shape by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/rested/what sig="ed25519:era1:zjMZYNEfV3LzYA1joeP/rpeKIl4XsE0AS5ayylbG7UMkv0TSt1RlA0RmoV6ey9iZP/Q7zrBZvR1VPbdib23TDg==" value=repository|what
+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:wire-page by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/wire/canonical sig="ed25519:era1:pxGSEeCO0nrJ/fnvNM2XCsm4eNzvTu1lLy1yFbX/gh1wjQMWkhRB/dvQv9M3S/01vHWurOk9iKCFxsqO2SBBAQ==" value=hash
+bound-lock/1 at=policy:wire-page by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/wire/encoding sig="ed25519:era1:X1aDg1htI/1cAW3ZVV2emHPpNpTSnIUJUH6uX21+pLTdU35pZ6x6HXXoFnUoeNv4Eckx+qm7GEKA7F91Rzy5Ag==" value=encoding
+bound-lock/1 at=policy:wire-page by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/wire/header sig="ed25519:era1:APRBKIFZ+EEQdIDJBwjvU8xezc7kmMgQ7LUQcv8d22dW0AtvE9Njajq4lZryBV2XTc/VzEqi2w1ysJ/HkwHVCQ==" value=header
+bound-lock/1 at=policy:wire-page by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/wire/lead sig="ed25519:era1:E8bCXRiIcMq7Sfl2RgiPTLMzpSogaPrSyi3W81jypL0BuvyPmsvGEsBVOqDJGqNngIfod6YQerl5gcXLiLhlAw==" value=header|encoding
+bound-lock/1 at=policy:wire-page by=owner epoch=1 form=alphabet measure=id role=writes scope=form/template/wire/order sig="ed25519:era1:BUOXUPRVN0TCsHI29UAdbSeu//VXR4ksvA4WNVd37rFIfVrnuIR2HrCz7yZ0IyJA4o7X3rHcKkUaIM/ehiflAA==" value=encoding
+bound-lock/1 at=policy:code/hazards by=owner epoch=1 form=interval measure=count role=reads scope=hazard/**/src/** sig="ed25519:era1:YYAsnenyecangj5A9rqSltAWP1LgtBq9Uhhkcs1ysKMbbCMvoNs0t0oxCEAjNro3aO2JE0E81lxkU9TmWTUoCA==" value=0..0
+bound-lock/1 about="topos/src/forms: id + params + parse/emit/show over an obligations lattice (intervals, subsets, chain, order, product) — never a meet or join of its own" at=policy:forms/import-their-lattice by=owner epoch=1 form=alphabet measure=id role=reads scope=identifier/**/src/forms/** sig="ed25519:era1:ONFxVNyJEAyjPhW1RoQyb8T1bMJA4DCAEM8nRqYGsLk1GgrnPONLv6/pG8qK3m+pjNug9K+lwRHtmMCfCknWBg==" value=not:meet|join
+bound-lock/1 about="the same, over identifiers: a function named after a world is a world" at=witness:the-citation-render-landed-in-topos by=owner epoch=1 form=alphabet measure=id role=reads scope=identifier/src/** sig="ed25519:era1:dmWKKD3qysX9Yuf+u+XwWIQQLvRPuty6fW0RKBrNvIVPwrVTbdAEWu0yKAQU1kqSADWrFFut6ePsp/sjdFr4CQ==" value=not:npm|github|cff|citation|doi|zenodo|shields|badge|tsconfig|workflow|readme|markdown|svg|mermaid|latex|license|stripe|postgres|openapi|mcp|react|godot|fs|path|process|Date|fetch|wasm|node|typescript
+bound-lock/1 at=witness:an-alphabet-written-in-the-hosts-order by=owner epoch=1 form=alphabet measure=id role=reads scope=identifier/src/forms/** sig="ed25519:era1:QJH2tosBUbgMU1a6foYmL11JCOiPwPHCbFSw+n5zWg6ss7UiUgkoT4hLx+kuGn5oKyxvYzCFnDmFbjHns3BiAg==" value=not:meet|join|alphabets
+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:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id role=writes scope=ignore sig="ed25519:era1:9DDLoXBoZXoyCo+/kg34+G68OLMC1uH8rOz9oNK1bv2TCKmFKzRD8cCSG5AWVws2MWw2jdiMYCFqRdzlUiZJDg==" value=.bound/|dist/|node_modules/|.cache/
+bound-lock/1 about="how a consumer installs the place" at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id needs=package.json role=writes scope=install sig="ed25519:era1:lZ9cVTKIiW40TCGmyknSVwVXWHhjXAspS439QbtDnnJyWh0GglJLB3lOAFku6AmNMmQZ7bhHOpi+jLAKO74/CA==" 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, and by window the typescript readers, the node manifest and the github forge: the three worlds and the four capsules the typescript tree splits into, with their own locks, regions, pins, prose, releases and the line saying where each blob resolves" at=policy:keys/lane-B/three-worlds by=owner epoch=1 form=alphabet measure=coverage role=reads scope=keys/lane-B sig="ed25519:era1:1V9BZ9f9xNjLv7cK0Bgm3CUILJQdmwT9Z2Ys/L5YLe0b4bq+PfXLAKwLz9oDsNfR4Jv7MXG5eUnjbBhZVvIeDA==" value=bound/src/cli/**|bound/src/fold/**|bound/src/judge/**|bound/src/land/**|region/bound/**|topos-typescript-tree/**|topos-node/**|topos-github/**|topos-typescript-concepts/**|topos-typescript-hazards/**|topos-typescript-artifacts/**|topos-typescript-packages/**|region/topos-typescript-tree/**|region/topos-node/**|region/topos-github/**|region/topos-typescript-concepts/**|region/topos-typescript-hazards/**|region/topos-typescript-artifacts/**|region/topos-typescript-packages/**|prose/*/topos-typescript-tree/**|prose/*/topos-node/**|prose/*/topos-github/**|prose/*/topos-typescript-concepts/**|prose/*/topos-typescript-hazards/**|prose/*/topos-typescript-artifacts/**|prose/*/topos-typescript-packages/**|published/topos-typescript-tree/**|published/topos-node/**|published/topos-github/**|published/topos-typescript-concepts/**|published/topos-typescript-hazards/**|published/topos-typescript-artifacts/**|published/topos-typescript-packages/**|sources/topos-typescript-tree|sources/topos-node|sources/topos-github|sources/topos-typescript-concepts|sources/topos-typescript-hazards|sources/topos-typescript-artifacts|sources/topos-typescript-packages
+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 about="lane D covers two worlds beside the instrument: topos-frame and topos-bound, their regions, pins and prose" at=policy:keys/lane-D/two-worlds by=owner epoch=1 form=alphabet measure=coverage role=reads scope=keys/lane-D sig="ed25519:era1:m+NWvuTMHkon98D4JgWUdLt0xUNQv5aein2/7c9/9TQWVFFRuQz/6XS7wo1h+Xrepu88M0iTsqCaU/MP+YlUDg==" value=bound/src/observe/**|bound/src/host/**|bound/src/render/**|region/bound/**|topos-frame/**|topos-bound/**|region/topos-frame/**|region/topos-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=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id needs=package.json role=writes scope=keywords shape=package.json sig="ed25519:era1:sUF8bTWxTgGwU+ptSjuXknD48hr26cosr21inda/ehW8mNI0GECqg99ACumNynSvgc2De0OYSfDp5+sd5B+hCQ==" value=topos|lock|wire|capsule
+bound-lock/1 about="the language the place-s prose is written in: a page asks for its prose in it" at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id role=writes scope=lang sig="ed25519:era1:U9gyCUX3STzi+u4IWsKQT4w8KWQYping5F/qPRAG2mFV4Dx/5kY0fWh1UsoxyxBvxPdy1ZSfPv/c1UM9ljgRCQ==" value=en
+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=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id needs=package.json role=writes scope=license shape=package.json sig="ed25519:era1:jS1xkAsOqJFARWgab/FI1V7K3Fz2TxGJDsX0LZvWBdNTGT5TLphgbKYf99UwCBw/6hF+bWL+9K/XPveUz+mqBA==" value=MIT
+bound-lock/1 at=policy:code/lines by=owner epoch=1 form=interval measure=count role=reads scope=lines/*/src/**/* sig="ed25519:era1:9xwdvhcH+97vYHKIl3djToIiFAYJqigkJ3DYg/Rmr96GzxIHtEZvDM/IzXzo5aV7Rfwla6XEE45J+mhj268NCA==" value=0..500
+bound-lock/1 at=policy:code/orders by=owner epoch=1 form=alphabet measure=id role=reads scope=literal/**/src/** sig="ed25519:era1:9dn1pYf+Q1k2R7DoCdr8yukMqU67Hj8e0V+DNG00xyYEOR8pNTteJaPwwkfTagZS9EalkSOsHo7rzLmu8QnQDQ==" value="not:NEVER|ALWAYS|MUST|do not"
+bound-lock/1 about="topos is notation: wire, forms, classes, alphabets, views, the contract and the capsule shell; a name of a world in its source is a capsule that went to the wrong place" at=witness:the-citation-render-landed-in-topos by=owner epoch=1 form=alphabet measure=id role=reads scope=literal/src/** sig="ed25519:era1:9jFLPmRy04HM2kwRQGmIx8HTVvSR3z+bWGVwm4q13uPSNHOCP5punDY+AN81ewnCGPTQqYfoZwvJonw0X1Z1Aw==" value=not:npm|github|gitlab|cff|citation|doi|zenodo|shields|badge|tsconfig|package|workflow|readme|markdown|svg|mermaid|latex|license|html|css|stripe|postgres|sql|openapi|mcp|react|godot|fs|path|process|Date|fetch|wasm|node|typescript
+bound-lock/1 at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id needs=package.json role=writes scope=name shape=package.json sig="ed25519:era1:oYUqzJKwyYQDAxzcFxi+1/9Cwz46WHMTlkrtzviFTFirneThyWL3icfVCiyNnr+hR8cG0xp+Swd25LWDj1miAA==" value=@lapxo/topos
+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 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 at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id role=writes scope=pipeline/branch sig="ed25519:era1:xDoIQ4goBj1a0+7GPgotGj7h338bWaLTXIXBHvK+F6Xo1C7N+wwaECsHszGzv/nXi0uZ2/YLx3+ZYoLULG1wAA==" 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 at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id role=writes scope=pipeline/environment sig="ed25519:era1:0gx8fevwEZQ2FY6T7Q+6TstfFXlGBctDvDgb3592vFHkFi4F+CNetT1wNEF8csYuaX0zr2FRzVhrly7+AE3NCA==" 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 at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id role=writes scope=pipeline/node sig="ed25519:era1:I/DulecJcn88UhRMdYSFExAddRSGtknDk0R/eWFrZjpAaYisEoZZ/UjNUVksYSGVHOCRDFWTu+IQ1aWh0iiiDw==" value=22|24
+bound-lock/1 at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id role=writes scope=pipeline/pack sig="ed25519:era1:IRkREjyhvEtPSuxxxy6ZPMBXjY3PqJlm7KamoVVmHcvKYWFDo8iAkCtpKQycNVTKO6HNEof6PHTTJZngx1wFAA==" 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 at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id role=writes scope=pipeline/published sig="ed25519:era1:Df0iDCg18DZIPMhUaxc2QolJj7/CbXg9x9NWYPPYi1Vs8NdQQnPGb52/DDLBkGaYWv6V/gHrFsMcMyvvPf9ZBg==" 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="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:a-fold-whose-claims-said-nothing by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/apart sig="ed25519:era1:Zd77liD3gb54aSA3FGcr899Eb2eYSL1kdqRVNOZXP2m5GnI0UK6Tt/mUiKfvZ2cOSlD+gRQGy89w1O5q23gvBw==" value=lock
+bound-lock/1 about=cases at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/badge/cases sig="ed25519:era1:D8y48IHTMOSCG3J74Y2RGNdJ9Qp2PTOhfk0kB9ug+5TXCTJn+h+n2uetI9ooU0KKiMT5YpItdsFleR1Mc5JMBQ==" value=lock
+bound-lock/1 about=dependencies at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/badge/dependencies sig="ed25519:era1:fI6GTBWHNzKSMcFCx9KJCtQKejuef8AezIUSVWvRGtkC90LNMfdAXLC4GpCUBiDAOyLKqCWlC5hgImeChp0dBw==" value=lock
+bound-lock/1 about=node at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/badge/engines sig="ed25519:era1:DYLzZ0cdxgykRolCfwKuTvar6sjwwnzbx83oDm4earlOK5xd7o8hLbKsom40uIpPY9xmm+BfqGlFlRszh/uFDg==" value=lock
+bound-lock/1 about="{count} hold" at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/badge/held sig="ed25519:era1:OhwwtuYBlkYowBPPCE74G5D9tz2idjWkcQMlFEvJExQFK3AIi93Ajv52D566LZ3SmymYDQ3mGqz6RwiQ3e0CAg==" value=lock
+bound-lock/1 about=license at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/badge/license sig="ed25519:era1:ErKi91v5ia2gPClAYPdFKPCFbiZjeOPwbyYVAtJuaWPxZHoGmuWhghLiG7c3ICsZh4DoHujA0Hj2SEZJAebQBg==" value=lock
+bound-lock/1 about=verify at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/badge/verify sig="ed25519:era1:8hzJ/fSU/0zg3t0UZ3XAuI2uMkomE8kehP99bJ6CukHj/ao9Gu/e4t1v7EwgreogIKNYScNfd4xp5BXKuEnLDw==" value=lock
+bound-lock/1 about=version at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/badge/version sig="ed25519:era1:UYluKb8568dHP9pOY2xCyyqv9Hwj2Z8wFvfDt/Pt/ZchyOjvpMexzkIOWKNx61tZTAr5yz/XT25c72MCm1zwBw==" value=lock
+bound-lock/1 about="{who} claims {lo} to {hi}" at=witness:a-fold-whose-claims-said-nothing by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/cell/claim sig="ed25519:era1:iwJUX4BsbBg1Xbpy+ydNOnqLz32QH0ILcg0nciDy/XjyuKYwT7uHdmMxLWY1XyF7o5wBOfsGG/EivX+amPFfAw==" value=lock
+bound-lock/1 about="what they hold together runs from a floor of {lo} to a ceiling of {hi}" at=witness:a-fold-whose-claims-said-nothing by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/cell/held sig="ed25519:era1:wkAurY8WhI39csMw38tkdvG72qLm5g1o/5DvyucuiNXBpec9/pND77NQ5nES3mNcvxBu/uR31eLrAInRV8LmDQ==" value=lock
+bound-lock/1 about="{count} meet at {lo}..{hi}: {state}" at=witness:a-caption-that-named-no-outlier by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/cell/meet sig="ed25519:era1:dkXu5gvyLbxLDrwy23os5SHvXbkbIxs04YEWBUjwok0JeQOsARVK66fZNSkn4XUv28GsZExv8nHfm2rmv4qwBA==" value=lock
+bound-lock/1 about="{count} meet at {lo}..{hi}; {who} is apart: {state}" at=witness:a-caption-that-named-no-outlier by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/cell/outlier sig="ed25519:era1:bOgL0qjBDb6NoE+xQKExCSpnv0LcOomXIyFaKv4NpgHmitynx9y3AwoOVlMJIAN3M7pdbvxgCkBN0jjtrRbiAA==" value=lock
+bound-lock/1 about="Cite it as {name}." at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/cff/name sig="ed25519:era1:2nvA7fyD3mGrP0mfkWkIZh58LkPKPEzWIjNBc2ZPm3qcCqXtkiFPbu/VnEP6nJ5GxxkKXnsvSVSfaqVgfVVICQ==" value=lock
+bound-lock/1 about="{glyph} `{check}`" at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/check/command sig="ed25519:era1:GS174Dw35xMqUa7Zj8ZoyaNCt0P0gsHBGS9NWD2NxZ7BchZAedqV4i4ww+bA6VUl5QCWbGpemGY60makUY8uAQ==" value=lock
+bound-lock/1 about="they run with bound: `{fold}` {about}" at=witness:a-notation-whose-door-was-not-the-one-shape by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/check/fold sig="ed25519:era1:3U0r0uzOLO2nuvjSr9d1tlrbmi+lfdV0pFdsCTejmXGiixVepawkJfLxTIVeWGptxrluOmlOUxFQ0wPeGN/PBQ==" value=lock
+bound-lock/1 about=Check at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/check/heading sig="ed25519:era1:bttbVPB3hkZ2IBwkMMZYqjoxIdFwH0quiDLsIYkd3LZEycHc1RYt4PfHQ0FvZPe0dsyy4lNLJ1yizzccqZk7Dw==" value=lock
+bound-lock/1 about="{glyph} {count} cases hold" at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/check/held sig="ed25519:era1:KA9bihXwJlgz0TbLta0377u9d2BRVpT6Bn/KGDcBZmJlwzXDPf/VCCqnUEw93aUUncCoDf+kdTh4PYrR8uYBDg==" value=lock
+bound-lock/1 about="{glyph} [repository]({repository})" at=witness:a-notation-whose-door-was-not-the-one-shape by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/check/repository sig="ed25519:era1:Qju9CG1YvBuaT3O+URJEV4Sct8DAmVbLtBkwC7HuUCAflzF3i/8NB7A1fllF/jMsq4q8ncyYpL6ZJcAsgwYmBQ==" value=lock
+bound-lock/1 about="It round-trips: every line of its {corpus} wire corpora parses and writes back the same bytes" at=witness:an-sdk-that-called-itself-a-notation by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/claims/1-round-trips sig="ed25519:era1:OfdzRhdEY7tk2eG7MIewGmlnNdlzz4+Q1TFmeJYQWtyTvU/knn7R6lGfxwIAnoOym0kQqYVeDKTbHHoj7vSzCA==" value=lock
+bound-lock/1 about="It reads once: a value is read in its wire, by its form, and its ceiling on reading one anywhere else reads {parsed}" at=witness:an-sdk-that-called-itself-a-notation by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/claims/2-reads-once sig="ed25519:era1:UrBj/3gFZagvaqHhh/+nUd6amxnDmc29rO1kcL14Nk0WQRI1xPFprlTp8aQ49xxf0J6Ma/Bq+F5u6iCgSoOEDQ==" value=lock
+bound-lock/1 about="It knows no world: it says nothing a world says, and its ceiling on a world's words, markup or figures written in its source reads {text}" at=witness:an-sdk-that-called-itself-a-notation by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/claims/3-knows-no-world sig="ed25519:era1:AG8ONYITuclejRJRDvpks59K9K19TMOFpVx386HLJ4BptHEGItCPbVA44fbZIf3OGnirxe0Q9br5nIBBX+LvDA==" value=lock
+bound-lock/1 about="It writes no order of its own: cells, meets, joins and states come from the object, and its ceiling on an order written here reads {orders}" at=witness:an-sdk-that-called-itself-a-notation by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/claims/4-writes-no-order sig="ed25519:era1:TcS9XwocbZsAPY8SbzGNHMJfSnIW+SWVp+9OdQnb+DPZVie6Ub7xijs7JjjSMuLAXL0cbcC2dYlKr48XxNKKAQ==" value=lock
+bound-lock/1 about="What it claims" at=witness:a-notation-whose-door-was-not-the-one-shape by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/claims/heading sig="ed25519:era1:O0z1qx5tG4swhwe4jnG1qcw7awf2L6FlnKnin3zJDZa4jXMDKM86+DHgUlajiNM3LExFoZddsanIrYGwvmQPCA==" value=lock
+bound-lock/1 about=receipt at=witness:a-notation-whose-door-was-not-the-one-shape by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/claims/receipt sig="ed25519:era1:6z3hMReuU8hwuwc0Xh3sFvt3Sw+a00cTolRBtgL7sjwyxQF9VPsiyHxmODUZUXQU0qt+CZRZENlFi+JyhcE5DQ==" value=lock
+bound-lock/1 about="Clone, `{check}`. A leaf that differs from what its lines render is the contribution: send it with the lines it was handed.\nNothing else is asked. Lines land through the fold, never by hand; a page and the lock disagree, the lock is right." at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/contributing sig="ed25519:era1:mCnHx+EgLkyNWdi1onSnIRQoRD7PYBwJa575a7F939XPnNKDOlSOvvRoztA7z+JXLEkaMPLXS9q7Zxe3HnAQBA==" value=lock
+bound-lock/1 about="What it rests on" at=witness:a-notation-whose-door-was-not-the-one-shape by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/door/rests sig="ed25519:era1:MLCeZfrNDakij1QtNc+2mRslejcrtTeRhuG1mRKYmUlT3/jZIafnvM+K0dMVFJsy9C8QI0bl39W5o7z8G9SNCg==" value=lock
+bound-lock/1 about="bound's SDK: the wire, the forms, the contract and the shell you build a world with — a reader of any source or a renderer of any artefact, in an afternoon." at=witness:an-sdk-that-called-itself-a-notation by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/door/what sig="ed25519:era1:mfhUEAHowTUH8kiJwCUgkxfaNjkSLDID5n1HQTauA1PZznAVu/1fwIRPCQi8ow56o9PXLmD5gkl5nhBWFhatCw==" value=lock
+bound-lock/1 about="in its own words" at=witness:a-door-whose-link-was-its-whole-sentence by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/door/words sig="ed25519:era1:6dsxFwyCLflOyG1BZVY14yyGeBdws/H5hEfGJ7C8qo8ylEH3etZ8GnVXBnqx1Eqb6fOJ/4mQaL1KXFRQkR1EDw==" value=lock
+bound-lock/1 about="read at @{at}: {reading}" at=witness:a-fold-the-door-told-and-never-drew by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/figure/fold/reading sig="ed25519:era1:UEHu/xyLRZgIUI9lKfmIpJelhE7f4PpnCLBd7VDlLxF7G3FHhpQjapnhNnUsojI/sSVTK4Ggp52pHIAo+94WDA==" value=lock
+bound-lock/1 about="The line {scope}, drawn field by field: {count} fields, each named by the wire" at=witness:a-line-no-figure-had-drawn by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/figure/line sig="ed25519:era1:sPqV0quqk+d0g6BtFdhm1thGJqqGdmppTLuMQIaXJHpn8ffh2S39D7EQmMsnG+N6LQJ7heuDCLZwEYuBeJHHDw==" value=lock
+bound-lock/1 about="Handed {input}, it refuses: {why}" at=witness:a-refusal-the-door-told-and-never-drew by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/figure/refuses sig="ed25519:era1:5NjjXQrN3r+8xC6pWT9Xa1QsPBbuFCe4hOxtBto9nLh6LKM7MyL/dzUkVvileYWiSSfqoOINaNrlC6QFCmLlDw==" value=lock
+bound-lock/1 about="a place adopts it with {scope}" at=witness:a-world-drawn-without-the-line-that-adopts-it by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/figure/world/adopted sig="ed25519:era1:xkNsX6g4vq4QGwAHkJREb5D0nuebsevq/+WVknANsx5M8acmkWzgbrcEVcigkk6CvCJOCgEH46uo+aPF9IMZCg==" value=lock
+bound-lock/1 about="packed as {digest}" at=witness:a-world-its-readme-never-drew by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/figure/world/blob sig="ed25519:era1:SI0dKqe76D7wLQqqNI/tq6WkLJD9fZJUfCJprHlzZGotagpFYjuFp7WvKsPOIv8O0GcGqKU7fYArsUCqGNKFBA==" value=lock
+bound-lock/1 about="declares {domain}, runs on {runtime}, reaches {effects}" at=witness:a-world-its-readme-never-drew by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/figure/world/declares sig="ed25519:era1:cjPSLbxfZ/58ZDr3iNjp5cUv9oalSZMPAv0aJ9FyrMaIZv928rNUvseO5qPO+l4HqVCy/Vco1NCFI5ESpv1PCA==" value=lock
+bound-lock/1 about="run by the {runtime} host" at=witness:a-world-its-readme-never-drew by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/figure/world/host sig="ed25519:era1:FiISWghpSFk9hVorMYg7+4Yyd4fqE5UuakY5NHatNp2bhAaND4jxSTyACVgfsUc1A9OqnvtbjiHFJtTEv+MhCg==" value=lock
+bound-lock/1 about="pinned by {place}" at=witness:a-world-its-readme-never-drew by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/figure/world/pinned sig="ed25519:era1:/7TdtPOZ8xx1iJbLC9ETbaCPkS0Xc8rkSATt4/MVENvZrjjRfo5GIokKE11z2cdS7TeNJSIFRPrAO84WmZ2/CQ==" value=lock
+bound-lock/1 about="{count} regions, the longest of them {longest} lines" at=witness:a-world-its-readme-never-drew by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/figure/world/regions sig="ed25519:era1:cDQi258xDX2EDt+gbMjHqYTqIyYZTRlMDsee9gxT7kTu6I9iCzpor2806IDwRXBJ4UjNf0K+WuJdrV45B6hqDg==" value=lock
+bound-lock/1 about="{count} vector files, each held from the blob" at=witness:a-world-its-readme-never-drew by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/figure/world/vectors sig="ed25519:era1:vnk3Zu3RQbVitTkIpEmiv8dXkZbeXEYEWBukjtdnwk6df377ByTUv7isjA6Y3pZjXmwn2Zdd/yxfF9UKU+/gBw==" value=lock
+bound-lock/1 about="{count} regions, written in one file of {lines} lines" at=witness:a-world-drawn-from-its-example by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/figure/world/written sig="ed25519:era1:xLEFjBcvc0/ssiChbleZaKU7mye1IOjm+UsTeaD6eJMG8h4fiMGwwI+U6q87UoMsUJgYxyJZoeJzaWDwWrKzBw==" value=lock
+bound-lock/1 about="Your first run" at=witness:an-sdk-that-called-itself-a-notation by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/first-use/heading sig="ed25519:era1:TUzNSONmuCOxuGKOgyUYBNUGW36wqv7d8z2Qkc3Gq4PXf5esN09SRU41fbnJCzyFoAK/zkzx+Qh2pKGoA4VXDQ==" value=lock
+bound-lock/1 about="With it installed, run {name}: a line is parsed, written again and compared with the bytes it came from." at=witness:an-sdk-that-called-itself-a-notation by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/first-use/lead sig="ed25519:era1:kb7mqqY11ogyTp72i2pPaNLwJDnJ3z/QldUiHiuUl0W0l3EgdAIcf/yw33luDdFH5x2uhH9ilxzS4ryFo6tbDA==" value=lock
+bound-lock/1 about=Contributing at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/guide/heading sig="ed25519:era1:hyAf1w4leq+zN3WrxuC4kWWRBmvMT6QOhHJGPG2O0X2myUmJ4whvvwKDOwcbWYYzL0UaymzjuOSOiiGS/ZQVDQ==" value=lock
+bound-lock/1 about="the check command, which is owed" at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/guide/owed sig="ed25519:era1:lf3memU4zVN7fyw0cuGRovmM4B1GOSJ0Pxfrjbnz04NJbGhYT136luUAA4ySuRgz91xgJ3O7BOOJhlqN5SKpDg==" value=lock
+bound-lock/1 about="Everything a system says about itself lives where nobody can check it: a config, a README, a CI log. topos is one line format for all of it — a signed line with a floor and a ceiling, that any head can fold and any second head can verify. Two implementations agree only on what passes between them, and what passes between them is a line. So the line is the one thing held still; everything else belongs to a world." at=witness:an-sdk-that-called-itself-a-notation by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/idea sig="ed25519:era1:6kiJbIVrF/EHU+r8sLe44j5oKH3On75fWQ3scn2QmGWVJVpGANjihtcJO3EEHGbRpY9pJOIkdfYByGm4iSRSAA==" value=lock
+bound-lock/1 about="Why one line" at=witness:a-heading-that-still-said-notation by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/idea/heading sig="ed25519:era1:312hlz3+Mk3nKezTg5xCRrgLEyCw8UJv9RWMv7HXSRNXPs8yJ/3zUoDb9O+11n+rASPpcIp8Fp/W53KsMgeqCA==" value=lock
+bound-lock/1 about="A world, built in front of you" at=witness:an-sdk-that-called-itself-a-notation by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/learn/heading sig="ed25519:era1:/+NOzcNAdkuoA5txnHldYu8rgZ6BexrpvW84KIv/IwNVmjKaiqlaBqyhXzCHvRNxb6G5yCnM6gutM7CMXEcpBA==" value=lock
+bound-lock/1 about="**{title}** — {brief}. *Breaks if {breaks}.*" at=witness:a-notation-whose-door-was-not-the-one-shape by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/open/conjecture sig="ed25519:era1:NcuZxo8fxMEF5/ZShDQP6sSjhU2GoTBQiCyIP17Y0pYNRHJNADbZqA2RYVQnHSA43X6ukiEpQMio7puUInZqCQ==" value=lock
+bound-lock/1 about="What is open" at=witness:a-notation-whose-door-was-not-the-one-shape by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/open/heading sig="ed25519:era1:nrlZ2/2+PgtHPsXLA6XWY67Afp8qlK2+0gy8O+tSTwFshVQLf/TywYGTiZAp8R8WOOkBSt1RUbG1L3bazDmZDg==" value=lock
+bound-lock/1 about="{count} cells are still open: the fold holds more than one state for each." at=witness:a-limitation-nobody-typed by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/open/judged sig="ed25519:era1:wEf7q2NiaDHK8sHWMzMykbzer8YDn3/2PZwZkHB/MYcQvMyrWe8ramwdoNZm/QaSStiBPa7s0IMdiDXnP8nUBA==" value=lock
+bound-lock/1 about="{count} lines are conjectures: nothing rests on them, and each names what would break it." at=witness:a-notation-whose-door-was-not-the-one-shape by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/open/lead sig="ed25519:era1:ZvJyuBOQSliURWXysGw7t25Prg8IGPmYaJbDoUYSpFXEJEi/2Pa+s0d6c+ZI2E90EXgJwJ6V/GpI3CYiaDunAA==" value=lock
+bound-lock/1 about="`{scope}` is open: its fold could still read `{reading}`" at=witness:a-limitation-nobody-typed by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/open/open sig="ed25519:era1:gijstqaCrULit7EDzj/46saTRGbJdUA/J05yQ7BWjn1CbyRaFz7dpfPDAo6A4ro7lv1sbiJQDVhlScQK7ZclAw==" value=lock
+bound-lock/1 about="`{scope}` reads `{reading}`, outside its ceiling" at=witness:a-ceiling-read-under-a-word-the-tree-refuses by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/open/outside sig="ed25519:era1:TRlZf+PuDpOoDXYcMWvAiuhTNn4Pd/UH4hzJnKShjCxj4dRoNCnuwhYlGqZ0qR9OOgegPM0Hl2a2lMgnVtABAQ==" value=lock
+bound-lock/1 about="`{scope}` is demanded and not paid" at=witness:a-notation-whose-door-was-not-the-one-shape by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/open/unpaid sig="ed25519:era1:engmKdmN/Kjv+jM15/RgReBZxme9pULR66ZGww7tskCgqkbVConjEHXV03MmvoxFPtWaPHDtNflR2MfHVgqAAA==" value=lock
+bound-lock/1 about="{version}, as its lock holds it" at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/pipeline/notes sig="ed25519:era1:8AvWCBdpgUFydbVqRjEVpu4m0Z/Jx/h2slqbSyRZU9NP9IsQyRiMhd/WdsQEIAIySeDp3gFV5RRUvVpEDIyvDg==" value=lock
+bound-lock/1 about="publish the version once, by the trusted publisher" at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/pipeline/publish sig="ed25519:era1:Thn1pBTNaKX6W90syLH9jvUC85PWyolvgak9ZgBm8iomuXD05lODQcsQopRMMHLhTHtMzR+WAOpeYuvN75YDAQ==" value=lock
+bound-lock/1 about="{name}@{version} is published" at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/pipeline/published sig="ed25519:era1:fgR4eAjKiNoO70X9JfU3xnPNqvw6xJw5XWxURdPcVvCZsbU/MEiQLmgbk98PPexW6sehmZ79cAt/dpNxWAfnAA==" value=lock
+bound-lock/1 about="release the version with its tarball, once" at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/pipeline/release sig="ed25519:era1:vPwXdriHA5MSTdeQcB7ruvI4ge07cspXLo6ZtSWpERcXatzI4reVKq+4qSVJ5s6CwvC/tnYIsAEz32e7R67PDw==" value=lock
+bound-lock/1 about="{version} is released" at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/pipeline/released sig="ed25519:era1:5IOlZwP7gdXf+70m0xQJjiU+xzCRQUmpyKMSySb7mMb/bBxfPZzAM/ii6dWQ2cDYmZR6Ff2igLccZE8zsqR7BA==" value=lock
+bound-lock/1 about="tag the version the manifest names, once" at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/pipeline/tag sig="ed25519:era1:7UFSGgiuY6oajhUq4rx5IoSPZqG645zTOfJ6haPqVLqBoIhsq7I+LCiRp6G9s/DRil/J/XEzZ3FWw3Lqc96aBA==" value=lock
+bound-lock/1 about="{version} is tagged" at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/pipeline/tagged sig="ed25519:era1:TwD4X9oBE6y3pExzTXjDxO5CK4HWAe5MWrBU+2rT2rn6CEspP3ey7cX0vdWu+jScBtbCXNcj303ttody6mstDg==" value=lock
+bound-lock/1 about=Pointers at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/pointers/heading sig="ed25519:era1:DhLWHJ8pyZl0cvZCZ9HSMVQmejP1frjsnLQHOx445ag4c+AArCO2YFl1RM3wz9iHpduEr282V9+qSZzJp2IhCg==" value=lock
+bound-lock/1 about="Learn from an example: {pages}" at=witness:a-notation-whose-door-was-not-the-one-shape by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/pointers/learn sig="ed25519:era1:34aQ7Y4Hj8uJsKo4pDalF95XEVEHQ/lHHlx0lTIKNyj8n/8p2+BPpvYPzhy5cwXHhnL7iQP0aesakFDmzKsLDg==" value=lock
+bound-lock/1 about="How to read it" at=witness:a-notation-whose-door-was-not-the-one-shape by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/reading/heading sig="ed25519:era1:oYeaKiVEXPCS0By04oeRmYiIDYfE5XW6sRfgS/JrQXTjKMhM8BSp+QeZ1eUaEFAgby0optsPQTWdR4MtAAbJBw==" value=lock
+bound-lock/1 about="topos is read one subpath at a time, and each answers one question." at=witness:an-sdk-that-called-itself-a-notation by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/reading/lead sig="ed25519:era1:hqLPnHpPtYZCc1AyOQXLO2ZodHeTtdjXoeNJrrFcDQzFEdOZC6Ae6Xq+Z4eu2zjyyFH0iqSGV972on8WSyi2DA==" value=lock
+bound-lock/1 about="The {count} subpaths and the question each answers" at=witness:a-notation-whose-door-was-not-the-one-shape by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/reading/summary sig="ed25519:era1:QRYkQMfZ+MRmQ/S/yTM5fNMPSM8ALY4cjzqsOHVCRHBw43FtmKjte+MdXX/sjMcBBkh3W8itIjE2hhZCTTDwDw==" value=lock
+bound-lock/1 about="**{name}** · {answer}" at=witness:an-sdk-that-called-itself-a-notation by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/reading/view sig="ed25519:era1:eZ7yGH/YvL4ZeRK1HBaZ68hFDYE98bp9TvZgkq2Ye6TCVFtPB1AVdrw5P2Sk9h/s08xX2U6psW7gJ5fOxsGOCw==" value=lock
+bound-lock/1 about="Hand it `{input}` and it refuses: {why}." at=witness:a-refusal-shown-only-by-its-law by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/refuses/case sig="ed25519:era1:JqIVwADHm7SInphsaFS00voNRdDgeoMZLvgo+mYzAvq+cDJW0tkeUByyNc2C9sv8x9rrbsjaijH3jjEqpgtwCw==" value=lock
+bound-lock/1 about="What would break it" at=witness:a-notation-whose-door-was-not-the-one-shape by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/refuses/full sig="ed25519:era1:iWt+Vikkhpqzx84cCTYMl2jiMUm6kRTVZBH9I+iUVn0efx6Ee9JbuLCf9pk4qNt5AnwYV7k0vsWiGywGPTykCA==" value=lock
+bound-lock/1 about="What it refuses" at=witness:a-notation-whose-door-was-not-the-one-shape by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/refuses/heading sig="ed25519:era1:793kzcntci2g4PxC+7PGPbAPiosUCWeVTzfYUFylgk9cR4rdaAWh00vunyl4eON2iYpEnGTpFAScWofVuXYxDQ==" value=lock
+bound-lock/1 about="Hand {law} what would break it and it refuses; [the falsifier]({at}) is kept beside the law." at=witness:a-notation-whose-door-was-not-the-one-shape by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/refuses/lead sig="ed25519:era1:P8SHSsiUl5XhOZmNldGVwUU31pppqOERiVmy6gi2ISyCZTYXuyV4A+PujbSkryhJbIvYkVSi1jr0qSPwR/rLAA==" value=lock
+bound-lock/1 about=Reference at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/regions/heading sig="ed25519:era1:BGTXn6nyc9Tq1/sORs3L6IabHaY7mtopL7Y8ElQ6UMaLIh5F5lGhIHsMiAeDT7hQ7JVIGdyuHYYI94aMBqYLBg==" value=lock
+bound-lock/1 about="{count} laws, each a line of the lock with the sample that shows it and the module that decides it." at=witness:an-sdk-reference-drawn-as-a-theory by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/regions/laws sig="ed25519:era1:Q07Q/bry6aZTrSLh0Za+oo7/ycPEJTfv2lNcCMHQFL+huNH2Gp3796L2v48xcM1ZcTk2JYcEuVeF+vZkrDzGDQ==" value=lock
+bound-lock/1 about="| law | what it says |" at=witness:an-sdk-reference-drawn-as-a-theory by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/regions/laws-table sig="ed25519:era1:8BnHuG3YyzGiyR62okcElar60ovSpKHlDWEn9wAAiNjBzwoPaNIOfZUkjlbKfkR6Fz2HWNhmCdjt+SZrOZRkBQ==" value=lock
+bound-lock/1 about="{count} regions, each read off the lines its descriptor declares and nothing else; it reaches {effects} beyond them." at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/regions/lead sig="ed25519:era1:XC9NNW0ZDX95HxrYHCPIRgaUg3d/hUllBnDjc5FxXkC89fXv8oIEjZGP5+gHsVrCEPZj+LLAx8+Ca6Y1fZYSAA==" value=lock
+bound-lock/1 about="its leaf" at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/regions/leaf sig="ed25519:era1:V5elWURoFRhfyfAJu0TZyi2Ys7BotB9WcjDpfuO/ZmMI1E+xuD3syzZEyVXUnXlbO/8TEahumQzXl8xUaq32Dg==" value=lock
+bound-lock/1 about="| region | reads | writes |" at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/regions/table sig="ed25519:era1:pvge00lvFI5zjQlLDpuJrG4PGS/Qe+NgT8q827Eq3DbA0Kxo63Gs1bnjbRnTm0jADwASujiYgnVJDF2HK+K9Cw==" value=lock
+bound-lock/1 about="What rests on it" at=witness:a-notation-whose-door-was-not-the-one-shape by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/rested/heading sig="ed25519:era1:VTp/NZwQGHB/WxVsft7hbioIUW2SyX/ufdDu11YHNdZjIBFKfhLJSTOE2aqd9SFRqx/orO+qShVa0qlOLkI/Bg==" value=lock
+bound-lock/1 about=[{place}]({repository}) at=witness:a-notation-whose-door-was-not-the-one-shape by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/rested/place sig="ed25519:era1:YqQbOSKxt39OYnRO8dulHQorb/FWO8JQvc3QZXRRV3mKlFr/L3mbcoCET37+EyzJPmlToxloK7QyOqw61KyEAQ==" value=lock
+bound-lock/1 about="[what it is]({repository}/blob/HEAD/{what})" at=witness:a-notation-whose-door-was-not-the-one-shape by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/rested/what sig="ed25519:era1:a8JSOFnSYC4AjwQTqD7DE4xYerSSy+lMmhMBPmWTP6B5geQEgOSAphG7ILTfjmodw3wfNknhrGETAxeBzN0aAA==" value=lock
+bound-lock/1 about="bound's SDK: the wire, the forms, the contract and the shell you build a world with — a reader of any source or a renderer of any artefact, in an afternoon" at=witness:a-manifest-that-still-said-notation by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/what sig="ed25519:era1:7oYYQZGT6L6Qgk8+9CmmyUqjlRYQtBnHhUr0iXwsg3XsRuFQD18hgqmGt4AJQG5LMnmfcFgSS9rGpbnwt5A9BQ==" value=lock
+bound-lock/1 about="The canonical line is the header, then every field in the byte order of its key, one space apart, each value quoted only where it must be. Parsing a canonical line and writing it again gives back the same bytes. The digest of a line is the {hash} of those bytes, and a signature travels beside the bytes it signs, never inside them." at=policy:wire-page by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/wire/canonical sig="ed25519:era1:Pv8+Q5d8TN4k6l9xc74aGKk8z8NgK+0Cd0v9coz1jKKhchrFlgpaw/2snV/zOE0mtcFZDfERIh3A2kcFmbqJDA==" value=lock
+bound-lock/1 about="Canonical and parse" at=policy:wire-page by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/wire/canonical/heading sig="ed25519:era1:tSznYP+AvcMKDRFpisBdqH4NBE2Cnvw4xUl2JyWhDEOSPbg+wlhaLjzwIB3jJrcvNA26p1VQ6T5idAJfOpUXCg==" value=lock
+bound-lock/1 about="The corpus" at=policy:wire-page by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/wire/corpus/heading sig="ed25519:era1:9xqcqZx5BOlIXYzeDREvKIK0GUR5RBhY5TFUBuoFQYxfHOpXnEjqDFspK19z6QHkmU508db8vrvGlB5gKhGRBA==" value=lock
+bound-lock/1 about="A line is {encoding} bytes, and nothing normalises them: two spellings of one letter are two scopes until a line says they are one." at=policy:wire-page by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/wire/encoding sig="ed25519:era1:gG83oC/xX4Sfj56OjVBIx9h6Y63gsgpLYUGsuRGbdFH9TiE3YpZJmQqYiB1CkYpRi2rYWLTDuN62MUbgvN9mDw==" value=lock
+bound-lock/1 about=Bytes at=policy:wire-page by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/wire/encoding/heading sig="ed25519:era1:l8bgZW6QJCCgg0Weu6CPAJHdmF10PuTqWJhIijO7TaVd+YY0ZCzsMb5JBiUMmoMVB+WhoCQ0KB7/Y/WMdBOcDg==" value=lock
+bound-lock/1 about=Fields at=policy:wire-page by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/wire/fields/heading sig="ed25519:era1:hXrdqS/g25eFx4VKZNbNFGgLMob3MgSxmGwzozf7CL/5G/VTLaEYCMpkrb4MpTNmE9Oy0QQaUjwru5gxZj44BQ==" value=lock
+bound-lock/1 about="A line begins with its header, {header}: the name of the protocol, a slash and its version. A line without a header is refused. A version this reader does not know is held, not refused, because it is the future arriving." at=policy:wire-page by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/wire/header sig="ed25519:era1:1EB0KVZe4Nt1xX8FZ8k726gOhM92EVfJo/6DC8zj7zGf3RDkHU+Hf/vMlnpG2y+u4gQ0woYFkTlSNGqFmyKsCQ==" value=lock
+bound-lock/1 about="The header" at=policy:wire-page by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/wire/header/heading sig="ed25519:era1:Cb7BvSrIdpdJrjhKpGFedeMLNpxlN5zzGOIaDyx5IyUrCWTvCOvaNTYkTBRq6RiEIKgfyl81J2Ji2A0L2X3tBg==" value=lock
+bound-lock/1 about="The wire" at=policy:wire-page by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/wire/heading sig="ed25519:era1:jvU2GMYfNLL+hGxgfChtJJWzLfS11tFgjyNdTd1kTB4m4rhTwjE6t5ot0Vhs/dkJeZmzUr5kI9uCnO20/z7lDQ==" value=lock
+bound-lock/1 about="A lock is a file of lines, and a line is all that passes between two implementations: one line of {encoding} text, a header and its fields. This page is the grammar of {header}. The functions of `topos/wire` are its reference, and the corpus below holds them to it." at=policy:wire-page by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/wire/lead sig="ed25519:era1:S3eKXNpMjfU/x9J9gbueAVPBcMSKDS2e6xU1lBlbt1SyuQ2R0D9uXVV01ty5zfjDWefjBTCiela5LgTCKuiQDQ==" value=lock
+bound-lock/1 about="A line is one line. A newline inside a value is written `\\n`, and a file of lines ends every line with a newline." at=policy:wire-page by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/wire/newline sig="ed25519:era1:AS8LaS34icPCvuB8rS+6CgElqzJz71It1BCIJYhYm3Rt3VrlPNPVZ8ctOJzsa8oTO4HTkqjyzBLJ0ZgsbHwQAg==" value=lock
+bound-lock/1 about="One line" at=policy:wire-page by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/wire/newline/heading sig="ed25519:era1:eLsRN0pwxEM067gKnM9cusOnCRGF3fvR80JvsHgAL04fNunHgbVNnWZyXuovaC8QJHqU5wcEmmOFMtApbWlABQ==" value=lock
+bound-lock/1 about="A number has one spelling: decimal digits, a minus when it is negative and a fraction when it has one. No exponent, no hex, no leading dot, no padding. The wire writes every number that way itself, from the shortest digits that read back to it, and reads no other spelling; an interval is two such ends or `*`. Two heads in two languages write the same bytes." at=policy:wire-page by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/wire/numbers sig="ed25519:era1:vjy1jd21Jq1V/ztWiFPiAo4xv74hyJQoRo4bz3Pfo52rK7eU1n2qkiAfD5GCycFYzOdyop9sqE+iBv2d0XsLCw==" value=lock
+bound-lock/1 about=Numbers at=policy:wire-page by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/wire/numbers/heading sig="ed25519:era1:qs6PDShFzI2m7A/pYH8d7oUVgnldw2MxdDQvxeO9M2rAhTbiaXENNo0Bjaais+khgd7BaVTYG+/XKGEIsVNYDQ==" value=lock
+bound-lock/1 about="Every order the wire makes is the order of {encoding} bytes, never a host's: the keys of a canonical line, and the members of every set a value holds. A character beyond the basic plane sorts above every character within it, where a host counting in pairs of sixteen bits sorts it below." at=policy:wire-page by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/wire/order sig="ed25519:era1:UB3dPspKb+2VjOYzMjq79kcrTczjXSB2AyE30DLnKc904rAYqdJnK/bz/z82U061x5L2oLMKqxzJlhTuu2MbBw==" value=lock
+bound-lock/1 about=Order at=policy:wire-page by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/wire/order/heading sig="ed25519:era1:ZiCHkC4xzOwrCfZA8QaS3c5Rn1esbHjx+LY5sGJiO7GdYxyNu2hi7G+kU0gjV6ISc4vzf0vD74StqEM3B85JCA==" value=lock
+bound-lock/1 about="A value that holds a space, an equals sign, a double quote, a backslash or a newline is written in double quotes. Inside them `\\\"` is a quote, `\\\\` a backslash and `\\n` a newline, and any other escape is refused. A value that needs no quotes never gets them." at=policy:wire-page by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/wire/quoting sig="ed25519:era1:umLqal5I4ttXNlKhg9g1C1c9/3DVwCPDoQ7szjkoc8HoF2Z1RZijB7i21hEihKY6miSRyxjBLhbOrss1BF4HAw==" value=lock
+bound-lock/1 about=Quoting at=policy:wire-page by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/wire/quoting/heading sig="ed25519:era1:Xyxrb6tUIiRyDe7DfOMtl6tZcxoxWVV0HXvDPF8Q9A7q0yRx9ChxVL+vm9EweobwFpwNYi7wCr3XHFrecaSYCA==" value=lock
+bound-lock/1 about="The reference" at=policy:wire-page by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/wire/reference/heading sig="ed25519:era1:4dkPQetQ+v6yAsvd1cWK0MM+mRttiijim5xkQNTXhNGJzmtCILSrEI9Aqv2Q9cP2SykGgqWd7Luv4/ZvVjOOBQ==" value=lock
+bound-lock/1 about="| function | as the language reads it |" at=policy:wire-page by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/wire/reference/table sig="ed25519:era1:9oIc1u0tucCwFjrrany+PpjTFYSf3M7IQeouwxxOKDst/kdSTgZ7e/m64BEc2r396k6dIwte5WfC1z4WXTGdDA==" value=lock
+bound-lock/1 about="The kernel never looks inside a value; each value has its own grammar, one function each in `topos/wire`. An alphabet is members apart by `|`, with `\\|` and `\\\\` escaped, `not:` before them to forbid and `none` for no member at all. Fields are `key=value` members of an alphabet, parted at the first `=`. A scope is steps apart by `/`, every step kept. A region is `name@resolution`, its resolution digits or `*`. Each function reads its text and writes it back canonical, and what it writes reads back the same." at=policy:wire-page by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/wire/values sig="ed25519:era1:xNgg2UFFbII1fAmicrypRJHqOYW8i+39IZswRwJdNA1UmJyiqTcn+BU4U2GgDSkI2jEsiZJ+Jd+8IB11kac+BQ==" value=lock
+bound-lock/1 about="Inside a value" at=policy:wire-page by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/wire/values/heading sig="ed25519:era1:qOsggWAvyyH/7sX5tgoC8CRf/3tqJOUieFQMlv+wEgGLMp6Wg1tyay04w2qho/MJccfG3I5ywXDliwN3/TtnBw==" value=lock
+bound-lock/1 about="the published place'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:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=status role=writes scope=publish/bootstrap sig="ed25519:era1:7rcOJIygVblrbvnmv0YB8Jub7A/eRCCE7/tNCbiyy9g8WLdj+LpBXVfXEgHkuBraB6Xs6bEkzkQsFQikPtShAQ==" value=topos
+bound-lock/1 about="the version this place carries is on the registry: it rests on published/topos/0.1.0, the FACT npm view lands, and stands owed until that is paid" at=witness:a-publish-that-failed-and-read-green by=owner condition=published/0.1.0 epoch=1 form=alphabet measure=status role=demands scope=published/0.1.0 sig="ed25519:era1:sT/dGo2Sd61meQTRYg4vu8MCKVaKvmomul/NXKCB0AGKMctf/T+xnYQJc388RQWdFLKqfCYMvapjTL6L+ayeAg==" 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 at=witness:a-lot-that-landed-at-every-place by=owner epoch=1 form=alphabet measure=coordinates role=reads scope=region/artifacts sig="ed25519:era1:W5pGBvmk0CqQGIqC/PGpH/IiximKrDcKFwhpKkF5NGzyuSvj3xD4jIsheTlHc0pBru/sD6pWcnQ0CLzHuAPAAQ==" 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 at=witness:a-lot-that-landed-at-every-place by=owner epoch=1 form=alphabet measure=coordinates role=reads scope=region/concepts sig="ed25519:era1:Tq/dz7r+S1n2DX7NLR+7jS/xE4BhIt19WdKiRNcwklM6594I6/dKqeq0+RDTcRSWkQa9zbAnLFnKj8gESDUICA==" value=src/wire/**/*.ts|src/authority/**/*.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 at=witness:a-lot-that-landed-at-every-place by=owner epoch=1 form=alphabet measure=coordinates role=reads scope=region/entries sig="ed25519:era1:DLsH3/IgWJMnbUZvpblRSiin/MLcGQywPtqnljXQPpZs6ZwiT7KeEe6T5GK+ittrQcErG3KxUBHQ1mpq6H8KDg==" 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 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 at=witness:a-lot-that-landed-at-every-place by=owner epoch=1 form=alphabet measure=coordinates role=reads scope=region/hazards sig="ed25519:era1:1dCPBxd5kj3GCDnUoq0tJ2BntnLxliVvisKPgmymvFMP/wnTk8C6F+Z/29sHzmmyr7/uMHVxpbnT38dnXGIMCw==" 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 at=witness:a-lot-that-landed-at-every-place by=owner epoch=1 form=alphabet measure=coordinates role=reads scope=region/laws sig="ed25519:era1:8AdTgQ/FoW6GA4DXlZNY58k2L7Ue5jKGtsQgbRzkgg+hy9DV1twoCADeYq7UgzXgFBdNP/m9BbclK3wyuSagAA==" value=**/*.bound
+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 at=witness:a-lot-that-landed-at-every-place by=owner epoch=1 form=alphabet measure=coordinates role=reads scope=region/packages sig="ed25519:era1:4T5EhNFpaI+904ysLoLiZvIqk9zYgXfRkf9AC3hfQM38Oc3usUMNX+gfTlo1VBB8+V3fZ5Xxgd5MrXaDaRZjDA==" 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 topos the said region is handed: its sources and the examples it ships, whose words are said" at=witness:a-door-whose-subpaths-said-nothing by=owner epoch=1 form=alphabet measure=coordinates role=reads scope=region/said sig="ed25519:era1:1BFS16I1DIgjWkZxvgDFKfprhMKvLXdxt9NHZIr694niPZ2+EMFvxyaAeVwlEhmZQBssSuiG4z4bD/Fjd7QnCw==" 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 at=witness:a-lot-that-landed-at-every-place by=owner epoch=1 form=alphabet measure=coordinates role=reads scope=region/source sig="ed25519:era1:/5aaNCsQAGK23hUtM7nT9FHvPIVk/uncuVEW76GLp1RgxIaE0JwM5RrTcXIa+/z1Am4eiC9wMZD6KBNwy54kBw==" value=src/**/*.ts
+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 place a reader of the typescript tree moves to when the tree splits by the kind of source each reader reads: its own capsule, lock and vectors" at=witness:a-capsule-of-eight-hundred-and-five-lines by=owner epoch=1 form=alphabet measure=coordinates role=writes scope=region/topos-typescript-artifacts sig="ed25519:era1:li/pflnQovWQLYC1wzRDQo6czPa9bEKn8bbgjUUJWvrsv3XlIfgLUCU18QD/w8rzs2LVw2kDCchZF/9qg6JVCQ==" value=topos-typescript-artifacts/**
+bound-lock/1 about="the place a reader of the typescript tree moves to when the tree splits by the kind of source each reader reads: its own capsule, lock and vectors" at=witness:a-capsule-of-eight-hundred-and-five-lines by=owner epoch=1 form=alphabet measure=coordinates role=writes scope=region/topos-typescript-concepts sig="ed25519:era1:pVHWjs6y0KzaqihZkLI/zIzHhSSWnxiz/ZHNabMIkLigxCNH+TOa7LM8elLFCHqLj9gu3vtL5P1YYnoV8S4dBQ==" value=topos-typescript-concepts/**
+bound-lock/1 about="the place a reader of the typescript tree moves to when the tree splits by the kind of source each reader reads: its own capsule, lock and vectors" at=witness:a-capsule-of-eight-hundred-and-five-lines by=owner epoch=1 form=alphabet measure=coordinates role=writes scope=region/topos-typescript-packages sig="ed25519:era1:HGcPiXNX0rH2Ji0CBZgHxWHvpWya8nwzDulJS5z5Oqf37/RSBVgD2ST2wJ9gE9hkbOp1/ygj38NMLE0lYl91DQ==" value=topos-typescript-packages/**
+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 at=witness:a-lot-that-landed-at-every-place by=owner epoch=1 form=alphabet measure=coordinates role=reads scope=region/vocabulary sig="ed25519:era1:+69JWUL4dD3+D7Oz6i/tHY724Cgqeo2Ch+aHL56TJChxXtP1t3wLLrW89yfhgBA2B87TfWFVjB9EGCjbf1zWBA==" value=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="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 needs=package.json role=writes scope=repository shape=package.json sig="ed25519:era1:CC3stLEtIr76n9/e4lU2Z/itBH4R5VvhqII28tb52bBQnf+4YKrsFtLmwQign1YQRjs25itNMPBkoIzY90yxBQ==" value=https://github.com/Lapxo/topos
+bound-lock/1 at=witness:a-notation-whose-samples-no-page-read by=owner epoch=1 form=alphabet measure=id role=writes scope=samples/no sig="ed25519:era1:WMgzClcYNV4e1P3KxWoq1HY+E5AzaC/vs9WYD3+aZvRo43Bk0QD003naC6/QcTaXnqUMqZxsTfZwFW/+j8A+Ag==" value=samples/no
+bound-lock/1 at=witness:a-notation-whose-samples-no-page-read by=owner epoch=1 form=alphabet measure=id role=writes scope=samples/yes sig="ed25519:era1:eO3kGZ+j/a3SRb1DnaP2HQHymquLhF/4oOgcOGcXCkShqMQ1pTjYLz+amUO0tj+d9DLGnSRwEpoxkLOpGAaEBg==" value=samples/yes
+bound-lock/1 at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id needs=package.json role=writes scope=scripts/build shape=package.json sig="ed25519:era1:g6LO3iXKa2r30n7xPS9VcNU/PV00nQiXQNeR8GFsAD/7xD2A3DsB8YT+XIxVqn4Cphwh7AFTnRyerCIoh3VSDQ==" value="tsc --build"
+bound-lock/1 at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id needs=package.json role=writes scope=sideEffects shape=package.json sig="ed25519:era1:S7xAW/8mFy+mgZqZ4zuw2WrUtucel/4Bq1kaWMk2H0wtVh6oVbS85ZVuHNp88XPK6VmqewF2aK/8Iyzc8R1/AQ==" value=false
+bound-lock/1 at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id role=writes scope=sources/badges sig="ed25519:era1:46JzBJgPV+zFYjxyoDLKBUIbMPcx3/59O7Zy/WT2oiY46csW0V4Koths0ADcgwpkGT/bqY/dxiYZ8Kt0PRAeBg==" value=https://img.shields.io/badge
+bound-lock/1 about="where the notation's digest resolves: the releases of the published topos, whose digest each world's uses/topos names and every world packs against" at=policy:topos/sources by=owner epoch=1 form=alphabet measure=id role=writes scope=sources/topos sig="ed25519:era1:tQXQ6ZHqRQSkNnGoDs75gSWLEG6SF28t5TDJZSKOi/AULm37dWtlkDKhbxCaDhiTZ4bFgvArZCaTqABLB8+MDA==" value=https://github.com/lapxo/topos/releases
+bound-lock/1 about="the ratchet: topos's code holds no more lines than the source reader read at its birth, and each release holds no more; the ceiling is re-signed only downward, release by release, never widened" at=witness:a-ceiling-lowered-by-its-heads by=owner epoch=1 form=interval measure=count role=reads scope=src/lines sig="ed25519:era1:tpvIFe2nWFzSk0H2a9uDfWxV44fzpggy/KUJ/zrGF6el7jvv3HrfYomaw2rTvMNwf6rKYxbciKGDYnNBiSh7BA==" value=0..1645
+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="the module system a consumer loads: the one the algebra is published in" at=witness:a-form-no-block-could-reach-in-a-commonjs-build by=owner epoch=1 form=alphabet measure=id needs=package.json role=writes scope=type shape=package.json sig="ed25519:era1:nl0SD8Py4NekJu5WqfewcZe8pvx5NQIEkZZ282/MfjNe6HrHvUISaGd667+g+4d3pg3yAH7UrRSKDtgHWPY0Cw==" value=module
+bound-lock/1 about="what topos uses of obligations is a range; which release answers it is a resolved/ receipt the lockfile renders from, never a line" at=witness:a-range-older-than-the-release-it-was-packed-against by=owner epoch=1 form=alphabet measure=id role=writes scope=uses/obligations sig="ed25519:era1:gS+2s+RiVAXeSuIOrPz+qUpuJKZOow1Df8Q0s4ULE5EQnzVSQ0f/ptvCBIqtsLcbQSqhOlJ3RNqPi0aasTVbDA==" value=^0.3.5
+bound-lock/1 about="the capsule this place's lock and capsules are read by, each count a count" at=witness:a-capsule-bundling-a-topos-nobody-released by=owner epoch=1 form=alphabet measure=id role=writes scope=uses/topos-bound sig="ed25519:era1:EXOB9i2rdoo5HEPEzeKSL/HOzJRIliGiAbOpXfcPUxRVAubCc+q+5siPGAqeKcEU64l2XvRGONWdSPYGeTimCQ==" value=sha256:8742250a27d7848a731c72f2f6296a3527ff68e0b5232c6afd44e0d2b666ee92
+bound-lock/1 at=witness:a-figure-drawn-from-what-a-place-ships by=owner epoch=1 form=alphabet measure=id role=writes scope=uses/topos-doc sig="ed25519:era1:UN8W1TXC8TFCnmoScOg1jbTRorf7WBVOUQKIdwEGsOjHBuBfKdJgmxL550hDlBATrll9b/8xWVtThaRuiJhLCg==" value=sha256:af04c9130ecc9d723d3795e1fbf75cf8ce79e545a48747b68e95180219e53725
+bound-lock/1 about="the capsule this place's pipelines are rendered by, each command its place's own line" at=witness:laws-that-read-a-text-no-reader-emits by=owner epoch=1 form=alphabet measure=id role=writes scope=uses/topos-github sig="ed25519:era1:w49tVEdfrLpJ+oYtRpkvf9f2DL/CdN8QVViqFQhhEhxptzM9hL3ckIfOcmtsE3p+xhWIW1n4fM0H0dhl1X0eBg==" value=sha256:11024bce063738c1d375a7033d99e90245bc8497e59626234c5dc73b4623e6e8
+bound-lock/1 about="the capsule this place's manifest and build are rendered by" at=witness:a-capsule-bundling-a-topos-nobody-released by=owner epoch=1 form=alphabet measure=id role=writes scope=uses/topos-node sig="ed25519:era1:jB3vwEgK/ZHPT0mmgpy82uZ74fCxuZ6zKfGw7TLVZsZhPOAKl29ZfxOgUICjFt7uXcpaZT8XXSzho1Lzyw4PDw==" value=sha256:384a74b07eb8c7235e584b2801dbda1d78acd7ef6dac933ab05400a40658c55b
+bound-lock/1 about="the capsule this place's code is read through, each measure combined as it declares" at=witness:a-capsule-bundling-a-topos-nobody-released by=owner epoch=1 form=alphabet measure=id role=writes scope=uses/topos-typescript-tree sig="ed25519:era1:N6JpWdiE8/k3tD8FYP7bvuMJhlbN5GU8L3c/W0eL5DktKJlK5Dud/q6BBj/EzOU85g1wxi/F9juHU2yhkO0kCQ==" value=sha256:9d9b44b8ef299b946b823a1767367b64ef6b333c1566f8ea3ae74da4f3f3ce13
+bound-lock/1 about="coverage-honours-withdraws: a key's coverage is its standing lines, withdraws honoured; a withdrawn coverage covers nothing signed after it, and the old reach is never counted again. Read by the one harness over the lanes' key lines" at=witness:coverage-that-never-narrowed by=owner epoch=1 form=alphabet measure=pass role=reads scope=vector/coverage-honours-withdraws sig="ed25519:era1:VH+j1prCqR0vErNlRXSo+2a/KScHs46nL2UgPoxkO1MNxOsjIbOCP5IwZzciegHzb08N5L3szm13gwLC8NLzDQ==" value=pass
+bound-lock/1 about="After the header come the fields, each `key=value`, apart by runs of spaces. A key appears once, and a line that names one twice is refused. A value `-` is absence, and the field reads as unwritten. A field no reader knows rides through untouched. `needs` names coordinates by path, never by digest: steps apart by `/`, a wildcard only in the last step. A line rests on bytes in `restsOn`, an alphabet whose member is their digest, `sha256:` and 64 lowercase hex digits; a member that is a scope rests on that line instead. For example: `bound-lock/1 at=witness:a-second-head-that-never-said-what-it-is by=owner form=alphabet measure=status needs=verify/docs/what.md restsOn=sha256:fd99c1421a6a4ccabc4de5a34e1d604e68a66d31004d651d3be982f1c0c623e6 role=demands scope=verify/docs/what shape=render value=present`." at=policy:wire-page by=owner epoch=1 form=alphabet measure=text role=writes scope=prose/en/wire/fields sig="ed25519:era1:FcrNUr/pq8sTCGt+beJNAPXHPs6b/yoCjXkBeJaxAY3KYOSvcoHqhs9aFXU4mmgFCccR9OfF13RdaArvTS9LBQ==" value=lock
+bound-lock/1 at=witness:a-topos-that-was-not-a-place by=owner epoch=1 form=alphabet measure=id needs=package.json role=writes scope=version shape=package.json sig="ed25519:era1:8+/yRI07V+P7UbmxQqFbQf62Sdv6lmp+ENBmlzOXB52UDtd17m3qrM4c/QmR+Jsi79ZkEbugWzebGl5z1lT8AQ==" value=0.1.0
+bound-lock/1 at=policy:place/version by=owner epoch=1 form=interval measure=version-differs role=reads scope=version-differs sig="ed25519:era1:Rk62Otv6B9gylPWMDOZEJigPNgz+GY0oac9TxuBH/RvFb9G3vf2uMbDWVoCZ+YkiWlx5zVacfyLY5/43C+bGAQ==" 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="a state renders with its amplitude, from the theme line; two greens of 0.9 and 0.1 differ" at=policy:views/colour by=owner epoch=1 form=alphabet measure=id role=writes scope=view/colour sig="ed25519:era1:avXiTv3z6Ja1GaHYOQcoOGyagObE4lG27S0L6gXTYlCjQ9oEYJn5BgGyE/2flfz3e40KfPk80OZ3GDT9TH+LBg==" value=state|amplitude
+bound-lock/1 about="two lines on one scope from two origins, folded: the first two of the first wire sample the place ships slide onto one scale, then their fold is read at each resolution the wire names" at=witness:a-fold-the-door-told-and-never-drew by=owner epoch=1 form=alphabet measure=id needs=docs/img/fold.svg role=demands scope=view/figure-fold shape=docs/img/fold.svg sig="ed25519:era1:NL2yIHGlgg3RDlCUpfUajhDm8lrBn5MghLwDEvcKSa/V8YLiXQDXOoFSHgs1pOFviywi5HJAiq8IkjUaIWRPDA==" value=figure-fold@1
+bound-lock/1 about="a line drawn field by field, each field labelled by the wire's own word: the first line of the first wire sample the place ships, as its reader says it" at=witness:a-figure-that-drew-a-line-no-sample-carried by=owner epoch=1 form=alphabet measure=id needs=docs/img/line.svg|samples/yes/two-origins-meet-on-one-scope.json role=demands scope=view/figure-line shape=docs/img/line.svg sig="ed25519:era1:KUz7DR+aHeUaAiJMzfsKs8QFW4kcDRI62hUbhFTqIImu/ol/G039vaiPY1VPQk2obhrROnoqjC5S+cPyRs8YAA==" value=figure-line@1
+bound-lock/1 about="a case the place refuses, crossed: what the first refused case of its vectors was handed, and why it was refused" at=witness:a-refusal-the-door-told-and-never-drew by=owner epoch=1 form=alphabet measure=id needs=docs/img/refuses.svg role=demands scope=view/figure-refuses shape=docs/img/refuses.svg sig="ed25519:era1:8DY5G9/67vWHi6bjqLmIFWiWwTMgLaRAlSaCq+wYYVmmGMEFBSs4icIzVJTT5g+o3LEC1CSyvjJqqfOPyFAVBg==" value=figure-refuses@1
+bound-lock/1 about="a world's anatomy drawn from its own capsule.bound: what it declares, its regions, its vectors, its blob, what pins it and the host" at=witness:a-figure-with-nothing-to-draw by=owner epoch=1 form=alphabet measure=id needs=docs/img/world.svg role=demands scope=view/figure-world shape=docs/img/world.svg sig="ed25519:era1:TZv0TxGHOKgRyv4L8YkEC8vr86KsWVHjDefhs0K9LzPTzyLWXTQwAnY5UuYiS51sqziRuzfyNtKg6UEvNQFjDg==" value=figure-world@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 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 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-frame-manifest-written-by-hand by=owner epoch=1 form=alphabet measure=id needs=package.json role=demands scope=view/manifest shape=package.json sig="ed25519:era1:xFf00zrG6NT42Q6/ugyStDJxaF6sT4UTaZNJhURplDuWB3g39GkX+ZSCvE9/Cd+1FKWT9Wl5L/AdeeGrsBneAA==" value=published-manifest
+bound-lock/1 about="open cells bits first, then reach" at=policy:views/open by=owner epoch=1 form=alphabet measure=id role=writes scope=view/open sig="ed25519:era1:X/Nu8UjYvLaG6EesCXQixjBmknX8eklNDyPGCWoTuk3rg1bXRlMy+LexdjK36DqCSW4lZduyh5sJbv9SVxnMDg==" value=bits-first
+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 door of the SDK, in the order a reader meets it: its mark, its name and its line, what it is, the idea, a world built in front of the reader, what it claims, one line drawn field by field, how it installs and a first run, a case it refuses crossed and what it refuses, how to read it, what rests on it, what is open, how it is checked, and where to read on" at=witness:a-rest-drawn-as-a-graph-no-reader-could-read by=owner epoch=1 form=alphabet measure=id needs=README.md role=demands scope=view/readme shape=README.md sig="ed25519:era1:bZX3FFx4Yw7F2B3kWTJXFbhPWGxB4ZUsawUVE7kLt2RjtwgKbXp15Zcwt9B6sLXL4v7E6wXDGOLEp5EuRLBeCg==" value=hero|door|idea|figure-world|learn|claims|figure-line|install|first-use|figure-refuses|refuses|reading|rested-on-by|open|check|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 reference of a capsule: its regions, what each reads and what each writes, read off its own descriptor" at=witness:an-sdk-reference-drawn-as-a-theory by=owner epoch=1 form=alphabet measure=id needs=docs/reference.md role=demands scope=view/reference-capsule shape=docs/reference.md sig="ed25519:era1:4RhdQV7z6FF7n1eKGJU9VGs0mkbbML+/I/vuYfve4ETycKPEAzrPyzRhH1Y2blNbfoz3X6MBbJ5aLPOaGg9FDw==" value=regions
+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
+bound-lock/1 about="the wire of this place, written from its lines by the capsule that renders it" at=policy:place/views by=owner epoch=1 form=alphabet measure=id needs=docs/wire.md role=demands scope=view/wire shape=docs/wire.md sig="ed25519:era1:QCQ8JiW2bsohnbTFZZbIla0XXAFA0h5PQ50Lo5e0NMzGBblE/aqukWaiOEnp1xXH7kE50WuVCpuxSKyHE6KrBw==" value=wire
+bound-lock/1 at=policy:topos/wire-page by=owner epoch=1 form=alphabet measure=id role=writes scope=wire/corpus sig="ed25519:era1:fOwwTw1uDC7kPs/YScf0HBQrbRnojzidHsd06dbNy4Pta1xfqiSsP61/+IzZ4y1sIbGYzNrEfTNNu1uhPThXCg==" value=spec/bound-lock-1|spec/fold|spec/values
+bound-lock/1 at=policy:topos/wire-page by=owner epoch=1 form=alphabet measure=id role=writes scope=wire/reference sig="ed25519:era1:BhBLUxG6kaqekXYni7Sg1QXHajXwNIuAlsAR9C2Yn21UdH0s6WcaaRBVjI8i2TYvoYAn6+STF4gddlSTsd/SBw==" value=parse|canonical|signedBytes|byBytes|alphabet|fields|steps|atResolution|decimal
+bound-lock/1 at=policy:topos/wire-page by=owner epoch=1 form=alphabet measure=id role=writes scope=wire/rules sig="ed25519:era1:LrxfSIGeamZGBA/Dn3wsPXPPRMGZyc2EmZudHABPDXYVYZyUtqNI/Ntkx9A8WFw2ki+UrfFb9yknFDDPPSwHDA==" value=header|fields|quoting|encoding|order|newline|canonical|values|numbers
+bound-lock/1 at=policy:topos/wire-page by=owner epoch=1 form=alphabet measure=id role=writes scope=wire/tokens sig="ed25519:era1:oILWbvztXmwFdK/TJcxZ79kORdUxlDsyUg6g7RFHdq1Og1JWeZs3FvzxFufrvw6WgfJ2OlBMf+trH2wtQ2ruBw==" value=header:bound-lock/1|encoding:UTF-8|hash:sha256