U.SignatureEngineeringPair — Constructive signature engineering (ConstructorSignature + TargetSignature)
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.
Type: Architectural (A) Status: Stable Normativity: Mixed (normative where RFC 2119 keywords appear; quadrant classification is governed by A.6.B) One-liner: explicitly modelling signature engineering as a two-signature arrangement (TargetSignature + ConstructorSignature), with strict separation between operator description and enactment as Work by systems or acting holons under current role assignment.
This pattern reserves the following tokens in Tech (normative) register:
Keywords
- signature engineering
- TargetSignature
- ConstructorSignature
- two-signature arrangement
- EFEM
- editioning
- retargeting
- slot/base change lexicon
- MVPK views (no new semantics)
- claim register
- no epistemic agency.
Relations
Content
PCP-TERM/LEX token guards (local-first)
This pattern reserves the following tokens in Tech (normative) register:
- TargetSignature — the engineered signature episteme (and its editions) under construction/stabilisation (not the EntityOfConcern, and not a Bridge “target Context”).
- ConstructorSignature — the enabling signature that describes constructor operations for TargetSignature evolution (do not mint a second Tech token such as
EnablingSignature).
Rename-guards (common collisions):
- enabling — Plain adjective meaning “producing/maintaining the TargetSignature”; it is not a
U.*token. - constructor — MUST be disambiguated as one of:
ConstructorSignature(episteme),constructor op(EFEM), or system/acting holon assigned a work-facing role for the enacted construction work. If the physics term is intended, spell “Constructor Theory” explicitly. - target — avoid bare “target” in Tech clauses; use
TargetSignatureor qualify the target (e.g., “Bridge target Context”, “target holon”). - contract — if source wording uses this Plain shorthand, recover whether it means
TargetSignature, Contract Bundle, promise content, commitment, or work/evidence. In this pattern the intended recovered value is usuallyTargetSignature; promises, duties, and gates are classified underA.6.BandA.6.C.
Problem frame
Boundary descriptions rarely arrive as fully formed signatures. They show up as “half‑signatures”: an n‑ary relation in natural language, a few overloaded markers (“binding”, “anchoring”, “contract”), and implicit assumptions about bases, scope, and viewpoints. Teams then evolve the boundary through incremental edits, reviews, and partial publications.
FPF already provides local disciplines that help unpack such text into well‑formed components: slot discipline (A.6.5) and explicit base declarations (A.6.6). What is usually missing is a first‑class description of the signature-engineering boundary that turns half-signatures into stable, publishable boundary-signature descriptions (“contracts” in Plain shorthand; see §0 guards)—an explicit ConstructorSignature for constructing and evolving a TargetSignature.
When signature construction is not explicitly modeled, three failures recur:
- the TargetSignature and the ConstructorSignature engineering work get conflated;
- semantic changes happen without being made explicit as retargeting or edition changes;
- published faces (views) drift into adding semantics, making TargetSignature meaning ambiguous.
Additionally, authors often (implicitly) treat a signature as if it acts (“the constructor builds the signature”).
In FPF this is a category error: an Episteme describes; any change is enacted by a system or acting holon under a current U.RoleAssignment.
A.6.S therefore must keep operator descriptions separate from their enactment as work.
Problem
FPF needs a pattern for engineering signatures as boundary epistemes: a disciplined way to construct, revise, and publish a target U.Signature from partial input, while maintaining:
- separation between signature and mechanism (A.6.0 vs A.6.1),
- separation between laws, admissibility, deontics, and work evidence (A.6.B),
- explicit multi‑view publication without semantic drift (E.17),
- reproducible evolution across editions without silent mutation.
Forces
- Stability vs evolution. TargetSignatures must be stable enough to coordinate, yet change as understanding improves.
- Explicitness vs overhead. Unpacking slots/bases/views increases clarity but also increases authoring effort.
- Effect‑free operators vs enacted work. The construction/change language should be expressible as effect‑free epistemic morphisms (no measurement/actuation),
yet the act of applying constructor operations to signature epistemes is still
U.Workdone by systems or acting holons under currentU.RoleAssignmentvalues and must be auditable. - Multi‑view richness vs semantic coherence. Views help stakeholders, but they risk becoming divergent “versions of truth”.
- Local meaning vs cross‑context reuse. Signatures should keep meaning local to a context; reuse across contexts requires explicit bridges and declared loss/penalty policy.
- Contract talk vs ontology. “Contract” language invites mixing promises, norms, and invariants; FPF requires quadrant discipline.
- No epistemic agency. It is tempting to phrase “the ConstructorSignature constructs…”. In FPF, only Systems act; epistemes do not.
Solution — two signatures and a small constructor vocabulary
Ontology and effect profile — constructor operators are epistemes; enactment is Work under role assignment
This pattern relies on Strict Distinction (A.7), transformation discipline (A.3.4), method/work discipline (A.3.1, A.3.2, A.15, A.15.1, A.15.2), and role-assignment discipline (A.2, A.2.1):
-
ConstructorSignature (operator description; EntityOfConcern and Description-episteme boundary). The ConstructorSignature is an Episteme (typically a Description/Spec) that describes a small family of constructor operations for signature evolution. The ConstructorSignature SHALL specify each constructor operation family as an instance/species of
U.EffectFreeEpistemicMorphing(EFEM; A.6.2) or a declared sub‑species (e.g., A.6.3/A.6.4): episteme→episteme morphisms over theC.2.1 U.EpistemeSlotRelationpositions (ClaimGraphSlot,EntityOfConcernSlot,GroundingHolonSlot,ViewpointSlot,ViewSlot,ReferenceSchemeSlot) plus attached meta/edition fields. As EFEM, constructor ops are effect‑free in the strict A.6.2 sense: no Work, no Mechanism application, and no mutation of systems or carriers. Concretely: an EFEM step derives a successor episteme (often a new edition) and its structured delta; the physical act of materialising that successor on carriers (files, repos, registries, releases, carrier/source-currentness records) is Work enacted by a system or acting holon under a current role assignment.Slot discipline alignment requirement (A.6.5 and C.2.1:7.1): a conforming ConstructorSignature SHALL state (for each constructor operation entry) which
C.2.1slots it may read and which it may write, expressed in SlotKind/ValueKind/RefKind terms, and SHALL declare whether that operation entry is a species of A.6.2, A.6.3, or A.6.4. -
Enactor (capability) vs enactment (world-contact). A system or acting holon with a current
U.RoleAssignmentuses a Method or MethodDescription that realises the constructor operations, and enacts particular steps as dated Work on carriers (repos, releases, pins, carrier/source-currentness references). This is where traces, review records, evidence bindings, and publication carriers appear.
Therefore:
- A ConstructorSignature describes how a TargetSignature may be constructed/evolved; it MUST NOT be written as if it performs the construction.
- Any step that performs measurements, actuation, validation runs, or other side‑effects is not an EFEM; model it as
U.Workor a mechanism, and classify resulting claims with A.6.B.
Core move: model signature engineering as a separate boundary
In a conforming design, model two signatures:
-
TargetSignature. The
TargetSignatureyou want to stabilize. It is aU.Signatureper A.6.0:SubjectBlock,Vocabulary,Laws,Applicability. It does not contain admissibility gates, deontic obligations, or evidence claims (those are classified by A.6.B). -
ConstructorSignature. A separate
U.Signaturewhose purpose is to describe the engineering operations used to construct and evolve the SoI. Intuitively: it is the boundary signature of the enabling activity that produces the target signature.
A.6.S names this pairing discipline U.SignatureEngineeringPair: a signature engineering arrangement where a ConstructorSignature is explicitly defined for (at least) one TargetSignature.
Minimal definition (informative): a U.SignatureEngineeringPair binds exactly two signature epistemes in the same Context: a TargetSignature (the boundary signature under stabilization) and a ConstructorSignature (the enabling signature describing the constructor operations used to build/evolve the TargetSignature).
Terminology note (C.2.1 alignment + twin discipline).
This pattern uses TargetSignature as the Tech role label for “the signature episteme under construction and stabilisation”.
If a Context wants an explanatory Plain label, it MAY use “signature of interest (SoI)” as a Plain twin for TargetSignature, but Plain twins are didactic only and MUST NOT appear in conformance/acceptance clauses.
Do not conflate:
- the TargetSignature (a signature episteme that is engineered and published), with
- the TargetSignature’s
EntityOfConcernSlot(C.2.1), which refers to the boundary or entity the signature is about; C.2.1 calls this the EntityOfConcern or entity of concern.
In C.2.1 terms:
- the TargetSignature is the episteme (and its editions) that we engineer and publish;
- the TargetSignature’s
EntityOfConcernSlotrefers to the entity of concern (the boundary in the world or model); - the TargetSignature’s
GroundingHolonSlotanchors where/how that boundary description is grounded.
If the “SoI” phrasing risks confusion with C.2.1 “entity‑of‑interest” talk, keep it out of Tech/normative prose and use TargetSignature vs ConstructorSignature consistently.
Mint-or-Reuse note (informative). This pattern introduces the following Tech names in the A.6 cluster:
- TargetSignature — the target boundary signature episteme being stabilised;
- ConstructorSignature — the enabling signature (episteme) describing constructor operations for TargetSignature evolution;
- U.SignatureEngineeringPair — the two‑signature arrangement (TargetSignature + ConstructorSignature).
If any Plain twins are used (e.g., “signature of interest”), they MUST follow the E.10/F.* twin discipline (1:1 mapping per Context, registry entry, and no use in normative register).
The intended shape is:
- TargetSignature is the published boundary signature used by downstream design and realization work.
- ConstructorSignature is the enabling signature used by authors and reviewers to produce and revise the TargetSignature in a disciplined, reproducible way.
This directly operationalises the idea already hinted in the A.6 cluster relations: A.6.5 and A.6.6 can be read as constructor/enabling operations for building well‑formed signatures. The new step is to bundle those operations into an explicit ConstructorSignature rather than leaving them as implicit editorial practice.
Minimal constructor operation vocabulary
A conforming ConstructorSignature SHALL (conceptually) expose a small, composable set of operations. At minimum, include two groups of constructor operations, drawn from existing A.6 subpatterns:
(A) Slot‑level constructor operations (from A.6.5)
Use the canonical slot verbs to express “what changed” without ambiguity:
bindorrebind(Identifier → SlotKind/slot‑instance; name binding only)fillinitialize(first fill)assign,set,write, orupdate(subsequent fill; by‑value replacement)retarget(Ref slot update; same SlotKind/ValueKind)substitute(typed replacement with explicit compatibility claim)resolveordereference(Ref → referent)pass(parameter filling at call boundaries)
Avoid “mutate” as a generic edit verb.
In Core, mutate/modify denotes referent‑internal change while the slot‑content (Ref handle) stays the same.
In edition‑disciplined contexts, prefer “revise, re-edition, and retarget” rather than “mutate”.
Guidance for naming (by slot qualifier) is inherited from A.6.5: e.g., Edit<SlotQualifier> for by‑value changes, Retarget<SlotQualifier> for ref changes, and avoid collapsing retargeting into generic “editing”.
(B) Base‑level constructor operations (from A.6.6)
Make base declarations and their evolution explicit via base‑change verbs such as:
declareBasewithdrawBaseDeclrebaserepointDependentrescoperetimerefreshWitnesseschangeBaseRelation
A ConstructorSignature does not need all of these in every use, but it must provide enough to express “what changed” when the SoI’s grounding base, scope, or anchoring assumptions shift.
Witness refresh note.
refreshWitnesses is an edit of witness bindings, not the generation of new evidence: producing/collecting new witness carriers is Work; refreshWitnesses only updates the base declaration to reference them.
Optional but common: view construction operations (A.6.3)
If the TargetSignature is published via MVPK (recommended), include constructor operations that produce views as EpistemicViewing (A.6.3) of the TargetSignature:
- “Emit MVPK faces” as views (PlainView, TechCard, InteropCard, AssuranceLane), explicitly treated as views and governed by E.17 “no new semantics”.
In particular:
PlainView,TechCard, andInteropCardMUST add no new claims beyond the underlying TargetSignature or Mechanism claim set.AssuranceLaneMAY include procedural adjudication guidance and carrier pointers, but any normative pass-or-fail criteria MUST be stated canonically asE-*claims and be cited by ID.
These are best modeled as view‑producing operations whose output is an MVPK face, with the explicit constraint that the face is a view and therefore does not introduce new claims about the EntityOfConcern. Publishing those faces (commits, releases, registry writes) is Work on carriers; it is not “the signature doing things”.
Change discipline: Viewing vs Retargeting vs editing
To connect signature engineering to A.6.2–A.6.6, treat changes in four buckets:
-
Viewing (A.6.3). Use when you change presentation (views, stakeholder cards, projections) while preserving the EntityOfConcern.
-
Slot and base construction edits (A.6.5 and A.6.6). Use when you unpack and make explicit what was implicit (slot kinds, ref modes, base declarations), or when you adjust the SoI’s internal structure without changing what it is “about”.
-
Editioning + reference retargeting (A.6.5). Use when the TargetSignature meaningfully changes and you need a new SoI edition for downstream coordination. In that case, do not silently mutate the existing edition: mint a successor edition and retarget references (
Retarget<…>in the relevant Ref slots) to the new edition. -
Epistemic retargeting and structural reinterpretation (A.6.4; rarer). Use only when
EntityOfConcernRefitself changes under an explicitKindBridgeand stated invariants (e.g., reinterpretation across kinds/planes). This is distinct from ordinary “new version of the same TargetSignature”.
Rule of thumb:
- If the change can be defended as “same TargetSignature, clearer publication”, prefer slot/base construction plus viewing.
- If the change is “new TargetSignature edition for consumers”, require a new edition plus explicit reference retargeting.
- If the change is “different EntityOfConcern or different kind”, use A.6.4 retargeting under
KindBridgewith explicit invariants.
EFEM discipline.
Every constructor operation family declared as an EFEM MUST declare entityOfConcernChangeMode ∈ {preserve, retarget} (A.6.2).
Editioning is orthogonal: you MAY mint a new edition even under preserve, but if you do, downstream references MUST be updated explicitly via slot discipline (A.6.5).
Any operation that performs measurements/actuation/side‑effects MUST be modeled as Work or Mechanism application, not as a constructor op.
Publication and claim discipline for reproducibility
A conforming signature engineering arrangement SHOULD include two publication‑adjacent constraints:
-
MVPK publication for the TargetSignature (E.17). Publish the TargetSignature through MVPK faces as
U.Viewprojections with viewpoint accountability (viewRef+viewpointRef). Each face must be explicitly treated as a view and must not introduce new semantic commitments beyond the underlying signature/mechanism claim set (per E.17 “no new semantics”). -
Claim Register for boundary discipline (A.6.B). Maintain a claim register that assigns stable identifiers to atomic claims and classifies them into the correct quadrant (L/A/D/E). The engineering benefit is that changes to the SoI can be tracked as changes to specific claims rather than as unstructured prose diffs.
This keeps signature engineering aligned with A.6.B’s separation:
- Laws are stated in the SoI (L-claims).
- Admissibility and operational gate conditions are governed by mechanisms (A-claims).
- Deontics are about agents (D‑claims), not about epistemes.
- Evidence/work effects are recorded as outcomes of work (E‑claims), not smuggled into signatures.
Signature-construction relation in a transformation-flow structure (informative)
If a team represents signature-construction work as an E.18 TransformationFlowStructure, the A.6.S constructor arrangement is referenced from that structure rather than converted into a second graph ontology:
- EFEM constructor operations appear as transformation-flow loci whose governed value is an A.6.2 effect-free episteme-to-episteme morphism over signature epistemes. They remain constructor-operation descriptions, not performed work.
- Concrete carrier writes (commits, releases, registry writes, carrier/source-currentness pinning) are performed-work loci or work occurrences governed by A.15, A.15.1, A.2/A.2.1 for role assignment when current, A.10 for evidence/provenance, E.17 for publication, and the relevant carrier patterns; they are not constructor operations.
- Validation and admission checks are gate/check loci governed by A.21, with
OperationalGate(profile),GateProfile,GateCheckRef,GateDecision, andDecisionLogRefnamed when a gate-decision relation is present. - Any
EntityOfConcernRefor kind change is a retargeting relation or structural-reinterpretation relation governed by A.6.4, with explicitKindBridgeplus invariants and witnesses.
This mapping is optional; A.6.S stays usable as a lightweight signature-engineering discipline even when no E.18 TransformationFlowStructure is declared. When it is declared, E.18 owns the flow structure and any graph or path mathematical description; A.6.S owns the signature pair and constructor-operation vocabulary.
State during construction (informative)
Do not mint a new kernel “signature state” unless you need it. In most cases, use:
- edition + explicit continuity/withdrawal links for semantic evolution, and
- a coarse status (
Draft/Review/Stable/Deprecated) for process signalling.
If a Context needs a finer state-change policy (e.g., “proposed → reviewed → published → frozen”), model it as Work policy in the ConstructorSignature’s Applicability or as a Context‑local state-change episteme; keep the TargetSignature semantics unchanged.
Where state-change policy is normative, express it as a Context-local status/state-transition policy for the relevant signature episteme or publication, with A.2.4/F.10 status-use discipline and A.6.5 slot discipline where needed, rather than minting a U.Role for the episteme or a new core “signature state”.
Archetypal Grounding — Tell–Show–Show
Tell. A TargetSignature becomes stable and evolvable when you model both the target signature and the engineering signature that constructs it, and you force every change to be expressed as either (a) a view, (b) a disciplined slot/base construction step, or (c) an explicit retargeting to a new edition.
Show — System archetype
Context. A payments microservice exposes an external boundary used by multiple client systems.
Half‑signature input (what arrives).
“Service binds a User to a PaymentMethod, anchors charges to the Ledger, and guarantees idempotency.”
Constructed signature epistemes.
-
TargetSignature:
PaymentBoundarySignature- Vocabulary: operations like
Authorize,Charge,Refund; slots made explicit (e.g.,UserRefSlot,PaymentMethodRefSlot,LedgerEntryRefSlot). - Laws (examples): “Charge is idempotent under IdempotencyKey”; “Refund does not increase net balance”.
- Applicability: bounded context = “Payments”, scope = “External API”.
- Vocabulary: operations like
-
ConstructorSignature:
PaymentSignatureEngineering-
Enacting system or acting holon under role assignment:
PaymentSignatureEngineeringPipeline(team + repo + linters + review protocol). It enacts the constructor operations as Work and produces new editions and publication carriers. -
Slot operations used (as operator descriptions; enacted via Work):
bind/rebindto bind API field names (e.g.,userId,paymentMethodId) to SlotKinds (UserRefSlot,PaymentMethodRefSlot) where a language expression exists,initializeoredit<...>to introduce SlotSpecs and to by‑value edit Vocabulary and Laws in the TargetSignature,resolve<…>to disambiguate overloaded prose markers (e.g., “idempotency”) into explicit SlotKinds + laws,retarget<LedgerRefSlot>when switching the referenced ledger holon/edition (ref change, not by‑value editing).
-
Base operations used:
declareBaseto ground “Ledger” via an explicit baseRelation and scope,rescopewhen moving from “internal ledger view” to “external client view”,refreshWitnesseswhen decision‑relevant evidence/pins must be updated for continued use.
-
-
Publication. MVPK faces published as views of the TargetSignature: a PlainView for non‑specialists, a TechCard for implementers, and an InteropCard for integrators, all derived without adding new claims beyond the canonical claim set.
What A.6.S prevents here. The phrase “guarantees idempotency” does not silently become a deontic promise or an operational gate. It becomes: (a) an L‑claim (law) in the SoI; (b) if needed, a mechanism‑level admissibility condition for when the guarantee holds; and (c) evidence claims in work logs when validated.
Show — Episteme archetype
Context. A research group publishes a “signature” for a boundary concept used across multiple theories (a common “interface” between models).
Half‑signature input. “We define correspondence between model A and model B; parameters are anchored to a reference dataset.”
Constructed signature epistemes.
-
TargetSignature:
ModelCorrespondenceSignature- Vocabulary: relation
Corresponds(A_model, B_model, Φ_bridge)with explicit slot kinds and ref/value modes. - Laws: invariants about correspondence preservation (“observable X is preserved up to tolerance ε”).
- Applicability: bounded context = “Model alignment”.
- Vocabulary: relation
-
ConstructorSignature:
CorrespondenceSignatureEngineering-
Enacting system or acting holon under role assignment:
CorrespondenceSignatureWorkbench(authors + toolchain) enacts constructor ops as Work. -
Slot operations used:
resolveto unpack “correspondence” into an explicit bridge slot;edit<Laws>(by‑value) to make tolerance explicit;retarget<ModelRefSlot>when moving from a draft model edition to a published edition.
-
-
Base operations used:
declareBaseto ground “reference dataset” as an explicit base with scope/time policy;retimewhen updating the reference window. -
Publication. The SoI is published in multiple viewpoints (e.g., a mathematical view and an engineering view). Differences are handled as views, not as semantic drift.
What A.6.S prevents here. “Anchored to a dataset” does not remain a vague metaphor. It becomes a declared base and, when the dataset changes, an explicit base‑change operation rather than a silent reinterpretation.
Bias-Annotation
Lenses tested: Gov, Arch, Onto/Epist, Prag, Did. Scope: Universal for signature engineering within the A.6 cluster.
-
Architecture bias (Arch): pushing a two‑signature structure can feel heavy for small boundaries. Mitigation: keep the ConstructorSignature minimal; reuse A.6.5/A.6.6 verb sets; treat views as optional unless publication demands them.
-
Onto/Epist bias (Onto/Epist): treating “editing the signature” as harmless can hide semantic change. Mitigation: use the Viewing vs Retargeting rule; material meaning changes become explicit retargetings.
-
Pragmatic bias (Prag): increasing discipline may slow down exploratory work. Mitigation: allow lightweight ConstructorSignatures early, and tighten conformance as assurance requirements rise.
Conformance Checklist
Common Anti‑Patterns and How to Avoid Them — Failure Modes
Consequences
Adoption test (informative). A Context is “A.6.S-ready” when, for every TargetSignature change, reviewers can point to (i) the constructor verb(s) used (A.6.5/A.6.6), (ii) the EFEM metadata (entityOfConcernChangeMode, slot read/write profile), and (iii) the Work records, role assignments when current, and carriers that enacted publication (A.15, A.15.1, A.2/A.2.1, A.10, E.17).
Rationale
The two‑signature move mirrors a recurring engineering insight: stable interfaces often require an explicit description of the enabling interface that produces and maintains them. Without this, “engineering the TargetSignature” happens implicitly, and the project loses semantic accountability.
A.6.S treats A.6.5 and A.6.6 as constructor primitives and makes them explicit in a ConstructorSignature. This yields a compositional change language: reviewers reason about a boundary’s evolution as sequences of named operations, instead of reverse‑engineering intent from prose.
Connecting signature engineering to A.6.2–A.6.4 provides a principled way to separate:
- Viewing: change the view, keep the EntityOfConcern.
- Construction edits: unpack structure without silently changing meaning.
- Retargeting: acknowledge a new TargetSignature edition and make the transition explicit.
Finally, classifying claims through A.6.B makes “contract” talk ontologically safe: laws, gates, norms, and evidence stop competing for the same paragraph.
SoTA binding note (informative). The separation between an operation signature and its effectful realization is adopted from modern algebraic effects/handlers; the U.View and U.Viewpoint responsibility discipline is adapted from ISO/IEC/IEEE 42010; and the “preservation under change” intuition is adapted from categorical optics (see A.6.S:11).
SoTA-Echoing
-
Adopt: algebraic effects and effect systems separate operation signatures from handler semantics. Contemporary effect systems emphasise that an operation signature can be described independently of how effects are handled. A.6.S adopts the same separation at the signature‑engineering level: the SoI remains the conceptual boundary signature, while construction work and operational enforcement are handled elsewhere (mechanisms, realizations, work evidence). This echoes row‑typed algebraic effects and modern handler formulations (Leijen 2017; Hillerström & Lindley 2018).
-
Adapt: categorical optics treat “focus” and “round‑trip laws” as a disciplined interface for bidirectional structure. Optics offer a compact mathematical language for “what is preserved” under a transformation and when updates are coherent. A.6.S adapts this mindset to boundary evolution: viewing corresponds to projection, and retargeting corresponds to an explicit transition with stated preservation claims. Profunctor optics provide a post‑2015 reference point for this style of interface reasoning (Pickering, Gibbons & Wu 2017).
-
Adapt: architecture description standards formalise
U.ViewpointandU.Viewresponsibility and reduce semantic drift across representations. ISO/IEC/IEEE 42010 treats views as products of viewpoints, with explicit stakeholder concerns and responsibility. A.6.S adapts that discipline to signature publication: MVPK faces are explicit views derived from the SoI, and the ConstructorSignature makes “how we got this view” part of the signature-engineering trace (ISO/IEC/IEEE 42010:2022). -
Adopt in spirit: behavioural protocol disciplines treat boundaries as typed interaction protocols with safety commitments. Session and behavioural type practice treats boundaries as protocols with progress and safety properties, which matches the A.6 split between signature laws and mechanism entry gates. A.6.S does not import tooling or typechecking, but it adopts the practice of making boundary interactions explicit and law‑governed (e.g., modern MPST practice as cited in A.6.1).
Relations
-
Depends on:
- A.3.1/A.3.2/A.15/A.15.1/A.15.2 — Method, MethodDescription, WorkPlan, Work, and work-result separation
- A.7 — Strict Distinction (object ≠ description ≠ carrier; Face ≠ Surface)
- A.6 — Signature Stack & Boundary Discipline
- A.6.0 —
U.Signature - A.6.2 —
U.EffectFreeEpistemicMorphing(constructor ops are EFEM species) - A.2/A.2.1 — role values and
U.RoleAssignmentwhen enactment needs a work-facing role value such asTransformerRole@Context - C.2.1 — Episteme slots (
EntityOfConcernSlot,ViewpointSlot,ViewSlot) and naming deconfliction - (optional) E.18 — TransformationFlowStructure, when signature-construction work is represented as a transformation-flow structure
- E.10 and LEX discipline — if the Context uses Plain twins (“SoI”) or shorthands, they must be registered and kept out of normative register
- A.6.3 —
U.EpistemicViewing - A.6.4 —
U.EpistemicRetargeting - A.6.5 —
U.RelationSlotDiscipline - A.6.6 —
U.AnchorAndBaseDiscipline - A.6.B — Boundary Norm Square & Claim Register discipline
- E.17 and E.17.0 — MVPK and multi‑view describing
-
Strengthens: A.6.5 and A.6.6 by making their operation vocabularies first‑class as constructor operations.
-
Constrains: Any signature evolution narrative: semantic changes must be explicit new editions + reference retargeting; publication faces must be viewings.
Integration pointers (informative)
Grounding pointers in the current FPF draft (for alignment while integrating):
- Canonical pattern template order and section requirements (E.8).
- SoTA‑Echoing requirements and avoidance of data governance/tool binding (E.8:11, E.8:8).
- A.6 cluster explicitly treats A.6.5/A.6.6 as constructor/enabling operations (motivation for A.6.S).
- A.6.2 “effect‑free episteme morphisms” boundary (constructor ops are EFEM; work/mechanisms are separate).
- A.3.1/A.3.2/A.15/A.15.1/A.15.2 method, method-description, work-plan, and work separation for “constructor described vs enacted”.
- A.7 strict distinction and Face/Surface separation (no object–description–carrier soup).
- A.2/A.2.1 role-assignment discipline plus A.3.4 transformation and A.15 work discipline (enactment is by systems or acting holons under role assignments; no epistemic agency).
- Slot operation lexicon and naming guidance (A.6.5).
- Base‑change operation lexicon (A.6.6).
- MVPK faces as fixed view kinds with “no new semantics” intent (E.17).
- Claim register and quadrant separation discipline (A.6.B).
A.6.S:End
Last Updated: 2026-06-17 — this section last modified in upstream FPF commit 205de763 (github.com/ailev/FPF)