Acting-Side Externalization and Reflexive Split
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: Part A architectural ontology pattern Status: Stable Normativity: Normative unless a section is explicitly informative
Use this pattern when a source says that something changes, repairs, configures, updates, verifies, teaches, controls, or improves itself, or when the acting side of a change is hidden behind a passive or self-action sentence.
Relations
Content
Use This When
Use this pattern when a source says that something changes, repairs, configures, updates, verifies, teaches, controls, or improves itself, or when the acting side of a change is hidden behind a passive or self-action sentence.
Typical moments:
- "the robot calibrates itself";
- "the model updates itself";
- "the document refreshes its own cross-references";
- "the organization corrected itself";
- "the system verifies that its own change succeeded";
- "the lathe makes the workpiece, therefore the workpiece is part of the lathe during manufacturing".
First useful move. Separate the exact continuing subject named as changed from the exact entity proposed for the acting side. Identify the changed subject by the identity rule that defines that referent. Before calling the acting-side entity a U.System, show that it satisfies the complete A.1 criterion; otherwise retain the exact U.Entity and its recognized | rejected | unknown disposition or exact blocker and leave the acting-system position empty. After recognition, name that U.System and recover its exact acting-side participation relation. Add an obtaining occurrence of one directly declared U.SystemRoleAssignment species under A.2.1 only when the work-facing claim uses it; use A.2.7 separately only for a relation among exact local system-role kinds. If an actual bounded change is current, use A.3.4's change test for that same continuing subject; use A.15 and A.15.1 for Method and Work, F.6 for Work attribution, A.10 for evidence, and A.1, A.14, or C.13 for holon and part-whole claims.
What goes wrong if missed. A system becomes its own cause, a document acts, a controller and controlled part collapse into one object, evidence becomes self-certifying, and a system that changes another holon is mistaken for the larger whole containing it without an obtaining part-whole relation.
What this buys. Self-action wording becomes a reviewable relation among one exact continuing changed subject, the exact entity proposed for the acting side, its same-entity U.System reading only after A.1 recognition, and any separately governed participation, role, method, Work, boundary-crossing, or evidence claims that are current. Reflexive use remains the narrower holon case with two exact parts or subsystems.
Not this pattern when.
- If the current question is whether a bounded change occurred, use
A.3.4. - If the current question is whether work was performed or succeeded, use
A.15andA.15.1. - If the current question is an assignment occurrence, use
A.2.1; if it is a relation among exact local system-role kinds, useA.2.7. For another participation relation, use the pattern that defines that relation. - If the current question is evidence independence or source use, use
A.10and the evidence-use or source-use patterns. - If the current question is part-whole admission, use
A.1,A.14, andC.13.
Problem Frame
A.12 keeps a causality-facing modeling discipline without creating a second transformation ontology.
The pattern does not say that every change is already established, that work succeeded, that the acting-side entity has already been recognized as a system, that it belongs to a special U.Transformer kind, or that boundary wording creates a durable boundary object. It says only this: when a claim depends on a change, recover the exact changed participant and the exact entity proposed for the acting side as distinct participants in that claim. When ordinary language says "self-", split the larger holon into distinct acting and changed positions before using transformation, method, work, evidence, or part-whole patterns.
Problem
Without A.12:
- Self-action hides the acting side. "The system changed itself" does not say which exact entity occupies the acting side, whether that entity satisfies the complete A.1
U.Systemcriterion, which exact continuing subject is claimed to change, or which direct relation defines the participation claim. - Transformation and work collapse. A bounded transformation, a method, a work occurrence, and evidence of success are treated as the same claim.
- Epistemes become agents. A document, model, source record, report, or theory is said to update, decide, authorize, or verify itself.
- Reflexive systems become single blocks. A regulator and regulated part are hidden inside one block, so failure analysis and architecture work lose the internal relation that mattered.
- Transformation becomes containment. A system changing another holon is treated as that holon's containing whole.
- Evidence becomes self-certifying. The acting system's own output is treated as sufficient evidence for the success or safety of its work.
Forces
Solution
Use A.12 as a thin acting-side pattern.
Acting-Side Externalization
For a change-bearing claim, recover this relation frame before relying on self-action wording:
The exact entity in actingEntityRef and the exact referent in changedSubjectRef are distinct participants in the current change-bearing claim. changedSubjectRef is a question-local position, not a U-kind or union ValueKind: its value keeps its independently admitted kind and the identity rule that defines that referent. A presentation carrier does not become a U.Holon by filling the position, and a transformation reference is filled only when the practitioner applies A.3.4's change test to that same continuing referent. Before A.1 recognition, the exact disposition or blocker remains explicit and actingSystemRef stays unfilled. After recognition, actingSystemRef identifies that same acting-side entity under U.System; it does not introduce another actor. The participants may be parts of a larger holon and may be tightly coupled, but the acting position is not the changed position for that claim.
ActingSideExternalization@Context is a relation frame, not a U-kind, acting-system kind, or evidence that change occurred. For each neighboring claim it names the exact subject and actual participants and may cite the pattern or rule that defines, constrains, or tests its direct predicate. Neither A.12 frame has a generic context, scope, or qualifier position. First ask what the qualifier changes. If it changes claim content, EntityOfConcern, or the effective reference scheme, C.2.1 identifies another episteme. If it selects whether one exact U.ContextSlice belongs to the set-valued applicability boundary of a claim, A.2.6 defines the exact U.ClaimScope and membership evaluation. Select a BoundedModelUseStructure under A.1.1 only when the named decision use depends on the joint organization of one model edition's applicability, actual use in assigned Work, fixed-content expression coherence, exact applied constraints, and a complete selection-use frame. Otherwise state the exact condition, value, or relation as a claim and apply or cite the rule that defines or tests it. Recover an exact defining or constraining ClaimGraph only when its identity materially changes interpretation, comparison, migration, conflict, publication, or reuse. Do not copy a claim phrase or nearby participants into an A.12 field, and do not invent one umbrella qualifier object.
Use:
[A.3.4](/generated/patterns/A.3.4)whentransformationRefbecomes current;[A.15](/generated/patterns/A.15)and[A.15.1](/generated/patterns/A.15.1)when method, work plan, work occurrence, or work success becomes current;[A.2.1](/generated/patterns/A.2.1)when an exact assignment occurrence becomes current, and[A.2.7](/generated/patterns/A.2.7)only when a relation among exact local system-role kinds becomes current;[A.10](/generated/patterns/A.10)when evidence or source independence becomes current;[A.1](/generated/patterns/A.1),[A.14](/generated/patterns/A.14), and[C.13](/generated/patterns/C.13)when holon identity, part-whole, or constructive grounding becomes current.
Reflexive Split
For "self-" claims, do not accept the self-action wording directly. Recover one larger holon and two exact entity parts or subsystems inside it:
ReflexiveSplit@Context carries no system-recognition position. Its two part-or-subsystem fields identify exact entities, not phases, assignments, relation occurrences, or generic structures. Each filled entity position needs an independently obtaining parthood or subsystem relation to containingHolonRef under A.14 and the direct part-relation specialization.
When the acting-position entity must also be evaluated as a system, use a companion ActingSideExternalization@Context: its actingEntityRef identifies that exact U.Entity; its disposition or blocker remains explicit before recognition; and its optional actingSystemRef may identify the same entity only after A.1 recognition. Do not insert actingSystemRef or an A.1 disposition into ReflexiveSplit@Context.
A temporal phase, system-role assignment, parthood occurrence, software-module description, or selected structure remains a separate object under the identity and relation rules that define it. A software component fills a part-or-subsystem field only when it is itself the exact entity and its direct part relation obtains. If a source supplies only unlike positions such as phases or assignments, state those direct relations and do not force them into this frame.
The minimal rule is:
for the current change-bearing claim.
Episteme And Publication Cases
An episteme does not act by itself. If a source says "the document updates itself", first recover the exact acting entity and decide which one of these different changed-object readings is current:
- Carrier-change reading. One exact publication file, representation carrier, or source-record carrier continues through a separately grounded change under its direct carrier identity rule. It may fill
changedSubjectRefas that exact carrier, not as aU.Holonmerely by carrier form; use A.3.4 only when the bounded change of that same referent is independently admitted. - Episteme-edition reading. Changed claim content identifies another episteme, with the predecessor, successor, and exact edition relation governed separately. Do not call it transformation of one unchanged episteme.
- Relation-occurrence reading. One exact episteme-related direct relation—for example constitution, empirical grounding, edition, reference, or publication use—obtains when its actual participants satisfy its direct predicate. Its direct identity and change rules determine whether that occurrence continues, ceases, or is replaced. Use C.2.1 for episteme identity and edition distinctions and E.17 or E.24.PUB for publication use. The relation occurrence does not fill
changedSubjectRef; if an actual change is also claimed, identify its continuing subject and A.3.4 facts separately.
Choose one reading before filling a singular field; never use a carrier, episteme, and relation occurrence as interchangeable values. Name the acting entity under U.System only after A.1 recognition, and fill a work-facing assignment only when one exact U.SystemRoleAssignment obtains. Use C.2.1, E.17, E.17.2, and the patterns for source use, publication use, carriers, editions, and evidence when those objects or relations are current. A.12 only prevents the sentence from assigning agency to the episteme.
No Containing-Whole Inference From Interaction
A system changing another holon does not thereby become its part or the larger whole containing it. A manufacturing, teaching, measurement, repair, control, telemetry, or source-use case may contain separately governed boundary-crossing, transformation, work, evidence, or publication-use claims; none is a part-whole claim merely by wording, and A.12 makes none of them obtain.
For a part-whole claim, use A.14 or the rule defining the exact part-whole predicate to test parthood independently of the interaction claim.
No Self-Evidence Shortcut
A.12 separates the acting side; it does not make the acting side's own output sufficient evidence for success, safety, adequacy, or authorization.
When evidence matters, use A.10's evidence and source-use relations; use B.3 when an assurance conclusion is also claimed. The evidence relation may use an observer system, measurement setup, independent source, audit record, or accepted stronger relation. A.12 only blocks the overread that acting and evidence are the same by default.
Archetypal Grounding (Worked Cases)
Robot Self-Calibration
Source wording: "the robot calibrates itself."
Recovered A.12 use:
The robot remains the containing holon. The two ComponentOf occurrences make the internal entity positions explicit. The companion acting-side frame carries the same-entity A.1 reading, the A.13 performer core, the independent A.15.1 Work admission, the later F.6 attribution through the same obtaining assignment, and the A.3.4 transformation as separate claims. The fact that the change occurs inside Robot-R17 does not remove the acting side.
Document Cross-Reference Update
Source wording: "the document updates its cross-references."
This case chooses the carrier-change reading rather than combining it with an episteme-edition or relation-occurrence reading. It invokes no reusable FPF carrier-identity pattern. Its bounded case-local rule treats PublicationFile-17 as the same carrier only if the file object opened for the build still exists when the build closes, every write targets that same open object, and the build neither deletes and recreates the file, atomically replaces it, nor substitutes another carrier. Use E.24.PUB to state what publication form that carrier bears; it does not supply this carrier identity. If a continuity fact fails, identify a replacement carrier and do not assert a transformation of one continuing file; if carrier identity is unresolved, stop. A changed C.2.1 episteme discriminator selects the separate episteme-edition reading, not carrier continuity.
Before the boundary, exact PublicationFormBearingRelation(PublicationFile-17, CrossReferencePublicationForm-26) obtains and the borne form contains stale form-level link addresses. During the boundary, the same open file object remains in place while its link-address state is rewritten; the build log records no replacement event. After the boundary, exact PublicationFormBearingRelation(PublicationFile-17, CrossReferencePublicationForm-27) obtains and the borne form contains the refreshed addresses. Those facts, the build-open/build-close boundary, and the case-local continuity rule ground PublicationCarrierChange-27 under A.3.4. They do not decide episteme identity: if claim content, EntityOfConcern, or the effective reference scheme changed, C.2.1 identifies another episteme and any historical continuation needs a separately governed edition relation.
BuildRunner-4 performs the update. The build script is the exact MethodDescription episteme in this case, not the acting entity or the Method by form. An episteme-edition case instead identifies predecessor and successor epistemes plus their exact edition relation. A reference-relation case instead identifies one exact relation occurrence and its direct governor. Each variant receives its own account; neither is inserted as an alternative value in this frame's singular fields.
Lathe And Workpiece
Source wording: "the lathe makes the workpiece, so the workpiece belongs to the lathe during manufacturing."
Recovered A.12 use:
MachiningWork-8 and MachiningTransformation-8 are independently identified; this account asserts no work-to-change relation between them. The additional sentence needed for a positive crossing claim is: "Lathe-3 transmits cutting force to Workpiece-8 during MachiningTransformation-8." No current FPF rule in this case defines the required relation kind, obtaining predicate, applicability, and occurrence identity for that sentence. Result: [A.6.RCD](/generated/patterns/A.6.RCD) missing-governor[receiving use: decide whether this force-transfer claim supports a boundary-crossing explanation without a parthood inference; participants: Lathe-3 and Workpiece-8; missing predicate or relation declaration: direct force-transfer or crossing relation]; holonBoundaryCrossingRelationRef stays unfilled. Fixture, control, and material-removal claims likewise need exact participants and a direct predicate or declaration that defines and tests each relation. Recover an exact defining or constraining ClaimGraph only when its identity materially changes interpretation, comparison, migration, conflict, publication, or reuse. Neither the independently identified Work nor transformation establishes parthood; use A.14 or another exact part-whole rule only for a separately supported part-whole claim.
Bias-Annotation
Conformance Checklist
Common Anti-Patterns and How to Avoid Them
Consequences
Positive consequences:
- Self-action claims become inspectable without denying real internal regulation.
- A.12 stays thin and does not duplicate transformation, method, work, role, evidence, or part-whole ontics.
- Epistemes and publications stop acting by wording.
- Internal control loops, build scripts, and automated changes become easier to audit.
- Manufacturing, teaching, measurement, repair, and control examples no longer imply holonic containment by default.
Costs:
- Compact "self-" sentences need unpacking before use.
- Some diagrams need one more internal distinction between acting and changed positions.
- Evidence cannot be accepted merely because the acting system produced a success message.
Rationale
Engineering and scientific models need a recoverable acting side for changes. Control, cybernetics, constructor-theory-style transformation talk, software automation, and assurance practice all penalize models where the same undivided object is cause, changed object, method, work occurrence, and evidence source.
FPF keeps that discipline without overbuilding A.12. The transformation ontic lives in A.3.4; Method and Work live in A.15 and A.15.1; a direct assignment species and its occurrence live in A.2.1; a relation among exact local system-role kinds lives separately in A.2.7; Work attribution lives in F.6; evidence lives in A.10; and part-whole admission lives in A.1, A.14, and C.13. A.12 supplies only the acting-side split needed before those patterns can be used cleanly.
SoTA-Echoing
Relations
- Builds on:
A.1for holon and System admission,A.2.1for a directly declared assignment species and its obtaining occurrence,A.2.7for relations among exact local system-role kinds, andA.3.4for bounded transformation. - Coordinates with:
A.10for evidence,A.14andC.13for part-whole claims,A.15andA.15.1for method and work,C.2.1andE.17for episteme and publication cases, andB.2.5for supervisor-subholon feedback relation. - Does not own: transformation occurrence evidence, work success, evidence independence, part-whole admission, MHT declaration, or the architecture of the larger holon.
A.12:End
Last Updated: 2026-09-10 — upstream FPF commit a87d0ef4 (github.com/ailev/FPF)