Skip to content

docs(.mermaid): architecture map of the DR / DT64 / mask-RISC stack (D-FOUNDRY-MAP-1) - #1997

Merged
AdaWorldAPI merged 1 commit into
mainfrom
ccr-ca0562e7-hudvlz-arch-mermaid
Nov 11, 2026
Merged

AdaWorldAPI merged 1 commit into
mainfrom
ccr-ca0562e7-hudvlz-arch-mermaid

Conversation

@AdaWorldAPI

@AdaWorldAPI AdaWorldAPI commented Nov 10, 2026 •

Copy link
Copy Markdown
Owner

Adds .mermaid/: eleven Markdown pages with 31 Mermaid diagrams that map the stack the Foundry parity work rests on. Each diagram lists the path:line it was drawn from. All pages share one status legend: green = on main, yellow = lab crate, blue = open PR, red dashed = gap (not built).

page what it maps
README index, legend, reading order
01 layers: contract → dt64 → execution → authorization → write/scenario → lab
02 Cargo edges read from each Cargo.toml; workspace members vs excluded crates; git edges to and from OGAR
03 DR route log, map table, frames, guards, lanes, ClassView/BindStore; bind-then-borrow with every refusal
04 a governed read from a sealed frame to a mask; the G2 gap
05 MethodBinding ON × WHEN × DO: WHEN via relalg (G6 lab, PR #1996), DO via lance-graph-r2il binding/binding_native
06 ogar-auth → ogar-rbac → lance-graph-rbac, two routes: authorize_user → authorize_scoped → ScopedDecision; authorize_identity → authorize_memberships → MembershipDecision
07 write path: the thought-git Rubicon, the probe's commit_cycle stand-in beside the shipped LanceCycleWriter, xlog stage/commit; the G4 gap
08 scenarios: SlotPool::branch, next_version, squash gate, stage_closure; the G3 gap
09 Foundry parity status map (an evidence map, not a parity claim)
10 lance-graph-java crosswalk: Panama and Valhalla membranes, the G11 contract fence; no DT64 wiring exists

What changes in existing behaviour: none. Docs only.

How it was checked

  • Every Mermaid block renders with mmdc.
  • Cargo edges were read from the manifests.
  • A sample of 21 citations, drawn from every page, was re-read in source: all 21 name the stated symbol at the stated line. Line numbers drift as files change.

Findings from mapping, which correct the earlier fact sheet and plan:

The plan corrections are on #1996 (7a944aa).

Board reference: EXO Linear (EXO-227).

🤖 Generated with Claude Code

https://claude.ai/code/session_01XAqKMPJjVvasjwqhjJ6c9p

…D-FOUNDRY-MAP-1)

Eleven Markdown pages with 31 Mermaid diagrams: stack overview, real Cargo
edges, DR/DT64 binding types and refusals, the read path, methods (WHEN via
relalg, DO via r2il binding), authorization (ogar-auth -> ogar-rbac ->
lance-graph-rbac), the write path, scenarios, a Foundry parity status map,
and the lance-graph-java crosswalk. Each diagram lists the path:line it was
drawn from. Gaps G2-G4 are drawn dashed; nothing claims Foundry parity.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01XAqKMPJjVvasjwqhjJ6c9p
@coderabbitai

coderabbitai Bot commented Nov 10, 2026 •

Copy link
Copy Markdown

Important

  • Trigger review

This repository does not receive automatic reviews because it has fewer than 10 stars.

Run configuration

  • Source mode: Auto
  • Repository: Unavailable
  • Branch: Unavailable
  • File: No configuration file from this repository applied
  • Commit: Unavailable
  • Layers: Organization UI
  • Review profile: CHILL
  • Plan: Advanced
  • Run ID: a2645609-5251-4903-9df9-6b1cfd0b3e40
  • Autofix · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

Share

AdaWorldAPI pushed a commit that referenced this pull request Nov 10, 2026
…ter, #1993 merged

Mapping for #1997 found three errors. authorize_identity reaches
authorize_memberships (MembershipDecision), not authorize_scoped. The
production LanceCycleWriter (WalSink::commit_cycle) is on main beside the
probe's stand-in, so G4 composes shipped pieces. #1993 merged as b34d195.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01XAqKMPJjVvasjwqhjJ6c9p
@AdaWorldAPI
AdaWorldAPI marked this pull request as ready for review November 10, 2026 22:28
@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Nov 10, 2026 •

Copy link
Copy Markdown
Codex Review Summary: ✅ Completed

This comment shows the latest Codex review activity on this pull request.

Review Status Commit Review trigger
📝 Code Review ✅ Completed 2026-11-10T22:29:30.336660Z 531f231 Draft marked ready
ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

@AdaWorldAPI
AdaWorldAPI merged commit a64422a into main Nov 11, 2026
1 check passed
AdaWorldAPI pushed a commit that referenced this pull request Nov 11, 2026
…D-CODEGRAPH-MEM-1)

Regenerated after #1996/#1997 merged (--check flagged the drift first).
New workflow runs --self-test and --check on PRs touching the generator or
.codegraph/. REPORT.md: unrecovered original recipes, crosswalk, negative
tests with disable runs, 10-agent A/B measurement (index helps on
architecture questions, hurts on call impact while calls are
ARTIFACT_MISSING), gap report with owners, suggested CLAUDE.md line.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01XAqKMPJjVvasjwqhjJ6c9p
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.

2 participants