Certisyn Independent Verification
Independent, third-party verification of what a counterparty claims about itself...
Install
npx skills add internet-court/internet-court-skill --skill certisyn-independent-verification -g -a claude-code -y- Repository
- internet-court/internet-court-skill7k
- Category
- AI and agents
- Updated
- 9d ago
- License
- LicenseRef-Certisyn-Skill-1.0
- Context cost
- Mediumabout 3,000 tokens
- Runs scripts
- No, instructions only
What it does
Independent, third-party verification of what a counterparty claims about itself, established BEFORE an agent commits funds, signs, delegates authority, or admits that counterparty to a deal. Declared coverage today is verification by physical law - vehicle telemetry and orbital node claims - where a finding is arithmetic that can be re-derived rather than an opinion that must be weighed. Use for any reliance on a counterparty assertion, when drafting the verification clause of an agreement, and when assembling or assessing a dispute filing. Returns one of four outcomes, always names what it could not determine, and states the conditions under which its own evidence should be ruled out.
Certisyn - independent verification for agent commerce
Most verifiers are built to return a value. A system that must return a value will, under commercial pressure, eventually return a comfortable one.
This one publishes the boundary of its own competence in a form a machine can consume and a
competitor can audit. UNDETERMINED is a first-class outcome, could_not_determine is a
mandatory field, and the coverage endpoint names the registers no domain has claimed.
Quickstart
# 1. Coverage and declared gaps. No key, no account, no signup.
curl -s https://certisyn.com/api/v1/verification/capability
# 2. Resolve a determination the counterparty handed you.
curl -s https://certisyn.com/api/v1/public/scorecard/{vro_code}
Then decide with the four outcomes below. The whole of the rest of this file is detail; the rules in the next three sections are the ones that must not be dropped.
The four outcomes
Never collapse them into a score.
| Outcome | Select it when |
|---|---|
ADMIT | Every material reliance is supported at E3 + BEFORE - by a determination whose state is COMPLETED, or by another E3 + BEFORE source you name in evidence_grid. |
ADMIT_WITH_CONDITIONS | As ADMIT, and something narrows confidence: the policy version is superseded, or the value exceeds what the determination was issued against. Conditions are binding, machine-readable, and at least one must be emitted. |
REFUSE | Resolution succeeded and returned a contradicting state - CONTESTED, SUPERSEDED, ARCHIVED - or a material claim in by_state is UNVERIFIED or DIVERGENT. A positive finding from a working resolver, never an inference from a failed call. |
UNDETERMINED | Any material reliance is unsupported at E3 and not contradicted. Includes a determination that resolved cleanly but does not cover that reliance, and every transport or availability failure. |
Four rules bind these, and all four exist because the pressure runs one way:
