Recorded figures

Workflow runs for Recorded figures

• Merge pull request #12 from sofiapetrusenko/phase-3b2-polarity

  completed successfully:
  Recorded figures#3:Commit8420dbfpushedbysofiapetrusenko
  main

  Aug 25, 20267m 22s
  More actions for workflow run 3

• Phase 3b-2: polarity as a declared input; the §(e) falsifier fired

  skipped:
  Recorded figures#2:Pull request#12openedbysofiapetrusenko
  phase-3b2-polarity

  Aug 25, 20261s
  More actions for workflow run 2

• Phase 3b-2: polarity as declared input, W11 re-run, loop closed at cap

  completed successfully:
  Recorded figures#1:Commit4d8123fpushedbysofiapetrusenko
  phase-3b2-polarity

  Aug 25, 20267m 23s
  More actions for workflow run 1