Skip to content

On Boundaries of Evidence v1.0.1 — Corrective Audit Release

Choose a tag to compare

View all tags
@jkolantree jkolantree released this 24 Jul 23:45
Immutable release. Only release title and notes can be modified.
v1.0.1
aa6ce36
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Corrective audit release for On Boundaries of Evidence and the Boundary-State Calculus audit artifacts.

Version 1.0.0 remains immutable. This release records a fresh adversarial audit and publishes the resulting patch rather than rewriting the original record.

Principal formal corrections

  • repairs partial-observable composition with the required restricted pullback;
  • separates well-formedness, claim evaluation, admissibility, categorical verdict, and support readiness;
  • distinguishes inconclusive upper bounds from genuine tolerance violations;
  • qualifies zero deficiency, boundary sufficiency screens, corpus lineage, and generic open-system composition;
  • strengthens the quantum-reference-frame fixture and narrows the topology-to-charge bridge;
  • version-pins preprints and adds the relevant 2025 Klingman source.

Release hardening

  • complete-set manifest verification and byte-reproducible ZIP archives;
  • hardened F8 receipt validation with independent recomputation and two permanent negative mutants;
  • 25 regression tests, GitHub Markdown-math checks, and warning-clean PDF source builds;
  • explicit file-scoped licensing and a historical v1.0.0 license clarification.

Canonical commit: aa6ce36

Canonical main validation: https://github.com/jkolantree/BSC/actions/runs/30134365009

Version DOI: https://doi.org/10.5281/zenodo.21541561

Concept DOI (all versions): https://doi.org/10.5281/zenodo.21541160

See AUDIT_REPORT_v1.0.0.md, CHANGELOG.md, and SHA256SUMS_v1.0.1 for the correction record and exact artifact digests.

Assets 10
Loading