psyclaw 0.27.22 → 0.28.0

package/vendor/ars/shared/contracts/passport/citation_provenance.schema.json

@@ -0,0 +1,107 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://github.com/Imbad0202/academic-research-skills/shared/contracts/passport/citation_provenance.schema.json",
+  "title": "Material Passport Citation Provenance (phase2_investigation/citation_provenance.yaml)",
+  "description": "Aggregate schema for first-party citation verification results. Per spec §3.4. NOT added to literature_corpus_entry.schema.json (closed contract).",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["schema_version", "audit_run_id", "entries"],
+  "properties": {
+    "schema_version": { "const": "1.0", "description": "Schema-internal version. v3.9.4 ships 1.0." },
+    "audit_run_id": {
+      "type": "string",
+      "pattern": "^[0-9]{4}-[0-9]{2}-[0-9]{2}T[0-9]{2}:[0-9]{2}:[0-9]{2}Z-[0-9a-f]{4}$",
+      "description": "ISO-8601 UTC timestamp + 4-hex suffix; joins to temporal_audit_results.audit_run_id for per-run pairing."
+    },
+    "entries": {
+      "type": "array",
+      "description": "Per-citation first-party verification entries. Each entry joins to literature_corpus[] via citation_key. Per spec §3.4.",
+      "items": { "$ref": "#/$defs/citation_provenance_entry" }
+    }
+  },
+  "$defs": {
+    "citation_provenance_entry": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["citation_key", "verification_method", "confidence"],
+      "properties": {
+        "citation_key": { "type": "string", "pattern": "^[A-Za-z][A-Za-z0-9_:-]*$", "description": "Joins to literature_corpus_entry.citation_key." },
+        "crossref_issued": {
+          "description": "Crossref API issued-date lookup result. Null when no DOI in corpus entry OR Crossref outage.",
+          "oneOf": [
+            { "type": "null" },
+            {
+              "type": "object",
+              "additionalProperties": false,
+              "required": ["value", "precision", "verified_at", "api_endpoint"],
+              "properties": {
+                "value": { "type": "string" },
+                "precision": { "enum": ["day", "month", "year"] },
+                "verified_at": { "type": "string", "format": "date-time" },
+                "api_endpoint": { "type": "string", "format": "uri" }
+              }
+            }
+          ]
+        },
+        "pdftotext_cover_first_line": {
+          "description": "pdftotext cover-page first-line scan result. Null when no local PDF in source_pointer.",
+          "oneOf": [
+            { "type": "null" },
+            {
+              "type": "object",
+              "additionalProperties": false,
+              "required": ["line", "verified_at", "pdf_path"],
+              "properties": {
+                "line": { "type": "string" },
+                "published_date_candidate": {
+                  "oneOf": [
+                    { "type": "null" },
+                    {
+                      "type": "object",
+                      "additionalProperties": false,
+                      "required": ["value", "precision"],
+                      "properties": {
+                        "value": { "type": "string" },
+                        "precision": { "enum": ["day", "month", "year"] }
+                      }
+                    }
+                  ]
+                },
+                "verified_at": { "type": "string", "format": "date-time" },
+                "pdf_path": { "type": "string" }
+              }
+            }
+          ]
+        },
+        "verification_method": {
+          "enum": ["crossref_and_pdftotext", "crossref_only", "pdftotext_only", "none"],
+          "description": "Closed enum; matches spec §3.4 verification_method values."
+        },
+        "confidence": {
+          "enum": ["high", "medium", "low", "conflict"],
+          "description": "Closed enum per spec §3.4 agreement table. high requires both sources; medium = single source agrees; low = no first-party verification; conflict = Crossref/pdftotext year disagree."
+        },
+        "notes": {
+          "type": ["string", "null"],
+          "description": "Free-form notes (e.g., 'crossref_outage'). Null when no notes."
+        }
+      },
+      "allOf": [
+        {
+          "description": "confidence:high requires both crossref_issued AND pdftotext_cover_first_line PRESENT and non-null (spec §3.4 agreement table row 1). v3.9.4.1 hotfix: also require the properties so absent ones don't bypass the non-null check.",
+          "if": {
+            "properties": { "confidence": { "const": "high" } },
+            "required": ["confidence"]
+          },
+          "then": {
+            "required": ["crossref_issued", "pdftotext_cover_first_line"],
+            "properties": {
+              "crossref_issued": { "not": { "type": "null" } },
+              "pdftotext_cover_first_line": { "not": { "type": "null" } }
+            }
+          }
+        }
+      ]
+    }
+  }
+}

