Build A1.5 adjoint calculus engine · Panta-Rhei-Research/taulib@ab4f9b9

Triggered via push May 22, 2026 20:31

ThorFuchs

main

Status Failure

Total duration 2m 7s

Artifacts –

lean-build.yml

on: push

10 errors and 1 notice

TauLib/BookIII/Bridge/G8FullRHSpineAxiomLedger.lean:20

TauLib/BookIII/Bridge/G8FineRHSpineAxiomLedger.lean:227

TauLib/BookIII/Bridge/G8FineRHSpineAxiomLedger.lean:139

TauLib/BookIII/Bridge/G8FineRHSpineAxiomLedger.lean:114

TauLib/BookIII/Bridge/BridgeAxiom.lean:56

Current axioms:

AND README.md.

in .github/workflows/lean-build.yml AND the paper (§7 + Appendix C)

If this is an intentional change, update EXPECTED_AXIOMS

Axiom count drift: expected 3, got 10.

Sorry budget headroom: 200. Consider ratcheting --max-sorry down to 0 once stable.