release: final assurance closure and experimental 0.x readiness - #55

Merged

fraware merged 100 commits into

mainfrom

release/final-assurance-closure-2026-08-25

Aug 27, 2026

Commits on Aug 25, 2026

test: preserve exact fail-closed semantics after capability promotion
fraware
committed
a9a1d3a
ci: require Lean execution for every CR-eligible exact capability
fraware
committed
2be8f30
ci: make generated-candidate Lean execution a release gate
fraware
committed
009bb1c
docs(ci): align exact-replay workflow with live CR eligibility
fraware
committed
8da9be9
schema: distinguish offline bundle replay from kernel replay
fraware
committed
f5add68
registry: separate offline bundle and kernel maturity
fraware
committed
5435f4a
validation: enforce explicit offline maturity dimensions
fraware
committed
4e679d6
docs: make current assurance and offline maturity truthful
fraware
committed
b334298
release: bind provenance to exact tree and trust surface
fraware
committed
0290e98
release: make exact-tree verification and signing status fail-honest
fraware
committed
635b2e6
benchmarks: classify frozen suite as conformance evidence, not proof authority
fraware
committed
0abffd8
docs: close stale audit claims and separate offline theorem maturity
fraware
committed
6ec3537
docs: make trust gaps authoritative for final experimental release
fraware
committed
64fc898
docs: make README claim scope and assurance chain explicit
fraware
committed
cdf2de1
chore: remove temporary audit scratch directory
fraware
committed
9a1de93
ci: derive exact Lean E2E coverage from registry and plugins
fraware
committed
ef76cb2
docs: add research citation metadata
fraware
committed
1081cfa
docs: add experimental release changelog
fraware
committed
ac47bbf
docs: add exact release reproducibility protocol
fraware
committed
fe08833
ci: cache pinned Mathlib and cancel superseded Lean runs
fraware
committed
788ac0f
ci: cache pinned Mathlib and cancel superseded offline replay
fraware
committed
c6499ec
ci: cancel superseded Lean assurance audit runs
fraware
committed
cff9977
ci: cancel superseded exact assurance runs
fraware
committed
72b7677
ci: cancel superseded replay tamper runs
fraware
committed
7beede7
ci: cancel superseded adapter conformance runs
fraware
committed
e5e7765
ci: cancel superseded adversarial runs
fraware
committed
1964293
ci: cancel superseded security runs
fraware
committed
cb57a7e
ci: cancel superseded supply-chain runs
fraware
committed
17d3bdc
ci: cache Mathlib and cancel superseded benchmark runs
fraware
committed
25fdbda
ci: cache pinned Mathlib in release provenance workflow
fraware
committed
4194c51
ci: require benchmark runs for exact assurance release surfaces
fraware
committed
594666e

Commits on Aug 26, 2026

