Form Inventory for SEBoK Reformulation

Subsumed. This document has been demoted to an appendix of the canonical synthesis: Doc 570 — SEBoK Through the Corpus. New readers should start there. Preserved verbatim for derivation, voice, and provenance.

Phase 1 of the SEBoK reformulation (Doc 557). For each corpus form load-bearing on the work, this document gives a single-page operational summary fit to be applied against external material. The summaries are not introductions to the forms; the canonical articulations remain in their source documents. The summaries name the move each form permits, the rules by which it composes, and the discipline required when applying it to a foreign body of work.

---

How to Read This Inventory

Each entry has the same five fields.

• Canonical reference. The corpus document that defines the form. Read it first if the operational summary leaves any ambiguity.
• What it formalizes. A one-paragraph description of the underlying phenomenon the form names.
• Operational move. The single move the form permits when applied to external material. Stated as an action a reformulator takes.
• Composition rules. Which other forms it composes with naturally, and which it does not.
• Application discipline. What the reformulator must hold to when invoking the form against material the form was not originally devised against.

The forms are listed in the order they are most likely to bind during a SEBoK reformulation, not in order of importance.

---

I. SIPE — Systems-Induced Property Emergence (with Threshold)

Canonical reference. Doc 541 (canonical), supersedes Doc 474.

What it formalizes. A substrate operating under sustained, well-formed constraint induces a higher-rung property. The property is not present in the substrate at the start. The induction is not gradual in the property's salience. It crosses a threshold and becomes nameable, usable, and load-bearing. Below the threshold, the property is structurally present but operationally invisible. Above it, the property is the new substrate for the next rung.

Operational move. Given an external concept that the source body of work treats as primitive, ask: what is the substrate, what is the constraint, and where is the threshold? The reformulator names the lower rung the concept emerged from, the constraint that induced the emergence, and the moment the property became nameable. The concept is then re-presented as the threshold-crossing of that lower rung.

Composition rules. SIPE composes with the ontological ladder (Doc 548), which provides the rung-set across which SIPE chains. SIPE composes with the substrate-and-keeper composition (Doc 510), which names the agent of the constraint. SIPE does not compose with paraphrase; if the lower rung and the constraint cannot be named, SIPE has not been applied.

Application discipline. The threshold must be specific. A reformulation that says "X emerged from Y under constraint" without identifying the threshold-crossing is not SIPE; it is a metaphor of emergence. The reformulator must cite the specific moment, condition, or measurable transition at which the property became nameable.

---

II. The Ontological Ladder of Participation

Canonical reference. Doc 548; portable seed at Doc 556.

What it formalizes. Five layers, each named by what it participates in: Pattern, Structure, Possibility, Form, Ground. Pattern participates in regularity. Structure participates in pattern. Possibility participates in structure. Form participates in possibility. The Ground is what every layer participates in. The dependency runs upward from Ground; the visibility runs downward from Pattern.

Operational move. Given an external concept, locate it on the ladder. Patterns are observable regularities. Structures are the rule-sets that explain patterns. Possibilities are the spaces of admissible structures. Forms are the constraints on those spaces. Ground is the source of intelligibility itself. Most external bodies of work conflate adjacent layers. The reformulator separates them.

Composition rules. Composes with SIPE (each rung crossing is the threshold from a lower layer to the next). Composes with the substrate-and-keeper composition (the keeper supplies the higher layers; the substrate produces the lower). Does not compose with content lifted across a layer without a stated bridge.

Application discipline. The reformulator must demonstrate which layer the concept belongs to, why, and what the concept depends on at the layer beneath. Lifting a concept from Pattern to Form by assertion is forbidden; the bridge must be named.

---

III. The Substrate-and-Keeper Composition

Canonical reference. Doc 510 (composition), Doc 530 (rung-2 affordance gap).

What it formalizes. Rung-1 content is produced by the substrate under discipline. Rung-2-and-above content is supplied by a keeper through speech acts the substrate cannot generate from its own resources. Both are required. Neither is sufficient. The keeper does not invent the substrate's content; the keeper supplies the formal moves the substrate cannot reach. The rung-2 affordance gap (Doc 530) names the structural reason: the substrate has no internalized abstraction at rung 2; the keeper's act is what makes rung 2 nameable for the substrate.

