Skip to content

Actions: Pratiikpy/zeroclaw-plugins

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
30 workflow runs
30 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
docs: no bound we have tried discharges the decoder proofs prove-safety #30: Commit 8482ec9 pushed by Pratiikpy
25m 40s safe-hands
safe-hands
25m 40s
ci: a timed-out non-blocking job was turning the whole run red prove-safety #29: Commit 76501e6 pushed by Pratiikpy
25m 33s safe-hands
safe-hands
25m 33s
fix: the T1 builders now gather the evidence their policy demands prove-safety #28: Commit 86eeadd pushed by Pratiikpy
45m 27s safe-hands
safe-hands
45m 27s
fix: close the model/engine divergence, so the proofs reach the engine prove-safety #27: Commit 5182cc8 pushed by Pratiikpy
45m 22s safe-hands
safe-hands
45m 22s
fix: an authority grant now denies, instead of only being visible prove-safety #26: Commit 7cae6f3 pushed by Pratiikpy
45m 21s safe-hands
safe-hands
45m 21s
fix: clippy type-complexity in the new test, and record the fix in th… prove-safety #25: Commit 59c0b29 pushed by Pratiikpy
45m 27s safe-hands
safe-hands
45m 27s
fix: see the authority grant that moves nothing prove-safety #24: Commit 166fea6 pushed by Pratiikpy
45m 20s safe-hands
safe-hands
45m 20s
test: cover the Controlled-multisig refusal, and fix the fixture it b… prove-safety #23: Commit 140008c pushed by Pratiikpy
55m 5s safe-hands
safe-hands
55m 5s
docs: record the two review findings that are NOT fixed prove-safety #22: Commit a080f77 pushed by Pratiikpy
45m 27s safe-hands
safe-hands
45m 27s
docs: correct every claim the adversarial review found overstated prove-safety #21: Commit 6cc4d22 pushed by Pratiikpy
45m 22s safe-hands
safe-hands
45m 22s
fix: two real defects found by adversarial review, and one vacuous te… prove-safety #20: Commit 952ba32 pushed by Pratiikpy
45m 27s safe-hands
safe-hands
45m 27s
docs: record that N=8 did not terminate, and what that measures prove-safety #19: Commit 81209b8 pushed by Pratiikpy
45m 20s safe-hands
safe-hands
45m 20s
proof: lower the decoder bound to where it terminates, and say what t… prove-safety #18: Commit ad0b5a9 pushed by Pratiikpy
45m 19s safe-hands
safe-hands
45m 19s
docs: split the intent problem into the half that is proven and the h… prove-safety #17: Commit 5de4672 pushed by Pratiikpy
1h 30m 20s safe-hands
safe-hands
1h 30m 20s
docs: state what 'authorized' means, and which half is proven prove-safety #16: Commit ce65809 pushed by Pratiikpy
1h 30m 21s safe-hands
safe-hands
1h 30m 21s
docs: record the compromised-model tests and the decoder proof attempt prove-safety #15: Commit 66958af pushed by Pratiikpy
1h 30m 20s safe-hands
safe-hands
1h 30m 20s
test: a compromised model, not merely a fooled one prove-safety #14: Commit 3529caa pushed by Pratiikpy
1h 30m 37s safe-hands
safe-hands
1h 30m 37s
proof: bounded machine-checked properties of the decoder prove-safety #13: Commit e129232 pushed by Pratiikpy
1h 30m 34s safe-hands
safe-hands
1h 30m 34s
docs: mark what the roadmap work closed, and what it did not prove-safety #12: Commit e440745 pushed by Pratiikpy
11m 19s safe-hands
safe-hands
11m 19s
test: chaos at the trust boundaries that are not the prompt prove-safety #11: Commit 2861f5f pushed by Pratiikpy
11m 21s safe-hands
safe-hands
11m 21s
ci: actually discharge the Kani proofs prove-safety #10: Commit 7910af9 pushed by Pratiikpy
11m 49s safe-hands
safe-hands
11m 49s
docs: record the decoder hardening, and that it narrows rather than c… prove-safety #9: Commit 1ef2ce3 pushed by Pratiikpy
8m 31s safe-hands
safe-hands
8m 31s
test: structure-aware hostile input for the decoder prove-safety #8: Commit 93006b3 pushed by Pratiikpy
11m 43s safe-hands
safe-hands
11m 43s
docs: record what the 200k soak actually found prove-safety #7: Commit 9914b3a pushed by Pratiikpy
8m 36s safe-hands
safe-hands
8m 36s
test: make the split-bypass property soakable prove-safety #6: Commit 96db2f6 pushed by Pratiikpy
11m 25s safe-hands
safe-hands
11m 25s