architecture: the system poster committed, its facts given a home, and a rule to keep them together
gates / gates (push) Failing after 5m29s

PART A -- the poster. documentation/architecture/felhom-system-poster.html
(307 KB). Secret scan first: ZERO IPv4, zero PEM blocks, zero ssh keys, zero
Bearer. The one EAA... match is base64 inside an embedded "mime":"font/woff2"
blob, not a Facebook token. "token"/"secret"/"password" appear 11 times and
every one is a NAME ("6. ep0 read token", "the hub seal key"); the poster
itself says "Names only; no secret values". All five long base64 blobs are
declared assets: 1 image/png, 3 text/javascript, 1 font/woff2.

It renders with NO network: the source mentions cdn.jsdelivr.net and Google
Fonts, but the loaded requests are only the HTML plus blob:/data: URLs -- the
bundler inlined everything. Measured, not assumed, and it matters: this is a
disaster-recovery document, so needing the internet to draw would be a defect.
No console errors.

The operator's three Claude Design fixes are all present: (a) no "WG" badge,
WireGuard only for the tunnel, no badge on the ep0-copy tile; (b) the box ->
ep0 arrow reads "encrypted on the box, sent through WireGuard"; (c) "Known
gaps" holds two items and NOT the household-keys sentence, which is now a
neutral "By design" note under the ep0 household namespace.

ONE FACT ON IT WAS WRONG. The felhom.eu tile said "served from DooPlex through
Cloudflare". It is not: Cloudflare is DNS only and the traffic goes direct --
measured this morning for the privacy notice, which states exactly that. The
poster would have contradicted a published page. Fixed in place (a label):
"served from DooPlex, Cloudflare DNS only". The first wording overflowed the
fixed-size tile, so it was shortened to fit and the evidence lives in the
facts file instead -- checked by re-rendering, not by hoping.

PART B -- the facts and the rule. DESIGN-PROMPT-...md is renamed
felhom-system-poster.facts.md (one home per fact), with the three fixes folded
in as explicit instructions so a regeneration cannot undo them, plus a new
"Badges" section saying a "WG" chip must never come back.

New rule, section 6 "The system poster stays true", added IDENTICALLY to all
five copies of unprompted-work.md (the four repos and the workspace root on
DooPlex; verified identical by diff before and after) and to
PROMPT-TEMPLATE.md's end-of-session checklist as a FIFTH coupled artifact.

scripts/poster_facts_gate.py WARNS when the facts file has a newer commit than
the poster. It never fails a push, deliberately: a refresh needs Claude Design
and the operator, --no-verify is forbidden here, so a blocking gate would leave
deleting it as the only way out. It compares COMMIT times, not mtimes, because
a checkout rewrites mtimes and every fresh clone would shout.

RED-PROOF -- and it found a real bug in the gate. The first run warned
correctly but exited 1: a single non-ASCII character in its own warning raised
UnicodeEncodeError on this cp1250 console. A gate whose entire contract is
"never fails a push" was failing pushes. Fixed (ASCII output + an encode
guard), and the decoy now asserts BOTH the warning and exit 0. Three branches
proven: facts newer -> warns, rc 0; poster newer -> quiet, rc 0; poster
missing -> "could not tell", rc 2, not a false all-clear.

The decoy itself was seen to fail, twice, on Linux (the suite needs fcntl and
cannot run on Windows): breaking the warning gives STALE_WARNS=False, and
making it exit 1 gives RC_STALE=1. All 80 felhom.eu decoys behave.

