⚙ Auto: Instant sync

Workflow runs for ⚙ Auto: Instant sync

• docs: fix citation slug bug (C1) (#38)

  failed at startup:
  ⚙ Auto: Instant sync#33:Commit8a0319epushedbyhyperpolymath
  main

  Jul 17, 2026Startup failure
  More actions for workflow run 33

• chore(deps): bump the actions group with 6 updates (#37)

  failed at startup:
  ⚙ Auto: Instant sync#32:Commitf2899cdpushedbyhyperpolymath
  main

  Jul 13, 2026Startup failure
  More actions for workflow run 32

• ci: Secret Scanner caller must grant the reusable's job permissions (…

  failed at startup:
  ⚙ Auto: Instant sync#31:Commitcd4292fpushedbyhyperpolymath
  main

  Jul 9, 2026Startup failure
  More actions for workflow run 31

• docs(spec): CO-1 operational-model design — tagged values + declared-…

  failed at startup:
  ⚙ Auto: Instant sync#30:Commitc37ab4bpushedbyhyperpolymath
  main

  Jul 8, 2026Startup failure
  More actions for workflow run 30

• Ci/secret scanner caller perms (#35)

  failed at startup:
  ⚙ Auto: Instant sync#29:Commitb9205b6pushedbyhyperpolymath
  main

  Jul 8, 2026Startup failure
  More actions for workflow run 29

• feat(lean): ratified-carrier grade mirror + factorisation re-run — ve…

  failed at startup:
  ⚙ Auto: Instant sync#28:Commit42c0537pushedbyhyperpolymath
  main

  Jul 8, 2026Startup failure
  More actions for workflow run 28

• feat(agda): migrate Theorem B carrier to ratified A1/A2 + L4 monotoni…

  failed at startup:
  ⚙ Auto: Instant sync#27:Commit37e8fa8pushedbyhyperpolymath
  main

  Jul 7, 2026Startup failure
  More actions for workflow run 27

• feat(checkers)!: A3 Attenuated(0) ingest normalization + IR 0.2 (#28)…

  failed at startup:
  ⚙ Auto: Instant sync#26:Commit945221apushedbyhyperpolymath
  main

  Jul 7, 2026Startup failure
  More actions for workflow run 26

• feat(carrier)!: ratified amendments R-2026-07-07 — A1/A2 carrier migr…

  failed at startup:
  ⚙ Auto: Instant sync#25:Commitb4d116dpushedbyhyperpolymath
  main

  Jul 7, 2026Startup failure
  More actions for workflow run 25

• feat(proofs): close #14, localise the L4 break (+repair probe), O1 at…

  failed at startup:
  ⚙ Auto: Instant sync#24:Commit2b99e9bpushedbyhyperpolymath
  main

  Jul 7, 2026Startup failure
  More actions for workflow run 24

• docs(spec): §3/§4 reconciliation — deceptive duals in the v0.1 tables…

  failed at startup:
  ⚙ Auto: Instant sync#23:Commit0bd8795pushedbyhyperpolymath
  main

  Jul 6, 2026Startup failure
  More actions for workflow run 23

• fix(ci): clear OSSF Scorecard startup_failure (#24)

  failed at startup:
  ⚙ Auto: Instant sync#22:Commita59f380pushedbyhyperpolymath
  main

  Jul 6, 2026Startup failure
  More actions for workflow run 22

• chore(deps): bump the actions group with 4 updates (#23)

  failed at startup:
  ⚙ Auto: Instant sync#21:Commit9217a72pushedbyhyperpolymath
  main

  Jul 6, 2026Startup failure
  More actions for workflow run 21

• fix(ci): re-pin rust-ci-reusable past toolchain-input breakage (#22)

  failed at startup:
  ⚙ Auto: Instant sync#20:Commite886e19pushedbyhyperpolymath
  main

  Jul 3, 2026Startup failure
  More actions for workflow run 20

• docs(proof-debt): document the two Lean audit-comment FPs (greens Tru…

  failed at startup:
  ⚙ Auto: Instant sync#19:Commit495db97pushedbyhyperpolymath
  main

  Jul 2, 2026Startup failure
  More actions for workflow run 19

• chore(deps): bump the actions group with 3 updates (#20)

  failed at startup:
  ⚙ Auto: Instant sync#18:Commit0ae76f8pushedbyhyperpolymath
  main

  Jun 29, 2026Startup failure
  More actions for workflow run 18

• ci: SHA-pin remaining unpinned actions (workflow security linter) (#19)

  failed:
  ⚙ Auto: Instant sync#17:Commit3653eaepushedbyhyperpolymath
  main

  Jun 29, 20267m 8s
  More actions for workflow run 17

• ci(dogfood): bump a2ml-validate (s-expr/colon dialects) + direct pedi…

  failed:
  ⚙ Auto: Instant sync#16:Commite04bb85pushedbyhyperpolymath
  main

  Jun 29, 202611m 36s
  More actions for workflow run 16

• ci(dogfood): add identity fields to a2ml manifests + K9 pedigree head…

  failed:
  ⚙ Auto: Instant sync#15:Commitee5b1capushedbyhyperpolymath
  main

  Jun 29, 20267s
  More actions for workflow run 15

• ci: green pre-existing checks (conformance, workflow-lint, estate-rul…

  failed:
  ⚙ Auto: Instant sync#14:Commit9ed55c5pushedbyhyperpolymath
  main

  Jun 29, 202610s
  More actions for workflow run 14

• docs(verification): register tropical factorisation probe + wire buil…

  failed:
  ⚙ Auto: Instant sync#13:Commitcf058f2pushedbyhyperpolymath
  main

  Jun 29, 202610s
  More actions for workflow run 13

• Theorem B integration — grade-algebra ground truth, metatheory, v0.2 …

  failed:
  ⚙ Auto: Instant sync#12:Commita093b78pushedbyhyperpolymath
  main

  Jun 29, 20269s
  More actions for workflow run 12

• ci: refresh standards reusable pins to current HEAD (d7c2271) (#9)

  failed:
  ⚙ Auto: Instant sync#11:Commitc08a8b7pushedbyhyperpolymath
  main

  Jun 27, 20262h 21m 23s
  More actions for workflow run 11

• chore(ci): add dormant push-email notification workflow (#8)

  failed:
  ⚙ Auto: Instant sync#10:Commita96280bpushedbyhyperpolymath
  main

  Jun 24, 202620h 46m 9s
  More actions for workflow run 10

• chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#7)

  failed:
  ⚙ Auto: Instant sync#9:Commit58942depushedbyhyperpolymath
  main

  Jun 24, 202618h 26m 19s
  More actions for workflow run 9