Commits

Branch selector

master

User selector

All users

All time

Commit history

Commits on Jul 26, 2026

• Merge pull request #283 from buger/fix-oss-fuzz-delete-leading-comma

  Show description for f26958f
  buger

  authored
  f26958f

  Copy full SHA for f26958f

• Delete PROOF_CATALOG_DOGFOOD_CASE_STUDY.md

  buger

  authored
  ae6fe74

  Copy full SHA for ae6fe74

• proof: enable all checks at warn level; drop bogus test-function proptest annotations

  Show description for 63ac271
  buger

  committed
  63ac271

  Copy full SHA for 63ac271

• Revert "ci: build proof from source + install probe for version parity"

  Show description for 631752d
  buger

  committed
  631752d

  Copy full SHA for 631752d

• ci: build proof from source + install probe for version parity

  Show description for 9f4a999
  buger

  committed
  9f4a999

  Copy full SHA for 9f4a999

• proof: complete L3 strict review — catalog, hazard, MC/DC, governance

  Show description for 125c706
  buger

  committed
  125c706

  Copy full SHA for 125c706

• fix: guard empty-string key path components; remove synthetic proof scaffolding

  Show description for 753cda0
  buger

  committed
  753cda0

  Copy full SHA for 753cda0

• Tighten proof posture to L3 strict (mirror reqforge self-dogfood)

  Show description for 7169e68
  buger

  committed
  7169e68

  Copy full SHA for 7169e68

• Record no-authored-change impact reviews for parser.go (PR #283)

  Show description for bf9294e
  buger

  committed
  bf9294e

  Copy full SHA for bf9294e

Commits on May 3, 2026

• Update catalog dogfood case study for v0.3.0 catalog refinements

  Show description for b0adab0
  

  buger

  and

  claude

  committed
  b0adab0

  Copy full SHA for b0adab0

• Apply Proof obligation-class catalog v1.0.0 dogfood

  Show description for a50174c
  

  buger

  and

  claude

  committed
  a50174c

  Copy full SHA for a50174c

Commits on May 2, 2026

• Migrate _lemmas/_proof.go files to host-attached directives + inline helpers

  Show description for ff8c4a7
  

  buger

  and

  claude

  committed
  ff8c4a7

  Copy full SHA for ff8c4a7

• Item #3: apply path-conditions + variadic/multi-return + verify-safety

  Show description for 6855f4e
  

  buger

  and

  claude

  committed
  6855f4e

  Copy full SHA for 6855f4e

• jsonparser re-sweep with translator gap fixes — 12 new lemmas

  Show description for 80cf537
  

  buger

  and

  claude

  committed
  80cf537

  Copy full SHA for 80cf537

• Apply reqproof toolchain (Phase O→Z.2) to jsonparser

  Show description for 2896e60
  

  buger

  and

  claude

  committed
  2896e60

  Copy full SHA for 2896e60

Commits on May 1, 2026

• fix(Delete): guard against negative prevTok on leading-comma input

  Show description for a6c5ed3
  

  buger

  and

  claude

  committed
  a6c5ed3

  Copy full SHA for a6c5ed3

Commits on Apr 29, 2026

• Merge pull request #269 from buger/tinygo

  Show description for c172c16
  buger

  authored
  c172c16

  Copy full SHA for c172c16

• Merge pull request #281 from buger/reqproof-assurance-hardening

  Show description for 680cd2e
  buger

  authored
  680cd2e

  Copy full SHA for 680cd2e

Commits on Apr 27, 2026

• Migrate review storage from reviews/ folder to per-requirement timestamps

  Show description for 9dce61c
  

  buger

  and

  claude

  committed
  9dce61c

  Copy full SHA for 9dce61c

Commits on Apr 24, 2026

• feat: add property-based obligation classes with 24 new SYS-REQs

  Show description for c03b9ef
  

  buger

  and

  claude

  committed
  c03b9ef

  Copy full SHA for c03b9ef

Commits on Apr 23, 2026

• chore: fix spec lint warnings — remove stale parent field, set review metadata

  Show description for 9c46110
  

  buger

  and

  claude

  committed
  9c46110

  Copy full SHA for 9c46110

Commits on Apr 20, 2026

• Close coverage gaps: SYS-REQ-007/008/010 fuzz harness coverage to 100%

  Show description for 8bbb8a8
  

  buger

  and

  claude

  committed
  8bbb8a8

  Copy full SHA for 8bbb8a8

Commits on Apr 19, 2026

• Install Z3 via apt before audit

  Show description for 552e93b
  

  buger

  and

  claude

  committed
  552e93b

  Copy full SHA for 552e93b

• Remove manual Z3 pre-download, now handled by proof-action

  Show description for 98133b4
  

  buger

  and

  claude

  committed
  98133b4

  Copy full SHA for 98133b4

• Debug Z3 pre-download: remove output suppression

  Show description for 1b70ead
  

  buger

  and

  claude

  committed
  1b70ead

  Copy full SHA for 1b70ead

• Pre-download Z3 solver before audit

  Show description for aac1fbc
  

  buger

  and

  claude

  committed
  aac1fbc

  Copy full SHA for aac1fbc

• Trigger CI rebuild with cache-busted proof-action

  Show description for 47497fa
  

  buger

  and

  claude

  committed
  47497fa

  Copy full SHA for 47497fa

• Use ubuntu-24.04 for glibc 2.39 compatibility with Z3 solver

  Show description for 8c7ce02
  

  buger

  and

  claude

  committed
  8c7ce02

  Copy full SHA for 8c7ce02

• Proper CI setup: Go 1.25 for MC/DC, latest proof, fail-level warn

  Show description for 99f4991
  

  buger

  and

  claude

  committed
  99f4991

  Copy full SHA for 99f4991

• Switch to latest proof with fail-level warn

  Show description for ee892db
  

  buger

  and

  claude

  committed
  ee892db

  Copy full SHA for ee892db

• Pin proof version until latest channel is populated

  Show description for f6b4f4c
  

  buger

  and

  claude

  committed
  f6b4f4c

  Copy full SHA for f6b4f4c

• Use default latest version, fail-level error until next release

  Show description for d3e2307
  

  buger

  and

  claude

  committed
  d3e2307

  Copy full SHA for d3e2307

• Set fail-level to error until next proof release

  Show description for 2045ad7
  

  buger

  and

  claude

  committed
  2045ad7

  Copy full SHA for 2045ad7

• Use probelabs/proof-action@v1 with version pin and scope=full

  Show description for f60ebe9
  

  buger

  and

  claude

  committed
  f60ebe9

  Copy full SHA for f60ebe9

• Fix audit CI: use downloads.reqproof.com with pinned version

  Show description for e2bb97c
  

  buger

  and

  claude

  committed
  e2bb97c

  Copy full SHA for e2bb97c