Skip to content

Actions: fermga/TNFR-Python-Engine

Actions

CodeQL Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql-analysis.yml
1,557 workflow runs
1,557 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
CodeQL Analysis CodeQL Analysis #3303: Scheduled
17s main
main
17s
CodeQL Analysis CodeQL Analysis #3302: Scheduled
12s main
main
12s
TNFR Yang-Mills Y5 closure classification CodeQL Analysis #3301: Commit 74f9f7b pushed by fermga
15s main
main
15s
docs: add N16 (NS-G5 closure) and N17-A (K41 analytical) to CHANGELOG… CodeQL Analysis #3300: Commit 2c822da pushed by fermga
19s main
main
19s
N16: NS-G5 discrete algebraic closure — 2D-Embedding Lemma CodeQL Analysis #3299: Commit 75cca36 pushed by fermga
22s main
main
22s
docs: third audit — fix line count (476->816), operators count (56->6… CodeQL Analysis #3298: Commit a0a85cf pushed by fermga
21s main
main
21s
docs: second audit — fix REMESH line count, benchmark count, add Navi… CodeQL Analysis #3297: Commit a04ea63 pushed by fermga
13s main
main
13s
docs: audit pass — fix stale counts, filenames, and section maps CodeQL Analysis #3296: Commit 9606c6d pushed by fermga
18s main
main
18s
docs(theory): add Nucleus A internal atlas and Nucleus B publication-… CodeQL Analysis #3295: Commit 8a76858 pushed by fermga
19s main
main
19s
theory: section 13sexagesima-novena closes Q5 + E2 via Line-Graph Equ… CodeQL Analysis #3294: Commit 4e27eeb pushed by fermga
17s main
main
17s
§13sexagesima-octava: B0*-alpha-emergent UM/IL/THOL closure (CCET-ext… CodeQL Analysis #3293: Commit f800b08 pushed by fermga
19s main
main
19s
Sec 13sexagesima-septima: B0-star-beta Direction A (DeltaNFR promotio… CodeQL Analysis #3292: Commit 4e8a087 pushed by fermga
22s main
main
22s
Sec 13sexagesima-sexta: B0-star-beta HIGH analytical closure - P1 (E0… CodeQL Analysis #3291: Commit 8806128 pushed by fermga
17s main
main
17s
B0-star-alpha Q1/Q2 EXECUTED: CCET extends to canonical product graphs CodeQL Analysis #3290: Commit 8ac1c2f pushed by fermga
18s main
main
18s
B0-star-alpha pre-registration: canonical graph catalog beyond G_P14 … CodeQL Analysis #3289: Commit fde9c70 pushed by fermga
20s main
main
20s
Pre-register B0-star fourth branch of Sec 13septies trichotomy CodeQL Analysis #3288: Commit d00b72c pushed by fermga
17s main
main
17s
B1 closure on G_P14: Canonical Catalog Equivariance Theorem (CCET-G_P14) CodeQL Analysis #3287: Commit e95dede pushed by fermga
18s main
main
18s
Final composite meta-minimality theorem: B0-B11 NEGATIVE verdicts ass… CodeQL Analysis #3286: Commit 4520a20 pushed by fermga
19s main
main
19s
B11 Phase c: NEGATIVE verdict for T-operator-catalog-closure, promote… CodeQL Analysis #3285: Commit e81415e pushed by fermga
20s main
main
20s
B11 Phase a: Operator-Catalog Discipline signature diagnostic for cat… CodeQL Analysis #3284: Commit 73a8333 pushed by fermga
13s main
main
13s
B10 Phase c: NEGATIVE verdict for T-u-rules-consistency, promote URC … CodeQL Analysis #3283: Commit d81cc96 pushed by fermga
17s main
main
17s
B10 Phase a: U-Rules Consistency Signature diagnostic for type-hygien… CodeQL Analysis #3282: Commit 09ffed0 pushed by fermga
18s main
main
18s
B9 Phase c: NEGATIVE verdict for T-aggregates-closure, promote ACD as… CodeQL Analysis #3281: Commit ed870ac pushed by fermga
18s main
main
18s
B9 Phase a: empirical diagnostic for Delta-aggregates-closure on cano… CodeQL Analysis #3280: Commit 4676557 pushed by fermga
17s main
main
17s
B8 Phase c: NEGATIVE verdict for T-currents-closure, promote CCC as n… CodeQL Analysis #3279: Commit ff6aef9 pushed by fermga
18s main
main
18s