Skip to content

proof(ordinal): Fidelity scaffold — typed shape of BH order-type fidelity, hard half as named postulates #407

proof(ordinal): Fidelity scaffold — typed shape of BH order-type fidelity, hard half as named postulates

proof(ordinal): Fidelity scaffold — typed shape of BH order-type fidelity, hard half as named postulates #407

Triggered via pull request June 14, 2026 14:04
Status Success
Total duration 51s
Artifacts 1

hypatia-scan.yml

on: pull_request
Hypatia Neurosymbolic Analysis
46s
Hypatia Neurosymbolic Analysis
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Hypatia Neurosymbolic Analysis
git push to hyperpolymath/gitbot-fleet failed — findings not persisted. Set FLEET_PUSH_TOKEN with contents:write on hyperpolymath/gitbot-fleet to enable delivery.

Artifacts

Produced during runtime
Name Size Digest
hypatia-findings
873 Bytes
sha256:7ec839cc5b08d7dff50200c6908552dca1ad6624489ad5a1e91ad14316fa100e