Skip to content

feat(test-vectors): ArkForge execution attestation + constraint evaluation (CTEF v0.3.1)#14

Open
desiorac wants to merge 2 commits intocorpollc:mainfrom
desiorac:feat/arkforge-execution-attestation-vectors
Open

feat(test-vectors): ArkForge execution attestation + constraint evaluation (CTEF v0.3.1)#14
desiorac wants to merge 2 commits intocorpollc:mainfrom
desiorac:feat/arkforge-execution-attestation-vectors

Conversation

@desiorac
Copy link
Copy Markdown

Context

Follow-up to the cross-implementation convergence on CTEF v0.3.1 (#7 comment). AgentGraph published cte-test-vectors.json at 69ad94d with 4 vectors covering identity/transport/authority/continuity. ArkForge reproduced all 4 byte-exact (canonical + SHA-256).

What this adds

Four JCS-canonicalized test vectors from ArkForge Trust Layer (did:web:trust.arkforge.tech, proof-spec v2.1.3):

Vector Coverage Key field
execution_attestation_minimal Chain hash as CTEF authority claim chain_hash from proof-spec
constraint_evaluation_within_limit constraint_evaluation shape from #6 delta=250 (25% headroom)
constraint_evaluation_near_miss Boundary detection delta=5 (0.5% headroom)
constraint_evaluation_exceeded Enforcement trigger delta=-150 (15% over)

The constraint_evaluation object uses the facet/limit/actual/delta shape proposed in #6. delta enables near-miss detection: positive-but-small values are leading indicators of future constraint violations.

Cross-validation

  • AgentGraph cte-test-vectors.json: 4/4 pass byte-exact canonical + SHA-256
  • Self-verification: python3 specs/test-vectors/verify_execution_attestation_arkforge.py4/4 pass

Files

  • specs/test-vectors/execution-attestation-arkforge.json — 4 vectors + metadata
  • specs/test-vectors/verify_execution_attestation_arkforge.py — zero-dependency verifier

…valuation vectors (CTEF v0.3.1)

Four JCS-canonicalized test vectors from ArkForge Trust Layer:
- execution_attestation_minimal: chain hash composed into CTEF authority claim
- constraint_evaluation_within_limit: facet/limit/actual/delta (25% headroom)
- constraint_evaluation_near_miss: delta=5 (0.5% headroom, boundary detection)
- constraint_evaluation_exceeded: delta=-150 (enforcement trigger)

Cross-validation: 4/4 AgentGraph cte-test-vectors.json reproduced byte-exact.
Self-verification script included (verify_execution_attestation_arkforge.py).

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
… 0.1.1)

3 test vectors exercising the tier_upgrade_proof schema converged in
A2A #1734 (kenneives × desiorac × pmyers-abundance):

- tier_upgrade_granted: T1→T2 with requester_did + policy_ref
- tier_upgrade_denied: constraint already saturated
- tier_upgrade_replay_vulnerable: missing requester_did (must reject)

Schema incorporates desiorac's requester_did correction and
pmyers-abundance's policy_ref adoption per ArkForge suggestion.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant