Multi‑View Publication Kit
About this pattern
This is a generated FPF pattern page projected from the published FPF source. It is canonical FPF content for this ID; it is not a FPF Reference product feature page.
How to use this pattern
Read the ID, status, type, and normativity first. Use the content for exact wording, the relations for adjacent concepts, and citations to keep active work grounded without pasting the whole specification.
Status: Stable Type: Part E publication pattern Normativity: Normative unless explicitly marked informative
At a glance. Use E.17 when one already accepted engineering account must be published in one or more readable faces for different readers without changing its claims.
Use this when. The source account is already accepted for the present work, but a reader needs a plain explanation, technical card, interoperability card, or evidence-facing lane. The publication task is to expose the same account for that reader, not to create a new engineering claim or establish performed Work, gate passage, or assurance by presentation.
What goes wrong if missed. A readable face can silently add, widen, or hide claims. The opposite failure is to make every publication start with a four-face kit, a newly authored viewpoint or bundle, and an assurance dossier even when one small face would answer the reader's question.
What this buys. Each current reader gets the smallest useful face, the source remains recoverable, omitted detail and bounded use stay visible, and stronger identity or assurance apparatus is added only when a downstream use needs it.
First action. Point to the current source account and the engineering object or relation it describes, name the reader and what that reader must be able to understand or do, and choose only the face or faces needed for that use. Resolve an existing viewpoint when one already fits; do not author a new viewpoint or bundle merely to start publication.
First output. One useful publication face, or the smallest necessary set, that names the source, intended reader/use, what it preserves or omits, and how to return to the source. No ClaimGraph, formal profile, viewpoint bundle, evidence package, or four-face completion is required for this ordinary result.
Working publication move. Select the current source; choose the minimum face set for the named readers; copy or conservatively arrange only source-backed claims; mark material omissions and the bounded use; publish and stop. If a face will carry safety, release, evidence, cross-context, or other consequential reliance, strengthen only that face with the relations and records that the reliance needs.
Ordinary formality rule. A source pointer, reader/use line, readable face, and visible omission or return note are enough when the face is used for orientation, inspection, explanation, comparison, exchange preparation, or planning preparation and no downstream identity depends on it.
High-reliance formality rule. When reliance changes the engineering move, identify the exact source edition; resolve the exact viewpoint and E.17.0 conformance only if U.View membership matters; identify the E.24.PUB publication occurrence, form, carrier, and bounded use when their identities matter; and cite the concrete evidence, gate, release, provenance, or assurance record that carries the downstream claim. These additions do not turn the face itself into that record.
Stop condition. Stop as soon as every current reader has a useful face that preserves the needed claims and exposes its return to source. Do not create unused faces, fields, viewpoints, bundles, or assurance records for kit completeness.
Boundary aid pointer. Use E.17:5.1d only when a publication-facing unit begins to carry a distinct work, evidence, gate, approval, status, explanation, comparison, or reduced-use claim. Ordinary publication of a source-backed face does not require that boundary map.
At the first screen, keep only the current source, named reader/use, minimum useful face set, visible omissions, and return to source.
Not this pattern when. Use A.15.1 for a performed-work claim, A.10 for an evidence or provenance path, B.3 for assurance or engineering justification, A.20/A.21 for constraint or gate decisions, A.7 when carrier, publication, and Work are conflated, and the relevant release or authority rule when that is the actual problem. E.17 only publishes the already accepted account and keeps those downstream claims separate.
Tech-name:
MultiViewPublicationKit(MVPK)
General publication-face form: In E.17,
MVPK facerefers by default to the publication form. The selected source episteme, any separately constructed receiving episteme, the bounded-use declaration, the publication occurrence, and the carrier remain different objects and are named explicitly whenever one of them is meant. A face is not a U-kind and does not become aU.View, evidence, assurance, gate decision, work occurrence, authority, or release permission by its label or readability. Source-edition, viewpoint, scope, occurrence, form, carrier, pin, or downstream-record identities are stated when they change the receiving use. USM binding (overview): when publication-scope identity must travel,U.PublicationScopeunder A.2.6 carries that bound; an ordinary bounded-use line can precede that exact record. See §5.0. Episteme-side view position. MVPK can publish an already recognizedU.View, or it can publish another selected episteme without claiming view membership. WhenU.Viewmembership is material, E.17.0 tests that same episteme against the exactU.Viewpointepisteme resolved frompublicationViewpointRef;PublicationVPIdis the viewpoint episteme's designator, not the reference. A.6.3 construction, E.17.0 conformance, E.24.PUB publication occurrence/form/carrier, and C.29 representation remain separate relations.
Let a practitioner publish the few readable faces that current readers actually need from one accepted engineering account, without adding claims or turning publication metadata into engineering authority. The optional morphism profile keeps the earlier compositional publication tests for uses that genuinely publish morphisms; it is not the entry price for ordinary publication.
Relations
E.17:5.1dContent
Intent
Let a practitioner publish the few readable faces that current readers actually need from one accepted engineering account, without adding claims or turning publication metadata into engineering authority. The optional morphism profile keeps the earlier compositional publication tests for uses that genuinely publish morphisms; it is not the entry price for ordinary publication.
Problem frame
- Different readers often need different slices or presentations of the same accepted account, but a current task may need only one or two faces rather than the full quartet.
- Informal renderings can drift semantics, hide omissions, or sever source return; composite morphisms can also lose traceability when their publication claims are used compositionally.
PlainView,AssuranceLane, and a packagedviewpointRefare easy to overread asU.Viewmembership, assurance, or conformance even though none establishes those claims by itself.- Exact publication identity, pins, carrier relations, and evidence references matter for some receiving uses, but putting all of them before the first readable face makes ordinary publication unnecessarily hard.
MVPK therefore starts from the current source, reader/use, and minimum useful face set. It then adds viewpoint conformance, E.24.PUB occurrence/form/carrier identity, pins, bridge records, evidence, or assurance only when a named use depends on those distinctions. The optional morphism profile retains the functorial publication discipline for Description epistemes, including Description epistemes admitted for specification use. Part E is conceptual: no machine-exchange formats are specified here.
Problem
- Semantic drift in publication. Unchecked presentations introduce claims not present in the exact C.2.1 source epistemes, including those about the arrow in the optional morphism profile. Each such episteme, including a Description episteme admitted for specification use, keeps its exact claim content, EntityOfConcern, and effective
U.ReferenceScheme; publication form, viewpoint reference, scope, or carrier supplies none of those identity discriminators. - Non‑compositionality in the morphism profile. Publishing
g∘fyields faces that do not match composing the faces offandg. - View, viewpoint, and face confusion. A template or face is treated as the view or viewpoint, with no exact conformance relation between two claim-bearing epistemes.
- Unpinned numbers. Numeric claims lack unit, scale, reference‑plane, and edition pins from Part F or Part G, undermining auditability.
Forces
Solution — the MVPK Kit
Publication-scope and face-profile binding (normative)
- Ordinary selection. Start with the current source account, intended reader/use, and the smallest publication-form set needed now. A one-form result is valid; adding another form requires another current reader/use or a material distinction that the first form cannot carry safely.
- Bounded use before exact scope. Alongside each selected publication form, state the separate bounded-use declaration in ordinary prose. Identify an exact
U.PublicationScopeunder A.2.6 when scope identity must travel across publication, comparison, exchange, dispute, or reliance. The scope establishes neitherU.Viewmembership nor permission, evidence, work, assurance, or release, and it encodes neither the selected source, viewpoint, publication-form profile, Publication Characteristics, nor carrier. - Resolve before authoring. Reuse an existing viewpoint when its concerns and rules fit the reader/use. Author a new reusable viewpoint, or create a project-local family declaration under E.17.1, only when the current need cannot be served truthfully by an existing viewpoint or a simple bounded publication face. E.17.0 tests viewpoint conformance. Use E.17.1 to identify the catalogue edition, ordinary family designator, local declaration claim block, and needed
U.ViewpointRefsubset. - Optional profile. A formal MVPK profile fixes exact publication-form designators, any declared partial order, Publication Characteristics and pins, and any cross-context or reference-plane constraints. These fields apply only to the optional formal or load-bearing branch, not to the ordinary first result.
- Canonical labels.
PlainView,TechCard,InteropCard, andAssuranceLaneare historical MVPK face designators. None identifies aU.View,U.Viewpoint, evidence object, assurance result, or gate. Use only the designators needed by the current readers; MVPK-Max is the optional profile in which all four have an actual use.
Terminology (normative)
- View (
U.View): the same C.2.1 episteme individual for whichEpistemeViewpointConformanceRelation(E,P)obtains under E.17.0 for an exactU.ViewpointepistemeP. A publication-form label,viewpointRef, direct authoring, A.6.3 construction, or publication occurrence does not establish that membership. An ordinary publication form exposes its current source reference and separate reader/use declaration; add the exactpublicationViewpointRef, conformance relation, scope, occurrence, carrier, or pins only when those identities change publication or reliance. - Publication vs expression vs bearing vs presentation vs rendering vs representation (guard):
- Publication occurrence = the E.24.PUB
EpistemePublicationRelationamong the selected episteme edition, audience declaration, bounded-use declaration, publication form, andU.PresentationCarrier. Ontically these participants stay distinct; spell out their exact identities when availability, recurrence, dispute, cross-context exchange, or reliance depends on them. Preparing or inspecting an ordinary face need not begin with a five-participant dossier. A.6.3 construction and E.17.0 conformance remain separate. - Form expression =
PublicationFormExpressionRelationamong the selected edition, exact publication form, and bounded-use declaration. It states that the form expresses enough of that edition for the use; omission, coarsening, or changed admitted operations can end it without changing the carrier. - Carrier bearing =
PublicationFormBearingRelationbetween the exactU.PresentationCarrierand exact publication form. It states that this carrier bears the recoverable form; it is neither publication availability nor episteme identity. - Presentation = rhetorical arrangement of a published carrier; notation-neutral, adds no claims and is not a
publication-face kind. - Rendering = display layout of a carrier, purely graphical formatting; performed rendering is separate
U.Workon its exact carrier, not apublication-face kindor publication occurrence. - Representation = a C.29 representation and its exact correspondence to independently recovered objects or relations; it is not a publication occurrence, publication form, view-membership rule, or carrier. Publication or representation does not by itself make any represented object or relation exist.
- Publication occurrence = the E.24.PUB
- Architecture-description mapping note. An architecture viewpoint maps to one exact
U.Viewpointepisteme;PublicationVPIdorEngineeringVPIddesignates it and aU.ViewpointRefresolves it. An architecture view maps to one exact episteme that passes E.17.0 conformance. An MVPK face is the separate publication form through which that episteme may be exposed for a separately declared bounded use and, when material, in an exact publication occurrence. - Publication work: Build, rendering, upload, or delivery may be actual
U.Workperformed by an exact System recovered through A.13. When such Work is current, A.15.1 independently identifies the Work, performers, Method, time, and containing System. Add F.6 only when the publication account expressly consumes precise assignment-bound attribution through the same obtaining A.13 assignment; missing or failed F.6 leaves the Work intact. Name a carrier relation separately only when the claim or downstream use depends on it. - Viewpoint (
U.Viewpoint) - an exact claim-bearing episteme edition recognized under E.17.0's dependent-kind rule. Resolve an existing viewpoint when it already states the relevant concerns and conformance rules. Author a new reusable viewpoint, or create an E.17.1 local family declaration inside an exact catalogue episteme edition, only when the current reader/use cannot be served truthfully without that separate result. The declaration packages exactU.ViewpointRefvalues; it is not another bundle entity.PublicationVPIddesignates the viewpoint episteme;U.ViewpointRefresolves it. - Explanation-use profile values. An existing publication form can be paired with a bounded explanation-use profile value such as
SourcePinnedExplanation,SourceLinkedExplanationReconstruction,DidacticRetelling, orSpeculativeRetelling; the profile value is neither the form nor a new face, explanation, or carrier-rendering kind. Pins, provenance references, and no-new-A.6.B-boundary-claims discipline apply only when the exact source, transformation, or receiving use makes them material.
Episteme-publication relation-position binding (normative)
For functional-description publications, E.17 covers only the publication relation.
Publication relation position. A principle scheme, functional diagram, comparison table, screen, export, scenario, explanation, or code-like method description can help interpretation, source-finding, comparison, selected-method inspection, or work-planning preparation.
Unsupported neighboring claims. The publication does not by itself assert performed U.Work, a work claim, gate passage, evidence, assurance, engineering justification, supervisory relation or control relation, authority, release permission, or a new transformation-flow kind.
Interface and protocol proximity. When interface, protocol, schema, boundary, or API wording appears beside a functional-flow description, keep that operational claim with its project claim set and exact reference. Apply the boundary, interface, protocol, or transformation rules in A.6.B, A.6.C, or E.18 as the concrete claim requires; do not absorb it into the publication by layout proximity.
Retargeting. If the publication changes the EntityOfConcern or retargeting target from an already described component, recovered transformation, method, work occurrence, transformation-flow structure, material U.Entity, or source claim into a functional, control, or flow architecture claim, this is not a same-entity publication-use change. Use A.6.4, OntologicalReframing, or E.18 as applicable.
Source recovery. When a requested use requires a project-side object or relation beyond the publication face, first recover the existing reference that actually carries that claim. The bullets below are different concrete checks, not one grouped route or generic pattern relation:
- source wording, publication construction, carrier-relation construction, source relation, project-side reference, or explicit non-use disposition under
C.2.P; - appearance-based reliance repair under
A.15.4; - project
U.Method,U.WorkPlan, or work-result record underA.15; - evidence and provenance path under
A.10; - engineering-justification record under
B.3; - constraint or gate decision under
A.20orA.21; - supervisor-subholon feedback record under
B.2.5, control-structure-view record underC.30.LCA, or a record of the exact architecture claim underC.30or selected-structure claim underA.22, as applicable; - carrier, export, OCR, or front-end distinction under
A.7, followed by the applicable carrier, front-end, or Work pattern; - same-entity textual relation under
A.6.3.CR; - representation relation under
A.6.3.RT; - reduced-use-rendering relation under
A.6.3.CSC.
No backdating. If no existing typed project-side FPF kind and reference named by value carries a claim that was supposed to already have a source relation, do not create a backdated source. Create only a prospective repair request, prospective decision request, prospective work-plan entry, or explicit missing-source-relation note, and treat the earlier claim or effect as unsupported until the required source exists.
Ordinary orientation and source-finding can stay as an inline note.
Functional-description guard (CC-MVPK-FD). A functional-description publication separates the source U.Episteme or episteme-side U.View, the exact publication form (the MVPK face), any present carrier or rendering work, the separate bounded-use declaration, and unsupported neighboring use. The guard applies only when a functional-description face is present; it is not the first universal MVPK conformance gate.
MVPK inherits the distinction among U.Episteme, contingent published-episteme use, publication occurrence, publication form, U.View, U.PresentationCarrier, and authority-reference relation. It introduces no durable published-episteme kind or other generic semio kind. A publication face does not define another relation's claim, supply authority, or become the source claim merely by being published; use the exact source or authority relation when one is current.
When a morphism publication is encountered or reused, name only the relation positions needed by the current use:
- the selected source
U.Episteme,Depisteme, orSepisteme edition and the claims actually exposed; identify its exact ClaimGraph only when claim identity must travel; - the exact
PublicationFormExpressionRelationoccurrence among that selected edition, exact form, and exact bounded-use declaration; - the exact
PublicationFormBearingRelationoccurrence between the presentation carrier and form; - the exact five-participant
EpistemePublicationRelationoccurrence when that selected edition is available to the declared audience for the bounded use; - the selected episteme's independent E.17.0
U.Viewmembership when the publication use calls it a view, plus any separate A.6.3 construction history when current; - the exact system-performed carrier or rendering Work; any A.10 evidence/provenance path or G.6 path citation needed to replay it; and any G.11 currentness result, only when those neighboring facts are current; and
- the exact project-side object, reference, or authority relation when the next work or reliance claim depends on it.
Changed claim content, EntityOfConcern, or effective reference scheme identifies another episteme edition under C.2.1. Re-evaluate PublicationFormExpressionRelation only when its selected edition, form, bounded-use declaration, or obtaining predicate changes; re-evaluate PublicationFormBearingRelation only when its carrier, form, or obtaining predicate changes. Independently, changing any of the five EpistemePublicationRelation participants identifies another publication occurrence without reidentifying an otherwise unchanged episteme. Publication availability lost and later restored creates a later occurrence; a file rename or layout change alone proves none of those changes.
The practical payoff is that a reader can recover which object or relation is available for reliance: the episteme claim, the published form, the view, the carrier, the typed project-side FPF kind and reference named by value, or the authority-reference relation. A dashboard tile, generated explanation, card face, credential view, or carrier can guide source-finding, but it does not by itself establish the source claim or effect, gate decision, evidence relation, assurance claim, local system-role kind, separate System-classification judgment, assignment occurrence or state, direct status predicate, responsibility or authority predicate, Work occurrence, or permission. If its source uses role or status without making one of those claims clear, treat that phrase as unresolved recognition wording and route it through E.10.ROLE; then use the recovered direct pattern or return the exact missing governor.
Source-exposure rule. A face, carrier, rendering, dashboard tile, credential view, status view, comparison unit, explanation, signed memo, release record, approval publication, or gate dashboard exposes another project-side object only when that exact object and its direct relation are recoverable. Readability, layout, title, color, fluency, proximity, copying, generation, or reuse establishes none of them. If a real SpeechAct, GateDecision, evidence path, credential or status source, U.Work occurrence, U.Episteme, or publication occurrence is recoverable, rely on that object and relation; otherwise use the face only for orientation or source-finding.
No retroactive source creation. When the required source relation is missing, a new entry can be only a prospective repair request, prospective decision request, prospective work-plan entry, or explicit missing-source-relation note. It is not used as earlier evidence, approval, gate passage, instituting speech act, U.Work occurrence, release permission, engineering justification, or assurance for the unsupported past claim or effect.
Shared source-relation and bounded-use vocabulary
Use this vocabulary when a publication face, rendering, generated text, comparison note, narrower-use rendering, source-finding cue, or authority-looking display can be overinterpreted as carrying a wider source relation or bounded-use permission than it actually carries. The vocabulary names the source relation or bounded-use value for one claim or use. It does not instantiate evidence, gate, assurance, work, commitment, speech act, decision, release, or authority.
Patterns can use shorter local field names such as sourceRelationStatus, explanationSourceStatus, or representationValidityStatus when the local object is clear. Comparative patterns split source-relation status from comparative-relation status instead of using one overloaded field. The local field remains interpretable through the vocabulary above, and the bounded use is named beside it when downstream reliance could change.
For ordinary use, name only the status distinction that changes the next bounded use. The common light states are source-pointer-only, source-relation-unknown, source-relation-not-needed, source-not-recoverable-here, admissible-for-this-use, downstream-use-forbidden, and reopen-trigger-present. The vocabulary is neither an ordered source-stage scale nor a source-record or authority taxonomy, and it does not substitute for evidence, assurance, gate, or work records. A missing source relation blocks only the unsupported use; it does not prove the underlying world claim false. If independent-verification-present is relied on, name the exact separate evidence, assurance, decision, work, or bridge record that supplies the independent basis.
Shared use-boundary terms
Use these terms when a publication face, rendering, narrower-use rendering, explanation, comparison note, source-finding cue, or authority-looking display can be interpreted beyond its named source relation. Define them once here and link back to this section from local patterns instead of minting local synonyms.
Compact boundary aid for the present claim or effect
When a publication-facing unit, publication face, rendering, narrower-use rendering, explanation, comparison note, dashboard tile, credential view, status view, carrier, or generated unit creates more than one possible interpretation, separate the claim being made or effect being used now and cite the source relation that makes that claim recoverable. This compact boundary aid applies only to the present claim or effect; it does not classify the whole unit. The same unit can expose several typed records; handle one claim or effect at a time instead of assigning one source relation to the whole unit.
Mixed-case precedence. When several publication-use patterns appear possible, repair the smallest unstable interpretation that changes the current bounded use before applying a neighboring pattern whose claim or effect is present:
- If one local head is the only unstable part, apply
E.17.AUD.LHRorC.2.Pand stop when the repaired sentence names the local kind, relation, and bounded use. - If the bounded
PublicationUnitor the interpretation of its primary subject is unstable, applyE.17.AUDorE.17.AUD.OOTDbefore usingE.17.ID.CRorE.17.EFP. UseEntityOfConcern(E)for that subject only when the unit carries one identified claim-bearing epistemeEand both name the same exact entity. - If the unit is stable and the present problem is comparison overread, apply
E.17.ID.CR; useF.9,C.11,A.20, orA.21only when equivalence, recommendation, selection, decision, gate, or release claim is actually being made. - If the unit is stable and the present problem is explanation overread, apply
E.17.EFP; useA.10,B.3,A.20,A.21, orA.15.4only when evidence, engineering-justification, gate, release, work, or reliance claim is actually being made. - If the present problem is a durable reusable name, UTS row, Core-facing term, or cross-context naming relation, apply
F.18; otherwise keep the lighter local repair pattern.
Evidence-path boundary. An A.10 evidence/provenance path, including one that cites attestation, freshness, or a G.11 currentness result, carries only the claim named by value it instantiates. It does not approve or authorize work, pass a gate, perform work, supply release permission, or raise assurance or engineering-justification use unless the typed project-side FPF kind and reference named by value that carries that downstream claim is also instantiated, such as A.15.4, A.15, A.20, A.21, or B.3.
Gate-display boundary. A dashboard tile, status view, or release screen exposes a gate decision only when the GateDecisionRef, gate or constraint profile version, target release or work scope, time window, currentness, freshness reference or replay reference, and evidence path are recoverable. Without that exact gate record, the display remains orientation or source-finding only; it is not a gate decision, gate passage, release permission, or performed-work record by color, label, layout, or proximity.
Local review fields are not FPF kinds
Local review fields and values in CR, RT, CSC, EFP, ID.CR, or a neighboring publication-use pattern are local aids for one case. They are not U.Kind, RelationKind, evidence, gate, authority, work, publication face, or another project-side object unless the pattern that defines that exact object establishes its membership. When a local field starts carrying such a claim, cite the exact object and say whether the cited pattern defines it, constrains it, or supplies its test.
Shared anti-overread invariants for publication-facing units
Use the FPF pattern that defines, constrains, or tests the claim being made or effect under use. Keep any local review field local, preserve reduced bounded use, and address only the unsupported wider claim or effect through the source relation it requires.
Source-relation minimality. Name the smallest direct relation sufficient for the live use. A source reference, publication occurrence, evidence path, engineering-justification record, gate decision, and release decision are different objects or relations; choosing one licenses none of the others. Do not apply A.10, B.3, A.20, or A.21 when the use needs only source-finding, orientation, or inspection of an existing source episteme, publication occurrence, or status-register entry.
Local repair vs publication redesign. A local epistemic precision repair is enough only when it can preserve the current publication face or PublicationUnit while fixing one head, boundary, source relation, bounded use, explanation class, or unsupported downstream claim. If layout, grouping, visual emphasis, comparison arrangement, generated explanation, hidden source limitation, or mixed EntityOfConcern packaging still induces overread after the local relation is repaired, create a redesigned publication face or PublicationUnit instead of adding warning text around the misleading form.
Most-likely careful interpretation constraint. Design and word a publication-facing unit so its most likely careful interpretation does not exceed its named source relation and bounded use. A visible Approved head needs a visible GateDecision or a different head; sorted output needs its comparator or sorting relation visible if no recommendation is intended; generated explanation separates inferred links from pinned source claims by wording, label, or source reference.
Visual cue claim pressure. Layout, order, color, prominence, icon, grouping, and proximity can imply evidence, readiness, preference, equivalence, approval, or verification. Green can suggest readiness; top position preference; grouping equivalence; proximity to evidence an evidence relation; a badge approval; and a lock or checkmark verification. If that implication would change the next action, recover the exact evidence, assurance, gate, decision, recommendation, bridge, approval, or other record or relation that actually carries it, or redesign the face so the unsupported overread is no longer invited.
Extraction survival. When a PublicationUnit is excerpted, quoted, screenshotted, summarized, copied into a tutorial, retold by a generator, or moved to a slide, it keeps only the claims, source pins, boundary line, references named by value, and bounded use carried in that extracted unit. Any use that depended on hidden neighboring context is lost unless that context is carried by source pins, a boundary line, or a reference named by value. A dashboard screenshot does not carry the underlying gate record, a quoted comparison row does not carry the full comparator or sorting relation unless that relation is included or referenced, a copied explanation paragraph does not carry source pins unless pins remain recoverable, and a pattern excerpt does not carry the whole pattern boundary unless the excerpt states or cites it.
No-extra-pattern case. If a publication-facing unit has bounded use only for ordinary orientation, learning, source-finding, review, comparison, or planning preparation, and no operative work or reliance, evidence, gate, assurance, bridge, source-dispute, or release claim is present, keep the existing publication source relation and proceed with ordinary use. The visible closure is: no operative work or reliance, evidence, gate, assurance, bridge, source-dispute, release, durable naming, or project-side source-relation claim recovered; ordinary publication wording remains bounded to the current use.
Pattern-inflation anti-pattern. Do not apply a neighboring pattern merely because the publication-facing unit resembles a worked example. Apply the neighboring pattern only when a claim being made or effect changes the next available project move.
Strategic overread invariant. Apply the same anti-overread rules whether the misleading interpretation is accidental, conventional, incentive-driven, or intentionally induced by publication design. Green status color without GateDecisionRef, reviewed-looking wording without approval, selective source links without operative-claim source relation, comparison ordering without selection decision, hidden caveats behind a source link, or pins for trivial claims beside unpinned causal linkage do not create evidence, gate, decision, assurance, work, release, or bridge relation by design pressure.
Carrier-travel invariant. A copied, exported, screenshotted, summarized, generated, translated, or re-rendered face can carry orientation or source-finding cues. It carries no evidence, authority, gate, approval, engineering justification, work, currentness, or release relation unless the exact corresponding object and relation remain recoverable for that use.
Derivative-chain decay. A second-order rendering inherits at most the bounded use that is explicitly carried from the prior source relation. It does not inherit source faithfulness, evidence relation, currentness relation, authority-reference relation, gate decision, work relation, or reliance relation by default.
Publication-face snapshot and refresh identity. A face can keep the same layout, name, or carrier while its source pins, data window, source-relation status, currentness, EditionId, or bounded use changes. Visual sameness is not source, evidence, or use-boundary sameness. Beyond orientation, identify the face edition or snapshot, the source pins or data window that still carry the claim, and any changed bounded use. If those cannot be recovered, use the face only for orientation/source-finding or reissue it from the source under E.17 and the concrete downstream rule that the new use needs.
Claim-level source relation only. Do not assign one whole-unit source-relation status unless every operative claim in that publication-facing unit has the same source relation named by value for the same use and unsupported downstream uses are explicit.
Modality and deontic-force preservation. Publication-facing transformations preserve possibility, obligation, permission, recommendation status, decision status, confidence, scope, and temporal window when those values change the claim or use. If one changes, narrow the bounded use or apply the concrete definition, constraint, decision, evidence, work, gate, or authority rule that carries it. Comparison does not become recommendation or decision; explanation does not become evidence; a face does not become authority; a publication unit does not smuggle a downstream effect; source-linked does not mean source-available for reliance; ready-looking does not mean gate-passed.
This preservation rule also applies across extraction, translation, screenshotting, summary, and generated retelling. A translated permission is not wider permission, a screenshot of approval-looking display is not an approval record, a summary of evidence is not an evidence path, and a generated retelling of a decision is not the decision record unless the source relation that makes the operative claim recoverable by value and source pins survive in the new publication-facing unit.
Reader position is not a project system-role kind or assignment. Reader position, audience, target user model, verifier position, review-reader position, and learner position do not become project system-role kinds, U.SystemRoleAssignment occurrences, decision authority, gate authority, issuer relations, responsibility relations, or Work contexts by publication. If any of those values is current, cite its typed project-side reference and direct predicate separately; otherwise record the exact missing governor rather than inferring it from a reader label.
Source-gap states. When the source relation is missing, say which source gap is present: source not named; source named but unavailable; source available but not used; source used but insufficient; source stale or outside its window; source contradicted; or mismatch among the source-maintenance System, any maintenance Work whose exact performer is recovered through A.13 and which A.15.1 admits independently, the status register, and a separately established responsibility relation. Add F.6 only when the source-maintenance comparison expressly consumes precise assignment-bound attribution; its failure leaves the maintenance Work intact. Assignment establishes neither source-maintenance responsibility, classification, nor status-register authority. Block only the unsupported effect and keep any reduced bounded use available.
Measure and display overread. A number, score, percentage, color, rank, confidence value, similarity value, dashboard state, or measurement display is orientation only until its measurement source, aggregation rule, time window, scope, calibration or evidence path, and intended use are recoverable. Use A.10 for evidence, B.3 for assurance, A.20/A.21 for gate use, A.15.4 plus the recovered work relation for work reliance, and F.9 for a Bridge or bounded-use claim. Use F.9.1 only for an optional stance note about an already constituted claim.
World-contact stop. After source update, revocation, policy change, holon-state change, incident, model update, environmental change, or new observation, refresh the source, reissue the publication, or recover the new concrete project-side record before downstream work, evidence, gate, control, carrier, or reliance continues.
Functional-description boundary. A functional, architectural, descriptive, representational, or explanatory fit claim creates no permission, obligation, approval, gate passage, release relation, performed-work evidence, or engineering justification. Those uses need the exact separate work, authority, evidence, decision, gate, release, or assurance object and relation that carry the claim.
Mixed bundle no-shared-evidence-relation rule. A bundle with source-pinned, reduced-use, speculative, didactic, comparison, and evidence-facing parts is not interpreted under one shared evidence relation or use-boundary value borrowed from another member. Each operative claim keeps its own source relation and unsupported downstream use.
Educational usefulness. Didactic, onboarding, tutorial, and workshop usefulness is real orientation aid. It is not evidence, gate passage, approval, work occurrence, engineering justification, release permission, or bridge relation.
Comparison exposes conflict; it does not adjudicate it. A comparison note can expose contradiction, asymmetry, different foregrounding, or residue. It does not select an option, approve release, pass a gate, or create bridge or substitution relation unless the corresponding C.11, A.20/A.21, F.9, or other exact decision relation carries that result.
Same publication-facing unit, multiple interpretations. A green release dashboard can be one MVPK face for source-finding, an A.10 evidence/provenance path that cites a G.11 currentness result when the source query is recoverable, an A.21 gate-decision view when the GateDecisionRef is recoverable, or an unsupported release cue when those sources are missing. A generated comparative explanation can be an E.17.EFP explanation-use case, an E.17.ID.CR comparison case, a A.6.3.CR generated-summary case, or source-finding only; it is never all of those under one shared evidence-relation class or bounded-use value by fluency alone.
Archetypal publication-use cases. Use these as quick recognition slices, not as a closed taxonomy:
- Green dashboard tile. A tile says
Model ready. Treat the tile as thePublicationUnitwhen that tile carries the present release overread. The useful publication use is source-finding and status orientation unless an exactGateDecisionRef, gate profile, source relation, and evidence or currentness relation are recoverable. Without those, the tile is not release permission or gate passage by green color or placement. - Generated explanation with source links. A generated text explains a method and cites sources. The explanation rendering is not source replacement. Source links carry only the pinned operative claims they actually carry. If work or reliance is present, use
A.10for the evidence path named by value or keep the rendering as reader help; if the rendering is deliberately reduced-use, useA.6.3.CSC. - Comparison table. A table compares two methods and places one first. Ordering is not selection. The comparator or sorting relation, source references, shared review frame, and unsupported downstream claim remain visible. Choice or decision needs
C.11; equivalence or a Bridge needs F.9, while F.9.1 may add only an optional stance note about an established bounded-use claim. - Unrecovered source wording. A draft uses source-object wording, undeclared interpretive-view shorthand, or generic unit wording without naming the FPF kind. Recover the FPF kind and relation positions instead of minting source-relation pseudo-kinds or undeclared interpretive-view pseudo-kinds. Use
PublicationUnitonly when a bounded reader-inspected unit inside a publication is present; otherwise use the exact episteme, view, publication, carrier relation, section of a named non-pattern FPF publication form whose reader-help function and reference are recoverable,A.6.Prelation claim, or typed project-side FPF kind and reference named by value. - Translated tutorial. A translated tutorial can improve reader access to an FPF pattern. It is a derivative rendering, not the original source. Operative claims need source mapping for reliance, translated heads can need
E.17.AUD.LHRorC.2.P, andF.18is present only when durable naming, UTS, Core-facing, or cross-context naming work is intended.
Practical harm prevented by neighboring pattern. Use this map when the reader asks what the discipline buys in practice:
Blocked overread with useful publication use remaining.
-
A comparison table appears to select option B. Block the selection interpretation when no
C.11ChoiceResult, decision record, or visible selection relation exists. Useful publication use remains: use the table as a bounded comparison underE.17.ID.CR, or applyC.11when selection is intended. -
A green dashboard tile appears to permit release. Block the release or gate-passage interpretation when no
GateDecisionRef, gate profile, evidence or currentness relation, and source relation are recoverable. Useful publication use remains: use the tile for source-finding and status orientation, then inspect the exact gate or evidence source if release work is intended. -
A generated explanation appears to prove a causal relation. Block the evidence or assurance interpretation when source pins and evidence path are absent or insufficient. Useful publication use remains: use the explanation as reader help or source-finding, then use
A.10for the evidence path orB.3for the engineering-justification claim. -
C.2.Pprevents the wrong object from being treated as source, the wrong relation from being treated as source relation, and a loose phrase from being treated as an FPF kind. -
E.17.AUDandE.17.AUD.OOTDprevent action on a publication unit whose primary subject, carried publication move, or outside boundary shifted silently. -
E.17.ID.CRprevents a comparison unit from being used as decision, equivalence, bridge, evidence, or release source relation. -
E.17.EFPprevents fluent explanation from laundering unsupported claims into reliance, assurance, gate, or evidence use. -
E.17MVPK prevents a readable publication face from being treated as evidence, gate, work, authority, or release source relation by display quality. -
F.18prevents a local name from becoming global identity without context, kind, lineage, and bridge or cross-context naming relation.
Anti-escalation examples. Do not apply a neighboring pattern when its claim being made is absent:
- Do not apply
F.18when a one-off local phrase repair restores the local kind, relation, and bounded use without minting a durable reusable name. - Do not apply
A.10when the publication-facing unit is not being used for reliance, evidence, provenance, currentness, or claim-bound evidence relation. - Do not apply
A.21when a dashboard tile is merely status orientation and noGateDecisionRefor gate profile is present. - Do not apply
F.9when a comparison does not claim sameness, substitution, bridge relation, or cross-context equivalence. - Do not apply
E.17.EFPwhen the text is only a same-entity rewrite or representation change underA.6.3.CRorA.6.3.RT.
Concrete reopen trigger. Name the condition and the nearest source-bearing side or the concrete definition, constraint, test, decision, evidence, work, or authority relation to revisit. A vague reopen if needed does not preserve the source relation.
Declared publication-face kind values at Part E
Part E restricts exact publication-face kind values to the literals publication face/form and interop publication form. PlainView, TechCard, InteropCard, and AssuranceLane are face designators, not additional U-kinds or automatic U.View memberships.
USM linkage (normative when exact scope identity is current). An ordinary face first states its bounded use. When that bound must be cited, exchanged, compared, or relied on independently, identify U.PublicationScope under A.2.6. For a face selecting episteme E, PublicationScope(face_E) ⊆ ClaimScope(E). For a face selecting a capability-description episteme about C, PublicationScope(face_C) ⊆ WorkScope(C). Neither inclusion grants permission to perform work or proves that work occurred. A cross-context semantic claim separately retains its F.17 endpoint senses, F.9 Bridge, bounded-use claim, and any current A.10 or B.3 reliance result. An optional F.9 CL summarizes evidence strength; it is not a relation or use condition.
Publication-face naming discipline.
- The exact
publication-face kindvalues remain publication face/form and interop publication form. - Concrete face designators end in ...View, ...Card, or ...Lane only within this family; the suffix does not establish kind membership.
PlainViewis a historical face name, not aU.Viewclaim. UseU.Viewonly for an episteme that passes E.17.0 conformance.AssuranceLanecan expose evidence bindings or pins, but it is not an assurance claim, evidence-sufficiency result, confidence verdict, gate, or release permission.- carrier, bearer, and holder retain their exact carrier or relation meanings and do not name a view or publication entity.
- Any legacy
ViewFamilyIdtoken is only the ordinary family designator used to retrieve one local E.17.1 declaration claim block inside an exact catalogue episteme edition; it is not a local id kind,U.View,U.Viewpoint, bundle-membership rule, or face kind.
Profiles select only needed faces.
- MVPK-Min: one selected face, normally a
PlainVieworTechCard-Lite, for one current reader/use. No assurance or interoperability face is implied. - MVPK-Lite: the minimum two or more faces needed by current readers; add
AssuranceLane-Liteonly for a real evidence-facing use andInteropCardonly for an exact external consumer. - MVPK-SetReady: add the faces and pins required for replayable or external interchange; concrete exchange formats remain outside Part E.
- MVPK-Max: use all four designators only when all four reader/use obligations are current. It is not the default completeness target.
- A -Lite face removes optional fields only, never claims. Enrichment adds fields or pins without retracting, widening, or strengthening the source claim.
The publication-face kit
The optional morphism-publication profile uses representation-side constructors, not another viewpoint ontology:
FaceObj_sis the conceptual object component for publication face designators.F_faceis the finite set of exact publication-form designators. Its default formality order isPlainView <= TechCard <= InteropCard;AssuranceLaneremains independent.Emit_s(-) : EpMorphism -> FaceMorph_sconstructs candidate publication-form content forswhen this formal profile is current. If that work also constructs a different claim-bearing episteme, identify that receiving episteme and its source relation separately.- The coherence rules in section 6 and the pin policy constrain this representation-side construction.
InteropCardmay carry exact interoperability-concern references; concrete exchange schemas remain outside Part E.
FaceObj_s, FaceMorph_s, and Emit_s are local conceptual-form symbols. They are not public U-kinds, U.Viewpoint epistemes, U.View individuals, publication occurrences, or presentation carriers.
Result. MVPK(f,F_face) yields a C.13 collection of selected publication forms, each paired with a current source reference and separate bounded-use declaration. If publication work constructs a different claim-bearing episteme rather than only a form of the selected source edition, identify that receiving episteme and its A.6.3 or other exact source relation separately; it is not the face. For each actual publication, E.24.PUB separately tests form expression, carrier bearing, and the five-participant publication occurrence with its declared audience, bounded use, and recurrence rule. E.17.0 conformance, A.22 organization, and C.29 representation remain separate and are checked under their own patterns. If a current use depends on organization among selected forms or among separately identified epistemes, select the exact U.Structure under A.22 from the corresponding exact collection, obtaining organizing relations, applied constraints, and use frame; the face collection supplies no structure by itself. PromoteFace[s->t] changes publication-form explicitness; it changes neither episteme identity nor viewpoint membership and adds no claims.
EntityOfConcern-side input and output vs publication (normative convention)
- Input and Output are signature-side declarations. The Input and Output sections of a morphism describe declared input and output data or episteme types under the morphism signature; they do not depend on any publication face.
- No duplication on faces. In the optional morphism profile, faces do not restate Input and Output lists; they carry only the source references, presence pins, and edition identifiers needed by the selected face and use.
- Use Signature only for signatures. Use Signature only when the named object is a signature under an applicable signature pattern, such as
U.Signature. On faces, use TechName or PlainName. - Set-returning comparison. Whenever a face shows selection or comparison, it returns sets or declared partial orders and does not hide scalarization; cite a
ComparatorSetReffor any total order. - Bridge and plane references. A semantic crossing cites its F.9 Bridge and separate bounded-use claim. A plane-dependent value cites its characteristic, selected
ReferencePlane, and applicable C.16 or A.19.CPM transfer or comparison rule. If B.3 is triggered and its assurance claim depends on an integration relation, retain that relation's B.3CLandΦ(CL)reference; infer no penalty from an F.9 Bridge or publication face. - Carrier references and relation positions. When the use depends on them, name the carrier reference, any A.10 evidence/provenance path or G.6 path citation, and the G.11 currentness result; keep
U.Workoccurrences distinct from epistemic claims via relation positions. - Publication is not execution. Publication morphisms carry no time or resource semantics; any build, render, or upload work is separate
U.Work.
Pins and local publication-profile fields (normative; never "axes")
Intent. Make publication-time numeric, comparison, evidence-reference, and crossing claims explicit and auditable without minting another public kind or importing geometric metaphors. This is an optional formal branch. An ordinary publication form retains only the source pins needed to interpret claims actually used from it.
Reuse existing value definitions. A measured aspect is an admitted U.Characteristic with its membership predicate and Scale. A product of characteristic slots is an admitted U.CharacteristicSpace. A publication-profile field, abbreviated locally as a PC field, is only a field in the selected E.17 formal profile: it points to one of those admitted values or to another value or relation whose meaning is already defined. A PC field is not a U. kind, characteristic, evidence relation, comparator, bridge, or viewpoint by being present.
Initial local fields. Use only the fields that the selected publication form and receiving use consume:
- PC.Number — a displayed numeric or comparable value of an exact
U.Characteristic; name the characteristic reference and its unit, scale, reference plane, and edition when they affect interpretation. - PC.EvidenceBinding — a reference to an existing A.10 evidence path, evidence carrier relation, F.9 Bridge occurrence or description, or optional F.9
CLnote; the field itself supplies no evidence, relation truth, or use permission. - PC.ComparatorSetRef — a reference to the comparator family used by a declared partial order.
- PC.CharacteristicSpaceRef? — an optional reference to an exact admitted
U.CharacteristicSpacewhen the claim is interpreted in that space.
These are local field names, not members of a catalogue of public kinds. A formal profile may declare another local field only by naming the admitted value or existing reference it carries, the predicate or relation that gives it meaning, the consuming publication use, and any required pins.
Norms (E17-PC).
- E17-PC-1 (Exact grounding). A numeric or comparable field resolves the
U.Characteristic, the membership or interpretation predicate or CG-Spec reference that gives the value meaning, and material pins{unit, scale, reference-plane, edition}. - E17-PC-2 (Lexical discipline). Forms and PC fields avoid “axis”, “dimension”, or geometric metaphors; use Characteristic, slot, and CharacteristicSpace where those admitted objects are actually meant.
- E17-PC-3 (No hidden arithmetic). A form does not hide aggregation or normalization; it cites the calculation or normalization definition and edition.
- E17-PC-4 (Crossing). For a semantic crossing, cite the F.9 Bridge and separate bounded-use claim. For a plane-dependent value, cite the selected
ReferencePlaneand applicable transfer or comparison rule. Add an F.9CLnote or B.3 penalty reference only when the receiving use actually consumes it; a field manufactures none of these relations or claims. - E17-PC-5 (Edition pinning). Fields that rely on maps, distances, spaces, set semantics, or transfer rules pin the exact applicable editions and trigger reissue when those editions change.
- E17-PC-6 (Viewpoint conditionality). The separate bounded-use declaration says why each field is present. Resolve
publicationViewpointRefonly when the selected episteme is claimed as aU.Viewor the formal operation actually depends on that viewpoint.PromoteFace[s->t]may reindex or annotate a form; it adds and widens no claim.
Publication-form responsibilities when this profile is selected. PlainView may show PC.Number only when the exact characteristic and material pins resolve; otherwise use qualitative wording. TechCard may add PC.ComparatorSetRef or PC.CharacteristicSpaceRef? only for a declared ordering or characteristic use. AssuranceLane may carry PC.EvidenceBinding only as a pointer to the exact evidence or policy relation. InteropCard remains notation-neutral and points to the references needed by the external consumer.
Extending the profile. Give a new local field a plain and technical label, the value or reference it carries, the predicate or relation that gives it meaning and establishes membership or applicability, the identity-relevant edition, pinning rule, and one named consuming use. If the work instead needs a new public ValueKind, return that as a separate kind-settlement and product decision; E.17 does not admit it by declaring a field.
Adding or changing invariants.
- Put a new invariant in the CG-Spec or other specification-use source that defines it; supply the test there.
- Version any affected
U.CharacteristicSpace, comparator, map, distance, or transfer rule; publish an explicit correspondence relation when semantics change and never mutate slots in place. - Update an
A.21gate check only when an actual gate consumes the invariant. Publication conformance can warn or block only according to the selected profile and bounded use; it does not create an operational gate. - State the edition-change and Lean-profile downgrade behavior that the concrete consuming use needs.
Author ergonomics (non-normative)
Quick author steps:
- Name source and reader/use. Point to the current source account and say what this reader must understand or do.
- Choose the minimum face set. Start with one face; add another only when a different reader/use needs different detail or form. Copy no claim that the source does not carry, and state material omissions.
- Publish, compare, and stop. Check the face against the source and stop when the named reader/use is served. Add exact viewpoint, scope, occurrence, pin, bridge, evidence, gate, or assurance records only when that stronger use makes their identities material.
For the optional morphism profile, declare F_face, pin numeric or comparable content once, and run only the composition and promotion tests actually claimed by the selected faces. A -Lite face may drop optional fields but never add or strengthen claims.
Rules and Invariants (normative)
Publication-composition local test bundle. A face that claims compositional publication passes five local tests:
identity:Emit_s(id_X)is the identity face morphism forFaceObj_s(X);composition witness: the face forg o fmatches the composition of the faces for f and g, or is marked non-compositional or explanatory-only;no-new-claim diff: comparison with the selected source episteme shows only formatting, indexing, pinning, or conservative construction;monotone promotion: a richer face adds fields, pins, or typing without retracting or strengthening the source claim;scope non-widening:U.PublicationScopestays within the exact claim or work scope used by the selected description.
For composable arrows X -f-> Y -g-> Z and exact s,t in F_face:
- Functoriality and typing per face.
Emit_s(id_X) = id_{FaceObj_s(X)}.Emit_s(g o f) = Emit_s(g) o Emit_s(f)only when the face carries the local witness.- If
f : X -> Y, thenEmit_s(f) : FaceObj_s(X) -> FaceObj_s(Y)is total in the selected formal substrate. An ill-typed composite blocks that formal claim; it is not repaired by weakening conformance.
- Face-promotion coherence.
- If
s <= t, the t-face is a more explicit publication form for the same selected source claims. PromoteFace[s->t]_X : FaceObj_s(X) -> FaceObj_t(X)is natural in X.- Identity and composition of
PromoteFacefollow the selected formal substrate.AssuranceLaneis outside the default formality chain.
- If
- Source episteme and construction.
- Every
Emit_suse names the exact source episteme edition. It resolves an exactpublicationViewpointRefonly when the selected episteme is claimed as aU.Viewor the formal operation's definition actually depends on that viewpoint. - When another episteme is actually constructed from the source, use A.6.3 to identify that source-to-receiving construction relation. The face constructor is not a species of
U.EpistemicViewing, and A.6.3 does not establishU.Viewmembership. - Changed claim content, EntityOfConcern, or effective reference scheme identifies another episteme under C.2.1. Changed form, carrier, or publication occurrence does not by itself.
- Every
- Pin discipline. Numeric or comparable claims used from a face retain the unit, scale, reference-plane, and edition pins required by the applicable characteristic and measurement patterns.
- Publication is not work. Build, rendering, upload, or delivery is
U.Workonly when each exact actual performer has its A.13 core and A.15.1 independently admits the dated occurrence. F.6 enters only when the publication account also consumes precise assignment-bound attribution through the same obtaining A.13 assignment; missing or failed F.6 leaves the Work intact. - Publication and carrier separation. E.24.PUB identifies the selected episteme edition, publication occurrence, form, and presentation carrier separately. A.10 supplies the evidence/provenance source-to-use path, G.6 supplies addressable path citation, slicing, and local refresh, and B.3 supplies any assurance claim.
- Cross-context and reference-plane use. For a semantic crossing, recover the F.17 endpoint senses, F.9 Bridge, and separate bounded-use claim. For a plane-dependent value, retain the characteristic, selected
ReferencePlane, and applicable transfer or comparison rule. Add A.10 or B.3 only when reliance is current; an optional F.9CLsummarizes evidence strength and never grants use. Visual juxtaposition and scheme difference alone establish none of these claims. - PublicationScope discipline. For a face use v selecting episteme E,
PublicationScope(v)does not exceed the claim scope on which that publication relies. A capability description may also cite a work scope, but the publication scope does not grant work admissibility.PromoteFacedoes not widen either scope.
The equations are conceptual-form constraints on the optional morphism-publication profile. They do not turn face symbols, formulas, or diagrams into world-side relations, viewpoints, views, publication occurrences, or work.
Objects used by the optional formal profile
In the optional morphism profile, the author selects source E and publication-form profile F_face; P is selected only for a material U.View claim or a formal operation whose definition depends on that viewpoint. A system performs any authoring, rendering, checking, or publication work. MVPK names the publication method and constraints.
Archetypal Grounding (SoTA-aligned Local Tests)
Read these examples as local tests for MVPK invariants, not as source citations by reputation.
Ordinary two-reader publication. An accepted interface account already states the service boundary, messages, and failure conditions. A project lead needs a short explanation and an integrator needs the typed details. Publish one PlainView and one TechCard, both pointing to that same account and stating what they omit; do not create InteropCard, AssuranceLane, a new viewpoint bundle, or a formal composition witness unless a later use actually needs them. The face labels establish neither U.View membership nor assurance.
The remaining examples exercise optional formal or load-bearing branches.
-
Composite service pipeline (
InteropCard+AssuranceLane).f: Parse → Normalize,g: Normalize → Score.InteropCard(g∘f)is an interoperability face whose path claim matches the declared relational composition of the two source claims;AssuranceLane(g∘f)cites the A.10 evidence/provenance path and, only when replay needs a stable path address, its G.6PathIdorPathSliceId. The faces neither establish that composition nor become evidence carriers. -
Control loop morphism (
TechCard+PlainView).- For
h: Setpoint → Actuation,TechCard(h)is a typed card with units;PlainView(h)narrates the same mapping with no new claims. (Monotone formalization echoes refinement‑typed specification toolchains.)
- For
-
Optics-informed composition witness.
- Profunctor and optic accounts are useful only as a source idea for why compositional publication matters. The local FPF test is still the MVPK witness: emit the face for
g∘f, compose the emitted faces forfandg, and compare them. If the comparison is not supplied or fails, the face stays non-compositional or explanatory-only; optics vocabulary does not carry the rule by analogy.
- Profunctor and optic accounts are useful only as a source idea for why compositional publication matters. The local FPF test is still the MVPK witness: emit the face for
-
Functional-description publication (
PlainView+TechCard). A principle scheme or functional diagram can publish a readable relation from signature or principle episteme content to method-family selection, selected method,U.WorkPlan, performedU.Work, work-result record, and result measurement. The MVPK faces can help inspect that relation and prepare a work plan, but they do not become work, gate passage, evidence, engineering justification, or control architecture. When one of those claims is current, recover its concreteA.15/A.15.1,A.10,B.3, orA.20/A.21record, or, for control architecture, a record of the exact architecture claim governed byC.30andA.22. UseC.30.LCAfor a separately current control-structure-view record andB.2.5for a separately current supervisor-subholon feedback record. If the needed record does not exist, create only a prospective repair, decision, or work-plan request rather than backdating the claim.
Bias-Annotation
E.17 blocks publication-face bias: a face, card, view, rendering, source pointer, dashboard tile, or generated explanation is treated as if readability or layout created the underlying claim, evidence, work, gate, authority, or release relation. It also blocks source-proximity bias: a source-proximate face points near source material or a source relation, but the operative source relation still has to be recoverable by value.
Conformance Checklist (normative)
CC-MVPK-FD is the functional-description guard in §5.1a. It is conditional on a functional-description publication face and does not function as the first universal MVPK gate.
A conformance check is kept only if it changes the next bounded use of the publication face, blocks a concrete overclaim, or preserves a source reference or reopen condition needed for the declared bounded use.
Core ordinary checks
Conditional checks
Common Anti-Patterns and How to Avoid Them
- “Presentation logic” as semantics. Fix: Keep every claim in the source ClaimGraph. When a reader needs to know how a claim arose, name the exact authoring, measurement, observation, model, source-use, representation, or refinement relation. Use an exact specification-use gate, CG-Spec, or KD-CAL when it owns the requirement; keep views declarative; publication adds zero claims.
- Publishing only endpoint faces.
Fix: The optional formal profile constructs faces for
g o f, not only endpoint faces forFaceObj_s(X),FaceObj_s(Y), andFaceObj_s(Z). A system performs the construction work. - Unpinned numbers. Fix: Reject card; supply pins plus CG and CHR references.
- Face presented as a view without conformance. Fix: Resolve the exact viewpoint episteme and apply E.17.0 to the exact candidate episteme; redesign or re-emit the face only after the semantic repair.
InteropCardequivalent toTechCardduplication. Fix:InteropCardcan refine typing or shape but cannot contradictTechCard(reindexing monotone).
Consequences
Rationale
Multi-view publication is needed because one account can serve several concerns without any face becoming the whole account. Source return, bounded use, and material omissions must be visible enough for ordinary reading; exact viewpoint, correspondence, currentness, publication, evidence, assurance, decision, architecture, and release relations are added through their concrete defining or checking patterns only when the receiving use needs them.
SoTA-Echoing: Adopted And Adapted Invariants And Rejected Shortcuts
SoTA and local-rationale alignment rule. Read each external-source row as source idea -> local FPF invariant -> practical local test -> shortcut rejected. A cited source contributes only the idea translated into this pattern. A row deduced from named current FPF patterns is labelled local design rationale and is not presented as external SoTA evidence.
(External references are retained only for the payload they contribute; named local rationales are deductions from current FPF patterns rather than claims of external SoTA support. MVPK remains notation-agnostic.)
Relations
-
Architecture ADR projection boundary:
C.32.ADRis the architecture-specific publication projection forArchitectureDecisionDescription@Project. E.17 keeps publication face, source episteme, carrier, scope, and downstream typed value separate for the broader MVPK claim. In that name,@Projectis a compatibility and retrieval cue only. E.17 infers no project entity, composite-work identity, context, authority, viewpoint, or parthood from it;C.30.ADandC.32.ADRmust identify the exact compositeU.Workand the direct description-use or publication-use relation when project locality is current. -
Builds on:
C.2.1for selected-edition identity;E.24.PUBforPublicationFormExpressionRelation,PublicationFormBearingRelation, and the exact publication occurrence;E.17.0for viewpoint andU.Viewmembership;A.22for selected structure;C.29for representation;A.7andE.10.D2for carrier, front-end, EntityOfConcern, Description-episteme, and specification-use discipline;A.6.2-A.6.3for optional source-to-candidate construction;E.8andE.10for authoring and publication-language discipline; and Part F and Part G for bridge, terminology, characteristic, and pin discipline. -
Constrains: publication-face-emitting automation and hand-written faces. When another episteme is constructed from a source, A.6.3 supplies the separate construction relation; E.17.0 separately tests viewpoint conformance, and E.24.PUB separately identifies publication occurrence/form/carrier. Readable form creates none of those relations, nor an evidence path, gate decision, work occurrence, assurance record, release source, or bridge declaration.
-
Neighboring-pattern boundary use: use the compact boundary aid in
E.17:5.1dwhen a publication-facing unit starts carrying work, reliance, evidence, assurance, gate, release, bridge, explanation, comparison, retargeting, carrier, or front-end claims beyond ordinary publication use. This Relations section cites that aid instead of repeating the whole map. -
Part F bridge wording boundary: when the publication face uses or invites "same", "equivalent", "align", "map", substitutable, interchangeable, attribute, entity, or profile matching, or other Bridge-wording pressure across contexts, use Part F and
A.6.9to repair the wording. Use F.9 for the Bridge and bounded-use claim, and F.9.1 only for a separate optional stance note about that claim. Neither object follows from a publication face, and no local Bridge taxonomy is introduced here. -
Coordinates with:
C.2.Pfor exact source-expression and source-to-use recovery before publication-facing wording is relied on;A.15.4for appearance-based reliance repair; C-cluster selection or archive patterns when separately constructed epistemes are selected or retained; CHR and UNM for measurement and normalization semantics; F.9 for exact Bridge occurrences, bounded-use claims, optionalCL, evidence and loss boundaries, and optional Cards; F.9.1 for separate optional stance epistemes; andA.6.9for sameness wording. Publication faces remain publication forms; their bounded-use declarations, selected or receiving epistemes, occurrences, and carriers remain separate, and face status never establishesU.Viewmembership.
Minimal authoring template (Part E)
Ordinary publication
- Current source/account:
<recoverable source and edition or current subject> - Reader and use:
<who needs what understanding or action> - Minimal publication-form set (MVPK faces):
<one or only the needed forms> - Bounded-use declaration for each form:
<reader, permitted use, and blocked stronger use> - Preserved and omitted:
<claims retained; material omissions or narrowing> - Return to source:
<where the reader checks or reopens the source> - Stop:
<why no additional face or apparatus changes this use>
Add only when triggered: exact publicationViewpointRef and E.17.0 conformance for a material U.View claim; exact U.PublicationScope; E.24.PUB occurrence/form/carrier identities; pins; F.9 Bridge and bounded-use claim; selected ReferencePlane and applicable transfer or comparison rule; provenance, evidence, gate, release, or assurance references for the concrete receiving use.
Optional morphism profile: declare F_face and the exact source morphism; use Emit_s and PromoteFace witnesses only for faces that claim compositional publication.
Manager’s one‑page review (copy‑paste)
We publish only the publication forms current readers need, each tied to the same recoverable source and a separate bounded-use declaration, with material omissions visible and no added claims. A selected episteme exposed through a face is a
U.Viewonly through E.17.0 conformance; publication occurrence, form, carrier, work, evidence, gate, assurance, and release remain separate. Exact identities and formal witnesses appear only when the receiving use depends on them.
E.17:End
Last Updated: 2026-09-10 — upstream FPF commit a87d0ef4 (github.com/ailev/FPF)