Skip to content

Publish verified Classic Mainnet sources - #14

Merged
0xprogrammable merged 2 commits into
mainfrom
codex/publish-classic-sources
Jul 29, 2026
Merged

Publish verified Classic Mainnet sources#14
0xprogrammable merged 2 commits into
mainfrom
codex/publish-classic-sources

Conversation

@0xprogrammable

Copy link
Copy Markdown
Owner

What changed

  • Publish the exact seven-contract Classic Mainnet source set.
  • Add unit, fuzz, invariant and Mainnet-fork lifecycle tests.
  • Publish the fixed classic-v3 specification and complete deployment evidence.
  • Remove the cancelled Protocol Revenue Deepener candidate.
  • Keep network-backed fork evidence separate from deterministic CI.
  • Document every current Slither finding and its manual disposition.

This pull request publishes the source record only. Classic remains pointed at classic-v2 until a follow-up pull request binds the model registry to the resulting main-branch commit.

Verification

  • 120 deterministic tests passed.
  • 1 complete Mainnet-fork lifecycle passed.
  • All source and test files match the deployed release snapshot.
  • Registry, release evidence, documentation links, gas snapshot and workflow lint passed.

Classic has not received an independent smart-contract audit or public security contest.

@0xprogrammable
0xprogrammable marked this pull request as ready for review July 29, 2026 19:06
@0xprogrammable
0xprogrammable merged commit ae5e757 into main Jul 29, 2026
3 checks passed
@0xprogrammable
0xprogrammable deleted the codex/publish-classic-sources branch July 29, 2026 19:06
0xprogrammable added a commit that referenced this pull request Aug 1, 2026
## What changed

- Publish the exact seven-contract Classic Mainnet source set.
- Add unit, fuzz, invariant and Mainnet-fork lifecycle tests.
- Publish the fixed classic-v3 specification and complete deployment
evidence.
- Remove the cancelled Protocol Revenue Deepener candidate.
- Keep network-backed fork evidence separate from deterministic CI.
- Document every current Slither finding and its manual disposition.

This pull request publishes the source record only. Classic remains
pointed at classic-v2 until a follow-up pull request binds the model
registry to the resulting main-branch commit.

## Verification

- 120 deterministic tests passed.
- 1 complete Mainnet-fork lifecycle passed.
- All source and test files match the deployed release snapshot.
- Registry, release evidence, documentation links, gas snapshot and
workflow lint passed.

Classic has not received an independent smart-contract audit or public
security contest.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant