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 17:24:51 UTC · snapshot created 2026-10-03 17:30:20 UTC · last check 2026-10-03 19:00:10 UTC

A.15.2:6.2 - Fab maintenance weekend (asset reservations)

  • WorkPlan: Fab_Maintenance_W36 is interpreted under FabMaintenancePlanningScheme-E3, has horizon [2025-09-06T00:00Z, 2025-09-08T00:00Z), and concerns already identified Fab-Production-System-4 : U.System. Tool_42 and Tool_13 remain exact assets named by the PlanItems; they are not an unproved joint EntityOfConcern.
  • PlanItem content: Tool_42 chamber clean under ChamberCleanMethod-E2; Tool_13 calibration under ToolCalibrationMethod-E1; the ClaimGraph carries an exact exclusivity constraint with production windows under the named scheduling policy, not a reusable MutuallyExclusive_pl relation kind.
  • Reservations: nitrogen, DI water, metrology window.
  • Later local assertion: The exact chamber-cleaning Work occurrence is identified independently as an individual admitted under U.Work. FabChamberCleanPlanUsePolicy-E1 asks whether that Work enacted ChamberCleanMethod-E2, stayed inside the planned window, and kept nitrogen use within the reserved amount. A.15.1 supplies the Work and enactment facts; C.27.TA qualifies the within-window claim; B.1.6 supplies the resource aggregate used in the budget comparison. In this transfer probe the three policy conditions all obtain, so a separate C.2.1 assertion about the plan states positive fulfilment. Early completion and nitrogen underrun additionally require the corresponding strict comparisons. A shared item label or reservation row supplies none of those facts.