linkedparticles-core 1.151.18__tar.gz → 1.187.2__tar.gz

{linkedparticles_core-1.151.18 → linkedparticles_core-1.187.2}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.5
 Name: linkedparticles-core
-Version: 1.151.18
+Version: 1.187.2
 Summary: Store-free client library for Particles: define, validate, serialize, and extract provenance-tracked belief particles
 Project-URL: Homepage, https://linkedparticles.org
 Project-URL: Documentation, https://docs.linkedparticles.org
@@ -103,9 +103,9 @@ p = Particle(
     asserted_by="iau-2006",
 )
 
-validate_particle_dict(p.model_dump(mode="json"))   # []: valid against the normative JSON Schema
-unit = to_unit(p, [])                               # JSON-LD interchange unit
-from_unit(unit)                                     # …and back again
+validate_particle_dict(p.model_dump(mode="json"))  # []: valid against the normative JSON Schema
+unit = to_unit(p, [])  # JSON-LD interchange unit
+from_unit(unit)  # …and back again
 ```
 
 ```json

{linkedparticles_core-1.151.18 → linkedparticles_core-1.187.2}/README.md

@@ -51,9 +51,9 @@ p = Particle(
     asserted_by="iau-2006",
 )
 
-validate_particle_dict(p.model_dump(mode="json"))   # []: valid against the normative JSON Schema
-unit = to_unit(p, [])                               # JSON-LD interchange unit
-from_unit(unit)                                     # …and back again
+validate_particle_dict(p.model_dump(mode="json"))  # []: valid against the normative JSON Schema
+unit = to_unit(p, [])  # JSON-LD interchange unit
+from_unit(unit)  # …and back again
 ```
 
 ```json

{linkedparticles_core-1.151.18 → linkedparticles_core-1.187.2}/artifacts/conformance/README.md

@@ -65,11 +65,14 @@ its own types from them.
   `assertion_modality` (the §1.7 truth-apt gate; truth-apt iff `FALSIFIABLE`)
   and `uncertainty_nature` (the §1 `ALEATORY` exclusion) — plus the
   caller-resolved inputs (the replacement signal, the two supersession
-  directions, both trust scores, the differential threshold, and whether the
-  store has a single trust order). Omitted keys take the documented defaults.
+  directions, both trust scores, the differential threshold, whether the
+  store has a single trust order, and the rung 2.5 `update_order`). Omitted
+  keys take the documented defaults.
   Because the family is about *ordering*, the vectors deliberately set up rungs
   to compete: an `ALEATORY` pair with both a supersession edge and a decisive
-  trust gap must still come out `INCONSISTENT`.
+  trust gap must still come out `INCONSISTENT`. Rung 2.5 reads `ALEATORY` on
+  the newer claim only, the side the sign of `update_order` names:
+  the `cl-17` vectors pin all four arrangements.
 - `context_fingerprint` carries `(id, status)` rows rather than a bare id list,
   so all three steps are pinned: the ACTIVE-only filter (step 1), the
   lexicographic sort (step 2 — one vector supplies its ids out of order), and

{linkedparticles_core-1.151.18 → linkedparticles_core-1.187.2}/artifacts/conformance/profile.yaml

@@ -453,11 +453,41 @@ test_vectors:
       trust_score_new: 0.20
       update_order: 1
       expected: SUPERSEDED_BY_EXISTING
-    # rung 1 outranks 2.5: an ALEATORY pair is never retired by a timestamp.
+    # a settled report retires an earlier aleatory claim: rung 2.5
+    # reads ALEATORY on the newer claim only. Rungs 1.5 and 2 pick between
+    # sources and keep the exclusion on either side; a same-lineage update
+    # whose newer claim states the matter as settled is how aleatory
+    # uncertainty is resolved.
     - id: cl-17
       existing: { assertion_modality: FALSIFIABLE, uncertainty_nature: ALEATORY }
       new:      { assertion_modality: FALSIFIABLE, uncertainty_nature: EPISTEMIC }
       update_order: 1
