@proteus-vue/component-ir 0.1.0 → 0.2.0-beta.1

package/LICENSE

@@ -0,0 +1,218 @@
+Proteus（普罗透斯）Vue 跨端编译框架
+Copyright (c) 2026 Proteus Contributors
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+    http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+
+═══════════════════════════════════════════════════════════════════════════════
+
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright [yyyy] [name of copyright owner]
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

package/README.md

@@ -54,7 +54,7 @@ checkSemanticCoverage(3) // G-31.4：每语义 ≥3 端映射
 
 ```
 Layer 0：Proteus 原生语义组件（p-* + useNative/useFetch）——本包
-Layer 1：@proteus/compat-miniprogram（旧小程序兼容层，独立包）
+Layer 1：@proteus-vue/compat-miniprogram（旧小程序兼容层，独立包）
 ```
 
 ## 路线

package/dist/audit.d.ts

@@ -8,6 +8,8 @@ export interface MpMatrixItem {
     status: MpCoverageStatus;
     /** 对照类别（component / api-*) */
     group: 'component' | 'api';
+    /** ★诚实边界：proteus 引用的 p-* 为 L2 规划中（尚未实现）——引用门禁据此豁免（不豁免则视为幽灵） */
+    planned?: boolean;
 }
 /** 全量对照矩阵 */
 export declare const MP_MAPPING_MATRIX: MpMatrixItem[];
