§ PR-β : phase-a/09 foundation-baseline (σ-enforce ⊕ recognizer ⊕ foundation-crates×5)#9
Conversation
…er-fixes ⊕ foundation-crates×5 ⊕ host+mycelium+loa-host edits
Lands the production-ready phase-a/09 infrastructure baseline :
FOUNDATION CRATES (5) : cssl-cas · cssl-hgraph · cssl-grades · cssl-iccombs · cssl-prov
σ-ENFORCE-FFI : cssl-mir sigma_enforce + ffi_abi_check + structured_cfg passes
RECOGNIZER-FIX : cssl-parse + cssl-lex + csslc/tests/recognizer{,/*.cssl} + t11_w11/w15 advancement tests
HOST EDITS : cssl-host-* + cssl-mycelium-chat-sync + loa-host + cssl-ui (σ-enforce-driven + corrigendum doc-rebrand)
WORKSPACE : Cargo.toml + Cargo.lock + .gitignore additions
GATES : cargo check --workspace ✓
Excludes : specs/Upgrade/impl/* (PR-α) + cssl-iccombs-toy-{elab,cli} + cssl-lower-iccombs (PR-γ stacked on this branch)
![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: d332354e17
ℹ️ 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".
| walk_block_returns(body, declared, params, interner, out); | ||
| } | ||
| HirExprKind::Paren(inner) => walk_expr_for_returns(inner, declared, params, interner, out), | ||
| _ => {} |
There was a problem hiding this comment.
This fallback skips child expressions for calls, binary/unary ops, casts, assignments, ranges, arrays, struct fields, if conditions, match scrutinees/guards, etc., so a mismatched return can still bypass the new primitive-shape gate whenever it is nested there, e.g. fn f(x: u32) -> i64 { g(return x) }. Since the pass is explicitly meant to catch any return <expr> that inference would otherwise collapse, please recurse through all HirExprKind children rather than only block-like forms.
Useful? React with 👍 / 👎.
1 participant
§ Scope
Phase-a/09 production-baseline. Lands the foundation crates, σ-enforce-FFI machinery, and the recognizer-fix path. All gates green.
§ Deliverables
▸ Foundation crates (5 new)
cssl-cas— BLAKE3-32 content-address (Cid) substrate (D-001 ratified)cssl-hgraph— hypergraph IR primitivescssl-grades— graded modality typingcssl-iccombs— interaction-combinator runtime substratecssl-prov— provenance / proof-carrying value layer▸ σ-enforce-FFI
cssl-mir—sigma_enforce⊕ffi_abi_check⊕structured_cfgcssl-hir— σ-row plumbing▸ Recognizer-fix
cssl-parse+cssl-lex— recognizer-pipeline correctionscsslc/tests/recognizer/*— recognizer corpus▸ Host edits (σ-enforce + IMPL_06 corrigendum doc-rebrand)
cssl-host-*,cssl-mycelium-chat-sync,loa-host,cssl-ui▸ Workspace
Cargo.toml+Cargo.lockregenerated ·.gitignoreextended§ Gates
cargo check --workspace§ Excludes (carved to companion PRs)
pr-alpha/IMPL_00-06-specspr-gamma/iccombs-toy-harness(stacked on this)§ Retired (per IMPL_06_CORRIGENDUM ; ⊑ existing substrate)
cssl-ocap⊑cssl-caps(HostCap + verify_cap)cssl-effects-row⊑cssl-effects(28 effects + Ω-rows + banned_composition + sub_effect_check)cssl-consent⊑cssl-ifc(validate_egress + label-flow)cssl-pd-check⊑cssl-effects.banned⊕cssl-ifc.validate⊕cssl-caps.HostCap