ci: materialize exact checker closure before candidate replay
fraware
committed
99ea45d
release: build exact checker closure before candidate replay
fraware
committed
2219ec1
ci: run exact matrix through production Lean inspection
fraware
committed
41ad937
ci: execute exact matrix through production Lean path
fraware
committed
8d7dfba
release: use production exact candidate compiler and inspector
fraware
committed
21e9956
ci: load exact E2E matrix independent of package layout
fraware
committed
e9c49bc
ci: trigger release benchmarks on production exact E2E changes
fraware
committed
e919421
ci: fix production exact matrix loader
fraware
committed
3a810ea
docs: align exact replay authority
fraware
committed
e938559
benchmarks: harden ideal-membership release scoring
fraware
committed
730b4a4
release: preserve clean-tree provenance
fraware
committed
9799b7f
ci: bind exact E2E fixtures canonically
fraware
committed
f8b561c
fix: enforce exact rational request binding
fraware
committed
a3ce8c4
ci: expose exact binding diagnostics on replay failure
fraware
committed
3694ccb
fix: align exact binding diagnostic marker
fraware
committed
7bf91c1
fix: use kernel reduction for rational exact proofs
fraware
committed
32785c8
test: pin rational exact kernel decision path
fraware
committed
8c6db65
ci: run rational kernel-decision regression
fraware
committed
dfcea49
test: target rational native proof forms precisely
fraware
committed
282e2e9
fix: anchor rational diagnostic before theorem syntax
fraware
committed
130a34c
test: distinguish diagnostic prose from proof tactics
fraware
committed
b489ec4
ci: retry pinned Lean bootstrap network failures
fraware
committed
b3ead7a
ci: bootstrap Lean from official asset identity
fraware
committed
f76717b
ci: use official Lean release asset bootstrap
fraware
committed
7ddf1ea
ci: pin official Lean 4.14.0 archive digest
fraware
committed
6d48843
test: restore rational native decision for compile probe
fraware
committed
c5df3d5
ci: add non-authoritative rational native compile probe
fraware
committed
6dfd726
test: require native rational exact decision source
fraware
committed
50634cf
ci: probe rational native code emission before production E2E
fraware
committed
704f4a6
ci: probe unfolded rational native decision
fraware
committed
6c07f6c
ci: probe staged rational native reduction
fraware
committed
7893265
ci: prove checker proposition through staged native decision
fraware
committed
9148343
Fail closed unsupported rational theorem certification
fraware
committed
8d5d620
test: bind release matrix to live CR eligibility
fraware
committed
30b0d6c
test: align assurance policy oracle with current CR eligibility
fraware
committed
1d57e03
test: make adversarial assurance cohort release-aware
fraware
committed
4e5fbca
test: assert rational exclusion from production release matrix
fraware
committed
9cfedb8
test: align maturity inventory with five-capability release cohort
fraware
committed
420cafe
test: separate rational plugin coverage from CR authorization
fraware
committed
793264e
test: require rational theorem CR verification to fail closed
fraware
committed
76aa546
test: bind production matrix assertion to real inventory helper
fraware
committed
e003530
fix: use definitional proof for formal calculus request binding
fraware
committed
ec36844
test: lock formal antiderivative binding proof
fraware
committed
8e374be
fix: use kernel decide for formal calculus exact checks
fraware
committed
c07c4f2
fix: correct formal calculus diagnostic path
fraware
committed
8ceba2e
test: require kernel decide for formal exact checks
fraware
committed
8b9e8de
fix: preserve exact formal calculus proof modes
fraware
committed
82c011f
fix: decompose formal antiderivative checker proof
fraware
committed
d353660
fix: reduce formal antiderivative operation proof
fraware
committed
e546cee
test: pin formal antiderivative proof decomposition
fraware
committed
661936f

Commits on Aug 27, 2026

fix: use kernel decide for formal antiderivative replay
fraware
committed
ce99714
test: pin kernel decide antiderivative proof mode
fraware
committed
df22ab2
fix: bind canonical cjson evidence in release provenance
fraware
committed
080293e
test: require cjson in release provenance
fraware
committed
cfbbf47
docs: align candidate bundle version status
fraware
committed
63b5072
fix: bind complete evidence trees in release provenance
fraware
committed
db75ea2
test: require complete release evidence coverage
fraware
committed
0fe6ed5
ci: assert complete release evidence provenance
fraware
committed
47989a1
fix: separate literal validity from domain denominators
fraware
committed
23dbae8
proof: derive literal definedness from well-formedness
fraware
committed
d3e7ae3
test: distinguish literal and division denominators
fraware
committed
e96461b
test: cover rational-literal antiderivative replay
fraware
committed
5d77bda
test: mirror generated antiderivative request binding
fraware
committed
ae06de2
test: stage formal antiderivative checker proof
fraware
committed
509278f
fix: stage antiderivative exact checker proof
fraware
committed
ac1f22c
test: lock staged antiderivative proof generation
fraware
committed
b0fc0e1
test: unfold antiderivative operation in kernel
fraware
committed
24fc785
fix: unfold formal antiderivative operation for kernel proof
fraware
committed
1612563
test: lock kernel-unfolded antiderivative proof generation
fraware
committed
ac626ba