Skip to content

Bootstrap repo to confirmed paper1 snapshot#6

Merged
AbdelStark merged 602 commits intoAbdelStark:mainfrom
omarespejel:paper1-bootstrap-sync
Apr 15, 2026
Merged

Bootstrap repo to confirmed paper1 snapshot#6
AbdelStark merged 602 commits intoAbdelStark:mainfrom
omarespejel:paper1-bootstrap-sync

Conversation

@omarespejel
Copy link
Copy Markdown
Contributor

@omarespejel omarespejel commented Apr 15, 2026

Summary

  • bootstrap this repo to the confirmed paper1 snapshot from my fork
  • keep the sync limited to the first-paper baseline only
  • leave newer follow-up work for smaller promotion PRs after this

Why

This branch is a direct descendant of main, so history-wise the bootstrap is clean.

My proposal is:

  • use this once to bring the repo up to the confirmed baseline
  • then keep future upstreaming to smaller confirmed slices only

Snapshot

  • source repo: omarespejel/provable-transformer-vm
  • source commit: 2887d27a80ea3e4cd6606bb278e530ce3dbed4f1

Out of scope

  • newer follow-up hardening work
  • newer docs/paper follow-up work
  • later R&D branches after this snapshot

@omarespejel
Merge pull request #84 from omarespejel/codex/phase24-state-relation-…
ef4b01b 
…spec-v1

Add Phase 24 state relation spec
@omarespejel
Implement phase24 state relation accumulator
e816e48
@omarespejel
Address phase24 review feedback
1b30ca8
@omarespejel
Harden phase24 CLI tamper test
6ae262b
@omarespejel
Harden phase24 tamper test mutation
6e4e405
@omarespejel
Harden phase24 oracle and formal coverage
d32f173
@omarespejel
Add phase25 folded relation spec (#86)
712d464
@omarespejel
Harden phase24 verifier bounds and oracle
11b1b05
@omarespejel
Fail fast on phase23/24 header mismatches
2f620a8
@omarespejel
Fail fast on nested phase23 bounds
bccdb74
@omarespejel
Avoid duplicate phase23 verification
96e5910
@omarespejel
Cap total nested phase23 members
a7e6190
@omarespejel
Narrow Phase 24 Kani relation harnesses
d9bdc6b
@omarespejel
Merge pull request #85 from omarespejel/codex/phase24-state-relation-…
7100ddc 
…impl-v1

Implement Phase 24 state relation accumulator
@omarespejel
Phase 24: extend the validator hardening stack (#90)
59827bc 
* Widen hardening for phase23 and phase24

* Add UB checks to the hardening stack
@omarespejel
Specify phase25 intervalization (#91)
26d44d8
@omarespejel
Phase 25: add intervalized state-relation artifact (#92)
3d2b8f9 
* Add phase25 intervalized relation artifact

* Narrow phase25 Kani interval harnesses
@omarespejel
Implement Phase 26 folded interval accumulator
ef5ddbd
@omarespejel
Harden Phase 26 bundle reproducibility
723dd0d
@omarespejel
Load folded artifacts from gzip bundles
b823a57
@omarespejel
Record gzip loader dependency lockfile
7b65a1d
@omarespejel
Split canonical and provenance bundle checksums
d5b16c3
@omarespejel
Freeze Phase 26 bundle provenance checksums
eafdd8d
@omarespejel
Harden folded gzip loading checks
46cbbe8
@omarespejel
Assert folded gzip failures stay non-panicking
bcf417d
@omarespejel
Merge pull request #93 from omarespejel/codex/phase26-folded-interval…
c9498aa 
…-accumulator-v1

Phase 26 folded interval accumulator
@omarespejel
Add Phase 27 chained folded accumulator
902add9
@omarespejel
Address Phase 27 review feedback
72a9279
@omarespejel
Harden Phase 27 artifact writes and benchmarks
29b2a47
@omarespejel
Harden Phase 27 review gaps
c3de577
@omarespejel
Trigger PR contract rerun
4139a83
@omarespejel
Fix paper 2 title block whitespace
3c08198
@omarespejel
Tighten paper 2 wording and ONNX path binding
8759277
@omarespejel
Version HF provenance ONNX sidecar format
bebfa9c
@omarespejel
Harden HF provenance ONNX alias checks
436ed3b
@omarespejel
Reject orphaned HF ONNX exporter version
a9c30f1
@omarespejel
Improve HF provenance ONNX error labels
e1b3c0b
@omarespejel
Strengthen ONNX tamper round-trip tests
0f302a7
@omarespejel
Harden CLI test binary resolution
a020230
@omarespejel
Propagate CLI test binary into smoke gates
a29dd26
@omarespejel
Align gate binary resolver with cargo build
0b18bad
@omarespejel
Serialize heavy merge-gate test tranches
d7cd2d1
@omarespejel
Merge pull request #131 from omarespejel/codex/paper2-outline-and-gap…
ec568fc 
…-check

[codex] Draft paper 2 and harden ONNX provenance
@omarespejel
Add attestation-friendly HF provenance digests
563930a
@omarespejel
Fix HF provenance CLI review regressions
cb4443f
@omarespejel
Update fuzz lockfile for sha2 provenance dependency
a4ffea8
@omarespejel
Add CLI regression for legacy HF provenance v2
3d51a83
@omarespejel
Cover legacy HF provenance v1 rejection in CLI
8689711
@omarespejel
Harden dependency audit yanked exception handling
7d3e65b
@omarespejel
Tighten HF manifest and audit review fixes
eb76807
@omarespejel
Merge pull request #132 from omarespejel/codex/hf-provenance-attestat…
22a64d0 
…ion-digests

[codex] Add attestation-friendly HF provenance digests
@omarespejel
Harden HF provenance hub binding and inventory identity
1c4eb87
@omarespejel
Tighten HF provenance review diagnostics
0230e23
@omarespejel
Sanitize HF duplicate binding diagnostics
7fcf330
@omarespejel
Add HF identity alias regressions
e9a7f19
@omarespejel
Bind HF verifier identity checks to the hashed open
e9a6a1b
@omarespejel
Tighten HF manifest error context and malformed v4 tests
b3206f9
@omarespejel
Merge pull request #133 from omarespejel/codex/hf-provenance-v3-tampe…
2887d27 
…r-pass

Harden HF provenance hub binding and inventory identity
@AbdelStark AbdelStark merged commit e6521de into AbdelStark:main Apr 15, 2026
6 of 8 checks passed
AbdelStark pushed a commit that referenced this pull request Apr 15, 2026
@omarespejel
Merge pull request #6 from omarespejel/codex/stwo-phase0-backend-abst…
c5972a0 
…raction

Start Phase 0 proof backend abstraction
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@omarespejel @AbdelStark