# Visual assets These AI-generated conceptual photographs illustrate the project. They are not screenshots, hardware products, or formal verification evidence. Read `spec/lambda-proofs.md` for the actual derivations; notebook marks in artwork are decorative. Generated with the built-in imagegen tool. The selected PNG outputs are stored in this repository; no external image-generation account or file URL is required to render the README. Applicable rights in project artwork are reserved under [LICENSE](../../LICENSE); see [LICENSING.md](../../LICENSING.md). ## `proof-workbench.png` Exact prompt: > Use case: photorealistic-natural. Asset type: wide GitHub README cover photo for the Unlambda + ATS + Idris 2 + SPARK proof scaffold. Primary request: a polished editorial photograph of a dark desk with a notebook of handwritten lambda calculus, a pen, and three translucent geometric blocks suggesting typed interfaces, checked proofs, and bounded memory. Wide landscape composition, restrained navy background, soft cyan and amber studio lighting, realistic paper and glass textures, plenty of clean visual space. No people. No logos, no fabricated software screenshot, no certification seals, no checkmarks, no readable claims of production readiness. Notebook symbols may include a simple lambda and S K I. No title text, no watermark. ## `bounded-memory.png` Exact prompt: > Use case: photorealistic-natural. Asset type: supporting editorial photograph for a README's bounded-memory verification section. An abstract desktop memory model made from a compact orderly array of small translucent square glass tiles, some softly illuminated amber and others clear, with a notebook and pen out of focus in the background. This is a conceptual tabletop scene, not a real hardware product or screenshot. Realistic glass textures, navy and teal studio lighting, wide landscape composition, visually cohesive with a dark lambda-calculus proof workbench photo. No people, no readable text, no logos, no certification seals, no checkmarks, no watermark.