Skip to content

Actions: Aliipou/authgate-kernel

Actions

TCB Test Suite

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
tcb-tests.yml
117 workflow runs
117 workflow runs

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
Add GrokKernelMiddleware (xAI) adapter, completing OpenAI/Anthropic/G… TCB Test Suite #117: Commit b1e66a4 pushed by Aliipou
1m 9s main
main
1m 9s
Fix differential fuzzer: dead import always skipped it, then fix what… TCB Test Suite #116: Commit 3b7fd08 pushed by Aliipou
1m 2s main
main
1m 2s
Correct Proofs.lean status header now that it actually builds TCB Test Suite #115: Commit 9ff9cb4 pushed by Aliipou
1m 3s main
main
1m 3s
Wire up formal/lean4/Authgate as a real lake project; fix proofs that… TCB Test Suite #114: Commit 303fdba pushed by Aliipou
1m 1s main
main
1m 1s
Add OntologicalRoot.lean formalizing GOD_HUMAN_BOUNDARY, update axiom… TCB Test Suite #113: Commit e70cfaa pushed by Aliipou
57s main
main
57s
feat: close the consent-semantics gap; document why God->Human stays … TCB Test Suite #112: Commit 67ffdd9 pushed by Aliipou
1m 51s main
main
1m 51s
fix: session_clock tests were time-bombed against the real wall clock TCB Test Suite #111: Commit a296c02 pushed by Aliipou
1m 3s main
main
1m 3s
site: update formal-verification numbers to match the with-legitimacy… TCB Test Suite #110: Commit b523a33 pushed by Aliipou
2m 10s main
main
2m 10s
README: add a live-demo banner above the fold TCB Test Suite #109: Commit e29d3de pushed by Aliipou
2m 2s main
main
2m 2s
DRE Rework: Advisory-Only Risk Overlay TCB Test Suite #108: Pull request #10 opened by khazelton
30d 0h 5m 12s khazelton:dre-rework-advisory-only
khazelton:dre-rework-advisory-only
30d 0h 5m 12s
keith hazelton fork feat: Delegate Reputation Extension (DRE) — Phases 1–5 TCB Test Suite #107: Pull request #9 opened by khazelton
30d 0h 0m 23s khazelton:main
khazelton:main
30d 0h 0m 23s
feat: legitimacy seam (ex-FDK) + Freedom Formal under decision-os meet TCB Test Suite #106: Pull request #8 synchronize by Aliipou
1m 42s with-legitimacy
with-legitimacy
1m 42s
feat: legitimacy seam (ex-FDK) + Freedom Formal under decision-os meet TCB Test Suite #105: Pull request #8 synchronize by Aliipou
1m 48s with-legitimacy
with-legitimacy
1m 48s
feat: legitimacy seam (ex-FDK) + Freedom Formal under decision-os meet TCB Test Suite #104: Pull request #8 synchronize by Aliipou
1m 44s with-legitimacy
with-legitimacy
1m 44s
feat: legitimacy seam (ex-FDK) + Freedom Formal under decision-os meet TCB Test Suite #103: Pull request #8 synchronize by Aliipou
1m 55s with-legitimacy
with-legitimacy
1m 55s
feat: legitimacy seam (ex-FDK) + Freedom Formal under decision-os meet TCB Test Suite #102: Pull request #8 synchronize by Aliipou
2m 2s with-legitimacy
with-legitimacy
2m 2s
feat: legitimacy seam (ex-FDK) + Freedom Formal under decision-os meet TCB Test Suite #101: Pull request #8 synchronize by Aliipou
1m 45s with-legitimacy
with-legitimacy
1m 45s
feat: legitimacy seam (ex-FDK) + Freedom Formal under decision-os meet TCB Test Suite #100: Pull request #8 synchronize by Aliipou
1m 45s with-legitimacy
with-legitimacy
1m 45s
feat: legitimacy seam (ex-FDK) + Freedom Formal under decision-os meet TCB Test Suite #99: Pull request #8 synchronize by Aliipou
1m 26s with-legitimacy
with-legitimacy
1m 26s
feat: legitimacy seam (ex-FDK) + Freedom Formal under decision-os meet TCB Test Suite #98: Pull request #8 synchronize by Aliipou
1m 45s with-legitimacy
with-legitimacy
1m 45s
feat: legitimacy seam (ex-FDK) + Freedom Formal under decision-os meet TCB Test Suite #97: Pull request #8 synchronize by Aliipou
2m 1s with-legitimacy
with-legitimacy
2m 1s
Remove live link from README TCB Test Suite #96: Commit e302986 pushed by Aliipou
2m 8s main
main
2m 8s
docs: add Live graph deploy link (https://ali-authgate-kernel.vercel.… TCB Test Suite #95: Commit 2b55b07 pushed by Aliipou
1m 55s main
main
1m 55s
feat: legitimacy seam (ex-FDK) + Freedom Formal under decision-os meet TCB Test Suite #94: Pull request #8 opened by Aliipou
1m 52s with-legitimacy
with-legitimacy
1m 52s
docs: polish README for clarity and honest competitor positioning TCB Test Suite #93: Commit ea9ae1b pushed by Aliipou
1m 47s main
main
1m 47s