Crucible prototype - #64

Draft

ericeil wants to merge 145 commits into

Commits on Jun 26, 2026

Merge branch 'master' of github.com:Certora/AutoProver into jtoman/ap-pipeline-refactor
jtoman
committed

Commits on Jun 29, 2026

Commits on Jul 7, 2026

Commits on Jul 8, 2026

Ecosystem phase 4 (1/2): generalize driver over Unit/Main + Solana model/ecosystem

ericeil
and
claude
committed
Ecosystem phase 4 (2/2): Solana prompts + null backend + gate (passing)

ericeil
and
claude
committed
docs: mark ecosystem phase 4 (Solana) done in the phased plan

ericeil
and
claude
committed
docs: proposal for a Solana verification application (Crucible backend)

ericeil
and
claude
committed
docs: add LLM knowledge-access (RAG) plan to the Crucible proposal

ericeil
and
claude
committed
rustapp: add general RunCommand effect (Crucible phase 1)

ericeil
and
claude
committed
rustapp: make the adapter ecosystem-agnostic (Crucible phase 1)

ericeil
and
claude
committed
crucible: add the crucible-app Rust wheel skeleton (phase 1)

ericeil
and
claude
committed
crucible: Solana build step + buildable solana_vault + phase-1 gate

ericeil
and
claude
committed
crucible: deliverable model — harness-crate ArtifactStore (phase 2)

ericeil
and
claude
committed
rustapp: tool-enabled call_llm (Crucible phase 3, §7.5)

ericeil
and
claude
committed
crucible: fixture-authoring setup session (phase 3, T2)

ericeil
and
claude
committed
crucible: phase-3 fixture-authoring gate (green) + call_llm agent module

ericeil
and
claude
committed
docs: mark Crucible phase 3 (fixture-authoring loop) done with the gate result

ericeil
and
claude
committed
docs: make crucible_kb RAG build + entry-point binding explicit in Phase 5

ericeil
and
claude
committed
crucible: per-component test authoring + fuzzing + verdicts (phase 4)

ericeil
and
claude
committed
docs: mark Crucible phase 4 (per-component tests + verdicts) done with the gate result

ericeil
and
claude
committed
test_scenarios/solana_vault: gitignore crucible fuzzing corpus/output dirs

ericeil
and
claude
committed
crucible: package the application — pipeline + CLI wiring (phase 5)

ericeil
and
claude
committed
crucible: pipeline manifest pre-placement + .so build (phase 5)

ericeil
and
claude
committed
crucible: full-vertical end-to-end gate (phase 5, green)

ericeil
and
claude
committed
docs: mark Crucible phase 5 (packaging) done with the full-vertical gate result

ericeil
and
claude
committed

Commits on Jul 9, 2026

Commits on Jul 10, 2026

Commits on Jul 11, 2026

Commits on Jul 13, 2026

Commits on Jul 14, 2026

Commits on Jul 15, 2026

Commits on Jul 16, 2026

Commits on Jul 20, 2026

Commits on Jul 22, 2026

Commits on Jul 23, 2026