Skip to content

Commit e52c2eb

Browse files
committed
fix: rename references.bib, fix primary problem test, replace 'invention' with 'advanced' in public docs
1 parent b627f85 commit e52c2eb

8 files changed

Lines changed: 158 additions & 13 deletions

File tree

README.md

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -81,7 +81,7 @@ acon stats # Full summary
8181

8282
---
8383

84-
## MCP Tools (22 core + 16 inventions)
84+
## MCP Tools (22 core + 16 advanced capabilities)
8585

8686
### Core Tools
8787

@@ -110,7 +110,7 @@ acon stats # Full summary
110110
| **Context** | `contract_context_log` | Log the intent and context behind a contract action |
111111
| **Stats** | `contract_stats` | Get summary statistics for the contract store |
112112

113-
### Invention Tools (16)
113+
### Advanced Tools (16)
114114

115115
| Tool | Description |
116116
|:---|:---|
@@ -434,12 +434,12 @@ The binary format uses `b"ACON"` magic bytes, fixed-size records for O(1) entity
434434
| Suite | Tests | |
435435
|:---|---:|:---|
436436
| Rust core engine | **33** | Unit tests for all 6 entity types + SDK trait impls |
437-
| Engine inventions stress | **55** | All 16 inventions + large datasets + error paths |
437+
| Engine advanced stress | **55** | All 16 advanced capabilities + large datasets + error paths |
438438
| Existing stress/edge cases | **14** | Boundary conditions, Unicode, concurrency |
439439
| MCP server stress | **80** | All 38 tools, protocol compliance, transport, concurrency |
440440
| Server stress | **30** | Prompts, resources, transport edge cases, auth |
441441
| CLI integration | **41** | All subcommands, bad args, persistence, workflows |
442-
| Edge case inventions | **29** | MCP Quality Standard compliance |
442+
| Edge case advanced | **29** | MCP Quality Standard compliance |
443443
| MCP lib unit tests | **6** | Transport and JSON-RPC validation |
444444
| **Total** | **288** | All passing |
445445

@@ -456,8 +456,8 @@ This is a Cargo workspace monorepo containing the core library, MCP server, CLI,
456456
agentic-contract/
457457
├── Cargo.toml # Workspace root
458458
├── crates/
459-
│ ├── agentic-contract/ # Core library (policy engine, file format, inventions)
460-
│ ├── agentic-contract-mcp/ # MCP server (22 core + 16 invention tools)
459+
│ ├── agentic-contract/ # Core library (policy engine, file format, advanced capabilities)
460+
│ ├── agentic-contract-mcp/ # MCP server (22 core + 16 advanced tools)
461461
│ ├── agentic-contract-cli/ # CLI binary: acon (policy/limit/approval/obligation/violation)
462462
│ └── agentic-contract-ffi/ # FFI bindings (C header + shared library)
463463
├── python/ # Python SDK (PyPI: agentic-contract)

docs/public/architecture.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -35,7 +35,7 @@ agentic-contract/
3535
│ │ │ ├── main.rs # Entry point (serve/info)
3636
│ │ │ ├── server.rs # JSON-RPC loop
3737
│ │ │ ├── stdio.rs # Content-Length framing transport
38-
│ │ │ ├── tools.rs # 22 core + 16 invention tools
38+
│ │ │ ├── tools.rs # 22 core + 16 advanced tools
3939
│ │ │ ├── resources.rs # 12 resources (acon:// URIs)
4040
│ │ │ ├── prompts.rs # 4 prompts
4141
│ │ │ └── greeting.rs # Startup banner
@@ -76,7 +76,7 @@ The core library defines all domain types and the `ContractEngine` facade. It ha
7676

7777
JSON-RPC server communicating over stdio using Content-Length framing. Implements MCP protocol version `2024-11-05`.
7878

79-
**Capabilities**: 22 core tools + 16 invention tools, 12 resources, 4 prompts
79+
**Capabilities**: 22 core tools + 16 advanced tools, 12 resources, 4 prompts
8080

8181
**Key behaviors**:
8282
- Unknown method: JSON-RPC error `-32601`

docs/public/command-surface.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -31,7 +31,7 @@ status: stable
3131
| `contract_context_log` | `intent`, `topic?` | Log the intent and context behind a contract action |
3232
| `contract_stats` || Get summary statistics for the contract store |
3333

34-
### Invention Tools (16)
34+
### Advanced Tools (16)
3535

