All workflows

Workflow runs

• Prepare unified naturality boundary submission and intake guide

  completed successfully:
  CI#10:Commit7aa1f96pushedbyArthur742Ramos
  main

  Sep 14, 20262m 11s
  More actions for workflow run 10

• Align shared matcher declarations and preflight extension identity

  completed successfully:
  CI#9:Commite1992d4pushedbyArthur742Ramos
  main

  Sep 14, 20262m 7s
  More actions for workflow run 9

• Prove unrestricted naturality refutation and add adequate typed syntax

  failed:
  CI#8:Commit2a89939pushedbyArthur742Ramos
  main

  Sep 14, 20263m 2s
  More actions for workflow run 8

• Distinguish unproved counterexample status from a refutation

  completed successfully:
  CI#7:Commit214a20dpushedbyArthur742Ramos
  main

  Sep 14, 20262m 54s
  More actions for workflow run 7

• Extend transport to finite presentations and clarify proof scope

  cancelled:
  CI#6:Commit0c92f50pushedbyArthur742Ramos
  main

  Sep 14, 20261m 36s
  More actions for workflow run 6

• Compare the transport operation explicitly

  completed successfully:
  CI#5:Commitc911d5fpushedbyArthur742Ramos
  main

  Sep 14, 20261m 47s
  More actions for workflow run 5

• Add certified naturality and transport

  failed:
  CI#4:Commit32d380apushedbyArthur742Ramos
  main

  Sep 14, 20262m 31s
  More actions for workflow run 4

• Declare NanoDa export axiom allowlist

  completed successfully:
  CI#3:Commit7214a93pushedbyArthur742Ramos
  main

  Sep 14, 20261m 54s
  More actions for workflow run 3

• Align Comparator replay with current Landrun CLI

  failed:
  CI#2:Commite95a3f7pushedbyArthur742Ramos
  main

  Sep 14, 20261m 54s
  More actions for workflow run 2

• Formalize two-dimensional beta-eta separation

  failed:
  CI#1:Commit3c9b6acpushedbyArthur742Ramos
  main

  Sep 14, 20261m 51s
  More actions for workflow run 1