CodeQL Security Analysis

codeql.yml

408 workflow runs

docs(consolidate): record 2026-06-15→18 fidelity arc in ledger + seam…
completed successfully:
CodeQL Security Analysis#133:Commit52e2b60pushedbyhyperpolymath
main
Jun 18, 202641s
docs(consolidate): 2026-06-15→18 fidelity arc in ledger + seams sweep
completed successfully:
CodeQL Security Analysis#132:Pull request#233synchronizebyhyperpolymath
claude/confident-shannon-xf0Td
Jun 18, 202641s
docs(bridge): record EchoAggregation / oikos alib aggregation bridge
completed successfully:
CodeQL Security Analysis#131:Commit2072e2dpushedbyhyperpolymath
main
Jun 18, 202641s
docs(consolidate): 2026-06-15→18 fidelity arc in ledger + seams sweep
completed successfully:
CodeQL Security Analysis#130:Pull request#233openedbyhyperpolymath
claude/confident-shannon-xf0Td
Jun 18, 202645s
docs(bridge): record EchoAggregation / oikos alib aggregation bridge
completed successfully:
CodeQL Security Analysis#129:Pull request#232openedbyhyperpolymath
claude/ecstatic-wright-OBEvx
Jun 18, 202637s
proof(ordinal): ordinal exponentiation ω^^ + first ε-number ε₀ (BH cl…
completed successfully:
CodeQL Security Analysis#128:Commit091aa7dpushedbyhyperpolymath
main
Jun 18, 202641s
proof(ordinal): ordinal exponentiation ω^^ + first ε-number ε₀ (BH climb rung 1)
completed successfully:
CodeQL Security Analysis#127:Pull request#231openedbyhyperpolymath
claude/confident-shannon-xf0Td
Jun 18, 202643s
fix(ci): classify EchoAggregation in kernel-note and MAP.adoc
completed successfully:
CodeQL Security Analysis#126:Commit0a86e18pushedbyhyperpolymath
main
Jun 18, 202647s
feat(aggregation): aggregation as Echo, non-disaggregability as no-section
completed successfully:
CodeQL Security Analysis#125:Pull request#230synchronizebyhyperpolymath
claude/ecstatic-wright-OBEvx
Jun 18, 202656s
feat(aggregation): aggregation as Echo, non-disaggregability as no-section
completed successfully:
CodeQL Security Analysis#124:Pull request#230synchronizebyhyperpolymath
claude/ecstatic-wright-OBEvx
Jun 18, 202639s
feat(aggregation): aggregation as Echo, non-disaggregability as no-section
completed successfully:
CodeQL Security Analysis#123:Pull request#230openedbyhyperpolymath
claude/ecstatic-wright-OBEvx
Jun 18, 202642s
docs(affirmation): AFFIRMATION + what-it-is (owner-granted SPDX excep…
completed successfully:
CodeQL Security Analysis#122:Commit124fb87pushedbyhyperpolymath
main
Jun 16, 202650s
docs/affirmation 2026 06 16
completed successfully:
CodeQL Security Analysis#121:Pull request#229synchronizebyhyperpolymath
docs/affirmation-2026-06-16
Jun 16, 20261m 1s
docs/affirmation 2026 06 16
completed successfully:
CodeQL Security Analysis#120:Pull request#229openedbyhyperpolymath
docs/affirmation-2026-06-16
Jun 16, 202648s
docs(proof-debt): add SPDX header + record 2026-06-16 trust audit (GO…
completed successfully:
CodeQL Security Analysis#119:Commit84daa83pushedbyhyperpolymath
main
Jun 16, 202648s
docs(proof-debt): add SPDX header + record 2026-06-16 trust audit (GO, wired-layer only)
completed successfully:
CodeQL Security Analysis#118:Pull request#228openedbyhyperpolymath
docs/proof-trust-audit-2026-06-16
Jun 16, 202648s
docs(echo): classify EchoDisplayed in kernel-note + MAP (kernel-guard…
completed successfully:
CodeQL Security Analysis#117:Commit1a2c52fpushedbyhyperpolymath
main
Jun 16, 202648s
feat(echo): Displayed/DispHom fibration packaging of the categorical base
completed successfully:
CodeQL Security Analysis#116:Pull request#227synchronizebyhyperpolymath
feat/echo-displayed-packaging
Jun 16, 202655s
feat(echo): Displayed/DispHom fibration packaging of the categorical base
completed successfully:
CodeQL Security Analysis#115:Pull request#227synchronizebyhyperpolymath
feat/echo-displayed-packaging
Jun 16, 202642s
feat(echo): Displayed/DispHom fibration packaging of the categorical base
completed successfully:
CodeQL Security Analysis#114:Pull request#227openedbyhyperpolymath
feat/echo-displayed-packaging
Jun 16, 202645s
docs: standardize attribution email to j.d.a.jewell@open.ac.uk (#226)
completed successfully:
CodeQL Security Analysis#113:Commitd4048b2pushedbyhyperpolymath
main
Jun 15, 20262m 56s
docs: standardize attribution email to j.d.a.jewell@open.ac.uk
completed successfully:
CodeQL Security Analysis#112:Pull request#226openedbyhyperpolymath
claude/practical-newton-9eFe2
Jun 15, 20261m 42s
proof(ordinal): reduce Fidelity trust boundary 3→2 — construct BH tar…
completed successfully:
CodeQL Security Analysis#111:Commit1fa8129pushedbyhyperpolymath
main
Jun 15, 20261m 6s
proof(ordinal): reduce Fidelity trust boundary 3→2 — construct BH target in --safe kernel
completed successfully:
CodeQL Security Analysis#110:Pull request#225openedbyhyperpolymath
claude/confident-shannon-xf0Td
Jun 15, 202646s
Ordinal/Buchholz: checked refutation of rank-pow monotonicity at the …
completed successfully:
CodeQL Security Analysis#109:Commitfe18943pushedbyhyperpolymath
main
Jun 15, 202654s

Navigation Menu

CodeQL Security Analysis

408 workflow runs

docs(consolidate): record 2026-06-15→18 fidelity arc in ledger + seam…

docs(consolidate): 2026-06-15→18 fidelity arc in ledger + seams sweep

docs(bridge): record EchoAggregation / oikos alib aggregation bridge

docs(consolidate): 2026-06-15→18 fidelity arc in ledger + seams sweep

docs(bridge): record EchoAggregation / oikos alib aggregation bridge

proof(ordinal): ordinal exponentiation ω^^ + first ε-number ε₀ (BH cl…

proof(ordinal): ordinal exponentiation ω^^ + first ε-number ε₀ (BH climb rung 1)

fix(ci): classify EchoAggregation in kernel-note and MAP.adoc

feat(aggregation): aggregation as Echo, non-disaggregability as no-section

feat(aggregation): aggregation as Echo, non-disaggregability as no-section

feat(aggregation): aggregation as Echo, non-disaggregability as no-section

docs(affirmation): AFFIRMATION + what-it-is (owner-granted SPDX excep…

docs/affirmation 2026 06 16

docs/affirmation 2026 06 16

docs(proof-debt): add SPDX header + record 2026-06-16 trust audit (GO…

docs(proof-debt): add SPDX header + record 2026-06-16 trust audit (GO, wired-layer only)

docs(echo): classify EchoDisplayed in kernel-note + MAP (kernel-guard…

feat(echo): Displayed/DispHom fibration packaging of the categorical base

feat(echo): Displayed/DispHom fibration packaging of the categorical base

feat(echo): Displayed/DispHom fibration packaging of the categorical base

docs: standardize attribution email to j.d.a.jewell@open.ac.uk (#226)

docs: standardize attribution email to j.d.a.jewell@open.ac.uk

proof(ordinal): reduce Fidelity trust boundary 3→2 — construct BH tar…

proof(ordinal): reduce Fidelity trust boundary 3→2 — construct BH target in --safe kernel

Ordinal/Buchholz: checked refutation of rank-pow monotonicity at the …

ProTip! You can narrow down the results and go further in time using the filter or the other filters available.

Workflow runs for CodeQL Security Analysis

408 workflow runs

ProTip! You can narrow down the results and go further in time using the created: filter or the other filters available.

ProTip! You can narrow down the results and go further in time using the filter or the other filters available.