Skip to content

Actions: hyperpolymath/jtv-lang

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
252 workflow runs
252 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
v2 (c) Neutral reversal bridge: Echo types gate reversibility with a retained residue (Lean + Rust) CodeQL Security Analysis #177: Pull request #35 opened by hyperpolymath
2m 41s claude/dazzling-albattani-ubS9r
claude/dazzling-albattani-ubS9r
2m 41s
chore(security): delete frozen _attic archive; document rsr_check fal… CodeQL Security Analysis #176: Commit 54d3019 pushed by hyperpolymath
1m 42s main
main
1m 42s
Security-hygiene clean: CodeQL actions language, delete frozen _attic, document a scanner false-positive CodeQL Security Analysis #175: Pull request #34 opened by hyperpolymath
2m 6s claude/dazzling-albattani-ubS9r
claude/dazzling-albattani-ubS9r
2m 6s
docs: ADR-0007 graded-comonad note; STATE refresh; flag PMPL/MPL disc… CodeQL Security Analysis #174: Commit 036cc8b pushed by hyperpolymath
1m 27s main
main
1m 27s
Bookkeeping & tidying: lint-clean proofs, license hygiene, branch consolidation, ADR note CodeQL Security Analysis #173: Pull request #33 opened by hyperpolymath
2m 57s claude/dazzling-albattani-ubS9r
claude/dazzling-albattani-ubS9r
2m 57s
CodeQL Security Analysis CodeQL Security Analysis #172: Scheduled
1m 17s main
main
1m 17s
chore(machine-readable): re-align jtv to the estate-wave convention CodeQL Security Analysis #171: Commit e8a0c54 pushed by hyperpolymath
1m 28s main
main
1m 28s
Re-align jtv machine-readable to the estate-wave convention (flat contractiles + self-validating + bot_directives) CodeQL Security Analysis #170: Pull request #32 opened by hyperpolymath
1m 1s claude/jtv-realign-estate-convention
claude/jtv-realign-estate-convention
1m 1s
ci(k9): exempt standards contractile trident dir from the K9!-magic v… CodeQL Security Analysis #169: Commit 7da5988 pushed by hyperpolymath
1m 31s main
main
1m 31s
ci(k9): exempt standards contractile trident dir from the K9!-magic validator (fix main) CodeQL Security Analysis #168: Pull request #31 opened by hyperpolymath
1m 7s claude/jtv-k9-contractile-exempt
claude/jtv-k9-contractile-exempt
1m 7s
chore(contractiles): migrate julia-the-viper to the standards contrac… CodeQL Security Analysis #167: Commit d441edb pushed by hyperpolymath
1m 21s main
main
1m 21s
Checkpoint sweep (1/6): migrate jtv to standards contractiles/{family}/ trident layout CodeQL Security Analysis #166: Pull request #30 opened by hyperpolymath
1m 10s claude/jtv-contractile-migration
claude/jtv-contractile-migration
1m 10s
chore(hypatia): exempt frozen-archive placeholder DB password (false-… CodeQL Security Analysis #165: Commit cb64e47 pushed by hyperpolymath
1m 13s main
main
1m 13s
Checkpoint: ADR-0007 addition-only mandate + Echo reversibility tiering, STATE refresh CodeQL Security Analysis #164: Pull request #29 synchronize by hyperpolymath
1m 26s claude/jtv-checkpoint
claude/jtv-checkpoint
1m 26s
Checkpoint: ADR-0007 addition-only mandate + Echo reversibility tiering, STATE refresh CodeQL Security Analysis #163: Pull request #29 synchronize by hyperpolymath
22s claude/jtv-checkpoint
claude/jtv-checkpoint
22s
Checkpoint: ADR-0007 addition-only mandate + Echo reversibility tiering, STATE refresh CodeQL Security Analysis #162: Pull request #29 opened by hyperpolymath
59s claude/jtv-checkpoint
claude/jtv-checkpoint
59s
CodeQL Security Analysis CodeQL Security Analysis #161: Scheduled
1m 10s main
main
1m 10s
Proof honesty: de-vacuate 8 True-typed believeme theorems (#27) CodeQL Security Analysis #160: Commit c83786e pushed by hyperpolymath
1m 14s main
main
1m 14s
Proof honesty: de-vacuate 8 True-typed believeme theorems CodeQL Security Analysis #159: Pull request #27 opened by hyperpolymath
56s claude/jtv-proof-honesty
claude/jtv-proof-honesty
56s
Repair Lean proof suite + make Echo Types a structural typesystem gat… CodeQL Security Analysis #158: Commit f53071f pushed by hyperpolymath
1m 21s main
main
1m 21s
Repair Lean proof suite + make Echo Types a structural typesystem gate CodeQL Security Analysis #157: Pull request #26 synchronize by hyperpolymath
1m 1s claude/dazzling-albattani-ubS9r
claude/dazzling-albattani-ubS9r
1m 1s
Repair Lean proof suite + make Echo Types a structural typesystem gate CodeQL Security Analysis #156: Pull request #26 synchronize by hyperpolymath
1m 10s claude/dazzling-albattani-ubS9r
claude/dazzling-albattani-ubS9r
1m 10s
Repair Lean proof suite + make Echo Types a structural typesystem gate CodeQL Security Analysis #155: Pull request #26 opened by hyperpolymath
59s claude/dazzling-albattani-ubS9r
claude/dazzling-albattani-ubS9r
59s
Proofs-first alignment checkpoint — Echo Types accommodation (#24) CodeQL Security Analysis #154: Commit 9f5541b pushed by hyperpolymath
4m 7s main
main
4m 7s
Proofs-first alignment checkpoint — Echo Types accommodation CodeQL Security Analysis #153: Pull request #24 synchronize by hyperpolymath
4m 40s claude/affinescript-julia-viper-alignment-4guGJ
claude/affinescript-julia-viper-alignment-4guGJ
4m 40s