Skip to content
liucaidongPublic

About

No description, website, or topics provided.

Resources

Stars

1 star

Watchers

0 watching

Forks

Repository files navigation

Integrated STEM & Virtual Laboratory Platform

综合 STEM 与虚拟实验室平台。项目采用文档先行策略;代码实现必须通过产品、科学、架构、安全和工程准入审计后启动。

当前项目状态

  • 文档阶段:R01竞品研究、R02产品定义、R03技术方案与机器可读契约草案已形成第一轮可审阅基线。
  • 审计结论:文档基线有条件通过;Implementation-Ready未通过。
  • 代码策略:P3.17及新业务实现继续冻结,直至阻断项关闭并经用户明确批准。
  • 唯一目标仓库:liucaidong/stem-lab;默认分支main。

文档导航

R01 — 全球竞品研究

文档 内容 状态
R01.2 竞品能力矩阵 产品定位、能力、内容、计算、集成与扩展 v0.1
R01.3 证据与来源登记 官方来源、证据等级、来源口径 v0.1
R01.4 产品机会假设 差距、机会与定位假设 v0.1
R01.5 集成/部署/授权补证 LTI、Roster、API、SDK、许可和部署 v0.1
R01.6 工作流与技术边界验证 学生/教师流程、数据、API和实测脚本 v0.1;文档验证
R01.7 竞品研究结论 竞品分层、定位、差异化假设和MVP v0.1;阶段性
R01.8 竞品研究完整性审计 R01覆盖审计、证据缺口和进入R02条件 v0.1;有条件通过

R02 — 产品定义与PRD

文档 内容 状态
R02 产品需求基线 愿景、角色、旅程、信息架构、功能清单、MVP和验收 v1.0草案
R02.1 产品愿景与定位 愿景、定位、价值主张、战略边界和成功指标 v0.1草案
R02.2 用户角色与用户旅程 Personas、JTBD、学生/教师/作者/管理员旅程和研究计划 v0.1;待访谈验证
R02.3 产品需求规格说明书 FR需求、业务规则、异常流程、质量属性和验收基线 v0.1 PRD草案
R02.4 产品功能树与Capability Map L0-L2能力地图、角色矩阵、能力与技术模块映射 v0.1
R02.5 教学MVP范围与发布门禁 DC Circuit教学MVP、E2E验收、指标和发布门禁 v0.1
R02.6 需求追踪与产品审计 需求—用户价值—能力—架构—验收追踪及R02审计 v0.1;有条件通过
R02.7 用户研究执行手册 教师/学生/作者/管理员/采购者访谈、观察任务与记录模板 v0.1;计划未执行
R02.8 DC Circuit教学设计 学习目标、科学模型、实验序列、仪器语义、误概念和Rubric v0.1;待学科签核
R02.9 研究与科学设计补充审计 新增研究/学科文档审计、证据缺口和产品冻结条件 v0.1;有条件通过
R02.10 商业模式与定价假设 客户细分、候选包装、价值度量、成本模型和定价研究 v0.1;未验证假设
R02.11 内容供给与质量治理 内容生产生命周期、学科/教学/技术审核、许可和撤回 v0.1设计草案
R02.12 试点与客户运营 试点阶段、入驻培训、客户成功、支持分级和退出流程 v0.1设计草案
R02.13 产品战略与试点审计 R02全链路覆盖、一致性、产品冻结阻断项和阶段决策 v0.1;有条件通过
R02.14 DC Circuit参考算例 理想串联电路计算样例、边界输入、I-V图语义和专家签核清单 v0.1;未签核草案
R02.1–R02.12 平台架构设计系列 总体架构、Model、Runtime、Package、Renderer、Authoring、Data、Learning、AI、Plugin和Infrastructure v1.0设计基线

R03 — 技术方案与架构