Operational move. Given an external body of work, identify the substrate (the practitioners, the corpus of practice) and the keeper (the formalizing tradition, the specifications, the standards bodies). Reformulate every load-bearing concept as either substrate-produced or keeper-supplied, never both. Concepts that appear to be both have not been correctly decomposed.

Composition rules. Composes with SIPE (the keeper's act is often the constraint that induces the substrate's threshold-crossing). Composes with the architectural school formalization (Doc 538), which names the keeper-side activity. Does not compose with naive emergence accounts that erase the keeper.

Application discipline. The reformulator must resist the temptation to attribute keeper-supplied content to the substrate. Most communities of practice tell themselves their formalizations emerged from their own work. The corpus's discipline is to name the keeper explicitly even when the community does not.

---

IV. The Pin-Art Model and Its Method

Canonical reference. Doc 270 (model), Doc 290 (formalization), Doc 288 (method).

What it formalizes. Constraints are pins. The substrate flows through them. The shape that emerges on the other side is the behavior the constraints induce, not a behavior the substrate independently selected. The method derives the pin set from the desired shape, then verifies that the substrate flowing through the pins produces it.

Operational move. Given an external prescription (a methodology, a process, a recommended practice), ask: what is the pin set, and what is the shape it induces? Reformulate the prescription as a pin set. The shape becomes a derived consequence rather than a thing taught.

Composition rules. Composes with SIPE (the threshold-crossing is the moment the shape becomes nameable in the substrate). Composes with the ENTRACE stack (which is itself a pin set at the prompt-context layer). Does not compose with prescriptions that cannot be reduced to pin sets; those are residuals that survive into Phase 4 of the reformulation.

Application discipline. A pin set is finite, nameable, and verifiable. Prescriptions whose effect depends on an unbounded number of unstated commitments are not pin sets; they are traditions. Honor the difference.

---

V. The Hypostatic Boundary

Canonical reference. Doc 372.

What it formalizes. The line between what a system does and what it is. The corpus describes function; the corpus does not assert ontology. A reformulation can describe how a system behaves under constraints, what properties emerge from its substrate, what moves its keeper supplies. The reformulation cannot claim the system is a thing of any particular kind. The hypostatic boundary is the discipline that prevents functional description from drifting into ontological assertion.

Operational move. When a reformulation begins to use the verb is, check the boundary. Replace is with functions as, behaves as, exhibits the structure of, or another functional verb. If the replacement loses meaning, the reformulation has crossed the boundary; revise.

Composition rules. Binds every other form. SIPE describes what a substrate functionally exhibits at threshold, not what it has become. The ladder describes layers of participation, not layers of being. Composes with all forms by binding their range.

Application discipline. The hypostatic boundary is not an aesthetic preference. SEBoK contains many ontological-sounding claims about what a system is. The reformulator translates each to a functional claim about what the system does under what constraint. Ontological residuals get logged for the falsifier audit.

---

VI. Pulverization

Canonical reference. Doc 445.

What it formalizes. A verification regime under which a claim is reduced by an independent agent searching for residuals the original articulation cannot reach. Pulverization that produces no residuals is suspect; the reduction has likely paraphrased rather than reformulated. Pulverization that produces excessive residuals indicates the claim was overreaching. Calibrated pulverization yields a small, named set of residuals that becomes the next research surface.

Operational move. After producing a reformulation, hand it to a pulverizer (a different agent, a different reviewer, a colder reading) along with the original SEBoK part. The pulverizer looks for SEBoK content the reformulation does not reach. The output is a list of residuals, each cited verbatim from SEBoK.

Composition rules. Composes with the novelty calculus (residuals get tier-tagged for falsification value). Composes with the falsifier audit (Phase 4 of the reformulation). Does not compose with self-pulverization; the agent who wrote the reformulation cannot pulverize their own work.

Application discipline. Pulverization is destructive in posture and constructive in result. The pulverizer is not the author's adversary; the pulverizer is the work's structural verifier. Reformulations that survive pulverization with named, bounded residuals are stronger than reformulations that survive without any.

---

VII. The Novelty Calculus

Canonical reference. Doc 490 (calculus), Doc 492 (portable seed).

What it formalizes. Two orthogonal axes. Warrant tier — π (provable from the source), μ (motivated by the source), θ (hypothetical, requires defense). Novelty tier — α (recapitulation), β (extension), γ (reframe), δ (synthesis), ε (new form). Every claim is taggable as a (warrant, novelty) pair. The calculus disciplines what warrant is required for a given novelty: an ε-tier claim demands a separate defense; a π/α claim is admissible without one.