@@ -17,6 +19,10 @@ export interface CoverageReport {
     compat: number;
     private: number;
     missing: number;
+    /** ★诚实边界：`planned: true` 行——L2 规划中（尚未实现），计作已覆盖但**不是已落地** */
+    planned: number;
+    /** ★真·已落地 = total − private − missing − planned（有等价能力且现已可用）——区分「有等价」与「真缺」 */
+    landed: number;
     /** 覆盖百分比（非 missing 占比） */
     percent: number;
     /** G-32.1：missing > 0 → 不达标（CI 红） */
@@ -26,8 +32,24 @@ export interface CoverageReport {
 /**
  * ★G-32.1 audit:coverage：小程序官方能力 100% 覆盖校验
  * 缺失（❌）= 无 Proteus 原语且非平台私有 —— 出现即 CI 红
+ * ★非纯计数：额外区分 `landed`（现已可用）与 `planned`（L2 规划待落地），避免「100% = 全做完」的误读
  */
 export declare function auditMiniprogramCoverage(matrix?: MpMatrixItem[]): CoverageReport;
+export interface MatrixRefIssue {
+    mp: string;
+    ref: string;
+    kind: 'component' | 'semantic' | 'hook';
+}
+/**
+ * ★矩阵引用一致性：proteus 列引用的 token 必须真实存在（组件标签 ∈ TAG_SEMANTIC_MAP / 语义 ∈ SEMANTIC_ENUM /
+ *   Hook ∈ knownHooks）——否则「幽灵引用」（旧矩阵把未实现的 p-overlay/p-progress、不存在的 capability.fetch 等
+ *   标为 ok/compat，致「100% 覆盖」自证同义反复）。`planned: true` 行豁免「组件标签不存在」（诚实登记 L2 规划）。
+ * @param knownHooks 能力 Hook 名集合（来自 @proteus-vue/api SSOT——component-ir 不 import api，由调用方传入）
+ */
+export declare function auditMatrixReferences(matrix?: MpMatrixItem[], knownHooks?: ReadonlySet<string>): {
+    issues: MatrixRefIssue[];
+    plannedRefs: number;
+};
 export interface ConsistencyIssue {
     rule: string;
     detail: string;

package/dist/conformance.d.ts

@@ -1,4 +1,13 @@
-import type { RenderNodeSnapshot } from '@proteus-vue/render-backend';
+/** ★#425 破 type-only 环：渲染快照的本地鸭子视图（只读 component-ir 所需字段——结构与 render-backend
+ *   RenderNodeSnapshot 对齐，结构兼容即可传参；component-ir 零 import render-backend，build 序单向可排） */
+export interface RenderNodeSnapshotView {
+    type: string;
+    semantic: string;
+    control: string;
+    children: RenderNodeSnapshotView[];
+    props?: Record<string, unknown>;
+    text?: string;
+}
 /** 控件映射偏差：error=与参考表不符（门禁阻断）；unverified=参考表未声明该后端/语义，或 Layer 1 兼容层标签（不强制） */
 export interface ControlMismatch {
     path: string;
@@ -23,13 +32,13 @@ export interface SemanticTree {
     children: SemanticTree[];
 }
 /** 提取语义树（忽略控件/属性——只比结构形状） */
-export declare function extractSemanticTree(snap: RenderNodeSnapshot): SemanticTree;
+export declare function extractSemanticTree(snap: RenderNodeSnapshotView): SemanticTree;
 /**
  * 渲染快照 vs 规范参考表（SEMANTIC_BACKEND_MAP）
  * - Layer 0 语义节点（semantic ≠ type）：参考表命中 → 控件必须一致（error）；参考表缺该语义/后端列 → unverified（不臆造门禁）
  * - Layer 1 兼容层节点（无 semantic，semantic === type）：各后端自定义 compat 映射 → 不设门禁（unverified）
  */
-export declare function checkComponentSnapshot(backendId: string, snapshot: RenderNodeSnapshot): ComponentConformanceResult;
+export declare function checkComponentSnapshot(backendId: string, snapshot: RenderNodeSnapshotView): ComponentConformanceResult;
 /** 参考表覆盖缺口（G-31.4：新组件进 L1 须 ≥3 端映射；不足 → 降级 L2，禁入 core）
  *  ★G-32 B1：仅对 catalog 中 status='implemented' 的原语设门禁——planned（L2 生态/待落地）不阻断
  */

package/dist/degradation.d.ts

@@ -0,0 +1,115 @@
+import type { PrimitiveDef } from './primitives';
+/** 端轴：仅「真有 Backend 实现」的端（见文件头诚实边界） */
+export type DegradationEnd = 'mp' | 'web';
+/** 降级三态（§2） */
+export type DegradationTier = 'supported' | 'fallback' | 'unsupported';
+/** 单属性降级声明 */
+export interface DegradationEntry {
+    mp: DegradationTier;
+    web: DegradationTier;
+    /** 降级行为（任一端非 supported 时必填——EA-5 §4 反黑盒） */
+    behavior?: string;
+}
+export type DegradationMap = Record<string, DegradationEntry>;
+/**
+ * ★按 tag 限定的 mp: fallback（2026-09-19 新增机制）：属性在 Web 有实现、MP 无平台对等。
+ *
+ * 与 STYLE_WEB_FALLBACK 等「按属性名全局」的表不同——这里**按 tag 限定**，因为本仓存在
+ * **跨组件同名属性**（实测：`loop` 是 `<video>/<audio>` 的官方属性、`snap` 是 `<draggable-sheet>`
+ * 的官方属性，而框架的 `p-stack` 另有自己的语义 `loop`/`snap`）——按属性名全局判 fallback 会误伤。
+ *
+ * 依据：`p-stack` 的 `snap`/`loop` 是「轮播」语义消灭形态（G-31 §2.2、rules.md 拒绝 `<p-swiper>`），
+ *   但 MP 端容器滚动本身不成立——**Skyline 的 view 不滚动（CSS overflow 无效）**，这是本仓已实测
+ *   的结论（skyline-pitfalls S14 + `p-scroll` 同款告警：「小程序 view 不滚动——请改用 p-scroll-view」）。
+ *   容器不滚动 ⇒ 吸附/回环无载体（CSS scroll-snap 亦然）。
+ *   fallback 行为 = 普通排列 + `capabilityWarnOnce` 控制台提示（可观察，非静默失效）。
+ *   ★MP 端如需真轮播：用 `p-scroll-view` 的 `paging-enabled`（官方 Skyline 翻页属性，原生支持）。
+ */
+declare const TAG_PROP_MP_FALLBACK: Record<string, Record<string, string>>;
+/** ★导出供降级门禁做「显式登记的 tag 限定 fallback」豁免（区别于跨组件同名导致的误报） */
+export declare const TAG_SCOPED_MP_FALLBACK: typeof TAG_PROP_MP_FALLBACK;
+/** 规则表登记的全部「非缺省判定」属性名（供门禁做**陈旧规则**检测——规则指向不存在的属性即失效） */
+export declare const RULE_REGISTERED_PROPS: string[];
+/** 宿主组件族 tag（web:fallback 的来源） */
+export declare const HOST_FALLBACK_TAGS: string[];
+/** 对单个属性判定降级三元组（端轴可扩展） */
+export declare function degradeProp(tag: string | undefined, prop: string): DegradationEntry;
+/** 组件原语（有 tag 者）的属性降级表：tag → { prop → entry } */
+export declare function degradationOf(prim: PrimitiveDef): DegradationMap;
+/** 全量降级表（SSOT：PRIMITIVE_CATALOG 中所有带 tag 的原语） */
+export declare const DEGRADATION_TABLE: Record<string, DegradationMap>;
+/**
+ * ★性能预计算（2026-09-18）：tag → { kebab 属性名 → true }，**只收 `mp: unsupported` 的属性**。
+ *
+ * 编译器编译每个元素都要判「该属性在 mp 端是否 unsupported」。此前编译器在 `serializeElement`
+ * 里**逐元素**新建 Map 并对每个属性名跑 kebabCase → 实测 `compile-vue-sfc` 基准从 0.573ms
+ * 涨到 0.765ms（+33%，推过 1.2x 警告线）。改为模块加载时预计算一次：
+ * 每元素仅剩 **一次 kebabCase + 一次 Set.has**，零分配。
+ *
+ * 语义等价：诊断只关心 `mp === 'unsupported'`（`fallback` 有意降级、不报），故只需该子集。
+ */
+export declare const MP_UNSUPPORTED_PROPS: Record<string, Set<string>>;
+export interface DegradationIssue {
+    tag: string;
+    prop: string;
+    /**
+     * missing = 空白格（保留以兼容既有消费方；表由规则构建后不再产生）；
+     * behavior-gap = 非 supported 但无可观察行为；table-divergence = 表与规则判定不一致。
+     */
+    kind: 'missing' | 'behavior-gap' | 'table-divergence';
+    detail: string;
+}
+export interface DegradationReport {
+    /** 组件原语数 */
+    components: number;
+    /** 已声明属性数 */
+    props: number;
+    /** 各端各态计数 */
+    counts: Record<DegradationEnd, Record<DegradationTier, number>>;
+    /** fallback 已声明可观察行为数 / 需要行为数（反黑盒） */
+    behaviorDeclared: number;
+    behaviorNeeded: number;
+    issues: DegradationIssue[];
+    ok: boolean;
+}
+/**
+ * 降级门禁（EA-5）：
+ *  ① 每个 props 里的属性都必须在降级表中有声明（缺格 = 违反 EA-5，对齐 03 §3「不允许空白格」）；
+ *  ② 任一端为 fallback/unsupported 时必须有 behavior（可观察降级行为，§4 反黑盒）——
+ *     「只有状态、无行为」视为不诚实降级，判 FAIL。
+ *
+ * ★作用域（诚实说明）：默认审计 PRIMITIVE_CATALOG 的组件原语属性（62 组件）。
+ *   组件库实际有 73 个 p-* 组件（`packages/components/*`）——其中 11 个（p-button、p-view、
+ *   p-scroll-view、p-nav-bar、p-list-view、p-safe、p-sidebar、p-location、p-pick-photo、
+ *   p-scan-qr、p-svg-canvas）尚未登记进 catalog。传 `extraSpecs` 可把这批也纳入审计，
+ *   由 CLI 脚本（scripts/audit-degradation.mjs）从组件源码提供，从而与端对齐标尺同口径（全 73 组件）。
+ */
+export declare function auditDegradation(extraSpecs?: Array<{
+    tag: string;
+    props: string[];
+}>): DegradationReport;
+/** 人类可读报告 */
+export declare function formatDegradationReport(r: DegradationReport): string;
+/** 编译期诊断码（对齐 03-degradation-tiers.md §6） */
+export declare const PROP_NO_DEGRADATION = "PROP_NO_DEGRADATION";
+export interface PropDiagnostic {
+    code: typeof PROP_NO_DEGRADATION;
+    tag: string;
+    prop: string;
+    end: DegradationEnd;
+    message: string;
+}
+/**
+ * ★M6 编译期门禁：目标端**无法实现**的属性被业务侧使用时产生 fail-closed 诊断。
+ * 依据 03-degradation-tiers.md §2「unsupported = 本端无法实现 → 编译期警告/报错（fail-closed）」与 §6。
+ *
+ * `fallback` **不**产生诊断——降级是有意的可观察行为（行为已在表中声明）；
+ * 只有 `unsupported` 才是「无论如何都会静默失败」，必须由编译器拦住。
+ *
+ * @param table 可选降级表（缺省 = 模块级 DEGRADATION_TABLE）。注入用以便测试无 unsupported 现状下的诊断路径。
+ * @returns 命中 unsupported 时返回诊断；否则 null。
+ */
+export declare function checkPropDegradation(tag: string, prop: string, end: DegradationEnd, table?: Record<string, DegradationMap>): PropDiagnostic | null;
+/** 扫描一个元素的全部属性，返回所有 unsupported 诊断（供编译器批量收集） */
+export declare function collectPropDiagnostics(tag: string, props: string[], end: DegradationEnd, table?: Record<string, DegradationMap>): PropDiagnostic[];
+export {};

package/dist/index.d.ts

@@ -1,5 +1,5 @@
-export { COMPONENT_IR_SCHEMA, SEMANTIC_ENUM, TAG_SEMANTIC_MAP } from './schema';
-export type { ComponentIR } from './schema';
+export { COMPONENT_IR_SCHEMA, SEMANTIC_ENUM, TAG_SEMANTIC_MAP, FRAMEWORK_INTERNAL_TAGS, TAG_SEMANTIC_ALIASES } from './schema';
+export type { ComponentIR, TagAliasDecl } from './schema';
 export { validateComponentIR, validateGridConstraints, validateComponentTree, DEFAULT_DESIGN_WIDTH } from './validate';
 export type { CIRDiagnostic } from './validate';
 export { SEMANTIC_BACKEND_MAP, mapSemanticToBackend } from './map';
@@ -8,5 +8,10 @@ export { checkComponentSnapshot, extractSemanticTree, checkSemanticCoverage } fr
 export type { ComponentConformanceResult, ControlMismatch, SemanticTree, CoverageGap } from './conformance';
 export { PRIMITIVE_CATALOG, componentPrimitives, implementedPrimitives, primitiveById, primitiveBySemantic, primitiveByTag, checkPrimitiveCatalog } from './primitives';
 export type { PrimitiveDef, PrimitiveKind, PrimitiveStatus } from './primitives';
-export { MP_MAPPING_MATRIX, auditMiniprogramCoverage, auditCatalogConsistency, formatCoverageReport } from './audit';
+export { MP_MAPPING_MATRIX, auditMiniprogramCoverage, auditMatrixReferences, auditCatalogConsistency, formatCoverageReport } from './audit';
+export type { MatrixRefIssue } from './audit';
 export type { CoverageReport, MpCoverageStatus, MpMatrixItem, ConsistencyIssue } from './audit';
+export { classifySpecApi, classifySpecComponent, auditSpecCoverage, auditSpecOverrideRefs, GESTURE_HANDLER_EXPECTED, SPEC_COVERED, SPEC_PLANNED, SPEC_PRIVATE, SPEC_NA, SPEC_COMPONENT_OVERRIDE, SPEC_RATCHET } from './mp-spec-coverage';
+export type { MpSpecStatus, MpSpecClass, MpOfficialSpec, SpecCoverageReport } from './mp-spec-coverage';
+export { DEGRADATION_TABLE, MP_UNSUPPORTED_PROPS, degradeProp, degradationOf, auditDegradation, formatDegradationReport, checkPropDegradation, collectPropDiagnostics, RULE_REGISTERED_PROPS, HOST_FALLBACK_TAGS, PROP_NO_DEGRADATION, } from './degradation';
+export type { DegradationEnd, DegradationTier, DegradationEntry, DegradationMap, DegradationIssue, DegradationReport, PropDiagnostic, } from './degradation';