Files
liqiang b119135836
Build latest book artifacts / build (push) Canceled after 0s
dependency resolution / resolve (3.11) (push) Canceled after 0s
dependency resolution / resolve (3.13) (push) Canceled after 0s
deploy-pages / build (push) Canceled after 0s
deploy-pages / deploy (push) Canceled after 0s
i18n consistency check / check (push) Canceled after 0s
provider adoption tests / test (chapter2/context-compression) (push) Canceled after 0s
provider adoption tests / test (chapter2/prompt-injection) (push) Canceled after 0s
provider adoption tests / test (chapter2/system-hint) (push) Canceled after 0s
provider adoption tests / test (chapter3/log-sanitization) (push) Canceled after 0s
web-search-agent tests / test (push) Canceled after 0s
web-search-agent tests / agentbook (push) Canceled after 0s
ai-agent-book 精选快照(<2MB 代码与文档,来自 github.com/bojieli/ai-agent-book)
2026-08-20 13:12:50 +00:00

92 lines
2.5 KiB
Python

#!/usr/bin/env python3
"""实验 5-12:动态生成软件的数据层权限边界。"""
from __future__ import annotations
import os
from pedo.core.models import AccessContext, DataObject
from pedo.core.store import (
ObjectStore,
PermissionDeniedError,
ValidationError,
)
from pedo.scenarios.hiring import register_hiring_types
def main() -> None:
dsn = os.environ.get("PEDO_DSN", "dbname=pedo_test")
store = ObjectStore(dsn)
store.clear_all()
register_hiring_types(store)
system = AccessContext(user_id="system", role="system", org_id="acme")
recruiter = AccessContext(user_id="recruiter1", role="recruiter", org_id="acme")
other_tenant = AccessContext(
user_id="intruder", role="recruiter", org_id="other-org"
)
position = store.create(
DataObject(
type_name="position",
content={
"title": "Platform Engineer",
"department": "Infrastructure",
"status": "open",
"salary_min": 80_000,
"salary_max": 150_000,
},
org_id="acme",
),
system,
)
candidate = store.create(
DataObject(
type_name="candidate",
content={
"name": "Alice",
"email": "alice@example.com",
"status": "applied",
"position_id": position.id,
"salary_expectation": 100_000,
},
org_id="acme",
),
recruiter,
)
store.update(candidate.id, {"status": "screened"}, recruiter)
print("accepted: applied -> screened")
attempts = [
(
"skip state transition",
lambda: store.update(candidate.id, {"status": "hired"}, recruiter),
),
(
"salary outside position range",
lambda: store.update(
candidate.id, {"salary_expectation": 500_000}, recruiter
),
),
(
"cross-tenant read",
lambda: store.get(candidate.id, other_tenant),
),
]
for label, operation in attempts:
try:
operation()
except (PermissionDeniedError, ValidationError) as exc:
print(f"rejected: {label} -> {type(exc).__name__}: {exc}")
else:
raise AssertionError(f"data layer failed to reject: {label}")
store.process_reactions_sync()
print(f"objects: {store.count_objects()} | reactions: {len(store.get_reaction_log())}")
if __name__ == "__main__":
main()