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 11:52:20 UTC · snapshot created 2026-10-03 11:53:41 UTC · last check 2026-10-03 14:30:10 UTC

G.4:11 - SoTA-Echoing

The qualification period for the source-use decisions below starts on 2026-07-30. The source identities below are immutable publications; the G.4 adoption decisions remain qualified through 2027-07-30 unless a governing neighbour adopts a successor earlier or a new result contradicts the named assumption boundary.

Exact source and source-use decisionVisible G.4 mutationRejected overreadSmallest source-change replay
Angelopoulos, Bates, Fisch, Lei, and Schuster, Conformal Risk Control, ICLR 2024 — adapt bounded monotone-loss risk control only for a CAL clause whose statistical assumptions are explicit.C3 and CC-G4-04 require loss, risk/coverage target, calibration population/window, exchangeability or declared shift treatment, and failure/abstain behavior before such a clause is published. Only an actual application under §4.4a supplies the required binding and verdict.“Conformal”, a calibration set, or a coverage target does not make a universal acceptance guarantee, authorize deployment, or establish that evaluation occurred.Reopen only C3, CC-G4-04, and the one worked clause/test that claims this guarantee when its assumptions or guarantee change.
Fontaine, Togelius, Nikolaidis, and Hoover, Covariance Matrix Adaptation for the Rapid Illumination of Behavior Space, GECCO 2020 — adapt only the need to pin descriptor, distance, insertion, archive, and reporting policy when G.4:Ext.NQD is actually used.C6, G.4:Ext.NQD, and CC-G4-13 keep QD method semantics in C.18 while making the CAL wiring reproducible.Archive occupancy, coverage, QD-score, or the presence of CMA-ME wiring is not dominance, acceptance, selection, or a runtime result.Reopen only C6, G.4:Ext.NQD, CC-G4-13, and its one NQD example/test if the adopted descriptor/archive contract changes.
Wang et al., Enhanced POET: Open-ended Reinforcement Learning through Unbounded Invention of Learning Challenges and their Solutions, ICML/PMLR 119 (2020) — reject as a source of G.4 core or acceptance semantics; retain it only as an exact lineage reference for optional exploration wiring under the applicable pattern.C6 and CC-G4-11 require an exact current pattern and present-task entry and stop condition before any exploration extension is admitted; no POET-specific rule enters the CAL core.Open-ended generation, transfer, or progress telemetry does not become a CAL acceptance rule, task authority, or selected governor by citation.Reopen only C6, CC-G4-11, and the exact C.19/C.23 extension block if the applicable pattern explicitly adopts a changed POET-family rule set.

Distributionally robust and broad multi-objective families are discovery leads, not G.4 decision sources. Current comparison, partial-order, and selected-set law stays with A.18/A.19; a future external source enters this table only after it changes a present C1–C9 action, worked case, or conformance row. Source refresh is local to the row’s named rule, example, and check.

G.4:11.1 - CAL architecture and publication inventory

G.4 is a design-time authoring pattern. It publishes a notation-independent CAL Pack@CG-Frame with a charter for the exact CG frame, EntityOfConcern, ReferencePlane, specification editions, and assumption envelope; stable operator, clause, and flow ids; evidence and currentness refs; proof-or-gap records; worked examples and tests; continuity notes; and a minimal TaskMap. It uses G.Core, G.0, and G.1–G.3 for Part-G, CG-frame, SoTA, CHR, and legality disciplines; A.6.1 for declarations and actual bindings; A.13 and A.15.1 for precise performers and independently admitted runtime Work; F.6 only for a current assignment-bound attribution through the same obtaining assignment; C.2.1 for result epistemes; and A.10, G.11, B.3, and C.11 for provenance, currentness, assurance, and decisions. G.6 is used only when G.4:Ext.EvidenceGraphWiring is present. Method-specific semantics remain in the applicable extension pattern. The detailed manifests, schemas, and interfaces above are citation surfaces for CAL authors and consumers within this one practitioner path, not a second workflow.