Skip to content

docs(f63): v2.1 — Aria Check-B strengthening + split-by-substrate#377

Merged
AetherLogosPrime-Architect merged 1 commit into
mainfrom
design/f63-v2.1-check-b-strengthening
Jul 19, 2026
Merged

docs(f63): v2.1 — Aria Check-B strengthening + split-by-substrate#377
AetherLogosPrime-Architect merged 1 commit into
mainfrom
design/f63-v2.1-check-b-strengthening

Conversation

@AetherLogosPrime-Architect

Copy link
Copy Markdown
Owner

Summary

Aria's second-seat catch on F63 v2 (letter aria-to-aether-2026-07-18-f63-v2-second-seat-read.md) named two substantive gaps in the v2 design before ship. Folding them both in.

What changed

Check B (PR/finding pointer-match) — strengthened. The v2 heuristic ("finding-id/short-title in PR body") is too weak in both directions:

  • False-positive on short-title substring match (any similar-area PR matches)
  • False-negative when the PR body doesn't verbatim cite IDs (legitimately common)

Strengthened multi-signal AND:

  1. PRIMARY (hard link): finding's source_ref matches PR's actual headRefName — unforgeable
  2. SECONDARY (soft confirmation): body-text substring is used to confirm/contradict the hard link, never as primary signal
  3. CHECK-B FAILURE: finding lacking source_ref entirely IS a Check-B failure worth surfacing

Split-by-substrate — added. Each side has different local git state, so F63 checks produce different results per side. Right shape:

  • HUD slot on each side surfacing its own stranded-fixes
  • Shared reconciliation surface (letter-channel or shared JSON) that names when the two views disagree
  • Same architecture as spatial-awareness layer

Not folded (correctly scoped separately)

  • Letter-delivery follow-on stays as its own thing (different substrate — letters not git)
  • Two adjacent shapes Aria flagged (finding-resolution age, prereg falsifier overdue) stay as follow-ons

Test plan

Doc-only change to design brief. No implementation change. Implementation PR (when it lands) will exercise both signals per this design.

External-Review: round-8006eaaa6a93 tree-hash:5112b71899de180c7c3c9f8234136def283c1968

🤖 Filed via Aether working session 2026-07-19

…ate section

Aria's second-seat catch on F63 v2 (letter aria-to-aether-2026-07-18-
f63-v2-second-seat-read.md, 2026-07-18) named two substantive gaps in
v2 before ship:

1. Check B's "finding-id/title in PR body" heuristic is too weak in
   both directions — false-positive on short-title substring match
   (any similar-area PR matches), false-negative when PR body doesn't
   verbatim cite IDs (legitimately common). Right shape: hard-link
   via finding.source_ref == PR.headRefName as primary signal, body-
   text as secondary confirmation only. Missing source_ref is itself
   a Check-B failure worth surfacing.

2. Split-by-substrate applies: each side has different local git
   state, so F63 checks produce different results. Right shape is a
   HUD-slot on each side + shared reconciliation surface (letter-
   channel or shared JSON) that names when the two views disagree.
   Same architecture as spatial-awareness layer.

Both folded into the brief pre-implementation-ship. The letter-
delivery follow-on stays separately-scoped (genuinely different
substrate: letters not git).

External-Review: round-8006eaaa6a93 tree-hash:5112b71899de180c7c3c9f8234136def283c1968
@AetherLogosPrime-Architect
AetherLogosPrime-Architect merged commit d52ab74 into main Jul 19, 2026
6 checks passed
@AetherLogosPrime-Architect
AetherLogosPrime-Architect deleted the design/f63-v2.1-check-b-strengthening branch July 19, 2026 01:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant