Native core correctness

Workflow runs for Native core correctness

• research(annotation-driver): fix the D2 procedure before any pack-aut…

  completed successfully:
  Native core correctness#73:Commitf94200dpushedbynorandom
  main

  Nov 10, 20265m 1s
  More actions for workflow run 73

• research(annotation-driver): arm D1 results on four scopes (R60)

  completed successfully:
  Native core correctness#72:Commit9f26a0bpushedbynorandom
  main

  Nov 10, 20263m 1s
  More actions for workflow run 72

• research(annotation-driver): development calls and frozen guide v1 (R…

  completed successfully:
  Native core correctness#71:Commit18dfd4dpushedbynorandom
  main

  Nov 10, 20263m 36s
  More actions for workflow run 71

• research(annotation-driver): freeze guide v0 and the model-call runne…

  completed successfully:
  Native core correctness#70:Commit391f0capushedbynorandom
  main

  Nov 10, 20267m 54s
  More actions for workflow run 70

• research(annotation-driver): bound Java mutant runs to 180 s (gate Am…

  completed successfully:
  Native core correctness#69:Commit0e974bdpushedbynorandom
  main

  Nov 10, 20263m 8s
  More actions for workflow run 69

• research(annotation-driver): engine, harness and model-free checks; g…

  completed successfully:
  Native core correctness#68:Commita3a714bpushedbynorandom
  main

  Nov 10, 20265m 29s
  More actions for workflow run 68

• research(annotation-driver): consolidate strategy before any run (R59…

  failed:
  Native core correctness#67:Commit3bfe6abpushedbynorandom
  main

  Nov 10, 202610m 12s
  More actions for workflow run 67

• research(annotation-driver): validator and controls pass 71/71; recor…

  completed successfully:
  Native core correctness#66:Commit12084e4pushedbynorandom
  main

  Nov 10, 20264m 24s
  More actions for workflow run 66

• research(annotation-driver): admit four gate scopes and amend the gat…

  completed successfully:
  Native core correctness#65:Commitc06022bpushedbynorandom
  main

  Nov 10, 20267m 4s
  More actions for workflow run 65

• spec(agnostic-annotation-driver): initialize with brief and prototype…

  completed successfully:
  Native core correctness#64:Commitc839c27pushedbynorandom
  main

  Nov 10, 20264m 11s
  More actions for workflow run 64

• spec(constraint-guided-compression): record Amendment 5, mutant gener…

  failed:
  Native core correctness#63:Commiteb6ca36pushedbynorandom
  main

  Nov 10, 20266m 27s
  More actions for workflow run 63

• ci: add compose adopter check and document native Dagger with Podman

  completed successfully:
  Native core correctness#62:Commite95e9fapushedbynorandom
  main

  Nov 10, 20266m 26s
  More actions for workflow run 62

• docs(handover): record v1.0.1 release, signing setup and R55 follow-ups

  completed successfully:
  Native core correctness#61:Commit1c52226pushedbynorandom
  main

  Nov 10, 20264m 39s
  More actions for workflow run 61

• ci(release): sign release archives with zipsign as in mmhmem

  completed successfully:
  Native core correctness#60:Commit6886c8epushedbynorandom
  main

  Nov 10, 20263m 49s
  More actions for workflow run 60

• ci: install prebuilt cargo-nextest instead of compiling it

  completed successfully:
  Native core correctness#59:Commiteda13bbpushedbynorandom
  main

  Nov 10, 20264m 40s
  More actions for workflow run 59

• docs: rewrite adopter README and update guides for the 1.0.1 binary

  completed successfully:
  Native core correctness#58:Commitb36ffbepushedbynorandom
  main

  Nov 10, 202612m 50s
  More actions for workflow run 58

• chore(release): bump version to 1.0.1 for four-platform release

  completed successfully:
  Native core correctness#57:Commitf5e39a9pushedbynorandom
  main

  Nov 10, 202616m 43s
  More actions for workflow run 57

• ci: update Apple Silicon macOS runner to macos-15 (replacing retired …

  completed successfully:
  Native core correctness#56:Commitc014d40pushedbynorandom
  main

  Nov 9, 202610m 51s
  More actions for workflow run 56

• ci: expand platform matrix with native macOS aarch64 (macos-14) and L…

  cancelled:
  Native core correctness#55:Commit368a739pushedbynorandom
  main

  Nov 9, 202617m 12s
  More actions for workflow run 55

• fix(tests): harden cross-platform runner and adapter integration test…

  completed successfully:
  Native core correctness#54:Commite8f5eedpushedbynorandom
  main

  Nov 9, 20269m 32s
  More actions for workflow run 54

• fix(ci): remediate cargo clippy and fmt checks, remove retired baseli…

  failed:
  Native core correctness#53:Commit33f0d38pushedbynorandom
  main

  Nov 9, 202612m 57s
  More actions for workflow run 53

• chore(release): bump version to 1.0.0 for major release

  failed:
  Native core correctness#52:Commitc9bfdb4pushedbynorandom
  main

  Nov 9, 202619m 5s
  More actions for workflow run 52

• docs(steering): update active specifications in roadmap with dogfood-…

  failed:
  Native core correctness#51:Commitfd6dd31pushedbynorandom
  main

  Nov 9, 202611m 38s
  More actions for workflow run 51

• docs(research): record R54 dogfood self-application synthesis and cle…

  failed:
  Native core correctness#50:Commitee6c3abpushedbynorandom
  main

  Nov 9, 202612m 33s
  More actions for workflow run 50

• docs(handover): record task 25 completion for dogfood self-application

  failed:
  Native core correctness#49:Commita3f1fa8pushedbynorandom
  main

  Nov 9, 202611m 6s
  More actions for workflow run 49