package/vendor/ars/shared/contracts/passport/citation_verification_summary.schema.json

@@ -0,0 +1,164 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://github.com/Imbad0202/academic-research-skills/shared/contracts/passport/citation_verification_summary.schema.json",
+  "title": "Citation Verification Summary Entry",
+  "description": "v3.11 #182 Delta 4 derived-view aggregate: one entry per (citation_key, ref_slug) pair, joining the v3.7.3 anchor signal, the v3.9.0/v3.11 triangulation unmatched signals, and the v3.8 audit verdicts into a single 'is this citation verified' view. The read interface for the §3.6 verification_gate contract (#183) and the #184 eval harness. Detection is unconditional (the aggregate is always populated so the signal is always visible, C-V6(e)); only the terminality is policy-gated by terminal_policies.citation_existence (Delta 3 / C-V6, a later batch). lookup_verified uses the v3.11 narrowed-false definition (C-V6(a)): false requires at least one ID-keyed unmatched, never a title-only unmatched. Spec docs/design/2026-05-21-v3.10-182-promote-citation-gate-spec.md §2 Delta 4 + §0(4a) + C-V6(a).",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "citation_key",
+    "ref_slug",
+    "lookup_verified",
+    "anchor_present",
+    "verification_timestamp",
+    "resolver_outcomes"
+  ],
+  "properties": {
+    "citation_key": {
+      "type": "string",
+      "description": "Joins to literature_corpus_entry.citation_key."
+    },
+    "ref_slug": {
+      "type": "string",
+      "description": "Joins to the <!--ref:slug--> markers used in writer prose."
+    },
+    "lookup_verified": {
+      "type": "string",
+      "enum": [
+        "true",
+        "false",
+        "unresolvable"
+      ],
+      "description": "3-class existence verdict (a STRING enum, never a JSON boolean). `true` iff >=1 applicable resolver returned status=matched (matched WINS). `false` (v3.11 narrowed, C-V6(a)) iff no applicable resolver is matched AND >=1 applicable resolver is an ID-keyed unmatched (status=unmatched with queried_by=id, i.e. a DOI/arXiv ID that provably fails to resolve = fabrication evidence). `unresolvable` otherwise: every applicable resolver unreachable (total outage), OR every resolver skipped (manual-entry exempt, empty adjudicating set), OR the only negative signals are title-only unmatched (queried_by=title, no resolvable identifier to key on = coverage gap, NOT fabrication). `skipped` outcomes are excluded from classification (applicability/policy, not adjudication). Anti-fabrication bias: a bogus-DOI citation with 3 ID-keyed unmatched + 1 unreachable is `false`, not `unresolvable` (one transient outage does not cancel positive non-existence evidence). The reducer in scripts/citation_verification_summary.py is the single source of truth."
+    },
+    "anchor_present": {
+      "type": "boolean",
+      "description": "True iff the citation's v3.7.3 anchor marker has kind in {quote, page, section, paragraph} (not none). Read by the #183 epistemic-status gate to know whether the row is anchorless."
+    },
+    "verification_timestamp": {
+      "type": "string",
+      "format": "date-time",
+      "description": "ISO-8601 UTC. When >=1 resolver ran, the latest resolver timestamp; when all resolvers were skipped (manual entry) or all unreachable (outage), the attempt timestamp (when the summary was generated). Never null."
+    },
+    "resolver_outcomes": {
+      "type": "object",
+      "additionalProperties": false,
+      "description": "Exactly four fields, one per resolver — ALL required (the summary contract is fully-populated; a resolver that did not run carries status=skipped, never an absent key, so a consumer never disambiguates 'absent' from 'skipped'). status is one-of (mutually exclusive). queried_by records what the resolver ACTUALLY queried by (v3.11 #182 Delta 4 / C-V6(a)): the narrowed-false reducer treats an unmatched with queried_by=id as fabrication evidence and queried_by=title as a coverage gap. Downstream consumers needing to distinguish manual exemption from total outage read status directly.",
+      "required": [
+        "crossref",
+        "openalex",
+        "semantic_scholar",
+        "arxiv"
+      ],
+      "properties": {
+        "crossref": {
+          "$ref": "#/$defs/resolver_outcome"
+        },
+        "openalex": {
+          "$ref": "#/$defs/resolver_outcome"
+        },
+        "semantic_scholar": {
+          "$ref": "#/$defs/resolver_outcome"
+        },
+        "arxiv": {
+          "$ref": "#/$defs/resolver_outcome"
+        }
+      }
+    },
+    "cache_age_days": {
+      "type": "number",
+      "minimum": 0,
+      "description": "#541 — citation-level age in days (rounded to 0.1) of the OLDEST live cache row for this citation across resolvers/query forms — deliberately conservative: an unexpired row for an obsolete query form can flag a citation whose latest verification is fresh (accepted advisory-direction false positive). Present only when at least one resolver outcome was served from cache. Never a gate input."
+    },
+    "cache_stale_advisory": {
+      "type": "boolean",
+      "description": "#541 — true when the emitted (rounded) cache_age_days exceeds ARS_CACHE_STALE_ADVISORY_DAYS (default 30; 0 disables). Advisory-only: surfaces as an ADV-CACHE row at the integrity checkpoint, never gates."
+    }
+  },
+  "$defs": {
+    "resolver_outcome": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "status",
+        "queried_by"
+      ],
+      "properties": {
+        "status": {
+          "type": "string",
+          "enum": [
+            "matched",
+            "unmatched",
+            "unreachable",
+            "skipped"
+          ],
+          "description": "matched = resolver returned a match. unmatched = resolver ran and returned no match. unreachable = API outage / timeout. skipped = resolver did not run (manual entry per v3.7.3 exemption, or arXiv resolver on a non-arXiv citation per Delta 1)."
+        },
+        "queried_by": {
+          "type": [
+            "string",
+            "null"
+          ],
+          "enum": [
+            "id",
+            "title",
+            null
+          ],
+          "description": "v3.11 #182 Delta 4 / C-V6(a): what the resolver actually queried by. REQUIRED (load-bearing for narrowed-false; an absent key would let an ambiguous unmatched silently reduce to unresolvable instead of false). `id` = an exact identifier (DOI or arXiv ID) lookup was attempted (so an `unmatched` here is ID-keyed = fabrication evidence). `title` = only a title search was possible (no resolvable identifier; an `unmatched` here is a coverage gap, reduces to unresolvable not false). `null` for skipped / pure-unreachable outcomes where no meaningful query completed. This reflects resolver EXECUTION, not entry shape (the entry having a DOI does not prove the DOI was queried — it may have been malformed/rejected)."
+        },
+        "response_summary": {
+          "type": [
+            "string",
+            "null"
+          ],
+          "description": "Optional human-readable summary of the resolver response (e.g. matched title, error class). Null when not captured."
+        }
+      },
+      "allOf": [
+        {
+          "description": "A ran resolver (matched / unmatched) always knows what it keyed on: queried_by MUST be id or title, never null. This closes the exact ambiguity the narrowed-false reducer can be fooled by (a null-keyed unmatched).",
+          "if": {
+            "properties": {
+              "status": {
+                "enum": [
+                  "matched",
+                  "unmatched"
+                ]
+              }
+            }
+          },
+          "then": {
+            "properties": {
+              "queried_by": {
+                "enum": [
+                  "id",
+                  "title"
+                ]
+              }
+            }
+          }
+        },
+        {
+          "description": "A resolver that did not complete a query (skipped / unreachable) MUST carry queried_by=null — there was no meaningful query to attribute.",
+          "if": {
+            "properties": {
+              "status": {
+                "enum": [
+                  "skipped",
+                  "unreachable"
+                ]
+              }
+            }
+          },
+          "then": {
+            "properties": {
+              "queried_by": {
+                "const": null
+              }
+            }
+          }
+        }
+      ]
+    }
+  }
+}

