§ PR-α : IMPL_00..06 Upgrade-arc plan + corrigendum (docs-only)#8
§ PR-α : IMPL_00..06 Upgrade-arc plan + corrigendum (docs-only)#8Apocky wants to merge 1 commit into
Conversation
Lands the IMPL_00..06 spec set authored across phase-a/09 sessions : IMPL_00_OVERVIEW.csl — synthesis frame for UPG_00..12 frontier-arc IMPL_01_PLAN.csl — 7-layer architecture · wave-graph · per-wave gates (REVISED per IMPL_06) IMPL_02..05_*.csl — per-wave deep-dives (substrate · effects · MIR · integration) IMPL_06_CORRIGENDUM.csl — substrate-audit corrigendum : retire-4 ⊕ rebrand-2 ⊕ revise(U-B,U-C,U-G) ⊕ U-K-prelude Pure docs ; zero source-code impact ; cargo-gate not applicable. PR-β + PR-γ land the corresponding source changes.
![chatgpt-codex-connector[bot]](https://avatars.githubusercontent.com/in/1144995?s=60&v=4){kind=small}
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 14ef97a483
ℹ️ 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".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
| | cssl-effects-row | L2 | row-typed effect labels | 6 tests | | ||
| | cssl-prov | L0+L7 | provenance DAG | 5 tests | | ||
| | cssl-ocap | L7 | unforgeable capability tokens | 5 tests | | ||
| | cssl-consent | L7 | consent-grade lattice | 5 tests | |
There was a problem hiding this comment.
Because IMPL_02 declares itself the binding spec for FOUNDATION-WAVE crates, this table still directs implementers to add/test cssl-effects-row, cssl-ocap, and cssl-consent even though IMPL_06_CORRIGENDUM.csl:10-13 ratifies retire-4 and IMPL_01_PLAN.csl:43-47 marks these crates as retired duplicates. A future foundation-wave implementer following this file will reintroduce the duplicate crates the corrigendum is trying to eliminate; update IMPL_02 and its later per-crate sections to list only the kept net-add crates or redirect to cssl-effects/cssl-caps/cssl-ifc.
Useful? React with 👍 / 👎.
1 participant
§ Scope
Pure-docs PR. Lands the IMPL_00..06 spec set authored across phase-a/09 sessions.
§ Deliverables
specs/Upgrade/impl/IMPL_00_README.csl— synthesis frame for UPG_00..12 frontier-arcspecs/Upgrade/impl/IMPL_01_PLAN.csl— 7-layer architecture · wave-graph · per-wave gates (REVISED per IMPL_06)specs/Upgrade/impl/IMPL_02_FOUNDATION.csl— substrate-wave deep-divespecs/Upgrade/impl/IMPL_03_MIGRATION.csl— wave U-A..U-N migration planspecs/Upgrade/impl/IMPL_04_DECISIONS.csl— D-001 BLAKE3 (ratified) + othersspecs/Upgrade/impl/IMPL_05_CADENCE.csl— per-wave T-1..T-N task cadencespecs/Upgrade/impl/IMPL_06_CORRIGENDUM.csl— substrate-audit corrigendum : retire-4 ⊕ rebrand-2 ⊕ revise(U-B,U-C,U-G) ⊕ U-K-prelude§ Gates
§ Companion PRs
pr-beta/foundation-baseline— phase-a/09 infrastructure (foundation crates + σ-enforce + recognizer)pr-gamma/iccombs-toy-harness— iccombs experimental harness (stacked on PR-β)