Skip to content

Actions: kernelpanic888/TMI-Lean-Formal-Library

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25 workflow runs
25 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
feat(i3): certify bounded learning loop AZ-AUTH-00 #25: Commit c143aa8 pushed by kernelpanic888
16s main
main
16s
feat(i3): certify traceable cognitive acts AZ-AUTH-00 #24: Commit 9d3ef47 pushed by kernelpanic888
10s main
main
10s
Add I3 L16 independent hardware admission AZ-AUTH-00 #23: Commit c5f0f2e pushed by kernelpanic888
9s main
main
9s
feat(i3): add trusted platform enrollment AZ-AUTH-00 #22: Commit 4b33ddf pushed by kernelpanic888
8s main
main
8s
feat(i3): add fail-closed physical hardware challenge AZ-AUTH-00 #21: Commit 906fdf7 pushed by kernelpanic888
6s main
main
6s
Add hardware-bound split-custody admission layer AZ-AUTH-00 #20: Commit bb6910c pushed by kernelpanic888
9s main
main
9s
Add transport-attested multi-host quorum for I3 AZ-AUTH-00 #19: Commit 049a3be pushed by kernelpanic888
15s main
main
15s
Add fresh remote witness protocol for I3 AZ-AUTH-00 #18: Commit 992de69 pushed by kernelpanic888
9s main
main
9s
Add fault-domain independent quorum for I3 AZ-AUTH-00 #17: Commit b9c6a4b pushed by kernelpanic888
9s main
main
9s
Add threshold witness quorum for I3 AZ-AUTH-00 #16: Commit dc20fd5 pushed by kernelpanic888
7s main
main
7s
Add least-privilege process isolation for I3 runtime AZ-AUTH-00 #15: Commit 15858db pushed by kernelpanic888
7s main
main
7s
Add external rollback witness for I3 runtime AZ-AUTH-00 #14: Commit 9031b1e pushed by kernelpanic888
9s main
main
9s
Add atomic trust store for I3 runtime AZ-AUTH-00 #13: Commit 505b2c6 pushed by kernelpanic888
8s main
main
8s
Add persistent trust head for I3 runtime AZ-AUTH-00 #12: Commit 1017cce pushed by kernelpanic888
10s main
main
10s
Add signed sample-free validation wire AZ-AUTH-00 #11: Commit ebc1264 pushed by kernelpanic888
16s main
main
16s
feat: isolate I3 validation capability AZ-AUTH-00 #10: Commit ffc7121 pushed by kernelpanic888
8s main
main
8s
feat(I3): add independent holdout validation adapter AZ-AUTH-00 #9: Commit dd057fe pushed by kernelpanic888
6s main
main
6s
feat(I3): formalize bounded neural learning gate AZ-AUTH-00 #8: Commit d46eb75 pushed by kernelpanic888
11s main
main
11s
Llm gpt codex lean tlfl i1/latest public surface AZ-AUTH-00 #7: Pull request #4 synchronize by kernelpanic888
6s llm-gpt-codex-lean-tlfl-i1/latest-public-surface
llm-gpt-codex-lean-tlfl-i1/latest-public-surface
6s
Merge branch 'main' into llm-gpt-codex-lean-tlfl-i1/latest-public-sur… AZ-AUTH-00 #6: Commit 71ae207 pushed by kernelpanic888
7s llm-gpt-codex-lean-tlfl-i1/latest-public-surface
llm-gpt-codex-lean-tlfl-i1/latest-public-surface
7s
feat: add activation relic and two-axis time model AZ-AUTH-00 #5: Commit 1057cec pushed by kernelpanic888
8s main
main
8s
formalize adaptive market frugality selector AZ-AUTH-00 #4: Commit 824b27c pushed by kernelpanic888
8s adaptive-market-frugality-v0.1.0
adaptive-market-frugality-v0.1.0
8s
formalize adaptive market frugality selector AZ-AUTH-00 #3: Commit 824b27c pushed by kernelpanic888
10s main
main
10s
Add complete PM-01 shadow theory AZ-AUTH-00 #2: Commit 3191a0a pushed by kernelpanic888
8s main
main
8s
Add canonical public authorship gate AZ-AUTH-00 #1: Commit 21d339c pushed by kernelpanic888
10s main
main
10s