package/vendor/ars/shared/contracts/passport/claim_audit_result.schema.json

@@ -0,0 +1,124 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://github.com/Imbad0202/academic-research-skills/shared/contracts/passport/claim_audit_result.schema.json",
+  "title": "Material Passport Claim Audit Result Entry",
+  "description": "One entry in Material Passport Schema 9 claim_audit_results[] aggregate. Per-claim audit result emitted by claim_ref_alignment_audit_agent (v3.8.0) after the Cite-Time Provenance Finalizer pass at the Stage 4 -> Stage 5 boundary. Cross-field invariants INV-1..INV-19 are lint-enforced in scripts/check_claim_audit_consistency.py — JSON Schema cannot express the conditional matrix relating (judgment, audit_status, defect_stage, ref_retrieval_method). Three sibling entry-types ride in their own aggregates because they cannot satisfy the required-field shape of this schema: uncited_assertion (no ref_slug; §3.3), claim_drift (no judge invocation; §3.4), constraint_violation (uncited HIGH-WARN; §3.5). See docs/design/2026-05-15-issue-103-claim-alignment-audit-spec.md §3.1 + §5 for full rationale.",
+
+  "type": "object",
+  "additionalProperties": false,
+
+  "required": [
+    "claim_id",
+    "scoped_manifest_id",
+    "claim_text",
+    "ref_slug",
+    "anchor_kind",
+    "anchor_value",
+    "judgment",
+    "audit_status",
+    "defect_stage",
+    "rationale",
+    "judge_model",
+    "judge_run_at",
+    "ref_retrieval_method"
+  ],
+
+  "properties": {
+    "claim_id": {
+      "type": "string",
+      "pattern": "^C-[0-9]{3,}$",
+      "description": "Per-claim identifier scoped by scoped_manifest_id. The pair (scoped_manifest_id, claim_id) is the joinable key; bare claim_id alone collides across manifests in the same passport (M-INV-1 permits cross-manifest C-001 reuse)."
+    },
+    "scoped_manifest_id": {
+      "type": "string",
+      "pattern": "^M-[0-9]{4}-[0-9]{2}-[0-9]{2}T[0-9]{2}:[0-9]{2}:[0-9]{2}Z-[0-9a-f]{4}$",
+      "description": "Points to the owning claim_intent_manifest.manifest_id. INV-15 enforces cross-array integrity. MANIFEST-MISSING fallback uses the sentinel value M-0000-00-00T00:00:00Z-0000."
+    },
+    "claim_text": { "type": "string", "minLength": 1, "maxLength": 2000 },
+    "ref_slug": {
+      "type": "string",
+      "minLength": 1,
+      "description": "Slug from the v3.7.3 <!--ref:slug--> marker the audited citation carries. Uncited claims do NOT emit into this aggregate; they ride in uncited_assertions[] (§3.3) or constraint_violations[] (§3.5)."
+    },
+    "anchor_kind": {
+      "enum": ["quote", "page", "section", "paragraph", "none"],
+      "description": "Carried from the v3.7.3 <!--anchor:<kind>:<value>--> marker. anchor_kind=none triggers INV-6 (firm-rule defense-in-depth surface)."
+    },
+    "anchor_value": {
+      "type": "string",
+      "description": "URL-decoded anchor value. When anchor_kind=none, MUST be the empty sentinel string (INV-6). When anchor_kind != none, INV-16 forbids empty values after whitespace strip."
+    },
+    "judgment": {
+      "enum": ["SUPPORTED", "UNSUPPORTED", "AMBIGUOUS", "RETRIEVAL_FAILED"],
+      "description": "Judge verdict per the §4 step 5 prompt template. RETRIEVAL_FAILED is NOT a judge label — it is set when retrieval / anchorless / tool-failure prevents the judge from running (per error-handling §4 step 9)."
+    },
+    "audit_status": {
+      "enum": ["completed", "inconclusive"],
+      "description": "completed = judge ran (or RETRIEVAL_FAILED with deterministic verdict like retrieval_existence). inconclusive = judge could not run and no deterministic verdict was reached."
+    },
+    "defect_stage": {
+      "comment": "Three categories of finding are intentionally NOT defect_stages of claim_audit_result and use their own §3.3/§3.4/§3.5 entry-type schemas: (a) uncited_assertion findings — no ref_slug to evaluate, see uncited_assertion.schema.json (§3.3); (b) claim_intent drift findings — detected by manifest set-diff not by judge, see claim_drift.schema.json (§3.4) (drift never produces a claim_audit_result row because the judge is never invoked for these — the only signal is intended ≠ emitted manifest-set difference); (c) uncited constraint violations — claim has no ref_slug AND violates an MNC/NC rule, see constraint_violation.schema.json (§3.5) (HIGH-WARN gate-refuse but no ref to bind into a claim_audit_result row). 8 values listed below.",
+      "enum": [
+        "retrieval_existence",
+        "metadata",
+        "source_description",
+        "citation_anchor",
+        "synthesis_overclaim",
+        "negative_constraint_violation",
+        "not_applicable",
+        null
+      ]
+    },
+    "rationale": {
+      "type": "string",
+      "minLength": 1,
+      "maxLength": 2000,
+      "description": "One-sentence judge rationale, OR a fault-class-tagged audit-infrastructure failure string for ref_retrieval_method=audit_tool_failure (INV-14), OR the canonical 'v3.7.3 R-L3-1-A violation ...' prefix for anchor_kind=none (INV-6)."
+    },
+    "judge_model": { "type": "string", "minLength": 1 },
+    "judge_run_at": { "type": "string", "format": "date-time" },
+    "ref_retrieval_method": {
+      "enum": ["api", "manual_pdf", "failed", "not_attempted", "not_found", "audit_tool_failure"],
+      "description": "Retrieval pathway. failed = paywall (permanent license restriction, LOW-WARN). not_attempted = anchor=none short-circuit (INV-11). not_found = fabricated reference (INV-12, HIGH-WARN). audit_tool_failure = transient infrastructure outage (INV-14, MED-WARN). See §4 step 9 error handling for the failed/audit_tool_failure permanence discriminator."
+    },
+    "upstream_owner_agent": {
+      "enum": [
+        "synthesis_agent",
+        "draft_writer_agent",
+        "report_compiler_agent",
+        null
+      ],
+      "description": "Prose-producing agent that owns the audited claim. Mirrors emitted_by in claim_intent_manifest.schema.json; bibliography_agent is excluded (it never emits claim_audit_results[] entries)."
+    },
+    "violated_constraint_id": {
+      "type": ["string", "null"],
+      "pattern": "^(NC-C[0-9]{3,}-[0-9]+|MNC-[0-9]+)$",
+      "description": "Required when defect_stage=negative_constraint_violation (INV-7). Null otherwise. Canonical parse rule per INV-17: NC-C{n}-{m} encodes the parent claim_id digits as {n} (NO inner hyphen between C and {n})."
+    },
+    "upstream_dispute": {
+      "type": ["string", "null"],
+      "maxLength": 1000,
+      "description": "Free-form dispute log entry. INV-9: meaningful only when defect_stage is a substantive defect (not null, not not_applicable)."
+    },
+    "audit_run_id": {
+      "type": "string",
+      "pattern": "^[0-9]{4}-[0-9]{2}-[0-9]{2}T[0-9]{2}:[0-9]{2}:[0-9]{2}Z-[0-9a-f]{4}$",
+      "description": "Identifier for the audit run that produced this entry. Excluded from the cache key (see §4 step 3) so different audit runs over the same (claim, ref, anchor, source, constraint-set, judge_model) tuple share the cached verdict."
+    },
+    "sub_claim_breakdown": {
+      "type": "array",
+      "minItems": 2,
+      "description": "Per-sub-claim decomposition (issue #213). Present iff the judge emitted prompt-verdict PARTIAL: >=2 sub-claims with >=1 SUPPORTED and >=1 non-SUPPORTED, normalized to judgment=UNSUPPORTED + defect_stage=source_description. Its presence IS the machine-readable partial-support signal (consumers read this, not defect_stage). Absent on single-claim and fully-unsupported verdicts. The cross-field shape (true-partial + judgment + defect_stage pinning) is INV-19, lint-enforced in scripts/check_claim_audit_consistency.py.",
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": ["sub_claim_text", "sub_verdict"],
+        "properties": {
+          "sub_claim_text": { "type": "string", "minLength": 1, "maxLength": 1000 },
+          "sub_verdict": { "enum": ["SUPPORTED", "UNSUPPORTED", "AMBIGUOUS"] },
+          "evidence_pointer": { "type": ["string", "null"], "maxLength": 1000 }
+        }
+      }
+    }
+  }
+}

