Skip to content

Actions: Juanpacol/VerityAI

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
23 workflow runs
23 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
fix(context): stop marking every user message unconditionally critical CI #23: Commit b320239 pushed by Juanpacol
31s main
main
31s
docs: record verity verify and the current test count in CLAUDE.md CI #22: Commit 0d9cbff pushed by Juanpacol
34s main
main
34s
feat(bench): verity verify -- re-derive published numbers on demand (… CI #21: Commit f6b700c pushed by Juanpacol
28s main
main
28s
fix(context): adaptive surfacing dropped the memory most worth recall… CI #20: Commit c785f01 pushed by Juanpacol
49s main
main
49s
docs: correct a caveat that promised a repair which does not exist CI #19: Commit e2073b8 pushed by Juanpacol
44s main
main
44s
feat(reliability): add risk-adaptive verification with file-level tie… CI #18: Commit 0b9c9c2 pushed by Juanpacol
24s main
main
24s
feat(experiments): arbitrary-tiebreak pilot -- the ceiling finally br… CI #17: Commit c63c27d pushed by Juanpacol
38s main
main
38s
feat(experiments): domain-ambiguity pilot -- a fifth ceiling, for a n… CI #16: Commit 451992e pushed by Juanpacol
34s main
main
34s
fix(gitignore): anchor lib/ to the root so experiments/lib/ is tracked CI #15: Commit 065ab26 pushed by Juanpacol
39s main
main
39s
fix(graph): resolve from package import submodule to the real submo… CI #14: Commit c31d52d pushed by Juanpacol
29s main
main
29s
fix(consistency): honest caveat for ambiguous symbol misses, no verdi… CI #13: Commit fcd142f pushed by Juanpacol
31s main
main
31s
fix(consistency): close the function-to-file relation blind spot from… CI #12: Commit 1aae097 pushed by Juanpacol
29s main
main
29s
fix(evidence): correct two LLM-extracted claims found by the auditor … CI #11: Commit 1503998 pushed by Juanpacol
1m 10s main
main
1m 10s
feat(evidence): fetch + classify real T5 literature, improve protocol CI #10: Commit 0418a61 pushed by Juanpacol
1m 17s main
main
1m 17s
feat: repeated-run infrastructure + basic Z3 String theory support CI #9: Commit 241f25b pushed by Juanpacol
1m 15s main
main
1m 15s
docs(research): T5 protocol + real materials, Fase 6 synthesis CI #8: Commit ca9f838 pushed by Juanpacol
1m 18s main
main
1m 18s
feat(symbolic): T6 -- SQLi/race-condition pattern-matching prototype,… CI #7: Commit c09db4d pushed by Juanpacol
1m 20s main
main
1m 20s
docs(research): Fase 3 -- rule-corpus size ablation (T4), real run CI #6: Commit dc19aae pushed by Juanpacol
1m 8s main
main
1m 8s
docs(research): Fase 1 analysis -- confidence calibration and retry-l… CI #5: Commit 323d99d pushed by Juanpacol
1m 12s main
main
1m 12s
feat(evidence): add evidence-auditor agent and coverage report CI #4: Commit 2d10900 pushed by Juanpacol
1m 18s main
main
1m 18s
docs(retrieval): close out retrieval A/B eval with real data, correct… CI #3: Commit 85d9685 pushed by Juanpacol
1m 9s main
main
1m 9s
Fix CI mypy failure: add missing types-requests dev dependency CI #2: Commit dda9a3b pushed by Juanpacol
1m 8s main
main
1m 8s
Merge chore/portfolio-hardening: CI, tooling, execution-based evaluat… CI #1: Commit 7cbc215 pushed by Juanpacol
1m 7s main
main
1m 7s