PART C -- do box reports pass through Cloudflare? NO. Two channels. DNS from
PUBLIC resolvers (not DooPlex's own, which answers the LAN address):
hub.felhom.eu is a CNAME to dooplex.hopto.org -> 37.191.56.193, not a
Cloudflare address, and no cf-ray comes back. The manifest: an ordinary k3s
Ingress, Cloudflare named only in a DNS setup comment. THE CONTROL that makes
the negative mean something: iso.felhom.eu resolves to 172.67.x / 104.21.x,
real Cloudflare addresses -- so the method does detect proxying.

So nothing is added to the Cloudflare row: the hub path does not touch it.
06-offsite-connectivity.md section 1 claimed the public edge is a
Cloudflare-Tunnel and "DooPlex has no public IP" -- both untrue today. Kept
and marked STALE with the measurement rather than rewritten, because that
paragraph is the reason ep0 exists and the argument needs its premise visible.
total-loss-of-dooplex.md's "today a CNAME to dooplex.hopto.org" is confirmed
correct.

Register: 137 before, 137 after, 0 opened, 0 closed -- every finding here was
small and fixed in the session.
This commit is contained in:
2026-10-09 18:09:50 +02:00
parent e3741ae493
commit a08bd3cbd5
10 changed files with 826 additions and 0 deletions
+65
View File
@@ -69,6 +69,7 @@ COVERS = {
"(2026-10-03) an old-shape row under the new header, a near-miss category, an "
"old rank tag as Sev, an undefined state word, and a pipe outside backticks"),
"decoy-coverage": "a gate registered in a runner with no decoy and no exemption (its red-proof)",
"poster-facts": ("a throwaway repo where the FACTS file is committed after the poster: the gate must SAY SO; the reverse order must stay quiet; and both must exit 0, because this gate's whole contract is that it never fails a push -- the first red-proof caught it exiting 1 on a cp1250 console over one non-ASCII character in its own warning"),
"iso-bootstrap": ("R-502: SIX decoys + the genuine article in scripts/test_iso_bootstrap_gate.py, run from here, docker-free (a "
"fake docker on a one-directory PATH): a BLIND harness that passes a bootstrap whose "
"pairing banner never paints (the R-496 shape), a failing harness, the pass line with no "
@@ -911,6 +912,70 @@ decoy("stands/walked-no-walk", "check_stands.py", plant_file(_STANDS, _stand("wa
decoy("stands/closed-row-ok", "check_stands.py", plant_file(_STANDS, _stand("built", "R-273")), args=(_STANDS,),
expect="pass")
# ── poster-facts ────────────────────────────────────────────────────────────────────────────────
# The gate compares COMMIT times, so its decoy needs a repository of its own rather than a planted
# file. Two orderings and one property are checked: facts-newer must warn, poster-newer must not,
# and BOTH must exit 0. That last one is not ceremony — the first red-proof of this gate caught it
# exiting 1 on a Windows console because its warning carried a single non-ASCII character, which
# would have failed every push on this workstation while claiming to be advisory.
_PF = r"""
import os, subprocess, sys, tempfile, shutil
gate = sys.argv[1]
tmp = tempfile.mkdtemp(prefix="posterfacts-")
try:
arch = os.path.join(tmp, "documentation", "architecture")
os.makedirs(arch)
poster = os.path.join(arch, "felhom-system-poster.html")
facts = os.path.join(arch, "felhom-system-poster.facts.md")
def w(p, s):
open(p, "w").write(s)
def git(*a, when=None):
env = dict(os.environ)
if when:
env["GIT_COMMITTER_DATE"] = when
env["GIT_AUTHOR_DATE"] = when
subprocess.run(["git", "-C", tmp] + list(a), capture_output=True, env=env, check=False)
git("init", "-q", ".")
git("config", "user.email", "d@d"); git("config", "user.name", "d")
w(poster, "poster"); w(facts, "facts")
git("add", "documentation/architecture/felhom-system-poster.html")
git("commit", "-q", "-m", "poster", when="2026-10-01T10:00:00")
git("add", "documentation/architecture/felhom-system-poster.facts.md")
git("commit", "-q", "-m", "facts", when="2026-10-05T10:00:00")
a = subprocess.run([sys.executable, gate, tmp], capture_output=True, text=True)
w(poster, "poster v2")
git("commit", "-q", "-am", "poster2", when="2026-10-07T10:00:00")
b = subprocess.run([sys.executable, gate, tmp], capture_output=True, text=True)
stale_warned = "older than its facts" in (a.stdout + a.stderr)
fresh_quiet = "older than its facts" not in (b.stdout + b.stderr)
print("STALE_WARNS=%s FRESH_QUIET=%s RC_STALE=%d RC_FRESH=%d"
% (stale_warned, fresh_quiet, a.returncode, b.returncode))
finally:
shutil.rmtree(tmp, ignore_errors=True)
"""
ran += 1
_pf = subprocess.run([sys.executable, "-c", _PF, os.path.join(ROOT, "scripts", "poster_facts_gate.py")],
cwd=ROOT, capture_output=True, text=True)
_out = (_pf.stdout + _pf.stderr).strip()
_want = "STALE_WARNS=True FRESH_QUIET=True RC_STALE=0 RC_FRESH=0"
if _want in _out:
print("ok poster-facts/stale-warns-and-never-fails")
else:
fails.append("poster-facts: expected %r, got %r" % (_want, _out[-300:]))
# the gate must print nothing non-ASCII: that is what broke it the first time, and a console that
# cannot encode a character turns "advisory" into a failed push.
ran += 1
_src = io.open(os.path.join(ROOT, "scripts", "poster_facts_gate.py"), encoding="utf-8").read()
_printed = re.findall(r"lines\.append\((.*?)\)\n", _src, re.S) + re.findall(r"print\((.*?)\)\n", _src, re.S)
_bad = [s for s in _printed if any(ord(c) > 127 for c in s)]
if _bad:
fails.append("poster-facts: %d printed string(s) carry non-ASCII; on a cp1250 console the gate "
"would raise UnicodeEncodeError and exit non-zero" % len(_bad))
else:
print("ok poster-facts/output-is-ascii")
print()
if fails:
for f in fails: