Fetching metadata from the HF Docker repository...
-
Round 2 — Constraint Awareness: Completion Signal
Four-state constraint gate (COMPLETE/PARTIAL/BLOCKED/UNRESOLVED) with:
- two-tier positional evidence from real SpaceX Starlink public ephemerides
- live USSPACECOM TIP re-entry predictions
- DINOv3-SAT 3.4 km ground classification (18.2M sub-cells, validated vs GHS-POP)
- 2-D population exposure vs NASA DAS 1-D method (measured 94% understatement)
- verified-minimal recourse, provable resolvability, RFC 8785 decision receipts
- TLA+/TLC model check + 8 property tests; FAA MMEL third-domain rulebook
- WebGPU all-pairs screening; story, chase-cam and approach replays in the UI
