static-analysis

Workflow runs for static-analysis

• Z-104-DELALIAS: del() key-scan survives map-aliased container keys — the #104 residual (2 commits: red repro pin, then the two-phase fix)

  completed successfully:
  static-analysis#574:Pull request#228synchronizebyWasewaseX
  fix/z104-delalias

  Oct 12, 202648s
  More actions for workflow run 574

• Z-104-DELALIAS: del() key-scan survives map-aliased container keys — the #104 residual (2 commits: red repro pin, then the two-phase fix)

  completed successfully:
  static-analysis#573:Pull request#228openedbyWasewaseX
  fix/z104-delalias

  Oct 12, 202648s
  More actions for workflow run 573

• Task-ID: KEEPER-SYNC9 Paths: .github/collab/LOCKS.md — sync-9 same-se…

  completed successfully:
  static-analysis#572:Commita5312bcpushedbyWasewaseX
  main

  Oct 12, 202641s
  More actions for workflow run 572

• KEEPER-SYNC9: L-050 released (DELNOTE landed), L-053 ACTIVE carved out

  completed successfully:
  static-analysis#571:Pull request#227openedbyWasewaseX
  keeper/sync9-lock-ledger

  Oct 12, 202638s
  More actions for workflow run 571

• merge: fix/f-delnote — Z-DELNOTE: del() misuse notes + null byte-iden…

  completed successfully:
  static-analysis#570:Commit79c038apushedbyWasewaseX
  main

  Oct 12, 202650s
  More actions for workflow run 570

• Z-DELNOTE: del() misuse notes + null byte-identically on both engines; range() note location law sibling — F-DELNOTE fixed at the root

  completed successfully:
  static-analysis#569:Pull request#225synchronizebyWasewaseX
  fix/f-delnote

  Oct 12, 202612m 5s
  More actions for workflow run 569

• merge: builder/z-spec763-wording — Z-SPEC763-WORDING: the §763 map-sc…

  completed successfully:
  static-analysis#568:Commit293bcd2pushedbyWasewaseX
  main

  Oct 12, 20263m 0s
  More actions for workflow run 568

• Z-DELNOTE: del() misuse notes + null byte-identically on both engines; range() note location law sibling — F-DELNOTE fixed at the root

  completed successfully:
  static-analysis#567:Pull request#225synchronizebyWasewaseX
  fix/f-delnote

  Oct 12, 202650s
  More actions for workflow run 567

• Task-ID: KEEPER-SYNC8 Paths: .github/collab/LOCKS.md — sync-8: canon …

  completed successfully:
  static-analysis#566:Commit4185eb4pushedbyWasewaseX
  main

  Oct 12, 20265m 43s
  More actions for workflow run 566

• KEEPER-SYNC8: reconciled lock canon → mirror (L-040/L-047/L-049 status-honest, L-050 task cell guard-matchable)

  completed successfully:
  static-analysis#565:Pull request#226openedbyWasewaseX
  keeper/sync8-lock-ledger

  Oct 12, 202618m 39s
  More actions for workflow run 565

• Z-DELNOTE: del() misuse notes + null byte-identically on both engines; range() note location law sibling — F-DELNOTE fixed at the root

  completed successfully:
  static-analysis#564:Pull request#225openedbyWasewaseX
  fix/f-delnote

  Oct 12, 20268m 49s
  More actions for workflow run 564

• Z-SPEC763-WORDING: the §763 map-scan row states the real container-key law (always-append coexistence, never upsert)

  completed successfully:
  static-analysis#563:Pull request#224openedbyWasewaseX
  builder-b/z-spec763-wording

  Oct 12, 202634s
  More actions for workflow run 563

• merge: builder/z102103-adversarial-pin — Z-102103-VERIFY: deep_eq adv…

  completed successfully:
  static-analysis#562:Commitd9cd821pushedbyWasewaseX
  main

  Oct 12, 202648s
  More actions for workflow run 562

• Z-102103-VERIFY: deep_eq adversarial pin — closure evidence for #102/#103 (verification-only, zero src delta)

  completed successfully:
  static-analysis#561:Pull request#223synchronizebyWasewaseX
  builder-b/z102103-adversarial-pin

  Oct 11, 202647s
  More actions for workflow run 561

• Z-102103-VERIFY: deep_eq adversarial pin — closure evidence for #102/#103 (verification-only, zero src delta)

  completed successfully:
  static-analysis#560:Pull request#223openedbyWasewaseX
  builder-b/z102103-adversarial-pin

  Oct 11, 202645s
  More actions for workflow run 560

• merge: builder/z-maporder — Z-MAPORDER: oracle mixed scalar+container…

  completed successfully:
  static-analysis#559:Commitb0da96apushedbyWasewaseX
  main

  Oct 11, 202644s
  More actions for workflow run 559

• Task-ID: KEEPER-SYNC7 Paths: .github/collab/LOCKS.md — sync the lock …

  completed successfully:
  static-analysis#558:Commit949be02pushedbyWasewaseX
  main

  Oct 11, 202645s
  More actions for workflow run 558

• KEEPER-SYNC7: lock ledger mirror == vault canon (L-047 + L-049 ride in, contract section preserved)

  completed successfully:
  static-analysis#557:Pull request#222openedbyWasewaseX
  keeper/sync7-lock-ledger

  Oct 11, 202640s
  More actions for workflow run 557

• Z-MAPORDER: oracle mixed scalar+container maps keep pure insertion order — the #214 two-store residual retired structurally, every ordered consumer unified

  completed successfully:
  static-analysis#556:Pull request#221openedbyWasewaseX
  builder/z-maporder

  Oct 11, 202645s
  More actions for workflow run 556

• Task-ID: F-REL2110-POSTTAG Paths: packaging/scoop/operon.json — post-…

  completed successfully:
  static-analysis#555:Commit92fadfbpushedbyWasewaseX
  main

  Oct 11, 202643s
  More actions for workflow run 555

• Task-ID: Z-COMPAT-FUZZWALL2 Paths: .github/workflows/compat.yml — the…

  completed successfully:
  static-analysis#554:Commit4ed732fpushedbyWasewaseX
  main

  Oct 11, 202644s
  More actions for workflow run 554

• F-REL2110 release round: v2.11.0 version bump (Cargo.toml + Cargo.loc…

  completed successfully:
  static-analysis#553:Commite15fbe1pushedbyWasewaseX
  main

  Oct 11, 202638s
  More actions for workflow run 553

• bench (superbench-r3): 11 Oct certification re-run on 3bba7a1 — 57/57…

  completed successfully:
  static-analysis#552:Commit343337epushedbyWasewaseX
  main

  Oct 11, 202633s
  More actions for workflow run 552

• bench (superbench-r3): 11 Oct certification re-run on 354fa16 — 57/57…

  completed successfully:
  static-analysis#551:Commit8f85b66pushedbyWasewaseX
  main

  Oct 11, 202642s
  More actions for workflow run 551

• W061-Q: landing-race capture #11 — composition re-pin to post-#219 ma…

  completed successfully:
  static-analysis#550:Commit354fa16pushedbyWasewaseX
  main

  Oct 11, 202645s
  More actions for workflow run 550