Memory Conflict and Precedence Rule
Describe a governed, versioned rule for recognizing scoped memory disagreements and specifying which eligible assertions may be preferred or left unresolved.
Bundle → Layer → Finding → Questions Filled
6 bundles · 12 layers · 12 findings · 48 questions
Rule definition and scope Separate reusable rule identity from its application and define comparable assertions.
Rule identity and revision
Proposed profile requirement. Identify the reusable rule separately from its immutable revision and any application. A rule can exist without a conflict occurrence. Record its accountable steward by role.
Rule identity and revision
Proposed profile requirement. Identify the reusable rule separately from its immutable revision and any application. A rule can exist without a conflict occurrence. Record its accountable steward by role.
- Which authoritative identifier names this rule independently of its revisions? identity
- Which immutable revision and predecessor define the current rule content? lifecycle
- Which role stewards the rule and which authority reference permits its maintenance? ownership
- Which consumer profiles may reference this revision without owning it? relationship
Comparable assertion scope
Proposed profile requirement. Define comparability before declaring a conflict: referent, property, perspective, purpose, tenant, temporal interval and value interpretation matter. Distinct values may coexist when the profile permits multiplicity. Missing scope information produces an unresolved classification.
Comparable assertion scope
Proposed profile requirement. Define comparability before declaring a conflict: referent, property, perspective, purpose, tenant, temporal interval and value interpretation matter. Distinct values may coexist when the profile permits multiplicity. Missing scope information produces an unresolved classification.
- What subject, property and assertion granularity form the comparison key? definition
- Which scope dimensions must match before two assertions are comparable? constraint
- Which multiplicity, unit and normalization rules distinguish an allowed variation from a conflict? classification
- How is an unknown referent or incomplete comparison scope reported? exception
Conflict and evidence input contracts Qualify conflict kinds and evidence before any priority decision.
Conflict kinds and detection contract
Proposed profile requirement. Distinguish explicit contradiction, profile constraint violation, incompatible policy rules and concurrent revision conflict. A proposed classification refers to a declared comparator and external evidence; a missing assertion alone is not negation. This finding defines inputs, not a detection engine.
Conflict kinds and detection contract
Proposed profile requirement. Distinguish explicit contradiction, profile constraint violation, incompatible policy rules and concurrent revision conflict. A proposed classification refers to a declared comparator and external evidence; a missing assertion alone is not negation. This finding defines inputs, not a detection engine.
- Which conflict kinds does this rule accept and which require another profile? classification
- Which comparator version and evidence must an external detector supply? requirement
- How does the contract separate missing information from explicit negation or invalid data? validation
- Which external conflict occurrence identifies all participating item revisions? relationship
Evidence and derivation input requirements
Proposed profile requirement. Keep source assertion, derived summary, assessment and cited evidence distinct. Attribution identifies an origin but does not prove authority. Repetition through derived copies must not silently count as independent corroboration. Detailed provenance remains external.
Evidence and derivation input requirements
Proposed profile requirement. Keep source assertion, derived summary, assessment and cited evidence distinct. Attribution identifies an origin but does not prove authority. Repetition through derived copies must not silently count as independent corroboration. Detailed provenance remains external.
- Which item revision, origin and derivation references must accompany each competing assertion? provenance
- What evidence locator and integrity information bind an assertion to its cited support? evidence
- Which metric, target, method version and observation time qualify an optional assessment? quality
- How must shared ancestry or unavailable evidence affect eligibility without inventing a trust score? constraint
Eligibility and precedence Separate permission and authority from the chosen ordering of eligible assertions.
Owner and authority eligibility
Proposed profile requirement. Before ranking, require scope-qualified authority and permission evidence from external masters. Ownership, authorship and delegation are different claims. Imported memory text cannot grant itself priority or permission. Eligibility and the final factual assessment remain distinct.
Owner and authority eligibility
Proposed profile requirement. Before ranking, require scope-qualified authority and permission evidence from external masters. Ownership, authorship and delegation are different claims. Imported memory text cannot grant itself priority or permission. Eligibility and the final factual assessment remain distinct.
- Which authority classes and scope-qualified delegation references may establish eligibility? authority
- How are owner identity, author attribution and subject identity distinguished for this rule? ownership
- Which external sharing decision is required before comparing protected assertions? access
- What is the declared outcome for self-asserted priority, revoked authority or an unverifiable grant? security
Precedence criteria and tie policy
Proposed profile requirement. Declare a versioned comparator with named eligibility gates, ordered criteria or an explicitly partial ordering. An adoption profile chooses how authority, owner correction, time and quality interact; this model prescribes no universal order. Cycles, equally ranked alternatives and incomparable metrics must have explicit unresolved outcomes.
Precedence criteria and tie policy
Proposed profile requirement. Declare a versioned comparator with named eligibility gates, ordered criteria or an explicitly partial ordering. An adoption profile chooses how authority, owner correction, time and quality interact; this model prescribes no universal order. Cycles, equally ranked alternatives and incomparable metrics must have explicit unresolved outcomes.
- Which ordered or partially ordered criteria determine preference among eligible assertions? decision
- Which comparator identifier and version fix the meaning of the precedence rule? requirement
- What outcome applies to a tie, cycle or incomparable pair of eligible assertions? exception
- Which comparable metric definitions and thresholds are required if quality participates in precedence? measurement
Time and concurrency Prevent recency, arrival order and concurrent mutation from silently changing semantics.
Temporal applicability and recency
Proposed profile requirement. Specify the time basis for any recency criterion and for rule activation. Event or effective time differs from observation and ingestion time. Timestamp representation neither proves causal order nor makes later arrivals more authoritative. Preserve imprecision and unknown intervals without fabricating seconds.
Temporal applicability and recency
Proposed profile requirement. Specify the time basis for any recency criterion and for rule activation. Event or effective time differs from observation and ingestion time. Timestamp representation neither proves causal order nor makes later arrivals more authoritative. Preserve imprecision and unknown intervals without fabricating seconds.
- Which effective interval determines whether a rule revision applies to a comparison? temporal
- Which event, observation or ingestion time is the declared recency basis and why? temporal
- How are clock uncertainty, equal instants, missing offsets and partial dates handled? quality
- How do late arrivals or nonoverlapping assertion validity intervals change comparability? constraint
Snapshot and concurrent change contract
Proposed profile requirement. Bind external resolution evidence to a fixed rule revision and input revisions. A storage adapter may use conditional updates, but successful concurrency control does not establish semantic truth. Changed inputs, authority or policy require a new evaluation under the adopted freshness contract.
Snapshot and concurrent change contract
Proposed profile requirement. Bind external resolution evidence to a fixed rule revision and input revisions. A storage adapter may use conditional updates, but successful concurrency control does not establish semantic truth. Changed inputs, authority or policy require a new evaluation under the adopted freshness contract.
- Which rule and input revision identifiers define the snapshot used by a resolver? identity
- What expected revision condition must a consumer check before applying a result? constraint
- What response is required if an input, grant or rule changes after evaluation? exception
- How does a binding preserve revision checks without assuming HTTP or a particular store? interoperability
Outcomes and review Specify unresolved outcomes and bounded review without claiming truth or executing actions.
Resolution outcome contract
Proposed profile requirement. Specify proposed outcomes such as preferred assertion, coexistence, unresolved tie, inapplicable and indeterminate. A preference is a scoped decision, not proof that alternatives are false. A merge proposal creates no memory item here. Outcomes reference all considered inputs and the external decision record without copying its lifecycle.
Resolution outcome contract
Proposed profile requirement. Specify proposed outcomes such as preferred assertion, coexistence, unresolved tie, inapplicable and indeterminate. A preference is a scoped decision, not proof that alternatives are false. A merge proposal creates no memory item here. Outcomes reference all considered inputs and the external decision record without copying its lifecycle.
- Which outcome codes preserve preference, coexistence, inapplicability and indeterminate evaluation separately? state
- Which rationale, criterion trace and decision reference must accompany an external result? evidence
- What must a consumer preserve about nonpreferred assertions and partial field-level decisions? constraint
- Which consumer action classes are permitted for each outcome without granting new authority? process
Exception and review requirements
Proposed profile requirement. An exception is a separately authorized, scoped reference with expiry and reasons. It must not weaken access or other mandatory restrictions through precedence. Unresolved high-impact comparisons may require human review under the adopting policy. This rule records requirements and references, not adjudication or external actions.
Exception and review requirements
Proposed profile requirement. An exception is a separately authorized, scoped reference with expiry and reasons. It must not weaken access or other mandatory restrictions through precedence. Unresolved high-impact comparisons may require human review under the adopting policy. This rule records requirements and references, not adjudication or external actions.
- Which conditions require abstention or review rather than automatic preference? exception
- Which role and external authorization reference can approve a scoped exception? authority
- What scope, expiry and revocation checks bound an exception? temporal
- Which external review record and follow-up rule revision preserve a disputed outcome? relationship
Assurance and rule governance Make adoption tests, mapping limitations and lifecycle responsibilities explicit.
Acceptance scenarios and interoperable mappings
Proposed profile requirement. Pin synthetic scenarios, expected outcomes and external validation reports to a rule revision. Test boundary cases and lossy bindings; a schema-valid research package alone proves no executable conformance. Conceptual mappings to open specifications remain qualified by their domain and status.
Acceptance scenarios and interoperable mappings
Proposed profile requirement. Pin synthetic scenarios, expected outcomes and external validation reports to a rule revision. Test boundary cases and lossy bindings; a schema-valid research package alone proves no executable conformance. Conceptual mappings to open specifications remain qualified by their domain and status.
- Which synthetic cases test missing values, ties, cycles, authority changes and late arrivals? validation
- Which expected outcomes and external evaluator version make a report reproducible? validation
- Which mapping preserves each criterion, unknown value and outcome across bindings? interoperability
- Which unsupported or lossy mappings block deployment or require explicit profile review? quality
Rule change, retention and privacy
Proposed profile requirement. Govern this rule definition and its local artifacts independently of source memory. Material changes create a revision and preserve authorized provenance links. Retention is bounded by adopting policies; supersession does not require indefinite payload storage. A tombstone or opaque reference may replace inaccessible evidence.
Rule change, retention and privacy
Proposed profile requirement. Govern this rule definition and its local artifacts independently of source memory. Material changes create a revision and preserve authorized provenance links. Retention is bounded by adopting policies; supersession does not require indefinite payload storage. A tombstone or opaque reference may replace inaccessible evidence.
- Which approval and compatibility checks move a rule revision from draft to active or retired? lifecycle
- Which retention policy and disposition trigger govern this rule and its local artifacts? retention
- What minimization and redaction rules prevent rationale or test data from revealing protected assertions? privacy
- Which roles can read, propose, approve or retire a rule revision and inspect exception metadata? access
Classifiers Filled
- Family
- World Models
- Category
- Information and virtual systems
- Entry kind
- entity
- Navigation path
- NAV.INF.MEM.PRE
- Domain
- INF.MEM.PRE
- Industry
- Cross-industry
- Tags
- memoryconflictprecedenceruleinf.mem.pre
What it is Filled
One identifiable rule definition with revisions, applicability conditions, conflict input requirements, precedence criteria and outcome contracts. Conflict occurrences, decision runs and source memory items have separate identities. The structure is a proposed local profile derived from open specifications, not a standard-defined universal hierarchy or an executable resolver.
In scope
- Rule identity, scope, conflict classification and input-reference contracts
- Owner and authority qualification, ordered criteria, temporal applicability, ties and unresolved outcomes
- Rule revision, exception requirements, acceptance scenarios and external evaluation evidence references
Out of scope
- Memory item and store lifecycle, retrieval ranking, context assembly and consolidation execution
- Issuing sharing grants, calculating trust scores, incident handling, quarantine, redaction and deletion execution
- Runtime conflict detection, policy evaluation or enforcement, operational decision records and audit-trail implementation
- Determining objective truth, legal authority or a universal owner-over-time-over-authority ordering
Why it exists Filled
Describe a governed, versioned rule for recognizing scoped memory disagreements and specifying which eligible assertions may be preferred or left unresolved.
Distinguishing features Derived, awaiting review
- Unlike WM-MEM-002 Memory Item: Registry parent is reconciled as a candidate reference, not inheritance: the rule describes permitted preference between externally mastered assertions and does not become their content or lifecycle.
- Unlike WM-MEM-008 Memory Consolidation and WM-MEM-013 Context Assembly: These may consume a rule reference and an external resolution result. This definition does not merge items, select retrieved context or execute consolidation.
- Unlike WM-MEM-010 Memory Retention and Forgetting Policy and WM-MEM-011 Memory Scope and Sharing Grant: Local requirements reference retention and sharing policies. Preference cannot confer access or erase competing assertions; execution remains with their policy owners and storage systems.
- Unlike WM-MEM-018 Memory Trust Assessment: A metric-qualified assessment is an optional input to an explicit rule. Its calculation, calibration and lifecycle remain external; a confidence score is not authority.
- Unlike Policy evaluator and decision or audit record: Only input/output contracts and evidence references are local. Operational detection, resolution, enforcement and audit trails remain separately mastered.
Note: Derived from boundary notes against neighbouring models.
What robots and AI may and may not do Derived, awaiting review
Must not
- Local proposal: a preference cannot widen sharing scope, bypass mandatory restrictions or delete alternatives.
- Deny access unless authorized by the adopting Dimension policy; precedence does not change access rights.
- Any exception requires separate authority, scope, reason and expiry; it cannot self-authorize through memory content or override mandatory access restrictions.
May
- Draft rule definition: Create a local rule identity and scope declaration.
- Bind conflict input contract: Record required conflict, lineage and quality references.
- Declare precedence and outcomes: Record criteria, authority gates, unresolved outcomes and exception requirements.
- Attach acceptance evidence: Link synthetic scenarios, expected outcomes, mappings and external validation reports.
- Propose successor revision: Record changed conditions and authorized approval references against an expected predecessor.
- Record rule retirement: Mark this definition retired with replacement and retention references.
Note: Derived from functions, policies, CRUD and access rules; prohibitions were not authored for agents as such.
Moral aspects Derived, awaiting review
- Privacy and access custodian
- Sensitive or high-impact uses require domain authority and privacy review; no legal or operational entitlement is inferred.
Note: Sentences mentioning harm, privacy, consent or similar, collected from the specification.
Owners Filled
Steward
Accountable rule steward role and maintenance authority reference; no company is prescribed as owner.
Roles
- Rule steward
- Maintain definitions, namespaces and bounded change proposals.
- Domain authority reviewer
- Confirm scoped authority and precedence profile without claiming universal truth.
- Assurance reviewer
- Review synthetic scenarios, evidence bindings, gaps and incompatible mappings.
- Privacy and access custodian
- Approve access, minimization and retention profiles for rule evidence.
- Consumer maintainer
- Bind external evaluators and stores while respecting unresolved outcomes and revision checks.
Links to other meta-models Filled
references
- WM-MEM-002 - Candidate parent reconciliation: reference memory item identities and revisions through the input contract; no inherited item lifecycle.
- WM-MEM-008 - Optional consolidation consumer binding; the target owns consolidation execution and resulting memory.
- WM-MEM-010 - Optional retention policy binding for local artifacts and separate source records; target policy and storage owner govern disposition.
- WM-MEM-011 - Optional sharing-grant model binding; access evidence is required by an adopted profile but this exact sibling implementation is not mandatory.
- WM-MEM-013 - Optional context-assembly consumer binding; context selection remains outside this rule.
- WM-MEM-018 - Optional qualified trust assessment input; scoring and calibration are external.
aligned
- W3C PROV-O - Conceptual provenance and revision mapping only; does not prove truth or grant authority.
- OASIS XACML 3.0 - Analogy for explicit combining identity and unknown outcomes; no direct equivalence between Permit/Deny and memory truth and no conformance claim.
- W3C SHACL - Optional validation report mapping; shape conformance and factual correctness remain distinct.
neighbor
- WM-MEM-002 Memory Item - Registry parent is reconciled as a candidate reference, not inheritance: the rule describes permitted preference between externally mastered assertions and does not become their content or lifecycle.
- WM-MEM-008 Memory Consolidation and WM-MEM-013 Context Assembly - These may consume a rule reference and an external resolution result. This definition does not merge items, select retrieved context or execute consolidation.
- WM-MEM-010 Memory Retention and Forgetting Policy and WM-MEM-011 Memory Scope and Sharing Grant - Local requirements reference retention and sharing policies. Preference cannot confer access or erase competing assertions; execution remains with their policy owners and storage systems.
- WM-MEM-018 Memory Trust Assessment - A metric-qualified assessment is an optional input to an explicit rule. Its calculation, calibration and lifecycle remain external; a confidence score is not authority.
- Policy evaluator and decision or audit record - Only input/output contracts and evidence references are local. Operational detection, resolution, enforcement and audit trails remain separately mastered.
parent
- WM-MEM-002
What else AI and robots need to interact with it Incomplete
Identity and identifiers required Filled
- Authoritative master-system identifier
- Governed global identifier or IRI
- Dimension-assigned UUID or ULID
Direct properties not applicable Not applicable
Not applicable
Institutional or informational subject: no invented physical properties.
Recognition optional Missing, in the backlog
Not described yet. This gap is in the card backlog.
Capabilities and actions required Filled
- Draft rule definition: Create a local rule identity and scope declaration.
- Bind conflict input contract: Record required conflict, lineage and quality references.
- Declare precedence and outcomes: Record criteria, authority gates, unresolved outcomes and exception requirements.
- Attach acceptance evidence: Link synthetic scenarios, expected outcomes, mappings and external validation reports.
- Propose successor revision: Record changed conditions and authorized approval references against an expected predecessor.
- Record rule retirement: Mark this definition retired with replacement and retention references.
Hazards and failure modes optional Missing, in the backlog
Not described yet. This gap is in the card backlog.
Standards and interfaces required Derived, awaiting review
- PROV-O: The PROV Ontology
- RFC 9110: HTTP Semantics
- RFC 3339: Date and Time on the Internet: Timestamps
Context of use required Filled
- No jurisdiction or universal institutional authority is assumed. Local policies supply authority scope, permissible processing and retention; sources are technical alignments.
Sources Filled
- PROV-O: The PROV Ontology - W3C
- OWL 2 Web Ontology Language Primer (Second Edition) - W3C
- Shapes Constraint Language (SHACL) - W3C
- eXtensible Access Control Markup Language (XACML) Version 3.0 - OASIS
- RFC 9110: HTTP Semantics - IETF
- RFC 3339: Date and Time on the Internet: Timestamps - IETF
- Data on the Web Best Practices: Data Quality Vocabulary - W3C
Open questions
- Run coordinator HTTP checks and verify complete source editions, errata, domain applicability and claim mappings; HTTP success alone does not close substantive verification.
- Develop typed instance schemas and evaluate synthetic cases covering ties, cycles, missing values, authority revocation, late arrivals, protected evidence and lossy mappings under an explicit adopting profile.
- Restore independent external review before canonical promotion; assess domain-specific precedence, metric calibration and distributed causality or convergence requirements.
- Independent second-provider review is waived; this run uses a separate local Codex no-tools self-audit.
- Direct HTTP status, full source-version validation and independent claim verification remain open; readable web excerpts are not direct HTTP measurements.
- Typed instance schemas, formal comparator semantics, runtime evaluation and external decision schemas require an adoption profile.
- Domain-specific precedence, metric calibration and distributed causality or convergence guarantees are not established.
- Sensitive or high-impact uses require domain authority and privacy review; no legal or operational entitlement is inferred.
Machine files
Provenance
world-models research · reviewable-draft
Built from: models/wm-mem-009-memory-conflict-and-precedence-rule/spec.yaml