TrustFortress Compliance — compliance.trustfortress.ai

Live evidence: GitHub repo activity, PR #240 state, CI workflows, cubie-math proof ledger verification
Snapshot: 2026-07-16T22:40:32.518Z · cron: */5 * * * * · audit head: 44a7728a198d92db2a1233fd…

trustfortress · main

HEAD— (—) Author— Msg— Open PRs0 Latest CI— → —
Source: iamdatanick/trustfortress
github.com/iamdatanick/trustfortress →

tf-rusty · main

HEAD— (—) Author— Msg— Open PRs0 Latest CI— → —
Source: iamdatanick/tf-rusty
github.com/iamdatanick/tf-rusty →

cubie-math · main

HEAD— (—) Author— Msg— Open PRs0 Latest CI— → —
Source: iamdatanick/cubie-math
github.com/iamdatanick/cubie-math →

PR #240 — PR fetch failed

Stateerror · mergeable=unknown HEAD— Diff+0 −0 across 0 files Reviews0 reviews · 0 comments Updated— URL
CI Checks on HEAD (0 total)

cubie-math Proof Ledger — Informational SHA Snapshot

Per cubie-math CLAUDE.md rule #5, SHA verification is permanently retired and is NOT a CI gate. Drift below is informational only — the proof corpus is governed by Verus/Coq/Lean kernel checks, not by ledger hashes.
Total proofs (ledger)0
Verus0
Lean 40
Coq0
Triple-parityMISMATCH Ledger generated Ledger SHA-256 Spot check5 random files re-hashed → all match ledger

R2 Proof Mirror — cubie-math-proofs bucket

Verbatim backup of the cubie-math proof corpus to Cloudflare R2. Cron */5 syncs only changed files (ledger-SHA dedup via R2 customMetadata). Browse: /mirror · raw file: /mirror/verus/<name>.rs, /mirror/lean/<name>.lean, /mirror/coq/<name>.v
Verus mirrored179
Lean mirrored178
Coq mirrored179
Bytes synced59.4K
Source branchmaster Last sync2026-07-16T22:35:35.704Z (5m ago) Ledger mirroredyes Skipped unchanged536 (dedup hit) Errors2
GitHub ↔ R2 Sync Verification (cron */5)
In syncNO — drift detected Last verified2026-07-16T22:38:01.102Z (3m ago) GitHub files538 R2 objects554 Ledger SHA matchidentical Missing in R22 Stale in R20 Orphaned in R218
Missing in R2
lean/CubieDataProvenanceV1.lean
coq/CubieDataProvenanceV1.v
Orphaned in R2 (no longer in ledger)
cubie-research/2026-07-07/manifest.json
cubie-research/2026-07-07/proof_hashes.json
cubie-research/images/INDEX.md
cubie-research/images/cubie-research-coq-8.18.tar.gz.part.00
cubie-research/images/cubie-research-coq-8.18.tar.gz.part.01
cubie-research/images/cubie-research-coq-8.18.tar.gz.part.02
cubie-research/images/cubie-research-coq-8.18.tar.gz.part.03
cubie-research/images/cubie-research-coq-8.18.tar.gz.part.04
cubie-research/images/cubie-research-lean-4.31.0.tar.gz.part.00
cubie-research/images/cubie-research-lean-4.31.0.tar.gz.part.01
cubie-research/images/cubie-research-lean-4.31.0.tar.gz.part.02
cubie-research/images/cubie-research-rust-1.83.tar.gz
cubie-research/images/cubie-research-verus-0.2026.06.28.tar.gz.part.00
cubie-research/images/cubie-research-verus-0.2026.06.28.tar.gz.part.01
cubie-research/images/images-manifest.json
cubie-research/kg-corpus/cubie-research-kg-corpus.tar.gz
cubie-research/latest/manifest.json
cubie-research/latest/proof_hashes.json
Worker: trustfortress-compliance · Edge: Cloudflare · Bindings: D1 audit, KV snapshot · raw JSON · audit chain · force refresh · Patents US11956363B2 · US12073439B2
Audit chain head: 44a7728a198d92db2a1233fdc4e2373dac84439e4d4730d5a1455156b795a51d