Skip to content

docs(provenance): guard current precision claims - #18

Merged
Jowitt13 merged 1 commit into
mainfrom
docs/provenance-truthfulness-rebased
Jul 28, 2026
Merged

docs(provenance): guard current precision claims#18
Jowitt13 merged 1 commit into
mainfrom
docs/provenance-truthfulness-rebased

Conversation

@Jowitt13

Copy link
Copy Markdown
Owner

What changed

  • Corrected stale README precision claims: the project now documents the completed JPL Horizons planetary golden and Swiss Ephemeris house golden layers.
  • Preserved ADR 0003's historical provider-evaluation record while adding a clearly separated current-state annotation.
  • Added offline documentation gates that reject stale claims about a pending JPL golden or Western returning SYSTEM_NOT_YET_IMPLEMENTED in current-status documents.

Why

The implementation and independent goldens were already present, but some user-facing documentation still described earlier project stages. This PR makes accuracy claims auditable and prevents regression to those stale statements.

Validation

  • 24/24 documentation-gate tests
  • 680 tests / 33 files
  • pnpm run verify:cloud
  • two reproducible builds with no output drift

Boundaries

Documentation and offline validation only. No calculation algorithm, golden numeric value, dependency, SBOM, tag, Release, or asset change.

- README: replace 'JPL金标待补' with actual dual-layer verification summary
  (JPL Horizons 10 bodies worst 0.20'; Swiss Ephemeris 5 systems worst 0.69')
- ADR 0003: mark Western evaluation as [HISTORICAL]; add 'Current status'
  section documenting astronomy-engine integration and both golden fixtures
- validate-current-docs: add mustNot rules blocking 'JPL待补/pending' and
  SYSTEM_NOT_YET_IMPLEMENTED in README; add must rule requiring JPL golden
  existence statement; 4 new self-tests; 3 new in-memory regression tests
- Sync test counts (675->678 / 33 files) in STATUS.md and VALIDATION.md
@Jowitt13
Jowitt13 merged commit f88e668 into main Jul 28, 2026
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant