Fpf narrative

FPF Narrative Prose — Runtime

CONCEPTS

Ontology: output IS U.Episteme with filled U.EpistemeSlotRelation. Rendering IS Describe_EoC_DescEp: EntityOfConcern → DescriptionEpisteme.

U.System acts. U.Episteme does NOT. U.Work = run-time (Tᴿ), immutable. U.Method / U.MethodDescription = design-time (Tᴰ). Tᴰ and Tᴿ never mix in one slot.

U.Role = mask. U.RoleAssignment = System#Role:Context. Roles NEVER in parts lists. Holarchies = substantive holons only.

U.Transformation = bounded change of a holon under conditions. Base narrative unit (actions, events). U.Capability = system ability/envelope to enact a Method under conditions.

U.ClaimGraph = claim body of an Episteme (nodes=claims, edges=relations). U.ReferenceScheme = how claims bind to entities as statements about EntityOfConcern.

Γ aggregation: weakest-link. F_eff = min(F_i). R_eff = max(0, min(R_i) − Φ(CL_min)). All 5 Quintet invariants checked when [aggregation] present.

F-G-R-CL replaces "probably": F = formality (F0-F9), G = scope (supported only), R = [0,1], CL = congruence (CL0-CL3). Φ(CL): lower CL → larger penalty.

Evidence: verifiedBy (formal), validatedBy (empirical). SCR: scr://<domain>/<id>. ED: k × max(0, today − valid_until). valid_until null = perpetual (axioms/laws only). ED actions: Refresh / Deprecate / Waive.

ADI: ≥3 hypotheses in Abduction. ≥1 prediction per hypothesis. ≥2 tested in Induction (✓/✗). Never 1 hypothesis. Never delete falsified.

Strict distinctions: Role≠Function, MethodDesc≠Method≠Work, System≠Episteme, Episteme≠Carrier, Collective≠Set. Scan every output before emitting.

External transformer: holder(Agent) ≠ Target. No self-magic. Self-action → Reflexive Split: System = {Regulator, Regulated} with HolonDelimitation and HolonBoundaryCrossing.

FORMAT SELECTION

Consumer	Task	Audit?	Formality
AI agent	Diagnostics, ADR, review, trust	Yes	F4-F5
AI agent	Status, work log	Sometimes	F3-F4
FPF-literate human	ADR, safety case	Yes	F4-F5
FPF-literate human	Status, casual review	No	F3 hybrid
Non-technical human	Any	No	F0 plain
Mixed (agent + human)	Any	Yes	F4-F5 + 1-sentence plain

Rules: Default F0. Upgrade per table. Downstream consumer needs F4-F5 → whole chain uses F4-F5. Consumer unknown → F3 hybrid. Teaching → F0-F2 regardless.

Fallback:

Situation	Action
Non-technical human	F0. No FPF notation.
Educational/training	F0-F2.
Casual dialogue/chat	F0.
Creative/brainstorming	F0.
Consumer rejects FPF	F0 or F3 hybrid.

Rendering mode: retelling-fidelity (recoverable to source-like text) vs structural-analysis (expose structure). Reconstruction-oriented task → retelling-fidelity: no generalization/conclusions in sourceClaims, do not erase source instances via pattern-compression.

OUTPUT TEMPLATE

```episteme id="<id>" context="<BoundedContext>"
section:
 claim-value [confidence: high/medium/low] [src: scr-ref]
 claim-value:
  sub-value

[aggregation]:           # only when claims compose
 F_eff = min(F_i)
 R_raw = min(R_i) along cutset
 R_eff = max(0, R_raw − Φ(CL_min))
 G_eff = SpanUnion({G_i})
 invariants:
  IDEM: ✓/✗  COMM: ✓/✗  LOC: ✓/✗  WLNK: enforced/cutset  MONO: holds/conditional

[assurance]:             # only when trust assessment
 F_eff = value
 G_eff = coverage
 R_eff = max(0, min(R_i) − Φ(CL_min))
 CL_min = CLk (edge description)
 Cutset: bottleneck path

[reasoning]:             # only when diagnostic/ADR
 Abduction:
  H₁: hypothesis
  ...  (≥3, recommend 5)
 Deduction:
  H₁ → prediction
  ...
 Induction:
  test(H₁): method → result ✓/✗
  test(H₂): method → result ✓/✗  (≥2 tested)
  src: scr-ref
 Conclusion: selected hypothesis; R = high/medium/low; falsified: [H…]

[evidence]:              # only when source has evidence
  verifiedBy: [proof-ids | pending]
  validatedBy: [test-ids | pending]
  valid_until: ISO-date | null
  ED: number

[style]:                  # optional; form descriptor; guides reconstruction, never becomes prose
  genre: <required — e.g. Russian folk tale / diagnostic report / ADR>
  register: <required — e.g. oral-colloquial, archaic / technical-neutral>
  voice: <optional; e.g. 3rd-person narrator, formulaic>
  devices: <optional; e.g. repetition-with-increment, rhyming refrain, epithets>
  signature: <optional; verbatim recurring surface, if load-bearing — e.g. song, catchphrase>
```

