verifiable-agent-core 0.1.3__py3-none-any.whl
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- vac/__init__.py +68 -0
- vac/gate.py +647 -0
- vac/verdict.py +143 -0
- verifiable_agent_core-0.1.3.dist-info/METADATA +507 -0
- verifiable_agent_core-0.1.3.dist-info/RECORD +8 -0
- verifiable_agent_core-0.1.3.dist-info/WHEEL +5 -0
- verifiable_agent_core-0.1.3.dist-info/licenses/LICENSE +21 -0
- verifiable_agent_core-0.1.3.dist-info/top_level.txt +1 -0
vac/__init__.py
ADDED
|
@@ -0,0 +1,68 @@
|
|
|
1
|
+
"""Verifiable-Agent-Core —— 可验证智能体核心。
|
|
2
|
+
|
|
3
|
+
四个函数，一层物理闸：
|
|
4
|
+
|
|
5
|
+
from vac import Workspace, judge_3state
|
|
6
|
+
|
|
7
|
+
ws = Workspace("workspace", required_files=["report.md", "summary.csv"])
|
|
8
|
+
ws.write_and_verify("report.md", text) # 写盘 + 读回逐字节比对
|
|
9
|
+
if ws.verify_all_delivered(): ... # 验收：都在盘上且没被调包
|
|
10
|
+
v = judge_3state(result) # 成了 / 没成 / 判不出来
|
|
11
|
+
if v: # unknown 一定走 else
|
|
12
|
+
...
|
|
13
|
+
|
|
14
|
+
交付契约只能由开发者在构造时传，或调 `init_task()` 设定；设完在内存里只读。
|
|
15
|
+
模型没有改契约的工具 —— 把「先声明啥也不用交」这条路从架构上删掉了。
|
|
16
|
+
|
|
17
|
+
`write_and_verify` 内部串了四道闸：交付契约（不写任务没点名的名字）、空内容
|
|
18
|
+
（没有可见字符就不算交付 —— 零宽字符也算没有）、防误删锁（不拿空壳覆盖真账）、
|
|
19
|
+
读回校验（不对就等于没写成）。
|
|
20
|
+
|
|
21
|
+
只有 stdlib，没有依赖，不用配 Key，import 就能用。
|
|
22
|
+
"""
|
|
23
|
+
from .gate import (
|
|
24
|
+
ENV_DELIVERY,
|
|
25
|
+
MAX_WRITE_BYTES,
|
|
26
|
+
Contract,
|
|
27
|
+
ContractViolation,
|
|
28
|
+
Receipt,
|
|
29
|
+
Workspace,
|
|
30
|
+
WriteNotVerified,
|
|
31
|
+
WriteRefused,
|
|
32
|
+
default_workspace,
|
|
33
|
+
guard_overwrite,
|
|
34
|
+
init_task,
|
|
35
|
+
write_and_verify,
|
|
36
|
+
)
|
|
37
|
+
from .verdict import (
|
|
38
|
+
FAILED,
|
|
39
|
+
PASSED,
|
|
40
|
+
UNKNOWN,
|
|
41
|
+
Verdict,
|
|
42
|
+
VerdictFailed,
|
|
43
|
+
judge_3state,
|
|
44
|
+
)
|
|
45
|
+
|
|
46
|
+
__version__ = "0.1.2"
|
|
47
|
+
|
|
48
|
+
__all__ = [
|
|
49
|
+
"ENV_DELIVERY",
|
|
50
|
+
"FAILED",
|
|
51
|
+
"MAX_WRITE_BYTES",
|
|
52
|
+
"PASSED",
|
|
53
|
+
"Contract",
|
|
54
|
+
"ContractViolation",
|
|
55
|
+
"Receipt",
|
|
56
|
+
"UNKNOWN",
|
|
57
|
+
"Verdict",
|
|
58
|
+
"VerdictFailed",
|
|
59
|
+
"Workspace",
|
|
60
|
+
"WriteNotVerified",
|
|
61
|
+
"WriteRefused",
|
|
62
|
+
"__version__",
|
|
63
|
+
"default_workspace",
|
|
64
|
+
"guard_overwrite",
|
|
65
|
+
"init_task",
|
|
66
|
+
"judge_3state",
|
|
67
|
+
"write_and_verify",
|
|
68
|
+
]
|