Block a user
[Feature] Add manifest schema/version validation
[Feature] Add a dependency-boundary test or lint script
[Feature] Add "kernel must not own product semantics" as an architecture rule
[Task] Identify which imports belong to future
govoplan-access
[Feature] Add manifest schema/version validation
Codex State: done
Summary
- Manifest contract/version validation is implemented through ModuleCompatibility and installer preflight, with tests for source-version matching and incompatible…
[Feature] Keep compatibility imports documented before extraction begins
Codex State: done
Summary
- Compatibility imports are documented and covered by tests before extraction proceeds.
Changed Files
docs/MODULE_ARCHITECTURE.md- `docs/ACCESS_EXTRACT…
[Task] Identify which imports belong to future
govoplan-access
Codex State: done
Summary
- Imports that belong to govoplan-access are identified in the extraction plan and backed by core compatibility shims and access-owned implementations.
###…
[Feature] Add a dependency-boundary test or lint script
Codex State: done
Summary
- Dependency-boundary linting is implemented and currently passes with zero transitional exceptions.
Changed Files
- `scripts/check_dependency_boundaries.py…
[Feature] Add "kernel must not own product semantics" as an architecture rule
Codex State: done
Summary
- The kernel/product-semantics boundary is documented as an architecture rule.
Changed Files
docs/MODULE_ARCHITECTURE.md
Verification
- `python…
[Task] Inventory all current
govoplan_core.access, auth, user, account, group, API key, role, and permission imports
[Task] Inventory all current
govoplan_core.access, auth, user, account, group, API key, role, and permission imports
Codex State: done
Summary
- The access/auth/user/account/group/API-key/role/permission import inventory is captured in the access extraction plan and current compatibility ownership…
[Feature] Add backend startup tests for supported module permutations
[Feature] Add backend startup tests for supported module permutations
Codex State: done
Summary
- Backend startup coverage now exercises supported module permutations and absent-module startup behavior.
Changed Files
tests/test_module_system.py
##…
[Task] Review the file rename path without owner context: move remaining callers to the owner-scoped bulk path where possible, or keep the fallback explicitly legacy with regres...
[Task] Review the file rename path without owner context: move remaining callers to the owner-scoped bulk path where possible, or keep the fallback explicitly legacy with regres...
Codex State: done
Summary
- Bulk rename is now owner-scoped at the public API boundary, and the historical no-owner file-only path is isolated behind an explicit legacy helper.
###…
[Feature] Define access module manifest target
[Feature] Define
PrincipalResolver protocol in kernel
[Feature] Define typed event envelope
[Feature] Define typed event envelope
Codex State: done
Summary
- Typed event envelope is implemented as govoplan_core.core.events.PlatformEvent.
Changed Files
src/govoplan_core/core/events.py- `docs/EVENTS_AND_AUDI…
[Task] Inventory admin pages by owning future module