3636
| Tool | Description |
3737
|------|-------------|

docs/public/faq.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -110,7 +110,7 @@ Protocol version `2024-11-05`.
110110

111111
**How many MCP tools are available?**
112112

113-
22 core tools covering all six entity types plus context logging and statistics. Additionally, 16 invention tools provide advanced capabilities (risk prophecy, violation precognition, contract simulation, etc.).
113+
22 core tools covering all six entity types plus context logging and statistics. Additionally, 16 advanced tools provide advanced capabilities (risk prophecy, violation precognition, contract simulation, etc.).
114114

115115
**How are errors reported in MCP?**
116116

docs/public/integration-guide.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -42,7 +42,7 @@ The MCP server exposes 22 core tools organized by entity type:
4242
| Violation | report, list | 2 |
4343
| Stats/Context | stats, context_log | 2 |
4444

45-
Plus 16 invention tools for advanced use cases (see [MCP Tools Reference](mcp-tools.md)).
45+
Plus 16 advanced tools for advanced use cases (see [MCP Tools Reference](mcp-tools.md)).
4646

4747
### Common Workflow: Pre-Action Policy Check
4848

docs/public/mcp-tools.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ description: Complete reference for AgenticContract MCP tools
66

77
# MCP Tools Reference
88

9-
AgenticContract exposes 22 core tools and 16 invention tools via the Model Context Protocol.
9+
AgenticContract exposes 22 core tools and 16 advanced tools via the Model Context Protocol.
1010

1111
## Contract Tools
1212

