jakman85andClaude Opus 4.8 c6a480eed1 test(net): L2 conformance — exposed app reachable through Gateway under default-deny (R-NET-03)
New runnable chainsaw test gateway-ingress-reachable (R-NET-01/02/03): stands up an
exposed-app fixture (namespace default-deny + the renderer's additive gateway-ingress
CiliumNetworkPolicy allowing fromEntities:[ingress] to the declared port 8080 only, a
backend listening on 8080 + an undeclared 9091, and declared/undeclared HTTPRoutes on
the shared Gateway) and proves BEHAVIOR through the REAL Gateway VIP:

  * then-reachable-through-gateway  -> the Gateway (ingress identity) reaches backend:8080
    through default-deny (backend marker returned)      [R-NET-02/03]
  * then-undeclared-port-denied     -> port 9091 (no allow) is NOT reachable through the
    Gateway (marker never returned; envoy 503)          [R-NET-02]
  * then-east-west-still-denied      -> a non-ingress in-namespace peer is DROPPED on 8080;
    the allow is least-privilege, east-west default-deny intact (hermetic)  [R-NET-01]

Verified live: reachable=REACHED (200, marker), undeclared=DENIED, east-west=DENIED.

Self-skipping: the gateway probes classify each attempt REACHED / DENIED / NO-GATEWAY
(curl 000). NO-GATEWAY self-skips (green + note) because a node-local Cilium L7LB/envoy
desync can make pods on an affected node unable to reach the Gateway VIP at all — a
SEPARATE platform fault, not default-deny — so this test never false-fails on it. The
east-west denial is hermetic and always asserts. VIP discovered per-step via a kubectl
output binding (env-agnostic; chainsaw bindings are step-scoped). L2 layer stays gated by
CLUSTER_AVAILABLE in run.sh. chainsaw v0.2.12 quirks honored (scalar/JMESPath asserts,
no readinessProbe under default-deny, step-level finally delete).

Co-Authored-By: Claude Opus 4.8 <[email protected]>
2026-08-25 00:13:35 -05:00

home-network-k3s-impl

Implementation of the home k3s + Longhorn platform. This repo holds the reconciled artifacts (Flux config, Kustomize overlays, KubeVirt/Helm manifests, ServiceDefinitions, Kyverno policies, Chainsaw conformance tests, CI). It is driven by — and subordinate to — the read-only specification at ../home-network-k3s.

Rules (from the spec — non-negotiable)

  • The spec is read-only. Never modify anything under ../home-network-k3s. Implement against it; escalate spec problems, don't edit them (spec AGENTS.md §11, R-TEST-06).
  • Done = a green, reproducible, requirement-tagged conformance test — never "merged," never a manual demo (spec docs/14, agents/definition-of-done.md).
  • No work on main. Every change is a feature branch merged into main (spec CONTRIBUTING.md).
  • No plaintext secrets — SOPS-encrypted only (spec docs/07).
  • Phase discipline — only build what the active roadmap phase authorizes (spec roadmap/phases.md).

Layout

platform/     platform services (Flux HelmReleases/Kustomizations): cilium, longhorn,
              cert-manager, externaldns, gateway, monitoring, velero, kubevirt,
              image-automation, keycloak, oauth2-proxy, kyverno/
apps/         application workloads, one dir per catalog service
catalog/      ServiceDefinition entries (the onboarding surface)
schemas/      ServiceDefinition JSON Schema + renderer contract
clusters/     Flux entrypoints + dev/ and prod/ overlays
conformance/  Chainsaw behavior/conformance suite + harness + coverage report
.gitea/       Gitea Actions CI (lint · schema · Kyverno L0 · Chainsaw trigger · merge gate)

Current phase: Phase 0 — Foundations (repo, CI, ServiceDefinition schema, conformance harness, Kyverno L0 gate). No cluster exists yet; Phase 1 (cluster bring-up) is not authorized.

S
Description
No description provided
Readme
7.2 MiB
0 Stars 2 Watchers 0 Forks
Languages
Shell 61.4%
Python 32.3%
Jinja 2.9%
Dockerfile 2.2%
HCL 1.1%
Other 0.1%