Primitives

Each primitive’s contract, what implements it here, and how far it has been tested.

Primitive	Contract	Implementation here	Status
Capture	Append pre-typed observation bytes, instrument identity, valid and record times, sequence and integrity reference	Fixture copy + SHA-256 manifest with source commit	partial
Project	Apply a versioned mapping without altering the observation	wc-map:crossing-graph-fixture:v0 (pinned by tests/audit.test.ts)	tested
Propose	Construct a typed transition and name its purpose and possible effects	Proposal x from vectors; s_proposed not supplied	partial
Bind	Attach independently checkable evidence to specific claims	E-REQ, E-CTX, E-VRD bindings	tested
Check	Evaluate policy, invariant and authority against their declared versions and times	Checks for typing, evidence, binding, time and authority; policy and invariant UNAVAILABLE	partial
Decide	Produce EXECUTE or typed HOLD with a replayable receipt	decide() + hash-bound receipt	tested
Execute and observe	Record attempted action, actual effect and later observation separately	Not implemented; no effect is ever executed	PROPOSED
Reassess	Apply a later policy or new evidence in a new, linked determination	reassess(): links to prior receipt_ref	tested
Crosswalk	Translate supported states and paths, preserve declared relations, expose losses	Specification only	PROPOSED
Spectral probe	Run preregistered, optional experiments with negative controls	Specification only	PROPOSED

Terms

Genesis point: The first recorded event, or first qualified evidence binding, with its identifier and scope. In the fixture, the genesis-no-expiry context has graph_head_sequence = 0 and a zero head hash. Running a gate never creates evidence.
Observer attestation: Who observed what, by which method, at what time. An attestation does not validate a claim by itself.

Schemas and fixtures

decision-response.v0.json — the /v1/decisions response shape
fixtures/manifest.json — source commit and per-file SHA-256
request-binding.v1.json, context-snapshot.v1.json, gate-verdict.v1.json

Executable checks

npm test     # TypeScript port of the three Python verifiers + gate semantics
# in crossing-graph-design:
python scripts/verify_request_binding_v1.py
.venv-conformance\Scripts\python scripts/verify_context_snapshot_v1.py
.venv-conformance\Scripts\python scripts/verify_gate_verdict_v1.py

GateVerdict’s reference decoder reports truncated input as a Python IndexError. The TypeScript port names it UnexpectedEof. No vector exercises this path.