AENET.cloud PUBLIC GATEWAY
K.PUBLIC.GATEWAY
system-detail K.PUBLIC.SYSTEM

kap-language

KAP Language

本仓库广泛使用的一种声明式契约风格,用机器可读的 .kap 文件描述公开站点、导航、内容、布局、动效、时间、流量与抢先体验。

状态: active 最后更新: 2026-08-16

系统 ID

kap-language

状态

active

架构层级

  • L3 公共数据(契约)
  • L2 公共应用(消费者)

输入

  • 关于站点、导航、内容与流量通道的公共安全事实

输出

  • 声明式契约文件(kap/*.kap)及其机器验证的 JSON 配套(contracts/*.json)

公共接口

  • kap/*.kap(声明式文档)
  • contracts/*.json(机器验证的运行时配套)

安全边界

KAP 文件仅为声明式文档。它们绝不导入、修改或执行 ../aenet 或 ../k-language 中的代码,也绝不是日志文件或数据库。

数据方向

公共事实 → 声明式契约 → 已验证的 JSON 配套。任何方向都没有可执行路径。

是什么

以声明式 KAP 风格表达公开、只读的契约,使公开表面可以在不进入 AENET Core 的情况下被描述、检查和验证。

为什么

公共仓库需要一种方式声明契约(站点、导航、内容、流量、时间、布局、动效),既可供人类和机器检查,又绝不能运行任何内容或触及核心。

如何

公共事实 → 声明式契约 → 已验证的 JSON 配套。任何方向都没有可执行路径。

  • 声明公开站点身份与硬性限制(public-site.kap)
  • 声明导航拓扑(public-navigation.kap)
  • 声明内容来源 → 快照目标(public-content.kap)
  • 声明匿名流量通道契约(public-traffic.kap)
  • 声明时间、布局、动效、语言、系统图、队列与抢先体验契约

示例

kap/public-site.kap 声明公开站点身份与硬性限制;其机器验证的 JSON 配套位于 contracts/,由 npm run check 验证。

输入

  • 关于站点、导航、内容与流量通道的公共安全事实

输出

  • 声明式契约文件(kap/*.kap)及其机器验证的 JSON 配套(contracts/*.json)

依赖

aenet-cloud-public

生命周期

  • 声明式编写
  • JSON 运行时配套
  • 契约验证

使用场景

  • 记录公开站点契约与限制
  • 声明匿名流量通道契约
  • 提供由 npm run check 验证的机器可验证 JSON 配套

限制

  • 本仓库中的 KAP 文件在编写时未经 kap CLI 解析
  • 如果 KAP 运行时不支持某结构,以 JSON 契约为准
  • KAP 不是可执行路径——绝不是控制通道

人们常问的问题

这些问题由本页内容解答。

  • 什么是 KAP?
  • KAP 语言用来做什么?
  • AENET Cloud Public 中有哪些 KAP 契约?
  • KAP 是可执行的吗?它连接 AENET Core 吗?
  • KAP 与 K Language 的关系是什么?

证据

仅已验证状态——本页内容均非预测。

  • kap/README.md
  • kap/*.kap
  • contracts/public-language.contract.json

下一步