package/vendor/ars/shared/contracts/passport/claim_drift.schema.json

@@ -0,0 +1,58 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://github.com/Imbad0202/academic-research-skills/shared/contracts/passport/claim_drift.schema.json",
+  "title": "Material Passport Claim Drift Entry",
+  "description": "One entry in Material Passport Schema 9 claim_drifts[] aggregate. Per claim-intent-drift finding emitted by claim_ref_alignment_audit_agent §4 step 5 manifest set-diff. Rides in its own aggregate because claim-intent drift is detected by manifest set-diff (intended ≠ emitted), NOT by judge invocation — embedding drift findings as a defect_stage of claim_audit_result would force judgment=UNSUPPORTED to be recorded without the judge ever evaluating that claim, contaminating both the schema semantics and the calibration FNR/FPR metrics. Always LOW-WARN advisory at the finalizer (per D4-a — gate-refuse is reserved for explicit author negative constraints, not drift signals). Cross-field invariants D-INV-1..D-INV-4 are lint-enforced in scripts/check_claim_audit_consistency.py. See docs/design/2026-05-15-issue-103-claim-alignment-audit-spec.md §3.4.",
+
+  "type": "object",
+  "additionalProperties": false,
+
+  "required": [
+    "finding_id",
+    "drift_kind",
+    "claim_text",
+    "detected_at",
+    "rule_version"
+  ],
+
+  "properties": {
+    "finding_id": {
+      "type": "string",
+      "pattern": "^CD-[0-9]{3,}$",
+      "description": "Per-passport unique finding identifier for claim_drifts[]. D-INV-1 enforces uniqueness."
+    },
+    "drift_kind": {
+      "enum": ["EMITTED_NOT_INTENDED", "INTENDED_NOT_EMITTED"],
+      "description": "EMITTED_NOT_INTENDED: an emitted claim that was not in the manifest (the drafted prose introduced a claim the writer did not pre-commit to). INTENDED_NOT_EMITTED: a manifest claim that did not appear in the emitted prose (the writer dropped a pre-committed claim during drafting). Both are advisory — gate-refuse is reserved for negative_constraint_violation."
+    },
+    "claim_text": {
+      "type": "string",
+      "minLength": 1,
+      "maxLength": 2000,
+      "description": "For EMITTED_NOT_INTENDED, the emitted sentence; for INTENDED_NOT_EMITTED, the manifest claim_text."
+    },
+    "manifest_claim_id": {
+      "type": ["string", "null"],
+      "pattern": "^C-[0-9]{3,}$",
+      "description": "For INTENDED_NOT_EMITTED, the dropped manifest claim_id (REQUIRED, conditional on drift_kind — enforced by D-INV-2). For EMITTED_NOT_INTENDED, null (drifted claim has no manifest_claim_id since it was never in the manifest). When present, MUST be paired with scoped_manifest_id."
+    },
+    "scoped_manifest_id": {
+      "type": ["string", "null"],
+      "pattern": "^M-[0-9]{4}-[0-9]{2}-[0-9]{2}T[0-9]{2}:[0-9]{2}:[0-9]{2}Z-[0-9a-f]{4}$",
+      "description": "Points to the claim_intent_manifest.manifest_id owning the referenced manifest_claim_id. Required when drift_kind=INTENDED_NOT_EMITTED (paired with manifest_claim_id per D-INV-2 cross-array integrity, disambiguating C-001 collision across manifests). Null when drift_kind=EMITTED_NOT_INTENDED (the drifted claim has no manifest origin)."
+    },
+    "section_path": {
+      "type": ["string", "null"],
+      "minLength": 1,
+      "description": "For EMITTED_NOT_INTENDED, hierarchical path from document root to the section containing the drifted sentence (mirrors uncited_assertion.section_path). Null for INTENDED_NOT_EMITTED (dropped claim has no draft location)."
+    },
+    "detected_at": { "type": "string", "format": "date-time" },
+    "rule_version": {
+      "const": "D4-a-v1",
+      "description": "Frozen literal for the v3.8.0 release. D-INV-3 enforces equality. Future rule revisions bump the constant and require re-lint."
+    },
+    "upstream_owner_agent": {
+      "enum": ["synthesis_agent", "draft_writer_agent", "report_compiler_agent", null]
+    }
+  }
+}

