Security Audit

Workflow runs for Security Audit

• feat(assail): line-anchor Lean/Isabelle sorry findings so inline mark…

  completed successfully:
  Security Audit#930:Commit36f1055pushedbyhyperpolymath
  main

  Nov 10, 20263m 15s
  More actions for workflow run 930

• feat(assail): line-anchor Lean/Isabelle sorry findings so inline markers apply

  completed successfully:
  Security Audit#929:Pull request#278synchronizebyhyperpolymath
  claude/compassionate-fermat-9x7vpe-proofdrift-lines

  Nov 10, 20261m 42s
  More actions for workflow run 929

• feat(publish): prototype generation-directory publish (not wired), wi…

  completed successfully:
  Security Audit#928:Commitd4a68edpushedbyhyperpolymath
  main

  Nov 9, 202643s
  More actions for workflow run 928

• feat(publish): prototype generation-directory publish (not wired), with experiments and a model check

  completed successfully:
  Security Audit#927:Pull request#275synchronizebyhyperpolymath
  claude/gallant-bell-4bo4oy-l-gen-dir

  Nov 9, 202642s
  More actions for workflow run 927

• fix(abi): type-check the Idris2 proofs in CI and re-prove line-commen…

  completed successfully:
  Security Audit#926:Commite12b823pushedbyhyperpolymath
  main

  Nov 9, 20261m 9s
  More actions for workflow run 926

• fix(abi): type-check the Idris2 proofs in CI and re-prove line-comment stripping

  completed successfully:
  Security Audit#925:Pull request#281synchronizebyhyperpolymath
  claude/gallant-bell-4bo4oy-n-idris-abi-ci

  Nov 9, 20261m 58s
  More actions for workflow run 925

• fix(assail): refuse an unwritable KYAML copy or sidecar before replac…

  completed successfully:
  Security Audit#924:Commit671c3a9pushedbyhyperpolymath
  main

  Nov 9, 202652s
  More actions for workflow run 924

• fix(assail): refuse an unwritable KYAML copy or sidecar before replacing the report

  completed successfully:
  Security Audit#923:Pull request#274synchronizebyhyperpolymath
  claude/gallant-bell-4bo4oy-m-companion-writable

  Nov 9, 20261m 0s
  More actions for workflow run 923

• fix(deps): move futures-util to 0.3.34, dropping pin-utils (#273)

  completed successfully:
  Security Audit#922:Commit39db4e3pushedbyhyperpolymath
  main

  Nov 9, 202623s
  More actions for workflow run 922

• chore(deps): bump the actions group across 1 directory with 4 updates

  completed successfully:
  Security Audit#921:Pull request#284openedbydependabot[bot]Bot
  dependabot/github_actions/actions-bfe1b08dbd

  Nov 9, 20261m 3s
  More actions for workflow run 921

• feat(assail): route languages through a tested table; retire the vacuous PA1

  completed successfully:
  Security Audit#920:Pull request#282stackedbyhyperpolymath
  claude/pa1-routing-table

  Nov 9, 202638m 30s
  More actions for workflow run 920

• ci(abi): gate the Idris2 proofs on every PR, with module-shaped paths

  completed successfully:
  Security Audit#919:Pull request#279stackedbyhyperpolymath
  claude/abi-idris2-gate

  Nov 9, 202638m 16s
  More actions for workflow run 919

• fix(abi): repair the Idris2 proofs and record proof status against the policy

  completed successfully:
  Security Audit#918:Pull request#277synchronizebyhyperpolymath
  claude/proof-status-reconcile

  Nov 9, 202638m 10s
  More actions for workflow run 918

• fix(abi): repair the Idris2 proofs and record proof status against the policy

  cancelled:
  Security Audit#917:Pull request#277synchronizebyhyperpolymath
  claude/proof-status-reconcile

  Nov 9, 202636m 24s
  More actions for workflow run 917

• fix(abi): type-check the Idris2 proofs in CI and re-prove line-comment stripping

  completed successfully:
  Security Audit#916:Pull request#281openedbyhyperpolymath
  claude/gallant-bell-4bo4oy-n-idris-abi-ci

  Nov 9, 202640m 27s
  More actions for workflow run 916

• feat(assail): line-anchor Lean/Isabelle sorry findings so inline markers apply

  completed successfully:
  Security Audit#915:Pull request#278synchronizebyhyperpolymath
  claude/compassionate-fermat-9x7vpe-proofdrift-lines

  Nov 9, 202632m 59s
  More actions for workflow run 915

• feat(publish): prototype generation-directory publish (not wired), with experiments and a model check

  completed successfully:
  Security Audit#914:Pull request#275synchronizebyhyperpolymath
  claude/gallant-bell-4bo4oy-l-gen-dir

  Nov 9, 202631m 30s
  More actions for workflow run 914

• feat(assail): line-anchor Lean/Isabelle sorry findings so inline markers apply

  cancelled:
  Security Audit#913:Pull request#278openedbyhyperpolymath
  claude/compassionate-fermat-9x7vpe-proofdrift-lines

  Nov 9, 202610m 5s
  More actions for workflow run 913

• fix(abi): repair the Idris2 proofs and record proof status against the policy

  completed successfully:
  Security Audit#912:Pull request#277openedbyhyperpolymath
  claude/proof-status-reconcile

  Nov 9, 202627m 57s
  More actions for workflow run 912

• feat(publish): prototype generation-directory publish (not wired), with experiments and a model check

  completed successfully:
  Security Audit#911:Pull request#275synchronizebyhyperpolymath
  claude/gallant-bell-4bo4oy-l-gen-dir

  Nov 9, 202614m 11s
  More actions for workflow run 911

• feat(publish): prototype generation-directory publish (not wired), with experiments and a model check

  completed successfully:
  Security Audit#910:Pull request#275openedbyhyperpolymath
  claude/gallant-bell-4bo4oy-l-gen-dir

  Nov 9, 202611m 12s
  More actions for workflow run 910

• fix(assail): refuse an unwritable KYAML copy or sidecar before replacing the report

  completed successfully:
  Security Audit#909:Pull request#274openedbyhyperpolymath
  claude/gallant-bell-4bo4oy-m-companion-writable

  Nov 9, 202610m 22s
  More actions for workflow run 909

• fix(deps): move futures-util to 0.3.34, dropping pin-utils

  completed successfully:
  Security Audit#908:Pull request#273openedbyhyperpolymath
  claude/futures-util-drop-pin-utils

  Nov 9, 20269m 59s
  More actions for workflow run 908

• Security Audit

  completed successfully:
  Security Audit#907:Scheduled
  main

  Nov 8, 202615s
  More actions for workflow run 907

• chore(deps): bump ureq from 3.5.0 to 3.5.1 in the rust-minor group

  completed successfully:
  Security Audit#906:Pull request#272openedbydependabot[bot]Bot
  dependabot/cargo/rust-minor-a61e9ba369

  Nov 7, 202627s
  More actions for workflow run 906