文档 内容 状态
R03 技术架构基线 模块边界、领域模型、Package、API、Runtime、Worker、安全和部署 v1.0设计基线
R03.5 跨文档审计与ADR 一致性审计、架构决策、阻断项和开发门槛 v0.1
R03.6 产品—技术架构一致性审计 R02/R03追踪、架构歧义和技术冻结清单 v0.1;未达Implementation-Ready
R03.7 Runtime状态机与Worker协议 Session状态机、Command事务、幂等、Clock、Lease/Epoch/Fencing v0.1契约草案
R03.8 Experiment Package规范 Manifest、依赖锁定、校验流水线、不可变发布和撤回 v0.1;Schema待冻结
R03.9 Scientific Model与Observation契约 模型定义、单位量纲、DC/RC验证、测量和数据语义 v0.1;待专家签核
R03.10 API与事件契约 REST/OpenAPI、幂等、错误模型、事件信封和版本策略 v0.1契约草案
R03.11 多租户安全与威胁模型 IAM/RLS、Worker隔离、Package/AI安全、隐私与威胁登记 v0.1;待安全/法律审查
R03.12 部署与质量工程 部署拓扑、CI门禁、测试分层、可观测、备份恢复和发布 v0.1;待Spike验证
R03.13 文档体系完整性审计 R01–R03覆盖审计、Implementation-Ready阻断项和工程准入 v0.1;未达Implementation-Ready
R03.14 领域数据模型与ERD 核心实体、关系、事务边界、约束、索引和RLS要求 v0.1逻辑模型草案
R03.15 Runtime状态迁移矩阵 状态迁移、Command权限、并发竞态、不变量和测试向量 v0.1契约草案
R03.16 API与事件契约样例 Session/Command/Observation API、事件信封和错误样例 v0.1样例
R03.17 Package Manifest样例 YAML样例、Schema规则、发布校验和正式Schema门禁 v0.1样例
R03.18 技术验证与Spike矩阵 技术Spike、自动化测试、故障注入、数值验证和证据模板 v0.1;尚未执行
R03.19 技术就绪度复审 R03覆盖复审、局部验证证据和工程准入Gate v0.2;未达Implementation-Ready
R03.20 技术决策登记册 已接受原则、选型候选、产品/合规待决策项和ADR模板 v0.1;待评审
R03.21 工程准入WBS 产品决策、科学验证、契约、Spike、安全和解冻审计工作分解 v0.2;Run #41/#42 CI成功,持续更新
R03.22 机器可读契约草案审阅 契约草案审阅、局部机器验证结果与剩余缺口 v0.2;Draft,局部验证
R03.23 契约验证执行报告 Draft 2020-12 Schema元验证、正负样例及OpenAPI YAML解析执行记录 v0.1;局部验证通过,契约未冻结
R03.24 Scientific Model验证计划 DC教学模型不变量、RC解析参考解、Solver收敛/单位/科学签核验收协议 v0.1;验证计划,专家签核待完成
R03.25 Model/Observation契约草案审阅 ScientificModel与Observation Schema、Fixture、语义校验缺口 v0.1;本地元验证通过,完整语义待完成
R03.26 Runtime Event Payload契约审阅 三种代表事件Payload Schema、Registry、Fixture和Consumer测试缺口 v0.1;Schema/Fixture与CI Run #41/#42通过,Consumer测试待完成
R03.27 PostgreSQL物理模型与RLS草案 物理表分组、复合租户约束、RLS上下文、事务与测试矩阵 v0.1;候选设计,数据库Spike未执行
R03.28 OpenAPI安全/幂等/分页审阅 JWT与资源授权、幂等、ETag、Cursor、错误模型与限流缺口 v0.1;OpenAPI 0.3;规范验证及API语义断言Run #49通过
R03.29 单位与量纲契约草案 SI核心单位Registry、量纲向量、Model/Observation语义和DC/RC映射 v0.1;Unit Registry/量纲基础断言Run #53通过,DEC-08仍OPEN
R03.30 Package内容完整性与发布门禁审阅 资源SHA-256/size、路径安全、依赖闭包、许可、确定性Package Digest和签名门禁 v0.1;单Asset真实Digest/size/路径/symlink安全测试Run #60/#62/#63/#65通过,完整发布门禁未完成
R03.31 Package Digest/签名/Provenance决策候选 JCS/CBOR/归档Digest比较、签名Attestation和SPDX许可治理Spike v0.1;DEC-27/28/29保持OPEN

Contracts — 机器可读契约草案

