Crepe plan probe

Workflow runs for Crepe plan probe

• Merge pull request #1690 from AdaWorldAPI/ccr-0455e606-wmtsor

  completed successfully:
  Crepe plan probe#75:Commit9cafc8apushedbyAdaWorldAPI
  main

  Oct 22, 202618m 9s
  More actions for workflow run 75

• D-MPS-9 MORK query_multi oracle + math-compiler Stage A matrix and Stage B (E1) probe

  completed successfully:
  Crepe plan probe#74:Pull request#1690synchronizebyAdaWorldAPI
  ccr-0455e606-wmtsor

  Oct 22, 202610m 43s
  More actions for workflow run 74

• D-MPS-9 MORK query_multi oracle + math-compiler Stage A matrix and Stage B (E1) probe

  completed successfully:
  Crepe plan probe#73:Pull request#1690synchronizebyAdaWorldAPI
  ccr-0455e606-wmtsor

  Oct 22, 202617m 57s
  More actions for workflow run 73

• D-MPS-9 MORK query_multi oracle + math-compiler Stage A matrix and Stage B (E1) probe

  completed successfully:
  Crepe plan probe#72:Pull request#1690synchronizebyAdaWorldAPI
  ccr-0455e606-wmtsor

  Oct 22, 202619m 7s
  More actions for workflow run 72

• D-MPS-9 MORK query_multi oracle + math-compiler Stage A matrix and Stage B (E1) probe

  completed successfully:
  Crepe plan probe#71:Pull request#1690openedbyAdaWorldAPI
  ccr-0455e606-wmtsor

  Oct 22, 202618m 1s
  More actions for workflow run 71

• Merge pull request #1687 from AdaWorldAPI/claude/eager-albattani-iufu…

  completed successfully:
  Crepe plan probe#70:Commit50990a5pushedbyAdaWorldAPI
  main

  Oct 21, 202619m 5s
  More actions for workflow run 70

• Merge pull request #1686 from AdaWorldAPI/claude/eager-albattani-iufu…

  completed successfully:
  Crepe plan probe#69:Commitd1b9c9dpushedbyAdaWorldAPI
  main

  Oct 21, 202613m 47s
  More actions for workflow run 69

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

  completed successfully:
  Crepe plan probe#68:Pull request#1687openedbyAdaWorldAPI
  claude/eager-albattani-iufugq-k3-admission

  Oct 21, 202614m 10s
  More actions for workflow run 68

• r2il: bool_or/bool_and keep NULL apart from FALSE; COUNT(DISTINCT) excludes NULL keys (D-RFT-1 correction)

  completed successfully:
  Crepe plan probe#67:Pull request#1686openedbyAdaWorldAPI
  claude/eager-albattani-iufugq-rft1-null

  Oct 21, 202617m 55s
  More actions for workflow run 67

• Merge pull request #1681 from AdaWorldAPI/ccr-0455e606-rft1

  completed successfully:
  Crepe plan probe#66:Commit0f756b9pushedbyAdaWorldAPI
  main

  Oct 21, 202612m 31s
  More actions for workflow run 66

• D-RFT-1 typed composition + r2il PostgreSQL primitive polyfill (IntXor/ANY/ALL/KEY_RUNS, checked scalar arithmetic, 19 procedures)

  completed successfully:
  Crepe plan probe#65:Pull request#1681synchronizebyAdaWorldAPI
  ccr-0455e606-rft1

  Oct 21, 202615m 13s
  More actions for workflow run 65

• D-RFT-1 typed composition + r2il PostgreSQL primitive polyfill (IntXor/ANY/ALL/KEY_RUNS, checked scalar arithmetic, 19 procedures)

  completed successfully:
  Crepe plan probe#64:Pull request#1681synchronizebyAdaWorldAPI
  ccr-0455e606-rft1

  Oct 21, 202613m 33s
  More actions for workflow run 64

