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%
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>
|
||
|---|---|---|
| .githooks | ||
| _salvage | ||
| compute | ||
| corpus | ||
| ledger | ||
| meta | ||
| report | ||
| tests | ||
| tools | ||
| .gitignore | ||
| CLAUDE.md | ||
| Makefile | ||
| pyproject.toml | ||