since/project-dark-bulb
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
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.
38 commits 1 branch 0 tags 62 MiB
  • TeX 80.1%
  • Python 19.2%
  • HTML 0.6%
Find a file
Exact
Klaudiusz 4282fee591 ledger: nav sources + first red-team round (PDB-34/41) 
S-0027 Akeson 2021 (ALMA alpha Cen AB: 750.81+/-0.38 vs K16 747.17 vs PB16 743
— catalogue disagreement now inside one refereed table) + S-0028 SEXTANT
on-orbit XNAV (<10 km worst-direction, real-time). C-0034 (PB16 superseded;
C-0029 floor must be re-derived), C-0035 (XNAV = demonstrated re-fix mechanism,
interstellar budget open). X-0025/X-0026 SURVIVED (workflow red team round 1,
live 57/57 sweep repro + byte-exact span audit) -> C-0003, C-0021 GREEN. 18/35.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
2026-08-10 14:57:39 +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 ledger: nav sources + first red-team round (PDB-34/41) 2026-08-10 14:57:39 +00:00
corpus ledger: nav sources + first red-team round (PDB-34/41) 2026-08-10 14:57:39 +00:00
ledger ledger: nav sources + first red-team round (PDB-34/41) 2026-08-10 14:57:39 +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 feat(nav): jump-targeting computer + C-0029 multi-jump convergence (Front 1) 2026-08-10 07:51:28 +00:00
tools feat: Bach tensor (PDB-32) + non-minimal QI pricing (PDB-33) 2026-08-10 07:12:12 +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