CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• Update README.adoc

  failed:
  CodeQL Security Analysis#27:Pull request#2openedbyhyperpolymath
  hyperpolymath-patch-1

  Apr 10, 202633s
  More actions for workflow run 27

• chore: automated sync of local changes

  failed:
  CodeQL Security Analysis#26:Commit21383d8pushedbyhyperpolymath
  main

  Apr 9, 20261m 18s
  More actions for workflow run 26

• Update README.adoc (#1)

  failed:
  CodeQL Security Analysis#25:Commit3198ab6pushedbyhyperpolymath
  main

  Apr 8, 202634s
  More actions for workflow run 25

• Update README.adoc

  failed:
  CodeQL Security Analysis#24:Pull request#1openedbyhyperpolymath
  hyperpolymath-patch-1

  Apr 8, 202627s
  More actions for workflow run 24

• CodeQL Security Analysis

  failed:
  CodeQL Security Analysis#23:Scheduled
  main

  Apr 6, 202638s
  More actions for workflow run 23

• feat: add dialects/ scaffolds for 3 Tangle-hosted DSLs

  failed:
  CodeQL Security Analysis#22:Commit8da84d6pushedbyhyperpolymath
  main

  Apr 5, 202633s
  More actions for workflow run 22

• docs: add CHANGELOG + proof-regression workflow guide

  failed:
  CodeQL Security Analysis#21:Commit4337b23pushedbyhyperpolymath
  main

  Apr 5, 20261m 4s
  More actions for workflow run 21

• feat: add playground/ scaffold

  failed:
  CodeQL Security Analysis#20:Commita003623pushedbyhyperpolymath
  main

  Apr 5, 20261m 5s
  More actions for workflow run 20

• docs: add CRG v2 READINESS.md (grade C)

  failed:
  CodeQL Security Analysis#19:Commit74595f9pushedbyhyperpolymath
  main

  Apr 5, 20261m 17s
  More actions for workflow run 19

• docs: rewrite README as KRL architecture introduction + add visual map

  failed:
  CodeQL Security Analysis#18:Commit8acd2aepushedbyhyperpolymath
  main

  Apr 5, 202636s
  More actions for workflow run 18

• feat(crg): add crg-grade and crg-badge justfile recipes

  failed:
  CodeQL Security Analysis#17:Commitafe7a37pushedbyhyperpolymath
  main

  Apr 4, 20266h 22m 8s
  More actions for workflow run 17

• docs: add TOPOLOGY.md

  failed:
  CodeQL Security Analysis#16:Commit41068eepushedbyhyperpolymath
  main

  Apr 4, 20262h 24m 10s
  More actions for workflow run 16

• ci: deploy dogfood-gate, update hypatia-scan workflow; add CRG tests

  failed:
  CodeQL Security Analysis#15:Commitd55a474pushedbyhyperpolymath
  main

  Apr 4, 20261h 45m 30s
  More actions for workflow run 15

• Remove template-only ABI files that falsely implied formal verification

  failed:
  CodeQL Security Analysis#14:Commit827524dpushedbyhyperpolymath
  main

  Mar 30, 202617m 33s
  More actions for workflow run 14

• feat: add Lean 4 formal proofs — progress, preservation, determinism

  failed:
  CodeQL Security Analysis#13:Commit8ce7be7pushedbyhyperpolymath
  main

  Mar 30, 20261m 0s
  More actions for workflow run 13

• CodeQL Security Analysis

  failed:
  CodeQL Security Analysis#12:Scheduled
  main

  Mar 30, 202645s
  More actions for workflow run 12

• fix: apply permutation in tangle composition type checking

  failed:
  CodeQL Security Analysis#11:Commit182b7bfpushedbyhyperpolymath
  main

  Mar 30, 202642s
  More actions for workflow run 11

• Remove stale SONNET-TASKS.md and add to .gitignore

  failed:
  CodeQL Security Analysis#10:Commit4dfd5d7pushedbyhyperpolymath
  main

  Mar 29, 202627m 47s
  More actions for workflow run 10

• chore: deploy UX infrastructure (contractile.just, .well-known, manif…

  failed:
  CodeQL Security Analysis#9:Commit4ca68d1pushedbyhyperpolymath
  main

  Mar 29, 20263m 23s
  More actions for workflow run 9

• Fix EXPLAINME.adoc section heading quotes

  failed:
  CodeQL Security Analysis#8:Commita9bc5ccpushedbyhyperpolymath
  main

  Mar 28, 20262m 29s
  More actions for workflow run 8

• feat: add UX Justfile with doctor, tour, help-me, assail recipes

  failed:
  CodeQL Security Analysis#7:Commit0d5cb5bpushedbyhyperpolymath
  main

  Mar 28, 202613m 14s
  More actions for workflow run 7

• fix: EXPLAINME.adoc — quote README claims, brief format, evidence table

  failed:
  CodeQL Security Analysis#6:Commite2e8d96pushedbyhyperpolymath
  main

  Mar 28, 202653s
  More actions for workflow run 6

• chore: add UX infrastructure (quickstart, doctor, setup)

  failed:
  CodeQL Security Analysis#5:Commit7fd0962pushedbyhyperpolymath
  main

  Mar 28, 20261h 11m 24s
  More actions for workflow run 5

• chore: OpenSSF workflows and compliance updates

  failed:
  CodeQL Security Analysis#4:Commit6331fcfpushedbyhyperpolymath
  main

  Mar 24, 20261h 1m 10s
  More actions for workflow run 4

• chore: add agent_instructions methodology layer

  failed:
  CodeQL Security Analysis#3:Commitd2b4d89pushedbyhyperpolymath
  main

  Mar 24, 20261h 35m 20s
  More actions for workflow run 3