Skip to content

Actions: deterministicstatemachine/dsm

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
474 workflow runs
474 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
chore(register): pin the beta root register at 5 members / quorum 3 and derive every fleet-shaped fixture from the pin CodeQL #474: Pull request #868 synchronize by cryptskii
In progress chore/beta-register-pin-5-of-3
chore/beta-register-pin-5-of-3
In progress
fix(genesis): write the canonical authority root on the existing-head branch and finish first-run identity publication in-session CodeQL #473: Pull request #869 opened by cryptskii
12m 42s fix/genesis-root-and-identity-publication
fix/genesis-root-and-identity-publication
12m 42s
chore(register): pin the beta root register at 5 members / quorum 3 and derive every fleet-shaped fixture from the pin CodeQL #472: Pull request #868 opened by cryptskii
12m 44s chore/beta-register-pin-5-of-3
chore/beta-register-pin-5-of-3
12m 44s
test(dlv): a fresh two-asset market runs its whole lifecycle with eve… CodeQL #471: Commit 9d81b7a pushed by cryptskii
12m 53s main
main
12m 53s
test(dlv): a fresh two-asset market runs its whole lifecycle with every step admitted CodeQL #470: Pull request #866 opened by cryptskii
10m 45s test/fresh-two-asset-lifecycle
test/fresh-two-asset-lifecycle
10m 45s
feat(2c-G): the fresh owner baseline — strangers compose from the cau… CodeQL #469: Commit 881109d pushed by cryptskii
13m 12s main
main
13m 12s
feat(2c-G): the fresh owner baseline — strangers compose from the caught-up V_k, history falls back to the immutable birth anchor (PR 3 of 3: G3) CodeQL #468: Pull request #865 opened by cryptskii
12m 48s feat/2c-g-fresh-owner-baseline
feat/2c-g-fresh-owner-baseline
12m 48s
feat(2c-G): the admitted terminal close — one commit path that derive… CodeQL #467: Commit 099f4fd pushed by cryptskii
13m 29s main
main
13m 29s
feat(2c-G): the admitted terminal close — one commit path that derives every close fact from the composition (PR 2 of 3: G4) CodeQL #466: Pull request #864 opened by cryptskii
13m 26s feat/2c-g-admitted-close
feat/2c-g-admitted-close
13m 26s
feat(2c-G): owner catch-up, admitted and in order — one engine behind… CodeQL #465: Commit 8edc2fd pushed by cryptskii
13m 13s main
main
13m 13s
feat(2c-G): owner catch-up — admitted, ordered DlvOwnerApplyV2 behind storage.sync and dlv.reconcile (PR 1 of 3: G1 + G2) CodeQL #464: Pull request #863 opened by cryptskii
11m 12s feat/2c-g-owner-catch-up-admission
feat/2c-g-owner-catch-up-admission
11m 12s
fix(2c-F): a lost receipt obligation is rediscovered after release, n… CodeQL #463: Commit 5133eaa pushed by cryptskii
12m 30s main
main
12m 30s
fix(2c-F): a lost receipt obligation is rediscovered after release — the #859 merge condition CodeQL #462: Pull request #860 opened by cryptskii
12m 22s fix/2c-f-receipt-obligation-recovery
fix/2c-f-receipt-obligation-recovery
12m 22s
feat(2c-F): the Def 14.2 SofiReceipt — frozen rulings, 0x0034, and a … CodeQL #461: Commit 4d24ba2 pushed by cryptskii
13m 6s main
main
13m 6s
feat(2c-F): the Def 14.2 SofiReceipt — frozen rulings, 0x0034, and a publication obligation that never gates the release CodeQL #460: Pull request #859 opened by cryptskii
12m 21s feat/2c-f-sofi-receipt
feat/2c-f-sofi-receipt
12m 21s
formal(2c-D): C2's models — completion ordering, composed reserve pro… CodeQL #459: Commit 69c05bc pushed by cryptskii
8m 7s main
main
8m 7s
formal(2c-D): C2's models — completion ordering, composed reserve provenance, and a walk that folds only what certifies CodeQL #458: Pull request #857 opened by cryptskii
12m 20s formal/c2-completion-and-composed-reserves
formal/c2-completion-and-composed-reserves
12m 20s
feat(2c-D): C2 — the realization and fence-release cutover (#856) CodeQL #457: Commit e58340c pushed by cryptskii
14m 13s main
main
14m 13s
feat(2c-D): C2 — the realization and fence-release cutover CodeQL #456: Pull request #856 opened by cryptskii
12m 22s feat/2c-d-realization-cutover
feat/2c-d-realization-cutover
12m 22s
fix(economic): decode the 0x0032 bundle-acceptance leaf — a trader wh… CodeQL #455: Commit 0b58920 pushed by cryptskii
12m 57s main
main
12m 57s
fix(economic): decode the 0x0032 bundle-acceptance leaf — a trader who settled could admit nothing again CodeQL #454: Pull request #855 opened by cryptskii
10m 55s fix/economic-decode-bundle-acceptance-leaf
fix/economic-decode-bundle-acceptance-leaf
10m 55s
fix(2c-D): Req 21.16 proves the receipt's facts under the validated R… CodeQL #453: Commit 8d251c0 pushed by cryptskii
13m 47s main
main
13m 47s
fix(2c-D): Req 21.16 proves the receipt's facts under the validated R_T^+, not a device root CodeQL #452: Pull request #854 opened by cryptskii
12m 13s fix/2c-d-req-21-16-economic-receipt-root
fix/2c-d-req-21-16-economic-receipt-root
12m 13s
feat(2c-D): PR B — construct and publish TA_B from the economic post-… CodeQL #451: Commit 1c96dbb pushed by cryptskii
11m 41s main
main
11m 41s
feat(2c-D): PR B — construct and publish TA_B from the economic post-state CodeQL #450: Pull request #853 opened by cryptskii
12m 22s feat/2c-d-producer-trader-acceptance
feat/2c-d-producer-trader-acceptance
12m 22s