geekinney/ekp
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity

docs: record rejected strict DP experiment

Browse Source
This commit is contained in:
Kinneyzhang 2026-08-20 08:09:22 +08:00
parent 5f78cae0b1
commit cfa7c18beb
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
postmortem/20260820-source-fresh-live-commit-gate.md
View File

@ -40,6 +40,16 @@ The finer attribution separates the latest source-fresh append p95 into
Elisp `append_dp` remains 55.970 ms; C `append_dp` remains 1.015 ms. This is
why a C-only change cannot close the locked gate.
## Rejected experiment
An append-only strict-DP specialization was prototyped and gated against the
existing general strict-reuse result. It required duplicating roughly 160
lines of transition logic, and the first parity run returned `nil`; it was
not benchmarked or connected to `ekp--dp-cache-append`. The experiment was
fully discarded. Maintaining a second transition kernel would create rule
drift, so the next attempt must optimize a shared kernel or change the data
structure/ownership boundary under a new architecture decision.
## Consequences
- `issue028` is closed as an evaluator-integrity defect.