package/vendor/ars/shared/contracts/passport/claim_intent_manifest.schema.json

@@ -0,0 +1,107 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://github.com/Imbad0202/academic-research-skills/shared/contracts/passport/claim_intent_manifest.schema.json",
+  "title": "Material Passport Claim Intent Manifest Entry",
+  "description": "One entry in Material Passport Schema 9 claim_intent_manifests[] aggregate. Emitted by synthesis_agent / draft_writer_agent / report_compiler_agent after paper-visible context loads but before prose generation, per the 'Claim Intent Manifest Emission (v3.8)' sibling section added to each writing-stage agent. Acts as the pre-commitment baseline for the manifest set-diff in claim_ref_alignment_audit_agent §4 step 5 (intended vs emitted vs supported claims). Cross-field invariants M-INV-1..M-INV-4 are lint-enforced in scripts/check_claim_audit_consistency.py. See docs/design/2026-05-15-issue-103-claim-alignment-audit-spec.md §3.2.",
+
+  "type": "object",
+  "additionalProperties": false,
+
+  "required": [
+    "manifest_version",
+    "manifest_id",
+    "emitted_by",
+    "emitted_at",
+    "claims",
+    "manifest_negative_constraints"
+  ],
+
+  "properties": {
+    "manifest_version": {
+      "const": "1.0",
+      "description": "Schema-internal version. v3.8.0 release ships 1.0. Future drafts bump this constant to drive an explicit migration."
+    },
+    "manifest_id": {
+      "type": "string",
+      "pattern": "^M-[0-9]{4}-[0-9]{2}-[0-9]{2}T[0-9]{2}:[0-9]{2}:[0-9]{2}Z-[0-9a-f]{4}$",
+      "description": "Discriminator scoping all claim_id values inside this manifest. Format: M-<ISO-8601-Z>-<4-hex>. Required because a single passport may contain multiple claim_intent_manifests[] entries (e.g., one from synthesis_agent and one from draft_writer_agent on the same run); bare C-001 alone would collide. The pair (manifest_id, claim_id) is the joinable key — see claim_audit_result.scoped_manifest_id + INV-15 / D-INV-2 cross-array integrity. M-INV-4 enforces uniqueness across all claim_intent_manifests[] entries in the same passport."
+    },
+    "emitted_by": {
+      "enum": ["synthesis_agent", "draft_writer_agent", "report_compiler_agent"],
+      "description": "The writing-stage agent that emitted this manifest. Bibliography / audit / orchestrator agents do NOT emit manifests — only the three prose-producing agents pre-commit to claim intent."
+    },
+    "emitted_at": { "type": "string", "format": "date-time" },
+    "session_id": {
+      "type": "string",
+      "description": "Optional opaque identifier for the dispatch run. Useful for cross-referencing with orchestrator logs; not part of the joinable key."
+    },
+    "claims": {
+      "type": "array",
+      "minItems": 1,
+      "description": "MUST list at least one substantive claim per R-CIM-A — an empty manifest is a degenerate pre-commitment that produces no drift signal (set-diff has nothing in Intended set) and silently defeats D6.",
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": ["claim_id", "claim_text", "intended_evidence_kind", "planned_refs"],
+        "properties": {
+          "claim_id": {
+            "type": "string",
+            "pattern": "^C-[0-9]{3,}$",
+            "description": "Per-manifest claim identifier. Unique within this manifest (M-INV-1); cross-manifest collisions are PERMITTED and disambiguated via the scoping pair (manifest_id, claim_id)."
+          },
+          "claim_text": { "type": "string", "minLength": 1, "maxLength": 2000 },
+          "intended_evidence_kind": {
+            "enum": ["empirical", "theoretical", "definitional", "normative"],
+            "description": "What kind of evidence the writer intends to back this claim with. Used by the audit agent's manifest cross-reference to discriminate drift from refinement."
+          },
+          "planned_refs": {
+            "type": "array",
+            "items": { "type": "string" },
+            "minItems": 0,
+            "description": "Ref slugs the writer intends to cite. Empty array MUST be permitted — definitional/normative claims may legitimately have no planned refs at manifest time."
+          },
+          "planned_experiment_ids": {
+            "type": "array",
+            "items": { "type": "string" },
+            "minItems": 1,
+            "uniqueItems": true,
+            "description": "Passport-local experiment_provenance[].experiment_id values the writer intends to support this claim with (#260, D1). OPTIONAL-ABSENT — present only on experiment-backed claims; literature-only / definitional / theoretical / normative claims omit it entirely (do NOT carry a meaningless empty array). minItems 1 because an empty array is meaningless — omit the field instead. EP-INV-2 enforces every value resolves to exactly one experiment_provenance[] entry (doubles as the rename + forward-reference dangling-pointer guard). EP-INV-3 enforces presence ⟹ this claim's intended_evidence_kind == 'empirical' (mixed literature+experiment allowed: a claim MAY carry BOTH planned_refs and planned_experiment_ids). A mixed-evidence claim is audited by both paths and combined worst-verdict-wins (D4)."
+          },
+          "negative_constraints": {
+            "type": "array",
+            "items": {
+              "type": "object",
+              "additionalProperties": false,
+              "required": ["constraint_id", "rule"],
+              "properties": {
+                "constraint_id": {
+                  "type": "string",
+                  "pattern": "^NC-C[0-9]{3,}-[0-9]+$",
+                  "description": "Claim-level negative constraint. Format NC-C{n}-{m} where {n} matches the parent claim_id digits (M-INV-2 + INV-17). NO inner hyphen between 'C' and '{n}' — the joinable key is the digit sequence after stripping the leading 'C'."
+                },
+                "rule": { "type": "string", "minLength": 1, "maxLength": 500 }
+              }
+            }
+          }
+        }
+      }
+    },
+    "manifest_negative_constraints": {
+      "type": "array",
+      "description": "Globally-scoped constraints. Apply to all claims in this manifest regardless of whether the claim entry redeclares them (M-INV-3 — claim-level can ADD, never DROP global).",
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": ["constraint_id", "rule"],
+        "properties": {
+          "constraint_id": {
+            "type": "string",
+            "pattern": "^MNC-[0-9]+$",
+            "description": "Manifest-level negative constraint. Format MNC-{m}. Globally applied; cannot be overridden by claim-level NC."
+          },
+          "rule": { "type": "string", "minLength": 1, "maxLength": 500 }
+        }
+      }
+    }
+  }
+}

