PÓLYAContract reference

CONTRACT REFERENCE · REVIEW.1

CONTRACT REVIEW · TEST_ONLYReview-candidate contract and local fixture evidence only · no distributed SDK, operational API, publisher parity, or decision authority

PÓLYA v1 data contract

Review the candidate package, schemas, primary functions, and exact external-reference binding rules.

01

Review package and schemas

  • package: `@polya/contract-ontology`
  • version: `1.0.0-review.1`
  • graph: `polya.decision-graph.v1`
  • case ref: `polya.decision-case-ref.v1`
  • HARBINGER ref: `harbinger.signal-brief-ref.v1`
  • RAIFFA ref: `raiffa.eligibility-gate-ref.v1`
02

Primary validation functions

Verification checks shape, trust, signature, lifetime, tenant, scope, and exact binding. Consumption adds a replay claim. Neither path reinterprets the external reference content.

Static contract surfacets
assertDecisionGraphV1(input)
digestDecisionGraphV1(input)
assertCaseTransition(from, to)
issueDecisionCaseRefV1(graph, options)
verifyHarbingerSignalBriefRefV1(ref, options)
consumeHarbingerSignalBriefRefV1(ref, options)
verifyRaiffaEligibilityGateRefV1(ref, options)
consumeRaiffaEligibilityGateRefV1(ref, options)
03

Bind external references as opaque envelopes

  • SignalBriefRef rejects raw body and confidence fields
  • DecisionCaseRef digest binds the validated whole snapshot
  • EligibilityGateRef compares actorId and DecisionCaseRef id, digest, and issuer exactly
  • Expiry, forgery, replay, and scope mismatch fail