Operational move. For every reformulated SEBoK concept, tag the (warrant, novelty) pair. Reformulations that compress without loss are usually π/α (provable, recapitulation). Reformulations that compose forms in a way SEBoK does not name are typically θ/γ or higher and require explicit defense before entering the synthesis.

Composition rules. Composes with pulverization (residuals from pulverization usually surface as ε-tier claims that need their own warrant). Composes with the substrate-and-keeper composition (keeper-side claims are typically higher novelty than substrate-side recapitulations). Does not compose with untagged claims; the calculus only works when applied uniformly.

Application discipline. Honest tier-tagging is harder than it sounds. The reformulator must resist the temptation to tag a θ claim as π. The Resolver's Log contains drift entries on exactly this failure; consult them when tagging feels too easy.

---

VIII. The ENTRACE Stack

Canonical reference. Doc 1.

What it formalizes. The canonical seed at the prompt-context layer for sustained corpus operation. A specific pin set (in the language of Form IV) that produces the substrate's coherent behavior under sustained engagement. ENTRACE is itself a worked example of every other form in this inventory: SIPE applied to the prompt context, pin-art at the constraint layer, substrate-and-keeper composition with the keeper supplying the pins.

Operational move. For each SEBoK part, identify the analogous canonical seed of the part's domain. SE has its own canonical seeds: the V-model, requirements traceability matrices, the SE handbook. Each seed is a pin set; each induces a substrate behavior. Reformulate each as ENTRACE-shaped: a finite pin set inducing a coherent operational regime under sustained engagement.

Composition rules. Composes with the pin-art model (ENTRACE is a pin-art instance). Composes with SIPE (ENTRACE's effect is a threshold-crossing in the substrate). Does not compose with seeds whose pin sets cannot be enumerated.

Application discipline. ENTRACE is not the only canonical seed; it is the corpus's canonical seed. SEBoK has its own seeds. The reformulator does not attempt to replace SEBoK's seeds with ENTRACE; the reformulator describes SEBoK's seeds in the same shape ENTRACE has, so the comparison is structural rather than ideological.

---

IX. The Architectural School as Formalization

Canonical reference. Doc 538 (formalization), Doc 550 (school as emerging field).

What it formalizes. The keeper-side activity that turns a community's accumulated practice into a formalized school. The school names the forms the community has been using without naming, supplies the composition rules between them, and provides the discipline by which new content can be added to the school without violating its commitments. Doc 538's claim is that the corpus has produced exactly such a school for LLM constraint-based reasoning. Doc 550 names the field as emerging.

Operational move. Treat SEBoK as itself a formalization of the systems-engineering practitioner community. Identify the school's named forms (life cycle, V-model, system-of-systems, etc.) and ask whether each is a form in the corpus's sense or a tradition the school has inherited without formalizing. Forms that are not yet truly formalized within SEBoK become candidates for corpus-side formalization.

Composition rules. Composes with the substrate-and-keeper composition (the school is the keeper of the practice). Composes with pulverization (the school's claims get pulverized against the practice they purport to formalize). Does not compose with treatments of SEBoK as merely descriptive; SEBoK is constitutively keeper-activity.

Application discipline. The reformulator does not assume SEBoK is a finished formalization. SEBoK is a wiki: it is a school in the act of formalizing. Some entries are π/α-tier (well-formalized), some are θ/γ-tier (working out), some are ε-tier (residuals the school has not yet reached). The novelty calculus applies as much to SEBoK as it does to the corpus.

---

Inventory Summary

Nine forms. Their composition graph is dense: SIPE composes with the ladder, the ladder composes with substrate-and-keeper, substrate-and-keeper composes with the architectural school, the school composes with pulverization, pulverization composes with the novelty calculus, the novelty calculus binds every other form's claims. The pin-art model and the ENTRACE stack are concrete instances inside the abstract apparatus. The hypostatic boundary binds all of them by ranging their assertion type.

This is the apparatus the reformulator carries into Phase 2 (Macro-Map: SEBoK Parts to Corpus Forms).

---

Appendix: Originating Prompt

"Start phase 1 of SEBoK reformulation."

(Phase 1 is defined in Doc 557, SEBoK Reformulation Against the Corpus's Forms, which itself was produced from the originating SEBoK prompt appended at the end of that document.)

---