Python skyfield PR #1129 audit record

Bounded PR audit metadata with PCD scope, monomer trace, evidence ledger, reproduction path, and explicit non-claims for external review. This page is not a formal verification surface.

BRIK64 · PCD · VALIDPUBLIC

View PR

bounded audit metadatabadge labels onlyno repository-wide claim

Audit IDbrik_proof_skyfield_1125_20260510

Audit status

Externally auditable

100%

Result: Evidence recorded for bounded scope
Visibility: PUBLIC
Scope: 2 files / 2 symbols

Bounded PR audit metadata only. It does not certify the full repository, deployment, security posture, dependencies, or future changes.

PCD composition

CORE

Artifact metadata

Core: 5
Extended: 0
Boundary: 0

Evidence readiness

3/3

5 artifacts

Published bundle: 6/6
Reproduce: published
Agent JSON: available

PCDTraceEVADiffArtifactsReproduce

EVA graph

7 edges5 monomers

Circuit path

stack_scalar_segment_selection

→

Review signal

pytest exits 0 and the scalar no-match branch raises the expected EphemerisRangeError.

Agent-readable BRIK64 PR audit record

Proof ID: brik_proof_skyfield_1125_20260510
Auditability: external_reproducible
Missing fields: none
PCD source hash: sha256:0ad04e61176ccb57a1ec5fcd12c3f361509489e459238f7b90a176096d8c568b

m1: MC_16 LOAD core
m2: MC_29 CMP core
m3: MC_24 IF core
m4: MC_28 RET core
m5: MC_27 CALL core

Executive audit summary

Bounded scalar segment-selection fail-closed branch for ephemeris stack lookup.

Result: Evidence recorded for bounded scope
Scope: 2 files / 2 symbols
Repository: skyfielders/python-skyfield
Authority: internal_non_claim

Coverage

PCD source, monomer trace, generated tests, manifest, certificate and focused repo-native fail-closed test.

GitHub provenance

Repository, PR and issuer metadata attached to this audit record.

Repository: skyfielders/python-skyfield
Pull request: PR #1129
Contribution: BRIK64 route-2 contribution
Commit: 5b22ff0a36129039ae745f1a1f7cc8f89f330728
Created: May 10, 2026, 2:50 PM
Issued by: BRIK-64 Inc.@brik64-admin