+      expected: UPDATE_SUPERSEDES
+    # a newer ALEATORY claim (a forecast) never retires a settled one.
+    - id: cl-17b
+      existing: { assertion_modality: FALSIFIABLE, uncertainty_nature: EPISTEMIC }
+      new:      { assertion_modality: FALSIFIABLE, uncertainty_nature: ALEATORY }
+      update_order: 1
+      expected: INCONSISTENT
+    # two ALEATORY claims (a revised forecast, or a BOTH_VALID pair): nothing
+    # has been settled, so neither retires the other.
+    - id: cl-17c
+      existing: { assertion_modality: FALSIFIABLE, uncertainty_nature: ALEATORY }
+      new:      { assertion_modality: FALSIFIABLE, uncertainty_nature: ALEATORY }
+      update_order: 1
+      expected: INCONSISTENT
+    # "newer" follows the sign of update_order: an out-of-order ALEATORY new
+    # claim is the older one, and the settled existing claim retires it.
+    - id: cl-17d
+      existing: { assertion_modality: FALSIFIABLE, uncertainty_nature: EPISTEMIC }
+      new:      { assertion_modality: FALSIFIABLE, uncertainty_nature: ALEATORY }
+      update_order: -1
+      expected: UPDATE_SUPERSEDED_BY_EXISTING
+    # the -1 mirror of cl-17b: the newer side is the ALEATORY existing claim.
+    - id: cl-17e
+      existing: { assertion_modality: FALSIFIABLE, uncertainty_nature: ALEATORY }
+      new:      { assertion_modality: FALSIFIABLE, uncertainty_nature: EPISTEMIC }
+      update_order: -1
       expected: INCONSISTENT
     # the probe outranks 2.5: no contradiction, no supersession.
     - id: cl-18
@@ -472,6 +502,48 @@ test_vectors:
       new:      { assertion_modality: FALSIFIABLE, uncertainty_nature: EPISTEMIC }
       update_order: 1
       expected: CORROBORATES
+    # rung 2.5 rests on the same-slot check: with no contradiction
+    # signal, a settled same-slot update still resolves to the newer claim.
+    # Two claims giving one slot successive values can both be true at their
+    # own times, so the contradiction probe is not the test of an update.
+    - id: cl-20
+      existing: { assertion_modality: FALSIFIABLE, uncertainty_nature: EPISTEMIC }
+      new:      { assertion_modality: FALSIFIABLE, uncertainty_nature: EPISTEMIC }
+      has_contradiction_signal: false
+      update_order: 1
+      same_slot_update: true
+      expected: UPDATE_SUPERSEDES
+    # its mirror: an out-of-order (older) new claim is the one retired.
+    - id: cl-21
+      existing: { assertion_modality: FALSIFIABLE, uncertainty_nature: EPISTEMIC }
+      new:      { assertion_modality: FALSIFIABLE, uncertainty_nature: EPISTEMIC }
+      has_contradiction_signal: false
+      update_order: -1
+      same_slot_update: true
+      expected: UPDATE_SUPERSEDED_BY_EXISTING
+    # the ALEATORY condition reads the newer claim, as at rung 2.5.
+    - id: cl-22
+      existing: { assertion_modality: FALSIFIABLE, uncertainty_nature: EPISTEMIC }
+      new:      { assertion_modality: FALSIFIABLE, uncertainty_nature: ALEATORY }
+      has_contradiction_signal: false
+      update_order: 1
+      same_slot_update: true
+      expected: CORROBORATES
+    # the truth-apt gate outranks the update answer too.
+    - id: cl-23
+      existing: { assertion_modality: EVALUATIVE, uncertainty_nature: EPISTEMIC }
+      new:      { assertion_modality: FALSIFIABLE, uncertainty_nature: EPISTEMIC }
+      has_contradiction_signal: false
+      update_order: 1
+      same_slot_update: true
+      expected: CORROBORATES
+    # no lineage order, no update: the answer alone retires nothing.
+    - id: cl-24
+      existing: { assertion_modality: FALSIFIABLE, uncertainty_nature: EPISTEMIC }
+      new:      { assertion_modality: FALSIFIABLE, uncertainty_nature: EPISTEMIC }
+      has_contradiction_signal: false
+      same_slot_update: true
+      expected: CORROBORATES
 
   # --- §16.1 context fingerprint -----------------------------------
   # Procedure: (1) take every ACTIVE particle in the store, (2) sort the UUIDs

{linkedparticles_core-1.151.18 → linkedparticles_core-1.187.2}/artifacts/schemas/particle.schema.json

@@ -69,6 +69,7 @@
         "EXPLICIT_SUPERSESSION",
         "DOCUMENT_SUPERSEDED",
         "SUPERSEDED_BY_UPDATE",
+        "SUPERSEDED_BY_REANCHOR",
         "DUPLICATE_MERGED"
       ],
       "description": "Cause of the current non-ACTIVE status"

{linkedparticles_core-1.151.18 → linkedparticles_core-1.187.2}/artifacts/schemas/shacl/ParticleShape.ttl

@@ -87,8 +87,8 @@ particles:ParticleShape
                 "LOWER_TRUST_SOURCE" "SUPERSEDED_BY_REINDEX" "VALIDITY_EXPIRED"
                 "CONFLICT_RESOLVED" "CONFLICT_PENDING" "EXPLICIT_RETRACTION"
                 "SOURCE_RETRACTED" "EXPLICIT_SUPERSESSION" "DOCUMENT_SUPERSEDED"
-                "SUPERSEDED_BY_UPDATE" "DUPLICATE_MERGED" ) ;
-        sh:message "status_reason, when present, must be one of the fourteen StatusReason values." ;
+                "SUPERSEDED_BY_UPDATE" "SUPERSEDED_BY_REANCHOR" "DUPLICATE_MERGED" ) ;
+        sh:message "status_reason, when present, must be one of the fifteen StatusReason values." ;
     ] ;
 
     # particleType — optional; CLAIM default, REVIEW for review annotation

{linkedparticles_core-1.151.18 → linkedparticles_core-1.187.2}/artifacts/schemas/trust_lens.schema.json

