Native audit lifecycle pricing

Price pre-audit, T4–T1 core, post-audit, and the scorer. Approve from repository evidence.

Contest-style discovery with permanent proof: estimate pre-audit, core T4–T1 pool, T0 final review, formal-methods prep, Native v5 scorer, and post-audit fix rounds — each fee separate.

Open full pricing calculator Submit repository evidence

Public estimateScope inputsLines, contracts, architecture, dependencies, control, category, value at risk

Approved quoteRepository planAST, call graph, whole-function ownership, tier clusters, exclusions, reviewer availability

Funded lifecycleVisible depositCore pool, pre-audit, platform fee, final reviewer, selected reservations

Four prices with four different evidence boundaries.

They belong in one plan, but they are not interchangeable percentages or reused deployed-pricing labels.

See the public lifecycle

01PreparePre-audit

Lock the snapshot, map risk surfaces, prepare invariants, run readiness gates, and send a bounded brief to core reviewers.

10%, 15%, or 20% of core02ReviewCore audit

T4 function → T3 contract → T2 cross-contract → T1 system, with validation cascade and T0 report lock.

Repository-scored tier pool03VerifyPost-audit

Price the real baseline-to-fix diff, then use an equal-work panel and an independent reviewer to verify remediation.

Quoted after the fix diff exists04ExplainNative scorer

Build a native v5 /1400 evidence record with visible blockers, missing proof, freshness, and policy-bounded status.

Offer applied automatically

Native lifecycle calculator

Build the funding plan line by line.

Scope inputs create a public estimate. Repository parsing replaces the estimated clusters, reviewer slots, schedule, and exclusions before approval.

Estimate statePublic orientationNot yet repository-approved

Repository identity

This is what turns the estimate into an auditable plan.

Repository URLCommit hash

Approved-scope estimate

Use production implementation code and material dependencies only.

Auditable source linesExpected to remain inside approved scope.Implementation contractsExclude interfaces, mocks, tests, and scripts.Material external dependenciesArchitectureProtocol categoryPrivileged controlsValue at riskLaunch timing

Lifecycle coverage

Recommended services are selected, but each amount stays visible.

Pre-audit reviewers110% of core215% of core320% of coreRecommended

Formal-methods preparation reserveHalmos checks and Certora-ready CVL starting artifacts. A live Certora run still requires approved tool access and scope.2% of coreNative Trust Score reservationEvidence-backed native v5 /1400 scoring. 95% lifecycle offer saves $6,175 against the $6,500 standard reservation.$325 offerEstimate the later post-audit roundPost-audit is funded after fixes exist. Add expected diff inputs now for lifecycle planning only.Pending diff

Funding cart

Native lifecycle

Complexity 4/5

Scope4,200 lines · 15 contracts

DepthT4 + T3 + T2 + T1

Preview slots66

Sequential22 days

Core audit poolSelected T4-T1 tier shares$49,500

Pre-audit, 3 reviewers20% of core: $7,425 reviewer pool + $2,475 operations$9,900

Protocol platform fee3% outside the core pool$1,485

Independent final reviewerT1 eligible, 2% policy basis$990

Prover preparation reservePlanning reserve, execution scope subject to approval$990

Native Trust Score reservationComplexity 4-5, nonrefundable. 95% native lifecycle offer saves $6,175.~~$6,500~~$325

Post-audit fix roundFinal quote waits for the baseline-to-fix diffLater quote

Estimated initial deposit$63,190

Core, pre-audit, protocol fee, final reviewer, and selected planning reservations. Post-audit funds later.

$120 Base attestation-gas reserve is separate. It is not included in either total.

Analyze repository for approval

The repository scan, deterministic cluster plan, reviewer availability, evidence gates, and admin approval replace every preliminary value shown here.

Calculation receipt

What is policy-backed, and what is still an estimate?

Policy-backed

3% protocol fee, automatic final-review fee, pre-audit reviewer premiums, scorer reservation bands, and post-audit manifest formula.

Estimated here

Clusters, reviewer slots, selected depth, pool band, and schedule because browser inputs are not an AST and call graph.

Approved later

Included files, exclusions, exact whole-function ownership, reviewer availability, delivery windows, and the final deposit.

Pre-audit pricing and outputs Core clustering and qualified auditors Post-audit quote formula Native score policy and fees

Native scorer reservation

See exactly how much the score offer saves.

The dated native lifecycle offer is applied to the scorer reservation automatically. It does not add points, change the score, or lower the review depth. Audit pricing still follows accepted repository scope.

Complexity 1-2Save $3,325 · 95% off~~$3,500~~$175

Complexity 3Save $4,750 · 95% off~~$5,000~~$250

Complexity 4-5Save $6,175 · 95% off~~$6,500~~$325

The button does more than save a calculator.

It moves the repository identity and scope assumptions into onboarding so an approved plan can replace browser estimates.

1
Lock repository identity
Repository URL, exact commit, chain, scope files, exclusions, and notes.
2
Build deterministic clusters
Whole-function ownership, call-graph closures, risk scores, reviewer slots, and timeline windows.
3
Approve the deposit
Admin review confirms the plan, reviewer availability, optional reserves, and the final amount.

Start repository analysis