Issues

• How to: run kind in a Claude Code cloud session

  rosenhouse/anvil#70 · Filter by author rosenhouse opened on Sep 23, 2026

• When the inner cluster rewrites the spec it was handed

  rosenhouse/anvil#69 · Filter by author rosenhouse opened on Sep 21, 2026

• Inner-cluster spec mutation: what a general sync controller should do, for arbitrary synced CRs

  rosenhouse/anvil#68 · Filter by author rosenhouse opened on Sep 21, 2026

• [informational] Controller contracts in CEL: seven worked examples and where each one stops

  rosenhouse/anvil#63 · Filter by author rosenhouse opened on Sep 20, 2026

• [informational] Which bugs each approach finds: a bug-class map for userspace controllers

  rosenhouse/anvil#60 · Filter by author rosenhouse opened on Sep 12, 2026

• Behaviour an operator relies on that no document states

  rosenhouse/anvil#59 · Filter by author rosenhouse opened on Sep 10, 2026

• The status round trip is trusted further than it is checked

  rosenhouse/anvil#52 · Filter by author rosenhouse opened on Sep 9, 2026

• No instance proves a deployment serving two kinds

  rosenhouse/anvil#50 · Filter by author rosenhouse opened on Sep 9, 2026

• Critical review: what the sync controller's formal work does not cover

  rosenhouse/anvil#49 · Filter by author rosenhouse opened on Sep 9, 2026
  5

• [informational] Approaches to Kubernetes controller correctness: verifiers, model checkers, and testing tools

  rosenhouse/anvil#44 · Filter by author rosenhouse opened on Sep 8, 2026

• Faster feedback

  rosenhouse/anvil#36 · Filter by author rosenhouse opened on Sep 8, 2026

• Publish a prebuilt Verus toolchain so fresh dev/agent environments skip the ~25 min build

  rosenhouse/anvil#35 · Filter by author rosenhouse opened on Sep 8, 2026

• CI: shard full-verification across parallel jobs (and the three traps in doing so)

  rosenhouse/anvil#34 · Filter by author rosenhouse opened on Sep 8, 2026

• CI: run full verification on merge_group and nightly, not on every PR push

  rosenhouse/anvil#33 · Filter by author rosenhouse opened on Sep 8, 2026

• Widget CRD: printer columns

  rosenhouse/anvil#31 · Filter by author rosenhouse opened on Sep 8, 2026

• e2e: the on-cluster scenarios the two-cluster testbed still does not cover

  rosenhouse/anvil#30 · Filter by author rosenhouse opened on Sep 8, 2026

• CI: collapse the near-identical e2e jobs into one matrix job

  rosenhouse/anvil#28 · Filter by author rosenhouse opened on Sep 8, 2026

• CI: build the controller binaries once instead of ten times per run

  rosenhouse/anvil#27 · Filter by author rosenhouse opened on Sep 8, 2026

• CI: target/ is in the cache paths but never actually persists any Anvil build

  rosenhouse/anvil#26 · Filter by author rosenhouse opened on Sep 8, 2026

• Follow-up: make the branch clean and reviewable for an upstream contribution

  rosenhouse/anvil#16 · Filter by author rosenhouse opened on Sep 7, 2026
  5