[{"_1":2,"_3":-5,"_4":-5},"loaderData",{"_5":6,"_7":8,"_9":10},"actionData","errors","root",{"_171":172,"_173":174},"routes/_app.x.$handle.$name",{"_11":12,"_13":14,"_15":-7,"_18":19,"_17":-7,"_129":-5,"_20":130,"_22":131,"_132":133,"_134":135,"_25":136,"_24":-5,"_137":-5,"_138":-5,"_139":54,"_140":141,"_142":45,"_143":-5,"_144":-5,"_145":146},"routes/_app.x.$handle.$name.code.$",{"_11":12,"_13":14,"_15":16,"_17":-7,"_18":19,"_20":21,"_22":23,"_24":-7,"_25":26,"_27":-5,"_28":-5,"_29":-5,"_30":-5,"_31":-5},"handle","vvampa","name","hypolink-lab","branchName","main","version","path","","project",{"_34":75,"_13":14,"_46":76,"_77":-5,"_78":54,"_79":80,"_81":80,"_82":83,"_84":-5,"_85":86,"_87":59,"_88":45,"_89":-5,"_90":-5,"_91":48,"_92":93,"_94":-5,"_95":-5,"_96":-5,"_97":-5,"_98":99,"_100":99,"_101":102,"_103":102,"_104":102,"_105":99,"_106":99,"_107":108,"_109":110,"_111":112,"_113":54},"tree",[66,67],"file","contents",[32,33],"upstream","pull","ahead","behind","envVars",{"_34":57,"_13":58,"_37":59,"_39":-5,"_40":41,"_42":60,"_44":45,"_46":61,"_17":62,"_49":63,"_51":64,"_53":54,"_55":14,"_18":65},{"_34":35,"_13":36,"_37":38,"_39":-5,"_40":41,"_42":43,"_44":45,"_46":47,"_17":48,"_49":50,"_51":52,"_53":54,"_55":-5,"_18":56},"id","ebf5caa2-6d52-4558-b684-65c944b89cc3","spec.ts","fileId","ae0995f8-9ce8-11f1-a484-1607ee4eb77e","parentId","branchId","2f821c4b-7281-459c-b3a1-a3a66b4b588f","branchVersion",9,"latest",true,"createdAt",["D",1787265859105],0,"fileType","script","content","export const FORMAT_SPEC = \"# proofmark format specification\\n\\nversion 0.2-draft · 2026-08-20\\n\\nproofmark is a Markdown-compatible plaintext format for placing a fact-checkable claim next to the prose that uses it. a rendered hypolink behaves like a link that opens nearby evidence. the unrendered file retains the canonical claim, sources, evidence objects, limits, and unresolved questions.\\n\\nthis document uses **MUST**, **SHOULD**, and **MAY** in their ordinary standards-language sense.\\n\\n## 1. design constraints\\n\\nproofmark has five constraints.\\n\\n1. the prose remains readable when rendered.\\n2. the complete proof remains readable in a text editor.\\n3. proof sits physically near its claim in the raw file.\\n4. sources and evidence are separate objects. one source can supply many excerpts, dates, figures, images, or other evidence items.\\n5. rendering may compress a proof but MUST NOT delete information from the raw document or machine-readable export.\\n\\n## 2. terms\\n\\n**hyperlink** — an ordinary Markdown link. it points somewhere.\\n\\n```markdown\\n[MYST](https://en.wikipedia.org/wiki/Myst)\\n```\\n\\n**hypolink** — a marked phrase associated with a local claim record. it opens evidence rather than navigating away.\\n\\n```markdown\\n[[visible phrase]]{claim-id}\\n```\\n\\n**anchor** — the `[[visible phrase]]{claim-id}` expression inside prose.\\n\\n**claim record** — the `:::hypolink` block containing valid JSON.\\n\\n**source** — the page, paper, file, dataset, system, person, or other object from which evidence was obtained.\\n\\n**evidence** — a specific usable object from a source: a quotation, publication date, number, image region, table cell, code fragment, observation, or calculation.\\n\\n**relation** — the job an evidence item performs relative to the claim, such as `supports`, `qualifies`, or `contradicts`.\\n\\n## 3. file conventions\\n\\n- proofmark files SHOULD use the extension `.proof.md`.\\n- files MUST be UTF-8.\\n- line endings MAY be LF or CRLF. renderers MUST accept both.\\n- the host document MAY use ordinary Markdown outside proofmark constructs.\\n- proofmark parsers MUST treat evidence content as data, never executable code.\\n\\n## 4. anchor grammar\\n\\ninformal grammar:\\n\\n```text\\nanchor = \\\"[[\\\" visible-phrase \\\"]]\\\" \\\"{\\\" claim-id \\\"}\\\"\\n```\\n\\nexample:\\n\\n```markdown\\nThe [[Internet Archive began serving historical software runnable in-browser in 2013]]{ia-browser-2013}.\\n```\\n\\n### 4.1 visible phrase\\n\\n`visible-phrase` is the human-facing text rendered in the article.\\n\\n- it MUST contain at least one visible character.\\n- it MUST NOT contain `]]` unescaped.\\n- it may be poetic, abbreviated, or context-dependent. the claim record carries the exact proposition.\\n- nested Markdown links inside a hypolink are not allowed in version 0.2.\\n\\n### 4.2 claim ID\\n\\nIDs MUST match:\\n\\n```regex\\n^[a-z][a-z0-9._-]*$\\n```\\n\\nIDs are case-sensitive and MUST be unique within a document.\\n\\nrecommended examples:\\n\\n```text\\nia-browser-2013\\ncd.longevity.study\\nclaim_07\\n```\\n\\n## 5. claim-block grammar\\n\\ninformal grammar:\\n\\n```text\\nblock = \\\":::hypolink \\\" claim-id newline\\n valid JSON object newline\\n \\\":::\\\"\\n```\\n\\nminimal shape:\\n\\n```markdown\\n:::hypolink claim-id\\n{\\n \\\"claim\\\": \\\"Exact proposition.\\\",\\n \\\"status\\\": \\\"observed\\\",\\n \\\"confidence\\\": \\\"high\\\",\\n \\\"as_of\\\": \\\"2026-08-20\\\",\\n \\\"sources\\\": [],\\n \\\"evidence\\\": [],\\n \\\"caveats\\\": []\\n}\\n:::\\n```\\n\\n`source` and `evidence` arrays are shown empty only to demonstrate shape. conforming claim records MUST contain at least one source and one evidence item.\\n\\n### 5.1 adjacency\\n\\n- the claim block MUST appear immediately after the paragraph containing its anchor.\\n- blank lines between the paragraph and block are allowed.\\n- if a paragraph contains several hypolinks, their blocks MUST follow the paragraph consecutively and in anchor order.\\n- a renderer MUST remove the raw blocks from ordinary article flow and attach each rendered proof to its matching anchor or paragraph.\\n- a missing or mismatched block is a validation error.\\n\\nexample with two claims in one paragraph:\\n\\n```markdown\\nThe [[disc may survive]]{disc-life}, while the [[software needed to open it may disappear]]{software-loss}.\\n\\n:::hypolink disc-life\\n{ ... }\\n:::\\n\\n:::hypolink software-loss\\n{ ... }\\n:::\\n```\\n\\n## 6. claim record\\n\\n### 6.1 required fields\\n\\n| field | type | requirement |\\n|---|---|---|\\n| `claim` | string | canonical proposition expressed as a complete, checkable sentence |\\n| `status` | enum | current epistemic state |\\n| `confidence` | enum | current confidence in the claim record |\\n| `as_of` | ISO date | date on which the claim/evidence state was assessed |\\n| `sources` | source[] | at least one source record |\\n| `evidence` | evidence[] | at least one evidence record |\\n| `caveats` | string[] | material limits; MAY be empty when none are known |\\n\\n### 6.2 status values\\n\\n| value | meaning |\\n|---|---|\\n| `observed` | directly supported by source material, a file, a system, a calculation, or a recorded observation |\\n| `inferred` | interpretation derived from evidence; dependencies should be visible |\\n| `unresolved` | evidence is insufficient, incomplete, or leaves several live explanations |\\n| `contested` | credible evidence or sources materially disagree |\\n| `needs-check` | provisional record awaiting verification |\\n\\n### 6.3 confidence values\\n\\n```text\\nhigh\\nmedium\\nlow\\nunknown\\n```\\n\\nconfidence is an assessment, not a substitute for evidence. renderers SHOULD display it quietly.\\n\\n### 6.4 optional fields\\n\\n| field | type | use |\\n|---|---|---|\\n| `scope` | string | population, geography, time window, technical boundary, or other claim scope |\\n| `note` | string | short interpretive or editorial note |\\n| `primary_evidence` | evidence ID | evidence shown in the compact first-click view |\\n| `unresolved` | string[] | open questions or missing tests |\\n| `tags` | string[] | search/index terms |\\n| `created_at` | ISO datetime | record creation time |\\n| `updated_at` | ISO datetime | last substantive update |\\n| `created_by` | string | person or system responsible for the record |\\n| `license` | string | license applying to the claim record itself |\\n| `supersedes` | claim ID | earlier claim record replaced by this one |\\n| `extensions` | object | namespaced experimental fields |\\n\\nwhen `primary_evidence` is absent, a renderer SHOULD select the first evidence item whose relation is `supports`, followed by `qualifies`, then the first remaining item.\\n\\n## 7. source record\\n\\nsources describe where evidence came from. they do not themselves prove the claim.\\n\\n### 7.1 required source fields\\n\\n| field | type | requirement |\\n|---|---|---|\\n| `id` | ID | unique inside the claim record |\\n| `type` | enum | source category |\\n| `title` | string | human-readable source name |\\n\\nsource types:\\n\\n```text\\nwebpage\\npaper\\nbook\\nfile\\ndataset\\nsystem\\nuser\\nmedia\\ncalculation\\nother\\n```\\n\\n### 7.2 optional source fields\\n\\n| field | type | use |\\n|---|---|---|\\n| `authors` | string[] | ordered author or creator names |\\n| `publisher` | string | publisher, institution, or responsible organization |\\n| `published` | string | publication date as represented by the source |\\n| `updated` | string | source update date |\\n| `accessed` | ISO date | retrieval/access date |\\n| `url` | URI | live source URL |\\n| `archive_url` | URI | archived snapshot |\\n| `doi` | string | DOI without requiring URL duplication |\\n| `isbn` | string | ISBN |\\n| `version` | string | edition, release, revision, or commit |\\n| `path` | string | local or bundle-relative path |\\n| `mime` | string | MIME type |\\n| `sha256` | 64-char hex | hash of captured source bytes |\\n| `language` | string | BCP 47 language tag when useful |\\n| `license` | string | source license |\\n| `note` | string | source-level note |\\n\\nexternal web sources SHOULD include `url` and `accessed`. mutable or high-stakes sources SHOULD also include `archive_url` or a bundled snapshot plus `sha256`.\\n\\n## 8. evidence record\\n\\nan evidence record identifies one fact-bearing object from one source. a source can supply any number of evidence records.\\n\\n### 8.1 required evidence fields\\n\\n| field | type | requirement |\\n|---|---|---|\\n| `id` | ID | unique inside the claim record |\\n| `type` | enum | evidence representation |\\n| `source` | source ID | MUST resolve to a source in the same block |\\n| `relation` | enum | how this item bears on the claim |\\n\\n### 8.2 relation values\\n\\n| relation | meaning |\\n|---|---|\\n| `supports` | directly increases support for the claim |\\n| `contradicts` | directly conflicts with the claim |\\n| `qualifies` | narrows, conditions, or weakens the claim |\\n| `contextualizes` | supplies relevant background without directly deciding the claim |\\n| `defines` | defines a term or scope used by the claim |\\n| `supplies-method` | documents the method producing another evidence item |\\n| `supplies-provenance` | documents origin, chain of custody, or authenticity |\\n\\n### 8.3 common optional evidence fields\\n\\n| field | type | use |\\n|---|---|---|\\n| `locator` | string/object | page, section, paragraph, CSS selector, line range, timestamp, or image region |\\n| `text` | string | exact quotation, transcript, or code excerpt |\\n| `value` | any JSON value | date, number, metadata value, table value, row object, or calculated result |\\n| `field` | string | metadata field represented by `value`, such as `published` |\\n| `unit` | string | unit associated with a numeric value |\\n| `measure` | string | what a number measures |\\n| `uncertainty` | number/string | uncertainty, interval, or error description |\\n| `media_url` | URI | image/audio/video evidence object |\\n| `alt` | string | text alternative for image evidence |\\n| `transcript` | string | transcript for audio or video evidence |\\n| `language` | string | evidence language |\\n| `observed_at` | ISO datetime | time of direct observation |\\n| `method` | string | method used for observation or extraction |\\n| `expression` | string | reproducible calculation expression |\\n| `inputs` | evidence ID[] | evidence items used by a calculation |\\n| `row` | integer/string | dataset or table row identifier |\\n| `column` | integer/string | table column identifier |\\n| `verification` | enum | `exact`, `derived`, `manual`, or `unverified` |\\n| `captured_at` | ISO datetime | capture time |\\n| `sha256` | hash | hash of an evidence asset or capture |\\n| `note` | string | evidence-level note |\\n\\n## 9. evidence types\\n\\n### `quote`\\n\\nrequired: `text`, `locator`.\\n\\n`text` SHOULD be copied exactly from the source. separate non-contiguous excerpts MUST be separate evidence records. do not splice several passages into one allegedly exact quote with silent omissions.\\n\\n### `date`\\n\\nrequired: `field`, `value`, `locator`.\\n\\nexample:\\n\\n```json\\n{\\n \\\"id\\\": \\\"ia-post-date\\\",\\n \\\"type\\\": \\\"date\\\",\\n \\\"source\\\": \\\"ia-post-2013\\\",\\n \\\"relation\\\": \\\"supports\\\",\\n \\\"field\\\": \\\"published\\\",\\n \\\"value\\\": \\\"2013-10-25\\\",\\n \\\"locator\\\": \\\"page metadata\\\",\\n \\\"verification\\\": \\\"exact\\\"\\n}\\n```\\n\\n### `number`\\n\\nrequired: `value`, `measure`, `locator`. `unit` is required whenever the number has a unit.\\n\\n### `metadata`\\n\\nrequired: `field`, `value`. use for author names, version identifiers, status labels, MIME types, or similar structured facts.\\n\\n### `image`\\n\\nrequired: `media_url`, `alt`, `locator`. `locator.region` MAY contain `[x1, y1, x2, y2]` coordinates.\\n\\n### `audio` / `video`\\n\\nrequired: `media_url`, `locator`. use `locator.time_start` and `locator.time_end` for clips. a `transcript` SHOULD accompany speech evidence.\\n\\n### `code`\\n\\nrequired: `text`, `locator`. `language` SHOULD identify the programming language.\\n\\n### `table-cell`\\n\\nrequired: `value`, `row`, `column`, `locator`.\\n\\n### `dataset-row`\\n\\nrequired: `value`, `row`. `value` may be an object containing selected fields.\\n\\n### `observation`\\n\\nrequired: `value`, `observed_at`, `method`. use for system output, an experiment, a live measurement, or a human observation.\\n\\n### `calculation`\\n\\nrequired: `value`, `expression`, `inputs`. every ID in `inputs` MUST resolve to another evidence record in the same claim block.\\n\\n## 10. multiple evidence from one source\\n\\nmultiple evidence items SHOULD point to one source record rather than repeat source metadata.\\n\\nthis is the intended model for the Internet Archive example:\\n\\n```text\\nsource: ia-post-2013\\n evidence: ia-post-date type=date\\n evidence: ia-announcement type=quote\\n evidence: ia-access-excerpt type=quote\\n```\\n\\n`ia-post-date` establishes when the announcement appeared. `ia-announcement` carries the sentence saying the software could run in a browser. `ia-access-excerpt` adds the Archive's explanation of why one-click access was useful. they are distinct facts from one page.\\n\\nsee `examples/internet-archive.proof.md` for the complete block.\\n\\n## 11. rendering behavior\\n\\n### 11.1 visual distinction\\n\\nrecommended web defaults:\\n\\n- ordinary hyperlinks: underlined\\n- hypolinks: overlined\\n\\nrenderers MAY use another accessible distinction but MUST NOT rely on color alone.\\n\\n### 11.2 compact first-click view\\n\\nfirst click SHOULD show only:\\n\\n1. status and confidence\\n2. canonical claim\\n3. primary evidence\\n4. direct source link\\n5. one material caveat\\n\\nsecondary evidence, metadata, and remaining caveats SHOULD begin collapsed. a user MUST be able to reach the complete raw record.\\n\\nfor non-text evidence, the compact view may show a thumbnail, date, number, audio clip, video clip, code fragment, or table value appropriate to the evidence type.\\n\\n### 11.3 print and no-script fallback\\n\\n- print renderers SHOULD convert hypolinks to claim-local footnotes or endnotes.\\n- a no-script web renderer SHOULD expose a link to the raw claim record.\\n- renderers MUST escape source and evidence text before inserting it into HTML.\\n\\n## 12. validation\\n\\na conforming validator MUST check:\\n\\n- anchor syntax and ID pattern\\n- one matching claim block per anchor\\n- unique claim, source, and evidence IDs in their respective scopes\\n- valid JSON inside every block\\n- all required fields\\n- valid `status`, `confidence`, source type, evidence type, and relation values\\n- every evidence `source` resolves\\n- `primary_evidence` resolves when present\\n- calculation `inputs` resolve\\n- type-specific required fields\\n- valid ISO dates and datetimes where required\\n- URLs use allowed schemes\\n\\nan evidence-aware validator SHOULD also check:\\n\\n- quote text occurs in the captured source\\n- date/metadata values match source metadata\\n- units accompany measured values\\n- calculation output can be reproduced from its inputs\\n- image regions and timestamps fall within the source asset\\n- archived snapshots or hashes still match\\n- evidence marked `exact` is actually exact\\n\\nvalidation proves structural and provenance consistency. it does not prove that a source is trustworthy or that evidence logically entails the claim.\\n\\n## 13. security\\n\\n- renderers MUST escape HTML in labels, claims, excerpts, titles, and notes.\\n- renderers MUST reject unsafe URL schemes such as `javascript:`.\\n- JSON content MUST NOT be evaluated as JavaScript.\\n- external links SHOULD use `rel=\\\"noopener noreferrer\\\"`.\\n- media SHOULD not autoplay.\\n- local file paths SHOULD be removed or rewritten before public publishing when they expose private structure.\\n\\n## 14. portability\\n\\nclaim blocks are self-contained in version 0.2. every source used by a claim is declared inside that claim block. this creates some duplication across claims but allows a block to survive copying, quoting, or extraction from the larger document.\\n\\nfuture versions may add a document-level source registry. a renderer implementing that extension must still be able to export a fully expanded self-contained claim block.\\n\\n## 15. compatibility note\\n\\nhypolink lab versions 0.1-0.4 stored quotation text directly inside `sources[]` and numeric items in a top-level `figures[]` array. version 0.2-draft moves fact-bearing objects into `evidence[]` and leaves `sources[]` for provenance metadata.\\n\\nmigration:\\n\\n```text\\nold sources[n].quote -> evidence[type=quote, source=sources[n].id]\\nold figures[n] -> evidence[type=number, source=...]\\nold sources[n].date -> source.published plus optional evidence[type=date]\\n```\\n\\nold blocks remain readable, but new documents SHOULD use the source/evidence split.\\n\";\nexport const PROOFMARK_SCHEMA = \"{\\n \\\"$schema\\\": \\\"https://json-schema.org/draft/2020-12/schema\\\",\\n \\\"$id\\\": \\\"https://hypolink-lab.val.run/proofmark.schema.json\\\",\\n \\\"title\\\": \\\"Proofmark hypolink record\\\",\\n \\\"type\\\": \\\"object\\\",\\n \\\"additionalProperties\\\": false,\\n \\\"required\\\": [\\n \\\"claim\\\",\\n \\\"status\\\",\\n \\\"confidence\\\",\\n \\\"as_of\\\",\\n \\\"sources\\\",\\n \\\"evidence\\\",\\n \\\"caveats\\\"\\n ],\\n \\\"properties\\\": {\\n \\\"claim\\\": { \\\"type\\\": \\\"string\\\", \\\"minLength\\\": 1 },\\n \\\"status\\\": {\\n \\\"type\\\": \\\"string\\\",\\n \\\"enum\\\": [\\\"observed\\\", \\\"inferred\\\", \\\"unresolved\\\", \\\"contested\\\", \\\"needs-check\\\"]\\n },\\n \\\"confidence\\\": {\\n \\\"type\\\": \\\"string\\\",\\n \\\"enum\\\": [\\\"high\\\", \\\"medium\\\", \\\"low\\\", \\\"unknown\\\"]\\n },\\n \\\"as_of\\\": { \\\"type\\\": \\\"string\\\", \\\"format\\\": \\\"date\\\" },\\n \\\"scope\\\": { \\\"type\\\": \\\"string\\\" },\\n \\\"note\\\": { \\\"type\\\": \\\"string\\\" },\\n \\\"primary_evidence\\\": { \\\"$ref\\\": \\\"#/$defs/id\\\" },\\n \\\"sources\\\": {\\n \\\"type\\\": \\\"array\\\",\\n \\\"minItems\\\": 1,\\n \\\"items\\\": { \\\"$ref\\\": \\\"#/$defs/source\\\" }\\n },\\n \\\"evidence\\\": {\\n \\\"type\\\": \\\"array\\\",\\n \\\"minItems\\\": 1,\\n \\\"items\\\": { \\\"$ref\\\": \\\"#/$defs/evidence\\\" }\\n },\\n \\\"caveats\\\": {\\n \\\"type\\\": \\\"array\\\",\\n \\\"items\\\": { \\\"type\\\": \\\"string\\\", \\\"minLength\\\": 1 }\\n },\\n \\\"unresolved\\\": {\\n \\\"type\\\": \\\"array\\\",\\n \\\"items\\\": { \\\"type\\\": \\\"string\\\", \\\"minLength\\\": 1 }\\n },\\n \\\"tags\\\": {\\n \\\"type\\\": \\\"array\\\",\\n \\\"uniqueItems\\\": true,\\n \\\"items\\\": { \\\"type\\\": \\\"string\\\", \\\"minLength\\\": 1 }\\n },\\n \\\"created_at\\\": { \\\"type\\\": \\\"string\\\", \\\"format\\\": \\\"date-time\\\" },\\n \\\"updated_at\\\": { \\\"type\\\": \\\"string\\\", \\\"format\\\": \\\"date-time\\\" },\\n \\\"created_by\\\": { \\\"type\\\": \\\"string\\\" },\\n \\\"license\\\": { \\\"type\\\": \\\"string\\\" },\\n \\\"supersedes\\\": { \\\"$ref\\\": \\\"#/$defs/id\\\" },\\n \\\"extensions\\\": {\\n \\\"type\\\": \\\"object\\\",\\n \\\"additionalProperties\\\": true\\n }\\n },\\n \\\"$defs\\\": {\\n \\\"id\\\": {\\n \\\"type\\\": \\\"string\\\",\\n \\\"pattern\\\": \\\"^[a-z][a-z0-9._-]*$\\\"\\n },\\n \\\"source\\\": {\\n \\\"type\\\": \\\"object\\\",\\n \\\"additionalProperties\\\": false,\\n \\\"required\\\": [\\\"id\\\", \\\"type\\\", \\\"title\\\"],\\n \\\"properties\\\": {\\n \\\"id\\\": { \\\"$ref\\\": \\\"#/$defs/id\\\" },\\n \\\"type\\\": {\\n \\\"type\\\": \\\"string\\\",\\n \\\"enum\\\": [\\\"webpage\\\", \\\"paper\\\", \\\"book\\\", \\\"file\\\", \\\"dataset\\\", \\\"system\\\", \\\"user\\\", \\\"media\\\", \\\"calculation\\\", \\\"other\\\"]\\n },\\n \\\"title\\\": { \\\"type\\\": \\\"string\\\", \\\"minLength\\\": 1 },\\n \\\"authors\\\": {\\n \\\"type\\\": \\\"array\\\",\\n \\\"items\\\": { \\\"type\\\": \\\"string\\\", \\\"minLength\\\": 1 }\\n },\\n \\\"publisher\\\": { \\\"type\\\": \\\"string\\\" },\\n \\\"published\\\": { \\\"type\\\": \\\"string\\\" },\\n \\\"updated\\\": { \\\"type\\\": \\\"string\\\" },\\n \\\"accessed\\\": { \\\"type\\\": \\\"string\\\", \\\"format\\\": \\\"date\\\" },\\n \\\"url\\\": { \\\"type\\\": \\\"string\\\", \\\"format\\\": \\\"uri\\\" },\\n \\\"archive_url\\\": { \\\"type\\\": \\\"string\\\", \\\"format\\\": \\\"uri\\\" },\\n \\\"doi\\\": { \\\"type\\\": \\\"string\\\" },\\n \\\"isbn\\\": { \\\"type\\\": \\\"string\\\" },\\n \\\"version\\\": { \\\"type\\\": \\\"string\\\" },\\n \\\"path\\\": { \\\"type\\\": \\\"string\\\" },\\n \\\"mime\\\": { \\\"type\\\": \\\"string\\\" },\\n \\\"sha256\\\": { \\\"type\\\": \\\"string\\\", \\\"pattern\\\": \\\"^[a-fA-F0-9]{64}$\\\" },\\n \\\"language\\\": { \\\"type\\\": \\\"string\\\" },\\n \\\"license\\\": { \\\"type\\\": \\\"string\\\" },\\n \\\"note\\\": { \\\"type\\\": \\\"string\\\" }\\n }\\n },\\n \\\"locator\\\": {\\n \\\"oneOf\\\": [\\n { \\\"type\\\": \\\"string\\\" },\\n {\\n \\\"type\\\": \\\"object\\\",\\n \\\"additionalProperties\\\": false,\\n \\\"properties\\\": {\\n \\\"page\\\": { \\\"type\\\": [\\\"string\\\", \\\"integer\\\"] },\\n \\\"section\\\": { \\\"type\\\": \\\"string\\\" },\\n \\\"paragraph\\\": { \\\"type\\\": \\\"string\\\" },\\n \\\"selector\\\": { \\\"type\\\": \\\"string\\\" },\\n \\\"line_start\\\": { \\\"type\\\": \\\"integer\\\", \\\"minimum\\\": 1 },\\n \\\"line_end\\\": { \\\"type\\\": \\\"integer\\\", \\\"minimum\\\": 1 },\\n \\\"time_start\\\": { \\\"type\\\": [\\\"number\\\", \\\"string\\\"] },\\n \\\"time_end\\\": { \\\"type\\\": [\\\"number\\\", \\\"string\\\"] },\\n \\\"region\\\": {\\n \\\"type\\\": \\\"array\\\",\\n \\\"minItems\\\": 4,\\n \\\"maxItems\\\": 4,\\n \\\"items\\\": { \\\"type\\\": \\\"number\\\" }\\n }\\n }\\n }\\n ]\\n },\\n \\\"evidence\\\": {\\n \\\"type\\\": \\\"object\\\",\\n \\\"additionalProperties\\\": false,\\n \\\"required\\\": [\\\"id\\\", \\\"type\\\", \\\"source\\\", \\\"relation\\\"],\\n \\\"properties\\\": {\\n \\\"id\\\": { \\\"$ref\\\": \\\"#/$defs/id\\\" },\\n \\\"type\\\": {\\n \\\"type\\\": \\\"string\\\",\\n \\\"enum\\\": [\\\"quote\\\", \\\"date\\\", \\\"number\\\", \\\"metadata\\\", \\\"image\\\", \\\"audio\\\", \\\"video\\\", \\\"code\\\", \\\"table-cell\\\", \\\"dataset-row\\\", \\\"observation\\\", \\\"calculation\\\"]\\n },\\n \\\"source\\\": { \\\"$ref\\\": \\\"#/$defs/id\\\" },\\n \\\"relation\\\": {\\n \\\"type\\\": \\\"string\\\",\\n \\\"enum\\\": [\\\"supports\\\", \\\"contradicts\\\", \\\"qualifies\\\", \\\"contextualizes\\\", \\\"defines\\\", \\\"supplies-method\\\", \\\"supplies-provenance\\\"]\\n },\\n \\\"text\\\": { \\\"type\\\": \\\"string\\\" },\\n \\\"value\\\": true,\\n \\\"field\\\": { \\\"type\\\": \\\"string\\\" },\\n \\\"unit\\\": { \\\"type\\\": \\\"string\\\" },\\n \\\"measure\\\": { \\\"type\\\": \\\"string\\\" },\\n \\\"uncertainty\\\": { \\\"type\\\": [\\\"number\\\", \\\"string\\\"] },\\n \\\"locator\\\": { \\\"$ref\\\": \\\"#/$defs/locator\\\" },\\n \\\"media_url\\\": { \\\"type\\\": \\\"string\\\", \\\"format\\\": \\\"uri\\\" },\\n \\\"alt\\\": { \\\"type\\\": \\\"string\\\" },\\n \\\"transcript\\\": { \\\"type\\\": \\\"string\\\" },\\n \\\"language\\\": { \\\"type\\\": \\\"string\\\" },\\n \\\"observed_at\\\": { \\\"type\\\": \\\"string\\\", \\\"format\\\": \\\"date-time\\\" },\\n \\\"method\\\": { \\\"type\\\": \\\"string\\\" },\\n \\\"expression\\\": { \\\"type\\\": \\\"string\\\" },\\n \\\"inputs\\\": {\\n \\\"type\\\": \\\"array\\\",\\n \\\"items\\\": { \\\"$ref\\\": \\\"#/$defs/id\\\" }\\n },\\n \\\"row\\\": { \\\"type\\\": [\\\"integer\\\", \\\"string\\\"] },\\n \\\"column\\\": { \\\"type\\\": [\\\"integer\\\", \\\"string\\\"] },\\n \\\"verification\\\": {\\n \\\"type\\\": \\\"string\\\",\\n \\\"enum\\\": [\\\"exact\\\", \\\"derived\\\", \\\"manual\\\", \\\"unverified\\\"]\\n },\\n \\\"captured_at\\\": { \\\"type\\\": \\\"string\\\", \\\"format\\\": \\\"date-time\\\" },\\n \\\"sha256\\\": { \\\"type\\\": \\\"string\\\", \\\"pattern\\\": \\\"^[a-fA-F0-9]{64}$\\\" },\\n \\\"note\\\": { \\\"type\\\": \\\"string\\\" }\\n },\\n \\\"allOf\\\": [\\n {\\n \\\"if\\\": { \\\"properties\\\": { \\\"type\\\": { \\\"const\\\": \\\"quote\\\" } } },\\n \\\"then\\\": { \\\"required\\\": [\\\"text\\\", \\\"locator\\\"] }\\n },\\n {\\n \\\"if\\\": { \\\"properties\\\": { \\\"type\\\": { \\\"const\\\": \\\"date\\\" } } },\\n \\\"then\\\": { \\\"required\\\": [\\\"field\\\", \\\"value\\\", \\\"locator\\\"] }\\n },\\n {\\n \\\"if\\\": { \\\"properties\\\": { \\\"type\\\": { \\\"const\\\": \\\"number\\\" } } },\\n \\\"then\\\": { \\\"required\\\": [\\\"value\\\", \\\"measure\\\", \\\"locator\\\"] }\\n },\\n {\\n \\\"if\\\": { \\\"properties\\\": { \\\"type\\\": { \\\"const\\\": \\\"metadata\\\" } } },\\n \\\"then\\\": { \\\"required\\\": [\\\"field\\\", \\\"value\\\"] }\\n },\\n {\\n \\\"if\\\": { \\\"properties\\\": { \\\"type\\\": { \\\"const\\\": \\\"image\\\" } } },\\n \\\"then\\\": { \\\"required\\\": [\\\"media_url\\\", \\\"alt\\\", \\\"locator\\\"] }\\n },\\n {\\n \\\"if\\\": { \\\"properties\\\": { \\\"type\\\": { \\\"enum\\\": [\\\"audio\\\", \\\"video\\\"] } } },\\n \\\"then\\\": { \\\"required\\\": [\\\"media_url\\\", \\\"locator\\\"] }\\n },\\n {\\n \\\"if\\\": { \\\"properties\\\": { \\\"type\\\": { \\\"const\\\": \\\"code\\\" } } },\\n \\\"then\\\": { \\\"required\\\": [\\\"text\\\", \\\"locator\\\"] }\\n },\\n {\\n \\\"if\\\": { \\\"properties\\\": { \\\"type\\\": { \\\"const\\\": \\\"table-cell\\\" } } },\\n \\\"then\\\": { \\\"required\\\": [\\\"value\\\", \\\"row\\\", \\\"column\\\", \\\"locator\\\"] }\\n },\\n {\\n \\\"if\\\": { \\\"properties\\\": { \\\"type\\\": { \\\"const\\\": \\\"dataset-row\\\" } } },\\n \\\"then\\\": { \\\"required\\\": [\\\"value\\\", \\\"row\\\"] }\\n },\\n {\\n \\\"if\\\": { \\\"properties\\\": { \\\"type\\\": { \\\"const\\\": \\\"observation\\\" } } },\\n \\\"then\\\": { \\\"required\\\": [\\\"value\\\", \\\"observed_at\\\", \\\"method\\\"] }\\n },\\n {\\n \\\"if\\\": { \\\"properties\\\": { \\\"type\\\": { \\\"const\\\": \\\"calculation\\\" } } },\\n \\\"then\\\": { \\\"required\\\": [\\\"value\\\", \\\"expression\\\", \\\"inputs\\\"] }\\n }\\n ]\\n }\\n }\\n}\\n\";\n","deleted",false,"label",[36],"9e635cb6-aadc-45dd-9a37-3d0af6b52ffb","main.ts","559c5eac-9ce1-11f1-abcc-1607ee4eb77e",14,["D",1787370531714],12,"http","import { FORMAT_SPEC, PROOFMARK_SCHEMA } from \"./spec.ts\";\n\ntype Source = {\n title: string;\n author: string;\n published: string;\n accessed: string;\n url: string;\n locator: string;\n relation: \"supports\" | \"qualifies\" | \"contradicts\" | \"contextualizes\";\n quote: string;\n};\n\ntype Figure = {\n value: string;\n measure: string;\n source: string;\n note?: string;\n};\n\ntype Proof = {\n claim: string;\n status: \"observed\" | \"inferred\" | \"needs-check\" | \"contested\";\n confidence: \"high\" | \"medium\" | \"low\";\n as_of: string;\n note: string;\n figures?: Figure[];\n sources: Source[];\n caveats: string[];\n};\n\ntype ParsedArticle = {\n title: string;\n dek: string;\n paragraphs: string[];\n proofs: Record;\n};\n\nconst ARTICLE_PROOFMARK = String.raw`# two doomsday clocks for compact discs\n\n> found in a box marked cables / misc.\n\ni found a CD-R labeled FINAL_USE_THIS_ONE_2 in purple marker. maybe it contains [MYST](https://en.wikipedia.org/wiki/Myst), maybe tax files, maybe nothing. there are two doomsday clocks running for compact discs: one \"real\" & one digital.\n\nthe \"real\" clock is physical decay. [[a pressed CD-ROM is polycarbonate, reflective metal, & a protective coat]]{disc-anatomy}. recordable discs use a dye layer, and storage or handling can damage it.\n\n:::hypolink disc-anatomy\n{\n \"claim\": \"A CD-ROM is built from a polycarbonate substrate stamped with data, a metal reflective layer, and a protective top coating.\",\n \"status\": \"observed\",\n \"confidence\": \"high\",\n \"as_of\": \"2026-08-20\",\n \"note\": \"pressed CD-ROM and recordable CD-R use different data layers.\",\n \"sources\": [\n {\n \"title\": \"CD-R and DVD-R/RW Longevity Research\",\n \"author\": \"Library of Congress Preservation Science\",\n \"published\": \"undated project page\",\n \"accessed\": \"2026-08-20\",\n \"url\": \"https://www.loc.gov/preservation/scientists/projects/cd-r_dvd-r_rw_longevity.html\",\n \"locator\": \"Background\",\n \"relation\": \"supports\",\n \"quote\": \"Optical discs are composed of layers, based on the original CD-ROM construction, which consists of a polycarbonate substrate that has been stamped with data from a master, a metal reflective layer, and a protective top coating.\"\n }\n ],\n \"caveats\": [\n \"CD-R uses a photosensitive organic dye instead of stamped data in the polycarbonate.\",\n \"CD-RW uses a phase-changing metal-alloy film.\"\n ]\n}\n:::\n\nthere is no useful single shelf-life. [[one Library of Congress test put about 70% of its discs beyond 100 estimated years & about 4% inside 10, while the National Archives warns some recordable discs fail in under one year]]{disc-longevity}. manufacturing quality, the original recording, heat, humidity, light, labels, & scratches all change the result.\n\n:::hypolink disc-longevity\n{\n \"claim\": \"In one Library of Congress accelerated-aging CD-ROM study, about 70 percent of the test population had estimated longevity above 100 years and about 4 percent were estimated to reach end-of-life within 10 years; the National Archives separately warns that some recordable optical media become unreadable in less than one year.\",\n \"status\": \"observed\",\n \"confidence\": \"medium\",\n \"as_of\": \"2026-08-20\",\n \"note\": \"the estimate applies to one test population and does not predict the lifespan of an individual disc.\",\n \"figures\": [\n {\n \"value\": \"~70%\",\n \"measure\": \"test discs with estimated longevity over 100 years\",\n \"source\": \"Library of Congress accelerated-aging study\"\n },\n {\n \"value\": \"~4%\",\n \"measure\": \"test discs estimated to reach end-of-life within 10 years\",\n \"source\": \"Library of Congress accelerated-aging study\"\n }\n ],\n \"sources\": [\n {\n \"title\": \"CD-ROM Longevity Research\",\n \"author\": \"Library of Congress Preservation Science\",\n \"published\": \"undated project page\",\n \"accessed\": \"2026-08-20\",\n \"url\": \"https://www.loc.gov/preservation/scientists/projects/cd_longevity.html\",\n \"locator\": \"Outcomes/Findings\",\n \"relation\": \"supports\",\n \"quote\": \"Statistical analysis of the EOL data obtained at accelerated conditions showed that ~ 70% of discs in the test population had an estimated longevity exceeding 100 years. The data indicated that ~ 4% of the discs would reach EOL within 10 years.\"\n },\n {\n \"title\": \"Audio Guidance: Condition of Materials and Storage\",\n \"author\": \"U.S. National Archives\",\n \"published\": \"reviewed 2024-08-15\",\n \"accessed\": \"2026-08-20\",\n \"url\": \"https://www.archives.gov/preservation/formats/audio-condition-assessment.html\",\n \"locator\": \"How long will audio materials last?\",\n \"relation\": \"qualifies\",\n \"quote\": \"Recordable optical media have widely varying life expectancies. It is not entirely uncommon to have some unreadable discs in less than one year.\"\n }\n ],\n \"caveats\": [\n \"Accelerated aging gives a broad estimate rather than an expiry date for an individual disc.\",\n \"Temperature, humidity, light, handling, labels, manufacturing quality, and the original recording all change the outcome.\"\n ]\n}\n:::\n\nthe digital clock is obsolescence. [[continued access depends on compatible hardware & software]]{machine-door}. an intact disc can still be unreadable when the drive is gone, the operating system will not run, or no current program understands the files.\n\n:::hypolink machine-door\n{\n \"claim\": \"Access to optical-disc content depends on compatible hardware and software remaining available.\",\n \"status\": \"observed\",\n \"confidence\": \"high\",\n \"as_of\": \"2026-08-20\",\n \"note\": \"physical survival and readable content are separate problems.\",\n \"sources\": [\n {\n \"title\": \"CD-ROM Longevity Research\",\n \"author\": \"Library of Congress Preservation Science\",\n \"published\": \"undated project page\",\n \"accessed\": \"2026-08-20\",\n \"url\": \"https://www.loc.gov/preservation/scientists/projects/cd_longevity.html\",\n \"locator\": \"Background\",\n \"relation\": \"supports\",\n \"quote\": \"Unfortunately, these media are machine-dependent, and continued access to the digital content is contingent on the availability of compatible hardware and software.\"\n }\n ],\n \"caveats\": [\n \"A working drive is insufficient when the file also needs unavailable software, codecs, keys, or an obsolete operating system.\",\n \"Migration and emulation can restore access without preserving the original machine.\"\n ]\n}\n:::\n\nimaging the disc moves the data off the failing physical medium. [[exact file bytes can survive while the file becomes impossible to render or execute]]{bits-alone}. preserve the manual, emulator, operating-system requirements, copy-protection keys, & file-format notes too.\n\n:::hypolink bits-alone\n{\n \"claim\": \"Bit-level preservation can keep an authentic copy of a file without ensuring that people can still render or use it.\",\n \"status\": \"observed\",\n \"confidence\": \"high\",\n \"as_of\": \"2026-08-20\",\n \"note\": \"an obsolete format, missing codec, license restriction, or unavailable hardware can leave intact file bytes unreadable.\",\n \"sources\": [\n {\n \"title\": \"Bit Level Preservation and Long Term Usability\",\n \"author\": \"Library of Congress Digital Collections Management Compendium\",\n \"published\": \"undated guidance\",\n \"accessed\": \"2026-08-20\",\n \"url\": \"https://www.loc.gov/programs/digital-collections-management/digital-formats/bit-level-preservation-and-long-term-usability/\",\n \"locator\": \"second paragraph\",\n \"relation\": \"supports\",\n \"quote\": \"Bit-level preservation alone, however, does not ensure that content is fully usable in the many ways that users may want to interact with it.\"\n }\n ],\n \"caveats\": [\n \"Usability can sometimes be recovered through migration, emulation, documentation, or reconstructed software.\",\n \"Preserving the original bitstream still leaves future archivists more options than discarding it.\"\n ]\n}\n:::\n\nthe [Internet Archive](https://archive.org/details/softwarelibrary_msdos) uses browser emulation to preserve access. [[it began serving historical software runnable in-browser in 2013]]{browser-emulation}. this lets people execute old programs without the original machine, though browser compatibility, input, sound, & bandwidth can still break the experience.\n\n:::hypolink browser-emulation\n{\n \"claim\": \"The Internet Archive announced its Historical Software Archive in 2013 with software that could run immediately in a web browser through emulation.\",\n \"status\": \"observed\",\n \"confidence\": \"high\",\n \"as_of\": \"2026-08-20\",\n \"note\": \"emulation preserves behavior as well as files, though the browser layer creates new compatibility problems of its own.\",\n \"sources\": [\n {\n \"title\": \"Microcomputer Software Lives Again, This Time in Your Browser\",\n \"author\": \"Internet Archive\",\n \"published\": \"2013-10-25\",\n \"accessed\": \"2026-08-20\",\n \"url\": \"https://blog.archive.org/2013/10/25/microcomputer-software-lives-again-this-time-in-your-browser/\",\n \"locator\": \"announcement section\",\n \"relation\": \"supports\",\n \"quote\": \"Today, the Internet Archive announces the Historical Software Archive, a collection of prominent and historically notable pieces of software, able to be run immediately in your browser.\"\n },\n {\n \"title\": \"2,500 More MS-DOS Games Playable at the Archive\",\n \"author\": \"Jason Scott, Internet Archive Software Curator\",\n \"published\": \"2019-10-13\",\n \"accessed\": \"2026-08-20\",\n \"url\": \"https://blog.archive.org/2019/10/13/2500-more-ms-dos-games-playable-at-the-archive/\",\n \"locator\": \"That Hilarious Problem With CD-ROMs\",\n \"relation\": \"qualifies\",\n \"quote\": \"But it was also a very large amount of data (up to 700 megabytes per CD) and it’s one thing to have the data sitting on a plastic disc in a local machine, and yet another to have a network connection pull the entire contents of the CD-ROM into memory and hold it there as a virtual file resources.\"\n }\n ],\n \"caveats\": [\n \"Browser emulation may run slowly, lose sound or input behavior, and depend on current browser compatibility.\",\n \"CD-ROM titles can require hundreds of megabytes to load into memory before play.\"\n ]\n}\n:::\n\nif you find an old disc, image it before putting it back in the box. hash the image, keep more than one copy, & save the context with the file.\n\n// please do not throw away`;\n\nconst BUTTON_WAMPA = \"data:image/gif;base64,R0lGODlhWAAhAIMAAP////39/fDw8MbGxnH/XY+Tjnp6ekmdPj1+NGFhYTpeNTJAMBweHBERERAQEAAAACH/C05FVFNDQVBFMi4wAwEAAAAh+QQIFgAAACwAAAAAWAAhAAAI/wAdCBxIsKDBgwgTKlzIcCGAhxAjSpxIsaLFixgzUmwgEEDDjyBDikzI0YHHkShTqixY8uTKlzAbthwoYIHAAQkWACggsEAABgUAJAAQQEACgTp5GiwwwEECAQOaKghgICKDmAdn3jzqAKcBAQJ6BkgwQCiABgUEcPwa1iADowIMJAiwIKrABlFLYiWotevTp3UN0HXAlKnZBl85DhBs06BgAVejDnbAeK/BvgXS+nxb92hmAUGHFj3aoCbOgwwCKB3a1MEC0JYvdxxoYADTmhB5fq46VK/Oh0oLpoUs0OhN4rH5zhY49+nipk8J82RwmDb0sNQNCHxLVrsD40O5JvIf2FcBAAZRbbsGsCCzA+q9B6rXuSB7z+tXjQeFeHV83/EAjvRfgATKtFyBCC40YIIMKmdSgxCydGCEEC5IIYJ9HeCAAjYdoICHHB5AgIYDHbCAhw54KKKGCBBAQGN7uUgAQS4hlKGL9SmAwAEIhNjAAf2liECPDOh4wI8MtEhAkDHJ6OSMCh6oIYcKuGjilUiW6JoCVY6IJAIwxvikjFE+KNCUJ7qm4ZUjEqThAh+q2aaSYcI0JpkKWXghSHdCSdKEe6qEZ56ABkqgnoYmh2iili3KKFaOPgpTpJKuVFIDmGaq6aacdurpp6CGKqqnlTIYEAAh+QQIFgAAACwAAAAAWAAhAIP////m/1Vx/13n5+fHybuorJOUn1GBg3dsckpcX0s9QC8dHhwREREQEBAAAAAAAAAI/wAbCBxIsKDBgwgTKlzIcCGAhxAjSpxIsaLFixgzUmQgEEDDjyBDikzIsYHHkShTqixY8uTKlzAbthw4QIFAAgkUACggsACABT4TPByAQKBOngYLEGiQYAABnkIPRFwQ8+BMgQMSYE1wYMCAngCahgXAQCrHrl8NLsg64IBQBU8FMvBasirBqw1wsoUr1aZSpWPLks3b96DUARwJEABgs0Fhuyw7DixQYIDPBYwJHGhAeedYAEQbMMi8WS2A0kKXNjgK2SDeA08J1ITIs0BXqULr6nyItCBaqg1C5x0AvPVAvEKbal7alPNmzLkHwmb6dXRp6G23Mg1rPLLJgUKBKuN+zth2A+iDb5JXYL0nc+LBtUqFWLw13u74R97Pz1+m5P4AMrRfgATe9V+BCB53YIIIDsgggHgZ0AACNhmQgIU5GRCAhAMZoICFDViooYQIBBBAY90JoCJBLhn4nUAanrhAAggYgECGDHjYIQI3zlhjjgqUGEB9kKlopJEIRThhkCZ66CSQHa5GY5NAUsjfkVhadSCJH64moZMbEiShAhd6GaaQKLaG5ZFavvggTGuu6NqCb8aEZJst1tmfg3p2x2ef9tEJqJ+CDhqom4YSKhoDjDbq6KOQRirppJRWammkiRIYEAAh+QQIFgAAACwAAAAAWAAhAIP////9/f3w8PDGxsZx/12Pk456enpJnT49fjRhYWE6XjUyQDAcHhwREREQEBAAAAAI/wAdCBxIsKDBgwgTKlzIcCGAhxAjSpxIsaLFixgzUmwgEEDDjyBDikzI0YHHkShTqixY8uTKlzAbthwoYIHAAQkWACggsEAABgUAJAAQQEACgTp5GiwwwEECAQOaKghgICKDmAdn3jzqAKcBAQJ6BkgwQCiABgUEcPwa1iADowIMJAiwIKrABlFLYiWotevTp3UN0HXAlKnZBl85DhBs06BgAVejDnbAeK/BvgXS+nxb92hmAUGHFj3aoCbOgwwCKB3a1MEC0JYvdxxoYADTmhB5fq46VK/Oh0oLpoUs0OhN4rH5zhY49+nipk8J82RwmDb0sNQNCHxLVrsD40O5JvEf2FcBAAZRbbsGsCCzA+q9B6rXuSB7z+tXjQeFeHV83/EAjvRfgATKtFyBCC40YIIMKmdSgxCydGCEEC5IIYJ9HeCAAjYdoICHHB5AgIYDHbCAhw54KKKGCBBAQGMFukgAQS5l6GJ9CiBwAAIhNnBAfykiwCMDOR7gIwMtEgBkgDI2OSN5B2rIoQIummjlkSW6pgCVIx6JAIwxOikjlA8KJOWJrmlo5YgEabjAh2mymSSYAIo55l0TXoiVnU86YKGee7rooEuAYphnoQH+iWhsii66V6OOxgRppC+V1MClmGaq6aacdurpp6CG2imlDAYEACH5BAgWAAAALAAAAABYACEAg////+b/VXH/Xefn58fJu6isk5SfUYGDd2xySlxfSz1ALx0eHBERERAQEAAAAAAAAAj/ABsIHEiwoMGDCBMqXMhwIYCHECNKnEixosWLGDNSZCAQQMOPIEOKTMixgceRKFOqLFjy5MqXMBu2HDhAgUACCRQAKCCwAIAFPhM8HIBAoE6eBgsQaJBgAAGeQg9EXBDz4EyBAxJgTXBgwICeAJqGBcBAKseuXw0uyDrggFAFTwUy8FqyKsGrDXCyhSvVplKlY8uSzdv3oNQBHAkQAGCzQWG7LDsOLFBggM8FjAkcaEB551gARBswyLxZLYDSQpc2OArZIN4DTwnUhMizQFepQuvqfIi0IFqqDULnHQC89UC8QptqXtqU82bMuQfCZvp1dGnobbcyDWs8ssmBQoEq4n7O2HYD6INvkldgvSdz4sG1SoVYvDXe7vhH3s/PX6bk/gAytF+ABN71X4EIHndggggOyCCAeBnQAAI2GZCAhTkZEICEAxmggIUNWKihhAgEEEBjdgmgIkEuIRShiQoskAACBiCQIQMedoiAjTLSiKMCJQZQH0wqFlmkgAeSCKSJHjb5Y4erzcjkjxQaZ+SVC0U44YerSdjkhgRJqMCFXYIZJIoxXWlklgs+OJKaKyrkoJtvxilnm3TyN2eexu3JJ2R+/llVoILCRGihK5XEwKKMNuroo5BGKumklFYaKaIEBgQAOw==\";\nconst BUTTON_SMOLPUB = \"data:image/gif;base64,R0lGODlhWAAhAIMAAP//////zPn5/Obm7tbW1rGx04qKt3Jym09Ppi4ukxUVdhEREQgImMwAAAAAqgAAACH/C05FVFNDQVBFMi4wAwEAAAAh+QQIFgAAACwAAAAAWAAhAAAI/wAJCBxIsKDBgwgTKlzIcCGAhxAjSpxIsaLFixgzUlwgEEDDjyBDikzIkYBHByhTqlzJsqXLlzBjylRJoORJjThz6twp0UHNjgQcPBSAwAGCAUWJOhAAwICDBAMEOChQsQDKBFQNIABg1elTqjx1+rQZ9KHVAQQKFC2QYOlZBAikgp1oVYDTplu7Jmi6N2zOsUCFcp36EEECA23t7q1LmGLdu1oHI8br9+9Pk2UB2H1KAK7RpZEZz5Vo9SvlrilHV74IGLPgoXARGGDwePHSxnSXQgztYPLd1Rlb3+RaAGkC2QAGuHWANC5uzb0HMzXLHPHkusAxCs+M9Cty5UydQv+VmpKpVAPSISrF6pUB+uysLw+HT7/+9tf186++r79/Zf7+BSiWfJkJ6F8DCCaoIIIPAWhgfwgGIOGEEjIIgIMRGWDSTgYM8NABCwjYQAAjUhhhAw0S+NoBwHUIEYsBllgiiROieKGKHz7wgAAFPEAAYiF2qOGLmh1QwAILHKDAAkyxeCSTT0632owjzkhiimStuNuPBRwQlQHvfXjAAQQcoKORRgJwgABktlmmlJVZaeWVN2b54o5mPuCll2pu+BCYCvC4gJ4JMNnUA1FGmd2cFNKJoUUH9FVZj5JO2WijNj76IH2MmohlYJtCuOCon7oW6qk94YjqqpquauB9M8UkKuustLJE4Ei45qprQSUh6euvwAYr7LDEFmvsscTuquyyuQYEACH5BAgWAAAALAAAAABYACEAg/////n5/Obm7tbW1r293KSkyoqKt3Jym09Ppi4ukxUVdhEREQgImMwAAAAAqgAAAAj/AAcIHEiwoMGDCBMqXMhwIYCHECNKnEixosWLGDNSXCAQQMOPIEOKTMhxgEcHKFOqXMmypcuXMGPKVDmg5EmNOHPq3CnRQc2OAxw8DIDAAQIBRYk6CADAgIMEAgI4IFCRAMoEBZoiAFDAgdOnVHnq9Gkz6MOuAggUKEogwVKrSBFIDTvRagCnWrl6TdCUr9icZIEK1RsWQQIDbu/y7Tq36lK8BrZ2RZz3L87AJs0CuPt0AIKiSSPrbUzR6tOsoienpGsZI+abEIl+NsCAMWXGUx0zfZh6r97WGl9rLlAAaQIEBgAIeOsgLumhDrLahYgW8e2lwF3/zDwYKVjkyrE7/4UqNSVTqdKxDy2agMBXBsmzXxQ+WL79+/Tv65eff7//v/39JyBg28E24H8NJKjgggk+FOCB+zVIkYQPQmSASTsZIMBDBywwYAMAgBhRgyIGeABwGkJ0ooAiihgiRCUWqNkBDzwQAAEPDICYhxpeqOJmBxCwwAIHKLAAUycKeWQBQ+7WmosguvgiACZaqCMBB0RVQHwcHhAkjQ8cUECQABwQwAEDoKmmk5ZJKeWUJtoIZpZZlokhbwYocOMCYSZwZFMPMLlkk9m9KVGMZdV30QF+WYZjo09ehKhgECIoqYMyKlqpfQx2Oil3m4baU6ailkolqaaGSt9MrLbq6qssyR440qy01lpQSUPmquuuvPbq66/ABivsr7YWayytAQEAIfkECBYAAAAsAAAAAFgAIQCD///////M+fn85ubu1tbWsbHTioq3cnKbT0+mLi6TFRV2ERERCAiYzAAAAACqAAAACP8ACQgcSLCgwYMIEypcyHAhgIcQI0qcSLGixYsYM1JcIBBAw48gQ4pMyJGARwcoU6pcybKly5cwY8pUSaDkSY04c+rcKdFBzY4EHDwUgMABggFFiToQAMCAgwQDBDgoULEAygRUDSAAYNXpU6o8dfq0GfSh1QEEChQtkGDpWQQIpIKdaFWA06ZbuyZoujdszrFAhXKd+hBBAgNt7e6tS5hi3btaByPG6/fvT5NlAdh9SgCu0aWRGc+VaPUr5a4pR1e+CBiz4KFwERhg8Hjx0sZ0l0IM7WDy3dUZW9/kWgBpAtkABrh1gDQubs29BzM1yxzx5LrAMQrPjPQrcuVMnUL/lZqSqVQD0iEqxeqVAfrsrC8Ph0+//vbX9fOvvq+/f2X+/gUolnyZCehfAwgmqCCCDwFoYH8IBiDhhBIyCICDERlg0k4GDPDQAQsI2EAAI1IYYQMNEvjaAcB1CBGLAZZYIokTonihih8+8IAABTxAAGIhdqjhi5odUMACCxygwAJMsXgkk09Ot9qMI85IYopkrbjbjwUcEJUB7314wAEEHKCjkUYCcIAAZLZZppSVWWnllTdm+eKOZj7gpZdqbvgQmArwuICeCTDZ1ANRRpndnBTSiaFFB/RVWY+STtloozY++iB9jJqIZWCbQrjgqJ+6FuqpPeGI6qqarmrgfTPFJCrrrLSyROBIuOaqa0ElIenrr8AGK+ywxBZr7LHE7qrssrkGBAAh+QQIFgAAACwAAAAAWAAhAIP////5+fzm5u7W1ta9vdykpMqKirdycptPT6YuLpMVFXYREREICJjMAAAAAKoAAAAI/wAHCBxIsKDBgwgTKlzIcCGAhxAjSpxIsaLFixgzUlwgEEDDjyBDikzIcYBHByhTqlzJsqXLlzBjylQ5oORJjThz6twp0UHNjgMcPAyAwAECAUWJOggAwICDBAICOCBQkQDKBAWaIgBQwIHTp1R56vRpM+jDrgIIFChKIMFSq0gRSA070WoAp1q5ek3QlK/YnGSBCtUbFkECA27v8u06t+pSvAa2dkWc9y/OwCbNArj7dACCokkj621M0erTrKInp6RrGSPmmxCJfjbAgDFlxlMdM32Yeq/e1hpfay5QAGkCBAYACHjrIC7poQ6y2oWIFvHtpcBd/8w8GClY5MqxO/+FKjUlU6nSsQ8tmoDAVwbJs18UPli+/fv07+uXn3+//7/9/ScgYNvBNuB/DSSo4IIJPhTggfs1SJGED0JkgEk7GSDAQwcsMGADAIAYUYMiBngAcBpCdKKAIooYIkQlFqjZAQ88EAABDwyAmIcaXqjiZgcQsMACByiwAFMnCnlkAUPu1pqLILr4IgAmWqgjAQdEVUB8HB4QJI0PHFBAkAAcEMABA6CpppOWSSnllCbaCGaWWZaJIW8GKHDjAmEmcGRTDzC5ZJPZvSlRjGXVd9EBflmGY6NPXoSoYBAiKKmDMipaqX0Mdjopd5uG2lOmopZKJammhkrfTKy26uqrLMkeONKstNZaUElD5qrrrrz26uuvwAYr7K+2FmssrQEBADs=\";\nconst BUTTON_OLDWARE = \"data:image/gif;base64,R0lGODlhWAAhAIMAAP////b39/vSWZ7I/0b/nOS9SrKqj7SYRf9OeoiEc2VgUEBDRxskOhAbNREREQAAACH/C05FVFNDQVBFMi4wAwEAAAAh+QQIFgAAACwAAAAAWAAhAAAI/wAbCBxIsKDBgwgTKlzIcOGAhxAjSpxIsaLFixgzUnQgcEDDjyBDikzIsYHHkShTqixY8uTKlzAbtiR4oEABBg0ELBioQECBAwwK7GxwQEGDBQIONOjpcydSAT5jjpwpEOmCA0p18ryJVahArwpsLi1AVClSnFKndtw6NufQtmGLFgi7s6gABmHLHr2bVq3JgViXCnDLtmfXA3x1zmV6cy9UpX0FApg8+SBVuGS1CswbNq7Yp0npCjB6NvJAAAhSpwZg8LLVwJrHMsDaMyxZBUo7kw1c2jRq1apZE7xM1OZOqFDx+gR6NnBgBqPJWgVNNu1v4MGHrzXN3eB17NkFEujv3v07ggbYhTcYT9438IHA1bNv39c8+vgD59OXah68/O37cddfeOIBGKB7/rEEoAEAGNCAAQwkYEACCbyVQGUBTJYAQQaQliEDHTZwIWsTVgiTeerltyCILEpI4VsiomXiQBFuaMACAShAoUAJ4FQijCpRVllrCzb44AISLnAjQT3yCOOFAYCIJINRxnjkkvtdBmGFOA7g4AAWDjmjQA4qoACOAZSpY2VfAtmdfgceCGecWRpI50oE5KnnnnzmuZ6dd8oJaKB1/kUonXMealqiivZVkgOQRirppJRWaumlmGaqqaWNEhoQACH5BAgWAAAALAAAAABYACEAg/////b39/vSWZ7I/0b/nOC+W7yiU3ul04iDcm1oVk5OSjE2QBYgNxAbNREREQAAAAj/ABsIHEiwoMGDCBMqXMhw4YCHECNKnEixosWLGDNSdCBwQMOPIEOKTMixgceRKFOqLFjy5MqXMBu2JIhAgIEFDAQoGJhAQIGbAhYINJCgwQKbDXr63KlAgNMCMUfOFNh0gQEDOXcKTFCAwdUCWsEmLQCVq1cDDZoyiIpyalK0ZnXyLGuTq4ICQokGNXs1rYC1bEW67atW7laoTfXWZJDTagKleP06RRB4IIDLlw+6TQC3q+GxSQVw/Sq5Ll65aitbJsCaNQCDbqtezTr3bM+7ZdHe5dqA8F/VDQC0Hv6aoNsGNW/mdPq3588FstESNSoa6lHozKGyFT6cuPGOwMMX+OTe3bvA4+KBk2fdoHvxBujTV14/0Dx88PLDryfQ3n78/FHtV957/wEYk4CtvXefSQbqVx4BCi7o0gEAeHQAAwgcgEACWiF3GQMBXEbZQAcUpUCIC5ToIQAMaMghTPtFKCGJLdaY4YYdIieUjgQtkABlBywQwGMjIiCUizmqhFlmsOHXAIUH6JihAgfkaKRAVw6EAAABtOjjll3yWGWVALp1IQIKnDhAlAN0uCWLPJKYFocBBBClAj9+yGaS4RXYYJlO/imon4KGdMChiCaq6KEzFjpooI4CymCkDRJKaWWWXspWSQ506umnoIYq6qiklmrqqaNqWmhAACH5BAgWAAAALAAAAABYACEAg/z9/f/STfXOWp7I/9i6YVWq/7WcUZKWn314ZG1nUFZTRUJFTB4nOxAbNREREQAAAAj/ABsIHEiwoMGDCBMqXMhw4YCHECNKnEixosWLGDNSdCBwQMOPIEOKTMixgceRKFOqLFjy5MqXMBu2JIhAgAEGDQIoGJgggE0GAhYINJCgwYIABhr0DEBgp4IAUAnEHDlT4FMGBpLq5CkAq4GmAsEmICB1bIOsDZ5OTVlVaVkBOXcKTACXLlEBCrqe7cnALFq1a6l2HPg3QFyuaZHWRBAAZ4AFRJfqfQo1aWCBADJnPtjWLN3Dc+sKGPsV7tHKY486NXx5IIACsGEDMNj2Ktqtob32VEBWadK8fn+zbv06duzZBNueFUDAMdTGPX/aTmoAQQMGAcweXUCZaeDixo8n7B/curxB8OHFC1Ru3jz6Ag3CI2/Avj1x4wONz69v/3v4+PoNxF9/U72X3n7kEViegeqtl6CC9x3IUoIHAODRAQwgcAACCAglEAKbaXYAQRsalRkDJYI424YdwvTefAJSiOKMGm7ooUAY4ojTQBmOeMACACSgoY4NHGBjTJptRhuFAPi4gJFP3ljkjjkOpCKKC2h44pRFRqlgWxj+COQAIw5wo4pEDjSiAh1auCaHm5UpZXsDQghhnXYSiGeeIT3n559/0vcgn3buSWh5hh56WaKKrsVoozGV5MCklFZq6aWYZqrpppx2mimkhwYEACH5BAgWAAAALAAAAABYACEAg////+7v8f/STZ7I/+K8Sq+okJuQa3dzY8ZXY2NfT0tMSiwzQhUgNxAbNREREQAAAAj/ABsIHEiwoMGDCBMqXMhw4YCHECNKnEixosWLGDNSdCBwQMOPIEOKTMixgceRKFOqLFjy5MqXMBu2JGiAAIEFDAQoGJhAAAEDCwQsEEggQQMFAgw06OlzJ1IBPmOOnCkQ6QIDBnLuFJiAAIOfBLaGbXDA5lKvNY8KYCAVJVWyBM5q5Rm3a9G7Q4sK7cogLVK2bUW+TdtzLte6SQ8kXau1KNObaqEqDSwQgGXLB9+WlauT7tmyNeM+Tdo1qNG/lAcCgMoagMG3VrEalvuzpwKzm7t2beB3beoGq1m3ZtmRpk2cwhn0/LkgtlICBxoE3YxUwei4bYMLHz7w7e/vlbeL+Hct0Dv439qhNthOvoH585TTDxTe/j387NvX0+9e/D568ezxZ5J/36UXoIAuERgfgO2V118DBQBQAIQMHFDAAQdsRZZlDARg2WQCXXiUhwuIeACHF2YIk4ENOjhgiAwUEGOFBRig4kAFDMWbjgItgCGECwCQwI9AQmijhitdhtlrD0Y4YY4FFKCAlATlKBBQBJ0YQIw+RrhlkVJSed9bMhpgXQADTDiAhicCwBaWOC6VYQABTDhkmzGahCR49ilIYJ9+jvlgoCshYOihiCZqqHuDEvpno44K+mKkj05KqaQJXnpeSQ506umnoIYq6qiklmrqqaNqSmhAADs=\";\nconst BUTTON_RAWPROOF = \"data:image/gif;base64,R0lGODlhWAAhAIMAAP///+7u7ufn69HR2MfH18DAwLKyv4+PqnV1oFFReS8vTRoaGhERrxEREQAAAAAAACH/C05FVFNDQVBFMi4wAwEAAAAh+QQIFgAAACwAAAAAWAAhAAAI/wALCBxIsKDBgwgTKlzIcCGAhxAjSpxIsaLFixgzUmwgEEDDjyBDikzIsYDHkShTqixY8qSDlzBjypxJs6bNmzhzvhTYUqCDAAEOvFxgIEABBwmAcgSq4ADQpwaGHhDqgCjQBA0UDAiAVevRoU/Dih1L9qkDnh19Aj2wQEACBQEQLFgA1GoAu1AdCEDQgK1buFEJJEgQePDRrWUTKwZ6tkDPo2vbvg2gAIGDrU37LiAgNupezX/jwj3QAMFojpcXqybb+PHPoC8bDBDAsSlXrAn0dpZKVTbX0UiBf0W6uniA1mkhB11w9EDUl0nlvm0w1nPk5qKDlj592Lhx5CbVLv//bXq8ULZ0dwuI/DtA1AFv37/t7n01eJfsjypIOsABAflwqZffWVxltVVXA9BX32L3ibfggxA+2KByEVZooWITvnbhhhweh1Z4FHYoIoQZjmiihB/id+KKxZXI4ovHzcRYiuIh4J4BBzDAQI4MEGDjXlDpGAABOiIgwAE+6jiAkjxyxiFNMzqW3GsG+LgeAgPwuBcCzj011ZUDIGAkkkaK6aSWHULpoZQgvnakjXFl6SSXCDgJVJh4HoBlnQgwYOZadj4p45quPYVAUTw26ZyRhuooAJE9CjmmAUzqGKiFaroI44qZ0hjipiN2yqaKoJZK6JSmmpqhTqy26uqrMXkoutKstDb0WK245krQrbr2SmtJDQQr7LDEFmvsscgmq+yyx/rqrK4BAQAh+QQIFgAAACwAAAAAWAAhAIP////u7u7t7e3j4+fLy9fAwMCysr+Pj6p1daBRUXkvL00aGhoREa8REREAAAAAAAAI/wALCBxIsKDBgwgTKlzIcCGAhxAjSpxIsaLFixgzUmwgEEDDjyBDikzIsYDHkShTqixY8qSDlzBjypxJs6bNmzhzvhTYUqCDAAEOvFxgIEABBwmAcgSq4ADQpwaGHhDqgGgAAQkaKCCAVSuBo0Ofih1LtuxTBzw7+gR6YAFWBQEQLFgA1GoAu1AdDEDQoO3bAFEJJEgQePBRAmYTKz6b1uTaoG4TwFWAwAHipn0XIBYbdW/mvwjgHmgQOihHy4tTl0VboOdRti8bcOXYNMDgBgn0jo1adWpsxJKDIhWNFmZS1chZu/4J+egB3kjjLpDcgGxUAWwXOI8rmnT3w8jDB/9QrvY1ZNuURdMV2pbubgfYzwcvrIA+ePGqyTs239aoAwVJEWAZfdbBl51/BXS1lYJfoYZfavq59OCEFFYY4WMVZqihYheat+GHII7XmIQhlphhh8yZqCJ+KK7oYngtvigjhyM+hoAABhhwAAMM7MgAAQgEsBdUPALGIwIDHAAkjwQw6eNmMsZoAJDYIenjXgg899RUA8QFpJVAYllUUDx2OWOMSQYZV5KbZYkAlAGE+eYBb9bJAAIIjKnkjIy1Vl6KeZLZo5MGIPkUAmUawKOiDAhgJaMEPMlnjHxW2udylmYqop/7pajpmTV6+GmUoepk6qmopipTqCu16mpDrr0gKuusBMVK662ultTArrz26uuvwAYr7LDEFhssrsjSGhAAIfkECBYAAAAsAAAAAFgAIQCD////7u7u5+fr0dHYx8fXwMDAsrK/j4+qdXWgUVF5Ly9NGhoaERGvERERAAAAAAAACP8ACwgcSLCgwYMIEypcyHAhgIcQI0qcSLGixYsYM1JsIBBAw48gQ4pMyLGAx5EoU6osWPKkg5cwY8qcSbOmzZs4c74U2FKggwABDrxcYCBAAQcJgHIEquAA0KcGhh4Q6oAo0AQNFAwIgFXr0aFPw4odS/apA54dfQI9sEBAAgUBECxYANRqALtQHQhA0ICtW7hRCSRIEHjw0a1lEysGerZAz6Nr274NoACBg61N+y4gIDbqXs1/48I90ADBaI6XF6sm2/jxz6AvGwwQwLEpV6wJ9HaWSlU219FIgX9Furp4gNZpIQddcPRA1JdJ5b5tMNZz5Oaig5Y+fdi4ceQm1S7//216vFC2dHcLiPw7QNQBb9+/7e59NXiX7I8qSDrAAQH5cKmX31lcZbVVVwPQV99i94m34IMQPtigchFWaKFiE7524YYcHodWeBR2KCKEGY5oooQf4nfiisWVyOKLx83EWIriIeCeAQcwwECODBBg415Q6RgAAToiIMABPuo4gJI8csYhTTM6ltxrBvi4HgID8LgXAs49NdWVAyBgJJJGiumklh1C6aGUIL52pI1xZekklwg4CVSYeB6AZZ0IMGDmWnY+KeOarj2FQFE8NumckYbqKACRPQo5pgFM6hiohWq6COOKmdIY4qYjdsqmiqCWSuiUppqaoU6sturqqzF5KLrSrLQ29FituOZK0K269kprSQ0EK+ywxBZr7LHIJqvsssf66qyuAQEAIfkECBYAAAAsAAAAAFgAIQCD////7u7u7e3t4+Pny8vXwMDAsrK/j4+qdXWgUVF5Ly9NGhoaERGvERERAAAAAAAACP8ACwgcSLCgwYMIEypcyHAhgIcQI0qcSLGixYsYM1JsIBBAw48gQ4pMyLGAx5EoU6osWPKkg5cwY8qcSbOmzZs4c74U2FKggwABDrxcYCBAAQcJgHIEquAA0KcGhh4Q6oBoAAEJGigggFUrgaNDn4odS7bsUwc8O/oEemABVgUBECxYANRqALtQHQxA0KDt2wBRCSRIEHjwUQJmEys+m9bk2qBuE8BVgMAB4qZ9FyAWG3Vv5r8I4B5oEDooR8uLU5dFW6DnUbYvG3Dl2DTA4AYJ9I6NWnVqbMSSgyIVjRZmUtXIWbv+CfnoAd5I4y6Q3IBsVAFsFziPK5p098PIwwf/UK72NWTblEXTFdqW7m4H2M8HL6yAPnjxqsk7Nt/WqAMFSRFgGX3WwZedfwV0tZWCX6GGX2r6ufTghBRWGOFjFWaooWIXmrfhhyCO15iEIZaYYYfMmagifiiu6GJ4Lb4oI4cjPoaAAAYYcAADDOzIAAEIBLAXVDwCxiMCAxwAJI8EMOnjZjLGaACQ2CHp414IPPfUVAPEBaSVQGJZVFA8djljjEkGGVeSm2WJAJQBhPnmAW/WyQACCIyp5IyMtVZeinmS2aOTBiD5FAJlGsCjogwIYCWjBDzJZ4x8VtrncpZmKqKf+6Wo6Zk1evhplKHqZOqpqKYqU6grtepqQ669ICrrrATFSuutrpbUwK689urrr8AGK+ywxBYbLK7I0hoQADs=\";\n\nfunction esc(value: unknown): string {\n return String(value)\n .replaceAll(\"&\", \"&\")\n .replaceAll(\"<\", \"<\")\n .replaceAll(\">\", \">\")\n .replaceAll('\"', \""\")\n .replaceAll(\"'\", \"'\");\n}\n\nfunction parseProofmark(source: string): ParsedArticle {\n const proofs: Record = {};\n const withoutProofs = source.replace(\n /:::hypolink\\s+([a-z0-9-]+)\\n(\\{[\\s\\S]*?\\})\\n:::/g,\n (_full, id, json) => {\n proofs[id] = JSON.parse(json) as Proof;\n return \"\";\n },\n );\n const chunks = withoutProofs.split(/\\n\\s*\\n/).map((s) => s.trim()).filter(Boolean);\n const title = chunks.shift()?.replace(/^#\\s+/, \"\") ?? \"Untitled\";\n const dek = chunks.shift()?.replace(/^>\\s+/, \"\") ?? \"\";\n return { title, dek, paragraphs: chunks, proofs };\n}\n\nfunction statusLabel(status: Proof[\"status\"]): string {\n return ({ observed: \"observed\", inferred: \"inferred\", \"needs-check\": \"needs check\", contested: \"contested\" })[status];\n}\n\nfunction renderLinks(text: string): string {\n const pattern = /\\[([^\\]]+)\\]\$(https?:\\/\\/[^)\\s]+)\$/g;\n let cursor = 0;\n let html = \"\";\n for (const match of text.matchAll(pattern)) {\n const index = match.index ?? 0;\n html += esc(text.slice(cursor, index));\n html += '' + esc(match[1]) + '';\n cursor = index + match[0].length;\n }\n return html + esc(text.slice(cursor));\n}\n\nfunction renderInline(text: string): { html: string; ids: string[] } {\n const ids: string[] = [];\n const tokenPattern = /\\[\\[([^\\]]+)\\]\\]\\{([a-z0-9-]+)\\}/g;\n let cursor = 0;\n let html = \"\";\n for (const match of text.matchAll(tokenPattern)) {\n const index = match.index ?? 0;\n html += renderLinks(text.slice(cursor, index));\n const label = match[1];\n const id = match[2];\n ids.push(id);\n html += '';\n cursor = index + match[0].length;\n }\n html += renderLinks(text.slice(cursor));\n return { html, ids };\n}\n\nfunction proofField(label: string, value: string, className = \"\"): string {\n return '

' + esc(label) + ': ' + value + '

';\n}\n\nfunction renderProof(id: string, proof: Proof): string {\n let html = '

';\n html += proofField('id', esc(id));\n html += proofField('claim', esc(proof.claim));\n html += proofField('status', esc(statusLabel(proof.status)));\n html += proofField('confidence', esc(proof.confidence));\n html += proofField('as_of', esc(proof.as_of));\n html += proofField('note', esc(proof.note));\n (proof.figures ?? []).forEach((f, index) => {\n html += '

';\n html += proofField('figure ' + (index + 1), '');\n html += proofField('value', esc(f.value));\n html += proofField('measure', esc(f.measure));\n html += proofField('source', esc(f.source));\n if (f.note) html += proofField('note', esc(f.note));\n html += '

';\n });\n proof.sources.forEach((s, index) => {\n html += '

';\n html += proofField('source ' + (index + 1), '');\n html += proofField('title', esc(s.title));\n html += proofField('author', esc(s.author));\n html += proofField('published', esc(s.published));\n html += proofField('accessed', esc(s.accessed));\n html += proofField('URL', '' + esc(s.url) + '');\n html += proofField('locator', esc(s.locator));\n html += proofField('relation', esc(s.relation));\n html += proofField('quote', esc(s.quote));\n html += '

';\n });\n proof.caveats.forEach((c, index) => { html += proofField('caveat ' + (index + 1), esc(c)); });\n html += proofField('raw record', 'article.proof.md');\n html += '

';\n return html;\n}\n\nfunction renderArticle(parsed: ParsedArticle): string {\n return parsed.paragraphs.map((paragraph) => {\n const rendered = renderInline(paragraph);\n const cards = rendered.ids.map((id) => parsed.proofs[id] ? renderProof(id, parsed.proofs[id]) : '').join(\"\");\n return '

' + rendered.html + '

' + cards + '

';\n }).join(\"\");\n}\n\nfunction page(parsed: ParsedArticle): string {\n const rawJson = JSON.stringify(ARTICLE_PROOFMARK).replaceAll(\"<\", \"\\\\u003c\");\n return `\n\n${esc(parsed.title)} / hypolink lab\n\n

HYPOLINK 0.7

=======================================================================

${esc(parsed.title)}

${esc(parsed.dek)}

${renderArticle(parsed)}

=======================================================================

[raw .proof.md] [parsed json] [format spec] [schema]

$\"wampa.xyz\"$ $\"smol.pub\"$ $\"old$ $\"raw$

article.proof.mdopen in new tab

\n`;\n}\n\nexport default function handler(req: Request): Response {\n const url = new URL(req.url);\n const pathname = url.pathname;\n if (pathname === \"/health\") {\n return Response.json({ ok: true, app: \"hypolink-lab\", version: \"0.7.0\", claims: 5 });\n }\n if (pathname === \"/proofmark-spec.md\") {\n return new Response(FORMAT_SPEC, { headers: { \"content-type\": \"text/markdown; charset=utf-8\", \"content-disposition\": 'inline; filename=\"PROOFMARK_SPEC.md\"' } });\n }\n if (pathname === \"/proofmark.schema.json\") {\n return new Response(PROOFMARK_SCHEMA, { headers: { \"content-type\": \"application/schema+json; charset=utf-8\", \"content-disposition\": 'inline; filename=\"proofmark.schema.json\"' } });\n }\n if (pathname === \"/article.proof.md\") {\n return new Response(ARTICLE_PROOFMARK, {\n headers: {\n \"content-type\": \"text/markdown; charset=utf-8\",\n \"content-disposition\": 'inline; filename=\"cd-preservation.proof.md\"',\n \"cache-control\": \"public, max-age=300\",\n },\n });\n }\n if (pathname === \"/api/article\") {\n return Response.json(parseProofmark(ARTICLE_PROOFMARK));\n }\n const parsed = parseProofmark(ARTICLE_PROOFMARK);\n return new Response(page(parsed), {\n headers: {\n \"content-type\": \"text/html; charset=utf-8\",\n \"cache-control\": \"public, max-age=60\",\n \"x-content-type-options\": \"nosniff\",\n \"referrer-policy\": \"strict-origin-when-cross-origin\",\n },\n });\n}\n",[58],{"_34":57,"_13":58,"_37":59,"_39":-5,"_40":41,"_42":60,"_44":45,"_46":72,"_17":62,"_49":63,"_51":64,"_53":54,"_55":14,"_69":73,"_18":74},{"_34":35,"_13":36,"_37":38,"_39":-5,"_40":41,"_42":43,"_44":45,"_46":68,"_17":48,"_49":50,"_51":52,"_53":54,"_55":-5,"_69":70,"_18":71},["D",1787265859105],"children",[],[36],["D",1787370531714],[],[58],"ecab9042-1cbe-48ed-9e77-7ccd5d9cf8ea",["D",1787262704216],"deletedAt","legacyEnvVars","privacy","public","httpPrivacy","description","Nearby claim-evidence links in one plaintext document","imageUrl","userId","4014c640-61ba-11f0-852d-15ceec715ebe","pinnedFileId","pinPreview","pinMigrated","screenshotVersion","likeCount","orgId","4014c641-61ba-11f0-852d-15ceec715ebe","tursoName","tursoHostname","tursoMeasuredAt","pinned","userPerm","r","valPerm","blobPerm","rw","emailPerm","sqlitePerm","projectPerm","telemetryPerm","user",{"_11":12,"_128":124},"org",{"_11":12,"_122":-5,"_123":124,"_85":86,"_125":126,"_127":54},"branch",{"_17":60,"_13":16,"_34":41,"_114":75,"_115":-5,"_116":-5,"_117":-5,"_118":-5,"_119":-5,"_120":14,"_121":12},"isOwned","projectId","forkedBranchId","forkedBranchVersion","forkedProjectPrivacy","forkedProjectId","forkedProjectOrgId","projectName","userHandle","displayName","avatar","https://img.clerk.com/eyJ0eXBlIjoiZGVmYXVsdCIsImlpZCI6Imluc18yTm10cGhQUklwU0tqZHNiOHNnNGd2ZjJURFUiLCJyaWQiOiJ1c2VyXzJ6dlV1b1h4VzRxbTBVblhueldOUjc4R3N1ViJ9","tier","free","canRestrictVals","profileImageUrl","adoptOrgId",{"_34":75,"_13":14,"_46":167,"_77":-5,"_78":54,"_79":80,"_81":80,"_82":83,"_84":-5,"_85":86,"_87":59,"_88":45,"_89":-5,"_90":-5,"_91":48,"_92":93,"_94":-5,"_95":-5,"_96":-5,"_97":-5,"_98":99,"_100":99,"_101":102,"_103":102,"_104":102,"_105":99,"_106":99,"_107":168,"_109":169,"_111":170,"_113":54},[161,162],"files",[161,162],"counts",{"_151":48,"_152":153,"_154":48,"_31":155,"_156":157},[147,148],"upstreamProject","upstreamBranch","emptyEnvVars","flags",[],"hasHttpFiles","grants","orgs","customDomains",{},{"_34":57,"_13":58,"_37":59,"_39":-5,"_40":41,"_42":60,"_44":45,"_46":61,"_17":62,"_49":63,"_51":64,"_53":54,"_55":14,"_18":150},{"_34":35,"_13":36,"_37":38,"_39":-5,"_40":41,"_42":43,"_44":45,"_46":47,"_17":48,"_49":50,"_51":52,"_53":54,"_55":-5,"_18":149},[36],[58],"pulls","branches",1,"forks",{"_158":48,"_160":48},"connections",{"_158":48,"_159":48},"count","unfilledCount","emptyCount",{"_34":57,"_13":58,"_37":59,"_39":-5,"_40":41,"_42":60,"_44":45,"_46":72,"_17":62,"_49":63,"_51":64,"_53":54,"_55":14,"_69":165,"_18":166},{"_34":35,"_13":36,"_37":38,"_39":-5,"_40":41,"_42":43,"_44":45,"_46":68,"_17":48,"_49":50,"_51":52,"_53":54,"_55":-5,"_69":163,"_18":164},[],[36],[],[58],["D",1787262704216],{"_11":12,"_128":124},{"_11":12,"_122":-5,"_123":124,"_85":86,"_125":126,"_127":54},{"_17":60,"_13":16,"_34":41,"_114":75,"_115":-5,"_116":-5,"_117":-5,"_118":-5,"_119":-5,"_120":14,"_121":12},"ctx",{"_107":-5,"_144":204,"_205":206,"_207":208,"_209":54,"_210":54,"_211":54,"_212":45,"_213":-5,"_214":-7,"_215":-7,"_216":48,"_217":54,"_218":54,"_219":-5,"_220":54,"_221":54,"_222":54,"_223":-5},"ENV",{"_175":176,"_177":178,"_179":16,"_180":181,"_182":183,"_184":185,"_186":187,"_188":189,"_190":191,"_192":193,"_194":195,"_196":197,"_198":199,"_200":201,"_202":203},"REACT_APP_SENTRY_DSN","https://586020d86f05489db63a554690acf1e9@o1398359.ingest.sentry.io/6724499","RENDER_GIT_COMMIT","e87eb04e707cf64e7e532c8e8ec395f209e17f15","RENDER_GIT_BRANCH","POSTHOG_API_TOKEN","phc_nmoyuAkStEZuUp69rYlg1DZgrIt19Gx0Y4Hwf8tGgJP","POSTHOG_API_HOST","https://wart.val.town","WEB_API_TEMPLATE","https://{val}.web.val.run","APP_URL","https://www.val.town","MODULE_URL","https://esm.town","VANITY_WEB_API_TEMPLATE","https://{label}.val.run/","DENOLS_URL","https://lsp.val.town","NODE_ENV","production","CLOUDFLARE_TURNSTILE_SITE_KEY","0x4AAAAAACtaIZJH7s9rBMZ6","GOOGLE_CLIENT_ID","875989696899-jtsqkhlbdv5jrlsk8631p7ipjg3c6o62.apps.googleusercontent.com","STRIPE_PUBLISHABLE_KEY","pk_live_51N2zvWEpZTTLipIkVEwXrUG9AT0yeOOEYxszarZT1jpsZV58Ly6wlg3SltZpHN26CUalOBmUSY7adQRQiSkCZz2500qSXNkf8Y","API_URL","https://api.val.town",[],"preferencesKeybindings","default","preferencesTheme","light","preferencesFixers","preferencesCopilot","preferencesSelectionAi","preferencesCloseBrackets","preferencesChatPanelState","preferencesDprint","preferencesDenofmt","notificationCount","flagDenols","isBusinessOrgMember","businessOrgHandle","isBusinessOrgAdmin","isHigherTownieTier","navCollapsed","currentOrgId"]

Code