程序优先的 Agent 底座

让 Agent 像程序一样运行

nexrur 把执行图、证据、诊断与恢复放进同一套可测试、可复盘、可重放的程序控制面。LLM 参与认知,程序保有控制权。

  • 01执行可编排
  • 02失败可解释
  • 03恢复可治理
  • 04上下文可追溯
substrate trace trace-01 · cycle-02
01
Campaignlifecycle · budget · route
control
02
Orchestratorcontract graph · checkpoint
execute
EvidenceProductSchemaRe-evidence
03
Diagnosisbounded evidence · explanation
explain
diagnosis_result→ campaign_control → new cycle

名称与工程源起

nexrur 沿用地平线欧洲项目 NEXRUR 的名称。

NEXRUR 是地平线欧洲项目 “Next Generation Sustainable Business Models and Monitoring for Rural Resilience and Innovation” 的项目简称。nexrur 软件沿用这一名称,并在 RWA 的真实实施中抽取出独立的 program-first substrate,随后支撑 AUDIT 与 QUANT。

  1. HORIZON EUROPENEXRUR项目 · 101181273
  2. 真实实施RWA源应用
  3. 抽取并分离nexrur独立底座
  4. 新的应用AUDIT · QUANT共享底座机制
计划
Horizon Europe
项目
NEXRUR
项目号
101181273
征集主题编号
HORIZON-CL6-2024-COMMUNITIES-02-2-two-stage

nexrur 软件是独立工程项目,不是该地平线欧洲项目的官方软件、交付成果或资助产出。

查看三个应用案例

01 · 执行与恢复

一个闭环,三种不可混淆的职责。

Orchestrator 执行合同图,Diagnosis 解释有界证据,Campaign 根据 App policy 产生并执行控制动作。

Orchestrator、Diagnosis、Campaign 三引擎闭环App contracts 进入 Campaign;Campaign 启动 Orchestrator;Orchestrator 执行合同图并把失败事实交给 Diagnosis;Diagnosis 返回结果给 Campaign;Campaign 决定继续、修复、重路由或停止。APP CONTRACTS + ASSETS01CampaignCONTROL PLANElifecycle · budget · route · restart · haltcampaign attempt02OrchestratorEXECUTION GRAPHrecursive contracts · dependencies · checkpoint03DiagnosisBOUNDED COGNITIONevidence refs · result code · explanationre-evidence + factsdiagnosis_resultPROGRAMFIRSTCONTROL STAYS EXPLICITcontinue  ·  continue with repair  ·  reroute / restart  ·  halt
01 · control

Campaign

管理 lifecycle、budget、route、restart 和 halt。

campaign attempt ↓
02 · execute

Orchestrator

递归解释合同图,调度 leaf capability,记录 checkpoint。

re-evidence + facts ↓
03 · explain

Diagnosis

从有界证据解释失败,返回独立 diagnosis result。

diagnosis_result ↺ Campaign

Orchestrator executes.不猜根因,不选 route。

Diagnosis explains.不改状态,不直接 restart。

Campaign controls.不扫描 raw evidence 猜业务结论。

02 · 证据上下文

上下文来自证据重建,而不是聊天记录堆积。

五桶把当前运行事实、业务真值、历史召回和已审核知识分开,再组装成有界、有引用、限定于本轮的上下文。

五桶证据上下文Core、engines、aiskills 组成当前 episode facts;它们产生 primary digest,再用于 memory 历史召回;golden 提供已审核候选;最终通过 selector 形成 bounded context。CURRENT EPISODE FACTS01corecurrent run ledger02enginesbounded execution facts03aiskillsactive business truthPRIMARY DIGESTfacts · refs · current scopeHISTORICAL RECALLREVIEWED KNOWLEDGE04memoryprevious campaign / trace / asset05goldenapproved cases · counterexamples · patternsbounded retrievalREVIEWED SELECTORprogram gate · bounded choiceBOUNDED EVIDENCE CONTEXTcited · scoped · rebuilt for this episodeMemory is recall, not current truth.Golden is grounding, not a verdict.
01 · current

core

当前 campaign/trace/cycle 的 identity、manifest、outcome 与审计引用。

02 · current

engines

Orchestrator、Campaign、ToolLoop 的确定性有界执行事实。

03 · current

aiskills

App 当前 active 业务产物、schema/diagnosis 业务投影与 upstream truth。

04 · historical

memory

过去 campaign、trace、asset 的历史召回,不是当前 run 的真值副本。

05 · reviewed

golden

已审核 positive cases、counterexamples 和 patterns,不是 verdict。

03 · 所有权边界

机制留在底座,业务真值留在 App。

App 用 contracts 和 assets 注入语义;nexrur 解释合同、执行能力、治理失败,但不把 App reason、route 或 domain threshold 写成底座默认值。

SUBSTRATE

nexrur 拥有运行机制

稳定、跨 App、可测试的程序能力。

  • 01CLI + Campaign controller
  • 02Recursive Orchestrator
  • 03Diagnosis engine mechanics
  • 04ToolLoop registry + execution
  • 05Schema + Projection + Evidence
  • 06LLM + MCP + Memory surfaces
CONTRACTOWNERSHIP
MEMBRANE
RESULT
CONSUMER APP

App 拥有业务真值

领域、资产和产品语义的唯一 owner。

  • 01Orchestrator contracts
  • 02Diagnosis + Campaign assets
  • 03Prompts + schemas
  • 04Production semantics
  • 05Reason catalog + route targets
  • 06Business artifacts + thresholds

Contracts cross the membrane. Ownership does not.

04 · 源码关联架构

从视觉模型进入 active design 真相源。

本页是架构投影,不是第二套真相。每个核心概念都回到 nexrur active DESIGN 文档继续阅读。