Skip to content

Charter: full accelerator-demo content (intuition + relational projection + fidelity-home fix) - #6005

Merged
briansrls merged 20 commits into
mainfrom
session/tidy-deer-560
Jun 30, 2026
Merged

briansrls merged 20 commits into
mainfrom
session/tidy-deer-560

Conversation

@gunbai-bot

@gunbai-bot gunbai-bot Bot commented Jun 30, 2026

Copy link
Copy Markdown
Contributor

Docs-only. Restores the full charter content over the minimal mid-stream snapshot that landed with the modeling lane (#5970).

The modeling PR #5970 lifted an early version of docs/plans/accelerator-demo-roundtrip.md (before later edits). This brings the doc up to the current, operator-reviewed form:

  • §0.5 Intuition — "arbitrary program DAG → numerical graph": task-DAG vs dataflow-DAG, why a tree-walk is the SIMT worst case, shaping-for-supply as a provable layout choice, the critical-path bound (operator-requested).
  • §1.5 Relational projection — the first-class triptych deliverable (your program → numerical subgraph lifted out → plan + fidelity), a lens that converges with the §7 render lane (operator-requested).
  • Cursor F1/F2 fixes — DecodeFidelity homed in extdeps/communication/medium.dag (consume-not-fork); inert-carrier claim narrowed to Placement/Materialization (RealizationObjective/realization_width are already wired); self-contained hand-Rust scaffold receipt with per-component dissolution triggers.
  • Authoring note corrected — the doc is reachable on main via the bind: pointer in accelerator_demo_plan.dag (doc-graph wall scans bind: edges), so it is not an orphan; the ROADMAP tracking node is separate.

Orphan-safe (the bind: link is already on main from #5970) and no roadmap-authority changes, so no generated-artifact collision.

🤖 Generated with Claude Code

Brian Searls and others added 20 commits June 29, 2026 21:20
Operator-directed showcase: prove the daglang architecture to an
accelerator/array-compiler audience (XLA/NVIDIA) in their own terms —
fusion, layout assignment, numerical-semantics preservation. One
recognized class (pure elementwise array folds); first live consumer
of the inert Placement/Materialization/RealizationObjective carriers.

- docs/plans/accelerator-demo-roundtrip.md — round-trip charter
- roadmap_authority.dag — section_accelerator_demo_lane()
- ROADMAP.md — regenerated from the authority (drift-gate clean)

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
…iew #5969)

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
…raph (operator request)

Plain-language bridge for how user programs relate to GPU/SIMT execution:
task-DAG vs dataflow-DAG, where the numerical subgraph hides, shaping-for-
supply as a provable layout choice, and the honest critical-path bound.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
…gen ROADMAP

Operator request: part of the demo must relate the author's work to GPU
work as a first-class output, not plan prose. Adds the relational-projection
triptych (program DAG -> numerical subgraph -> kernel plan + fidelity) as a
lens-based deliverable; converges with the section 7 render lane. Regenerates
ROADMAP.md to match the authority node (drift-gate clean — prior WIP commit
moved the authority but not the rendered artifact).

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
…iliation)

De-conflict with #5968 (foundational owner+signoff rework of every RoadmapNode
+ wholesale ROADMAP.md regen). Two PRs regenerating the same generated authority
is the merge-skew class we're killing. #5969 keeps the charter doc + relational-
projection design only (no roadmap conflict); the tangent-lane node folds into
#5968's content pass with owner=tidy-deer-560 + a closure condition.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
…, hand-Rust scaffold receipt

F1: DecodeFidelity is declared in extdeps/communication/medium.dag, not std/realization.dag — fix the cite (consume-never-fork, DESIGN §3).
F2: RealizationObjective/realization_width are already wired via ci_floor_plan (inert_layer_lens.dag) — narrow the 'first consumer' claim to Placement/Materialization only.
F3: name the execution-lane Rust as scaffold with explicit per-component dissolution triggers + the accel-exec tracking row (DESIGN §7 anti-cement; no census ratchet pressure).

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
…thority; document PR ordering after #5968

F2: the dissolution-trigger authority is the charter itself (self-contained), not a
not-yet-existing roadmap row; accel-exec is the tracking row in #5968, and this doc
is sequenced to merge after #5968 (which provides the inbound link + the row).
F1 (orphan): resolved by sequencing — the inbound ROADMAP link lives in #5968's node
(single authority for the generated roadmap; kept out of this PR to avoid collision).

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
…ce, not #5968 mechanism PR

Per loyal-bee-794: #5968 is mechanism-only (closure semantics); the accel node +
doc pointer + accel-exec row land in their decision-independent early content slice.
#5969 rebases on that slice (not #5968) to clear the orphan witness.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
…oc folds into roadmap content slice)

loyal-bee-794 takes option 2: cherry-picks this doc + authors the inbound link
(accel-model plan_ptr) in the same commit of her roadmap content slice. Replace the
'this PR merges after / held draft' note with an atomic authoring note so the lifted
version is correct. #5969 closes as superseded.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
…ojection + fidelity-home fix)

#5970 landed a minimal (mid-stream) snapshot of the charter; this restores the full
content: §0.5 intuition (arbitrary program DAG -> numerical graph, operator-requested),
§1.5 relational-projection deliverable (operator-requested), the cursor F1/F2 fixes
(DecodeFidelity homed in extdeps/communication/medium.dag; narrowed inert claim;
self-contained scaffold receipt), and corrects the authoring note to reflect that the
doc is reachable on main via the .dag bind: pointer (not a roadmap-slice dependency).

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
@briansrls
briansrls merged commit 9789feb into main Jun 30, 2026
2 checks passed
@briansrls
briansrls deleted the session/tidy-deer-560 branch June 30, 2026 19:27
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