Skip to content

gap-map 0.1.0

Choose a tag to compare

View all tags
@lee-eojin lee-eojin released this 30 Oct 18:13
· 117 commits to main since this release
gap-map--v0.1.0
efafbfc
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.
  • Find what a language still needs, with evidence. /gap-map:gap-map has Claude write gap-map.json for a language implementation: the stages a program passes through, and one obligation per promised behavior with the line that promises it, the code that owns it, the case kinds it needs, and existing tests as fixtures. (#207)
claude plugin marketplace update lim
claude plugin install gap-map@lim

  • Only a script marks an obligation proven. gapmap.mjs run runs each fixture's verifier without a shell and with a time limit. An obligation closes only when its pointers resolve, every case has a fixture, and every fixture passed a run that can observe the claim on the current bytes of the fixture, the owner file, and the verifier's scripts. A contradiction, an unknown, or a stale result keeps it open; a won't-fix item is shown but never counted. The rule follows REA's reconstruction obligation ledgers. (#207)

  • A map you can read at a glance. map.svg is a statechart in a dark blueprint style: grid, legend, dashed regions titled with their owning file, labeled transitions, and each stage's count of proven obligations. (#207)

  • Bend ships as the first target. The Bend reference lists its truth sources and lanes, with verifiers that match gates/test.ts (merged stderr, trimmed lines, exit N tail). The first Bend map, from 39 real tests: 11 of 24 obligations proven, 10 open, 2 contradicted, 1 blocked, 4 won't fix. (#207)

Assets 2
Loading