FE-1316: Audit current system authority and drift

docs/archive/PLAN_HISTORY.md

@@ -3,6 +3,12 @@
 This file is the active POC-line plan archive for `memory/PLAN.md`.
 Legacy pre-`next` history was moved out of the live docs tree with the old archived implementation.
 
+## 2026-08-06 FE-1316 system reorientation audit closeout
+
+`system-reorientation-audit` closed a bounded six-lane review of thirteen post-cleanup concerns. It found no deleted or stranded required behavior, separated merged executor mechanisms from their still-open outer witnesses, confirmed the comparison scenario layers are distinct, and routed tracing, dual-host, theme, and KA evidence work to their existing owners.
+
+The audit fixed one row-sized defect: stale `present_digest` provider guidance that contradicted the conversational correction flow. It admitted exactly two new frontiers: `canonical-document-reconciliation` for enumerated normative-document drift and `host-landing-oracle-identity` for omitted behavior-bearing PTY inputs. The temporary ledger was deleted after every row reached `closed` or `promoted`; no parallel audit queue remains.
+
 ## 2026-08-05 FE-1311 integrity cleanup closeout
 
 `integrity-cleanup` completed its verified deletion/consolidation sweep and final five-row closure on `ln/fe-1311-integrity-cleanup`. The closing pass made `dist-web` the sole published browser artifact, kept locally built probes out of the package while documenting their topology, routed external end-to-end comparison consumers through the public root, removed the final byte-identical `fileExists` clone, and renamed DB column round-trip coverage for what it proves.

memory/PLAN.md

@@ -52,14 +52,16 @@
 
 ### Recently Completed
 
+- 2026-08-06 `system-reorientation-audit` (FE-1316) — **✓ complete:** thirteen post-cleanup concerns received evidence-backed dispositions; one stale exchange-guidance defect was fixed, two bounded frontiers were admitted, and existing owners absorbed the remaining promoted work without creating a parallel queue.
 - 2026-08-05 `integrity-cleanup` (FE-1311) — **✓ complete:** the verified deletion/consolidation sweep and final five-row closure aligned the published package, probe topology, comparison public root, path-existence ownership, DB test naming, and portable repo-root Pi extension discovery without reopening falsified deletion targets.
 - 2026-07-22 `brownfield-comparison-cases` (FE-1241) — **✓ complete, learning-first:** frozen Brunch and Petrinaut packets, pinned-source preparation, deterministic oracles, publication-compatible attempt evidence, and portable CI are built.
-- 2026-07-22 `comparison-publication-workflow` (FE-1251) — **✓ complete:** PR #364 landed immutable comparison provenance plus guarded, idempotent Comparison Reports publication and schema reconciliation.
 
 Older completion history and archived completed frontier definitions live in [`docs/archive/PLAN_HISTORY.md`](../docs/archive/PLAN_HISTORY.md).
 
 ### Next
 