• D-RFT-1 typed composition + r2il PostgreSQL primitive polyfill (IntXor/ANY/ALL/KEY_RUNS, checked scalar arithmetic, 19 procedures)

  completed successfully:
  Crepe plan probe#63:Pull request#1681synchronizebyAdaWorldAPI
  ccr-0455e606-rft1

  Oct 21, 202618m 24s
  More actions for workflow run 63

• D-RFT-1 typed composition + r2il PostgreSQL primitive polyfill (IntXor/ANY/ALL/KEY_RUNS, checked scalar arithmetic, 19 procedures)

  completed successfully:
  Crepe plan probe#62:Pull request#1681openedbyAdaWorldAPI
  ccr-0455e606-rft1

  Oct 21, 202614m 21s
  More actions for workflow run 62

• quack: SQL WHERE against PostgreSQL through sql_where + mask-risc, compared by mask Xor

  completed successfully:
  Crepe plan probe#61:Pull request#1677openedbyAdaWorldAPI
  ccr-0455e606-wmtsor

  Oct 21, 202619m 29s
  More actions for workflow run 61

• Merge pull request #1668 from AdaWorldAPI/ccr-0455e606-wmtsor

  completed successfully:
  Crepe plan probe#60:Commit0868c2cpushedbyAdaWorldAPI
  main

  Oct 21, 202614m 0s
  More actions for workflow run 60

• D-RFT-0 / D-QSP-0: Kleene form of set normalization (SQL NULL), PostgreSQL differential

  completed successfully:
  Crepe plan probe#59:Pull request#1668synchronizebyAdaWorldAPI
  ccr-0455e606-wmtsor

  Oct 21, 202611m 2s
  More actions for workflow run 59

• D-RFT-0 / D-QSP-0: Kleene form of set normalization (SQL NULL), PostgreSQL differential

  completed successfully:
  Crepe plan probe#58:Pull request#1668synchronizebyAdaWorldAPI
  ccr-0455e606-wmtsor

  Oct 21, 202611m 54s
  More actions for workflow run 58

• D-RFT-0 / D-QSP-0: Kleene form of set normalization (SQL NULL), PostgreSQL differential

  completed successfully:
  Crepe plan probe#57:Pull request#1668openedbyAdaWorldAPI
  ccr-0455e606-wmtsor

  Oct 21, 202619m 14s
  More actions for workflow run 57

• Merge pull request #1659 from AdaWorldAPI/ccr-0455e606-wmtsor

  completed successfully:
  Crepe plan probe#56:Commit1c16153pushedbyAdaWorldAPI
  main

  Oct 21, 202620m 7s
  More actions for workflow run 56

• Zero-copy joins: relations are lanes, a side is an index map $i (mork-pathmap-probe, crepe-plan-probe)

  completed successfully:
  Crepe plan probe#55:Pull request#1659synchronizebyAdaWorldAPI
  ccr-0455e606-wmtsor

  Oct 21, 202610m 43s
  More actions for workflow run 55

• Zero-copy joins: relations are lanes, a side is an index map $i (mork-pathmap-probe, crepe-plan-probe)

  completed successfully:
  Crepe plan probe#54:Pull request#1659synchronizebyAdaWorldAPI
  ccr-0455e606-wmtsor

  Oct 21, 202611m 56s
  More actions for workflow run 54

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

  completed successfully:
  Crepe plan probe#53:Commit1bbb541pushedbyAdaWorldAPI
  main

  Oct 21, 202619m 3s
  More actions for workflow run 53

• U4 (D-RU-4): co-addressed join operator over one JoinDomain

  completed successfully:
  Crepe plan probe#52:Pull request#1658synchronizebyAdaWorldAPI
  ccr-d3ce1263-ied9yh

  Oct 21, 202615m 7s
  More actions for workflow run 52

• U4 (D-RU-4): co-addressed join operator over one JoinDomain

  completed successfully:
  Crepe plan probe#51:Pull request#1658synchronizebyAdaWorldAPI
  ccr-d3ce1263-ied9yh

  Oct 21, 202617m 55s
  More actions for workflow run 51