docs(render): S3 review closeout — AD-23 retired, AD-17 says deleted not dormant, probe doc truthful, per-view EC loop guarded, conformance harness's per-cell EC limit recorded

The two lenses passed 6575cfcee and left these: AD-23 described the
ClipSlotCull the fix round deleted; AD-17's 'dormant, live for the flat
path' clause was false (the routing had no caller anywhere); the
ProbeClipRouteEnabled doc named a deleted producer; the per-view EC
print ran its loop with the flag off; the replay-side derivation still
prints one EC per flood cell while production prints one per live view,
which no fixture can tell apart today — recorded at the harness for S5.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
Erik 2026-09-03 20:17:16 +02:00
parent 89c4494d05
commit ea76a38035
4 changed files with 29 additions and 12 deletions

View file

@ -32,7 +32,19 @@ public sealed class WalkTraceConformanceTests
/// comment for why this never resets mid-frame. S3 chunk 1 fix round 2
/// (§11.6 H3): this REPLAY-side derivation is unchanged — only the
/// ORACLE side (<see cref="WalkTraceReplayContext.Signature8(WalkOracleFrame)"/>)
/// moved off derivation onto its own literal captured EC/OC lines.</summary>
/// moved off derivation onto its own literal captured EC/OC lines.
///
/// <para>KNOWN LIMIT (S3 review fix round 1, F4a): the production
/// transcript prints <c>EC</c> once per LIVE VIEW of a flood cell
/// (retail's <c>setup_view</c>/<c>DrawEnvCell</c> loop,
/// <c>PView::DrawCells</c> @0x005a4ab10x005a4acc), but this replay
/// side's <see cref="WalkTraceReplayContext.AppendFloodTurns"/> still
/// derives ONE <c>EC</c> per cell — the sink event carries no per-cell
/// view count. Every fixture passes only because no captured flood cell
/// holds more than one live view at DrawCells time. A fixture with a
/// two-view flood cell would fail here on the second <c>EC</c>; S5's
/// transcript closeout carries the per-cell view count through the
/// sink event and removes this note.</para></summary>
private sealed class Recorder : IWalkEventSink
{
public readonly List<WalkEvent> Events = new();