Freeze ReplaceRange canonical fact law and oracle - #293

Merged

flyingrobots merged 63 commits into

mainfrom

feat/replace-range-law-corpus

Aug 18, 2026

Commits on Jul 19, 2026

Commits on Jul 20, 2026

Fix: prove real stale and foreign bases
flyingrobots
committed
8766cd8
Fix: bind oracle dependency selection
flyingrobots
committed
bddf1ad
Fix: type oracle obstruction contract
flyingrobots
committed
9ffc0e4
Fix: distinguish oracle evidence postures
flyingrobots
committed
d87e7a1
Fix: pin retrospective evidence
flyingrobots
committed
94e02a4
Fix: preserve oracle WARP qualification
flyingrobots
committed
edd41a3
Fix: validate retained oracle consequence
flyingrobots
committed
6a43bfd
Fix: enforce oracle invocation lexemes
flyingrobots
committed
c0214b2
Fix: split oracle support modules
flyingrobots
committed
f3bafc8
Fix: bind consequences to the current patch
flyingrobots
committed
475b6dc
Fix: validate retained graph node types
flyingrobots
committed
6c20d93
Fix: unify oracle obstruction codes
flyingrobots
committed
65c9482
Fix: enforce the oracle corpus contract
flyingrobots
committed
9a30964
Fix: enforce canonical oracle bytes
flyingrobots
committed
8112752
Fix: serialize lawpack resource updates
flyingrobots
committed
13b16f2
Fix: prove retained basis relationships
flyingrobots
committed
d57e0d2
Fix: bind retrospective artifact digests
flyingrobots
committed
6f4772a
Fix: pin final audit evidence
flyingrobots
committed
0f57cc5
Fix: derive oracle obstruction semantics
flyingrobots
committed
6228607
Fix: validate retained Buffer identity
flyingrobots
committed
751ea54
Fix: cover supplementary Unicode scalars
flyingrobots
committed
79a3b78
Fix: bind the published type-ID domain
flyingrobots
committed
f5482c4
Fix: bind every retrospective digest
flyingrobots
committed
95f63d2
Fix: pin exact audit evidence locations
flyingrobots
committed
a8cabbd
Fix: verify the declared text consequence
flyingrobots
committed
afd06f6
Fix: derive obstructions from planner reasons
flyingrobots
committed
b4606ce
Fix: refuse retained rope arithmetic overflow
flyingrobots
committed
9930d04
Fix: exhaust retrospective evidence ledger
flyingrobots
committed
2177210
Fix: authenticate ReplaceRange basis Head
flyingrobots
committed
d69560e
Fix: reject false corpus mutation evidence
flyingrobots
committed
f3ae07e
Fix: authenticate corpus patch facts
flyingrobots
committed
c37993a
Fix: preserve canonical corpus patch order
flyingrobots
committed
3063a16
Fix: prove duplicate corpus operation refusal
flyingrobots
committed
57d7229
Fix: cross-check corpus consequence facts
flyingrobots
committed
1df8fb6
Fix: qualify corpus decoder evidence
flyingrobots
committed
c0d10a4
Fix: anchor basis evidence citations
flyingrobots
committed
aaa1fee
Fix: name maximum-scalar codec witness
flyingrobots
committed
08e8052
Fix: share native fact byte decoding
flyingrobots
committed
0530e2b
Fix: format checkpoint reason assertion
flyingrobots
committed
f2944f1
Fix: record closed formatter gate
flyingrobots
committed
5ddc304
Fix: validate empty replacement boundaries
flyingrobots
committed
e0359a8
Fix: bind corpus reads to retained basis
flyingrobots
committed
2ae8728
Fix: scope historical planner provenance
flyingrobots
committed
d9ff185
Fix: validate exact-end rope extent
flyingrobots
committed
cb03af3
Fix: separate rope and runtime failures
flyingrobots
committed
568ae03
Fix: report reversed ranges precisely
flyingrobots
committed
9208d66
Fix: bind artifact digests to ledger labels
flyingrobots
committed
f9ec4b3
Fix: scope shared decoder evidence
flyingrobots
committed
51187c9
Fix: lock design validation commands
flyingrobots
committed
11e6cc3
Fix: record current design audit date
flyingrobots
committed
42fbeb6
Fix: canonicalize current truth citations
flyingrobots
committed
6fb3309
Fix: bound retained rope endpoint traversal
flyingrobots
committed
aa4e914
Fix: corroborate retained branch aggregates
flyingrobots
committed
4d349b7
Fix: validate every retained split boundary
flyingrobots
committed
7aee685
Fix: corroborate every boundary branch
flyingrobots
committed
4f71ba1
Fix: validate retained range coverage
flyingrobots
committed
767a64a
Fix: refresh ReplaceRange evidence ledger
flyingrobots
committed
f1a66dc

Commits on Aug 18, 2026

fix: close ReplaceRange law review gaps
flyingrobots
committed
a10bf4a