Library / First Principles Framework (FPF) - Core Conceptual Specification
Jump to passage
In this reading

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 05:29:54 UTC · snapshot created 2026-10-03 05:30:57 UTC · last check 2026-10-03 06:35:10 UTC

E.4.DPF:7 - Conformance Checklist

CheckPassing condition
CC-DPF.1 Use frame declaredIntended reader, first use, stop or wrong-turn return, effective ReferenceScheme, ClaimScope, and qualification window are named. Any non-use boundary passes F.19’s grounded-contribution test; an optional BoundedModelUseStructure appears only when its organization changes interpretation.
CC-DPF.2 Source basis and synthesis routeThe DPF names the source situation and uses the smallest route that returns the needed result: direct reliance, a maintained synthesis or guide, F.1, F.0.2, an optional G.2 pack, an earlier DPF, or a derived lookup. Adopted and rejected payload, source roles, examples, currentness, partial lookup limits, and reopen conditions are recoverable. Pack conformance, source counts, and lookup misses are not treated as domain-claim evidence.
CC-DPF.3 Architecture answer when neededA cheap route or stop closes without a DRR when it settles no later-used framework decision. Otherwise one E.9 DRR guided by E.4.PFAD records one of five outcomes: a new or revised framework, a contribution to an existing framework, a non-framework product, a thinner publication or access route, or no new maintained product now. For a framework answer it also records the field and practice promised by the public name; coverage, representative application, edition and dependency decisions, initial pattern placement and material relations; publication or access consequence; alternatives; action; and reopen condition. Answer, acceptance, DRR, relation records, edition dependencies, package architecture, authoring, and publications remain separate.
CC-DPF.3a Framework scale and singleton diagnosticpattern_count = 1 is reported as a strong diagnostic, and the same semantic test is run at every count. A new first edition supplies an adequate pattern language for its declared field or practice: a coverage map, selected problem-family pattern sets and material relations, a representative application, an internally usable first-edition set, honest omissions and source returns, and a credible edition, change, and refresh boundary. A candidate fails when these contributions are missing or do not work together, not because of its count.
CC-DPF.3b Internal and external first-use closureThe first-edition set includes every selected pattern and same-framework prerequisite needed for the named first use. Before keeping, merging, removing, profiling, reusing, externally supplying, or omitting a narrower contribution, apply E.8:4.1.3 and distinguish an available result and supplying product, a MethodDescription, direct-source evidence, and a named unavailable result. External results remain external; identify each result and the content relied on; state the result’s direct kind, supplying product, edition or current state, receiving use, discovery route, material currentness or availability condition, and externality. State maintenance separately only when it changes that use. For the receiving use, the external result is either the content relied on or identifies that content. If that use also requires a separate availability or compatibility result, identify that result and the basis on which it applies. An edition dependency adds direction, reason, and refresh only when that relation obtains. A missing required result is a first-use blocker. After a material promised-family change, obtain the current E.4.DPF.DA D12DomainProblemFamilyCoverageAdequacy result for the resulting DPF or LPF edition; reuse it only while the edition and basis remain unchanged, without proof that a revisit occurred.
CC-DPF.3c Accepted practice-architecture inputWhen professional Method coverage changes the architecture answer, one exact accepted E.4.PFAD answer projects five connected claim groups from its compact answer rather than creating a second record. Each bounded practice claim or promised contribution carries its own obtaining or possible-future status; mixed statuses may coexist, and every selected question and DPF disposition names the claim or claims it consumes. Incumbent Work, development or trial Work, candidate-practice Work, A.13 agency claims, and public coverage retain separate status. An obtaining Agent-performer branch uses A.13’s core; A.15.1 independently admits actual Work; F.6 follows only for a precise assignment-bound attribution through the same assignment; a characteristic profile is required only for a consumed Grade, autonomy or profile result, criterion-dependent characteristic, or assurance use. A possible-future branch names incumbent Work or Method, intended use, realization conditions, and a planned trial without fictitious candidate-practice Work, Agents, or current coverage. A missing required group or binding returns a PFAD gap before authoring. C.32.MWA is used only for decision-relevant non-isomorphic structures. D1, D7, D8, and D12 preserve each claim’s truth boundary; the same evidence enters the D1–D12 aggregate once, and D12 alone owns integrated coverage. Compact prose can pass, but a source map, fixed schema, fixed view set, second record, or second checklist cannot substitute for practice architecture, domain evidence, or package evaluation.
CC-DPF.3d Support and adjacent-product decisionProduct remains Plain management wording. Units kept inside the framework share its edition, declared readers and use, edition boundary, access, and change rule. Every separate adjacent result names its direct subject, exact edition or current state, independent use, intensional rule for what belongs, access, and any later-review or retirement condition that changes use. Any maintenance relation is stated only when it separately obtains and changes use. Programme wording names the arrangement or description, any provider System, maintenance relation, accepted commitment, or admitted service state that actually obtains; bounded Work and result epistemes remain separate. When a use requires one of these direct relations and it cannot be established, record the exact result under its governing rule or the applicable A.6.RCD blocker; reserve missing-governor for a missing governing rule.
CC-DPF.3e Suite and Guide proposal returnSuite constitution, inclusion, and removal use the E.4:4.2 and E.4.PFAD decisions; the DPF edition may propose them. A Guide-entry proposal returns to the Guide product’s content or refresh decision, and its direct DPF-result and source claims use the patterns that define them. A state with one product series or none follows the Suite’s explicit preservation, restoration, review, or retirement rule. Belonging states collection membership; framework scale, A.1 parthood or holonhood, dependency, compatibility, maintenance, publication, access, and Guide use follow their own predicates and grounds.
CC-DPF.3f Practical examples and card declarationThe product’s one declaration assigns every selectable Readme example key one ordinary-entry or card form and one selectable occurrence. The Readme says its examples are non-exhaustive and returns unmatched questions to the index, guide, search, or direct patterns. Each card passes E.11’s same-content-without-mantra test, preserves a real path through several direct pattern contributions, uses the product’s measurable mantra/card guard, applies E.11.PFP, and returns to the direct patterns. A plausible direct entry is checked under the same test. Locators, local reminders, Readme card mantras, expansions, and CGUS demonstrations remain distinct, and no FPF example set or limits are copied as the common rule.
CC-DPF.3g Pattern address and publication order separateThe DPF declares its stable reference code and local PatternID plan before public references accumulate. The same PatternID is retained only while the recurring problem, distinguishing working move, useful result, and ordinary conditions for use, stopping, or returning still describe the same practical answer. Numeric or mnemonic locators follow the stated use test. ToC and body order agree, current position is shown separately, and dependencies, Method relations, Parts, and work packages are not inferred from the identifier or its position. A planned row remains a non-addressable PlannedCatalogEntry until a complete pattern is admitted. A split, merge, replacement, retirement, or DPF-code rename gives readers either the truthful maintained assertion needed to follow an old reference or an explicit stop; new patterns receive new unused PatternIDs.
CC-DPF.4 Names preparedDurable public names and abbreviations have F.18 name-card work or are explicitly provisional source aliases.
CC-DPF.5 Carriers and routes classifiedFor an architecture-evidence use, apply C.33 to selected-structure recovery and C.34 to an asserted structure-preservation comparison when each question is current. Apply C.35 to the exact generated or discovered result intended to inform architecture work, retaining its truthful kind, obtaining or proposed organization, next-use condition, and limit and return. Each access route is identified separately from any artifact it returns and from actual access or use. Concrete implementations such as generated views, skill packs, services, endpoints, retrieval or search routes, and assistant integrations use the same distinction.
CC-DPF.6 Patterns drafted through E.8Pattern bodies carry recognition text for recurring domain or local problem situations, positive SoTA-informed solution moves, worked cases, known failure modes or local anti-patterns, checklist, SoTA-Echoing, and relations. Skeletons, prompt seeds, and compressed design notes are named as seeds rather than treated as normal DPF patterns.
CC-DPF.7 Quality and refresh routes presentE.22 frames evaluation purpose when needed; E.4.DPF.DA package adequacy, E.21 pattern quality, E.23 improvement, and G.11 refresh routes are named with edition or refresh conditions. Source or depended-on edition changes, repeated reader errors, compatibility impact, deprecation, and supersession return through those routes at the smallest affected scope. Public, teaching, enterprise, or reliance-bearing DPF publication names the checked pattern-quality basis or remains seedOnly.
CC-DPF.8 Carrier structure-account visibleReadme, Preface, or equivalent practical-use carrier says which domain or local problem-and-solution structures the framework exposes, for whom, what is foregrounded, deliberately coarsened, abstracted, omitted, deferred, or lost, and where source, pattern, evidence, or relation return happens.
CC-DPF.9 Problem-solving primacyThe DPF tells which typical domain or local problems it helps solve, which known failure modes it blocks, and which source-grounded SoTA solution moves it offers. If it mainly provides vocabulary, ontology, commentary, or conversation guidance, it is not yet a reliance-bearing DPF.
CC-DPF.10 Current first resultThe selected result is a cheap route or stop with no DRR; one of the same five architecture outcomes in an E.9 DRR when a later-used boundary is open; an optional C.2.1 organization proposal; a post-existence C.30.AD description use; or an optional C.2.1 authoring-dependency description. Each result has its own entry condition, result kind, and receiving use; list order creates no lifecycle.
CC-DPF.11 C.2.1 proposal constitutionIntended-result description identity is its exact ClaimGraph, current A.15.2 WorkPlan EntityOfConcern, and effective ReferenceScheme; proposal identity is its exact ClaimGraph, that description EntityOfConcern, and effective ReferenceScheme. ClaimScope, empirical grounding, model-use structure, provenance, publication, and edition relations remain separate.
CC-DPF.12 Subject organizationCandidate organization is recoverable from typed claim nodes and proposed subject relations; no future entity, episteme-per-claim wrapper, or proposal-document meta-structure substitutes for it.
CC-DPF.13 Coverage distinctionA coverage constraint node has family ref-kind pairs, one admitted use, and one criterion; any WorkPlan acceptance target remains separate.
CC-DPF.14 Architecture and project-use boundaryC.33 compares with a declared present comparator; C.30.AD starts only after the framework entity, exact architecture relation, and selected structures exist. ArchitectureDescriptionUseCard@Project is retrieval-only. Actual project locality names one composite project U.Work under A.15.6 only when that Work is claimed. Every precise performer has an A.13 core; A.15.1 independently supplies Work identity; F.6 supplies a later relation only when precise assignment-bound attribution is current; and the description-use relation obtains separately.
CC-DPF.15 Dependency description and branchesThe description exists only for a named next authoring use. Its identity is the dependency ClaimGraph, current authoring WorkPlan EntityOfConcern, and effective ReferenceScheme; ClaimScope and optional model-use or grounding relations remain separate. Its minimum positions are FPF edition and source basis. The FPF position identifies the edition, and the next-use boundary identifies the Core claims required for the named authoring use. An optional framework-architecture-answer position cites the accepted answer and E.9 DRR only when that use needs them; no PFAD relation or record is required. Availability, acquisition condition, and next-use relevance follow the independent branches in 4.5.
CC-DPF.16 Method, Work, result, edition, and publication separationThe authoring Method and this independently qualified MethodDescription, WorkPlan, each separately claimed dated authoring U.Work, every precise performer’s A.13 core, independent A.15.1 admission, any current later F.6 attribution, any A.6.1 application, every result entity or direct relation and receiving use, framework episteme editions, EpistemeEditionRelation, package architecture, publication occurrence, form, carrier, and access use are independently recoverable through their defining predicates and evidence.
CC-DPF.17 CGUS restraintThe numbered routes remain Plain guidance. Any claimed A.22.CGUS has independently recovered identity, constituents, obtaining relations, constraints, multiple admissible continuations, stops/returns, and a separate demonstrative episteme; imperative prose or a mantra is insufficient.
CC-DPF.18 Assembled carrier checkedBefore a carrier is called released, current, or ready for its declared use, the assembled publication itself follows the common framework publication form defined by E.11.PFP, agrees with the product’s declaration of practical-example keys, forms, reading-burden measure and two limits, states that the examples do not bound product coverage, passes the E.11 practical-use carry-through check, and passes the applicable E.4.DPF.DA package checks. An all-in-one Markdown publication exposes no build metadata as reader front matter, keeps major units or Parts at H1, pattern titles with PatternIDs at H2, canonical E.8 sections at H3, and every deeper source distinction at a distinct deeper level. Source-body conformance and a successful build run do not substitute for checking the assembled carrier.
CC-DPF.19 Claim placement and local wordingApply F.19 to the whole span for generic precise plain language. Domain claims, examples, role-shaped wording, Method claims, and refresh lines stay in the DPF patterns that use them. E.10.ROLE recovers any load-bearing role sense without choosing a system-role kind, assignment, or position from the word alone. A proposed transdisciplinary improvement returns through an FPF amendment decision. A domain wording entry uses the shared E.10.ARCH method and stays beside the affected DPF patterns. A separate profile is a claim-bearing episteme with a named maintained multi-entry use; any table that publishes it remains a publication form.