Skip to content

Phase1_Final_Signoff_V5_Status

Jump to bottom
fujiaze edited this page Aug 9, 2026 · 2 revisions

Phase1 Final Signoff V5 状态（2026-08-09）

控制包：AstroCS_Phase1_Final_Signoff_V5_HiPS_Layout_Precision.zip （SHA256 d7b4d0e716fa48c801d17daec15e757920a7d8671eac37299bc8e8db43b26441） 启动提示词：在 main 执行本包；修 HiPS tile 标准排列、SNR 精度与生产配置； MAPTILES 逐像素验收，裁剪全过后仅跑一次 T4 FP32。T1 缺失保留，勿动 ACR/FAST/Stage2。

背景

V4 已证明共享 HEALPix core、SNR 空间定位、stable ID、Browser HiPS 后端与 Astrometry.net/Hipsgen/Sanitizer。独立审核发现最后一个标准互操作级 BLOCKER： Image HiPS tile 内部像素排列是 Writer/Reader/Browser 共用的私有约定 （NESTED local index 直接当 FITS row-major），自测无法暴露，且 Hipsgen MAPTILES 逐像素 Oracle 未执行。V5 只收敛布局/精度/配置，不重写已通过科学算法。

Gate 结果

Gate 结果 证据要点
G1 Image HiPS layout PASS 共享 healpix_core nested↔xy↔FITS 标准映射；Writer/Reader/Browser 统一；hierarchy 正确；CDS Hipsgen MAPTILES 全像素 Oracle：order12 768 个 512² leaf tile、201,326,592 像素逐像素 mismatch=0（order10 派生 12,582,912 像素亦 mismatch=0）；12 base face 全覆盖（全天空 map）；test_hips_tile_mapping 262,144 全量 + 100k 随机 PASS
G2 SNR precision PASS FP32 %.9g / FP64 %.17g 文本 round-trip：各 20014 点 bitwise mismatch=0、missing/extra/duplicates=0；metadata.xml datatype=float/double 正确；star_id/quality_flags/photometric_status 保留（Browser snr_rows 997/1947 id_unique=1，trace SNR id subset 无 i+1）
G3 Config PASS pixfrac 省略→0.8、显式 0.8、template=0.8；生产 output.hips 唯一正式输出，output.hiss 仅 DEPRECATED 可选（回归：无 output.hiss 配置可解析/验证通过）；运行日志 HiPS 术语；completion output_hips；orchestrator CLI 233/233
G4 Metadata PASS hips_creation_date=2026-08-09T…Z 实际 UTC；obs_filter=Red、obs_date 来自真实帧；可选 em_min/em_max 不伪造（注释态）
G5 interoperability PASS Hipsgen MAPTILES 全像素 mismatch=0；signal/support LINT/CHECKCODE/CHECK/CHECKFAST/CHECKDATASUM 在 crop FP32/FP64 与 full 均真实执行 exit=0；SNR TSV LINT exit=0（warnings），CHECK/CHECKCODE/CHECKDATASUM 为 Hipsgen FITS 专用动作不适用于 TSV，CHECKFAST exit=0，空间正确性由独立 astropy-healpix 逐行 Oracle 覆盖
G6 Browser PASS 共享标准映射；crop FP32/FP64 各 2048 随机 direct-AIO 查询 mismatch=0、outside_ok=64/64、snr_id_unique=1；full 2048 查询 mismatch=0；edge/corner 由全量映射测试覆盖；支持 signal/support/SNR 双精度
G7 robustness PASS WSL ASan/UBSan/LSan ALL_SANITIZE_V5_PASS：1,000,000 全天 Oracle mismatch=0；HiPS writer/reader FP32 标准排列；robust FP32/FP64 + corrupt TSV/properties/Moc 优雅失败；DR3SP 实际目录 219,165,266 源解析；order7 空间 fuzz 109,976 点 mismatch=0；共享 tile 映射 262,144 全量 PASS
G8 Real PARTIAL(仅 T1) T4 1024² crop FP32/FP64 全过（24 tiles/997 SNR，HIPS_VERIFY+BROWSER_VERIFY+2048 查询+SNR Oracle+trace）；唯一一次 post-fix T4 full FP32 全过（285 tiles/1947 SNR，DRIZZLE 28.478s、总墙钟约 52s，HIPS_VERIFY/BROWSER_VERIFY/2048 查询/SNR Oracle 全 PASS）；V5 full FP64=0 次；T2/T3 full 未重跑；T1=BLOCKED_EXTERNAL_DATA
G9 Governance PASS ACR 三个 2026-08-09 包 SHA 与 V4 证据完全一致（未触碰）；FAST/Stage2 未触碰；astro_toolkit 保留；main 与 Wiki 已 push；原始命令/日志/哈希随审核包；README/Wiki 单一权威同步

最终唯一一次 T4 完整 FP32（V5 post-fix）

  • 输入：Galaxy_Center_T4 Red（4500x3600，180s，pixfrac=0.8 生产默认，NSIDE auto）
  • 结果：exit_code=0；HIPS_VERIFY tiles=285 order=7 snr_points=1947 dtype=float32； BROWSER_VERIFY 128/128 ok
  • Browser core verify：2048 查询 mismatch=0 outside_ok=64/64 snr_rows=1947 id_unique=1
  • SNR 空间 Oracle：1947 行 wrong=0 dup=0 tiles 253/253
  • 耗时：DRIZZLE 28.478s / HIPS_VERIFY 0.526s / 总墙钟约 52s（16 线程）
  • post-fix 完整 FP64：0 次（符合限制）

T1 状态

沿用 V4 inventory（工程控制/evidence/P13-003/t1_data_inventory.json），本轮不重扫： testdata index.json T1=not_available，无可用帧。结论：

BLOCKED_EXTERNAL_DATA: T1 representative dataset unavailable

判定

PHASE1_CODE_FREEZE = PASS
HIPS_PRODUCTION = PASS
PHASE1_DATASET_DOMAIN = WAITING_T1

未来用户提供 T1（Light + masterBias/Dark/Flat + 素材说明）后运行 T1 full frame to NSIDE + 1024² crop，即可升级为 PHASE1 全量冻结（FROZEN）状态。 未触碰：ACR（SHA 不变）、FAST、Stage2。astro_toolkit.py 保留。

Clone this wiki locally