[noahgift]

ont-delta: type study (the first entity type whose OWN properties are focus predicates)

Closes #3529. Both defects were measured and reported by the apex session (paiml/apex, APEX-001 EV-19/EV-21) against pv 0.68.1, with file and stderr; both blocked a real corpus. Spec: paiml/infra docs/specifications/paiml-ontology.md §3.6, §3.7, §4.1, §4.2.

1. One binary, two subcommands, opposite verdicts on the same bytes. pv validate REQUIRES metadata.{version, description} on a contract. contracts/ontology.yaml IS a contract. The Σ schema is deny_unknown_fields, so it refused the block: apex measured pv validate rc 0 and pv lint --gate sigma exit 3 over the same file (unknown field `metadata` … at line 26), and a corpus that keeps ONE Σ for both readers (EV-19 decision A) could not satisfy them at once.

Σ now carries metadata as opaque YAML: no Σ rule reads a field of it, and it joins READABLE_KEYS so readers: must still claim it. The anti-decoration rule is answered, not weakened — "the contract schema reads it, not Σ" — and a test drops the readers entry to show the exit 3 comes back naming the key.

2. A shape over entity.properties had no predicate to constrain. extract:pv-contract emitted ont:entityType / ont:entityRef and nothing else, so a contract carrying the properties of the thing it is a contract for — apex's nine researcher degrees of freedom, which live in the contract because the contract IS the pre-registration and EV-6 hashes it — had every minCount: 1 fire for the wrong reason: a shape failing because the extractor was silent, the vacuity R-2 exists to end.

entity.properties.<k>: <scalar> now becomes <entityType>:<k> on the contract node (study:scale "linear"). Three rules, each with a test:

• the namespace is the entity type, never ont: — two types may both carry a scale, and one predicate for both would let a shape over one constrain the other;
• no entity.type → no property triples: there is no namespace, and inventing one is an inference;
• nested mappings and sequences are not emitted at v1alpha1: the subset has no path expressions, so a predicate no shape could reach is decoration.

The fixtures are apex's own falsifiers (EV-21 FALSIFY-ONT-021/021b), run through the CLI, with the shape header apex will write (targetClass: ont:Contract, closed: true, ignoredProperties: for the contract's own keys):

fixture	verdict
entity-props-ok	Pass — a build that emits no property triples fails it on minCount
entity-props-bad-value	Fail (in): ont:study/scale: quadratic is not one of ["linear", …]
entity-props-undeclared-key	Fail (closed): carries ont:study/subgroup, which the closed shape does not declare

Also: a lexical violation now names its path in the message, not only in the result's path field — in, pattern, minLength, maxLength. A shape with nine properties used to produce nine lines a reader could not tell apart.

Measured on this tree: pv lint contracts --gate sigma Pass, --gate shapes Pass (1731 focus nodes), pv extract contracts --check 0, aprender-contracts lib 1614/1614, ont_entity_properties 6/6, ont2b_sigma_gate 11/11, ont4_relations_gate 11/11, ont4b_shapes_gate 8/8, clippy -D warnings clean, cargo fmt clean.

R-23:

aprender: cmd="pv lint contracts --gate shapes --format json" pv=<this head> exit=0 verdict="Pass — 1 armed shape, 1731 focus nodes, 0 violations, plant fired"
rmedia:   cmd="pv lint crates/rmedia-core/contracts --gate shapes --format json" pv=<this head> exit=2 verdict="decline: NoShapes on origin/main 9e90468 — Σ and the first shape are on rmedia#559"

Independent of #3516 / #3526 / #3528: it touches ontology/sigma.rs, ontology/extract/pv_contract.rs and the lexical messages only.

🤖 Generated with Claude Code

[noahgift]

quorum-review (AD-04): NOT agreed (auto_merge: checked=true was_armed=false disarmed=false)