文件 内容 状态
Contracts目录说明 契约草案使用约束与正式冻结要求 Draft
Experiment Package JSON Schema Package Manifest结构约束 Draft;Draft 2020-12元检查及正/负样例通过,CI Run #41/#42通过
Runtime Event Envelope Schema Runtime事件通用信封结构 Draft;元Schema与正样例已验证
Runtime Event Payload Registry SessionStarted/ExecutionSucceeded/ObservationRecorded三种事件Payload Schema Draft;脚本已接入,CI Run #41/#42通过
Scientific Model Schema 模型参数、变量、方程引用、约束和求解器需求 Draft;本地元Schema/Fixture复核通过,基础引用/范围检查已加入
Observation Schema 观测来源、单位、仿真时间、质量和载荷引用 Draft;Schema与Package/Model/Quantity绑定语义正负断言通过Run #41/#42/#49 CI;量纲体系待完成
Unit Registry Schema 单位登记结构、四维量纲向量、SI比例/偏移 Draft;Schema/Registry和量纲基础断言Run #53通过
SI Core Unit Registry V/A/ohm/W/F/s/dimensionless核心单位 Draft;Schema/Registry/量纲基础断言Run #53通过
OpenAPI草案 Session、Command、Observation API请求/响应/错误Schema Draft v0.3;OpenAPI 3.1规范验证与API语义断言Run #49通过
Contract Test Fixtures Package/Event/Model/Observation样例及DC/RC参考算例 CI Run #41/#42通过;全量版本锁定依赖回归完成
DC Circuit参考算例JSON DC-001至DC-004理论输入/输出样例 Draft;自动算术检查已纳入脚本,科学签核待完成
RC Circuit参考算例JSON RC充电一阶ODE解析参考解;仅作Runtime技术验证 Draft;非教学MVP,专家签核待完成

核心产品与架构决策

  1. 首个教学MVP:DC Circuit & Ohm's Law(直流电路与欧姆定律)。
  2. RC Circuit 是Runtime/ODE/Scheduler/Worker技术验证案例,不替代教学MVP。
  3. Scientific Model、Simulation Runtime、Rendering Engine严格解耦。
  4. Experiment Package声明式、可校验、版本化,发布后不可变。
  5. Runtime状态变更只能通过Command Handler。
  6. 科学计算在独立Worker执行;结果须通过stateVersion、epoch、execution和lease fencing。
  7. AI Agent经Tool Gateway和权限策略执行,不直接访问数据库或任意代码环境。
  8. 首期架构采用Modular Monolith + Independent Scientific Worker。

审计与证据规则

  • A:官方技术文档/帮助中心明确说明。
  • B:官方产品页或厂商陈述,未独立验证。
  • C:可信第三方材料。
  • U:公开资料未确认;不得据此断言产品不支持。
  • “官方文档验证”不等于“真实产品试用验证”。
  • 设计基线不等于实现;Schema可解析不等于契约通过验证;测试文件存在不等于测试通过。

当前已知工程约束

  • P3.15参考包曾发现TypeScript编译错误,Vitest未安装,数据库、RLS、NATS、Outbox、Worker集成闭环未验证;不可宣称Runtime Core已完成。
  • P3.17暂停;需先完成文档审计、契约冻结和技术Spike。
  • 代码冻结解除后仍需按Foundation→Package→Model→Runtime→Learning→Integration阶段实现和验收。

自动化验证工具

版本记录

  • 2026-11-02:补齐R01.8、R02.1–R02.14、R03.6–R03.27、机器可读契约、自动验证脚本/工作流、DC/RC参考算例和科学验证计划。

R03.33 — Scientific Expression AST 与 Quantity Type System

文档/资产 内容 状态
R03.33架构设计 AST节点、Quantity/Unit/Dimension/Kind、推导规则、安全边界与错误语义 v0.1设计草案;DEC-08/09/10/17保持OPEN
Expression AST JSON Schema 版本化声明式AST结构 Draft 2020-12;Run #81 AST Schema/类型语义验证通过(局部)
Expression AST Fixtures DC/RC有效表达式和负向语义案例 Draft;Run #81 AST正/负向静态验证通过(局部)
静态表达式验证器 Schema与静态类型/量纲推导,不执行表达式 Draft;Run #81静态验证通过(局部)

R03.34 — Package Resource Graph 与 Dependency Closure

文档/资产 内容 状态
R03.34架构设计 资源身份、节点/边、引用完整性、循环检测、依赖闭包与外部/受限资源策略 v0.1设计草案
Resource Graph Schema Package资源图结构 Draft;Run #90 Graph Schema与9个负向图检查通过(局部)
Resource Graph Fixtures 正向依赖图及负向图案例 Draft;Run #90正/负向图Fixture验证通过(局部)
Resource Graph Validator 静态引用、身份、环、可达闭包与位置策略检查 Draft;Run #90静态图验证通过(局部)

R03.35 — Canonical Manifest 与 Deterministic Package Digest