Lines changed: 145 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,145 @@
1+
@misc{mcp2024,
2+
title={Model Context Protocol Specification},
3+
author={Anthropic},
4+
year={2024},
5+
url={https://modelcontextprotocol.io}
6+
}
7+
8+
@misc{blake3,
9+
title={{BLAKE3}: One Function, Fast Everywhere},
10+
author={O'Connor, Jack and Aumasson, Jean-Philippe and Neves, Samuel and Wilcox-O'Hearn, Zooko},
11+
year={2020},
12+
url={https://github.com/BLAKE3-team/BLAKE3}
13+
}
14+
15+
@misc{opa2018,
16+
title={{OPA}: An Open Source, General-Purpose Policy Engine},
17+
author={{Open Policy Agent Contributors}},
18+
year={2018},
19+
howpublished={\url{https://www.openpolicyagent.org}}
20+
}
21+
22+
@article{agents2024,
23+
title={A Survey on Large Language Model based Autonomous Agents},
24+
author={Wang, Lei and Ma, Chen and Feng, Xueyang and Zhang, Zeyu and Yang, Hao and Zhang, Jingsen and Chen, Zhiyuan and Tang, Jiakai and Chen, Xu and Lin, Yankai and others},
25+
journal={Frontiers of Computer Science},
26+
volume={18},
27+
number={6},
28+
year={2024},
29+
publisher={Springer}
30+
}
31+
32+
@misc{criterion,
33+
title={Criterion.rs: Statistics-driven Benchmarking Library for {Rust}},
34+
author={Heisler, Brook},
35+
year={2023},
36+
url={https://github.com/bheisler/criterion.rs}
37+
}
38+
39+
@inproceedings{cedar2023,
40+
title={Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization},
41+
author={Cutler, Joseph W. and Crichton, Will and Guo, Jessica and Simon, Daniel and others},
42+
booktitle={Proceedings of the ACM on Programming Languages (OOPSLA)},
43+
year={2023},
44+
publisher={ACM}
45+
}
46+
47+
@inproceedings{zanzibar2019,
48+
title={Zanzibar: Google's Consistent, Global Authorization System},
49+
author={Pang, Ruoming and Langheinrich, Ramon and Suter, Salvatore and others},
50+
booktitle={USENIX Annual Technical Conference},
51+
year={2019},
52+
organization={USENIX Association}
53+
}
54+
55+
@misc{casbin,
56+
title={Casbin: An Authorization Library that Supports Access Control Models},
57+
author={{Casbin Contributors}},
58+
year={2023},
59+
url={https://casbin.org}
60+
}
61+
62+
@misc{autogpt2023,
63+
title={{AutoGPT}: An Autonomous {GPT-4} Experiment},
64+
author={Richards, Toran Bruce},
65+
year={2023},
66+
url={https://github.com/Significant-Gravitas/AutoGPT}
67+
}
68+
69+
@misc{crewai2024,
70+
title={{CrewAI}: Framework for Orchestrating Role-Playing Autonomous {AI} Agents},
71+
author={Moura, Jo\~{a}o},
72+
year={2024},
73+
url={https://github.com/joaomdmoura/crewAI}
74+
}
75+
76+
@inproceedings{agentbench2023,
77+
title={{AgentBench}: Evaluating {LLMs} as Agents},
78+
author={Liu, Xiao and Yu, Hao and Zhang, Hanchen and Xu, Yifan and Lei, Xinhan and Lai, Hanyu and Gu, Yu and Ding, Hangliang and Men, Kaiwen and Yang, Kejuan and others},
79+
booktitle={International Conference on Learning Representations},
80+
year={2024}
81+
}
82+
83+
@article{react2022,
84+
title={{ReAct}: Synergizing Reasoning and Acting in Language Models},
85+
author={Yao, Shunyu and Zhao, Jeffrey and Yu, Dian and Du, Nan and Shafran, Izhak and Narasimhan, Karthik and Cao, Yuan},
86+
journal={International Conference on Learning Representations},
87+
year={2023}
88+
}
89+
90+
@article{vaswani2017attention,
91+
title={Attention is All You Need},
92+
author={Vaswani, Ashish and Shazeer, Noam and Parmar, Niki and Uszkoreit, Jakob and Jones, Llion and Gomez, Aidan N. and Kaiser, {\L}ukasz and Polosukhin, Illia},
93+
journal={Advances in Neural Information Processing Systems},
94+
volume={30},
95+
year={2017}
96+
}
97+
98+
@misc{anthropic2024claude,
99+
title={Claude: {AI} Assistant by {Anthropic}},
100+
author={Anthropic},
101+
year={2024},
102+
url={https://www.anthropic.com/claude}
103+
}
104+
105+
@misc{agentrasdk2026,
106+
title={Agentra {SDK}: Unified Trait System for {AI} Agent Infrastructure},
107+
author={Owolabi, Omoshola},
108+
year={2026},
109+
url={https://github.com/agentralabs/agentic-sdk}
110+
}
111+
112+
@misc{agenticmemory2026,
113+
title={{AgenticMemory}: A Binary Graph Format for Persistent, Portable, and Navigable {AI} Agent Memory},
114+
author={Owolabi, Omoshola},
115+
year={2026},
116+
url={https://github.com/agentralabs/agentic-memory}
117+
}
118+
119+
@misc{chen2024agentcost,
120+
title={Understanding and Controlling {AI} Agent Costs in Production},
121+
author={Chen, Yanqiao and Zhang, Wei},
122+
year={2024},
123+
howpublished={arXiv preprint}
124+
}
125+
126+
@inproceedings{lewis2020rag,
127+
title={Retrieval-Augmented Generation for Knowledge-Intensive {NLP} Tasks},
128+
author={Lewis, Patrick and Perez, Ethan and Piktus, Aleksandra and Petroni, Fabio and Karpukhin, Vladimir and Goyal, Naman and K\"{u}ttler, Heinrich and Lewis, Mike and Yih, Wen-tau and Rockt\"{a}schel, Tim and others},
129+
booktitle={Advances in Neural Information Processing Systems},
130+
year={2020}
131+
}
132+
133+
@misc{flatbuffers,
134+
title={{FlatBuffers}: Memory Efficient Serialization Library},
135+
author={Google},
136+
year={2023},
137+
url={https://flatbuffers.dev}
138+
}
139+
140+
@misc{protobuf,
141+
title={Protocol Buffers: Language-Neutral, Platform-Neutral Extensible Mechanisms for Serializing Structured Data},
142+
author={Google},
143+
year={2023},
144+
url={https://protobuf.dev}
145+
}

scripts/test-primary-problems.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -32,7 +32,7 @@ acon_file="$tmpdir/primary.acon"
3232
echo "[1/8] Create contract artifact"
3333
# acon creates on first use via open_or_create
3434
stats_out="$(run_acon --path "$acon_file" stats)"
35-
assert_contains "$stats_out" "policies" "create stats"
35+
assert_contains "$stats_out" "policy_count" "create stats"
3636

3737
echo "[2/8] Add policies (core governance)"
3838
policy_out="$(run_acon --path "$acon_file" policy add --label "No unreviewed deploys" --action deny --scope global)"

0 commit comments

Comments
 (0)