Skip to content

Actions: vul-os/kotva

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
150 workflow runs
150 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
spec: record the three missing "why not the standard" rationales (bin… spec-lint #150: Commit d0a5ef1 pushed by imranparuk
14s main
main
14s
spec: close the silent total-loss default — recovery setup is now a c… spec-lint #149: Commit d59573d pushed by imranparuk
15s main
main
15s
depot: add export-conformance, and disclose the three residuals the h… spec-lint #148: Commit f6008dd pushed by imranparuk
11s main
main
11s
spec: structural blindness requires the protocol to enforce it, not… spec-lint #147: Commit f9df0d2 pushed by imranparuk
13s main
main
13s
spec: LoRa-mesh rail (§26), Reticulum pointer (§4.8), and an open mac… spec-lint #146: Commit e475563 pushed by imranparuk
24s main
main
24s
substrate: name Ephor as the broker reference implementation spec-lint #145: Commit 874e797 pushed by imranparuk
14s main
main
14s
transport: state the arithmetic blocker under radio transports, not j… spec-lint #144: Commit 8f757dd pushed by imranparuk
13s main
main
13s
depot: declared capacity (§3.1) and a definition of "portable" for DE… spec-lint #143: Commit 583d817 pushed by imranparuk
26s main
main
26s
depot: propagate volume into every clause that binds it — enumerati… spec-lint #142: Commit c079f47 pushed by imranparuk
31s main
main
31s
web: sweep the cdn fold and volume into the whitepaper; commit the … spec-lint #141: Commit 405a97f pushed by imranparuk
10s main
main
10s
depot: add volume — the hot storage tier, with the three deployment… spec-lint #140: Commit a189d0a pushed by imranparuk
13s main
main
13s
depot: fold cdn into bucket — one mechanism, visibility derived f… spec-lint #139: Commit 0fdb770 pushed by imranparuk
10s main
main
10s
depot: state why database is a row at all, and put scaling/load-bal… spec-lint #138: Commit 2e02be7 pushed by imranparuk
13s main
main
13s
spec: reconcile WRAP's signed Attestation with the ATTEST primitive; … spec-lint #137: Commit b71651f pushed by imranparuk
13s main
main
13s
tract: separate the unmechanised ruling-record from §9.5's MUST list spec-lint #136: Commit 0cd05f6 pushed by imranparuk
10s main
main
10s
spec: eliminate the last floating-point wire values (§18.1.1 rule 4) spec-lint #135: Commit 69dcd81 pushed by imranparuk
11s main
main
11s
conformance: close two fidelity gaps flagged by the consistency lens spec-lint #134: Commit 7077482 pushed by imranparuk
9s main
main
9s
conformance: SUITE.md partition table now sums to its own total (362,… spec-lint #133: Commit 1115d51 pushed by imranparuk
10s main
main
10s
spec: SA-English completeness sweep — ageing, and artifact confirmed … spec-lint #132: Commit 6699fb1 pushed by imranparuk
13s main
main
13s
spec: 0x0508 capability-delegation-invalid is a security fail-closed,… spec-lint #131: Commit 79f052e pushed by imranparuk
10s main
main
10s
spec: 0x0409 rank-rule variant is a security fail-closed; add the mis… spec-lint #130: Commit 5e65d80 pushed by imranparuk
13s main
main
13s
spec: 0x070E ERR_GATEWAYAUTHZ_DENIED is a security fail-closed, not a… spec-lint #129: Commit 8a8acc9 pushed by imranparuk
13s main
main
13s
docs: close the spec-perfection pass — founder chose (a) freeze and ship spec-lint #128: Commit 00bb01b pushed by imranparuk
10s main
main
10s
docs: gap 2 clean on all checked codes; FREEZE per the W6 stop rule spec-lint #127: Commit 9d8943d pushed by imranparuk
12s main
main
12s
docs: mark W6 stop-rule BLOCKED in the plan; record gap 1 closed, gap… spec-lint #126: Commit e9d48ec pushed by imranparuk
13s main
main
13s