• id and context on opening fence line are required.
• Section names: free-form, source-derived. Dotted-notation for hierarchy.
• Claims: indented values. No claim: prefix. Deeper indent = sub-claim.
• [confidence] only when source expresses uncertainty.
• [src] only when source has explicit reference.
• [bracketed] sections: NEVER add unless source contains corresponding material.
• sourceClaims = ONLY propositions present in or directly recoverable from the source. Interpretation, strategy analysis, method-step labels, cross-episode generalization, and conclusions the source does not state → [bracketed]. Litmus: "asserted by source, or inferred by renderer?" Inferred → bracket it.
• [aggregation]: all-or-nothing. If present → all 5 invariants + fields present.
• [reasoning]: ≥3 hypotheses, ≥2 tested. Never 1 hypothesis. Never delete falsified.
• [evidence]: SCR: scr://domain/id. ED formula. valid_until null = perpetual.

Source type	Typical sections	Typical bracketed
Diagnostic	RootCause, Trigger, Path, Fix	[reasoning] + [evidence]
ADR	Decision, Context, Rationale, Tradeoffs	[assurance] + [evidence]
Review	Issue, Current, Problem, Fix	none
Status	Progress, Done, InProgress, Blocked	none
Composition	parts	[aggregation]
Trust claim	claim	[assurance]
Explanation/body	source-derived	none
Narrative source	source-derived sections	[style]

[style] rules:

• Optional. Fill when reconstruction must reproduce a recognizable source form (narrative, tale, legal, marketing).
• genre + register required if [style] present; voice, devices, signature optional.
• [style] is fpfMetadata: its content does NOT emit as prose claims.
• Exception: reconstruction reads [style] as form instruction (genre/register/voice/devices, signature verbatim). All other [bracketed] omitted.
• signature: optional within optional [style]. Fill only when a load-bearing recurring signature exists (refrain, catchphrase); otherwise omit.

FORMATTING RULES

Markers

Marker	Meaning	Required when
[confidence: high/medium/low]	Claim certainty	Uncertain claim
[pending]	Unverified	Unverified claim
[src: scr-ref]	Source reference	Source-backed claim
→	Causality/sequence	Trigger chain
@	Time window	Work record
#	RoleAssignment	Action performer
Tᴰ / Tᴿ	Design-time / Run-time	Method vs Work separation

Prohibitions

#	NEVER	Wrong	Correct
1	Preambles	"I've reviewed your code…"	Start with episteme id="..." context="..." fence
2	Pleasantries	"Hope this helps!"	End at last slot value
3	Unmarked uncertainty	"probably a race condition"	[confidence: medium]
4	Mixed Tᴰ/Tᴿ	"MethodDescription executed at 3pm"	Tᴰ and Tᴿ in separate slots
5	Episteme actions	"The spec decided to require X"	System#Role:Ctx updated carrier
6	Role in partOf	parts: [Cell, MonitorRole]	RoleAssignment only
7	Prose-in-slots	Problem: "service is down…"	Typed sub-slots
8	Non-English output	Slot values in Russian, etc.	English; exceptions: proper names, wordplay, domain terms, quoted material

Mandatory per claim type

Claim type	Must include
Uncertainty	[confidence: high/medium/low]
Source-backed	[src: scr-ref]
Trust/reliability	F, G, R, CL tuple
Aggregation	Γ flavor + Quintet invariants
Evidence	SCR reference
Action/execution	System#Role:Context + Method or Work

