All workflows

Workflow runs

• ci: pin prism v0.87.30

  completed successfully:
  Engine invariants#52:Commitbfd8c99pushedbytabladrum
  main

  Oct 17, 202625m 16s
  More actions for workflow run 52

• ci: pin prism v0.87.26 / decoy astkit v0.16.9 for the invariant suite

  completed successfully:
  Engine invariants#51:Commit8e00447pushedbytabladrum
  main

  Oct 15, 202625m 13s
  More actions for workflow run 51

• Merge pull request #2 from provasign/ci/django-quotename-alias-sites

  completed successfully:
  Engine invariants#50:Commit9338f06pushedbytabladrum
  main

  Oct 15, 202624m 54s
  More actions for workflow run 50

• ci: correct django-quotename ground truth; pin prism v0.87.25

  completed successfully:
  Engine invariants#49:Pull request#2synchronizebytabladrum
  ci/django-quotename-alias-sites

  Oct 15, 202625m 33s
  More actions for workflow run 49

• ci: pin prism v0.87.21 for the invariant suite

  completed successfully:
  Engine invariants#48:Commit658d5d4pushedbytabladrum
  main

  Oct 13, 202627m 29s
  More actions for workflow run 48

• Engine invariants

  completed successfully:
  Engine invariants#47:Manually runbytabladrum
  main

  Oct 13, 202627m 59s
  More actions for workflow run 47

• decoy invariant: read graph_edges when present (grove >= v0.63.16)

  completed successfully:
  Engine invariants#46:Commit7ccb07apushedbytabladrum
  main

  Oct 13, 202627m 8s
  More actions for workflow run 46

• Engine invariants

  completed successfully:
  Engine invariants#45:Scheduled
  main

  Oct 12, 202628m 44s
  More actions for workflow run 45

• Merge pull request #1 from provasign/ci/family-size-invariant

  completed successfully:
  Engine invariants#44:Commit595348dpushedbytabladrum
  main

  Oct 12, 202618m 10s
  More actions for workflow run 44

• ci_invariants: family-size invariant (gson TypeAdapter.write == Spoon oracle 55)

  completed successfully:
  Engine invariants#43:Pull request#1synchronizebytabladrum
  ci/family-size-invariant

  Oct 12, 202626m 19s
  More actions for workflow run 43

• ci_invariants: family-size invariant (gson TypeAdapter.write == Spoon oracle 55)

  failed:
  Engine invariants#42:Pull request#1openedbytabladrum
  ci/family-size-invariant

  Oct 12, 202629m 14s
  More actions for workflow run 42

• ci: raise ceiling floors to the v0.87.0 measurement (precision 1.0 ev…

  completed successfully:
  Engine invariants#41:Commitb9c746dpushedbytabladrum
  main

  Oct 10, 202624m 8s
  More actions for workflow run 41

• ci: decoy invariant — comments must not change the graph

  completed successfully:
  Engine invariants#40:Commit36ceacapushedbytabladrum
  main

  Oct 10, 202628m 21s
  More actions for workflow run 40

• harness: drop click seed task's 31,000 stress-test ids; pytest_args t…

  completed successfully:
  Engine invariants#39:Commit5759605pushedbytabladrum
  main

  Oct 9, 202611m 49s
  More actions for workflow run 39

• results: seeded32 (native vs prism v0.86.2, Sonnet 5.5), 2026-10-05

  completed successfully:
  Engine invariants#38:Commitc324770pushedbytabladrum
  main

  Oct 6, 20268m 26s
  More actions for workflow run 38

• harness: seeded signature-change tasks (site_mode=files), history census

  completed successfully:
  Engine invariants#37:Commitfaa1e19pushedbytabladrum
  main

  Oct 5, 202610m 22s
  More actions for workflow run 37

• Engine invariants

  completed successfully:
  Engine invariants#36:Scheduled
  main

  Oct 5, 202610m 8s
  More actions for workflow run 36

• results: 2026-09-29/30 runs (plain native, minimal/forced prompts, st…

  completed successfully:
  Engine invariants#35:Commit79e98capushedbytabladrum
  main

  Oct 1, 20267m 30s
  More actions for workflow run 35

• ci_invariants: score supers; report Go interface specs as their inter…

  completed successfully:
  Engine invariants#34:Commit81f5180pushedbytabladrum
  main

  Sep 28, 202612m 4s
  More actions for workflow run 34

• Engine invariants

  completed successfully:
  Engine invariants#33:Scheduled
  main

  Sep 28, 202610m 26s
  More actions for workflow run 33

• ci_invariants: 45-min command timeout (cold Go build cache first index)

  completed successfully:
  Engine invariants#32:Commitb7535fdpushedbytabladrum
  main

  Sep 28, 202611m 40s
  More actions for workflow run 32

• harness: index with compiler-backed analysis; accept prism index exit…

  completed successfully:
  Engine invariants#31:Commit3ae9cb7pushedbytabladrum
  main

  Sep 28, 202610m 55s
  More actions for workflow run 31

• run_e2e: agent builds resolve offline, identically for every arm

  completed successfully:
  Engine invariants#30:Commit692141epushedbytabladrum
  main

  Sep 27, 202611m 42s
  More actions for workflow run 30

• harness: gin pr4695 prompt quotes the original user report (issue #77…

  completed successfully:
  Engine invariants#29:Commit5a15a22pushedbytabladrum
  main

  Sep 25, 202612m 2s
  More actions for workflow run 29

• fix(harness): hand-written bug-report prompts for the 36 title-only t…

  completed successfully:
  Engine invariants#28:Commitdf5e6cbpushedbytabladrum
  main

  Sep 25, 202611m 55s
  More actions for workflow run 28