GKAT probe

Workflow runs for GKAT probe

• contract: normalize_kleene returns WhereSet (WHERE-terminal only); GKAT Where/Check negation duality pinned

  completed successfully:
  GKAT probe#10:Pull request#1687openedbyAdaWorldAPI
  claude/eager-albattani-iufugq-k3-admission

  Oct 21, 202626s
  More actions for workflow run 10

• Merge pull request #1679 from AdaWorldAPI/ccr-d3ce1263-ied9yh

  completed successfully:
  GKAT probe#9:Commitb8bb4ebpushedbyAdaWorldAPI
  main

  Oct 21, 202621s
  More actions for workflow run 9

• gkat-probe: a K3 guard reads a leaf plus validity, never a NULL's payload; D-GKAT-0 board closeout

  completed successfully:
  GKAT probe#8:Pull request#1679synchronizebyAdaWorldAPI
  ccr-d3ce1263-ied9yh

  Oct 21, 202630s
  More actions for workflow run 8

• gkat-probe: a K3 guard reads a leaf plus validity, never a NULL's payload; D-GKAT-0 board closeout

  completed successfully:
  GKAT probe#7:Pull request#1679synchronizebyAdaWorldAPI
  ccr-d3ce1263-ied9yh

  Oct 21, 202623s
  More actions for workflow run 7

• gkat-probe: a K3 guard reads a leaf plus validity, never a NULL's payload; D-GKAT-0 board closeout

  completed successfully:
  GKAT probe#6:Pull request#1679synchronizebyAdaWorldAPI
  ccr-d3ce1263-ied9yh

  Oct 21, 202622s
  More actions for workflow run 6

• gkat-probe: a K3 guard reads a leaf plus validity, never a NULL's payload; D-GKAT-0 board closeout

  completed successfully:
  GKAT probe#5:Pull request#1679openedbyAdaWorldAPI
  ccr-d3ce1263-ied9yh

  Oct 21, 202623s
  More actions for workflow run 5

• Merge pull request #1676 from AdaWorldAPI/ccr-d3ce1263-ied9yh

  completed successfully:
  GKAT probe#4:Commit6d7442cpushedbyAdaWorldAPI
  main

  Oct 21, 202620s
  More actions for workflow run 4

• gkat-probe: D-GKAT-0 PROBE, bounded GKAT checking of structured Rubicon flows

  completed successfully:
  GKAT probe#3:Pull request#1676synchronizebyAdaWorldAPI
  ccr-d3ce1263-ied9yh

  Oct 21, 202620s
  More actions for workflow run 3

• gkat-probe: D-GKAT-0 PROBE, bounded GKAT checking of structured Rubicon flows

  completed successfully:
  GKAT probe#2:Pull request#1676synchronizebyAdaWorldAPI
  ccr-d3ce1263-ied9yh

  Oct 21, 202621s
  More actions for workflow run 2

• gkat-probe: D-GKAT-0 PROBE, bounded GKAT checking of structured Rubicon flows

  completed successfully:
  GKAT probe#1:Pull request#1676openedbyAdaWorldAPI
  ccr-d3ce1263-ied9yh

  Oct 21, 202621s
  More actions for workflow run 1