Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
16 commits
Select commit Hold shift + click to select a range
d534fd4
docs: decomposition-algebra modeling project (DRAFT)
briansrls May 12, 2026
50d987c
Merge remote-tracking branch 'origin/main' into design/decomposition-…
briansrls May 12, 2026
6875f03
docs: decomposition-algebra rewrite for ctrl/ migration scoping
briansrls May 12, 2026
553cf45
docs(decomp-algebra): inline §13 validation case study; drop git-hist…
briansrls May 12, 2026
b9b0ef4
docs: ctrl/ → .dag migration project plan (parallel program tree)
briansrls May 12, 2026
dfd18e8
docs(project-plan): comprehensive ctrl/ subsystem catalog (16 subsyst…
briansrls May 12, 2026
14cae60
docs(project-plan): replace-ASAP framing + parallel critical paths
briansrls May 12, 2026
2d7c02f
docs: address codex BLOCKING review #10331 (5 findings on PR #2775)
briansrls May 12, 2026
924589d
docs(decomp-algebra): address codex inline BLOCKING — Lens/Witness pa…
briansrls May 12, 2026
3d2f36e
docs(decomp-algebra): preserve stage-bound pipeline facts (codex inli…
briansrls May 12, 2026
2ad2b2d
docs(decomp-algebra): drop false monotonicity claim (codex inline BLO…
briansrls May 12, 2026
bfde973
docs(project-plan): correct authority claim per P2 staging discipline…
briansrls May 12, 2026
f8199ce
docs(project-plan): Ctrl-Migration Director spawned + line 303 receip…
briansrls May 12, 2026
f9f64d6
docs: C compiler + LLVM in .dag execution promotion plan
briansrls May 12, 2026
ad2f6e4
docs(project-plan): Wave-1-trio checkpoint + staged-debt throttle (cl…
briansrls May 12, 2026
1915de6
docs(r3): remaining-work dependency graph + max-parallelization plan
briansrls May 12, 2026
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading