distorted.lisp: Reformat `national' address entry.
[zones] / distorted.lisp
1 ;;; Zone file for distorted.org.uk
2
3 (load "hosts.lisp" :verbose nil)
4
5 ;;;--------------------------------------------------------------------------
6 ;;; Anycast services.
7
8 (defvar *anycast-routable-families* (list :ipv6))
9
10 (defzoneparse :anycast (name data rec :prefix prefix :zname zname)
11 (destructuring-bind (any-provider default-provider &rest other-providers)
12 data
13
14 ;; First, the default address. If the anycast network is preferred then
15 ;; this is easy; otherwise we have something complicated to do because
16 ;; IPv6 anycast addresses are globally routable, while IPv4 ones aren't.
17 (if (zone-preferred-subnet-p (car any-provider))
18 (zone-set-address #'rec (cdr any-provider) :make-ptr-p t)
19 (do-host (addr (cdr any-provider))
20 (let ((family (ipaddr-family addr)))
21 (if (member family *anycast-routable-families*)
22 (zone-set-address #'rec addr
23 :family family :make-ptr-p t)
24 (zone-set-address #'rec (cdr default-provider)
25 :family family :make-ptr-p nil)))))
26
27 ;; Now for all of the others.
28 (dolist (provider (list* any-provider default-provider other-providers))
29 (zone-set-address #'rec (cdr provider)
30 :make-ptr-p (eq provider any-provider)
31 :name (domain-name-concat prefix
32 (zone-parse-host
33 (car provider)
34 zname))))))
35
36 ;;;--------------------------------------------------------------------------
37 ;;; Hostname abbreviations.
38
39 (defvar *abbrev-subdomain*
40 (make-domain-name :labels '("abbrev") :absolutep nil))
41 (defparameter *abbrev-used* (make-hash-table :test #'equal))
42
43 (defzoneparse :abbrev (name data rec :zname zname)
44 (let* ((domain (zone-parse-host data
45 (domain-name-concat *abbrev-subdomain*
46 zname)))
47 (key (princ-to-string domain))
48 (existing (gethash key *abbrev-used*)))
49 (when existing
50 (error "Abbrev collision for ~A between ~A and ~A."
51 domain existing name))
52 (setf (gethash key *abbrev-used*) name)
53 (rec :name domain
54 :type :cname
55 :data name)))
56
57 ;;;--------------------------------------------------------------------------
58 ;;; Other definitions.
59
60 (setf *default-zone-admin* "hostmaster@distorted.org.uk")
61
62 (setf *default-zone-source* 'radius.distorted.org.uk.)
63
64 ;;;--------------------------------------------------------------------------
65 ;;; Main zone definition.
66
67 (defzone distorted.org.uk
68
69 ;; Nameservers.
70 :ns ((radius.ns :ip radius)
71 (precision.ns :ip precision)
72 (telecaster.ns :ip telecaster)
73 (national.ns :ip national)
74 #-view/inside (mythic-beasts-1.ns :ip mythic-ns1)
75 #-view/inside (mythic-beasts-2.ns :ip mythic-ns2)
76 #-view/inside (mythic-beasts-3.ns :ip mythic-ns3)
77 #-view/inside (chiark.ns :ip chiark.greenend.org.uk))
78
79 ;; Certification.
80 :caa ((:issue "letsencrypt.org")
81 (:issue "distorted.org.uk"))
82
83 ;; Mail servers.
84 ((@ mail blackhole) :mx mail :srv ((:smtp mail)))
85 (bugs :mx lists :srv ((:smtp bugs)))
86 (lists :mx lists :srv ((:smtp lists)))
87 (_dmarc :dmarc (:v "DMARC1"
88 :p "quarantine" :sp "quarantine"
89 :adkim "s" :aspf "s"))
90 ((_domainkey _domainkey.mail) :dname stratocaster.dkim)
91 ((stratocaster @ mail) :spf ((:version "spf1")
92 (:pass :ip stratocaster.dmz)
93 (:soft :all)))
94 ((_domainkey.bugs _domainkey.lists) :dname telecaster.dkim)
95 ((telecaster bugs lists) :spf ((:version "spf1")
96 (:pass :ip telecaster.dmz)
97 (:soft :all)))
98
99 ;; Anycast services.
100 (dns0 :anycast ((any dns0.any) (dmz radius.dmz)
101 (unsafe radius.unsafe)))
102 (dns1 :anycast ((any dns1.any) (dmz precision.dmz)
103 (unsafe precision.unsafe)))
104 (dns :cname dns0)
105
106 (ntp0 :anycast ((any ntp0.any) (dmz ibanez.dmz)
107 (unsafe ibanez.unsafe)))
108 (ntp1 :anycast ((any ntp1.any) (dmz fender.dmz)
109 (unsafe fender.unsafe)))
110 (ntp :cname ntp0)
111
112 (www-cache :anycast ((any www-cache.any) (dmz telecaster.dmz)
113 (unsafe telecaster.unsafe)))
114 (wpad :cname www-cache)
115
116 (_kerberos :txt "DISTORTED.ORG.UK")
117 (krb0 :anycast ((any krb0.any) (dmz radius.dmz)
118 (unsafe radius.unsafe)))
119 (krb1 :anycast ((any krb1.any) (dmz precision.dmz)
120 (unsafe precision.unsafe)))
121 (krb-master (unsafe :svc radius.unsafe)
122 (dmz :svc radius.dmz))
123 :srv (((:kerberos :protocol :udp)
124 krb0
125 (krb1 :prio 100))
126 ((:kerberos-master :protocol :udp :port 88) krb-master)
127 (:kerberos-adm krb-master)
128 ((:kpasswd :protocol :udp) krb-master))
129 (krb :cname krb0)
130
131 ;; Other services.
132 :srv ((:http www)
133 (:ftp ftp))
134
135 ;; Formerly colocated services.
136 ((irc vox keys wiki) (unsafe :svc jazz.unsafe :sshfp "jazz")
137 (dmz :svc jazz.dmz :sshfp "jazz"))
138 ((irc vox keys wiki) :tlsa (:https (:service-certificate-constraint
139 :public-key :sha-256 #p"https-jazz")))
140 ((bugs lists db ftp) (unsafe :svc telecaster.unsafe :sshfp "telecaster")
141 (dmz :svc telecaster.dmz :sshfp "telecaster"))
142 ((bugs lists ftp) :tlsa (:https #3=(:service-certificate-constraint
143 :public-key :sha-256
144 #p"https-telecaster")))
145 (dyndns :svc telecaster.dmz :sshfp "telecaster")
146 ((git www mail) (unsafe :svc stratocaster.unsafe :sshfp "stratocaster")
147 (dmz :svc stratocaster.dmz :sshfp "stratocaster"))
148 ((www git mail @) :tlsa (:https #2=(:service-certificate-constraint
149 :public-key :sha-256
150 #p"https-stratocaster")))
151 (www-cache :tlsa (3127 #1=(:trust-anchor-assertion
152 :certificate :sha-256 #p"distorted-ca")))
153 (mail :tlsa ((:submission :imap :imaps) #1#))
154 (mail :tlsa (:smtp
155 #+view/inside #1#
156 #-view/inside (:domain-issued-certificate
157 :public-key :sha-256
158 #p"smtps-stratocaster")))
159 ((bugs lists) :tlsa (:smtp
160 #+view/inside #1#
161 #-view/inside (:domain-issued-certificate
162 :public-key :sha-256
163 #p"smtps-telecaster")))
164 :svc #+view/inside stratocaster.unsafe
165 #-view/inside stratocaster.dmz
166 (cabal :svc stratocaster.dmz :sshfp "stratocaster")
167
168 ;; Local services.
169 (rawk (unsafe :svc artist.unsafe) (dmz :svc artist.dmz))
170 (rawk :tlsa (:https (:service-certificate-constraint
171 :public-key :sha-256
172 #p"https-artist")))
173 (mirror (dmz :svc roadstar.dmz :sshfp "roadstar")
174 (unsafe :svc roadstar.unsafe :sshfp "roadstar"))
175
176 ;; Internal services.
177 ((news lpr) :svc roadstar.unsafe :sshfp "roadstar")
178
179 ;; Anonymity services.
180 (anon (dmz :svc anon.dmz)
181 (unsafe :svc jazz.unsafe))
182
183 ;; Fancy connectivity.
184 (iodine (dmz :svc jazz.dmz))
185 (hippotat (dmz :svc jazz.dmz))
186
187 ;; Formerly colocated hosts.
188 (fender :abbrev f (unsafe :abbrev fu) (dmz :abbrev fd))
189 (fender (unsafe :addr fender.unsafe :sshfp "fender")
190 (dmz :addr fender.dmz :sshfp "fender"))
191 (precision :abbrev p (unsafe :abbrev pu) (dmz :abbrev pd) (vpn :abbrev pv))
192 (precision (unsafe :addr precision.unsafe :sshfp "precision")
193 (dmz :addr precision.dmz :sshfp "precision")
194 (vpn :addr precision.vpn :sshfp "precision"))
195 (telecaster :alias tele :abbrev t
196 (unsafe :alias tele.unsafe :abbrev tu)
197 (dmz :alias tele.dmz :abbrev td))
198 (telecaster (unsafe :addr telecaster.unsafe :sshfp "telecaster")
199 (dmz :addr telecaster.dmz :sshfp "telecaster"))
200 (stratocaster :alias strat :abbrev s
201 (unsafe :alias strat.unsafe :abbrev su)
202 (dmz :alias strat.dmz :abbrev sd))
203 (stratocaster (unsafe :addr stratocaster.unsafe :sshfp "stratocaster")
204 (dmz :addr stratocaster.dmz :sshfp "stratocaster"))
205 (jazz :abbrev z (unsafe :abbrev zu) (dmz :abbrev zd) (vpn :abbrev :zv))
206 (jazz (unsafe :addr jazz.unsafe :sshfp "jazz")
207 (dmz :addr jazz.dmz :sshfp "jazz")
208 (vpn :addr jazz.vpn :sshfp "jazz")
209 (iodine :addr jazz.iodine :sshfp "jazz")
210 (hippo :addr jazz.hippo :sshfp "jazz"))
211
212 ;; Virtual hosts.
213 (national :abbrev n (linode :abbrev nl) (upn :abbrev ny))
214 (national (linode :addr national.linode) (upn :addr national.upn))
215 (mdwdev (upn :addr mdwdev.upn))
216
217 ;; Nicko's servers.
218 (richmond (dmz :svc richmond.dmz))
219 (marshall (dmz :svc marshall.dmz))
220
221 ;; Entry is via little router box.
222 (dmz :net dmz)
223 (guvnor (dmz :addr guvnor.dmz))
224 (nat (dmz :addr nat.dmz))
225
226 ;; Wireless access points.
227 (wireless :net wireless)
228 (evolution (safe :addr evolution.safe))
229 (evolution :alias evo)
230 (kitkat :alias ap0)
231 (kitkat (safe :addr kitkat.safe))
232 (lunch :alias ap1)
233 (lunch (safe :addr lunch.safe))
234
235 ;; Printer.
236 (burntaxe :alias lp0)
237 (burntaxe (safe :addr burntaxe.safe))
238
239 ;; Switches.
240 (grigsby :alias tp0)
241 (grigsby (safe :addr grigsby.safe))
242 (carling :alias tp1)
243 (carling (safe :addr carling.safe))
244 (tritan :alias tp2)
245 (tritan (safe :addr tritan.safe))
246
247 ;; Wired ethernet.
248 (unsafe :net unsafe)
249 (safe :net safe)
250 (untrusted :net untrusted)
251 (vampire :abbrev v
252 (unsafe :abbrev vu) (dmz :abbrev vd) (vpn :abbrev vv)
253 (safe :abbrev vs) (untrusted :abbrev vx))
254 (vampire (unsafe :addr vampire.unsafe :sshfp "vampire")
255 (dmz :addr vampire.dmz :sshfp "vampire")
256 (vpn :addr vampire.vpn :sshfp "vampire")
257 (safe :addr vampire.safe :sshfp "vampire")
258 (untrusted :addr vampire.untrusted :sshfp "vampire"))
259 (ibanez :abbrev i (unsafe :abbrev iu) (dmz :abbrev id))
260 (ibanez (unsafe :addr ibanez.unsafe :sshfp "ibanez")
261 (dmz :addr ibanez.dmz :sshfp "ibanez"))
262 (radius :abbrev r
263 (unsafe :abbrev ru) (dmz :abbrev rd) (vpn :abbrev rv)
264 (safe :abbrev rs) (untrusted :abbrev rx))
265 (radius (unsafe :addr radius.unsafe :sshfp "radius")
266 (dmz :addr radius.dmz :sshfp "radius")
267 (vpn :addr radius.vpn :sshfp "radius")
268 (safe :addr radius.safe :sshfp "radius")
269 (untrusted :addr radius.untrusted :sshfp "radius"))
270 (roadstar :abbrev rg (unsafe :abbrev rgu) (dmz :abbrev rgd))
271 (roadstar (unsafe :addr roadstar.unsafe :sshfp "roadstar")
272 (dmz :addr roadstar.dmz :sshfp "roadstar"))
273 (jem :abbrev j (unsafe :abbrev ju) (dmz :abbrev jd))
274 (jem (unsafe :addr jem.unsafe :sshfp "jem")
275 (dmz :addr jem.dmz :sshfp "jem"))
276 (universe :abbrev u (unsafe :abbrev uu) (dmz :abbrev ud))
277 (universe (unsafe :addr universe.unsafe :sshfp "universe")
278 (dmz :addr universe.dmz :sshfp "universe"))
279 (artist :abbrev a
280 (unsafe :abbrev au) (dmz :abbrev ad) (untrusted :abbrev ax))
281 (artist (unsafe :addr artist.unsafe :sshfp "artist")
282 (dmz :addr artist.dmz :sshfp "artist")
283 (untrusted :addr artist.untrusted :sshfp "artist"))
284 (groove :abbrev gr
285 (vpn :abbrev grv) (unsafe :abbrev gru))
286 (groove (vpn :addr groove.vpn :sshfp "groove")
287 (unsafe :addr groove.unsafe :sshfp "groove"))
288
289 ;; DHCP hosts.
290 (gibson :cname gibson.dhcp :abbrev g)
291 (lespaul :cname lespaul.dhcp)
292 (firebird :cname firebird.dhcp)
293 (marauder :cname marauder.dhcp)
294 (invader :cname invader.dhcp)
295 (gretsch :cname gretsch.dhcp)
296
297 ;; Virtual network.
298 (vpn :net vpn)
299 (crybaby :abbrev cb)
300 (crybaby (vpn :addr crybaby.vpn :sshfp "crybaby")
301 (hippo :addr crybaby.hippo :sshfp "crybaby"))
302 (spirit (vpn :addr spirit.vpn :sshfp "spirit")
303 (hippo :addr spirit.hippo :sshfp "spirit"))
304 (terror (vpn :addr terror.vpn :sshfp "terror"))
305 (orange :abbrev o)
306 (orange (vpn :addr orange.vpn :sshfp "orange"))
307 (haze :abbrev h)
308 (haze (vpn :addr haze.vpn :sshfp "haze"))
309 (iodine :net iodine)
310 (hippo :net hippo)
311
312 ;; ITS.
313 (its :net its)
314 (gw (its :addr gw.its))
315 (mz (its :addr mz.its))
316
317 ;; Strange things.
318 (blackhole (dmz :addr blackhole.dmz))
319
320 ;; Delegations.
321 (dhcp :ns ((radius.ns.dhcp :ip radius)
322 (precision.ns.dhcp :ip precision)
323 (telecaster.ns.dhcp :ip telecaster)
324 (national.ns.dhcp :ip national))
325 :ds ((55966 :rsasha256 :sha1
326 "95b05c1f4e84f950f29630004bac447f8a87ca33")
327 (55966 :rsasha256 :sha256
328 #.(concatenate 'string "31696bf54b577362b2eb75793adeb9ec"
329 "2e8440ec671371b35d8d978cd9ca3007"))))
330 (dyn :ns ((radius.ns.dyn :ip radius)
331 (precision.ns.dyn :ip precision)
332 (telecaster.ns.dyn :ip telecaster)
333 (national.ns.dyn :ip national))
334 :ds ((11335 :rsasha256 :sha1
335 "7ed2b843b0bfb38ceca68617dfacbeafab1d1ea9")
336 (11335 :rsasha256 :sha256
337 #.(concatenate 'string "6eb15eb587c48f5b84ca128a656a4cce"
338 "0a41cf040d3d0f15a44dffd6476b2b55"))))
339 (dnserr :ns ((radius.ns.dnserr :ip radius.dmz)
340 (precision.ns.dnserr :ip precision.dmz)
341 (telecaster.ns.dnserr :ip telecaster.dmz)
342 (national.ns.dnserr :ip national.linode))
343 :ds ((40945 :rsasha256 :sha1
344 "f35b5d0b877b940e63ad1b3afc21d6ba83cd1b3b")
345 (40945 :rsasha256 :sha256
346 #.(concatenate 'string "fb171d206d4d64c5a7a6c290ce6e20df"
347 "44f1db7f41e2260f1fe8d7c55d524c11"))))
348 (stratocaster.dkim
349 :ns ((radius.ns.stratocaster.dkim :ip radius.dmz)
350 (precision.ns.stratocaster.dkim :ip precision.dmz)
351 (telecaster.ns.stratocaster.dkim :ip telecaster.dmz)
352 (national.ns.stratocaster.dkim :ip national.linode)
353 (mythic-beasts-1.ns.stratocaster.dkim :ip mythic-ns1)
354 (mythic-beasts-2.ns.stratocaster.dkim :ip mythic-ns2)
355 (mythic-beasts-3.ns.stratocaster.dkim :ip mythic-ns3))
356 :ds ((24577 :rsasha256 :sha1
357 "d06847c01e19098509a8d07a9aafaceff532c9c7")
358 (24577 :rsasha256 :sha256
359 #.(concatenate 'string "a40cdb1c633041cfbc1b80a400cff527"
360 "2cad051915fc0cd40296a2d4590b9d2b"))))
361 (telecaster.dkim
362 :ns ((radius.ns.telecaster.dkim :ip radius.dmz)
363 (precision.ns.telecaster.dkim :ip precision.dmz)
364 (telecaster.ns.telecaster.dkim :ip telecaster.dmz)
365 (national.ns.telecaster.dkim :ip national.linode)
366 (mythic-beasts-1.ns.telecaster.dkim :ip mythic-ns1)
367 (mythic-beasts-2.ns.telecaster.dkim :ip mythic-ns2)
368 (mythic-beasts-3.ns.telecaster.dkim :ip mythic-ns3))
369 :ds ((38896 :rsasha256 :sha1
370 "2c2daea658784e22c46bf9e86da67def1e34cf40")
371 (38896 :rsasha256 :sha256
372 #.(concatenate 'string "66997571c7d47f912caa65f2154ecd37"
373 "5b9d391e3ed44d79ac35eef59264e521"))))
374 (io :ns ((ns.io :ip jazz.dmz)))
375 (play :ns (radius.ns precision.ns telecaster.ns national.ns)))
376
377 ;;;--------------------------------------------------------------------------
378 ;;; Other subsidiary zones.
379
380 #+view/outside
381 (defzone dhcp.distorted.org.uk
382 :ns ((radius.ns :ip radius.dmz)
383 (precision.ns :ip precision.dmz)
384 (telecaster.ns :ip telecaster.dmz)
385 (national.ns :ip national.linode))
386 (gibson :addr gibson.unsafe)
387 (crybaby :addr crybaby.unsafe)
388 (lespaul :addr lespaul.unsafe)
389 (gretsch :addr gretsch.unsafe)
390 (spirit :addr spirit.unsafe)
391 (haze :addr haze.unsafe)
392 (invader :addr invader.safe)
393 (marauder :addr marauder.safe))
394
395 #+view/outside
396 (defzone (dyn.distorted.org.uk :source telecaster.distorted.org.uk.)
397 :ns ((radius.ns :ip radius)
398 (precision.ns :ip precision)
399 (telecaster.ns :ip telecaster)
400 (national.ns :ip national)))
401
402 #+view/outside
403 (defzone nicko.org
404 (richmond :addr richmond.dmz))
405
406 #+view/outside
407 (defzone stratocaster.dkim.distorted.org.uk
408 :ns ((radius.ns :ip radius.dmz)
409 (precision.ns :ip precision.dmz)
410 (telecaster.ns :ip telecaster.dmz)
411 (national.ns :ip national.linode)
412 (mythic-beasts-1.ns :ip mythic-ns1)
413 (mythic-beasts-2.ns :ip mythic-ns2)
414 (mythic-beasts-3.ns :ip mythic-ns3)))
415 #+view/outside
416 (defzone telecaster.dkim.distorted.org.uk
417 :ns ((radius.ns :ip radius.dmz)
418 (precision.ns :ip precision.dmz)
419 (telecaster.ns :ip telecaster.dmz)
420 (national.ns :ip national.linode)
421 (mythic-beasts-1.ns :ip mythic-ns1)
422 (mythic-beasts-2.ns :ip mythic-ns2)
423 (mythic-beasts-3.ns :ip mythic-ns3)))
424
425 (defrevzone trusted
426 :ns (radius.distorted.org.uk.
427 precision.distorted.org.uk.
428 telecaster.distorted.org.uk.
429 national.distorted.org.uk.)
430 :reverse unsafe
431 :reverse vpn
432 :reverse its
433 :reverse any
434 (dhcp :ns (radius.distorted.org.uk.
435 precision.distorted.org.uk.
436 telecaster.distorted.org.uk.
437 national.distorted.org.uk.))
438 :multi (((dhcp safe) :family :ipv4 :suffix "199.29.172.dhcp") :cname *))
439
440 #+view/outside
441 (defzone dhcp.199.29.172.in-addr.arpa
442 :ns (radius.distorted.org.uk.
443 precision.distorted.org.uk.
444 telecaster.distorted.org.uk.
445 national.distorted.org.uk.))
446
447 (defrevzone untrusted
448 :ns (radius.distorted.org.uk.
449 precision.distorted.org.uk.
450 telecaster.distorted.org.uk.
451 national.distorted.org.uk.))
452
453 (defzone 128-143.238.187.81.in-addr.arpa
454 :ns (radius.distorted.org.uk.
455 precision.distorted.org.uk.
456 telecaster.distorted.org.uk.
457 national.distorted.org.uk.
458 secondary-dns.co.uk.)
459 :reverse ((((:ipv4 dmz)))))
460
461 (defzone 64-79.12.169.217.in-addr.arpa
462 :ns (radius.distorted.org.uk.
463 precision.distorted.org.uk.
464 telecaster.distorted.org.uk.
465 national.distorted.org.uk.
466 secondary-dns.co.uk.)
467 :reverse ((((:ipv4 dmz1)))))
468
469 (defzone 195.113.2.81.in-addr.arpa
470 :ns (radius.distorted.org.uk.
471 precision.distorted.org.uk.
472 telecaster.distorted.org.uk.
473 national.distorted.org.uk.
474 secondary-dns.co.uk.)
475 :reverse ((((:ipv4 gw)))))
476
477 (defrevzone (distorted.org.uk-aaisp :family :ipv6)
478 :ns (radius.distorted.org.uk.
479 precision.distorted.org.uk.
480 telecaster.distorted.org.uk.
481 national.distorted.org.uk.
482 secondary-dns.co.uk.)
483 (0.7.3.6.8.6.4.6.1.0.0.0 :ns (radius.distorted.org.uk.
484 precision.distorted.org.uk.
485 telecaster.distorted.org.uk.
486 national.distorted.org.uk.))
487 :reverse ((((:ipv6 distorted.org.uk-aaisp)))))
488
489 (defrevzone (dhcp :family :ipv6)
490 :ns (radius.distorted.org.uk.
491 precision.distorted.org.uk.
492 telecaster.distorted.org.uk.
493 national.distorted.org.uk.))
494
495 #+view/outside
496 (defzone io.distorted.org.uk
497 :ns ((ns :ip jazz.dmz))
498 (about :txt "Fake zone used for IP-over-DNS tunnelling."))
499
500 ;;;----- That's all, folks --------------------------------------------------