package/vendor/ars/shared/contracts/passport/constraint_violation.schema.json

@@ -0,0 +1,65 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://github.com/Imbad0202/academic-research-skills/shared/contracts/passport/constraint_violation.schema.json",
+  "title": "Material Passport Constraint Violation Entry",
+  "description": "One entry in Material Passport Schema 9 constraint_violations[] aggregate. Per uncited claim that violates a manifest negative constraint, emitted by claim_ref_alignment_audit_agent §4 step 5 stream (d). Rides in its own aggregate because constraint violations on uncited claims are real HIGH-WARN gate-refuse blockers, but claim_audit_result.ref_slug is required and uncited_assertion is LOW-WARN advisory only — routing through uncited_assertions[] would silently downgrade a HIGH-WARN signal; routing through claim_audit_result would require a sentinel ref_slug. Drives the [HIGH-WARN-CONSTRAINT-VIOLATION-UNCITED ({violated_constraint_id})] formatter annotation; gate-refuse at the formatter hard gate alongside the other four HIGH-WARN classes. Cross-field invariants CV-INV-1..CV-INV-4 are lint-enforced in scripts/check_claim_audit_consistency.py. See docs/design/2026-05-15-issue-103-claim-alignment-audit-spec.md §3.5.",
+
+  "type": "object",
+  "additionalProperties": false,
+
+  "required": [
+    "finding_id",
+    "claim_text",
+    "section_path",
+    "violated_constraint_id",
+    "scoped_manifest_id",
+    "judge_verdict",
+    "rationale",
+    "judge_model",
+    "judge_run_at",
+    "rule_version"
+  ],
+
+  "properties": {
+    "finding_id": {
+      "type": "string",
+      "pattern": "^CV-[0-9]{3,}$",
+      "description": "Per-passport unique finding identifier for constraint_violations[]. CV-INV-1 enforces uniqueness."
+    },
+    "claim_text": { "type": "string", "minLength": 1, "maxLength": 2000 },
+    "section_path": {
+      "type": "string",
+      "minLength": 1,
+      "description": "Hierarchical path from document root to the section containing the offending sentence."
+    },
+    "violated_constraint_id": {
+      "type": "string",
+      "pattern": "^(NC-C[0-9]{3,}-[0-9]+|MNC-[0-9]+)$",
+      "description": "Identifier of the violated constraint. NC-C{n}-{m} = claim-level (per INV-17 canonical parse rule); MNC-{m} = manifest-level. CV-INV-2 enforces cross-array resolvability against the active manifest."
+    },
+    "scoped_manifest_id": {
+      "type": "string",
+      "pattern": "^M-[0-9]{4}-[0-9]{2}-[0-9]{2}T[0-9]{2}:[0-9]{2}:[0-9]{2}Z-[0-9a-f]{4}$",
+      "description": "Points to the claim_intent_manifest.manifest_id owning the violated constraint. Required (no MANIFEST-MISSING sentinel admitted — constraints require an active manifest to exist)."
+    },
+    "manifest_claim_id": {
+      "type": ["string", "null"],
+      "pattern": "^C-[0-9]{3,}$",
+      "description": "For NC-C{n}-{m} (claim-level constraint), the parent claim_id from the manifest. For MNC-{m} (global), null. CV-INV-3 enforces polarity match with the constraint id prefix."
+    },
+    "judge_verdict": {
+      "const": "VIOLATED",
+      "description": "Frozen literal: only VIOLATED outcomes from the §4 negative-constraint judge prompt emit an entry here. NOT_VIOLATED outcomes produce no entry."
+    },
+    "rationale": { "type": "string", "minLength": 1, "maxLength": 2000 },
+    "judge_model": { "type": "string", "minLength": 1 },
+    "judge_run_at": { "type": "string", "format": "date-time" },
+    "rule_version": {
+      "const": "D4-a-v1",
+      "description": "Frozen literal for the v3.8.0 release. Future rule revisions bump the constant and require re-lint."
+    },
+    "upstream_owner_agent": {
+      "enum": ["synthesis_agent", "draft_writer_agent", "report_compiler_agent", null]
+    }
+  }
+}