feat: GRACE-Poly protocol optimization — ~3200→10 warnings (↓99.7%)
Full optimization cycle: Protocol (15 files): - 4-layer SSOT architecture for agent prompts & skills - Anti-Corruption Protocol consolidated from 5 duplicates - Tag-to-tier permissiveness matrix (all @tags allowed at all tiers) Axiom config: - complexity_rules: all 22+ tags available on C1-C5 - contract_type_overrides: removed (was narrowing per-type) - 18 new tags added, LAYER enum expanded (Infra, Frontend, Atom, etc.) - RELATION predicates expanded (USES, CONTAINS, BELONGS_TO, etc.) Code fixes: - 2216 @TAG: normalized to @TAG (colon→space) - 518 [DEF] blocks migrated to #region/#endregion (37 files) - VERIFIES→BINDS_TO, :Class/:Function suffixes removed, paths→IDs - 1173-line _external_stubs.py deleted (EXT: handled natively) - Batch EXT: reference audit (240 targets: 132 external, 99 internal, 9 fix) - QA regression check: 0 regressions across all checks Infrastructure: - DuckDB rebuild stabilized (appender API, INSERT OR IGNORE) - Anchor regex fix (parent-child BINDS_TO now resolves) - EXT:*/DTO:/NEED_CONTEXT: regex fixed in validator - 34MB Doxygen API portal (3194 contract pages)
This commit is contained in:
@@ -3,16 +3,16 @@
|
||||
@SEMANTICS: migration, dashboard, environment, dry-run, task-resume
|
||||
@BRIEF: Main migration dashboard page for environment selection, dry-run validation, and migration execution.
|
||||
@LAYER UI
|
||||
@RELATION DEPENDS_ON ->[EXT:path:frontend/src/lib/api.js]
|
||||
@RELATION DEPENDS_ON ->[ApiModule]
|
||||
@RELATION DEPENDS_ON ->[EXT:frontend:stores]
|
||||
@RELATION DEPENDS_ON ->[EXT:frontend:taskService]
|
||||
@RELATION BINDS_TO ->[EXT:path:frontend/src/components/EnvSelector.svelte]
|
||||
@RELATION BINDS_TO ->[EnvSelector]
|
||||
@RELATION BINDS_TO ->[DashboardGrid]
|
||||
@RELATION BINDS_TO ->[EXT:path:frontend/src/components/MappingTable.svelte]
|
||||
@RELATION BINDS_TO ->[MappingTable]
|
||||
@RELATION BINDS_TO ->[EXT:frontend:TaskRunner]
|
||||
@RELATION BINDS_TO ->[EXT:path:frontend/src/components/TaskHistory.svelte]
|
||||
@RELATION BINDS_TO ->[TaskHistory]
|
||||
@RELATION BINDS_TO ->[TaskLogViewer]
|
||||
@RELATION BINDS_TO ->[EXT:path:frontend/src/components/PasswordPrompt.svelte]
|
||||
@RELATION BINDS_TO ->[PasswordPrompt]
|
||||
@INVARIANT: Migration start is blocked unless source and target environments are selected, distinct, and at least one dashboard is selected.
|
||||
@UX_STATE: [Idle] -> User configures source/target environments, dashboard selection, and migration options.
|
||||
@UX_STATE: [Loading] -> Environment/database/dry-run fetch operations disable relevant actions and show progress text.
|
||||
|
||||
Reference in New Issue
Block a user