All workflows

Workflow runs

• Draft diagnostic: reproduce official Arena PGO build on magma false REJECT

  completed successfully:
  Flash Arena PGO causal reproduction — exact published source#1:Pull request#127openedbyheathsanchez
  research/flash-pgo-arena-repro-20261104

  Nov 4, 20266m 5s
  More actions for workflow run 1

• Draft diagnostic: isolate Flash magma memory regression with five-flag ablation

  completed successfully:
  Flash magma causal screen — five fast-path flags off#1:Pull request#126openedbyheathsanchez
  research/flash-magma-flag-causal-20261104

  Nov 4, 20262m 28s
  More actions for workflow run 1

• Draft: qualify six upstream-motivated Flash soundness guards together on full Mathlib

  completed successfully:
  Flash six-guard soundness stack — official Arena and exact Mathlib#1:Pull request#125openedbyheathsanchez
  research/flash-soundness-stack-20261104

  Nov 4, 202610m 31s
  More actions for workflow run 1

• Check the selected minor in nullary recursor computation rules

  completed successfully:
  Flash nullary recursor rule — paired official Arena regression#2:Pull request#124openedbyheathsanchez
  research/flash-nullary-rule-20261104

  Nov 3, 20261m 37s
  More actions for workflow run 2

• Run source-pinned paired official Arena nullary recursor regression

  completed successfully:
  Flash nullary recursor rule — paired official Arena regression#1:Commit597df15pushedbyheathsanchez
  research/flash-nullary-rule-20261104

  Nov 3, 20261m 23s
  More actions for workflow run 1

• Require closure context and universe substitution identity before conversion shortcuts

  completed successfully:
  Flash closure identity — paired official Arena regression#2:Pull request#123openedbyheathsanchez
  research/flash-closure-identity-20261104

  Nov 3, 20261m 23s
  More actions for workflow run 2

• Run matched official Arena closure identity soundness regression

  completed successfully:
  Flash closure identity — paired official Arena regression#1:Commit2538602pushedbyheathsanchez
  research/flash-closure-identity-20261104

  Nov 3, 20261m 56s
  More actions for workflow run 1

• Prevent capture of temporary nested-inductive names by later declarations

  completed successfully:
  Flash nested temporary-name freshness — paired official Arena regression#2:Pull request#122openedbyheathsanchez
  research/flash-nested-name-freshness-20261104

  Nov 3, 20261m 27s
  More actions for workflow run 2

• Run source-pinned paired Arena test for nested name capture

  completed successfully:
  Flash nested temporary-name freshness — paired official Arena regression#1:Commit46663aapushedbyheathsanchez
  research/flash-nested-name-freshness-20261104

  Nov 3, 20261m 58s
  More actions for workflow run 1

• Validate universe scope in imported inductive and constructor types

  completed successfully:
  Flash inductive universe scope — paired official Arena regression#2:Pull request#121openedbyheathsanchez
  research/flash-inductive-uparams-20261104

  Nov 3, 20261m 25s
  More actions for workflow run 2

• Qualify inductive universe-scope guard against pinned official Arena …

  completed successfully:
  Flash inductive universe scope — paired official Arena regression#1:Commitee58f09pushedbyheathsanchez
  research/flash-inductive-uparams-20261104

  Nov 3, 20261m 4s
  More actions for workflow run 1

• Guard restored nested recursor field counts (upstream nanoda_lib #63)

  completed successfully:
  Flash nested recursor field count — paired official Arena regression#3:Pull request#120openedbyheathsanchez
  research/flash-nested-field-count-20261104

  Nov 3, 20261m 34s
  More actions for workflow run 3

• Enable draft PR regression run before Flash promotion

  completed successfully:
  Flash nested recursor field count — paired official Arena regression#2:Commitba86b37pushedbyheathsanchez
  research/flash-nested-field-count-20261104

  Nov 3, 20261m 16s
  More actions for workflow run 2

• Qualify upstream-attributed nested recursor repair against official A…

  completed successfully:
  Flash nested recursor field count — paired official Arena regression#1:Commit227b84cpushedbyheathsanchez
  research/flash-nested-field-count-20261104

  Nov 3, 20261m 44s
  More actions for workflow run 1

• docs: attribute Flash lineage and state exact assurance and exit boun…

  completed successfully:
  Flash closure-context source-typed adversarial separator#14:Commit32eada6pushedbyheathsanchez
  research/flash-closure-context-soundness-20261102

  Nov 2, 20262m 50s
  More actions for workflow run 14

• docs: attribute Flash lineage and state exact assurance and exit boun…

  completed successfully:
  Flash combined soundness full Arena qualification#4:Commit32eada6pushedbyheathsanchez
  research/flash-closure-context-soundness-20261102

  Nov 2, 202629m 13s
  More actions for workflow run 4

• ci: qualify current Arena and matched one two four worker costs

  completed successfully:
  Flash current Arena and matched resource qualification#1:Commit03fa98dpushedbyheathsanchez
  research/flash-assurance-resource-matrix-20261102

  Nov 2, 202648m 45s
  More actions for workflow run 1

• ci(flash): rerun exact full Mathlib A/B whenever recorded source patc…

  completed successfully:
  Soko9a exact full Mathlib sparse-prune PGO A/B#2:Commit5e96efapushedbyheathsanchez
  research/soko9a-sparse-prune-reset-20261102

  Nov 1, 202612m 14s
  More actions for workflow run 2

• perf(flash): exact one-worker full Mathlib PGO A/B of source-qualifie…

  failed:
  Soko9a exact full Mathlib sparse-prune PGO A/B#1:Commit22b3daepushedbyheathsanchez
  research/soko9a-sparse-prune-reset-20261102

  Nov 1, 20261m 33s
  More actions for workflow run 1

• perf(flash): bounded sparse-clear memo A/B against current source and…

  completed successfully:
  Soko9a sparse prune reset exact A/B#1:Commit38fd173pushedbyheathsanchez
  research/soko9a-sparse-prune-reset-20261102

  Nov 1, 20263m 21s
  More actions for workflow run 1

• test(flash): restore two source-anchored negative fixtures and unskip…

  completed successfully:
  Flash closure-context source-typed adversarial separator#13:Commit4411234pushedbyheathsanchez
  research/flash-closure-context-soundness-20261102

  Nov 1, 20263m 5s
  More actions for workflow run 13

• test(flash): restore two source-anchored negative fixtures and unskip…

  completed successfully:
  Flash combined soundness full Arena qualification#3:Commit4411234pushedbyheathsanchez
  research/flash-closure-context-soundness-20261102

  Nov 1, 202624m 47s
  More actions for workflow run 3

• ci(flash): fetch complete history before source-ancestor qualification

  completed successfully:
  Flash repaired exact Mathlib 1-vs-2 worker-cost gate#2:Commit476879fpushedbyheathsanchez
  research/flash-repaired-fullmathlib-workers-20261102

  Nov 1, 202615m 52s
  More actions for workflow run 2

• ci(flash): match fully qualified Rust test names without false-red ha…

  completed successfully:
  Flash full native regression with source-pinned recovered fixtures#2:Commitdd337f2pushedbyheathsanchez
  research/flash-native-adversarial-fixtures-20261102

  Nov 1, 202653s
  More actions for workflow run 2

• perf(flash): paired exact Mathlib one vs two workers on repaired sour…

  failed:
  Flash repaired exact Mathlib 1-vs-2 worker-cost gate#1:Commitb11ca79pushedbyheathsanchez
  research/flash-repaired-fullmathlib-workers-20261102

  Nov 1, 20261m 39s
  More actions for workflow run 1