Adapter contracts

Workflow runs for Adapter contracts

• Merge pull request #6 from momonpya/memory-context-release

  completed successfully:
  Adapter contracts#11:Commit5187316pushedbymomonpya
  main

  Oct 10, 20262m 25s
  More actions for workflow run 11

• Preserve coherent evidence context and publish continuous-memory benchmarks

  completed successfully:
  Adapter contracts#10:Pull request#6openedbymomonpya
  memory-context-release

  Oct 10, 20262m 44s
  More actions for workflow run 10

• Merge indexed evidence memory and release refresh (#5)

  completed successfully:
  Adapter contracts#9:Commit37b3bffpushedbymomonpya
  main

  Oct 10, 20262m 39s
  More actions for workflow run 9

• Publish indexed evidence memory and current LLVM measurements

  completed successfully:
  Adapter contracts#8:Pull request#5synchronizebymomonpya
  indexed-memory-release

  Oct 10, 20262m 53s
  More actions for workflow run 8

• Publish indexed evidence memory and current LLVM measurements

  failed:
  Adapter contracts#7:Pull request#5synchronizebymomonpya
  indexed-memory-release

  Oct 10, 20262m 37s
  More actions for workflow run 7

• Publish indexed evidence memory and current LLVM measurements

  failed:
  Adapter contracts#6:Pull request#5openedbymomonpya
  indexed-memory-release

  Oct 10, 20262m 22s
  More actions for workflow run 6

• Clarify the opening of the recorded demo

  completed successfully:
  Adapter contracts#5:Pull request#4openedbymomonpya
  demo-intro

  Sep 13, 20261m 11s
  More actions for workflow run 5

• Show the recorded two-chat demo in the README

  completed successfully:
  Adapter contracts#4:Pull request#3openedbymomonpya
  harness-adapters

  Sep 13, 20261m 29s
  More actions for workflow run 4

• Wait for test managers to exit before removing fixtures

  completed successfully:
  Adapter contracts#3:Pull request#2openedbyo8vm
  harness-adapters

  Sep 12, 20261m 28s
  More actions for workflow run 3

• Merge pull request #1 from momonpya/harness-adapters

  completed successfully:
  Adapter contracts#2:Commit6059647pushedbyo8vm
  main

  Sep 12, 20261m 30s
  More actions for workflow run 2

• Move retrieval and integrations to Lean with checked contracts

  completed successfully:
  Adapter contracts#1:Pull request#1openedbyo8vm
  harness-adapters

  Sep 12, 20261m 13s
  More actions for workflow run 1