Skip to content

docs(r3): §1.8 row #53 ledger refresh — workflow_substrate_carriers_landed CONSUMER_LANDED #2741

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
briansrls wants to merge 2 commits into from
Closed

docs(r3): §1.8 row #53 ledger refresh — workflow_substrate_carriers_landed CONSUMER_LANDED #2741

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
b29e467
docs(r3): §1.8 row #53 ledger refresh — drop "(partial)" per Slice 1 …
briansrls May 12, 2026
dfe774e
Merge remote-tracking branch 'origin/main' into session/still-boar-10…
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
2 changes: 1 addition & 1 deletion docs/r3-program-plan.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -276,7 +276,7 @@ This principle is NOT a separate lane; it's a per-lane gate-shape requirement ap
| 50 | `auto_memoization_no_caching_for_one_shot` | demonstration | T-Free-Consequences-Demonstration | **PASSING** (PR #2547 — one-shot memoization witness landed 2026-05-10) | no scaffolding for single-call |
| 51 | `cross_target_optimization_constant_fold_consistent` | structural-fold | T-Free-Consequences-Demonstration | **PASSING** (PR #2577 — constant-fold cost witness executable landed 2026-05-10) | structural cost-shrink across targets |
| 52 | `cross_target_optimization_cost_structurally_derived` | structural-fold | T-Free-Consequences-Demonstration | **PASSING** (PR #2578 — structural cost receipt landed 2026-05-10) | cost-lens reading structurally derived |
| 53 | `workflow_substrate_carriers_landed` | substrate-shape | T-Workflow-As-Data | **CONSUMER_LANDED (partial)** (PR #2160 — WorkflowSecret + CronExpression β-ratified; refresh per cluster-analysis audit §1; remaining sub-carriers tracked in T-WAD slice queue) | `std.workflow` carriers |
| 53 | `workflow_substrate_carriers_landed` | substrate-shape | T-Workflow-As-Data | **CONSUMER_LANDED** (PR #2160 — `WorkflowSecret` + `CronSchedule`/`CronField` β-ratified Slice 1 carriers landed at `dsl/extdeps/github/actions.dag` + `dsl/extdeps/cron_schedule_model.dag`; per [`docs/briefs/r3-substrate-t-workflow-as-data-slice-1-worker.md`](briefs/r3-substrate-t-workflow-as-data-slice-1-worker.md) acceptance gate #4 + brief §"Slice scope" binding gate #53 to Slice 1 carriers ONLY — slices 2/3 carry their own gate IDs #54/#55/#56 and are NOT residuals of #53; refresh per [`docs/audit/r3-cluster-analysis-2026-05-09.md`](audit/r3-cluster-analysis-2026-05-09.md) §1) | `std.workflow` carriers |
| 54 | `timing_lens_carrier_landed` | substrate-shape | T-Workflow-As-Data | **CONSUMER_LANDED** (PR #2360 — Substrate T-Workflow-As-Data timing-lens carrier post-T-LBP COMPLETE) | `Lens<TimingMeasurement>` carrier |
| 55 | `shared_external_attachment_pattern_documented` | substrate-shape | T-Workflow-As-Data | **CONSUMER_LANDED** — pattern + six invariants in [`docs/design-timing-lens.md`](design-timing-lens.md) §2; typed `WorkflowObservationAnchor` / `TimingObservationEntry` in `src/v3/std/timing_lens.dag`; branded provenance nominals in `dsl/std/types.dag`; bootstrap ratchet `timing_lens_substrate_carrier_test.rs` (gate #55 inv.1–4 + §2.6 validate wiring) | `WorkflowObservationAnchor` + 6 invariants documented + typed |
| 56 | `ci_workflow_modeled_as_dag` | demonstration | T-Workflow-As-Data | DECLARED | at least one workflow as `.dag` data |
Expand Down
Loading