Keel

Keel · Guides · Provenance

Where the screens come from

Every figure on these guides is a real capture of Keel 1.0.0 (build 1), implementation 4cbadaa1c63a0678b61e703583fadc9af226267d, cropped from a sealed evidence package. This page lists each source, the exact operation applied, and the resulting file, so any figure can be reproduced and checked by hash.

Numbered markers are drawn by the page, not into the images. The paywall illustration is the one figure whose image was altered beyond cropping: its price columns are masked, as recorded below.

Record and correct a dose

G1-F1

File
G1-F1-today-overdue-now.png (1320×720); G1-F1-today-overdue-now.webp is a lossy encode of it (cwebp -q 88 -m 6)
Derivative SHA-256
b43fbb324f5abb7986da9e0b846f11e31718e8e645df7d4949db845785022a9b
Source
store-1-today.png in package Keel-V1-4cbadaa-store-listing-20260908-1619
Source SHA-256
08b3a621e026031e63855f09282de94492ab1a74bbe41203f739284ed7f3e3e5
Package seal (SHA-256 of its manifest)
bb6bb8cb8f301a369afef5cc37180914f5d7196376f0be585127f6cb51993aa6
Operation
crop x0 y1215 w1320 h720 (source pixels, origin top-left)

G1-F2

File
G1-F2-dose-expanded-injectable.png (1320×600); G1-F2-dose-expanded-injectable.webp is a lossy encode of it (cwebp -q 88 -m 6)
Derivative SHA-256
25db73e8bb2105572562f0961cb78e0abeb65e4e973ebf622b4c197226f38199
Source
store-2-dose-expanded.png in package Keel-V1-4cbadaa-store-listing-20260908-1619
Source SHA-256
d7cf95fba9d2af169ec03a5d5a4f5d0272440fdfbcdb28d74e4ff8ac5e384166
Package seal (SHA-256 of its manifest)
bb6bb8cb8f301a369afef5cc37180914f5d7196376f0be585127f6cb51993aa6
Operation
crop x0 y1925 w1320 h600 (source pixels, origin top-left)

G1-F3

File
G1-F3-done-row-expanded.png (1320×716); G1-F3-done-row-expanded.webp is a lossy encode of it (cwebp -q 88 -m 6)
Derivative SHA-256
4ff3103d62ff216b8a50c94994f5d72b9fd9b5d546b24c574728cb1affe71673
Source
G1-F3-today-done-expanded-vitamin-d3.png in package Keel-V1-4cbadaa-guide-figures-20260909-1225
Source SHA-256
d86d4d9eb415171ca81d598920971be063db966eca6c1553c3095d26be35007f
Package seal (SHA-256 of its manifest)
520b2e67328e635e6c12a1afcac1f5e5a9c18cb5346a953f8972e7f1e2da6b15
Operation
crop x0 y1810 w1320 h716 (source pixels, origin top-left)

Read the reconstitution calculator

G2-F1

File
G2-F1-calculator-accordion.png (1320×1100); G2-F1-calculator-accordion.webp is a lossy encode of it (cwebp -q 88 -m 6)
Derivative SHA-256
1bf60c0711bc6bc77038d0333049a9feeff1c7cde98c600d7ef2327e6dca40cf
Source
store-5-reconstitution.png in package Keel-V1-4cbadaa-store-listing-20260908-1619
Source SHA-256
66dd2fd0a161e7df974212251a4b177406ab518b3617f8fc39eefb6968156e3d
Package seal (SHA-256 of its manifest)
bb6bb8cb8f301a369afef5cc37180914f5d7196376f0be585127f6cb51993aa6
Operation
crop x0 y385 w1320 h1100 (source pixels, origin top-left)

G2-F2

File
G2-F2-results-empty.png (1320×575); G2-F2-results-empty.webp is a lossy encode of it (cwebp -q 88 -m 6)
Derivative SHA-256
7c508dbf6b4cb6191e93049057c2ac401234a2c6dae001edc2d9ba47139ad061
Source
store-5-reconstitution.png in package Keel-V1-4cbadaa-store-listing-20260908-1619
Source SHA-256
66dd2fd0a161e7df974212251a4b177406ab518b3617f8fc39eefb6968156e3d
Package seal (SHA-256 of its manifest)
bb6bb8cb8f301a369afef5cc37180914f5d7196376f0be585127f6cb51993aa6
Operation
crop x0 y1520 w1320 h575 (source pixels, origin top-left)

G2-F3

File
G2-F3-forward-worksheet.png (1320×1630); G2-F3-forward-worksheet.webp is a lossy encode of it (cwebp -q 88 -m 6)
Derivative SHA-256
ff8b41c16be05442a65e9416fa603406375a95c28006f1b29eb27f3e3f9a2d57
Source
G2-F3-reconstitution-calcdemo-forward.png in package Keel-V1-4cbadaa-guide-figures-20260909-1225
Source SHA-256
a0221edb5596494e4c7de03678743951cb56d0e869040bf7cf435e7ba726627e
Package seal (SHA-256 of its manifest)
520b2e67328e635e6c12a1afcac1f5e5a9c18cb5346a953f8972e7f1e2da6b15
Operation
crop x0 y380 w1320 h1630 (source pixels, origin top-left)

Understand Free and Pro

G3-F1

File
G3-F1-tools-pro-marks.png (1320×1085); G3-F1-tools-pro-marks.webp is a lossy encode of it (cwebp -q 88 -m 6)
Derivative SHA-256
a8287bbcc3ff93766ce3a259c1b061c423ef09da9316b6a3039773fdd07551ef
Source
EV-021_tools-s1-standard-light-gates.png (promax/current) in package Keel-V1-4cbadaa-signoff
Source SHA-256
ec28e83360f67bc6bfad95621ab732d129fa2048fe65a6cf5260020fca3e2d1a
Package seal (SHA-256 of its manifest)
65268f2b78728fbf82ba56a02668a2400276c526627da043627276887510b5b3
Operation
crop x0 y1360 w1320 h1085 (source pixels, origin top-left)

G3-F2

File
G3-F2a-paywall-top-bar.png (1320×244); G3-F2a-paywall-top-bar.webp is a lossy encode of it (cwebp -q 88 -m 6)
Derivative SHA-256
096711f2a0211412f1bfae30ed51634f9dabcd57930d2b367e353e129d434efa
Source
store-6-paywall.png in package Keel-V1-4cbadaa-store-listing-20260908-1619
Source SHA-256
fea06142706306d826b1f9298f7af080555177dfd53e4d1a49a4b91a9b206572
Package seal (SHA-256 of its manifest)
bb6bb8cb8f301a369afef5cc37180914f5d7196376f0be585127f6cb51993aa6
Operation
crop x0 y186 w1320 h244 (source pixels, origin top-left)
File
G3-F2b-paywall-plan-cards-masked.png (1320×448); G3-F2b-paywall-plan-cards-masked.webp is a lossy encode of it (cwebp -q 88 -m 6)
Derivative SHA-256
6aca7691081111a325e5e3a8e38a444eaa91748771b45c9d940ba3c36c50a2b4
Source
store-6-paywall.png in package Keel-V1-4cbadaa-store-listing-20260908-1619
Source SHA-256
fea06142706306d826b1f9298f7af080555177dfd53e4d1a49a4b91a9b206572
Package seal (SHA-256 of its manifest)
bb6bb8cb8f301a369afef5cc37180914f5d7196376f0be585127f6cb51993aa6
Operation
mask x1080 y2560 w170 h80 #E6E4DE; mask x1080 y2790 w170 h78 #E6E4DE; crop x0 y2420 w1320 h448 (source pixels, origin top-left)

G3-F3

File
G3-F3-paywall-owned.png (1320×590); G3-F3-paywall-owned.webp is a lossy encode of it (cwebp -q 88 -m 6)
Derivative SHA-256
b1d419177b89acf2641056e06b2558d50714a4b1240a2d892b85657de2775948
Source
EV-027_paywall-owned-s1-pro-light.png (promax/current) in package Keel-V1-4cbadaa-signoff
Source SHA-256
32187aa5fc9978cc91153dbeee4fbbca708068d3587510822ed6087a5cb74274
Package seal (SHA-256 of its manifest)
65268f2b78728fbf82ba56a02668a2400276c526627da043627276887510b5b3
Operation
crop x0 y270 w1320 h590 (source pixels, origin top-left)

G3-F4

File
G3-F4-settings-plan.png (1320×730); G3-F4-settings-plan.webp is a lossy encode of it (cwebp -q 88 -m 6)
Derivative SHA-256
5280c66b803f0c3d42fd54651ecd6e39659aeeb79bbcc4a13c094c91637ec60e
Source
G3-F4-settings-plan-standard-release.png (Release build) in package Keel-V1-4cbadaa-guide-figure-g3-20260909-1229
Source SHA-256
baa21f602b8e67721db6e1c27bf8962474c08ea2f527f784dc32dc5bb44277f3
Package seal (SHA-256 of its manifest)
3a6e250f1c7fe1266fac85a9d6b16c804d185cdb589504b51395b4ae78349ef8
Operation
crop x0 y1960 w1320 h730 (source pixels, origin top-left)

The sealed packages, the derivation tool and the provenance record live with the Keel release evidence; they are not published here.