{
 "ticket": "PMAT-3529",
 "head": "7a77ff147eac8ac670bc5efd3917d6d099af132a",
 "width": 3,
 "executor": "agy",
 "agreed": false,
 "auto_merge": {
  "checked": true,
  "was_armed": false,
  "disarmed": false,
  "note": "auto-merge not armed"
 },
 "lanes": [
  {
   "lane": 1,
   "verdict": "FAIL",
   "findings": 2
  },
  {
   "lane": 2,
   "verdict": "PASS",
   "findings": 3
  },
  {
   "lane": 3,
   "verdict": "PASS",
   "findings": 0
  }
 ]
}

[github-actions]

§13.11 rung 1 — quorum shadow verdict

S13-SHADOW pr=3530 head=f69f7514f1b9c1133b2e73db4fefd4c3e6e887f3 verdict=REFUSE class=Q1 arm_rc=1

Shadow mode: this records a verdict and merges nothing. A refusal
to arm is not a block (§13 adds zero rows to §7) — the pull request is
exactly as green as it was.

[noahgift]

quorum-review (AD-04): NOT agreed (auto_merge: checked=true was_armed=false disarmed=false)

{
 "ticket": "PMAT-3529",
 "head": "ce899dddcd894cfd1fdf76cb6b6d7d2d88e59b6b",
 "width": 3,
 "executor": "agy",
 "agreed": false,
 "auto_merge": {
  "checked": true,
  "was_armed": false,
  "disarmed": false,
  "note": "auto-merge not armed"
 },
 "lanes": [
  {
   "lane": 1,
   "verdict": "FAIL",
   "findings": 2
  },
  {
   "lane": 2,
   "verdict": "PASS",
   "findings": 0
  },
  {
   "lane": 3,
   "verdict": "PASS",
   "findings": 0
  }
 ]
}

[noahgift]

quorum-review (AD-04): NOT agreed (auto_merge: checked=true was_armed=false disarmed=false)

{
 "ticket": "PMAT-3529",
 "head": "d43d315c2ed7b630115e2a33e6d7c00cc553dd68",
 "width": 3,
 "executor": "agy",
 "agreed": false,
 "auto_merge": {
  "checked": true,
  "was_armed": false,
  "disarmed": false,
  "note": "auto-merge not armed"
 },
 "lanes": [
  {
   "lane": 1,
   "verdict": "PASS",
   "findings": 4
  },
  {
   "lane": 2,
   "verdict": "FAIL",
   "findings": 2
  },
  {
   "lane": 3,
   "verdict": "PASS",
   "findings": 2
  }
 ]
}

[noahgift]

quorum-review (AD-04): three PASS — agreed (auto_merge: checked=true was_armed=false disarmed=false)

{
 "ticket": "PMAT-3529",
 "head": "0b24cf2ba825b305b5db2893c49ed4d80c41c8a9",
 "width": 3,
 "executor": "agy",
 "agreed": true,
 "auto_merge": {
  "checked": true,
  "was_armed": false,
  "disarmed": false,
  "note": "auto-merge not armed"
 },
 "lanes": [
  {
   "lane": 1,
   "verdict": "PASS",
   "findings": 5
  },
  {
   "lane": 2,
   "verdict": "PASS",
   "findings": 0
  },
  {
   "lane": 3,
   "verdict": "PASS",
   "findings": 0
  }
 ]
}

[noahgift]

quorum-review (AD-04): three PASS — agreed (auto_merge: checked=true was_armed=true disarmed=true)

{
 "ticket": "PMAT-3529",
 "head": "e1b93b8c2bf42ea5fe3a800fed7ca3b943bf09da",
 "width": 3,
 "executor": "agy",
 "agreed": true,
 "auto_merge": {
  "checked": true,
  "was_armed": true,
  "disarmed": true,
  "note": "auto-merge was armed from an earlier round; disarmed before lanes launched"
 },
 "lanes": [
  {
   "lane": 1,
   "verdict": "PASS",
   "findings": 5
  },
  {
   "lane": 2,
   "verdict": "PASS",
   "findings": 5
  },
  {
   "lane": 3,
   "verdict": "PASS",
   "findings": 0
  }
 ]
}