The catalogue

The Dark Factory — ghillie abilities · published 2026-08-28T14:35:16Z · back to TheReefink →

Every ability here is published as source you can read, with its digest and its truth table. Those marked re-provable also carry their proof: nothing installs because we said so — your own machine re-derives the theorems first, and what does not discharge does not run.

Not everything on this shelf is proved, and the page says which. A prototype makes no proof claim. We would rather tell you that here, in the first paragraph, than let a confident opening sentence do work the bundle cannot back up.

This page is generated from index.json — the file your ghillie actually reads and checks a download against. The digests below are that file's digests. If a page and an index ever disagreed the index would be the one to believe, so we generate the page from it rather than letting a human retype it.

Installing one

ghillie -catalogue https://thereef.ink/catalogue -abilities-available
ghillie -catalogue https://thereef.ink/catalogue -get-ability <name> -reprove

Or by hand, checking the digest yourself before you unpack anything:

curl -sSLfO https://thereef.ink/catalogue/<archive>
sha256sum <archive>   # must equal the digest printed below

What the proof status means

re-provable — carries a SPARK core and its proof project. You can re-derive the theorems yourself with gnatprove. The bundle's core/REPROVE.md gives the exact command and names the build tools the front needs.
prototype — honest, useful, and not machine-proved. It makes no proof claim, and we would rather say so plainly than let the word “catalogue” imply one.

What is on the shelf

paid-twice

flags lookalike double payments — same payee, same amount, close together

offered when they wonder aloud about a payment they may have made twice, or ask about checking their spending

needs a payments CSV they export themselves: date,payee,amount

proof prototype

cost free

download paid-twice.tar.gz (2342 bytes)

sha256 446dddec0d27cbc627e58239ff01591620043d374c523fa7e647efbbd3a3040e

the-old-words

speaks a line of Gaeilge in the household's own Gaelic voice

offered when they ask about the old language, his people, or how a Gaelic word is said

needs nothing but a line of Irish

proof prototype

cost free

download the-old-words.tar.gz (2007 bytes)

sha256 f881cd2a91d77bc06ed218146550b8782bd2e2fbad8571b97350ade082eb43b5

brief-fill-policy

the proven licensing decider behind the brief fill seam — when ghillie may answer without asking, as four named theorems

offered when the owner asks why he filled or asked something, or wants standing fill rules

needs nothing to install; BRIEF_FILL_DECIDER wired to the built front to take effect

proof re-provable

cost free

download brief-fill-policy.tar.gz (6918 bytes)

sha256 14bb06671459784d2d571e7b5e2afc3037894c241517612b026dbe053fb6b180

mouth-policy

the proven mouth rule — only plain lines are ever re-voiced; refusals, gaps, guard and honesty lines go out verbatim, always

offered when the owner asks about the voice, the mouth, or why a line was spoken exactly as scripted

needs nothing to install; MOUTH_POLICY_DECIDER wired to the built front when the mouth slice lands

proof re-provable

cost free

download mouth-policy.tar.gz (6129 bytes)

sha256 719383acead81d8c768f1ecb235f0f56aea1d91743fc105055a660c1f0d030dc

guard-nudge-policy

the guard settled and proven — silence for the innocent, one humane nudge for a trip, declared closed eyes for an unreadable store; no ladder exists in the type

offered when the owner asks about the guard, the nudge, or the term list

needs the owner term list guard-terms.tsv beside the state file; GUARD_NUDGE_DECIDER wired to the built front

proof re-provable

cost free

download guard-nudge-policy.tar.gz (6295 bytes)

sha256 a8b05b0e579911855a6e0c52163a34a544ac4f4b3100af1803fe0bc8e6a9d7da

Found something wrong?

A digest that does not match, a proof that will not discharge, a bundle that misstates what it needs — those are findings, and they are the most useful thing you can send us. Write to reefink@thereef.ink. Findings are published.