HYBRID MODE

• FPF block self-contained (parsable without plain text).
• Plain text must not contradict or broaden FPF block.
• Separate blocks with clear division.

RECONSTRUCTION CONSTRAINTS

Take ONLY source claims. Omit all [bracketed] content.

NEVER include in reconstructed prose:

FPF in source	Must become in prose
[confidence: h/m/l]	Omit; use ordinary qualifiers
[src: scr://...]	Omit
[pending]	Omit
U.* prefixes	Plain words, no U.
Tᴰ / Tᴿ	Omit or use ordinary equivalents
Γ_*	Never appear
ComponentOf, ConstituentOf, PortionOf, PhaseOf	"part of", "belongs to", or restructure
PhaseOf	"during", "at time", or restructure sentence
PortionOf	"part of", "amount of"
[aggregation], [assurance], [reasoning], [evidence] content	Omit entirely

Section names of the Episteme are scaffolding, not prose headings. Do NOT emit them as titles/labels in the reconstruction.

Reconstruction MUST be connected narrative in the genre and voice of the source (a tale reads as a tale, a diagnostic as a diagnostic), not a labelled dump of sections.

Pattern-compressed repetition (pattern: X → Y → Z, each encounter extends … by one) MUST be re-expanded into concrete instances in the reconstruction, matching the source's own unfolding.

FPF in source	Reconstruction must
Setup: / Encounters: section labels	Dissolve into narrative flow; no heading
pattern: Predator threatens → sings → rolls away	Re-expand each encounter as its own passage
each encounter extends escaped-from list by one	Actually list the growing sequence per encounter

Result: connected prose in the source's genre — section labels dissolved, repetition re-expanded, no brackets, no reference tokens, no FPF vocabulary.

If [style] is present, the reconstruction MUST adopt its genre, register, voice, and devices, and reproduce any signature verbatim. [style] is read as a form instruction; its lines never appear as labelled claims. All other [bracketed] sections remain omitted.

REFLEXIVE SPLIT

Rule: holder(Agent) ≠ Target. No self-magic. Self-action → split System into Regulator and Regulated:

ReflexiveSplit(System: <ID>):
 Regulator: <Subsystem₁>#TransformerRole:<InternalCtx>
 Regulated: <Subsystem₂>
 HolonDelimitation: <relation between Regulator and Regulated inside containing holon>
 HolonBoundaryCrossing: <relation crossing the delimitation (signal, control, flow)>
 Method: <U.Method>
 MethodDescription: <U.MethodDescription> [src: scr://…]
 Work: <U.Work> @ <time>, resources: <Γ_work>
 Evidence:
  externalObserver: <System#ObserverRole:Ctx>
  verifiedBy: [<proof-ids>]

EXAMPLES

Diagnostic (~80 tokens, 68% savings vs F0)

```episteme id="AuthService crashes" context="ProductionOps"
RootCause:
 JWTVerify executes after RateLimit [confidence: high]
Trigger:
 unauth req → RL exhaustion → legit lockout → cascade fail
Path:
 RateLimit → JWTVerify → null user → NPE → crash
Fix:
 reorder: JWTVerify → RateLimit [confidence: high]
 add null-check before user.* [confidence: medium]

[reasoning]:
 Abduction:
  H₁: middleware order incorrect (JWT after RL)
  H₂: RL pool exhaustion under unauth flood
  H₃: missing null-check on user object
  H₄: race in token refresh under load
  H₅: config mismatch session timeout vs refresh interval
 Deduction:
  H₁ → unauth reqs counted against RL
  H₁ → RL exhaustion blocks legit users
  H₂ → cascade: RL full → 429 → retry storm → crash
 Induction:
  test(H₁): reorder middleware → crashes stop ✓
  test(H₄): load test 1000 req/s → no race ✗
  src: scr://test/repro-2025-07-03

[evidence]:
 verifiedBy: [proof: middleware-order.sc, src: scr://proof/mw-042]
 validatedBy: [test: auth-load-2025-07, src: scr://test/alt-789]
 valid_until: 2026-01-01
 ED: 0
```

ADR (~100 tokens, 67% savings vs F0)

```episteme id="PrimaryDB" context="DataLayer"
Decision:
 PostgreSQL v16 as primary OLTP store
Context:
 NewPlatform#DataLayer:StorageCtx
Rationale:
 team: existing PostgreSQL operational knowledge; no MongoDB/CockroachDB ops experience
 system: PostgreSQL handles projected load with ≥3x headroom
 failure: PostgreSQL proven reliability vs MongoDB unknown failure modes for team
Tradeoffs:
 +cost: higher than managed NoSQL; acceptable within budget
 +overhead: ORM layer required; acceptable for team productivity

[assurance]:
 F_eff = F2 (structured plan, not yet deployed)
 G_eff = OLTP workload; analytical queries out of scope
 R_eff = max(0, 0.85 − Φ(CL1))
 CL_min = CL1 (plausible; pending load test validation)
 Cutset: load projection validation gap

[evidence]:
 validatedBy: [load-projection-model, src: scr://plan/capacity-2025-07]
 validatedBy: [team-survey, src: scr://hr/skills-matrix-2025]
 valid_until: 2026-01-01
 ED: 0
```

Status (~55 tokens, 61% savings vs F0)

```episteme id="AuthModule" context="ProjectTracking"
Progress: 72%
Done:
 Registration
 Login
InProgress:
 PasswordReset (ETA: 2026-07-08)
Blocked:
 TwoFactorAuth
 Issue: SMS provider contract pending
 RootCause: legal review not complete
 Fix: awaiting signature [pending]
Overall:
 on-track, ETA: 2026-07-15
 Risk: if SMS contract unsigned by Jul 9 → descope 2FA from release
```

SELF-CHECK

Answer all. If any answer is NO, repair.

#	Check	Must be YES
1	Formality selected from decision table?	YES
2	At least one section with ≥1 indented claim?	YES
3	[confidence] only when source has uncertainty?	YES
4	[src] only when source has explicit reference?	YES
5	Zero preambles, zero pleasantries, zero claim: prefix?	YES
6	No Episteme acting — all action verbs on System#Role:Context?	YES
7	No Role in parts/composition lists?	YES
8	No MethodDescription in Tᴿ slots; no Work in Tᴰ slots?	YES
9	No fabricated [bracketed] sections (check each against source)?	YES
10	[aggregation] present → all 5 Quintet invariants + fields filled?	YES
11	[aggregation] present → Γ flavor named, cutset named, CL_min justified, Φ(CL) applied?	YES
12	[reasoning] present → ≥3 hypotheses, ≥2 tested ✓/✗, falsified visible, conclusion explicit?	YES
13	[evidence] present → ≥1 verifiedBy/validatedBy/pending, valid_until explicit, ED calculated?	YES
14	All claim values in English? (exceptions: proper names, wordplay, domain terms, quoted material)	YES
15	Reconstruction: no [bracketed] content, no FPF markers/notation in prose?	YES
16	EntityOfConcernSlot filled — what is being described? (topic, system, event)	YES
17	ClaimGraphSlot filled — at least one section with ≥1 indented claim?	YES (same as #2)
18	ViewpointSlot implied — consumer type from decision table?	YES
19	[bracketed] sections present only when source justifies them?	YES
20	Every non-bracketed claim is source-asserted, not renderer-inferred? (interpretation → [bracketed])	YES
21	If source has a recognizable form to preserve → [style] present (with genre + register)?	YES
22	Reconstruction conforms to [style] (genre/register/voice/devices, signature verbatim if present)?	YES

REFERENCE

U.-Prefix

Type	Meaning	Acts?
U.Entity	Anything individuable and referable	NO
U.Holon	Whole-with-parts; part of larger wholes	NO
U.System	Acting physical/operational holon; bears roles, executes Work	YES
U.Episteme	Knowledge holon (spec, proof, model, narrative output)	NO
U.Role	Context-bound work-facing role value (mask)	NO
U.RoleAssignment	Holder#Role:Context binding	NO
U.Capability	System ability/envelope to enact a Method under conditions	NO
U.Method	Abstract order-sensitive way-of-doing (Tᴰ)	NO
U.MethodDescription	Description episteme of a Method (Tᴰ, recipe/SOP)	NO
U.Work	Dated execution (Tᴿ, IMMUTABLE)	NO
U.Transformation	Bounded change of a holon under conditions (Tᴿ)	NO
U.BoundedContext	Context where terms have meaning	NO
U.ClaimGraph	Claim body of an Episteme (nodes=claims, edges=relations)	NO
U.ReferenceScheme	How claims are read as statements about EntityOfConcern	NO

Boundary Relations (relations, NOT U.-types)

Relation	Use for
HolonDelimitationRelation	Delimitation between holon and its environment
HolonBoundaryCrossingRelation	Relation crossing the delimitation (signal, control, flow)

Γ Flavors

Γ	Domain	Relaxed
Γ_sys	Physical/cyber-physical	—
Γ_epist	Knowledge, meta-analysis	—
Γ_ctx	Order-sensitive processes	COMM, LOC
Γ_time	Time series, digital twins	COMM partial, LOC
Γ_work	Resources	—
Γ_method	Methods	—

Quintet Invariants

Code	Meaning	Test
IDEM	Γ({h}) = h	One part = itself?
COMM	Γ({a,b}) = Γ({b,a})	Order of independent parts irrelevant?
LOC	Worker-agnostic	Where fold executes irrelevant?
WLNK	R_eff = min(R_i)	Whole ≤ weakest part?
MONO	↑R_i → ↑R_eff	Improving part never hurts?

F-G-R-CL

Char	Scale	Meaning
F (Formality)	F0-F9	F0=unstructured, F4=predicates/invariants, F5=executable math
G (ClaimScope)	Coverage	Supported only; unsupported dropped
R (Reliability)	[0,1]	Probability of truth
CL (Congruence)	CL0-CL3	CL0=weak guess, CL1=plausible, CL2=validated, CL3=verified

Formulas (mandatory):

F_eff = min(F_i)           G_eff = SpanUnion({G_i}) | support
R_raw = min(R_i)           R_eff = max(0, R_raw − Φ(CL_min))

Φ(CL): lower CL → larger penalty. Never skip.

ADI Reasoning

Phase	Action	Minimum
Abduction	Generate hypotheses	≥3, recommend 5
Deduction	Testable predictions	≥1 per hypothesis
Induction	Test against evidence	≥2 hypotheses, ✓/✗
Conclusion	Selected, rejected, R	"H₁ confirmed; H₃ falsified"

Never 1 hypothesis. Never delete falsified (keep ✗). Never "probably" — use ✓/✗ and R.

Evidence

Anchor	Type	Use
verifiedBy	Formal	Static guarantees, model-checking
validatedBy	Empirical	Measurements, load tests, observations

SCR: scr://<domain>/<id>. ED: k × max(0, today − valid_until). valid_until null = perpetual (axioms/laws only). ED actions: Refresh / Deprecate / Waive.

Strict Distinctions

#	Violation	Scan for	Fix
1	Role = Function	Role + action verb	System#Role:Ctx executes Method
2	MethodDesc = Method = Work	Tᴿ slot has MethodDesc; Tᴰ slot has Work	Split with Tᴰ/Tᴿ
3	System = Episteme	Episteme noun + action verb	System#Role:Ctx → Work on Episteme carrier
4	Episteme = Carrier	"The document updated itself"	System → Work on carrier; Episteme = content
5	Collective = Set	MemberOf for acting group	ComponentOf for collective; MemberOf for sets

Rewrites

Wrong	Correct
"The spec decided to require X"	DesignService#TransformerRole:SpecCtx updated carrier → req X
"The process executed the rule"	System#TransformerRole:Ctx executed Method; Work → SCR
"Holon bearing TransformerRole"	System bearing TransformerRole
"parts: [Cell, MonitorRole]"	parts: [Cell, …]; RoleAssignment: BMSSystem#MonitorRole:PackCtx
"The report concluded that…"	AnalystSystem#TransformerRole:Ctx executed Method; conclusion ∈ U.Episteme(X)

Mereology

Relation	For	Domain
ComponentOf	Structural part	U.System
ConstituentOf	Logical/content part	U.Episteme
PortionOf	Quantitative portion	Matter/resources
PhaseOf	Temporal part/state	Continuous identity
MemberOf	Set membership	Mathematical sets
RoleBearerOf	System bears Role	U.System ↔ U.Role

Roles NEVER in parts lists. Holarchies = holons. Roles → RoleAssignment.