PROJECT DARK BULB - facts-only research programme: is metric-engineering propulsion (Alcubierre-class warp drive) physically realisable, and if not, which theorem stands in the way. Every claim traces to a verbatim quote in a retrievable source.
  • TeX 80.4%
  • Python 19%
  • HTML 0.5%
Find a file
Klaudiusz 1a5f59647d red team round 3 complete: 26 GREEN, 7 RED, 4 corrections written
SURVIVED -> GREEN: C-0029 (jump-nav convergence), C-0031 (beamed energy),
C-0032 (QET), C-0033 (kugelblitz dispute; attacker found a 4th voice, Page 2025,
logged as Q-0004).

REFUTED -> RED, each superseded by a corrected claim:
  C-0022 -> C-0036  dropped 'DOMINATED': VdB walls are 74-88% Type IV, and the
                    Type-IV fraction FALLS with speed — not 'no rest frame'.
  C-0023 -> C-0037  'unrebutted in the corpus' was false; S-0001 rebuts
                    Bobrick-Martire three times. Absence claims must be searched
                    in raw LaTeX — the canonicaliser strips \cite.
  C-0027 -> C-0038  ! conclusion REVERSED: S-0020's ANEC restoration is
                    Minkowski-only; Urban-Olum (S-0029) violate ANEC *and*
                    achronal ANEC with conformal coupling xi=1/6, inside the
                    Fewster range. The non-minimal escape is OPEN in curved space.
  C-0030 -> C-0039  ! conclusion REVERSED + provenance failure: the claim
                    asserted a logged null search that was never logged (now
                    Q-0005). Physics: long wormholes (S-0030 Maldacena-Milekhin-
                    Popov) need no achronal ANEC violation and embed in the
                    Standard Model — ANEC-violating matter exists inside EFT.

Sources S-0029, S-0030 ingested (my recalled title AND first-author name for
S-0029 were both wrong; the resolver caught them). Resolver hygiene fixed:
case-insensitive DOI compare, quote-style folding, Greek transliteration —
the corpus now resolves 30/30 instead of failing on two clean records, with
tests/test_src_resolve_norm.py pinning both directions.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
2026-08-11 07:34:34 +00:00
.githooks build(pdb): make the gate an edge, not a policy 2026-08-06 15:10:56 +00:00
_salvage chore(pdb): salvage working prototypes from scouting session 2026-08-06 12:52:32 +00:00
compute red team round 3 complete: 26 GREEN, 7 RED, 4 corrections written 2026-08-11 07:34:34 +00:00
corpus red team round 3 complete: 26 GREEN, 7 RED, 4 corrections written 2026-08-11 07:34:34 +00:00
ledger red team round 3 complete: 26 GREEN, 7 RED, 4 corrections written 2026-08-11 07:34:34 +00:00
meta feat(nav): jump-targeting computer + C-0029 multi-jump convergence (Front 1) 2026-08-10 07:51:28 +00:00
report feat(nav): jump-targeting computer + C-0029 multi-jump convergence (Front 1) 2026-08-10 07:51:28 +00:00
tests red team round 3 complete: 26 GREEN, 7 RED, 4 corrections written 2026-08-11 07:34:34 +00:00
tools red team round 3 complete: 26 GREEN, 7 RED, 4 corrections written 2026-08-11 07:34:34 +00:00
.gitignore feat(pdb): the wall chart — the gate deliverable (PDB-20) 2026-08-07 12:37:15 +00:00
CLAUDE.md build(pdb): make the gate an edge, not a policy 2026-08-06 15:10:56 +00:00
Makefile feat(pdb): prose linter — the compiler for 'prose carries claim IDs, not citations' (PDB-12) 2026-08-07 12:52:43 +00:00
pyproject.toml build(pdb): make the gate an edge, not a policy 2026-08-06 15:10:56 +00:00