文档/资产 内容 状态
R03.35架构设计 Canonical Projection、资源排序、Digest覆盖/排除字段、JCS/CBOR/归档比较 v0.1;DEC-27保持OPEN
Canonical Manifest Schema 确定性摘要输入Projection Draft;Run #95 JCS/CBOR候选重复性与5个负向案例通过(局部)
Canonical Manifest Fixtures 正向Projection与路径/Unicode/数值负向案例 Draft;Run #95正/负向Projection测试通过(局部)
Canonicalization Candidate Validator JCS与Deterministic CBOR候选重复性、排序和Digest敏感性 Spike;Run #95双候选静态重复性测试通过(局部)

R03.36 — Package Signature、Provenance 与 License Governance

文档/资产 内容 状态
R03.36架构设计 签名信任、密钥生命周期、Provenance、SPDX许可治理与发布门禁 v0.1设计草案;DEC-27/28/29保持OPEN
Attestation Schema Package主体与签名信封 Draft;Run #106结构/信任策略通过(局部);不含真实验签
Provenance Schema Builder、Source、Materials和Build时间 Draft;Run #106 Schema/Fixture验证通过(局部)
License Record Schema Asset来源、权利声明、证据及审核 Draft;Run #106 Schema/Fixture验证通过(局部)
Governance Validator 信任注册表、Package主体绑定和许可策略静态检查 Draft;Run #106静态策略验证通过(局部);不执行密码学验签

R03.37 — Runtime Event Registry 与 Compatibility Governance

文档/资产 内容 状态
R03.37架构设计 Event Versioning、Producer/Consumer、Lifecycle、Replay、Retention和Poison Event v0.1设计草案
Event Registry Schema 版本化事件治理元数据 Draft;Run #132通过API错误目录和8种命令Payload映射(局部)
Event Registry 三种代表事件登记及治理字段 Draft;Run #132通过JWT Claims/授权/幂等/Cursor静态语义测试(局部)
Registry Validator 唯一性、兼容性、生命周期及Payload Schema/Fixture验证 Run #162通过14项一致性清单与12项风险报告Schema验证(局部)

R03.37 Event Registry与Compatibility Governance:Run #113通过Registry Schema、3种代表Payload映射及7个负向策略案例。完整Event Catalog和真实Consumer兼容性仍未完成。

R03.38 — Event Consumer、Inbox、Outbox 与 Replay 验证

文档/资产 内容 状态
R03.38验证设计 Producer/Relay/Consumer事务、幂等、顺序、Replay、DLQ和ACK语义 v0.1;SQLite Harness,不是PostgreSQL/NATS生产集成
SQLite Event Integration Harness 真实SQLite事务与Inbox/Outbox/消息/副作用/DLQ表测试 Run #118通过10项SQLite事务集成测试;非PostgreSQL/NATS生产集成

R03.39 — PostgreSQL Transaction、RLS 与 Durable Messaging

文档/资产 内容 状态
R03.39架构设计 PostgreSQL事务、RLS、复合外键、幂等、Inbox/Outbox v0.1候选;DEC-04/19保持OPEN
PostgreSQL集成测试 真实PostgreSQL服务、RLS与事务/消息表测试 Run #123通过10项PostgreSQL 17真实数据库集成测试(局部);生产数据库版本/迁移工具仍未选型

R03.40 — API Security 与 Operational Semantics

文档/资产 内容 状态
R03.40架构设计 JWT Claims、资源授权、幂等、Cursor HMAC、Retry-After、错误目录和Command Registry v0.1设计草案
API Error Catalog 稳定错误码与HTTP/重试语义 Run #162跨模块审计脚本通过(局部)
Command Payload Registry command_type/schema_version到Payload Schema映射 Draft;等待CI
API Semantics Validator JWT Claim/授权/幂等/Cursor HMAC和命令Schema静态测试 Draft;等待CI;不验JWT签名

R03.41 — Simulation Runtime Engineering Contract

文档/资产 内容 状态
R03.41架构设计 Execution Lifecycle、Lease/Epoch/Fencing、Quota、Cancellation、Checkpoint、Recovery与双时钟 v0.1契约草案
Runtime Execution Schema Worker执行控制与资源/时钟契约 Draft;等待CI
Runtime Execution Validator 租约、时钟、Quota、Checkpoint和Replay静态规则 Draft;Run #137通过Runtime Execution静态契约验证(局部);未运行Worker

R03.42 — Scientific Solver Verification Architecture

