Skip to content
Proof Safety

feat(lexicon): lexicon v2 schema as a Nickel contract; loader learns relations and evidence (stage 6c PR 1) #182

Sign in to view logs

feat(lexicon): lexicon v2 schema as a Nickel contract; loader learns relations and evidence (stage 6c PR 1)

feat(lexicon): lexicon v2 schema as a Nickel contract; loader learns relations and evidence (stage 6c PR 1) #182

Triggered via pull request October 20, 2026 13:32
@hyperpolymathhyperpolymath
synchronize #444
claude/zen-brahmagupta-opqqle
Status Success
Total duration 2m 11s
Artifacts –

proof-safety.yml

on: pull_request
Proof safety regressions
1m 59s
Proof safety regressions
Fit to window
Zoom out
Zoom in