Spec packs

Each pack holds the decisions a builder could not guess, with a check for each. Point your coding agent at one, build in any stack, and prove the build with symbolon attest.

kausalflow/lightkone version 1 · by kausalflow · Proprietary (kausalflow) · Free

Lightkone core: search, BibTeX, keys, filing, merge, tidy and the library file

64 obligations (64 decided, 0 default, 0 open) · 4 assumptions (4 monitored) · 340/340 checks trace to an obligation

Evidence: 8 of 8 components pass a build · 3 builds · 2 runners