文档/资产 内容 状态
R03.42架构设计 ODE Contract、精度/稳定性/收敛性、误差估计、步长控制与确定性 v0.1;DEC-10保持OPEN
Solver Verification Schema Solver能力与数值策略契约 Draft;等待CI
DC/RC Numerical Harness DC平衡与RC Euler/RK4解析参考、收敛阶及稳定性测试 Run #143通过数值参考Harness(局部);参考算法仅测试用途

R03.43 — Rendering、Visualization 与 Instrument Contract

文档/资产 内容 状态
R03.43架构设计 Renderer Adapter、Scene Graph、Coordinate System、Timeline、Interaction和Instrument v0.1契约草案
Visualization/Instrument Schema Scene/Timeline/Instrument结构 Draft;等待CI
Visualization Validator Scene Graph、Timeline和Observation Binding静态检查 Draft;Run #148通过静态Visualization/Instrument验证(局部);未运行Renderer

R03.44 — Engineering Integration Audit

文档/资产 内容 状态
R03.44系统集成审计 跨Model/AST/Units/Package/Event/API/Runtime/Solver/Renderer审计 CONDITIONAL_NOT_READY
机器可读审计报告 14项检查、12项风险与工程就绪度 Draft;等待CI
Integration Audit Validator 关键Schema/版本/资源类型/状态机/CI覆盖一致性检查 Draft;等待CI

R03.52.1 — Worker Runtime Lifecycle & Supervision Reference

Asset Purpose Status
Runtime orchestration core Adapter-neutral claim/dispatch/heartbeat/fenced-completion lifecycle CI Run #41441940260 PASS (9 tests); no production Store adapter
Lifecycle tests Idle, success, safe failure, heartbeat loss, shutdown drain and invalid configuration CI unit tests; fake Store only
Lifecycle design Runtime responsibilities, invariants, shutdown and evidence boundaries v0.1 reference
Protocol sequences Normal execution, heartbeat loss and graceful shutdown Design diagram

R03.52.1 does not select Python as the production Worker runtime (DEC-03 OPEN), nor a DB/migration adapter (DEC-04), broker (DEC-05/30), tenant trust boundary (DEC-19), or observability stack (DEC-13). No production readiness claim.

R03.52.2 — Bounded Worker Poller Pool & Concurrency Supervision

Asset Purpose Status
Worker Pool Fixed-size in-process poller supervisor with unique worker IDs and fail-fast propagation CI Run #41442438174 PASS (5 tests); no production scheduler
Worker Pool tests Concurrency bound, shutdown fan-out, identity uniqueness and failure propagation CI Run #41442438174 PASS (5 tests)
Worker Pool design Process-local scheduling boundary and operational failure model v0.1 reference
Worker Pool sequences Startup, shutdown and poller failure sequences Design diagram

This is not a distributed Scheduler or production process supervisor. PostgreSQL claim remains the durable scheduling authority. No fairness, autoscaling, global replica concurrency, DB adapter or broker is selected.

R03.52.3 — Process Signal & Graceful Shutdown Bridge

Asset Purpose Status
Process lifecycle bridge SIGINT/SIGTERM to WorkerPool shutdown; restores previous handlers CI Run #41443126489 PASS (4 tests); deployment supervisor not implemented
Signal bridge tests Forwarding, handler restoration, main-thread guard and invalid configuration Run #41443126489 PASS (4 tests)
Shutdown design Signal safety, drain semantics and deployment boundary v0.1 reference
Shutdown sequence Signal-to-poller shutdown sequence Design diagram

The bridge does not enforce a hard termination deadline, cancel non-cooperative threads, or configure a container supervisor. Forced termination relies on R03.51 lease expiry/reclaim/fencing.

R03.52.4 — Worker Error Taxonomy & Retry Policy Registry

Asset Purpose Status
Retry Policy Schema Versioned error policy contract Draft; Run #41443666002 PASS
Retry Policy Registry Illustrative transient/permanent/default policies Candidate; not production policy
Retry evaluator Stable code mapping, fail-closed default, capped full jitter Executable reference
Policy validator Schema, uniqueness and policy invariant checks Run #41443666002 PASS
Policy tests Jitter, cap, attempts, unknown code and safe message tests Run #41443666002 PASS (7 tests)

No production exception classifier, dynamic policy rollout, Job policy-version pin, or DLQ operator workflow is included.

R03.52.5 — DLQ Replay Authorization & Audit Preflight

Asset Purpose Status
DLQ Replay Plan Schema New Job identity, tenant, actor, reason and authorization policy version Draft; Run #41444145950 PASS
Valid Replay Plan Representative immutable replay intent Fixture
Replay preflight Fail-closed authorization scope and replay-limit checks Executable reference
Replay validator Schema and distinct Job identity checks Run #41444145950 PASS
Replay tests Authorization, tenant/job scope, status, replay limit and audit context Run #41444145950 PASS (8 tests)

This creates an authorization preflight plan only. It does not authenticate the actor or atomically create a new Job/update DLQ/audit records in PostgreSQL.

R03.52.6 — Tenant Trust Boundary & Production Store Architecture

R03.52.7.1 — PostgreSQL Database-Side Tenant Assertion Verifier Spike

  • Verifier spike design and security boundary
  • PostgreSQL adversarial verifier test
  • The spike verifies HMAC assertions inside a SECURITY DEFINER function called by RLS. The test key is ephemeral and shared with the fixture issuer; production issuer, key custody, replay consumption, asymmetric verification and Store integration are not implemented.
  • CI Run #41448568243 SUCCESS; 12/12 PostgreSQL verifier tests pass. This is reference-spike evidence only; no production security claim is made.

R03.52.7.1.1 — Cryptographic Verifier Options

  • Cryptographic verifier options and deployment decision
  • Current result: pgcrypto HMAC is a passing reference spike; Ed25519 asymmetric verification is preferred. pgsodium is the leading database-side candidate where supported; a DB-exclusive trusted gateway is the fallback candidate for managed providers without the extension.
  • Production algorithm/provider remains NOT_SELECTED pending DEC-14 deployment topology and DEC-03 runtime constraints.

R03.52.7.1.2 — PostgreSQL Ed25519 Verifier Spike

R03.52.7.2 — Store Protocol & Unit of Work

R03.52.7.3.1 — Driver / Pool / Runtime Candidate Assessment

  • PostgreSQL driver, pool and runtime candidate assessment
  • Preliminary priority: Psycopg 3 + psycopg_pool for a Python Worker; node-postgres pg-pool for a TypeScript API; asyncpg as the Python asyncio challenger; SQLAlchemy is an optional abstraction, not a driver.
  • No production stack selected. DEC-03 runtime and DEC-14 deployment/provider remain OPEN.

R03.52.7.3.2 — Driver / Pool Smoke Benchmark

  • Smoke benchmark report and measured results
  • CI Run #330 SUCCESS: PostgreSQL 17.11 + Ed25519 verifier/RLS exercised through Psycopg sync/async, asyncpg and node-postgres pools.
  • Initial measurements are smoke evidence only; node-postgres led this CI run at concurrency 8/32, while Psycopg sync led at concurrency 1. No production performance ranking or driver selection is made.
  • DEC-03 and DEC-14 remain OPEN; next increment is controlled full-operation and fault benchmarking.

R03.52.7.3.3 — Controlled Benchmark Runner Contract

  • Controlled benchmark runner contract

  • Benchmark harness now supports explicit smoke and controlled profiles, repetitions, concurrency overrides and environment manifests.

  • Controlled profile has not yet been run; it requires an isolated operator-provisioned host. The current workload is still a protected RLS row read, not the full Store operation mix.

  • No production runtime/driver/pool selected; DEC-03 and DEC-14 remain OPEN.

  • Controlled benchmark harness verification: CI Run #333 SUCCESS. Run #332 failed on an intermediate Python/Node token-handoff mismatch and is retained in the audit trail; the subsequent synchronized commit passed.

  • Second smoke run #333 SUCCESS; environment manifest captured. Results vary materially from Run #330, so no production driver ranking is claimed. See the expanded benchmark report.

R03.52.7.3.4 — Full Store Workload Benchmark Design

  • Full Store workload benchmark design
  • Defines disposable schema, Claim/Renew/Complete/Fail operation semantics, workload profiles, correctness gates, metrics and fault matrix.
  • Identifies the unresolved resource-scoped RLS mapping for Job/Session/Receipt/Transition/Outbox and assertion replay semantics. This is a security gate before benchmark fixture implementation.
  • Current CI benchmark remains a protected row-read smoke test; no full Store workload or production adapter is implemented.

About

No description, website, or topics provided.

Resources

Stars

1 star

Watchers

0 watching

Forks

Releases

Packages

Contributors

Languages