fpf.tools
Library / Method Engineering Principles Framework
Jump to passage
In this reading
Source · lines 6016–6030

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 07:42:37 UTC · snapshot created 2026-10-03 07:43:27 UTC · last check 2026-10-03 08:00:10 UTC

9.2 Admit the two entry epistemes to the Method Base

MBC-EC417-B2-1 is the project Method Base entry collection for this support purpose and window. It keeps its project namespace, current entry-disposition rule, and continuity condition. The two candidate entries are separate C.2.1 epistemes:

  • ECA-EC417-C-Release-v2-1 states the explicit candidate status and current account of C-EC-Release-v2;
  • ERP-EC417-WP-B2-1 is about WorkPlan WP-EC417-B2-Trial-1, not about performed release Work.

Entry membership is an instituted relation, not a folder listing. SYS-EC417-MB-PermissionGrantor-1, its obtaining grantor assignment RA-EC417-MB-PermissionGrantor-1, and admitted permission-granting SpeechAct SA-EC417-MB-PermissionGrant-1 ground exact permission PERM-MBENTRY-EC417-1 for curator assignment RA-EC417-MB-Curator-1, action specification PAS-EC417-MB-AdmitRemove-1, scope SCOPE-EC417-MB-Entries-1, and the D-21 through D0 window. AG-EC417-MB-Curator-1 and the obtaining curator assignment supply the A.13 performer core; the permission itself creates neither Work nor a result.

MECH-EC417-MB-EntryDisposition-1 declares reusable operation settleEntryDisposition(entry, collection, admissionWork) -> entryDisposition. Its closed local value kind contains exactly MBEDV-EC417-Admit, MBEDV-EC417-Remove, and MBEDV-EC417-Stop; display words, records, plans, and assertions are not those values. A completed application requires the curator to identify the entry episteme, the collection, the entry-disposition rule, and the admission question; check kind and status, provenance, purpose fit, applicability, return condition, and current membership; and then perform one observable branch-closing act. Without that act there is inspection Work but no completed application or result binding.

At D-21 10:00–10:08, admitted Work W-MBA-EC417-ECA-1 applies the operation to the candidate-account episteme. At 10:10–10:18, admitted Work W-MBA-EC417-ERP-1 applies it to the WorkPlan episteme. Each Work has its own performance history, extent, WorkContainedInEC417MethodEngineering occurrence, A.13 core, A.15.1 admission, post-admission assignment attribution, and PERM-MBENTRY-EC417-1 exercise. Applications APPL-MBENTRY-EC417-ECA-1 and APPL-MBENTRY-EC417-ERP-1 end only at their pair-specific positive approval acts; terminal bindings RB-MBENTRY-EC417-ECA-ADMIT-1 and RB-MBENTRY-EC417-ERP-ADMIT-1 carry exact value MBEDV-EC417-Admit.

Those facts institute MBB-EC417-ECA-1 and MBB-EC417-ERP-1 as the two MethodBaseEntryBelongsTo@Project episodes. Each episode is identified by its exact entry, collection, and maximal continuous interval. A repeated positive result during an open episode creates no second membership; removal requires its own permitted negative application and result. No such removal obtains through D0.