@@ -2,8 +2,19 @@
   "$schema": "https://json-schema.org/draft/2020-12/schema",
   "$id": "https://linkedparticles.org/schemas/trust_lens.schema.json",
   "$defs": {
+    "AssertionModality": {
+      "description": "What *kind* of assertion a particle makes: the default for its adjudicability.\n\nOrthogonal to ``uncertainty_nature`` (which presupposes a fact of the\nmatter) and to scope (which lives in ``properties``). The write\npath arbitrates (the \u00a76.6 conflict ladder, L-SEM-01, L-IDX-01) only pairs\nof ``FALSIFIABLE`` particles (see :func:`is_truth_apt`); the other\nmodalities co-exist and are never contradiction-checked or\ntrust-arbitrated. The value is a regenerable default, not a property of\nthe claim: it is stamped with the classifier that set it, an operator may\ncorrect it, and a lens may read it differently at read time only.\nDefault ``FALSIFIABLE`` keeps every existing particle\nunchanged. Closed enum: adding a modality is an additive minor change.",
+      "enum": [
+        "FALSIFIABLE",
+        "EVALUATIVE",
+        "EXPERIENTIAL",
+        "CONSTITUTIVE"
+      ],
+      "title": "AssertionModality",
+      "type": "string"
+    },
     "TrustLensDecayRule": {
-      "description": "One portable content-age decay rule carried by a lens.\n\nSets the recency half-life / floor for content matching ``pattern`` — an\nexact ``source_type`` string (``scope=\"source_type\"``) or a trust-rule-style\nURL regex (``scope=\"url_pattern\"``, e.g. a per-subreddit half-life). Unlike\nthe URL *trust* rule's additive ``modifier``, a decay rule is an **absolute**\n``(half_life_days, floor)`` pair — half-life is not meaningfully additive.\nThe URL layer is more specific than the source_type layer (a per-subreddit\nrule overrides the source-type default in either direction); across adopted\nlenses the most-skeptical rule wins (shortest half-life / lowest floor).",
+      "description": "One portable content-age decay rule carried by a lens.\n\nSets the recency half-life / floor for content matching ``pattern`` \u2014 an\nexact ``source_type`` string (``scope=\"source_type\"``) or a trust-rule-style\nURL regex (``scope=\"url_pattern\"``, e.g. a per-subreddit half-life). Unlike\nthe URL *trust* rule's additive ``modifier``, a decay rule is an **absolute**\n``(half_life_days, floor)`` pair \u2014 half-life is not meaningfully additive.\nThe URL layer is more specific than the source_type layer (a per-subreddit\nrule overrides the source-type default in either direction); across adopted\nlenses the most-skeptical rule wins (shortest half-life / lowest floor).",
       "properties": {
         "scope": {
           "enum": [
@@ -39,8 +50,49 @@
       "title": "TrustLensDecayRule",
       "type": "object"
     },
+    "TrustLensModalityRule": {
+      "description": "One portable override of the adjudicability default carried by a lens.\n\n``assertion_modality`` is the extraction-time default for whether a claim\nmay be arbitrated against another; a lens may read it differently for its\nobserver. The rule applies to the claims ``scope`` + ``pattern`` select:\n\n- ``particle``: ``pattern`` is a particle id;\n- ``subject``: ``pattern`` is a subject id the claim is about;\n- ``url_pattern``: ``pattern`` is a regex searched in the claim's source\n  URIs (the trust-rule regex shape);\n- ``source_type``: ``pattern`` is an exact ``source_type`` string.\n\n``when``, if set, limits the rule to claims whose stored default is that\nmodality. Particle and subject ids are store-local: an interchange import\nmints fresh ids, so such a rule ports only to a faithful restore of its own\nstore, and elsewhere matches nothing, which leaves the stored default.\n\nRead-time only. A rule decides what renders contested and what the lint\nqueue names for the operator; it never reaches a write, ranking, or\n``effective_confidence``, and an operator verdict always wins over it.\nWithin one lens the most specific matching rule decides that lens's\nreading; across adopted lenses abstention (a non-``FALSIFIABLE`` reading)\nwins at any scope, so adopting a lens can only withdraw adjudication.",
+      "properties": {
+        "scope": {
+          "enum": [
+            "particle",
+            "subject",
+            "url_pattern",
+            "source_type"
+          ],
+          "title": "Scope",
+          "type": "string"
+        },
+        "pattern": {
+          "minLength": 1,
+          "title": "Pattern",
+          "type": "string"
+        },
+        "modality": {
+          "$ref": "#/$defs/AssertionModality"
+        },
+        "when": {
+          "anyOf": [
+            {
+              "$ref": "#/$defs/AssertionModality"
+            },
+            {
+              "type": "null"
+            }
+          ],
+          "default": null
+        }
+      },
+      "required": [
+        "scope",
+        "pattern",
+        "modality"
+      ],
+      "title": "TrustLensModalityRule",
+      "type": "object"
+    },
     "TrustLensStatement": {
-      "description": "One portable SOURCE_TYPE-scoped trust statement carried by a lens.\n\n``CORPUS_ENTRY``-scoped statements are excluded from lenses by design —\nthey key on store-local entry ids and are not portable.",
+      "description": "One portable SOURCE_TYPE-scoped trust statement carried by a lens.\n\n``CORPUS_ENTRY``-scoped statements are excluded from lenses by design \u2014\nthey key on store-local entry ids and are not portable.",
       "properties": {
         "domain": {
           "minLength": 1,
@@ -130,7 +182,7 @@
       "type": "object"
     },
     "TrustLensUtilityRule": {
-      "description": "One portable usefulness (outcome-learning) utility rule carried by a lens.\n\nWhere a ``decay_rule`` is the *judgment* half of content-age\ndecay, a ``utility_rule`` is the judgment half of **usefulness**: it sets\n*how far* demonstrated use may reorder the projection / digest head, and\n*how fast* unreinforced utility fades. The per-belief utility *evidence*\n(the mined reinforcement count) is store-local and lives outside the lens—\nthis rule carries only the tunables.\n\n- ``half_life_uses_days`` — days for a single utility event's weight to halve\n  (the reinforcement half-life; ``> 0``).\n- ``rank_lift`` — the ``λ`` in ``rank_score = effective_confidence\n  + λ·ln(1 + R)`` (``≥ 0``; ``0`` disables the lift). **Promotion-only** by\n  construction — the bonus is never negative, so lack of use withholds the\n  lift rather than demoting.\n\nThis single knob replaced the old ``weight`` / ``floor`` / ``cap`` triple\nwhen the bounded multiplier was superseded; a lens\npublished under the old vocabulary carries no ``rank_lift`` and is treated\nas silent about utility (the store's local ``utility`` config applies).\n\nAcross adopted lenses the most-skeptical rule wins — *less* promotion:\nshortest ``half_life_uses_days``, lowest ``rank_lift`` (symmetric with the\ndecay rule). ``scope=\"default\"`` is the\nstore-wide rule; ``source_type`` / ``url_pattern`` scopes mirror the decay\nladder for finer control.",
+      "description": "One portable usefulness (outcome-learning) utility rule carried by a lens.\n\nWhere a ``decay_rule`` is the *judgment* half of content-age\ndecay, a ``utility_rule`` is the judgment half of **usefulness**: it sets\n*how far* demonstrated use may reorder the projection / digest head, and\n*how fast* unreinforced utility fades. The per-belief utility *evidence*\n(the mined reinforcement count) is store-local and lives outside the lens\u2014\nthis rule carries only the tunables.\n\n- ``half_life_uses_days`` \u2014 days for a single utility event's weight to halve\n  (the reinforcement half-life; ``> 0``).\n- ``rank_lift`` \u2014 the ``\u03bb`` in ``rank_score = effective_confidence\n  + \u03bb\u00b7ln(1 + R)`` (``\u2265 0``; ``0`` disables the lift). **Promotion-only** by\n  construction \u2014 the bonus is never negative, so lack of use withholds the\n  lift rather than demoting.\n\nThis single knob replaced the old ``weight`` / ``floor`` / ``cap`` triple\nwhen the bounded multiplier was superseded; a lens\npublished under the old vocabulary carries no ``rank_lift`` and is treated\nas silent about utility (the store's local ``utility`` config applies).\n\nAcross adopted lenses the most-skeptical rule wins \u2014 *less* promotion:\nshortest ``half_life_uses_days``, lowest ``rank_lift`` (symmetric with the\ndecay rule). ``scope=\"default\"`` is the\nstore-wide rule; ``source_type`` / ``url_pattern`` scopes mirror the decay\nladder for finer control.",
       "properties": {
         "scope": {
           "default": "default",
@@ -173,7 +225,7 @@
       "type": "object"
     }
   },
-  "description": "A depositable corpus artefact bundling portable trust policy.\n\nA community publishes its view of which sources to trust by depositing a\nJSON file; the ``TrustLensExtractor`` materialises it into the\n``trust_lenses`` / ``trust_lens_entries`` tables. Viewers adopt lenses per\nstore; the query-time ``TrustPolicy`` composes the store's local\npolicy over adopted lenses, most-skeptical-wins. Adopting a lens can only\ndemote (ranks are in [0, 1] and silence stays neutral), never promote.\n\nA lens carries a fourth portable layer, ``decay_rules`` —\nper-observer content-age decay (recency half-life / floor), composed through\nthe query-time ``DecayPolicy`` the same most-skeptical-wins way as the trust\nlayers. A lens silent about decay leaves the store's global\n``content_age_decay`` config untouched.\n\nA lens also carries ``utility_rules`` — the usefulness\n(outcome-learning) judgment, composed through the query-time ``UtilityPolicy``\ninto an additive rank-lift on the projection / digest ranking path\nonly. A lens silent about utility leaves the store's local ``utility`` config\nuntouched; with no utility evidence the bonus is ``+0`` (cold-start).",
+  "description": "A depositable corpus artefact bundling portable trust policy.\n\nA community publishes its view of which sources to trust by depositing a\nJSON file; the ``TrustLensExtractor`` materialises it into the\n``trust_lenses`` / ``trust_lens_entries`` tables. Viewers adopt lenses per\nstore; the query-time ``TrustPolicy`` composes the store's local\npolicy over adopted lenses, most-skeptical-wins. Adopting a lens can only\ndemote (ranks are in [0, 1] and silence stays neutral), never promote.\n\nA lens carries a fourth portable layer, ``decay_rules`` \u2014\nper-observer content-age decay (recency half-life / floor), composed through\nthe query-time ``DecayPolicy`` the same most-skeptical-wins way as the trust\nlayers. A lens silent about decay leaves the store's global\n``content_age_decay`` config untouched.\n\nA lens also carries ``utility_rules`` \u2014 the usefulness\n(outcome-learning) judgment, composed through the query-time ``UtilityPolicy``\ninto an additive rank-lift on the projection / digest ranking path\nonly. A lens silent about utility leaves the store's local ``utility`` config\nuntouched; with no utility evidence the bonus is ``+0`` (cold-start).\n\nA lens may also carry ``modality_rules``: a per-observer reading\nof the adjudicability default, applied at read time to the contested badge\nand the lint queue only. A lens silent about modality reads every claim as\nits stored default.",
   "properties": {
     "kind": {
       "const": "TrustLensDefinition",
@@ -254,6 +306,13 @@
       "title": "Utility Rules",
       "type": "array"
     },
+    "modality_rules": {
+      "items": {
+        "$ref": "#/$defs/TrustLensModalityRule"
+      },
+      "title": "Modality Rules",
+      "type": "array"
+    },
     "corpus_entry_id": {
       "anyOf": [
         {