Skip to content

feat(facts): audit db+contradict in Go (#49) - #54

Merged
eSlider merged 1 commit into
mainfrom
feat/audit-go
Aug 19, 2026
Merged

eSlider merged 1 commit into
mainfrom
feat/audit-go

Conversation

@eSlider

@eSlider eSlider commented Aug 19, 2026

Copy link
Copy Markdown
Owner

Closes #49 (facts/extract + facts/crm: Go write path or explicit deprecation) — audit portion.

  • port bin/facts/audit db (two-source evidence gate over var/kb.lbug) and contradict (D16 adjudication) to Go
  • internal/facts gains CheckFactRow/ParseSourceField + tests; contradict already had Adjudicate
  • db mode builds via bin/cgo/zig (ladybug CGO); self+contradict are pure Go (CI-safe)
  • deletes python bin/facts/audit + bin/tools/contradict.py + its test
  • extract/crm remain python (blocked on OnlyOffice access); kblib.py stays for them

…audit path

- internal/facts: CheckFactRow + ParseSourceField (two-source lexicon, mirrors python contradict.py)
- bin/facts/audit_db.go: ladybug read of root=facts leaves via bin/cgo/zig (replaces python audit db)
- bin/facts/audit.go: contradict mode now pure Go (internal/facts.Adjudicate); db mode execs the zig tool
- delete python bin/facts/audit + bin/tools/contradict.py + test_contradict.py
- tests: internal/facts/checkfact_test.go (confirmed/hypothesis/partial/loc/how/unknown)
@eSlider
eSlider merged commit 2f99ddf into main Aug 19, 2026
4 checks passed
@eSlider
eSlider deleted the feat/audit-go branch August 19, 2026 12:12
eSlider added a commit that referenced this pull request Aug 24, 2026
…audit path (#54)

- internal/facts: CheckFactRow + ParseSourceField (two-source lexicon, mirrors python contradict.py)
- bin/facts/audit_db.go: ladybug read of root=facts leaves via bin/cgo/zig (replaces python audit db)
- bin/facts/audit.go: contradict mode now pure Go (internal/facts.Adjudicate); db mode execs the zig tool
- delete python bin/facts/audit + bin/tools/contradict.py + test_contradict.py
- tests: internal/facts/checkfact_test.go (confirmed/hypothesis/partial/loc/how/unknown)
eSlider added a commit that referenced this pull request Sep 15, 2026
…audit path (#54)

- internal/facts: CheckFactRow + ParseSourceField (two-source lexicon, mirrors python contradict.py)
- bin/facts/audit_db.go: ladybug read of root=facts leaves via bin/cgo/zig (replaces python audit db)
- bin/facts/audit.go: contradict mode now pure Go (internal/facts.Adjudicate); db mode execs the zig tool
- delete python bin/facts/audit + bin/tools/contradict.py + test_contradict.py
- tests: internal/facts/checkfact_test.go (confirmed/hypothesis/partial/loc/how/unknown)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant