X-Git-Url: https://git.distorted.org.uk/~mdw/zones/blobdiff_plain/d8ec5b794e3d69968c8332488f4723bdbfe01362..ccc6ea8945202775b4eba7f51c41ecd304755834:/distorted.lisp

diff --git a/distorted.lisp b/distorted.lisp
index 142b047..35243bc 100644
--- a/distorted.lisp
+++ b/distorted.lisp
@@ -67,16 +67,19 @@
 (defzone distorted.org.uk
 
   ;; Nameservers.
-  :ns #+view/inside ((radius.ns :ip radius)
-		     (precision.ns :ip precision)
-		     (telecaster.ns :ip telecaster)
-		     (vampire.ns :ip vampire))
-      #-view/inside ((radius.ns :ip radius)
-		     (precision.ns :ip precision)
-		     (telecaster.ns :ip telecaster)
-		     (mythic-beasts-1.ns :ip mythic-ns1)
-		     (mythic-beasts-2.ns :ip mythic-ns2)
-		     (chiark.ns :ip chiark.greenend.org.uk))
+  :ns ((radius.ns :ip radius)
+       (precision.ns :ip precision)
+       (telecaster.ns :ip telecaster)
+       (national.ns :ip national)
+       #+view/inside (vampire.ns :ip vampire)
+       #-view/inside (mythic-beasts-1.ns :ip mythic-ns1)
+       #-view/inside (mythic-beasts-2.ns :ip mythic-ns2)
+       #-view/inside (mythic-beasts-3.ns :ip mythic-ns3)
+       #-view/inside (chiark.ns :ip chiark.greenend.org.uk))
+
+  ;; Certification.
+  :caa ((:issue "letsencrypt.org")
+	(:issue "distorted.org.uk"))
 
   ;; Mail servers.
   ((@ mail blackhole) :mx mail :srv ((:smtp mail)))
@@ -88,43 +91,43 @@
 	  :v "DKIM1" :k "rsa" :h "sha256" :s "email"))
 
   ;; Anycast services.
