Phase 4 — real domain adapters (Kepler astronomy) #10

Scope (ROADMAP.md, Phase 4)

• ASTRA/GEODISC/BIODISC/SLATE adapters only after licence and owner review.
• Domain-specific validators remain sandboxed behind adapters.
• Cross-domain method transfer enters target domain at L0 every time.

Owner directive (Robin, 2026-07-19): build ONE real astronomy adapter using the existing Kepler-10 b path (public MAST light-curve data, already used by demos/ledger-grok). Clean-room: NO ASTRA/GEODISC/BIODISC/SLATE code — their licensing is unresolved and we hold no owner permission for code reuse.

Acceptance checklist

• One real adapter (Kepler photometry) registered at the first-party real-data trust tier; ships/bundles the public NASA/MAST Q1 light curve with a provenance note (data, not code).
• Adapter re-derives the known Kepler-10 b signal (bounded stdlib BLS path, ported from this repo's own Apache-2.0 demo code) — framed everywhere as validation of a published result, never a discovery.
• Staged validators behind the adapter: internal (detection SNR), replication (independent holdout halves re-detect), review (adversarial: odd/even depth, secondary-eclipse, harmonic checks) — all sandboxed inside the adapter; the kernel sees only contract evidence.
• Negative controls: no-signal and tampered curves fail the gates.
• Cross-domain transfer of a Kepler candidate enters the target domain at L0 (bridge invariant re-verified against a real adapter).
• Tests green (ruff + pytest 3.10/3.11/3.12), runtime-bounded for CI. Docs updated truthfully (incl. honesty framing).
• Invariants: L4 human-gated; no discovery claims; no secrets; $0 spend; no ASTRA-family code.

Dependencies

Blocked by #7 — Phase 1 epic (trust registry + permission manifest) and #8 — Phase 2 epic (validation gates the adapter's evidence passes through).

Tasks

• P4-T1: bundle Kepler Q1 light curve + provenance #29 bundle Kepler Q1 light curve + provenance
• P4-T2: port stdlib transit pipeline into adapters #30 port stdlib transit pipeline into adapters
• P4-T3: KeplerPhotometryAdapter (real data, CORE tier) #31 KeplerPhotometryAdapter (real data, CORE tier)
• P4-T4: registry + bridge integration (L0 transfer invariant) #32 registry + bridge integration (L0 transfer invariant)
• P4-T5: negative controls #33 negative controls
• P4-T6: Phase 4 docs + version 0.5.0 #34 Phase 4 docs + version 0.5.0