24. Machine contracts, standards profiles, security, conformance, and governance
Universality depends on a small kernel and strict extension rules. Standards are pinned profiles and adapters, not the root ontology. The compact JSON wire form is checked structurally, expanded through immutable semantic contexts, validated across graph…
Universality depends on a small kernel and strict extension rules. Standards are pinned profiles and adapters, not the root ontology. The compact JSON wire form is checked structurally, expanded through immutable semantic contexts, validated across graph relationships, and then admitted to an append-only ledger. Unknown namespaced data must survive even when the current client cannot interpret it.
#24.1 Standards adoption profile
| Standard/profile | Bounded RTracer use |
|---|---|
| JSON Schema 2020-12 | Wire structure and payload validation; kernel objects closed, typed extension array open |
| JSON-LD 1.1 | Stable IRIs and semantic export using locally pinned context bytes/digests |
| SHACL | Cross-object cardinality, graph, temporal, type and pack constraints |
| SKOS / limited OWL | Vocabulary concepts, labels, hierarchy, mappings and design-time axioms; never authorization |
| PROV-O | Entities, activities, agents, derivation, revision, attribution and custody mappings |
| SOSA/SSN + OGC SensorThings | Observation/actuation semantics and geospatial IoT API adapters |
| QUDT / UCUM + uncertainty profile | Quantity kinds, dimensions, units and uncertainty exchange |
| COVESA VSS; ASAM MDF/ODS/OpenODD | Road signals, measurement/test data and road ODD adapters |
| GS1 EPCIS | Supply, lot, aggregation, transformation, custody and traceability event mapping |
| ODRL / Verifiable Credentials | Rights-expression and signed-assertion exchange; internal grants remain stricter |
| C2PA | Media provenance, edit lineage and synthetic-disclosure signals; no automatic truth claim |
| CloudEvents / OpenAPI / OpenTelemetry | Transport, HTTP contract and platform observability; none replaces domain history |
| RFC 3339 / JCS profile | Timestamp representation and deterministic canonical JSON hashing/signing |
| UNECE R155/R156 / firmware-update profiles | Cybersecurity and software-update-management adapters for applicable road vehicles |
| EU battery passport | Individual battery identity, use/state/repurpose history, access control and interoperable passport adapter |
Pin, do not follow latest
Every schema, context, shape, ontology, vocabulary and standard mapping is stored by exact version and digest. Production validation never fetches remote contexts or schema references. A moving URL cannot silently change the meaning of historical records.#24.2 Canonical v1 contract families
- core.entity-root/v1; core.record-envelope/v1; core.temporal-extent/v1
- identity.identifier-assertion/v1; identity.continuity-decision/v1; identity.conflict-set/v1
- claims.claim/v1; claims.appraisal/v1; evidence.artifact/v1; evidence.custody-event/v1
- configuration.snapshot/v1; configuration.operational-state/v1; systems.graph/v1; systems.connection/v1
- capability.realization/v1; control.authority-assignment/v1; control.handover/v1
- operation.mission/v1; operation.session/v1; operation.segment/v1
- lifecycle.task-definition/v1; lifecycle.task-execution/v1; lifecycle.modification/v1; lifecycle.finding/v1
- measurement.quantity/v1; measurement.test-run/v1; telemetry.segment-manifest/v1
- rights.grant/v1; action.proposal/v1; action.receipt/v1; social.vehicle-agent/v1
- commerce.appraisal/v1; commerce.listing/v1; commerce.offer/v1; commerce.bid/v1; commerce.auction/v1; commerce.transaction/v1
- registry.provider-assertion/v1; vocabulary.term/v1; schema.definition/v1; extension.domain-pack/v1
#24.3 Three validation representations
| Layer | Purpose | Hard rules |
|---|---|---|
| A - JSON Schema | Validate compact wire object | Reject duplicate keys, NaN/infinity/negative zero, unbounded depth/arrays, unknown kernel keys and untrusted refs |
| B - JSON-LD | Expand namespaced semantics | Pinned local context only; digest verified; no network fetch or context substitution |
| C - SHACL / graph rules | Validate relationships and packs | Cardinality, subject/object types, graph cycles, time/effectivity, port compatibility, authority prerequisites and pack dependencies |
| D - policy engine | Decide audience/action permission | Current grant, purpose, privacy, jurisdiction, budget/rate, revocation and no ontology-inferred authority |
JSON numeric values are unsuitable where exact decimals matter. Preserve exact lexical decimal strings and validate their grammar. Canonicalization rejects ambiguous representations before hashing. Extensions use {namespace, schemaRef, payload, originalDigest}; arbitrary extra fields are not the extension mechanism.
#24.4 DomainPack manifest
Signed domain-pack manifest
{
"packId": "rtracer.domain.aerostat",
"version": "1.2.0",
"coreCompatibility": ">=1.0 <2.0",
"dependencies": [{"packId": "rtracer.domain.air", "version": "2.1.0"}],
"vocabularies": ["sha256:..."],
"schemas": ["sha256:..."],
"contexts": ["sha256:..."],
"shapes": ["sha256:..."],
"mappings": ["sha256:..."],
"migrations": ["sha256:..."],
"fixtures": ["sha256:..."],
"privacyProfile": "rtracer.privacy.vehicle/v1",
"license": "SPDX-expression-or-private-policy-ref",
"publisherRef": "party:rtracer-pack-council",
"manifestDigest": "sha256:...",
"signatureRef": "proof:..."
}- Packs can add namespaced terms, schemas, constraints, forms, projections and adapters; they cannot redefine identity, time, evidence, rights or append-only semantics.
- Dependencies are deterministic, acyclic and locked per configuration/export. Conflicts fail explicitly.
- Manufacturer, club, regulator and tenant packs may remain private while mapping to shared concepts.
- Bridge packs compose road+marine, air+space, RC+competition or mobile-base+tool semantics without copying either parent.
- Unknown pack payloads and terms must round-trip byte-for-byte with their schema/digest metadata.
#24.5 API surface and write discipline
| Surface | Contract |
|---|---|
| POST /records | Append typed record with mandatory Idempotency-Key; same key/different bytes is equivocation |
| GET /entities/{id}/timeline | Bitemporal validAt/knownAt history with policy-filtered claims and conflicts |
| GET /configurations/{id} | Immutable graph, pack lock, digest and predecessor/diff |
| GET /entities/{id}/graphs | Typed system/relationship traversal by kind, configuration and as-of time |
| POST /identity-resolution/candidates | Candidate set and evidence; never an automatic merge |
| POST /actions/proposals | Create inert proposal; policy evaluation and confirmation are separate |
| POST /actions/{id}/authorizations | Append scoped grant/approval evaluation |
| POST /actions/{id}/receipts | Append execution and outcome evidence |
| POST /imports and /exports | Preserve source artifact, license, mappings, loss manifest, pack lock and receipt |
| GET /schemas, /vocabularies, /packs | Content-addressed registry retrieval without runtime remote resolution |
| GET /event-stream | Policy-filtered events; transport envelope never replaces canonical record |
#24.6 Security threat model
| Threat | Required control |
|---|---|
| VIN/serial/MAC cloning | Opaque root identity; identifier conflicts; never authenticate or merge from an external identifier |
| Telemetry spoof/replay | Device identity, producer sequence, nonce/window, digest, calibration, clock quality and anomaly appraisal |
| Social agent reaches controls | Separate networks, credentials, API namespaces and grants; physical-control grant null by construction |
| Prompt injection in uploads | All external text/media/telemetry inert; fixed skills; no command execution from content |
| Malicious domain pack | Signed digest, namespace isolation, local review, constrained validators, dependency and fixture checks |
| Schema/context SSRF | Offline pinned registries; remote resolution disabled; size and recursion limits |
| Canonicalization ambiguity | Reject duplicate keys, invalid Unicode/numbers and representation equivocation before signing |
| Ledger/idempotency equivocation | Same ID/key with different canonical bytes quarantined and alerted |
| Cross-tenant/location inference | Field/edge policy, delay/coarsening, non-leaking errors and aggregation review |
| Privilege persists after transfer | Epoch-based grants revoked/reissued on ownership, custody, team or persona change |
| Maintenance/odometer fraud | Conflicting claims retained, source/custody evidence, meter lineage and appraisal policy |
| Auction manipulation | Immutable bids, trusted time, eligibility, anti-sybil/rate controls and settlement receipts |
| Synthetic-media laundering | Truth-lane enforcement, edit lineage, content credentials where available and disclosure |
| Parser/archive/telemetry DoS | Byte/depth/count/decompression limits, quotas and separate high-volume ingestion |
| Update/supply-chain attack | Signed artifact, build/dependency provenance, target compatibility, secure activation and rollback |
| Confidential data in logs | Opaque IDs, structured redaction, no VIN/name/location/prompt/telemetry labels |
#24.7 Cumulative conformance levels
| Level | Capability | Exit proof |
|---|---|---|
| L0 Preserve | Store/export unknown signed records and namespaced extensions | Byte/semantic round trip with no coercion |
| L1 Kernel | Entity, record, bitemporal claims, evidence, identifiers and deterministic replay | Conflict and correction fixtures pass |
| L2 Lifecycle | Configuration, components, graphs, maintenance, modification, continuity and role relationships | As-operated history reconstructs |
| L3 Measurement | Quantities, uncertainty, calibration, telemetry manifests, time sync and test evidence | Raw-to-derived lineage reproduces |
| L4 Governed agent | Privacy projections, persona, grounded content, grants and receipts | No unsupported factual post or physical path |
| L5 Market/registry | Appraisal, listing, offers, bids, auction, transaction and licensed adapters | Authority, eligibility and settlement fixtures pass |
Conformance is cumulative; domain-pack badges are orthogonal, such as L3 + marine, L4 + RC/model or L5 + EU-road. Physical-control safety certification is never implied by an RTracer level.
#24.8 Migration and release protocol
- Publish the immutable target schema, context, shapes, vocabulary and pack manifest with digests/signatures.
- Classify compatibility and publish deterministic upcaster, optional downcaster and explicit information-loss manifest.
- Run positive, negative, adversarial, round-trip and corpus fixtures; lock migration implementation digest.
- Deploy read-time adapters and build a shadow projection from original records.
- Compare old/new projections, conflicts, privacy and performance; resolve divergence before new writes.
- Activate the new write version while retaining old readers for the declared support window.
- Issue migration receipts; never rewrite original record bytes or silently relabel historical terms.
- Deprecate identifiers with replacement mappings; keep retired definitions resolvable forever.
#24.9 Operational observability
| Area | Metrics / alerts |
|---|---|
| Ingestion | latency, schema/shape failures, missing refs, digest/signature failures, idempotency conflicts and quarantine |
| Semantics | unknown terms, mapping loss, conflict-set growth, pack resolution and projection divergence |
| Telemetry/evidence | dropout, clock drift, chunk collision, artifact digest failure, calibration expiry and storage loss |
| Privacy/rights | permission denials, redaction failures, location-policy tests, expired grants and transfer revocation |
| Agent | source coverage, creative disclosure, human edit/approval, correction rate and proposal-to-receipt completion |
| Market | bid rejection, eligibility, close-time, reserve, settlement mismatch, refunds and disputes |
| Migration | shadow mismatch, up/downcast loss, replay determinism and unknown-extension round trip |
#24.10 Explicit non-goals
- one final taxonomy or inheritance tree for every vehicle
- replacement of government registries, licensed history providers, certification bodies or legal title systems
- automatic truth from signatures, confidence, popularity, AI output or a single provider
- identity inference from VIN, serial, MAC, token, plate or image similarity alone
- real-time safety-critical control bus or cross-domain autonomy certification
- raw telemetry in the semantic graph or precise public location by default
- automatic transfer of persona, voice, followers, private data, franchise, media or sale authority with ownership
- ontology inference as authorization or arbitrary tool execution from persona-generated text
- blockchain, token or decentralized-ID dependency in the kernel
- guaranteed lossless mapping of every proprietary, local or future scheme
- treating people or animals as components, property or unconsented telemetry payloads