-  (dns0 :anycast ((any dns0.any)
-		  (jump precision.jump)
+  (dns0 :anycast ((any dns0.any) (jump precision.jump)
+		  (nany dns0.nany)
 		  (colo precision.colo)
 		  (dmz radius.dmz)
 		  (unsafe radius.unsafe)))
-  (dns1 :anycast ((any dns1.any)
-		  (jump telecaster.jump)
+  (dns1 :anycast ((any dns1.any) (jump telecaster.jump)
+		  (nany dns1.nany)
 		  (dmz vampire.dmz)
 		  (unsafe vampire.unsafe)
 		  (colo telecaster.colo)))
   (dns :cname dns0)
 
-  (ntp0 :anycast ((any ntp0.any)
-		  (jump fender.jump)
+  (ntp0 :anycast ((any ntp0.any) (jump fender.jump)
+		  (nany ntp0.nany)
 		  (dmz ibanez.dmz)
 		  (unsafe ibanez.unsafe)
 		  (colo  fender.colo)))
-  (ntp1 :anycast ((any ntp1.any)
-		  (dmz vampire.dmz)
+  (ntp1 :anycast ((any ntp1.any) (dmz vampire.dmz)
+		  (nany ntp1.nany)
 		  (unsafe vampire.unsafe)))
   (ntp :cname ntp0)
 
-  (www-cache :anycast ((any www-cache.any)
-		       (jump telecaster.jump)
+  (www-cache :anycast ((any www-cache.any) (jump telecaster.jump)
+		       (nany www-cache.nany)
 		       (dmz roadstar.dmz)
 		       (unsafe roadstar.unsafe)
 		       (colo telecaster.colo)))
   (wpad :cname www-cache)
 
   (_kerberos :txt "DISTORTED.ORG.UK")
-  (krb0 :anycast ((any krb0.any)
-		  (jump precision.jump)
+  (krb0 :anycast ((any krb0.any) (jump precision.jump)
+		  (nany krb0.nany)
 		  (dmz radius.dmz)
 		  (unsafe radius.unsafe)
 		  (colo precision.colo)))
-  (krb1 :anycast ((any krb1.any)
-		  (dmz vampire.dmz)
+  (krb1 :anycast ((any krb1.any) (dmz vampire.dmz)
+		  (nany krb1.nany)
 		  (unsafe vampire.unsafe)))
   (krb-master (unsafe :svc radius.unsafe)
 	      (dmz :svc radius.dmz))
@@ -141,38 +144,48 @@
 	(:ftp ftp))
 
   ;; Colocated services.
-  ((irc vox keys) (colo :svc jazz.colo :sshfp "jazz")
-		  (jump :svc jazz.jump :sshfp "jazz"))
-  ((bugs lists) (colo :svc telecaster.colo :sshfp "telecaster")
-		(jump :svc telecaster.jump :sshfp "telecaster"))
+  ((irc vox keys wiki) (colo :svc jazz.colo :sshfp "jazz")
+		       (jump :svc jazz.jump :sshfp "jazz"))
+  ((irc vox keys wiki) :tlsa (:https (:service-certificate-constraint
+				      :public-key :sha-256 #p"https-jazz")))
+  ((bugs lists db ftp) (colo :svc telecaster.colo :sshfp "telecaster")
+		       (jump :svc telecaster.jump :sshfp "telecaster"))
+  ((bugs lists ftp) :tlsa (:https #3=(:service-certificate-constraint
+				      :public-key :sha-256
+				      #p"https-telecaster")))
+  (dyndns :svc telecaster.jump :sshfp "telecaster")
   ((git www mail) (colo :svc stratocaster.colo :sshfp "stratocaster")
 		  (jump :svc stratocaster.jump :sshfp "stratocaster"))
-  ((www @) :tlsa (:https (:service-certificate-constraint
-			  :certificate :sha-256 #p"http-server-www#1")))
-  ((git mail) :tlsa (:https (:trust-anchor-assertion
+  ((www git mail @) :tlsa (:https #2=(:service-certificate-constraint
+				      :public-key :sha-256
+				      #p"https-stratocaster")))
+  (www-cache :tlsa (3127 #1=(:trust-anchor-assertion
 			     :certificate :sha-256 #p"distorted-ca")))
-  (www-cache :tlsa (3127 (:trust-anchor-assertion
-			  :certificate :sha-256 #p"distorted-ca")))
-  ((bugs lists) :tlsa (:smtp (:trust-anchor-assertion
-			      :certificate :sha-256 #p"distorted-ca")))
-  (mail :tlsa ((:smtp :submission :imap :imaps)
-	       (:trust-anchor-assertion
-		:certificate :sha-256 #p"distorted-ca")))
+  (mail :tlsa ((:submission :imap :imaps) #1#))
+  (mail :tlsa (:smtp
+	       #+view/inside #1#
+	       #-view/inside (:domain-issued-certificate
+			      :public-key :sha-256
+			      #p"smtps-stratocaster")))
+  ((bugs lists) :tlsa (:smtp
+		       #+view/inside #1#
+		       #-view/inside (:domain-issued-certificate
+				      :public-key :sha-256
+				      #p"smtps-telecaster")))
   :svc #+view/inside stratocaster.colo
        #-view/inside stratocaster.jump
   (cabal :svc stratocaster.colo :sshfp "stratocaster")
-  ((db ftp) (colo :svc telecaster.colo :sshfp "telecaster")
-	    (jump :svc telecaster.jump :sshfp "telecaster"))
-  (dyndns :svc telecaster.jump :sshfp "telecaster")
 
   ;; Local services.
-  ((rawk pifi) (unsafe :svc artist.unsafe)
-	       (dmz :svc artist.dmz))
+  (rawk (unsafe :svc artist.unsafe) (dmz :svc artist.dmz))
+  (rawk :tlsa (:https (:service-certificate-constraint
+		       :public-key :sha-256
+		       #p"https-artist")))
   (mirror (dmz :svc roadstar.dmz :sshfp "roadstar")
 	  (unsafe :svc roadstar.unsafe :sshfp "roadstar"))
 
   ;; Internal services.
-  #+view/inside ((news lpr) :svc vampire.unsafe :sshfp "vampire")
+  ((news lpr) :svc roadstar.unsafe :sshfp "roadstar")
 
   ;; Anonymity services.
   (anon (colo :svc jazz.colo)
@@ -182,6 +195,7 @@
 
   ;; Fancy connectivity.
   (iodine (jump :svc jazz.jump))
+  (hippotat (jump :svc jazz.jump))
 
   ;; Colocated hosts.
   (colo :net colo)
@@ -190,10 +204,13 @@
   (fender :abbrev f (colo :abbrev fc) (jump :abbrev fj))
   (fender (colo :addr fender.colo :sshfp "fender")
 	  (jump :addr fender.jump :sshfp "fender"))
-  (precision :abbrev p (colo :abbrev pc) (jump :abbrev pj) (vpn :abbrev pv))
+  (precision :abbrev p
+	     (colo :abbrev pc) (jump :abbrev pj)
+	     (vpn :abbrev pv) (nvpn :abbrev pnv))
   (precision (colo :addr precision.colo :sshfp "precision")
 	     (jump :addr precision.jump :sshfp "precision")
-	     (vpn :addr precision.vpn :sshfp "precision"))
+	     (vpn :addr precision.vpn :sshfp "precision")
+	     (nvpn :addr precision.nvpn :sshfp "precision"))
   (telecaster :alias tele :abbrev t
 	      (colo :alias tele.colo :abbrev tc)
 	      (jump :alias tele.jump :abbrev tj))
@@ -204,28 +221,66 @@
 		(jump :alias strat.jump :abbrev sj))
   (stratocaster (colo :addr stratocaster.colo :sshfp "stratocaster")
 		(jump :addr stratocaster.jump :sshfp "stratocaster"))
-  (jazz :abbrev z (colo :abbrev zc) (jump :abbrev zj) (vpn :abbrev :zv))
+  (jazz :abbrev z
+	(colo :abbrev zc) (jump :abbrev zj)
+	(vpn :abbrev :zv) (nvpn :abbrev :znv))
   (jazz (colo :addr jazz.colo :sshfp "jazz")
 	(jump :addr jazz.jump :sshfp "jazz")
 	(vpn :addr jazz.vpn :sshfp "jazz")
-	(iodine :addr jazz.iodine :sshfp "jazz"))
-
-  ;; Media server (on loan to Good Technology HSTG).
-  (jaguar :abbrev jag)
-  (jaguar (jump :addr jaguar.jump :sshfp "jaguar"))
-
-  ;; Nicko's server.
+	(nvpn :addr jazz.nvpn :sshfp "jazz")
+	(iodine :addr jazz.iodine :sshfp "jazz")
+	(hippo :addr jazz.hippo :sshfp "jazz"))
+
+  ;; Formerly colocated hosts.
+  (nfender :abbrev nf (unsafe :abbrev fu) (dmz :abbrev fd))
+  (nfender (unsafe :addr fender.unsafe :sshfp "fender")
+	   (dmz :addr fender.dmz :sshfp "fender"))
+  (nprecision :abbrev np (unsafe :abbrev pu) (dmz :abbrev pd))
+  (nprecision (unsafe :addr precision.unsafe :sshfp "precision")
+	     (dmz :addr precision.dmz :sshfp "precision"))
+  (ntelecaster :alias ntele :abbrev nt
+	      (unsafe :alias tele.unsafe :abbrev tu)
+	      (dmz :alias tele.dmz :abbrev td))
+  (ntelecaster (unsafe :addr telecaster.unsafe :sshfp "telecaster")
+	       (dmz :addr telecaster.dmz :sshfp "telecaster"))
+  (nstratocaster :alias nstrat :abbrev ns
+		 (unsafe :alias strat.unsafe :abbrev su)
+		 (dmz :alias strat.dmz :abbrev sd))
+  (nstratocaster (unsafe :addr stratocaster.unsafe :sshfp "stratocaster")
+		 (dmz :addr stratocaster.dmz :sshfp "stratocaster"))
+  (njazz :abbrev nz (unsafe :abbrev zu) (dmz :abbrev zd))
+  (njazz (unsafe :addr jazz.unsafe :sshfp "jazz")
+	 (dmz :addr jazz.dmz :sshfp "jazz"))
+
+  ;; Virtual hosts.
+  (national :abbrev n (linode :abbrev nl) (upn :abbrev ny) (nupn :abbrev nny))
+  (national (linode :addr national.linode)
+	    (upn :addr national.upn)
+	    (nupn :addr national.nupn))
+  (mdwdev (upn :addr mdwdev.upn)
+	  (nupn :addr mdwdev.nupn))
+
+  ;; Nicko's servers.
   (richmond (jump :svc richmond.jump))
+  (marshall (jump :svc marshall.jump))
 
   ;; Entry is via little router box.
   (dmz :net dmz)
   (guvnor (dmz :addr guvnor.dmz))
   (nat (dmz :addr nat.dmz))
 
-  ;; Wireless gateway.
+  ;; Wireless access points.
   (wireless :net wireless)
   (evolution (safe :addr evolution.safe))
   (evolution :alias evo)
+  (kitkat :alias ap0)
+  (kitkat (safe :addr kitkat.safe))
+  (lunch :alias ap1)
+  (lunch (safe :addr lunch.safe))
+
+  ;; Printer.
+  (burntaxe :alias lp0)
+  (burntaxe (safe :addr burntaxe.safe))
 
   ;; Switches.
   (grigsby :alias tp0)
@@ -240,22 +295,26 @@
   (safe :net safe)
   (untrusted :net untrusted)
   (vampire :abbrev v
-	   (unsafe :abbrev vu) (dmz :abbrev vd) (vpn :abbrev vv)
+	   (unsafe :abbrev vu) (dmz :abbrev vd)
+	   (vpn :abbrev vv) (nvpn :abbrev vnv)
 	   (safe :abbrev vs) (untrusted :abbrev vx))
   (vampire (unsafe :addr vampire.unsafe :sshfp "vampire")
 	   (dmz :addr vampire.dmz :sshfp "vampire")
 	   (vpn :addr vampire.vpn :sshfp "vampire")
+	   (nvpn :addr vampire.nvpn :sshfp "vampire")
 	   (safe :addr vampire.safe :sshfp "vampire")
 	   (untrusted :addr vampire.untrusted :sshfp "vampire"))
   (ibanez :abbrev i (unsafe :abbrev iu) (dmz :abbrev id))
   (ibanez (unsafe :addr ibanez.unsafe :sshfp "ibanez")
 	  (dmz :addr ibanez.dmz :sshfp "ibanez"))
   (radius :abbrev r
-	  (unsafe :abbrev ru) (dmz :abbrev rd) (vpn :abbrev rv)
+	  (unsafe :abbrev ru) (dmz :abbrev rd)
+	  (vpn :abbrev rv) (nvpn :abbrev rnv)
 	  (safe :abbrev rs) (untrusted :abbrev rx))
   (radius (unsafe :addr radius.unsafe :sshfp "radius")
 	  (dmz :addr radius.dmz :sshfp "radius")
 	  (vpn :addr radius.vpn :sshfp "radius")
+	  (nvpn :addr radius.nvpn :sshfp "radius")
 	  (safe :addr radius.safe :sshfp "radius")
 	  (untrusted :addr radius.untrusted :sshfp "radius"))
   (roadstar :abbrev rg (unsafe :abbrev rgu) (dmz :abbrev rgd))
@@ -264,13 +323,19 @@
   (jem :abbrev j (unsafe :abbrev ju) (dmz :abbrev jd))
   (jem (unsafe :addr jem.unsafe :sshfp "jem")
        (dmz :addr jem.dmz :sshfp "jem"))
+  (universe :abbrev u (unsafe :abbrev uu) (dmz :abbrev ud))
+  (universe (unsafe :addr universe.unsafe :sshfp "universe")
+	    (dmz :addr universe.dmz :sshfp "universe"))
   (artist :abbrev a
 	  (unsafe :abbrev au) (dmz :abbrev ad) (untrusted :abbrev ax))
   (artist (unsafe :addr artist.unsafe :sshfp "artist")
 	  (dmz :addr artist.dmz :sshfp "artist")
 	  (untrusted :addr artist.untrusted :sshfp "artist"))
-  (groove :abbrev gr)
-  (groove (unsafe :addr groove.unsafe :sshfp "groove"))
+  (groove :abbrev gr
+	  (vpn :abbrev grv) (nvpn :abbrev ngrv) (unsafe :abbrev gru))
+  (groove (vpn :addr groove.vpn :sshfp "groove")
+	  (nvpn :addr groove.nvpn :sshfp "groove")
+	  (unsafe :addr groove.unsafe :sshfp "groove"))
 
   ;; DHCP hosts.
   (gibson :cname gibson.dhcp :abbrev g)
@@ -281,15 +346,23 @@
   (gretsch :cname gretsch.dhcp)
 
   ;; Virtual network.
-  (vpn :net vpn)
+  (vpn :net vpn) (nvpn :net nvpn)
   (crybaby :abbrev cb)
-  (crybaby (vpn :addr crybaby.vpn :sshfp "crybaby"))
+  (crybaby (vpn :addr crybaby.vpn :sshfp "crybaby")
+	   (nvpn :addr crybaby.nvpn :sshfp "crybaby")
+	   (hippo :addr crybaby.hippo :sshfp "crybaby"))
+  (spirit (vpn :addr spirit.vpn :sshfp "spirit")
+	  (nvpn :addr spirit.nvpn :sshfp "spirit")
+	  (hippo :addr spirit.hippo :sshfp "spirit"))
   (terror (vpn :addr terror.vpn :sshfp "terror"))
   (orange :abbrev o)
-  (orange (vpn :addr orange.vpn :sshfp "orange"))
+  (orange (vpn :addr orange.vpn :sshfp "orange")
+	  (nvpn :addr orange.nvpn :sshfp "orange"))
   (haze :abbrev h)
-  (haze (vpn :addr haze.vpn :sshfp "haze"))
+  (haze (vpn :addr haze.vpn :sshfp "haze")
+	(nvpn :addr haze.nvpn :sshfp "haze"))
   (iodine :net iodine)
+  (hippo :net hippo)
 
   ;; ITS.
   (its :net its)
@@ -297,31 +370,35 @@
   (mz (its :addr mz.its))
 
   ;; Strange things.
-  (blackhole (jump :addr blackhole.jump))
+  (blackhole (dmz :addr blackhole.dmz)
+	     (jump :addr blackhole.jump))
 
   ;; Delegations.
   (dhcp :ns ((radius.ns.dhcp :ip radius)
+	     (vampire.ns.dhcp :ip vampire)
 	     (precision.ns.dhcp :ip precision)
 	     (telecaster.ns.dhcp :ip telecaster)
-	     (vampire.ns.dhcp :ip vampire))
+	     (national.ns.dhcp :ip national))
 	:ds ((55966 :rsasha256 :sha1
 	     "95b05c1f4e84f950f29630004bac447f8a87ca33")
 	     (55966 :rsasha256 :sha256
 	      #.(concatenate 'string "31696bf54b577362b2eb75793adeb9ec"
 				     "2e8440ec671371b35d8d978cd9ca3007"))))
   (dyn :ns ((radius.ns.dyn :ip radius)
+	    (vampire.ns.dyn :ip vampire)
 	    (precision.ns.dyn :ip precision)
 	    (telecaster.ns.dyn :ip telecaster)
-	    (vampire.ns.dyn :ip vampire))
+	    (national.ns.dyn :ip national))
        :ds ((11335 :rsasha256 :sha1
 	    "7ed2b843b0bfb38ceca68617dfacbeafab1d1ea9")
 	    (11335 :rsasha256 :sha256
 	     #.(concatenate 'string "6eb15eb587c48f5b84ca128a656a4cce"
 				    "0a41cf040d3d0f15a44dffd6476b2b55"))))
   (dnserr :ns ((radius.ns.dnserr :ip radius.dmz)
+	       (vampire.ns.dnserr :ip vampire.dmz)
 	       (precision.ns.dnserr :ip precision.jump)
-	       (telecaster.ns.dnserr :ip telecaster)
-	       (vampire.ns.dnserr :ip vampire.dmz))
+	       (telecaster.ns.dnserr :ip telecaster.jump)
+	       (national.ns.dnserr :ip national.linode))
 	  :ds ((40945 :rsasha256 :sha1
 		"f35b5d0b877b940e63ad1b3afc21d6ba83cd1b3b")
 	       (40945 :rsasha256 :sha256
@@ -334,90 +411,139 @@
 
 (defzone dhcp.distorted.org.uk
   :ns ((radius.ns :ip radius.dmz)
+       (vampire.ns :ip vampire.dmz)
        (precision.ns :ip precision.jump)
        (telecaster.ns :ip telecaster.jump)
-       (vampire.ns :ip vampire.dmz))
+       (national.ns :ip national.linode))
   (gibson :addr gibson.unsafe)
   (crybaby :addr crybaby.unsafe)
   (lespaul :addr lespaul.unsafe)
   (gretsch :addr gretsch.unsafe)
+  (spirit :addr spirit.unsafe)
   (haze :addr haze.unsafe)
   (invader :addr invader.safe)
   (marauder :addr marauder.safe))
 
+(defzone dyn.distorted.org.uk
+  :ns ((radius.ns :ip radius)
+       (vampire.ns :ip vampire)
+       (precision.ns :ip precision)
+       (telecaster.ns :ip telecaster)
+       (national.ns :ip national)))
+
 (defzone nicko.org
   (richmond :addr richmond.jump))
 
 (defrevzone trusted
   :ns (radius.distorted.org.uk.
+       vampire.distorted.org.uk.
        precision.distorted.org.uk.
        telecaster.distorted.org.uk.
-       vampire.distorted.org.uk.)
+       national.distorted.org.uk.)
   :reverse unsafe
   :reverse vpn
   :reverse colo
   :reverse its
   :reverse any
   (dhcp :ns (radius.distorted.org.uk.
+	     vampire.distorted.org.uk.
 	     precision.distorted.org.uk.
 	     telecaster.distorted.org.uk.
-	     vampire.distorted.org.uk.))
+	     national.distorted.org.uk.))
   :multi (((dhcp safe) :family :ipv4 :suffix "199.29.172.dhcp") :cname *))
 
-(defrevzone (dmz :family :ipv6)
+(defzone dhcp.199.29.172.in-addr.arpa
   :ns (radius.distorted.org.uk.
+       vampire.distorted.org.uk.
        precision.distorted.org.uk.
        telecaster.distorted.org.uk.
-       vampire.distorted.org.uk.)
-  :reverse dmz)
+       national.distorted.org.uk.))
 
-(defrevzone (dmz :family :ipv4)
-  (144-159 :ns (radius.distorted.org.uk.
-		precision.distorted.org.uk.
-		telecaster.distorted.org.uk.
-		vampire.distorted.org.uk.))
-  :multi ((dmz :suffix "144-159") :cname *))
+(defrevzone untrusted
+  :ns (radius.distorted.org.uk.
+       vampire.distorted.org.uk.
+       precision.distorted.org.uk.
+       telecaster.distorted.org.uk.
+       national.distorted.org.uk.))
 
-(defzone 144-159.204.49.62.in-addr.arpa
+(defzone 128-143.238.187.81.in-addr.arpa
   :ns (radius.distorted.org.uk.
+       vampire.distorted.org.uk.
        precision.distorted.org.uk.
        telecaster.distorted.org.uk.
-       vampire.distorted.org.uk.)
+       national.distorted.org.uk.
+       secondary-dns.co.uk.)
   :reverse ((((:ipv4 dmz)))))
 
+(defzone 64-79.12.169.217.in-addr.arpa
+  :ns (radius.distorted.org.uk.
+       vampire.distorted.org.uk.
+       precision.distorted.org.uk.
+       telecaster.distorted.org.uk.
+       national.distorted.org.uk.
+       secondary-dns.co.uk.)
+  :reverse ((((:ipv4 dmz1)))))
+
+(defzone 195.113.2.81.in-addr.arpa
+  :ns (radius.distorted.org.uk.
+       vampire.distorted.org.uk.
+       precision.distorted.org.uk.
+       telecaster.distorted.org.uk.
+       national.distorted.org.uk.
+       secondary-dns.co.uk.)
+  :reverse ((((:ipv4 gw)))))
+
 (defrevzone (jump :family :ipv6)
   :ns (radius.distorted.org.uk.
+       vampire.distorted.org.uk.
        precision.distorted.org.uk.
        telecaster.distorted.org.uk.
-       vampire.distorted.org.uk.)
+       national.distorted.org.uk.)
   :reverse jump)
 
 (defrevzone (jump :family :ipv4)
   (64-79 :ns (radius.distorted.org.uk.
+	      vampire.distorted.org.uk.
 	      precision.distorted.org.uk.
 	      telecaster.distorted.org.uk.
-	      vampire.distorted.org.uk.))
+	      national.distorted.org.uk.))
   :multi ((jump :suffix "64-79") :cname *))
 
 (defzone 64-79.198.13.212.in-addr.arpa
   :ns (radius.distorted.org.uk.
+       vampire.distorted.org.uk.
        precision.distorted.org.uk.
        telecaster.distorted.org.uk.
-       vampire.distorted.org.uk.)
+       national.distorted.org.uk.)
   :reverse ((((:ipv4 jump)))))
 
-(defrevzone distorted.org.uk-he
+(defrevzone (distorted.org.uk-aaisp :family :ipv6)
+  :ns (radius.distorted.org.uk.
+       vampire.distorted.org.uk.
+       precision.distorted.org.uk.
+       telecaster.distorted.org.uk.
+       national.distorted.org.uk.
+       secondary-dns.co.uk.)
+  (0.7.3.6.8.6.4.6.1.0.0.0 :ns (radius.distorted.org.uk.
+				vampire.distorted.org.uk.
+				precision.distorted.org.uk.
+				telecaster.distorted.org.uk.
+				national.distorted.org.uk.))
+  :reverse ((((:ipv6 distorted.org.uk-aaisp)))))
+
+(defrevzone (dhcp :family :ipv6)
   :ns (radius.distorted.org.uk.
+       vampire.distorted.org.uk.
        precision.distorted.org.uk.
        telecaster.distorted.org.uk.
-       vampire.distorted.org.uk.)
-  :reverse distorted.org.uk-he)
+       national.distorted.org.uk.))
 
 (defrevzone distorted.org.uk-jump
   :ns (radius.distorted.org.uk.
+       vampire.distorted.org.uk.
        precision.distorted.org.uk.
        telecaster.distorted.org.uk.
-       vampire.distorted.org.uk.)
+       national.distorted.org.uk.)
   :reverse distorted.org.uk-jump)
 
 (defzone io.distorted.org.uk