Admissibility frontier · Edition 3

Expanded claim page · assertion 2 of 3

the Lean fold now has a finite provenance gate

Ledger / governanceAuditor

Preserves provenance, status, stopping rules and navigation. checks assumptions, certificates, counterexamples and stopping rules.

Exact assertion

The bundle has not been located in the audited public surfaces. None of the named paths occurs across 49 public branch tips of the related repository or the author’s 134 public gists. The posted totals—1,979 declarations, 908 addresses, 789 unclamped folds and 13 certificates—therefore remain reported counts. The existing synthetic adaptive-depth result proves something useful about its 32,766 generated chains, but it is not a substitute for the missing source-native environment.

What this commits us to

The claim organizes provenance, scope or stopping rules. It governs how evidence is read rather than adding independent physical evidence.

Logical anatomy

Scope

Chapter “The admissibility frontier”, section “the Lean fold now has a finite provenance gate”. This is assertion 2 of 3 in that section.

Evidence posture

Use this passage to inspect provenance, scope and stopping rules rather than as independent physical evidence.

Research move

checks assumptions, certificates, counterexamples and stopping rules.

Verification route

  1. Recover the declared objects and assumptions from the controlling documents.
  2. Check the calculation, construction, obstruction or stopping rule on those same objects.
  3. Compare the source conclusion with the exact assertion above; do not strengthen its verbs or enlarge its domain.
  4. Apply the status rule and retain every named external dependency.

What would move or defeat this claim

Find a provenance mismatch, stale status, broken link or stronger source that changes the ledger entry.

Source map

Controlling documents