+- `canonical-document-reconciliation` — earned closure over the exact normative-looking drift promoted by FE-1316: demote the unadopted PLAN-replacement prescription, archive/thin the enumerated superseded design notes, and correct comparison case/profile prose. Definition below.
+- `host-landing-oracle-identity` — close the immutable host-landing oracle pack over every behavior-bearing PTY input before its next comparison use. Definition below.
 - `saved-mission-comparison-witness` — later operator-owned frontier: FE-1215 is landed, so the remaining work is scheduling the real Brunch + Claude `/compare-specs` witness, then revising/rerunning the saved mission to prove historical snapshots remain immutable. Definition below.
 - `comparison-mission-isolation-hardening` — admitted from FE-1215 smoke (`TESTING_FINDINGS.md` CS2): move the private mission outside the target-reachable tree (or equivalently jail the target's file tools) so the D134-L/I67-L mission boundary is structural, not conduct-dependent. Definition below.
 - `shared-session-host-tracer` — prove the one-host TUI attachment seam that FE-1200 deliberately left open. Definition below.
@@ -92,6 +94,35 @@ Legacy link target; see Horizon.
 
 <!-- Closed frontier definitions live in docs/archive/PLAN_HISTORY.md. Keep live definitions for active/next pickup items. -->
 
+### canonical-document-reconciliation
+
+- **Name:** Reconcile canonical documentation with current topology
+- **Linear:** unassigned — create at pickup in Frontend / brunch.
+- **Branch:** tbd at pickup; stack after FE-1316.
+- **Kind / classification:** coverage-shaped documentation closure · buildable-now.
+- **Certainty:** earned.
+- **Objective:** make every retained active planning/design/comparison document in the FE-1316 inventory point at current authority without preserving normative-looking superseded architecture.
+- **Boundary:** the planning-substrate assessment; `ELICITATION_QUESTIONS.md`; `ELICITATION_LENSES.md`; `STRUCTURED_EXCHANGE_COLLAPSE.md`; `SESSION_HOST_DECISION_CANDIDATE.md`; `MULTI_SESSION_DAEMON_ARCHITECTURE.md`; stale `REVIEW_SETS.md` future-work text; and comparison guide/runbook case/profile drift. No SPEC rewrite, product implementation, or new aggregate status document.
+- **Closes:** FE-1316 R06, R07, and R12.
+- **Acceptance:** the planning assessment labels its PLAN-replacement proposal unadopted; each enumerated historical design note is archived or thinned to history plus a current pointer; active comparison prose lists four execution cases, distinguishes three configured E2E contracts from retained witnesses, and does not imply an E2E operator command; Markdown links pass.
+- **Verification:** exact retired-vocabulary/current-authority searches, archive/link census, `npm run check:markdown-links`, and final diff review against the frozen inventory.
+- **Depends on:** FE-1316 disposition audit.
+- **Traceability:** AGENTS.md §topology files; `docs/praxis/ln-skills.md` canonical-state ownership; D98-L, D110-L, D116-L, D132-L–D134-L.
+
+### host-landing-oracle-identity
+
+- **Name:** Close host-landing oracle identity over PTY behavior
+- **Linear:** unassigned — create at pickup in Frontend / brunch.
+- **Branch:** tbd at pickup; stack after FE-1316 independently of the docs closure.
+- **Kind:** bounded verification hardening.
+- **Certainty:** earned.
+- **Objective:** make the immutable host-landing oracle-pack hash change for every behavior-bearing `tui-driver` input.
+- **Closes:** FE-1316 R13's concrete identity gap; it does not redesign or split the PTY driver.
+- **Acceptance:** the compiled host-landing implementation set includes `tui-driver.ts`, `session.ts`, `screen.ts`, `keys.ts`, and `driver.exp`; changing any one changes `oraclePackSha256`; identical inputs produce a stable hash.
+- **Verification:** focused oracle-pack identity regression plus current host-landing oracle contract tests.
+- **Depends on:** FE-1316 disposition audit; must land before the next retained host-landing comparison attempt or any claim that its current oracle identity covers PTY behavior.
+- **Traceability:** FE-1230 execution-comparison oracle boundary; `src/dev/TOPOLOGY.md`; `src/dev/execution-comparison-operator.ts`.
+
 ### walkthrough-remediation-2
 
 - **Name:** Walkthrough chapter closure — remediation, evidence, and design follow-through (absorbs FE-1167)
@@ -202,6 +233,14 @@ active:
     -[stack]-> cli-mode-entry
 
 next:
+  canonical-document-reconciliation
+    dependency_satisfied: FE-1316 disposition audit
+    closes: FE-1316 R06 | R07 | R12
+    classification: buildable-now earned docs closure
+  host-landing-oracle-identity
+    dependency_satisfied: FE-1316 disposition audit
+    closes: FE-1316 R13
+    blocks: next retained host-landing comparison attempt
   saved-mission-comparison-witness
     gated_by: operator availability
     depends_on: landed FE-1215 workflow

src/.pi/extensions/__tests__/exchanges-extension.test.ts

@@ -69,9 +69,11 @@ describe('structured exchange tool guidance', () => {
 
     expect(guidance).toContain('Never author a listed option that duplicates the built-in Other affordance');
     expect(guidance).toContain("Do not restate a present_* offer's large pretext or digest body");
-    expect(guidance).toContain(
-      'For the declared review continuation, ask only for approve / request changes / reject',
-    );
+    expect(guidance).toContain('Collect conversational free-text corrections or clarifications');
+    expect(guidance).toContain('A continued ask does not accept the digest for capture');
+    expect(guidance).toContain('acceptsDigest');
+    expect(guidance).not.toContain('approve / request changes / reject');
+    expect(guidance).not.toContain('accepted terminal echoes the abstract');
   });
 });
 

src/.pi/extensions/exchanges/present-digest.ts

@@ -21,13 +21,13 @@ export const presentDigestTool = defineTool<typeof PresentDigestParams, PresentD
   name: PRESENT_DIGEST_TOOL,
   label: 'Present digest',
   description:
-    'Present a prose digest of large source material for approval, revision, or rejection before any graph mapping.',
+    'Present a prose digest of large source material for conversational correction before any graph mapping.',
   promptSnippet: 'Present a large-source digest for user review',
   promptGuidelines: [
     'Use present_digest for assistant-authored summaries of raw or large source material before mapping it to graph truth.',
     'Carry prose abstract, analysis, and recommendation only; do not include graph nodes, edges, draft ids, or graph command payloads.',
-    'Follow with ask using continues set to the same exchangeId; the accepted terminal echoes the abstract for later capture sweep reads.',
-    'For the declared review continuation, ask only for approve / request changes / reject; do not repeat the digest body in the ask.',
+    'Follow with ask using continues set to the same exchangeId. Collect conversational free-text corrections or clarifications; do not repeat the digest body in the ask.',
+    'A continued ask does not accept the digest for capture. Present a successor digest after material correction, then use a separate questionnaire or confirmation ask with acceptsDigest to authorize capture of the final abstract.',
   ],
   parameters: PresentDigestParams,
   executionMode: 'sequential',