Pre-declared vs synthesized constraints — design question
Nobody has claimed this yet.
Assessment
- Difficulty
- 5/5
- Estimated time
- Over a week
- Newbie friendliness
- 25/100
Research direction
Start by reviewing AgentRx's existing constraint-synthesis approach and the linked K9Audit context. The issue does not identify files, tests, or an implementation entry point; first clarify whether pre-declared intent contracts are wanted and define the design scope and acceptance criteria.
Written by the indexing model from the issue text.
Description
AgentRx synthesizes constraints from tool schemas after the fact. We've been working from the opposite direction — requiring intent contracts to be declared before execution fires (what we call Y*_t).
The tradeoff as we see it:
- Synthesized constraints: better coverage, no human effort required
- Pre-declared contracts: deterministic deviation scores, cryptographically verifiable, no LLM judge needed for assessment
Did you consider pre-declared baselines, or did you explicitly choose synthesis for the coverage reason? Curious about the design decision — especially for the case where the operator already knows what the agent should do before it acts.
For context: github.com/liuhaotian2024-prog/K9Audit
- Dominant language
- Python
- Stars
- 149
- Forks
- 24
- PR merge metrics
- No merged PRs in 30d
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Similar issues
-
area: harness bug status: needs-triage
Difficulty 2/5 1-3 hours Newbie friendliness 75/100
Human-Agent-Society/reef#625 ·
-
Difficulty 2/5 1-3 hours Newbie friendliness 70/100
-
Difficulty 1/5 Under an hour Newbie friendliness 80/100
learningequality/kolibri#15351 · 2 comments ·
-
Difficulty 2/5 1-3 hours Newbie friendliness 75/100
-
Name consistency Open
Difficulty 2/5 1-3 hours Newbie friendliness 75/100
eellak/triplestore#65 · 1 comment ·